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-3454819-1307186842/watcher-3454819-1307186842 -o /tmp/evaluation-result-3454819-1307186842/solver-3454819-1307186842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454819-1307186842.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: 3.80 2.24 1.98 3/421 11608
/proc/meminfo: memFree=29707968/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 2635 0 1 0 0 0 0 0 25 0 2 0 830283928 10681323520 2336 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2607745 2349 906 9 0 2598901 0
[pid=11608/tid=11609] ppid=11606 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) R 11606 11608 8078 0 -1 4202560 4985 0 1 0 0 0 0 0 25 0 2 0 830283928 10694979584 5801 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.103795 s]
/proc/loadavg: 3.80 2.24 1.98 3/421 11608
/proc/meminfo: memFree=29707968/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10539864 CPUtime=0.11 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 13144 0 1 0 10 1 0 0 25 0 18 0 830283928 10792820736 12809 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2634966 12810 2092 9 0 2625700 0
[pid=11608/tid=11609] ppid=11606 vsize=10539864 CPUtime=0.09 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) R 11606 11608 8078 0 -1 4202560 11211 0 1 0 8 1 0 0 25 0 18 0 830283928 10792820736 12810 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696646 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539864
[startup+0.207376 s]
/proc/loadavg: 3.80 2.24 1.98 3/421 11608
/proc/meminfo: memFree=29707968/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10540000 CPUtime=0.27 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 14078 0 1 0 26 1 0 0 25 0 18 0 830283928 10792960000 13692 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2635000 13693 2182 9 0 2625734 0
[pid=11608/tid=11609] ppid=11606 vsize=10540000 CPUtime=0.19 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) R 11606 11608 8078 0 -1 4202560 11867 0 1 0 18 1 0 0 25 0 18 0 830283928 10792960000 13693 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 47659376499539 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540000
[startup+0.300757 s]
/proc/loadavg: 3.80 2.24 1.98 3/421 11608
/proc/meminfo: memFree=29707968/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10540336 CPUtime=0.47 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 15964 0 1 0 46 1 0 0 25 0 18 0 830283928 10793304064 15145 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2635084 15145 2198 9 0 2625818 0
[pid=11608/tid=11609] ppid=11606 vsize=10540336 CPUtime=0.29 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) R 11606 11608 8078 0 -1 4202560 13003 0 1 0 28 1 0 0 25 0 18 0 830283928 10793304064 15146 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 46912505588893 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540336
[startup+0.700691 s]
/proc/loadavg: 3.80 2.24 1.98 3/421 11608
/proc/meminfo: memFree=29707968/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10556004 CPUtime=1.98 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 36479 0 1 0 194 4 0 0 25 0 22 0 830283928 10809348096 32190 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2639001 32190 2227 9 0 2629735 0
[pid=11608/tid=11609] ppid=11606 vsize=10556004 CPUtime=0.31 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) S 11606 11608 8078 0 -1 4202560 13384 0 1 0 30 1 0 0 25 0 22 0 830283928 10809348096 32190 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10556004
[startup+1.5056 s]
/proc/loadavg: 3.90 2.29 2.00 5/443 11630
/proc/meminfo: memFree=29503844/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10555052 CPUtime=4.2 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 75217 0 1 0 411 9 0 0 25 0 22 0 830283928 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2638763 66611 2257 9 0 2629497 0
[pid=11608/tid=11609] ppid=11606 vsize=10555052 CPUtime=0.31 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) S 11606 11608 8078 0 -1 4202560 13384 0 1 0 30 1 0 0 15 0 22 0 830283928 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11611] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11611/stat : 11611 (java) S 11606 11608 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11612] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11612/stat : 11612 (java) S 11606 11608 8078 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11613] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11613/stat : 11613 (java) S 11606 11608 8078 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11614] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11614/stat : 11614 (java) S 11606 11608 8078 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11615] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11615/stat : 11615 (java) S 11606 11608 8078 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11616] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11616/stat : 11616 (java) S 11606 11608 8078 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11617] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11617/stat : 11617 (java) S 11606 11608 8078 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11618] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11618/stat : 11618 (java) S 11606 11608 8078 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11619] ppid=11606 vsize=10555052 CPUtime=0.04 cores=1,3,5,7
/proc/11608/task/11619/stat : 11619 (java) R 11606 11608 8078 0 -1 4202560 989 0 0 0 4 0 0 0 15 0 22 0 830283931 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 47659372746560 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=11608/tid=11620] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11620/stat : 11620 (java) S 11606 11608 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830283931 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11621] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11621/stat : 11621 (java) S 11606 11608 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830283931 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11622] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11622/stat : 11622 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830283933 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290703281 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11623] ppid=11606 vsize=10555052 CPUtime=0.83 cores=1,3,5,7
/proc/11608/task/11623/stat : 11623 (java) S 11606 11608 8078 0 -1 4202560 10227 0 0 0 82 1 0 0 16 0 22 0 830283933 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11624] ppid=11606 vsize=10555052 CPUtime=0.71 cores=1,3,5,7
/proc/11608/task/11624/stat : 11624 (java) S 11606 11608 8078 0 -1 4202560 5274 0 0 0 71 0 0 0 21 0 22 0 830283933 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11625] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11625/stat : 11625 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830283933 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11626] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11626/stat : 11626 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830283933 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11627] ppid=11606 vsize=10555052 CPUtime=1.12 cores=1,3,5,7
/proc/11608/task/11627/stat : 11627 (java) S 11606 11608 8078 0 -1 4202560 327 0 0 0 112 0 0 0 25 0 22 0 830283960 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11628] ppid=11606 vsize=10555052 CPUtime=1.11 cores=1,3,5,7
/proc/11608/task/11628/stat : 11628 (java) S 11606 11608 8078 0 -1 4202560 42593 0 0 0 106 5 0 0 25 0 22 0 830283960 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11629] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11629/stat : 11629 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830283960 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11630] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11630/stat : 11630 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830283960 10808373248 66611 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 10555052
[startup+3.10126 s]
/proc/loadavg: 3.90 2.29 2.00 5/443 11630
/proc/meminfo: memFree=29367944/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10555052 CPUtime=7.5 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 119232 0 1 0 735 15 0 0 25 0 22 0 830283928 10808373248 110624 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2638763 110628 2258 9 0 2629497 0
[pid=11608/tid=11609] ppid=11606 vsize=10555052 CPUtime=0.31 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) S 11606 11608 8078 0 -1 4202560 13384 0 1 0 30 1 0 0 15 0 22 0 830283928 10808373248 110630 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11611] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11611/stat : 11611 (java) S 11606 11608 8078 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110633 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11612] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11612/stat : 11612 (java) S 11606 11608 8078 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110636 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11613] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11613/stat : 11613 (java) S 11606 11608 8078 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110639 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11614] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11614/stat : 11614 (java) S 11606 11608 8078 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110641 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11615] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11615/stat : 11615 (java) S 11606 11608 8078 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110643 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11616] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11616/stat : 11616 (java) S 11606 11608 8078 0 -1 4202560 214 0 0 0 0 0 0 0 16 0 22 0 830283930 10808373248 110644 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11617] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11617/stat : 11617 (java) S 11606 11608 8078 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110645 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11618] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11618/stat : 11618 (java) S 11606 11608 8078 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 110647 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11619] ppid=11606 vsize=10555052 CPUtime=0.1 cores=1,3,5,7
/proc/11608/task/11619/stat : 11619 (java) S 11606 11608 8078 0 -1 4202560 2041 0 0 0 10 0 0 0 15 0 22 0 830283931 10808373248 110649 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 0 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11620] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11620/stat : 11620 (java) S 11606 11608 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830283931 10808373248 110652 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11621] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11621/stat : 11621 (java) S 11606 11608 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830283931 10808373248 110655 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11622] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11622/stat : 11622 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830283933 10808373248 110658 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290703281 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11623] ppid=11606 vsize=10555052 CPUtime=0.93 cores=1,3,5,7
/proc/11608/task/11623/stat : 11623 (java) S 11606 11608 8078 0 -1 4202560 10244 0 0 0 92 1 0 0 15 0 22 0 830283933 10808373248 110661 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11624] ppid=11606 vsize=10555052 CPUtime=0.79 cores=1,3,5,7
/proc/11608/task/11624/stat : 11624 (java) S 11606 11608 8078 0 -1 4202560 5280 0 0 0 79 0 0 0 15 0 22 0 830283933 10808373248 110665 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11625] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11625/stat : 11625 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830283933 10808373248 110668 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11626] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11626/stat : 11626 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830283933 10808373248 110671 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11627] ppid=11606 vsize=10555052 CPUtime=2.65 cores=1,3,5,7
/proc/11608/task/11627/stat : 11627 (java) R 11606 11608 8078 0 -1 4202560 328 0 0 0 265 0 0 0 25 0 22 0 830283960 10808373248 110674 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 46912505637724 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11608/tid=11628] ppid=11606 vsize=10555052 CPUtime=2.64 cores=1,3,5,7
/proc/11608/task/11628/stat : 11628 (java) R 11606 11608 8078 0 -1 4202560 85467 0 0 0 253 11 0 0 25 0 22 0 830283960 10808373248 110677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 46912505738538 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11608/tid=11629] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11629/stat : 11629 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830283960 10808373248 110680 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11630] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11630/stat : 11630 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830283960 10808373248 110683 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 10555052
Solver just ended. Dumping a history of the last processes samples
[startup+3.2013 s]
/proc/loadavg: 3.90 2.29 2.00 5/443 11630
/proc/meminfo: memFree=29367944/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10555052 CPUtime=7.69 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 128286 0 1 0 754 15 0 0 25 0 22 0 830283928 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2638763 119677 2258 9 0 2629497 0
[pid=11608/tid=11609] ppid=11606 vsize=10555052 CPUtime=0.31 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) S 11606 11608 8078 0 -1 4202560 13384 0 1 0 30 1 0 0 15 0 22 0 830283928 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11611] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11611/stat : 11611 (java) S 11606 11608 8078 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11612] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11612/stat : 11612 (java) S 11606 11608 8078 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11613] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11613/stat : 11613 (java) S 11606 11608 8078 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11614] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11614/stat : 11614 (java) S 11606 11608 8078 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11615] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11615/stat : 11615 (java) S 11606 11608 8078 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11616] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11616/stat : 11616 (java) S 11606 11608 8078 0 -1 4202560 279 0 0 0 0 0 0 0 16 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11617] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11617/stat : 11617 (java) S 11606 11608 8078 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11618] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11618/stat : 11618 (java) S 11606 11608 8078 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 830283930 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11619] ppid=11606 vsize=10555052 CPUtime=0.11 cores=1,3,5,7
/proc/11608/task/11619/stat : 11619 (java) R 11606 11608 8078 0 -1 4202560 2041 0 0 0 11 0 0 0 15 0 22 0 830283931 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 47659370930327 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=11608/tid=11620] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11620/stat : 11620 (java) S 11606 11608 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830283931 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11621] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11621/stat : 11621 (java) S 11606 11608 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830283931 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11622] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11622/stat : 11622 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830283933 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290703281 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11623] ppid=11606 vsize=10555052 CPUtime=0.93 cores=1,3,5,7
/proc/11608/task/11623/stat : 11623 (java) S 11606 11608 8078 0 -1 4202560 10244 0 0 0 92 1 0 0 15 0 22 0 830283933 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11624] ppid=11606 vsize=10555052 CPUtime=0.79 cores=1,3,5,7
/proc/11608/task/11624/stat : 11624 (java) S 11606 11608 8078 0 -1 4202560 5280 0 0 0 79 0 0 0 15 0 22 0 830283933 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11625] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11625/stat : 11625 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830283933 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11626] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11626/stat : 11626 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830283933 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11627] ppid=11606 vsize=10555052 CPUtime=2.74 cores=1,3,5,7
/proc/11608/task/11627/stat : 11627 (java) S 11606 11608 8078 0 -1 4202560 328 0 0 0 274 0 0 0 25 0 22 0 830283960 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11628] ppid=11606 vsize=10555052 CPUtime=2.73 cores=1,3,5,7
/proc/11608/task/11628/stat : 11628 (java) S 11606 11608 8078 0 -1 4202560 94300 0 0 0 262 11 0 0 25 0 22 0 830283960 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11629] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11629/stat : 11629 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830283960 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11630] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11630/stat : 11630 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830283960 10808373248 119677 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 10555052
[startup+3.60117 s]
/proc/loadavg: 3.90 2.29 2.00 4/443 11630
/proc/meminfo: memFree=29231420/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10555052 CPUtime=8.33 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 128777 0 1 0 818 15 0 0 25 0 19 0 830283928 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2638763 120168 2259 9 0 2629497 0
[pid=11608/tid=11609] ppid=11606 vsize=10555052 CPUtime=0.31 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) S 11606 11608 8078 0 -1 4202560 13384 0 1 0 30 1 0 0 15 0 19 0 830283928 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11611] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11611/stat : 11611 (java) S 11606 11608 8078 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11612] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11612/stat : 11612 (java) S 11606 11608 8078 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11613] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11613/stat : 11613 (java) S 11606 11608 8078 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11614] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11614/stat : 11614 (java) S 11606 11608 8078 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11615] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11615/stat : 11615 (java) S 11606 11608 8078 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11616] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11616/stat : 11616 (java) S 11606 11608 8078 0 -1 4202560 279 0 0 0 0 0 0 0 16 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11617] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11617/stat : 11617 (java) S 11606 11608 8078 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11618] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11618/stat : 11618 (java) S 11606 11608 8078 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11619] ppid=11606 vsize=10555052 CPUtime=0.13 cores=1,3,5,7
/proc/11608/task/11619/stat : 11619 (java) S 11606 11608 8078 0 -1 4202560 2531 0 0 0 13 0 0 0 15 0 19 0 830283931 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 0 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11620] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11620/stat : 11620 (java) S 11606 11608 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 830283931 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11621] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11621/stat : 11621 (java) S 11606 11608 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 830283931 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11622] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11622/stat : 11622 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290703281 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11623] ppid=11606 vsize=10555052 CPUtime=0.93 cores=1,3,5,7
/proc/11608/task/11623/stat : 11623 (java) S 11606 11608 8078 0 -1 4202560 10244 0 0 0 92 1 0 0 15 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11624] ppid=11606 vsize=10555052 CPUtime=0.79 cores=1,3,5,7
/proc/11608/task/11624/stat : 11624 (java) S 11606 11608 8078 0 -1 4202560 5280 0 0 0 79 0 0 0 15 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11625] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11625/stat : 11625 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11626] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11626/stat : 11626 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11629] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11629/stat : 11629 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830283960 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 10555052
[startup+3.80113 s]
/proc/loadavg: 3.90 2.29 2.00 4/443 11630
/proc/meminfo: memFree=29231420/32950904 swapFree=56615552/67111528
[pid=11608] ppid=11606 vsize=10555052 CPUtime=8.33 cores=1,3,5,7
/proc/11608/stat : 11608 (java) S 11606 11608 8078 0 -1 4202496 128777 0 1 0 818 15 0 0 25 0 19 0 830283928 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11608/statm: 2638763 120168 2259 9 0 2629497 0
[pid=11608/tid=11609] ppid=11606 vsize=10555052 CPUtime=0.31 cores=1,3,5,7
/proc/11608/task/11609/stat : 11609 (java) S 11606 11608 8078 0 -1 4202560 13384 0 1 0 30 1 0 0 15 0 19 0 830283928 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11611] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11611/stat : 11611 (java) S 11606 11608 8078 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11612] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11612/stat : 11612 (java) S 11606 11608 8078 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11613] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11613/stat : 11613 (java) S 11606 11608 8078 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 1 0 0 0
[pid=11608/tid=11614] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11614/stat : 11614 (java) S 11606 11608 8078 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11615] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11615/stat : 11615 (java) S 11606 11608 8078 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11616] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11616/stat : 11616 (java) S 11606 11608 8078 0 -1 4202560 279 0 0 0 0 0 0 0 16 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11617] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11617/stat : 11617 (java) S 11606 11608 8078 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11618] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11618/stat : 11618 (java) S 11606 11608 8078 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 19 0 830283930 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11619] ppid=11606 vsize=10555052 CPUtime=0.13 cores=1,3,5,7
/proc/11608/task/11619/stat : 11619 (java) S 11606 11608 8078 0 -1 4202560 2531 0 0 0 13 0 0 0 15 0 19 0 830283931 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 0 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11620] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11620/stat : 11620 (java) S 11606 11608 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 830283931 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11621] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11621/stat : 11621 (java) S 11606 11608 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 830283931 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11622] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11622/stat : 11622 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290703281 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11623] ppid=11606 vsize=10555052 CPUtime=0.93 cores=1,3,5,7
/proc/11608/task/11623/stat : 11623 (java) S 11606 11608 8078 0 -1 4202560 10244 0 0 0 92 1 0 0 15 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
[pid=11608/tid=11624] ppid=11606 vsize=10555052 CPUtime=0.79 cores=1,3,5,7
/proc/11608/task/11624/stat : 11624 (java) S 11606 11608 8078 0 -1 4202560 5280 0 0 0 79 0 0 0 15 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 3 0 0 0
[pid=11608/tid=11625] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11625/stat : 11625 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290695577 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11626] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11626/stat : 11626 (java) S 11606 11608 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830283933 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 7 0 0 0
[pid=11608/tid=11629] ppid=11606 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/11608/task/11629/stat : 11629 (java) S 11606 11608 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830283960 10808373248 120168 33554432000 1073741824 1073778376 140733309364352 18446744073709551615 237290696192 0 4 0 16800975 18446604457996564672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 10555052
Child status: 10
Real time (s): 3.86558
CPU time (s): 8.37373
CPU user time (s): 8.19575
CPU system time (s): 0.177972
CPU usage (%): 216.622
Max. virtual memory (cumulated for all children) (KiB): 10566312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.19575
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128785
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= 554
involuntary context switches= 185
runsolver used 0.012998 second user time and 0.047992 second system time
The end