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-3455150-1307189167/watcher-3455150-1307189167 -o /tmp/evaluation-result-3455150-1307189167/solver-3455150-1307189167 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455150-1307189167.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.74 3.17 2.66 3/474 26538
/proc/meminfo: memFree=31054292/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 5319 0 1 0 0 0 0 0 25 0 2 0 830514573 10694979584 5021 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2611079 5034 917 9 0 2602235 0
[pid=26538/tid=26539] ppid=26536 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) R 26536 26538 23433 0 -1 4202560 6335 0 1 0 0 0 0 0 25 0 2 0 830514574 10694979584 7151 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.069135 s]
/proc/loadavg: 2.74 3.17 2.66 3/474 26538
/proc/meminfo: memFree=31054292/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10473092 CPUtime=0.05 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 11868 0 1 0 4 1 0 0 25 0 18 0 830514573 10724446208 11565 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2618273 11565 1754 9 0 2609007 0
[pid=26538/tid=26539] ppid=26536 vsize=10473092 CPUtime=0.05 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) R 26536 26538 23433 0 -1 4202560 10693 0 1 0 4 1 0 0 25 0 18 0 830514574 10724446208 11565 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473092
[startup+0.101131 s]
/proc/loadavg: 2.74 3.17 2.66 3/474 26538
/proc/meminfo: memFree=31054292/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10539856 CPUtime=0.1 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 13086 0 1 0 8 2 0 0 25 0 18 0 830514573 10792812544 12781 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2634964 12781 2092 9 0 2625698 0
[pid=26538/tid=26539] ppid=26536 vsize=10539856 CPUtime=0.09 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) R 26536 26538 23433 0 -1 4202560 11218 0 1 0 7 2 0 0 18 0 18 0 830514574 10792812544 12781 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 47025059177525 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539856
[startup+0.301101 s]
/proc/loadavg: 2.74 3.17 2.66 3/474 26538
/proc/meminfo: memFree=31054292/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10545960 CPUtime=0.42 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 15029 0 1 0 40 2 0 0 25 0 19 0 830514573 10799063040 14597 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2636490 14597 2212 9 0 2627224 0
[pid=26538/tid=26539] ppid=26536 vsize=10545960 CPUtime=0.23 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) S 26536 26538 23433 0 -1 4202560 12295 0 1 0 21 2 0 0 19 0 19 0 830514574 10799063040 14597 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10545960
[startup+0.701026 s]
/proc/loadavg: 2.74 3.17 2.66 3/474 26538
/proc/meminfo: memFree=31054292/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10545960 CPUtime=0.42 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 15029 0 1 0 40 2 0 0 25 0 19 0 830514573 10799063040 14597 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2636490 14597 2212 9 0 2627224 0
[pid=26538/tid=26539] ppid=26536 vsize=10545960 CPUtime=0.23 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) S 26536 26538 23433 0 -1 4202560 12295 0 1 0 21 2 0 0 19 0 19 0 830514574 10799063040 14597 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10545960
[startup+1.50088 s]
/proc/loadavg: 2.74 3.17 2.66 3/493 26563
/proc/meminfo: memFree=31003056/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10546100 CPUtime=0.49 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 15194 0 1 0 47 2 0 0 25 0 19 0 830514573 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2636525 14762 2216 9 0 2627259 0
[pid=26538/tid=26539] ppid=26536 vsize=10546100 CPUtime=0.24 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) S 26536 26538 23433 0 -1 4202560 12358 0 1 0 22 2 0 0 16 0 19 0 830514574 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26541] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26541/stat : 26541 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26542] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26542/stat : 26542 (java) S 26536 26538 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26543] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26543/stat : 26543 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26544] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26544/stat : 26544 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26545] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26545/stat : 26545 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26546] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26546/stat : 26546 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26547] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26547/stat : 26547 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26548] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26548/stat : 26548 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26549] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26549/stat : 26549 (java) S 26536 26538 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830514576 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 0 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26550] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26550/stat : 26550 (java) S 26536 26538 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514577 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26551] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26551/stat : 26551 (java) S 26536 26538 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514577 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26552] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26552/stat : 26552 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514579 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562361265 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26553] ppid=26536 vsize=10546100 CPUtime=0.1 cores=1,3,5,7
/proc/26538/task/26553/stat : 26553 (java) S 26536 26538 23433 0 -1 4202560 832 0 0 0 10 0 0 0 15 0 19 0 830514579 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26554] ppid=26536 vsize=10546100 CPUtime=0.1 cores=1,3,5,7
/proc/26538/task/26554/stat : 26554 (java) S 26536 26538 23433 0 -1 4202560 685 0 0 0 10 0 0 0 15 0 19 0 830514579 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 5 0 0 0
[pid=26538/tid=26555] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26555/stat : 26555 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514579 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26556] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26556/stat : 26556 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514579 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26560] ppid=26536 vsize=10546100 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26560/stat : 26560 (java) S 26536 26538 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830514598 10799206400 14762 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10546100
Solver just ended. Dumping a history of the last processes samples
[startup+2.30069 s]
/proc/loadavg: 2.74 3.17 2.66 3/493 26571
/proc/meminfo: memFree=30995864/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10547688 CPUtime=0.71 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 16847 0 1 0 68 3 0 0 25 0 19 0 830514573 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2636922 15723 2225 9 0 2627656 0
[pid=26538/tid=26539] ppid=26536 vsize=10547688 CPUtime=0.24 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) S 26536 26538 23433 0 -1 4202560 12399 0 1 0 22 2 0 0 17 0 19 0 830514574 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26541] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26541/stat : 26541 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26542] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26542/stat : 26542 (java) S 26536 26538 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26543] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26543/stat : 26543 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26544] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26544/stat : 26544 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26545] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26545/stat : 26545 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26546] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26546/stat : 26546 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26547] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26547/stat : 26547 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26548] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26548/stat : 26548 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26549] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26549/stat : 26549 (java) S 26536 26538 23433 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 830514576 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 0 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26550] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26550/stat : 26550 (java) S 26536 26538 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514577 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26551] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26551/stat : 26551 (java) S 26536 26538 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514577 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26552] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26552/stat : 26552 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514579 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562361265 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26553] ppid=26536 vsize=10547688 CPUtime=0.17 cores=1,3,5,7
/proc/26538/task/26553/stat : 26553 (java) R 26536 26538 23433 0 -1 4202560 1759 0 0 0 17 0 0 0 15 0 19 0 830514579 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 47025058669709 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26538/tid=26554] ppid=26536 vsize=10547688 CPUtime=0.16 cores=1,3,5,7
/proc/26538/task/26554/stat : 26554 (java) R 26536 26538 23433 0 -1 4202560 1166 0 0 0 16 0 0 0 15 0 19 0 830514579 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 47025056233746 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26538/tid=26555] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26555/stat : 26555 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514579 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26556] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26556/stat : 26556 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514579 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26560] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26560/stat : 26560 (java) S 26536 26538 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830514598 10800832512 15723 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 10547688
[startup+2.70066 s]
/proc/loadavg: 2.74 3.17 2.66 3/493 26571
/proc/meminfo: memFree=30995864/32951124 swapFree=55639044/67111528
[pid=26538] ppid=26536 vsize=10547688 CPUtime=0.75 cores=1,3,5,7
/proc/26538/stat : 26538 (java) S 26536 26538 23433 0 -1 4202496 17062 0 1 0 72 3 0 0 25 0 19 0 830514573 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26538/statm: 2636922 15750 2226 9 0 2627656 0
[pid=26538/tid=26539] ppid=26536 vsize=10547688 CPUtime=0.24 cores=1,3,5,7
/proc/26538/task/26539/stat : 26539 (java) S 26536 26538 23433 0 -1 4202560 12399 0 1 0 22 2 0 0 17 0 19 0 830514574 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26541] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26541/stat : 26541 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26542] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26542/stat : 26542 (java) S 26536 26538 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26543] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26543/stat : 26543 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26544] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26544/stat : 26544 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26545] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26545/stat : 26545 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26546] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26546/stat : 26546 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 1 0 0 0
[pid=26538/tid=26547] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26547/stat : 26547 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26548] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26548/stat : 26548 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514575 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26549] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26549/stat : 26549 (java) S 26536 26538 23433 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 830514576 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 0 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26550] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26550/stat : 26550 (java) S 26536 26538 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514577 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26551] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26551/stat : 26551 (java) S 26536 26538 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514577 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26552] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26552/stat : 26552 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514579 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562361265 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26553] ppid=26536 vsize=10547688 CPUtime=0.2 cores=1,3,5,7
/proc/26538/task/26553/stat : 26553 (java) S 26536 26538 23433 0 -1 4202560 1776 0 0 0 20 0 0 0 15 0 19 0 830514579 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26554] ppid=26536 vsize=10547688 CPUtime=0.17 cores=1,3,5,7
/proc/26538/task/26554/stat : 26554 (java) S 26536 26538 23433 0 -1 4202560 1364 0 0 0 17 0 0 0 15 0 19 0 830514579 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 5 0 0 0
[pid=26538/tid=26555] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26555/stat : 26555 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514579 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562353561 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
[pid=26538/tid=26556] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26556/stat : 26556 (java) S 26536 26538 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514579 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 7 0 0 0
[pid=26538/tid=26560] ppid=26536 vsize=10547688 CPUtime=0 cores=1,3,5,7
/proc/26538/task/26560/stat : 26560 (java) S 26536 26538 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830514598 10800832512 15750 33554432000 1073741824 1073778376 140736986061408 18446744073709551615 271562354176 0 4 0 16800975 18446604458068677056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 10547688
Child status: 30
Real time (s): 2.77678
CPU time (s): 0.763883
CPU user time (s): 0.728889
CPU system time (s): 0.034994
CPU usage (%): 27.5097
Max. virtual memory (cumulated for all children) (KiB): 10548660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.728889
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17072
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= 300
involuntary context switches= 74
runsolver used 0.019996 second user time and 0.030995 second system time
The end