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-3689651-1337892020/watcher-3689651-1337892020 -o /tmp/evaluation-result-3689651-1337892020/solver-3689651-1337892020 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689651-1337892020.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: 2.00 2.00 2.00 2/195 13128
/proc/meminfo: memFree=25867160/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/13128/stat : 13128 (java) R 13126 13128 10055 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 255327478 278528 33 33554432000 1073741824 1073778376 140734078868128 140734591433112 260181159093 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13128/statm: 68 33 25 9 0 25 0
[startup+0.0450999 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13128
/proc/meminfo: memFree=25867160/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 3021 0 1 0 2 0 0 0 20 0 13 0 255327478 9446973440 3720 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2306390 3720 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100197 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13128
/proc/meminfo: memFree=25867160/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 4302 0 1 0 8 1 0 0 20 0 18 0 255327478 9787813888 5495 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2389603 5496 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13128
/proc/meminfo: memFree=25867160/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9558412 CPUtime=0.57 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 7298 0 1 0 55 2 0 0 20 0 18 0 255327478 9787813888 10825 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2389603 10825 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13128
/proc/meminfo: memFree=25867160/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 11123 0 1 0 152 3 0 0 20 0 19 0 255327478 9855975424 28083 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 28083 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9624976
[startup+1.50071 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13147
/proc/meminfo: memFree=25760900/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=2.39 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 11241 0 1 0 236 3 0 0 20 0 19 0 255327478 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 29111 2254 9 0 2396937 0
[pid=13128/tid=13130] ppid=13126 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/13128/task/13130/stat : 13130 (java) R 13126 13128 10055 0 -1 4202560 2493 0 1 0 144 3 0 0 20 0 19 0 255327478 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081311531640 140081181235207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081300593704 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081299540904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081152867112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081151814312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081150761512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081149708712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081148655912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 10055 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081147603112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 10055 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081135406056 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 10055 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081134352120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081133299208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13142/stat : 13142 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081132247696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 2871 0 0 0 44 0 0 0 20 0 19 0 255327484 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 4680 0 0 0 45 0 0 0 20 0 19 0 255327484 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 29111 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9624976
[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13147
/proc/meminfo: memFree=25736884/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=4.19 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 12819 0 1 0 414 5 0 0 20 0 19 0 255327478 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 34286 2281 9 0 2396937 0
[pid=13128/tid=13130] ppid=13126 vsize=9624976 CPUtime=3.03 cores=0,2,4,6
/proc/13128/task/13130/stat : 13130 (java) R 13126 13128 10055 0 -1 4202560 2498 0 1 0 300 3 0 0 20 0 19 0 255327478 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081311531544 140081181383748 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 10055 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081300593704 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081299540904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081152867112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 10055 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081151814312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 10055 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081150761512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 10055 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081149708712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081148655912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 10055 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081147603112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 10055 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255327481 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081135406056 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081134352120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081133299208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13142/stat : 13142 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081132247696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 4375 0 0 0 58 0 0 0 20 0 19 0 255327484 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 4688 0 0 0 49 0 0 0 20 0 19 0 255327484 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 34286 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9624976
[startup+6.30153 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13147
/proc/meminfo: memFree=25730864/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=7.46 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 13070 0 1 0 741 5 0 0 20 0 19 0 255327478 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 36345 2281 9 0 2396937 0
[pid=13128/tid=13130] ppid=13126 vsize=9624976 CPUtime=6.13 cores=0,2,4,6
/proc/13128/task/13130/stat : 13130 (java) R 13126 13128 10055 0 -1 4202560 2500 0 1 0 610 3 0 0 20 0 19 0 255327478 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081311531296 140081181202078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 10055 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081300593704 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 10055 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081299540904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 10055 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081152867112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 10055 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081151814312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 10055 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081150761512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 10055 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081149708712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 10055 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081148655912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 10055 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255327480 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081147603112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 10055 0 -1 4202560 53 0 0 0 8 0 0 0 20 0 19 0 255327481 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081135406056 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081134352120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081133299208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13142/stat : 13142 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081132247696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 4383 0 0 0 58 0 0 0 20 0 19 0 255327484 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 4895 0 0 0 54 0 0 0 20 0 19 0 255327484 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 36345 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 4383 0 0 0 58 0 0 0 20 0 19 0 255327484 9855975424 180682 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 5572 0 0 0 65 0 0 0 20 0 19 0 255327484 9855975424 180682 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 180682 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 93 0 0 0 22 22 0 0 20 0 19 0 255327484 9855975424 180682 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 180682 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1620.44
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 13240
/proc/meminfo: memFree=28037496/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=1681.37 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 25004 0 1 0 167972 165 0 0 20 0 19 0 255327478 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 180690 2282 9 0 2396937 0
[pid=13128/tid=13130] ppid=13126 vsize=9624976 CPUtime=1645.74 cores=0,2,4,6
/proc/13128/task/13130/stat : 13130 (java) R 13126 13128 10055 0 -1 4202560 2777 0 1 0 164543 31 0 0 20 0 19 0 255327478 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081311530368 140081181177298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=9624976 CPUtime=2.87 cores=0,2,4,6
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 10055 0 -1 4202560 565 0 0 0 272 15 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081300593704 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=9624976 CPUtime=3.08 cores=0,2,4,6
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 10055 0 -1 4202560 1374 0 0 0 295 13 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081299540904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=9624976 CPUtime=2.92 cores=0,2,4,6
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 10055 0 -1 4202560 940 0 0 0 277 15 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081152867112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 10055 0 -1 4202560 1900 0 0 0 283 17 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081151814312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=9624976 CPUtime=3.17 cores=0,2,4,6
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 10055 0 -1 4202560 1305 0 0 0 298 19 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081150761512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=9624976 CPUtime=3.21 cores=0,2,4,6
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 10055 0 -1 4202560 887 0 0 0 306 15 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081149708712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=9624976 CPUtime=2.95 cores=0,2,4,6
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 10055 0 -1 4202560 1404 0 0 0 280 15 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081148655912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=9624976 CPUtime=3.18 cores=0,2,4,6
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 10055 0 -1 4202560 1678 0 0 0 299 19 0 0 20 0 19 0 255327480 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081147603112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=9624976 CPUtime=5.32 cores=0,2,4,6
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 10055 0 -1 4202560 940 0 0 0 527 5 0 0 20 0 19 0 255327481 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081135406056 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081134352120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081133299208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13142/stat : 13142 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081132247696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 4383 0 0 0 58 0 0 0 20 0 19 0 255327484 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 5572 0 0 0 65 0 0 0 20 0 19 0 255327484 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 95 0 0 0 23 23 0 0 20 0 19 0 255327484 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 180690 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1681.37
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 13240
/proc/meminfo: memFree=28002356/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=1742.19 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 25074 0 1 0 174051 168 0 0 20 0 19 0 255327478 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 184301 2282 9 0 2396937 0
[pid=13128/tid=13130] ppid=13126 vsize=9624976 CPUtime=1705.17 cores=0,2,4,6
/proc/13128/task/13130/stat : 13130 (java) R 13126 13128 10055 0 -1 4202560 2788 0 1 0 170486 31 0 0 20 0 19 0 255327478 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081311530368 140081181210099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=9624976 CPUtime=2.98 cores=0,2,4,6
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 10055 0 -1 4202560 565 0 0 0 283 15 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081300593704 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=9624976 CPUtime=3.21 cores=0,2,4,6
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 10055 0 -1 4202560 1378 0 0 0 307 14 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081299540904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=9624976 CPUtime=3.06 cores=0,2,4,6
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 10055 0 -1 4202560 940 0 0 0 291 15 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081152867112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=9624976 CPUtime=3.13 cores=0,2,4,6
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 10055 0 -1 4202560 1903 0 0 0 296 17 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081151814312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=9624976 CPUtime=3.34 cores=0,2,4,6
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 10055 0 -1 4202560 1307 0 0 0 315 19 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081150761512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=9624976 CPUtime=3.36 cores=0,2,4,6
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 10055 0 -1 4202560 891 0 0 0 320 16 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081149708712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=9624976 CPUtime=3.08 cores=0,2,4,6
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 10055 0 -1 4202560 1410 0 0 0 293 15 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081148655912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=9624976 CPUtime=3.29 cores=0,2,4,6
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 10055 0 -1 4202560 1694 0 0 0 310 19 0 0 20 0 19 0 255327480 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081147603112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=9624976 CPUtime=5.45 cores=0,2,4,6
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 10055 0 -1 4202560 960 0 0 0 540 5 0 0 20 0 19 0 255327481 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081135406056 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081134352120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081133299208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13142/stat : 13142 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081132247696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 4383 0 0 0 58 0 0 0 20 0 19 0 255327484 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 5572 0 0 0 65 0 0 0 20 0 19 0 255327484 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 99 0 0 0 24 24 0 0 20 0 19 0 255327484 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 184301 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1742.19
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1779.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 13240
/proc/meminfo: memFree=27904052/32873648 swapFree=7100/7100
[pid=13128] ppid=13126 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/13128/stat : 13128 (java) S 13126 13128 10055 0 -1 4202496 26015 0 1 0 179822 183 0 0 20 0 19 0 255327478 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140734078859264 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13128/statm: 2406244 197515 2282 9 0 2396937 0
[pid=13128/tid=13130] ppid=13126 vsize=9624976 CPUtime=1761.45 cores=0,2,4,6
/proc/13128/task/13130/stat : 13130 (java) R 13126 13128 10055 0 -1 4202560 2802 0 1 0 176113 32 0 0 20 0 19 0 255327478 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081311530368 140081181193179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=9624976 CPUtime=3.14 cores=0,2,4,6
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 10055 0 -1 4202560 691 0 0 0 297 17 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081300593704 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=9624976 CPUtime=3.35 cores=0,2,4,6
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 10055 0 -1 4202560 1484 0 0 0 320 15 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081299540904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=9624976 CPUtime=3.24 cores=0,2,4,6
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 10055 0 -1 4202560 1174 0 0 0 306 18 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081152867112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=9624976 CPUtime=3.31 cores=0,2,4,6
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 10055 0 -1 4202560 1921 0 0 0 313 18 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081151814312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=9624976 CPUtime=3.51 cores=0,2,4,6
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 10055 0 -1 4202560 1406 0 0 0 330 21 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081150761512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=9624976 CPUtime=3.51 cores=0,2,4,6
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 10055 0 -1 4202560 916 0 0 0 333 18 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081149708712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=9624976 CPUtime=3.25 cores=0,2,4,6
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 10055 0 -1 4202560 1563 0 0 0 309 16 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081148655912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=9624976 CPUtime=3.48 cores=0,2,4,6
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 10055 0 -1 4202560 1799 0 0 0 326 22 0 0 20 0 19 0 255327480 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081147603112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=9624976 CPUtime=5.55 cores=0,2,4,6
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 10055 0 -1 4202560 1017 0 0 0 550 5 0 0 20 0 19 0 255327481 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081135406056 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081134352120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255327481 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081133299208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13142/stat : 13142 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081132247696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/13128/task/13143/stat : 13143 (java) S 13126 13128 10055 0 -1 4202560 4383 0 0 0 58 0 0 0 20 0 19 0 255327484 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081131194808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 10055 0 -1 4202560 5572 0 0 0 65 0 0 0 20 0 19 0 255327484 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081130142008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13145/stat : 13145 (java) S 13126 13128 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255327484 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081129089400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 10055 0 -1 4202560 103 0 0 0 25 25 0 0 20 0 19 0 255327484 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081128036808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13128/tid=13147] ppid=13126 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/13128/task/13147/stat : 13147 (java) S 13126 13128 10055 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255327533 9855975424 197515 33554432000 1073741824 1073778376 140734078868128 140081126983336 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13128 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=710314
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=211663
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1779.27
CPU time (s): 1800.05
CPU user time (s): 1798.22
CPU system time (s): 1.83
CPU usage (%): 101.168
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 2.21166
maximum resident set size= 852528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26047
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46322
involuntary context switches= 46970
runsolver used 5.72013 second user time and 15.3437 second system time
The end