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-3688009-1337879096/watcher-3688009-1337879096 -o /tmp/evaluation-result-3688009-1337879096/solver-3688009-1337879096 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688009-1337879096.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.02 2.00 3/194 18338
/proc/meminfo: memFree=28590096/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18338/stat : 18338 (java) R 18336 18338 16961 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254033714 9515008 182 33554432000 1073741824 1073778376 140734630677568 140734630668600 251053031093 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18338/statm: 2323 182 140 9 0 71 0
[startup+0.038383 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18338
/proc/meminfo: memFree=28590096/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 2967 0 1 0 1 0 0 0 20 0 13 0 254033714 9446973440 3667 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2306390 3667 1661 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100311 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18338
/proc/meminfo: memFree=28590096/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 4336 0 1 0 8 1 0 0 20 0 18 0 254033714 9787813888 5531 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2389603 5532 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.30017 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18338
/proc/meminfo: memFree=28590096/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 6636 0 1 0 53 2 0 0 20 0 19 0 254033714 9855975424 8402 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 8402 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9624976
[startup+0.700151 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18338
/proc/meminfo: memFree=28590096/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 7619 0 1 0 113 3 0 0 20 0 19 0 254033714 9855975424 12798 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 12798 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9624976
[startup+1.50068 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 18357
/proc/meminfo: memFree=28543152/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=1.99 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 7653 0 1 0 195 4 0 0 20 0 19 0 254033714 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 16906 2264 9 0 2396937 0
[pid=18338/tid=18340] ppid=18336 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/18338/task/18340/stat : 18340 (java) R 18336 18338 16961 0 -1 4202560 2466 0 1 0 142 1 0 0 20 0 19 0 254033715 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291116687784 140290963294210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18341] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18341/stat : 18341 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291089140520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18342] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18342/stat : 18342 (java) S 18336 18338 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291088087720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18343] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18343/stat : 18343 (java) S 18336 18338 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291087035432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18344] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18344/stat : 18344 (java) S 18336 18338 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291085982632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18345] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18345/stat : 18345 (java) S 18336 18338 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291084929320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 254033717 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2076 0 0 0 26 0 0 0 20 0 19 0 254033720 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 1835 0 0 0 21 0 0 0 20 0 19 0 254033720 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 16906 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9624976
[startup+3.10067 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 18357
/proc/meminfo: memFree=28522424/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=3.66 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 7862 0 1 0 361 5 0 0 20 0 19 0 254033714 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 20494 2264 9 0 2396937 0
[pid=18338/tid=18340] ppid=18336 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/18338/task/18340/stat : 18340 (java) R 18336 18338 16961 0 -1 4202560 2466 0 1 0 297 2 0 0 20 0 19 0 254033715 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291116687784 140290963279161 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18341] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18341/stat : 18341 (java) S 18336 18338 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291089140520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18342] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18342/stat : 18342 (java) S 18336 18338 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291088087720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18343] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18343/stat : 18343 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291087035432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18344] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18344/stat : 18344 (java) S 18336 18338 16961 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291085982632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18345] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18345/stat : 18345 (java) S 18336 18338 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291084929320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 254033717 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2077 0 0 0 27 0 0 0 20 0 19 0 254033720 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 2023 0 0 0 24 0 0 0 20 0 19 0 254033720 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 20494 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9624976
[startup+6.30065 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 18357
/proc/meminfo: memFree=28503372/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=6.93 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 7896 0 1 0 687 6 0 0 20 0 19 0 254033714 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 26611 2264 9 0 2396937 0
[pid=18338/tid=18340] ppid=18336 vsize=9624976 CPUtime=6.11 cores=0,2,4,6
/proc/18338/task/18340/stat : 18340 (java) R 18336 18338 16961 0 -1 4202560 2473 0 1 0 609 2 0 0 20 0 19 0 254033715 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291116687784 140290963242724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18341] ppid=18336 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/18338/task/18341/stat : 18341 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291089140520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18342] ppid=18336 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/18338/task/18342/stat : 18342 (java) S 18336 18338 16961 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291088087720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18343] ppid=18336 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/18338/task/18343/stat : 18343 (java) S 18336 18338 16961 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291087035432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18344] ppid=18336 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/18338/task/18344/stat : 18344 (java) S 18336 18338 16961 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291085982632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18345] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18345/stat : 18345 (java) S 18336 18338 16961 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291084929320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254033716 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=0.09 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 254033717 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2077 0 0 0 27 0 0 0 20 0 19 0 254033720 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 2023 0 0 0 24 0 0 0 20 0 19 0 254033720 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 26611 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 795 0 0 0 281 13 0 0 20 0 19 0 254033716 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=3.15 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 1032 0 0 0 307 8 0 0 20 0 19 0 254033716 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 608 0 0 0 300 12 0 0 20 0 19 0 254033716 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=6.99 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 790 0 0 0 693 6 0 0 20 0 19 0 254033717 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2502 0 0 0 29 0 0 0 20 0 19 0 254033720 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 2023 0 0 0 24 0 0 0 20 0 19 0 254033720 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 93 0 0 0 24 31 0 0 20 0 19 0 254033720 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 170840 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1620.23
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 20484
/proc/meminfo: memFree=28350992/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=1681.01 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 16333 0 1 0 167978 123 0 0 20 0 19 0 254033714 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 175977 2265 9 0 2396937 0
[pid=18338/tid=18340] ppid=18336 vsize=9624976 CPUtime=1647.86 cores=0,2,4,6
/proc/18338/task/18340/stat : 18340 (java) R 18336 18338 16961 0 -1 4202560 2820 0 1 0 164754 32 0 0 20 0 19 0 254033715 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291116686720 140290963374465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18341] ppid=18336 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/18338/task/18341/stat : 18341 (java) S 18336 18338 16961 0 -1 4202560 859 0 0 0 301 11 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291089140520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18342] ppid=18336 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/18338/task/18342/stat : 18342 (java) S 18336 18338 16961 0 -1 4202560 655 0 0 0 291 11 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291088087720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18343] ppid=18336 vsize=9624976 CPUtime=3.28 cores=0,2,4,6
/proc/18338/task/18343/stat : 18343 (java) S 18336 18338 16961 0 -1 4202560 896 0 0 0 315 13 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291087035432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18344] ppid=18336 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/18338/task/18344/stat : 18344 (java) S 18336 18338 16961 0 -1 4202560 810 0 0 0 291 9 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291085982632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18345] ppid=18336 vsize=9624976 CPUtime=3.06 cores=0,2,4,6
/proc/18338/task/18345/stat : 18345 (java) S 18336 18338 16961 0 -1 4202560 1235 0 0 0 295 11 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291084929320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=3.04 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 795 0 0 0 291 13 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=3.3 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 1036 0 0 0 322 8 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=3.31 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 611 0 0 0 319 12 0 0 20 0 19 0 254033716 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=7.26 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 812 0 0 0 720 6 0 0 20 0 19 0 254033717 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2502 0 0 0 29 0 0 0 20 0 19 0 254033720 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 2023 0 0 0 24 0 0 0 20 0 19 0 254033720 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 95 0 0 0 25 32 0 0 20 0 19 0 254033720 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 175977 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1681.01
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 20541
/proc/meminfo: memFree=28348184/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=1741.65 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 16461 0 1 0 174039 126 0 0 20 0 19 0 254033714 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 181156 2265 9 0 2396937 0
[pid=18338/tid=18340] ppid=18336 vsize=9624976 CPUtime=1707.45 cores=0,2,4,6
/proc/18338/task/18340/stat : 18340 (java) R 18336 18338 16961 0 -1 4202560 2828 0 1 0 170713 32 0 0 20 0 19 0 254033715 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291116686720 140290963242432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18341] ppid=18336 vsize=9624976 CPUtime=3.2 cores=0,2,4,6
/proc/18338/task/18341/stat : 18341 (java) S 18336 18338 16961 0 -1 4202560 865 0 0 0 309 11 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291089140520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18342] ppid=18336 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/18338/task/18342/stat : 18342 (java) S 18336 18338 16961 0 -1 4202560 656 0 0 0 301 11 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291088087720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18343] ppid=18336 vsize=9624976 CPUtime=3.43 cores=0,2,4,6
/proc/18338/task/18343/stat : 18343 (java) S 18336 18338 16961 0 -1 4202560 907 0 0 0 329 14 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291087035432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18344] ppid=18336 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/18338/task/18344/stat : 18344 (java) S 18336 18338 16961 0 -1 4202560 816 0 0 0 302 10 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291085982632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18345] ppid=18336 vsize=9624976 CPUtime=3.18 cores=0,2,4,6
/proc/18338/task/18345/stat : 18345 (java) S 18336 18338 16961 0 -1 4202560 1261 0 0 0 306 12 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291084929320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=3.14 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 813 0 0 0 301 13 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=3.41 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 1055 0 0 0 332 9 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=3.45 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 619 0 0 0 333 12 0 0 20 0 19 0 254033716 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=7.4 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 833 0 0 0 734 6 0 0 20 0 19 0 254033717 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2502 0 0 0 29 0 0 0 20 0 19 0 254033720 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 2023 0 0 0 24 0 0 0 20 0 19 0 254033720 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 99 0 0 0 26 34 0 0 20 0 19 0 254033720 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 181156 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1741.65
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 20541
/proc/meminfo: memFree=28296308/32873648 swapFree=7360/7360
[pid=18338] ppid=18336 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/18338/stat : 18338 (java) S 18336 18338 16961 0 -1 4202496 16977 0 1 0 179876 129 0 0 20 0 19 0 254033714 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140735828422512 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18338/statm: 2406244 184177 2265 9 0 2396937 0
[pid=18338/tid=18340] ppid=18336 vsize=9624976 CPUtime=1764.66 cores=0,2,4,6
/proc/18338/task/18340/stat : 18340 (java) R 18336 18338 16961 0 -1 4202560 2839 0 1 0 176433 33 0 0 20 0 19 0 254033715 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291116686720 140290963374470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18341] ppid=18336 vsize=9624976 CPUtime=3.36 cores=0,2,4,6
/proc/18338/task/18341/stat : 18341 (java) S 18336 18338 16961 0 -1 4202560 867 0 0 0 325 11 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291089140520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18342] ppid=18336 vsize=9624976 CPUtime=3.26 cores=0,2,4,6
/proc/18338/task/18342/stat : 18342 (java) S 18336 18338 16961 0 -1 4202560 783 0 0 0 315 11 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291088087720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18343] ppid=18336 vsize=9624976 CPUtime=3.54 cores=0,2,4,6
/proc/18338/task/18343/stat : 18343 (java) S 18336 18338 16961 0 -1 4202560 1023 0 0 0 340 14 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291087035432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18344] ppid=18336 vsize=9624976 CPUtime=3.23 cores=0,2,4,6
/proc/18338/task/18344/stat : 18344 (java) S 18336 18338 16961 0 -1 4202560 816 0 0 0 313 10 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291085982632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18345] ppid=18336 vsize=9624976 CPUtime=3.29 cores=0,2,4,6
/proc/18338/task/18345/stat : 18345 (java) S 18336 18338 16961 0 -1 4202560 1402 0 0 0 317 12 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291084929320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18346] ppid=18336 vsize=9624976 CPUtime=3.27 cores=0,2,4,6
/proc/18338/task/18346/stat : 18346 (java) S 18336 18338 16961 0 -1 4202560 815 0 0 0 313 14 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291083876520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18347] ppid=18336 vsize=9624976 CPUtime=3.49 cores=0,2,4,6
/proc/18338/task/18347/stat : 18347 (java) S 18336 18338 16961 0 -1 4202560 1142 0 0 0 340 9 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291082824232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18348] ppid=18336 vsize=9624976 CPUtime=3.57 cores=0,2,4,6
/proc/18338/task/18348/stat : 18348 (java) S 18336 18338 16961 0 -1 4202560 620 0 0 0 344 13 0 0 20 0 19 0 254033716 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140291081771432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18349] ppid=18336 vsize=9624976 CPUtime=7.61 cores=0,2,4,6
/proc/18338/task/18349/stat : 18349 (java) S 18336 18338 16961 0 -1 4202560 858 0 0 0 755 6 0 0 20 0 19 0 254033717 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290469890792 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18338/tid=18350] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18350/stat : 18350 (java) S 18336 18338 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290468836856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18351] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18351/stat : 18351 (java) S 18336 18338 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254033718 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290467784456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18352] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18352/stat : 18352 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290466732944 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18353] ppid=18336 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/18338/task/18353/stat : 18353 (java) S 18336 18338 16961 0 -1 4202560 2502 0 0 0 29 0 0 0 20 0 19 0 254033720 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290465679544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18338/tid=18354] ppid=18336 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/18338/task/18354/stat : 18354 (java) S 18336 18338 16961 0 -1 4202560 2023 0 0 0 24 0 0 0 20 0 19 0 254033720 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290464626744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18355] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18355/stat : 18355 (java) S 18336 18338 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033720 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290463574648 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18338/tid=18356] ppid=18336 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/18338/task/18356/stat : 18356 (java) S 18336 18338 16961 0 -1 4202560 103 0 0 0 27 35 0 0 20 0 19 0 254033720 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290462522056 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18338/tid=18357] ppid=18336 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/18338/task/18357/stat : 18357 (java) S 18336 18338 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254033737 9855975424 184177 33554432000 1073741824 1073778376 140735828431376 140290461468072 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 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
Real time (s): 1780.05
CPU time (s): 1800.78
CPU user time (s): 1798.96
CPU system time (s): 1.82272
CPU usage (%): 101.165
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.82272
maximum resident set size= 736868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17020
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47582
involuntary context switches= 51015
runsolver used 6.03008 second user time and 14.8437 second system time
The end