runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455254-1307191853/watcher-3455254-1307191853 -o /tmp/evaluation-result-3455254-1307191853/solver-3455254-1307191853 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455254-1307191853.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 3.19 3.57 1/542 29413
/proc/meminfo: memFree=23806612/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 7940 0 1 0 0 0 0 0 25 0 2 0 830782990 10694979584 7643 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2611079 7657 917 9 0 2602235 0
[pid=29413/tid=29415] ppid=29411 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) R 29411 29413 25956 0 -1 4202560 7817 0 1 0 0 0 0 0 25 0 2 0 830782991 10694979584 8632 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.114029 s]
/proc/loadavg: 2.16 3.19 3.57 1/542 29413
/proc/meminfo: memFree=23806612/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10539580 CPUtime=0.13 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 13340 0 1 0 11 2 0 0 25 0 18 0 830782990 10792529920 12973 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2634895 12973 2134 9 0 2625629 0
[pid=29413/tid=29415] ppid=29411 vsize=10539580 CPUtime=0.09 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) R 29411 29413 25956 0 -1 4202560 11281 0 1 0 8 1 0 0 25 0 18 0 830782991 10792529920 12973 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 47148209429922 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539580
[startup+0.200977 s]
/proc/loadavg: 2.16 3.19 3.57 1/542 29413
/proc/meminfo: memFree=23806612/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10539580 CPUtime=0.28 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 14302 0 1 0 26 2 0 0 25 0 18 0 830782990 10792529920 13839 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2634895 13840 2185 9 0 2625629 0
[pid=29413/tid=29415] ppid=29411 vsize=10539580 CPUtime=0.19 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) R 29411 29413 25956 0 -1 4202560 11839 0 1 0 17 2 0 0 25 0 18 0 830782991 10792529920 13840 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 47148210117459 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10539580
[startup+0.30641 s]
/proc/loadavg: 2.16 3.19 3.57 1/542 29413
/proc/meminfo: memFree=23806612/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10551284 CPUtime=0.65 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 21438 0 1 0 62 3 0 0 25 0 22 0 830782990 10804514816 19210 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2638517 22642 2220 9 0 2629251 0
[pid=29413/tid=29415] ppid=29411 vsize=10554068 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) S 29411 29413 25956 0 -1 4202560 13068 0 1 0 26 2 0 0 25 0 19 0 830782991 10807365632 22642 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10551284
[startup+0.700956 s]
/proc/loadavg: 2.16 3.19 3.57 1/542 29413
/proc/meminfo: memFree=23806612/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10554068 CPUtime=1.74 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 28451 0 1 0 170 4 0 0 25 0 19 0 830782990 10807365632 22662 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2638517 22662 2224 9 0 2629251 0
[pid=29413/tid=29415] ppid=29411 vsize=10554068 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) S 29411 29413 25956 0 -1 4202560 13068 0 1 0 26 2 0 0 25 0 19 0 830782991 10807365632 22662 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10554068
[startup+1.50178 s]
/proc/loadavg: 2.07 3.15 3.55 3/560 29491
/proc/meminfo: memFree=23741412/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10553816 CPUtime=2.24 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 35567 0 1 0 219 5 0 0 25 0 19 0 830782990 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2638454 26477 2225 9 0 2629188 0
[pid=29413/tid=29415] ppid=29411 vsize=10553816 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) S 29411 29413 25956 0 -1 4202560 13073 0 1 0 26 2 0 0 17 0 19 0 830782991 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29417/stat : 29417 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29418/stat : 29418 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29419/stat : 29419 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29420/stat : 29420 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29421] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29421/stat : 29421 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29422] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29422/stat : 29422 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29423] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29423/stat : 29423 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29424] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29424/stat : 29424 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29425] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29425/stat : 29425 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830782993 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 0 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29427] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29427/stat : 29427 (java) S 29411 29413 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830782994 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29428] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29428/stat : 29428 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830782994 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29429] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29429/stat : 29429 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917554609 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29430] ppid=29411 vsize=10553816 CPUtime=0.65 cores=1,3,5,7
/proc/29413/task/29430/stat : 29430 (java) S 29411 29413 25956 0 -1 4202560 8900 0 0 0 64 1 0 0 16 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29431] ppid=29411 vsize=10553816 CPUtime=0.56 cores=1,3,5,7
/proc/29413/task/29431/stat : 29431 (java) S 29411 29413 25956 0 -1 4202560 6343 0 0 0 56 0 0 0 16 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 3 0 0 0
[pid=29413/tid=29432] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29432/stat : 29432 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29433] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29433/stat : 29433 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 5 0 0 0
[pid=29413/tid=29437] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29437/stat : 29437 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830783020 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10553816
Solver just ended. Dumping a history of the last processes samples
[startup+1.80072 s]
/proc/loadavg: 2.07 3.15 3.55 3/560 29491
/proc/meminfo: memFree=23741412/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10553816 CPUtime=2.24 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 35567 0 1 0 219 5 0 0 25 0 19 0 830782990 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2638454 26477 2225 9 0 2629188 0
[pid=29413/tid=29415] ppid=29411 vsize=10553816 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) S 29411 29413 25956 0 -1 4202560 13073 0 1 0 26 2 0 0 17 0 19 0 830782991 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29417/stat : 29417 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29418/stat : 29418 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29419/stat : 29419 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29420/stat : 29420 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29421] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29421/stat : 29421 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29422] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29422/stat : 29422 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29423] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29423/stat : 29423 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29424] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29424/stat : 29424 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29425] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29425/stat : 29425 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830782993 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 0 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29427] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29427/stat : 29427 (java) S 29411 29413 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830782994 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29428] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29428/stat : 29428 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830782994 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29429] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29429/stat : 29429 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917554609 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29430] ppid=29411 vsize=10553816 CPUtime=0.65 cores=1,3,5,7
/proc/29413/task/29430/stat : 29430 (java) S 29411 29413 25956 0 -1 4202560 8900 0 0 0 64 1 0 0 16 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29431] ppid=29411 vsize=10553816 CPUtime=0.56 cores=1,3,5,7
/proc/29413/task/29431/stat : 29431 (java) S 29411 29413 25956 0 -1 4202560 6343 0 0 0 56 0 0 0 16 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 3 0 0 0
[pid=29413/tid=29432] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29432/stat : 29432 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29433] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29433/stat : 29433 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830782996 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 5 0 0 0
[pid=29413/tid=29437] ppid=29411 vsize=10553816 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29437/stat : 29437 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830783020 10807107584 26477 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10553816
[startup+2.60154 s]
/proc/loadavg: 2.07 3.15 3.55 5/563 29500
/proc/meminfo: memFree=23386128/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10554868 CPUtime=3.44 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 62963 0 1 0 335 9 0 0 25 0 22 0 830782990 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2638717 50100 2230 9 0 2629451 0
[pid=29413/tid=29415] ppid=29411 vsize=10554868 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) S 29411 29413 25956 0 -1 4202560 13078 0 1 0 26 2 0 0 16 0 22 0 830782991 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 3 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29417/stat : 29417 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29418/stat : 29418 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29419/stat : 29419 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29420/stat : 29420 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29421] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29421/stat : 29421 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29422] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29422/stat : 29422 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29423] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29423/stat : 29423 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29424] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29424/stat : 29424 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782992 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29425] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29425/stat : 29425 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830782993 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 0 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29427] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29427/stat : 29427 (java) S 29411 29413 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830782994 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29428] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29428/stat : 29428 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830782994 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29429] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29429/stat : 29429 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782996 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917554609 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29430] ppid=29411 vsize=10554868 CPUtime=0.91 cores=1,3,5,7
/proc/29413/task/29430/stat : 29430 (java) R 29411 29413 25956 0 -1 4202560 10310 0 0 0 90 1 0 0 16 0 22 0 830782996 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917556917 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29413/tid=29431] ppid=29411 vsize=10554868 CPUtime=0.84 cores=1,3,5,7
/proc/29413/task/29431/stat : 29431 (java) R 29411 29413 25956 0 -1 4202560 8883 0 0 0 83 1 0 0 16 0 22 0 830782996 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917556917 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29413/tid=29432] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29432/stat : 29432 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830782996 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29433] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29433/stat : 29433 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830782996 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 5 0 0 0
[pid=29413/tid=29437] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29437/stat : 29437 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830783020 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29498] ppid=29411 vsize=10554868 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29498/stat : 29498 (java) R 29411 29413 25956 0 -1 4202560 106 0 0 0 28 0 0 0 17 0 22 0 830783222 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 46912505686780 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29413/tid=29499] ppid=29411 vsize=10554868 CPUtime=0.27 cores=1,3,5,7
/proc/29413/task/29499/stat : 29499 (java) R 29411 29413 25956 0 -1 4202560 19773 0 0 0 24 3 0 0 18 0 22 0 830783222 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 46912505784667 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29413/tid=29500] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29500/stat : 29500 (java) S 29411 29413 25956 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830783222 10808184832 50100 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 10554868
[startup+2.80154 s]
/proc/loadavg: 2.07 3.15 3.55 5/563 29500
/proc/meminfo: memFree=23386128/32951124 swapFree=56930356/67111528
[pid=29413] ppid=29411 vsize=10554868 CPUtime=3.78 cores=1,3,5,7
/proc/29413/stat : 29413 (java) S 29411 29413 25956 0 -1 4202496 71248 0 1 0 368 10 0 0 25 0 19 0 830782990 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29413/statm: 2638717 57922 2233 9 0 2629451 0
[pid=29413/tid=29415] ppid=29411 vsize=10554868 CPUtime=0.28 cores=1,3,5,7
/proc/29413/task/29415/stat : 29415 (java) S 29411 29413 25956 0 -1 4202560 13078 0 1 0 26 2 0 0 16 0 19 0 830782991 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 3 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29417/stat : 29417 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29418/stat : 29418 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29419/stat : 29419 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29420/stat : 29420 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29421] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29421/stat : 29421 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29422] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29422/stat : 29422 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29423] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29423/stat : 29423 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29424] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29424/stat : 29424 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782992 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 7 0 0 0
[pid=29413/tid=29425] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29425/stat : 29425 (java) S 29411 29413 25956 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830782993 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 0 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29427] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29427/stat : 29427 (java) S 29411 29413 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830782994 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29428] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29428/stat : 29428 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830782994 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29429] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29429/stat : 29429 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782996 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917554609 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29430] ppid=29411 vsize=10554868 CPUtime=0.99 cores=1,3,5,7
/proc/29413/task/29430/stat : 29430 (java) S 29411 29413 25956 0 -1 4202560 10317 0 0 0 98 1 0 0 16 0 19 0 830782996 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29431] ppid=29411 vsize=10554868 CPUtime=0.92 cores=1,3,5,7
/proc/29413/task/29431/stat : 29431 (java) S 29411 29413 25956 0 -1 4202560 9357 0 0 0 91 1 0 0 16 0 19 0 830782996 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 3 0 0 0
[pid=29413/tid=29432] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29432/stat : 29432 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830782996 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917546905 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
[pid=29413/tid=29433] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29433/stat : 29433 (java) S 29411 29413 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830782996 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 5 0 0 0
[pid=29413/tid=29437] ppid=29411 vsize=10554868 CPUtime=0 cores=1,3,5,7
/proc/29413/task/29437/stat : 29437 (java) S 29411 29413 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830783020 10808184832 57922 33554432000 1073741824 1073778376 140733858614832 18446744073709551615 218917547520 0 4 0 16800975 18446604467342496832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 10554868
Child status: 30
Real time (s): 2.8559
CPU time (s): 3.82042
CPU user time (s): 3.70644
CPU system time (s): 0.113982
CPU usage (%): 133.773
Max. virtual memory (cumulated for all children) (KiB): 10565336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.70644
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71261
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= 405
involuntary context switches= 77
runsolver used 0.011998 second user time and 0.046992 second system time
The end