runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3280841-1303749733/watcher-3280841-1303749733 -o /tmp/evaluation-result-3280841-1303749733/solver-3280841-1303749733 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3280841-1303749733.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.56 2.51 9/220 14493
/proc/meminfo: memFree=14126132/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=11800 CPUtime=0 cores=4,6
/proc/14493/stat : 14493 (runsolver) R 14491 14493 14035 0 -1 4202560 46 0 0 0 0 0 0 0 21 0 1 0 467388935 12083200 54 33554432000 4194304 5434984 140735581796736 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/14493/statm: 2950 54 34 303 0 2644 0
[startup+0.0249389 s]
/proc/loadavg: 0.92 1.56 2.51 9/220 14493
/proc/meminfo: memFree=14126132/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7549900 CPUtime=0 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 7582 0 1 0 0 0 0 0 21 0 10 0 467388935 7731097600 7283 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1887475 7283 1037 9 0 1878631 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7549900
[startup+0.160492 s]
/proc/loadavg: 0.92 1.56 2.51 9/220 14493
/proc/meminfo: memFree=14126132/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7637596 CPUtime=0.19 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 12923 0 1 0 18 1 0 0 21 0 18 0 467388935 7820898304 12509 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1909399 12509 2179 9 0 1900137 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7637596
[startup+0.309948 s]
/proc/loadavg: 0.92 1.56 2.51 9/220 14493
/proc/meminfo: memFree=14126132/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7637876 CPUtime=0.48 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 17324 0 1 0 46 2 0 0 21 0 18 0 467388935 7821185024 16561 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1909469 16562 2204 9 0 1900207 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7637876
[startup+0.700866 s]
/proc/loadavg: 0.92 1.56 2.51 9/220 14493
/proc/meminfo: memFree=14126132/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7637876 CPUtime=0.88 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 32742 0 1 0 83 5 0 0 21 0 18 0 467388935 7821185024 31978 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1909469 31978 2204 9 0 1900207 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 7637876
[startup+1.50071 s]
/proc/loadavg: 0.92 1.56 2.51 10/261 14538
/proc/meminfo: memFree=13725108/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7640260 CPUtime=2.03 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 35560 0 1 0 197 6 0 0 21 0 19 0 467388935 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1910065 34521 2222 9 0 1900803 0
[pid=14493/tid=14495] ppid=14491 vsize=7640260 CPUtime=1.47 cores=4,6
/proc/14493/task/14495/stat : 14495 (java) R 14491 14493 14035 0 -1 4202560 31674 0 1 0 142 5 0 0 19 0 19 0 467388936 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 46912505497296 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14493/tid=14496] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14496/stat : 14496 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14497] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14497/stat : 14497 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14498] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14498/stat : 14498 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14499] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14499/stat : 14499 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14500] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14500/stat : 14500 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14501] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14501/stat : 14501 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14502] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14502/stat : 14502 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14503] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14503/stat : 14503 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14504] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14504/stat : 14504 (java) S 14491 14493 14035 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 467388938 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 0 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
[pid=14493/tid=14505] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14505/stat : 14505 (java) S 14491 14493 14035 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 467388939 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14506] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14506/stat : 14506 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467388939 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14507] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14507/stat : 14507 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350207409 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14508] ppid=14491 vsize=7640260 CPUtime=0.26 cores=4,6
/proc/14493/task/14508/stat : 14508 (java) S 14491 14493 14035 0 -1 4202560 883 0 0 0 26 0 0 0 17 0 19 0 467388941 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14509] ppid=14491 vsize=7640260 CPUtime=0.28 cores=4,6
/proc/14493/task/14509/stat : 14509 (java) S 14491 14493 14035 0 -1 4202560 1841 0 0 0 28 0 0 0 18 0 19 0 467388941 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14510] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14510/stat : 14510 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14511] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14511/stat : 14511 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467388941 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14537] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14537/stat : 14537 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467389013 7823626240 34521 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 7640260
[startup+3.10142 s]
/proc/loadavg: 0.92 1.56 2.51 6/262 14539
/proc/meminfo: memFree=13573016/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7640260 CPUtime=3.67 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 35679 0 1 0 361 6 0 0 21 0 19 0 467388935 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1910065 34572 2226 9 0 1900803 0
[pid=14493/tid=14495] ppid=14491 vsize=7640260 CPUtime=3.08 cores=4,6
/proc/14493/task/14495/stat : 14495 (java) R 14491 14493 14035 0 -1 4202560 31713 0 1 0 302 6 0 0 25 0 19 0 467388936 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 46912505695420 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14493/tid=14496] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14496/stat : 14496 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14497] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14497/stat : 14497 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14498] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14498/stat : 14498 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14499] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14499/stat : 14499 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14500] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14500/stat : 14500 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14501] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14501/stat : 14501 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14502] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14502/stat : 14502 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14503] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14503/stat : 14503 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14504] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14504/stat : 14504 (java) S 14491 14493 14035 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 467388938 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 0 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
[pid=14493/tid=14505] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14505/stat : 14505 (java) S 14491 14493 14035 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 467388939 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14506] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14506/stat : 14506 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467388939 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14507] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14507/stat : 14507 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350207409 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14508] ppid=14491 vsize=7640260 CPUtime=0.26 cores=4,6
/proc/14493/task/14508/stat : 14508 (java) S 14491 14493 14035 0 -1 4202560 883 0 0 0 26 0 0 0 17 0 19 0 467388941 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14509] ppid=14491 vsize=7640260 CPUtime=0.31 cores=4,6
/proc/14493/task/14509/stat : 14509 (java) S 14491 14493 14035 0 -1 4202560 1921 0 0 0 31 0 0 0 15 0 19 0 467388941 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14510] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14510/stat : 14510 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14511] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14511/stat : 14511 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467388941 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14537] ppid=14491 vsize=7640260 CPUtime=0 cores=4,6
/proc/14493/task/14537/stat : 14537 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467389013 7823626240 34572 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 7640260
[startup+6.30076 s]
/proc/loadavg: 1.17 1.60 2.52 7/262 14585
/proc/meminfo: memFree=13634828/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7639696 CPUtime=6.9 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 36035 0 1 0 684 6 0 0 21 0 19 0 467388935 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1909924 34566 2227 9 0 1900662 0
[pid=14493/tid=14495] ppid=14491 vsize=7639696 CPUtime=6.28 cores=4,6
/proc/14493/task/14495/stat : 14495 (java) R 14491 14493 14035 0 -1 4202560 31789 0 1 0 622 6 0 0 25 0 19 0 467388936 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 46912505551951 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14493/tid=14496] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14496/stat : 14496 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14497] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14497/stat : 14497 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14498] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14498/stat : 14498 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14499] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14499/stat : 14499 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14500] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14500/stat : 14500 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14501] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14501/stat : 14501 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14502] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14502/stat : 14502 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14503] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14503/stat : 14503 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14504] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14504/stat : 14504 (java) S 14491 14493 14035 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 467388938 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 0 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
[pid=14493/tid=14505] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14505/stat : 14505 (java) S 14491 14493 14035 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 467388939 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14506] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14506/stat : 14506 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467388939 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14507] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14507/stat : 14507 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350207409 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14508] ppid=14491 vsize=7639696 CPUtime=0.26 cores=4,6
/proc/14493/task/14508/stat : 14508 (java) S 14491 14493 14035 0 -1 4202560 883 0 0 0 26 0 0 0 17 0 19 0 467388941 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14509] ppid=14491 vsize=7639696 CPUtime=0.35 cores=4,6
/proc/14493/task/14509/stat : 14509 (java) S 14491 14493 14035 0 -1 4202560 2201 0 0 0 35 0 0 0 15 0 19 0 467388941 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14510] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14510/stat : 14510 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14511] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14511/stat : 14511 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467388941 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14537] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14537/stat : 14537 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467389013 7823048704 34566 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 7639696
Solver just ended. Dumping a history of the last processes samples
[startup+6.40178 s]
/proc/loadavg: 1.17 1.60 2.52 7/262 14585
/proc/meminfo: memFree=13634828/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7639696 CPUtime=7.01 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 36039 0 1 0 695 6 0 0 21 0 19 0 467388935 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1909924 34569 2227 9 0 1900662 0
[pid=14493/tid=14495] ppid=14491 vsize=7639696 CPUtime=6.38 cores=4,6
/proc/14493/task/14495/stat : 14495 (java) R 14491 14493 14035 0 -1 4202560 31793 0 1 0 632 6 0 0 25 0 19 0 467388936 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 46912505651240 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14493/tid=14496] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14496/stat : 14496 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14497] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14497/stat : 14497 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14498] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14498/stat : 14498 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14499] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14499/stat : 14499 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14500] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14500/stat : 14500 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14501] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14501/stat : 14501 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14502] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14502/stat : 14502 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14503] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14503/stat : 14503 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14504] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14504/stat : 14504 (java) S 14491 14493 14035 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 467388938 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 0 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
[pid=14493/tid=14505] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14505/stat : 14505 (java) S 14491 14493 14035 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 467388939 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14506] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14506/stat : 14506 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467388939 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14507] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14507/stat : 14507 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350207409 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14508] ppid=14491 vsize=7639696 CPUtime=0.26 cores=4,6
/proc/14493/task/14508/stat : 14508 (java) S 14491 14493 14035 0 -1 4202560 883 0 0 0 26 0 0 0 17 0 19 0 467388941 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14509] ppid=14491 vsize=7639696 CPUtime=0.35 cores=4,6
/proc/14493/task/14509/stat : 14509 (java) S 14491 14493 14035 0 -1 4202560 2201 0 0 0 35 0 0 0 15 0 19 0 467388941 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14510] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14510/stat : 14510 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14511] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14511/stat : 14511 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467388941 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14537] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14537/stat : 14537 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467389013 7823048704 34569 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 7639696
[startup+6.60073 s]
/proc/loadavg: 1.17 1.60 2.52 6/262 14585
/proc/meminfo: memFree=13609780/32951124 swapFree=67111528/67111528
[pid=14493] ppid=14491 vsize=7639696 CPUtime=7.21 cores=4,6
/proc/14493/stat : 14493 (java) S 14491 14493 14035 0 -1 4202496 36047 0 1 0 715 6 0 0 21 0 19 0 467388935 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14493/statm: 1909924 34577 2227 9 0 1900662 0
[pid=14493/tid=14495] ppid=14491 vsize=7639696 CPUtime=6.59 cores=4,6
/proc/14493/task/14495/stat : 14495 (java) R 14491 14493 14035 0 -1 4202560 31801 0 1 0 653 6 0 0 25 0 19 0 467388936 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 46912505728513 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14493/tid=14496] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14496/stat : 14496 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14497] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14497/stat : 14497 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14498] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14498/stat : 14498 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14499] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14499/stat : 14499 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14500] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14500/stat : 14500 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14501] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14501/stat : 14501 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14502] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14502/stat : 14502 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14503] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14503/stat : 14503 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388937 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14504] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14504/stat : 14504 (java) S 14491 14493 14035 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 467388938 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 0 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
[pid=14493/tid=14505] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14505/stat : 14505 (java) S 14491 14493 14035 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 467388939 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14506] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14506/stat : 14506 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467388939 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14507] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14507/stat : 14507 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350207409 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14508] ppid=14491 vsize=7639696 CPUtime=0.26 cores=4,6
/proc/14493/task/14508/stat : 14508 (java) S 14491 14493 14035 0 -1 4202560 883 0 0 0 26 0 0 0 17 0 19 0 467388941 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14509] ppid=14491 vsize=7639696 CPUtime=0.35 cores=4,6
/proc/14493/task/14509/stat : 14509 (java) S 14491 14493 14035 0 -1 4202560 2201 0 0 0 35 0 0 0 15 0 19 0 467388941 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14510] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14510/stat : 14510 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467388941 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350199705 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14511] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14511/stat : 14511 (java) S 14491 14493 14035 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467388941 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 6 0 0 0
[pid=14493/tid=14537] ppid=14491 vsize=7639696 CPUtime=0 cores=4,6
/proc/14493/task/14537/stat : 14537 (java) S 14491 14493 14035 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467389013 7823048704 34577 33554432000 1073741824 1073778376 140735328323856 18446744073709551615 270350200320 0 4 0 16800975 18446604453948811456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 7639696
Child status: 20
Real time (s): 6.68674
CPU time (s): 7.30189
CPU user time (s): 7.2279
CPU system time (s): 0.073988
CPU usage (%): 109.2
Max. virtual memory (cumulated for all children) (KiB): 7640260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.2279
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36059
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291
involuntary context switches= 174
runsolver used 0.014997 second user time and 0.028995 second system time
The end