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-3690047-1337895393/watcher-3690047-1337895393 -o /tmp/evaluation-result-3690047-1337895393/solver-3690047-1337895393 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690047-1337895393.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: 1.98 2.04 2.01 3/194 25768
/proc/meminfo: memFree=26769744/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (java) D 25766 25768 23489 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255665349 9515008 182 33554432000 1073741824 1073778376 140734104547392 140734104538424 217410518709 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/25768/statm: 2323 182 140 9 0 71 0
[startup+0.0432159 s]
/proc/loadavg: 1.98 2.04 2.01 3/194 25768
/proc/meminfo: memFree=26769744/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 3025 0 1 0 2 0 0 0 20 0 13 0 255665349 9446973440 3722 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2306390 3722 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100257 s]
/proc/loadavg: 1.98 2.04 2.01 3/194 25768
/proc/meminfo: memFree=26769744/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 4377 0 1 0 9 1 0 0 20 0 18 0 255665349 9787813888 5555 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2389603 5555 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.30019 s]
/proc/loadavg: 1.98 2.04 2.01 3/194 25768
/proc/meminfo: memFree=26769744/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 5421 0 1 0 43 1 0 0 20 0 18 0 255665349 9787813888 15318 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2389603 15318 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700267 s]
/proc/loadavg: 1.98 2.04 2.01 3/194 25768
/proc/meminfo: memFree=26769744/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9558412 CPUtime=1.16 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 6089 0 1 0 108 8 0 0 20 0 18 0 255665349 9787813888 52697 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2389603 52697 2236 9 0 2380296 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558412
[startup+1.50068 s]
/proc/loadavg: 1.98 2.04 2.01 3/212 25786
/proc/meminfo: memFree=26532676/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9558412 CPUtime=2.49 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 12358 0 1 0 232 17 0 0 20 0 18 0 255665349 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2389603 95106 2254 9 0 2380296 0
[pid=25768/tid=25770] ppid=25766 vsize=9558412 CPUtime=1.33 cores=1,3,5,7
/proc/25768/task/25770/stat : 25770 (java) R 25766 25768 23489 0 -1 4202560 2561 0 1 0 129 4 0 0 20 0 18 0 255665350 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974367456760 217413903629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25771] ppid=25766 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/25768/task/25771/stat : 25771 (java) S 25766 25768 23489 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974328949800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25772] ppid=25766 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/25768/task/25772/stat : 25772 (java) S 25766 25768 23489 0 -1 4202560 135 0 0 0 4 2 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974327897000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25773] ppid=25766 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/25768/task/25773/stat : 25773 (java) S 25766 25768 23489 0 -1 4202560 114 0 0 0 5 2 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974208908072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25774] ppid=25766 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/25768/task/25774/stat : 25774 (java) S 25766 25768 23489 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974207855272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25775] ppid=25766 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25768/task/25775/stat : 25775 (java) S 25766 25768 23489 0 -1 4202560 144 0 0 0 6 2 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974206802472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25776] ppid=25766 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 117 0 0 0 4 1 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 255665351 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 255665353 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255665353 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255665353 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255665355 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9558412 CPUtime=0.32 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 2776 0 0 0 32 0 0 0 20 0 18 0 255665355 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9558412 CPUtime=0.3 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5051 0 0 0 30 0 0 0 20 0 18 0 255665355 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255665355 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255665355 9787813888 95106 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9558412
[startup+3.10071 s]
/proc/loadavg: 1.98 2.04 2.01 3/212 25786
/proc/meminfo: memFree=26357356/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9558412 CPUtime=4.47 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 13270 0 1 0 419 28 0 0 20 0 18 0 255665349 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2389603 168485 2255 9 0 2380296 0
[pid=25768/tid=25770] ppid=25766 vsize=9558412 CPUtime=2.84 cores=1,3,5,7
/proc/25768/task/25770/stat : 25770 (java) R 25766 25768 23489 0 -1 4202560 2845 0 1 0 275 9 0 0 20 0 18 0 255665350 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974367456472 139974209005274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25771] ppid=25766 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25768/task/25771/stat : 25771 (java) S 25766 25768 23489 0 -1 4202560 47 0 0 0 7 2 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974328949800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25772] ppid=25766 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25768/task/25772/stat : 25772 (java) S 25766 25768 23489 0 -1 4202560 151 0 0 0 7 2 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974327897000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25773] ppid=25766 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/25768/task/25773/stat : 25773 (java) S 25766 25768 23489 0 -1 4202560 143 0 0 0 9 3 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974208908072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25774] ppid=25766 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25768/task/25774/stat : 25774 (java) S 25766 25768 23489 0 -1 4202560 55 0 0 0 6 2 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974207855272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25775] ppid=25766 vsize=9558412 CPUtime=0.18 cores=1,3,5,7
/proc/25768/task/25775/stat : 25775 (java) S 25766 25768 23489 0 -1 4202560 204 0 0 0 14 4 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974206802472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25776] ppid=25766 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 143 0 0 0 6 2 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 18 0 255665351 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 476 0 0 0 0 0 0 0 20 0 18 0 255665353 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255665353 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255665353 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255665355 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 2809 0 0 0 37 0 0 0 20 0 18 0 255665355 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9558412 CPUtime=0.35 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5142 0 0 0 35 0 0 0 20 0 18 0 255665355 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255665355 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255665355 9787813888 168485 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9558412
[startup+6.30072 s]
/proc/loadavg: 2.06 2.06 2.02 3/213 25787
/proc/meminfo: memFree=26028912/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 14094 0 1 0 795 37 0 0 20 0 19 0 255665349 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2406244 187955 2265 9 0 2396937 0
[pid=25768/tid=25770] ppid=25766 vsize=9624976 CPUtime=5.94 cores=1,3,5,7
/proc/25768/task/25770/stat : 25770 (java) R 25766 25768 23489 0 -1 4202560 3329 0 1 0 584 10 0 0 20 0 19 0 255665350 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974367457720 139974209758348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25771] ppid=25766 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/25768/task/25771/stat : 25771 (java) S 25766 25768 23489 0 -1 4202560 55 0 0 0 9 2 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974328949800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25772] ppid=25766 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/25768/task/25772/stat : 25772 (java) S 25766 25768 23489 0 -1 4202560 175 0 0 0 10 2 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974327897000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25773] ppid=25766 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/25768/task/25773/stat : 25773 (java) S 25766 25768 23489 0 -1 4202560 155 0 0 0 10 4 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974208908072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25774] ppid=25766 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/25768/task/25774/stat : 25774 (java) S 25766 25768 23489 0 -1 4202560 63 0 0 0 8 3 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974207855272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25775] ppid=25766 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25768/task/25775/stat : 25775 (java) S 25766 25768 23489 0 -1 4202560 264 0 0 0 21 6 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974206802472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25776] ppid=25766 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 326 0 0 0 14 3 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 47 0 0 0 8 2 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 51 0 0 0 9 2 0 0 20 0 19 0 255665351 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 486 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 2812 0 0 0 54 0 0 0 20 0 19 0 255665355 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5148 0 0 0 54 0 0 0 20 0 19 0 255665355 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25787] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25787/stat : 25787 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665874 9855975424 187955 33554432000 1073741824 1073778376 140735578191088 139973712893608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
/proc/loadavg: 2.06 2.06 2.02 3/213 25787
/proc/meminfo: memFree=26027344/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9624976 CPUtime=14.76 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 14097 0 1 0 1439 37 0 0 20 0 19 0 255665349 9855975424 187237 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=25768/tid=25776] ppid=25766 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 379 0 0 0 35 7 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 117 0 0 0 30 4 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 244 0 0 0 41 5 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9624976 CPUtime=9.3 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 1131 0 0 0 925 5 0 0 20 0 19 0 255665353 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 11079 0 0 0 112 3 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5155 0 0 0 64 0 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 99 0 0 0 30 45 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25787] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25787/stat : 25787 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665874 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973712893608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.82
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26009
/proc/meminfo: memFree=27566276/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9624976 CPUtime=1786.82 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 24445 0 1 0 178579 103 0 0 20 0 19 0 255665349 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2406244 278009 2281 9 0 2396937 0
[pid=25768/tid=25770] ppid=25766 vsize=9624976 CPUtime=1771.95 cores=1,3,5,7
/proc/25768/task/25770/stat : 25770 (java) R 25766 25768 23489 0 -1 4202560 3353 0 1 0 177158 37 0 0 20 0 19 0 255665350 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974367457568 139974209855900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25771] ppid=25766 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/25768/task/25771/stat : 25771 (java) S 25766 25768 23489 0 -1 4202560 99 0 0 0 32 4 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974328949800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25772] ppid=25766 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25768/task/25772/stat : 25772 (java) S 25766 25768 23489 0 -1 4202560 380 0 0 0 32 6 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974327897000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25773] ppid=25766 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/25768/task/25773/stat : 25773 (java) S 25766 25768 23489 0 -1 4202560 409 0 0 0 35 7 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974208908072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25774] ppid=25766 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25768/task/25774/stat : 25774 (java) S 25766 25768 23489 0 -1 4202560 247 0 0 0 28 4 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974207855272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25775] ppid=25766 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25768/task/25775/stat : 25775 (java) S 25766 25768 23489 0 -1 4202560 567 0 0 0 55 12 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974206802472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25776] ppid=25766 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 379 0 0 0 35 7 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 117 0 0 0 30 4 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 244 0 0 0 41 5 0 0 20 0 19 0 255665351 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9624976 CPUtime=9.3 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 1131 0 0 0 925 5 0 0 20 0 19 0 255665353 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 11079 0 0 0 112 3 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5155 0 0 0 64 0 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 103 0 0 0 31 46 0 0 20 0 19 0 255665355 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25787] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25787/stat : 25787 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665874 9855975424 278009 33554432000 1073741824 1073778376 140735578191088 139973712893608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.82
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26009
/proc/meminfo: memFree=27459104/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 25446 0 1 0 179891 114 0 0 20 0 19 0 255665349 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2406244 303920 2281 9 0 2396937 0
[pid=25768/tid=25770] ppid=25766 vsize=9624976 CPUtime=1784.24 cores=1,3,5,7
/proc/25768/task/25770/stat : 25770 (java) R 25766 25768 23489 0 -1 4202560 3354 0 1 0 178386 38 0 0 20 0 19 0 255665350 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974367457568 139974209860971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25771] ppid=25766 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25768/task/25771/stat : 25771 (java) S 25766 25768 23489 0 -1 4202560 112 0 0 0 33 5 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974328949800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25772] ppid=25766 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/25768/task/25772/stat : 25772 (java) S 25766 25768 23489 0 -1 4202560 487 0 0 0 33 7 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974327897000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25773] ppid=25766 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/25768/task/25773/stat : 25773 (java) S 25766 25768 23489 0 -1 4202560 530 0 0 0 38 7 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974208908072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25774] ppid=25766 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/25768/task/25774/stat : 25774 (java) S 25766 25768 23489 0 -1 4202560 369 0 0 0 31 5 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974207855272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25775] ppid=25766 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/25768/task/25775/stat : 25775 (java) S 25766 25768 23489 0 -1 4202560 708 0 0 0 57 13 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974206802472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25776] ppid=25766 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 466 0 0 0 37 8 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 357 0 0 0 35 6 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 355 0 0 0 43 6 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9624976 CPUtime=9.94 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 1187 0 0 0 989 5 0 0 20 0 19 0 255665353 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 11079 0 0 0 112 3 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5155 0 0 0 64 0 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 105 0 0 0 31 47 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25787] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25787/stat : 25787 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665874 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973712893608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26009
/proc/meminfo: memFree=27459104/32873648 swapFree=7372/7372
[pid=25768] ppid=25766 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/25768/stat : 25768 (java) S 25766 25768 23489 0 -1 4202496 25446 0 1 0 179891 114 0 0 20 0 19 0 255665349 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 140735578182224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25768/statm: 2406244 303920 2281 9 0 2396937 0
[pid=25768/tid=25770] ppid=25766 vsize=9624976 CPUtime=1784.24 cores=1,3,5,7
/proc/25768/task/25770/stat : 25770 (java) R 25766 25768 23489 0 -1 4202560 3354 0 1 0 178386 38 0 0 20 0 19 0 255665350 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974367457568 139974209860971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25771] ppid=25766 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25768/task/25771/stat : 25771 (java) S 25766 25768 23489 0 -1 4202560 112 0 0 0 33 5 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974328949800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25772] ppid=25766 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/25768/task/25772/stat : 25772 (java) S 25766 25768 23489 0 -1 4202560 487 0 0 0 33 7 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974327897000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25773] ppid=25766 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/25768/task/25773/stat : 25773 (java) S 25766 25768 23489 0 -1 4202560 530 0 0 0 38 7 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974208908072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25774] ppid=25766 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/25768/task/25774/stat : 25774 (java) S 25766 25768 23489 0 -1 4202560 369 0 0 0 31 5 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974207855272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25775] ppid=25766 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/25768/task/25775/stat : 25775 (java) S 25766 25768 23489 0 -1 4202560 708 0 0 0 57 13 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974206802472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25776] ppid=25766 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/25768/task/25776/stat : 25776 (java) S 25766 25768 23489 0 -1 4202560 466 0 0 0 37 8 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974205749672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25777] ppid=25766 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25768/task/25777/stat : 25777 (java) S 25766 25768 23489 0 -1 4202560 357 0 0 0 35 6 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974204696872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25778] ppid=25766 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/25768/task/25778/stat : 25778 (java) S 25766 25768 23489 0 -1 4202560 355 0 0 0 43 6 0 0 20 0 19 0 255665351 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139974203644072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25779] ppid=25766 vsize=9624976 CPUtime=9.94 cores=1,3,5,7
/proc/25768/task/25779/stat : 25779 (java) S 25766 25768 23489 0 -1 4202560 1187 0 0 0 989 5 0 0 20 0 19 0 255665353 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973721316328 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25780] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25780/stat : 25780 (java) S 25766 25768 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973720262392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25781] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25781/stat : 25781 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665353 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973719209480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25782] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25782/stat : 25782 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973718157968 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25783] ppid=25766 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/25768/task/25783/stat : 25783 (java) S 25766 25768 23489 0 -1 4202560 11079 0 0 0 112 3 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973717105080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25768/tid=25784] ppid=25766 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/25768/task/25784/stat : 25784 (java) S 25766 25768 23489 0 -1 4202560 5155 0 0 0 64 0 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973716052280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25768/tid=25785] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25785/stat : 25785 (java) S 25766 25768 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973714999672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25768/tid=25786] ppid=25766 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/25768/task/25786/stat : 25786 (java) S 25766 25768 23489 0 -1 4202560 105 0 0 0 31 47 0 0 20 0 19 0 255665355 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973713947080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25768/tid=25787] ppid=25766 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25768/task/25787/stat : 25787 (java) S 25766 25768 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255665874 9855975424 303920 33554432000 1073741824 1073778376 140735578191088 139973712893608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1795.34
CPU time (s): 1800.71
CPU user time (s): 1799.05
CPU system time (s): 1.66075
CPU usage (%): 100.299
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.66075
maximum resident set size= 1215796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25477
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38753
involuntary context switches= 14390
runsolver used 6.17006 second user time and 15.2537 second system time
The end