runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730101-1338730737/watcher-3730101-1338730737 -o /tmp/evaluation-result-3730101-1338730737/solver-3730101-1338730737 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3730101-1338730737.opb
running on 4 cores: 0,2,4,6
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.97 3.95 3.81 3/193 13053
/proc/meminfo: memFree=31100020/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 2 0 339199806 98570240 979 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 24065 979 745 9 0 16771 0
[pid=13053/tid=13054] ppid=13051 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 339199806 98570240 979 33554432000 1073741824 1073778376 140737465779232 140719432703528 217410520448 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.105611 s]
/proc/loadavg: 3.97 3.95 3.81 3/193 13053
/proc/meminfo: memFree=31100020/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2699928 CPUtime=0.12 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 4939 0 1 0 11 1 0 0 20 0 18 0 339199806 2764726272 6095 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 674982 6095 2153 9 0 665676 0
[pid=13053/tid=13054] ppid=13051 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 2833 0 1 0 8 0 0 0 20 0 18 0 339199806 2764726272 6095 33554432000 1073741824 1073778376 140737465779232 140719432695928 140719372479505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2699928
[startup+0.412573 s]
/proc/loadavg: 3.97 3.95 3.81 3/193 13053
/proc/meminfo: memFree=31100020/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2699928 CPUtime=0.82 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 10913 0 1 0 80 2 0 0 20 0 18 0 339199806 2764726272 16848 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 674982 16848 2229 9 0 665676 0
[pid=13053/tid=13054] ppid=13051 vsize=2699928 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 2853 0 1 0 37 2 0 0 20 0 18 0 339199806 2764726272 16848 33554432000 1073741824 1073778376 140737465779232 140719432699792 140719372507223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 2699928
[startup+0.50024 s]
/proc/loadavg: 3.97 3.95 3.81 3/193 13053
/proc/meminfo: memFree=31100020/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2699928 CPUtime=1.03 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 11205 0 1 0 100 3 0 0 20 0 18 0 339199806 2764726272 27169 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 674982 27169 2230 9 0 665676 0
[pid=13053/tid=13054] ppid=13051 vsize=2699928 CPUtime=0.48 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 2873 0 1 0 45 3 0 0 20 0 18 0 339199806 2764726272 27169 33554432000 1073741824 1073778376 140737465779232 140719432699792 140719372817601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 2699928
[startup+0.700192 s]
/proc/loadavg: 3.97 3.95 3.81 3/193 13053
/proc/meminfo: memFree=31100020/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2699928 CPUtime=1.24 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 11260 0 1 0 119 5 0 0 20 0 18 0 339199806 2764726272 55329 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 674982 55329 2230 9 0 665676 0
[pid=13053/tid=13054] ppid=13051 vsize=2699928 CPUtime=0.68 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 2928 0 1 0 64 4 0 0 20 0 18 0 339199806 2764726272 55329 33554432000 1073741824 1073778376 140737465779232 140719432699840 217413903629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 2699928
[startup+1.50068 s]
/proc/loadavg: 4.05 3.97 3.81 3/211 13071
/proc/meminfo: memFree=30627940/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2699928 CPUtime=2.14 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 11409 0 1 0 205 9 0 0 20 0 18 0 339199806 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 674982 101433 2246 9 0 665676 0
[pid=13053/tid=13054] ppid=13051 vsize=2699928 CPUtime=1.44 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 3012 0 1 0 138 6 0 0 20 0 18 0 339199806 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719432699872 140719372917802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13056] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13056/stat : 13056 (java) S 13051 13053 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719298910632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13057] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13057/stat : 13057 (java) S 13051 13053 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719297858088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13058] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13058/stat : 13058 (java) S 13051 13053 3958 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719296805032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13059] ppid=13051 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/13053/task/13059/stat : 13059 (java) S 13051 13053 3958 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719295752488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13060] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13060/stat : 13060 (java) S 13051 13053 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719294700456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13061] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13061/stat : 13061 (java) S 13051 13053 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719293647912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13062] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13062/stat : 13062 (java) S 13051 13053 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719292594856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13063] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13063/stat : 13063 (java) S 13051 13053 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199807 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719291542312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13064] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13064/stat : 13064 (java) S 13051 13053 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199808 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719279343976 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13065] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13065/stat : 13065 (java) S 13051 13053 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339199808 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719278290296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13066] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13066/stat : 13066 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339199808 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719277237128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13067] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13067/stat : 13067 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199810 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719276185872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13068] ppid=13051 vsize=2699928 CPUtime=0.24 cores=0,2,4,6
/proc/13053/task/13068/stat : 13068 (java) S 13051 13053 3958 0 -1 4202560 3481 0 0 0 24 0 0 0 20 0 18 0 339199810 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719275133752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13069] ppid=13051 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/13053/task/13069/stat : 13069 (java) S 13051 13053 3958 0 -1 4202560 3665 0 0 0 28 0 0 0 20 0 18 0 339199810 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719274081208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13070] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13070/stat : 13070 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199810 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719273028344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13071] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13071/stat : 13071 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199810 2764726272 101433 33554432000 1073741824 1073778376 140737465779232 140719271976008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 2699928
[startup+3.10062 s]
/proc/loadavg: 4.05 3.97 3.81 4/211 13071
/proc/meminfo: memFree=30514808/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2699928 CPUtime=4.35 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 11644 0 1 0 413 22 0 0 20 0 18 0 339199806 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 674982 130622 2246 9 0 665676 0
[pid=13053/tid=13054] ppid=13051 vsize=2699928 CPUtime=2.83 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) R 13051 13053 3958 0 -1 4202560 3015 0 1 0 276 7 0 0 20 0 18 0 339199806 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719432699872 217413903629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13056] ppid=13051 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/13053/task/13056/stat : 13056 (java) S 13051 13053 3958 0 -1 4202560 22 0 0 0 6 1 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719298910632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13057] ppid=13051 vsize=2699928 CPUtime=0.15 cores=0,2,4,6
/proc/13053/task/13057/stat : 13057 (java) S 13051 13053 3958 0 -1 4202560 53 0 0 0 12 3 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719297858088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13058] ppid=13051 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/13053/task/13058/stat : 13058 (java) S 13051 13053 3958 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719296805032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13059] ppid=13051 vsize=2699928 CPUtime=0.14 cores=0,2,4,6
/proc/13053/task/13059/stat : 13059 (java) S 13051 13053 3958 0 -1 4202560 48 0 0 0 12 2 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719295752488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13060] ppid=13051 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/13053/task/13060/stat : 13060 (java) S 13051 13053 3958 0 -1 4202560 23 0 0 0 5 1 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719294700456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13061] ppid=13051 vsize=2699928 CPUtime=0.16 cores=0,2,4,6
/proc/13053/task/13061/stat : 13061 (java) S 13051 13053 3958 0 -1 4202560 56 0 0 0 13 3 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719293647912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13062] ppid=13051 vsize=2699928 CPUtime=0.13 cores=0,2,4,6
/proc/13053/task/13062/stat : 13062 (java) S 13051 13053 3958 0 -1 4202560 43 0 0 0 11 2 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719292594856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13063] ppid=13051 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/13053/task/13063/stat : 13063 (java) S 13051 13053 3958 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 18 0 339199807 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719291542312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13064] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13064/stat : 13064 (java) S 13051 13053 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199808 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719279343976 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13065] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13065/stat : 13065 (java) S 13051 13053 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339199808 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719278290296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13066] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13066/stat : 13066 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339199808 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719277237128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13067] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13067/stat : 13067 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199810 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719276185872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13068] ppid=13051 vsize=2699928 CPUtime=0.24 cores=0,2,4,6
/proc/13053/task/13068/stat : 13068 (java) S 13051 13053 3958 0 -1 4202560 3481 0 0 0 24 0 0 0 20 0 18 0 339199810 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719275133752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13069] ppid=13051 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/13053/task/13069/stat : 13069 (java) S 13051 13053 3958 0 -1 4202560 3665 0 0 0 28 0 0 0 20 0 18 0 339199810 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719274081208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13070] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13070/stat : 13070 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199810 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719273028344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13071] ppid=13051 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13071/stat : 13071 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199810 2764726272 130622 33554432000 1073741824 1073778376 140737465779232 140719271976008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 2699928
[startup+6.30062 s]
/proc/loadavg: 4.53 4.07 3.85 3/191 13083
/proc/meminfo: memFree=30940480/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2966184 CPUtime=10.06 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 20833 0 1 0 971 35 0 0 20 0 22 0 339199806 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 741546 162948 2263 9 0 732240 0
[pid=13053/tid=13054] ppid=13051 vsize=2966184 CPUtime=5.26 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) S 13051 13053 3958 0 -1 4202560 3033 0 1 0 519 7 0 0 20 0 22 0 339199806 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719432709272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13056] ppid=13051 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/13053/task/13056/stat : 13056 (java) R 13051 13053 3958 0 -1 4202560 81 0 0 0 28 2 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719298910808 140719439606144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13057] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13057/stat : 13057 (java) R 13051 13053 3958 0 -1 4202560 159 0 0 0 35 4 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719297858264 140719439604652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13058] ppid=13051 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/13053/task/13058/stat : 13058 (java) R 13051 13053 3958 0 -1 4202560 81 0 0 0 34 3 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719296805208 140719436884143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13059] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13059/stat : 13059 (java) R 13051 13053 3958 0 -1 4202560 130 0 0 0 36 3 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719295752664 140719436884143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13060] ppid=13051 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/13053/task/13060/stat : 13060 (java) R 13051 13053 3958 0 -1 4202560 84 0 0 0 34 4 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719294700336 140719436884096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13061] ppid=13051 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/13053/task/13061/stat : 13061 (java) R 13051 13053 3958 0 -1 4202560 105 0 0 0 37 4 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719293648088 140719436884143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13062] ppid=13051 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/13053/task/13062/stat : 13062 (java) R 13051 13053 3958 0 -1 4202560 91 0 0 0 38 3 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719292595032 140719439217039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13063] ppid=13051 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/13053/task/13063/stat : 13063 (java) R 13051 13053 3958 0 -1 4202560 75 0 0 0 34 3 0 0 20 0 22 0 339199807 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719291542488 140719439606488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13064] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13064/stat : 13064 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339199808 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719279342856 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13065] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13065/stat : 13065 (java) S 13051 13053 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339199808 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719278290296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13066] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13066/stat : 13066 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339199808 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719277237128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13067] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13067/stat : 13067 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339199810 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719276185872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13068] ppid=13051 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/13053/task/13068/stat : 13068 (java) S 13051 13053 3958 0 -1 4202560 6281 0 0 0 58 1 0 0 20 0 22 0 339199810 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719275126152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13069] ppid=13051 vsize=2966184 CPUtime=0.7 cores=0,2,4,6
/proc/13053/task/13069/stat : 13069 (java) S 13051 13053 3958 0 -1 4202560 9421 0 0 0 68 2 0 0 20 0 22 0 339199810 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719274067304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13070] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13070/stat : 13070 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339199810 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719273028344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13071] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13071/stat : 13071 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339199810 3037372416 162948 33554432000 1073741824 1073778376 140737465779232 140719271976008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.06
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+6.60054 s]
/proc/loadavg: 4.53 4.07 3.85 3/191 13083
/proc/meminfo: memFree=30940480/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2966184 CPUtime=10.24 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 20981 0 1 0 987 37 0 0 20 0 20 0 339199806 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 741546 162972 2268 9 0 732240 0
[pid=13053/tid=13054] ppid=13051 vsize=2966184 CPUtime=5.26 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) S 13051 13053 3958 0 -1 4202560 3033 0 1 0 519 7 0 0 20 0 20 0 339199806 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719432709272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13056] ppid=13051 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/13053/task/13056/stat : 13056 (java) S 13051 13053 3958 0 -1 4202560 85 0 0 0 28 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719298910632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13057] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13057/stat : 13057 (java) S 13051 13053 3958 0 -1 4202560 159 0 0 0 35 4 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719297858088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13058] ppid=13051 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/13053/task/13058/stat : 13058 (java) S 13051 13053 3958 0 -1 4202560 85 0 0 0 35 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719296805032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13059] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13059/stat : 13059 (java) S 13051 13053 3958 0 -1 4202560 130 0 0 0 36 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719295752488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13060] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13060/stat : 13060 (java) S 13051 13053 3958 0 -1 4202560 89 0 0 0 35 4 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719294700456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13061] ppid=13051 vsize=2966184 CPUtime=0.42 cores=0,2,4,6
/proc/13053/task/13061/stat : 13061 (java) S 13051 13053 3958 0 -1 4202560 110 0 0 0 38 4 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719293647912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13062] ppid=13051 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/13053/task/13062/stat : 13062 (java) S 13051 13053 3958 0 -1 4202560 91 0 0 0 38 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719292594856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13063] ppid=13051 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/13053/task/13063/stat : 13063 (java) S 13051 13053 3958 0 -1 4202560 76 0 0 0 34 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719291542312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13064] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13064/stat : 13064 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199808 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719279343976 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13065] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13065/stat : 13065 (java) S 13051 13053 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339199808 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719278290296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13066] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13066/stat : 13066 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199808 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719277237128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13067] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13067/stat : 13067 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719276185872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13068] ppid=13051 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/13053/task/13068/stat : 13068 (java) S 13051 13053 3958 0 -1 4202560 6399 0 0 0 61 2 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719275133752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13069] ppid=13051 vsize=2966184 CPUtime=0.74 cores=0,2,4,6
/proc/13053/task/13069/stat : 13069 (java) S 13051 13053 3958 0 -1 4202560 9429 0 0 0 72 2 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719274081208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13070] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13070/stat : 13070 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719273028344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13071] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13071/stat : 13071 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719271976008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.24
Current children cumulated vsize (KiB) 2966184
[startup+7.00068 s]
/proc/loadavg: 4.53 4.07 3.85 2/193 13087
/proc/meminfo: memFree=30897720/32873648 swapFree=7628/7628
[pid=13053] ppid=13051 vsize=2966184 CPUtime=10.24 cores=0,2,4,6
/proc/13053/stat : 13053 (java) S 13051 13053 3958 0 -1 4202496 20981 0 1 0 987 37 0 0 20 0 20 0 339199806 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140737465770368 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13053/statm: 741546 162972 2268 9 0 732240 0
[pid=13053/tid=13054] ppid=13051 vsize=2966184 CPUtime=5.26 cores=0,2,4,6
/proc/13053/task/13054/stat : 13054 (java) S 13051 13053 3958 0 -1 4202560 3033 0 1 0 519 7 0 0 20 0 20 0 339199806 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719432709272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13056] ppid=13051 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/13053/task/13056/stat : 13056 (java) S 13051 13053 3958 0 -1 4202560 85 0 0 0 28 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719298910632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13053/tid=13057] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13057/stat : 13057 (java) S 13051 13053 3958 0 -1 4202560 159 0 0 0 35 4 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719297858088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13058] ppid=13051 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/13053/task/13058/stat : 13058 (java) S 13051 13053 3958 0 -1 4202560 85 0 0 0 35 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719296805032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13059] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13059/stat : 13059 (java) S 13051 13053 3958 0 -1 4202560 130 0 0 0 36 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719295752488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13060] ppid=13051 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/13053/task/13060/stat : 13060 (java) S 13051 13053 3958 0 -1 4202560 89 0 0 0 35 4 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719294700456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13061] ppid=13051 vsize=2966184 CPUtime=0.42 cores=0,2,4,6
/proc/13053/task/13061/stat : 13061 (java) S 13051 13053 3958 0 -1 4202560 110 0 0 0 38 4 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719293647912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13062] ppid=13051 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/13053/task/13062/stat : 13062 (java) S 13051 13053 3958 0 -1 4202560 91 0 0 0 38 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719292594856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13063] ppid=13051 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/13053/task/13063/stat : 13063 (java) S 13051 13053 3958 0 -1 4202560 76 0 0 0 34 3 0 0 20 0 20 0 339199807 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719291542312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13064] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13064/stat : 13064 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199808 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719279343976 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13065] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13065/stat : 13065 (java) S 13051 13053 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339199808 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719278290296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13066] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13066/stat : 13066 (java) S 13051 13053 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199808 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719277237128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13067] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13067/stat : 13067 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719276185872 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13068] ppid=13051 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/13053/task/13068/stat : 13068 (java) S 13051 13053 3958 0 -1 4202560 6399 0 0 0 61 2 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719275133752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13053/tid=13069] ppid=13051 vsize=2966184 CPUtime=0.74 cores=0,2,4,6
/proc/13053/task/13069/stat : 13069 (java) S 13051 13053 3958 0 -1 4202560 9429 0 0 0 72 2 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719274081208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13070] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13070/stat : 13070 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719273028344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13053/tid=13071] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13071/stat : 13071 (java) S 13051 13053 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199810 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719271976008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13086] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13086/stat : 13086 (java) S 13051 13053 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 339200412 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719268815656 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13053/tid=13087] ppid=13051 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/13053/task/13087/stat : 13087 (java) S 13051 13053 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 339200412 3037372416 162972 33554432000 1073741824 1073778376 140737465779232 140719267763112 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.24
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 7.0814
CPU time (s): 10.3414
CPU user time (s): 9.8295
CPU system time (s): 0.511922
CPU usage (%): 146.036
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.8295
system time used= 0.511922
maximum resident set size= 652076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20993
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 811
involuntary context switches= 1510
runsolver used 0.022996 second user time and 0.076988 second system time
The end