runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4246327-1500709875/watcher-4246327-1500709875 -o /tmp/evaluation-result-4246327-1500709875/solver-4246327-1500709875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500709875-18321 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1340170558 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246327-1500709875.xml
pid=18340
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.17 1.32 1.39 3/239 18343
/proc/meminfo: memFree=31685096/32770624 swapFree=5848/271948
[pid=18343] ppid=18340 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 2029 0 0 0 0 0 0 0 20 0 2 0 6256639 10889764864 2252 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 2658634 2252 1188 1 0 2647545 0
[pid=18343/tid=18344] ppid=18340 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 815 0 0 0 0 0 0 0 20 0 2 0 6256639 10889764864 2384 33554432000 4194304 4196468 140735666515792 140702919592352 140702907639712 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[startup+0.100135 s]
/proc/loadavg: 1.17 1.32 1.39 3/239 18343
/proc/meminfo: memFree=31685096/32770624 swapFree=5848/271948
[pid=18343] ppid=18340 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 5788 0 0 0 8 1 0 0 20 0 20 0 6256639 13582725120 6372 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3316095 6372 3310 1 0 3303815 0
[pid=18343/tid=18344] ppid=18340 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 3870 0 0 0 7 1 0 0 20 0 20 0 6256639 13582725120 6372 33554432000 4194304 4196468 140735666515792 140702919592544 140702915372189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200477 s]
/proc/loadavg: 1.17 1.32 1.39 3/239 18343
/proc/meminfo: memFree=31685096/32770624 swapFree=5848/271948
[pid=18343] ppid=18340 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 8933 0 0 0 24 2 0 0 20 0 20 0 6256639 13582245888 8963 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3315978 8963 3566 1 0 3303698 0
[pid=18343/tid=18344] ppid=18340 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 6644 0 0 0 16 1 0 0 20 0 20 0 6256639 13582245888 8963 33554432000 4194304 4196468 140735666515792 140702919574128 140702915372189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300355 s]
/proc/loadavg: 1.17 1.32 1.39 3/239 18343
/proc/meminfo: memFree=31685096/32770624 swapFree=5848/271948
[pid=18343] ppid=18340 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 9950 0 0 0 39 3 0 0 20 0 20 0 6256639 13582245888 11116 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3315978 11116 3608 1 0 3303698 0
[pid=18343/tid=18344] ppid=18340 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 7365 0 0 0 25 2 0 0 20 0 20 0 6256639 13582245888 11116 33554432000 4194304 4196468 140735666515792 140702919567728 140702915372189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700292 s]
/proc/loadavg: 1.17 1.32 1.39 3/239 18343
/proc/meminfo: memFree=31685096/32770624 swapFree=5848/271948
[pid=18343] ppid=18340 vsize=13265980 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 14159 0 0 0 146 5 0 0 20 0 20 0 6256639 13584363520 21438 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3316495 21438 3775 1 0 3304210 0
[pid=18343/tid=18344] ppid=18340 vsize=13265980 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 8494 0 0 0 63 3 0 0 20 0 20 0 6256639 13584363520 21504 33554432000 4194304 4196468 140735666515792 140702919586064 140702893352769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13265980
[startup+1.50111 s]
/proc/loadavg: 1.17 1.32 1.39 9/284 18392
/proc/meminfo: memFree=31492160/32770624 swapFree=5848/267684
[pid=18343] ppid=18340 vsize=13270076 CPUtime=4.5 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 26800 0 0 0 441 9 0 0 20 0 20 0 6256639 13588557824 44353 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3317519 44353 3800 1 0 3305234 0
[pid=18343/tid=18344] ppid=18340 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 11575 0 0 0 141 6 0 0 20 0 20 0 6256639 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702919588288 140702549894428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18346] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18346/stat : 18346 (java) S 18340 18343 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702867970320 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18347] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18347/stat : 18347 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702866917776 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18348] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18348/stat : 18348 (java) S 18340 18343 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702865865232 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18349] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18349/stat : 18349 (java) S 18340 18343 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702864812688 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18350] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18350/stat : 18350 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702863760144 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18351] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18351/stat : 18351 (java) S 18340 18343 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702862707600 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18352] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18352/stat : 18352 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702861655056 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18353] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18353/stat : 18353 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256640 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702507269264 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18358] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18358/stat : 18358 (java) S 18340 18343 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702110398448 140702915361410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18361] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18361/stat : 18361 (java) S 18340 18343 14040 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702109344672 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18365] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18365/stat : 18365 (java) S 18340 18343 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6256644 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702108292080 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18376] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18376/stat : 18376 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256647 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702107240656 140702915368859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18378] ppid=18340 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18378/stat : 18378 (java) R 18340 18343 14040 0 -1 4202560 3643 0 0 0 75 0 0 0 20 0 20 0 6256647 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702106173584 140702915371610 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18379] ppid=18340 vsize=13270076 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18379/stat : 18379 (java) R 18340 18343 14040 0 -1 4202560 2868 0 0 0 73 1 0 0 20 0 20 0 6256647 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702105125328 140702915371610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18380] ppid=18340 vsize=13270076 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18380/stat : 18380 (java) R 18340 18343 14040 0 -1 4202560 2809 0 0 0 72 0 0 0 20 0 20 0 6256647 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702104068496 140702898555464 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18381] ppid=18340 vsize=13270076 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18381/stat : 18381 (java) S 18340 18343 14040 0 -1 1077944384 4492 0 0 0 77 1 0 0 20 0 20 0 6256647 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702103030640 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18382] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18382/stat : 18382 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702101977312 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18383] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18383/stat : 18383 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 44353 33554432000 4194304 4196468 140735666515792 140702100924848 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 13270076
[startup+3.10077 s]
/proc/loadavg: 1.63 1.41 1.42 4/284 18392
/proc/meminfo: memFree=31215640/32770624 swapFree=5848/267684
[pid=18343] ppid=18340 vsize=13270076 CPUtime=6.97 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 29452 0 0 0 678 19 0 0 20 0 20 0 6256639 13588557824 58908 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3317519 58908 3820 1 0 3305234 0
[pid=18343/tid=18344] ppid=18340 vsize=13270076 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 11972 0 0 0 297 6 0 0 20 0 20 0 6256639 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702919585680 140702550215796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18346] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18346/stat : 18346 (java) S 18340 18343 14040 0 -1 1077944384 195 0 0 0 0 1 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702867970320 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18347] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18347/stat : 18347 (java) S 18340 18343 14040 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702866917776 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18348] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18348/stat : 18348 (java) S 18340 18343 14040 0 -1 1077944384 62 0 0 0 0 1 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702865865232 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18349] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18349/stat : 18349 (java) S 18340 18343 14040 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702864812688 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18350] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18350/stat : 18350 (java) S 18340 18343 14040 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702863760144 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18351] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18351/stat : 18351 (java) S 18340 18343 14040 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702862707600 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18352] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18352/stat : 18352 (java) S 18340 18343 14040 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702861655056 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18353] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18353/stat : 18353 (java) S 18340 18343 14040 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 20 0 6256640 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702507269264 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18358] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18358/stat : 18358 (java) S 18340 18343 14040 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702110398448 140702915361410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18361] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18361/stat : 18361 (java) S 18340 18343 14040 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702109344736 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18365] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18365/stat : 18365 (java) S 18340 18343 14040 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 6256644 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702108292096 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18376] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18376/stat : 18376 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256647 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702107240656 140702915368859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18378] ppid=18340 vsize=13270076 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18378/stat : 18378 (java) S 18340 18343 14040 0 -1 1077944384 4187 0 0 0 94 0 0 0 20 0 20 0 6256647 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702106188272 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18379] ppid=18340 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18379/stat : 18379 (java) S 18340 18343 14040 0 -1 1077944384 2980 0 0 0 104 1 0 0 20 0 20 0 6256647 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702105135728 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18380] ppid=18340 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18380/stat : 18380 (java) S 18340 18343 14040 0 -1 1077944384 3115 0 0 0 91 0 0 0 20 0 20 0 6256647 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702104083184 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18381] ppid=18340 vsize=13270076 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18381/stat : 18381 (java) S 18340 18343 14040 0 -1 1077944384 5155 0 0 0 80 1 0 0 20 0 20 0 6256647 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702103030640 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18382] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18382/stat : 18382 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702101977312 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18383] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18383/stat : 18383 (java) S 18340 18343 14040 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 58908 33554432000 4194304 4196468 140735666515792 140702100924848 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 13270076
[startup+6.30334 s]
/proc/loadavg: 1.63 1.41 1.42 3/284 18392
/proc/meminfo: memFree=31188192/32770624 swapFree=5848/267676
[pid=18343] ppid=18340 vsize=13270076 CPUtime=10.41 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 30956 0 0 0 1009 32 0 0 20 0 20 0 6256639 13588557824 92227 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3317519 92227 3828 1 0 3305234 0
[pid=18343/tid=18344] ppid=18340 vsize=13270076 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) S 18340 18343 14040 0 -1 1077944384 12111 0 0 0 613 8 0 0 20 0 20 0 6256639 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702919588800 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18346] ppid=18340 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18346/stat : 18346 (java) R 18340 18343 14040 0 -1 4202560 217 0 0 0 2 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702867970520 140702899798299 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18347] ppid=18340 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18347/stat : 18347 (java) R 18340 18343 14040 0 -1 4202560 39 0 0 0 2 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702866917976 140702900378000 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18348] ppid=18340 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18348/stat : 18348 (java) R 18340 18343 14040 0 -1 4202560 149 0 0 0 2 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702865865432 140702900373961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18349] ppid=18340 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18349/stat : 18349 (java) R 18340 18343 14040 0 -1 4202560 51 0 0 0 1 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702864810488 140702900377682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18350] ppid=18340 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18350/stat : 18350 (java) R 18340 18343 14040 0 -1 4202560 955 0 0 0 2 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702863760344 140702896997782 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18351] ppid=18340 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18351/stat : 18351 (java) R 18340 18343 14040 0 -1 4202560 39 0 0 0 2 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702862707800 140702900374000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18352] ppid=18340 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18352/stat : 18352 (java) R 18340 18343 14040 0 -1 4202560 43 0 0 0 1 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702861652576 140702900378146 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18353] ppid=18340 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18353/stat : 18353 (java) R 18340 18343 14040 0 -1 4202560 49 0 0 0 1 2 0 0 20 0 20 0 6256640 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702507269152 140702900378119 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18358] ppid=18340 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18358/stat : 18358 (java) S 18340 18343 14040 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 6256643 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702110396960 140702915360469 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18361] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18361/stat : 18361 (java) S 18340 18343 14040 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702109344736 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18365] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18365/stat : 18365 (java) S 18340 18343 14040 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6256644 13588557824 92227 33554432000 4194304 4196468 140735666515792 140702108292096 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18376] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=18343/tid=18379] ppid=18340 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18379/stat : 18379 (java) S 18340 18343 14040 0 -1 1077944384 6881 0 0 0 114 2 0 0 20 0 20 0 6256647 13588557824 121734 33554432000 4194304 4196468 140735666515792 140702105135728 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18380] ppid=18340 vsize=13270076 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18380/stat : 18380 (java) S 18340 18343 14040 0 -1 1077944384 4481 0 0 0 99 1 0 0 20 0 20 0 6256647 13588557824 121734 33554432000 4194304 4196468 140735666515792 140702104083184 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18381] ppid=18340 vsize=13270076 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18381/stat : 18381 (java) S 18340 18343 14040 0 -1 1077944384 7053 0 0 0 83 1 0 0 20 0 20 0 6256647 13588557824 121734 33554432000 4194304 4196468 140735666515792 140702103030640 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18382] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18382/stat : 18382 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 121734 33554432000 4194304 4196468 140735666515792 140702101977312 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18383] ppid=18340 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18383/stat : 18383 (java) S 18340 18343 14040 0 -1 1077944384 732 0 0 0 41 45 0 0 20 0 20 0 6256648 13588557824 121734 33554432000 4194304 4196468 140735666515792 140702100924848 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 2303.89
Current children cumulated vsize (KiB) 13270076
[startup+2322.3 s]
/proc/loadavg: 1.35 1.45 1.47 3/281 18479
/proc/meminfo: memFree=30970944/32770624 swapFree=5848/269608
[pid=18343] ppid=18340 vsize=13270076 CPUtime=2365.06 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 90802 0 0 0 236228 278 0 0 20 0 20 0 6256639 13588557824 122246 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3317519 122246 3831 1 0 3305234 0
[pid=18343/tid=18344] ppid=18340 vsize=13270076 CPUtime=2311.29 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 33335 0 0 0 231112 17 0 0 20 0 20 0 6256639 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702919588688 140702550837673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18346] ppid=18340 vsize=13270076 CPUtime=5.74 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18346/stat : 18346 (java) S 18340 18343 14040 0 -1 1077944384 4277 0 0 0 548 26 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702867970320 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18347] ppid=18340 vsize=13270076 CPUtime=5.69 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18347/stat : 18347 (java) S 18340 18343 14040 0 -1 1077944384 2961 0 0 0 543 26 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702866917776 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18348] ppid=18340 vsize=13270076 CPUtime=5.72 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18348/stat : 18348 (java) S 18340 18343 14040 0 -1 1077944384 3499 0 0 0 545 27 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702865865232 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18349] ppid=18340 vsize=13270076 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18349/stat : 18349 (java) S 18340 18343 14040 0 -1 1077944384 4469 0 0 0 556 27 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702864812688 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18350] ppid=18340 vsize=13270076 CPUtime=5.72 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18350/stat : 18350 (java) S 18340 18343 14040 0 -1 1077944384 3654 0 0 0 547 25 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702863760144 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18351] ppid=18340 vsize=13270076 CPUtime=5.77 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18351/stat : 18351 (java) S 18340 18343 14040 0 -1 1077944384 2832 0 0 0 550 27 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702862707600 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18352] ppid=18340 vsize=13270076 CPUtime=5.64 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18352/stat : 18352 (java) S 18340 18343 14040 0 -1 1077944384 1855 0 0 0 538 26 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702861655056 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18353] ppid=18340 vsize=13270076 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18353/stat : 18353 (java) S 18340 18343 14040 0 -1 1077944384 1857 0 0 0 543 23 0 0 20 0 20 0 6256640 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702507269264 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18358] ppid=18340 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18358/stat : 18358 (java) S 18340 18343 14040 0 -1 1077944384 6383 0 0 0 269 23 0 0 20 0 20 0 6256643 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702110398448 140702915361410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18361] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18361/stat : 18361 (java) S 18340 18343 14040 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702109344736 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18365] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18365/stat : 18365 (java) S 18340 18343 14040 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6256644 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702108292096 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18376] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18376/stat : 18376 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256647 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702107240656 140702915368859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18378] ppid=18340 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18378/stat : 18378 (java) S 18340 18343 14040 0 -1 1077944384 5079 0 0 0 103 0 0 0 20 0 20 0 6256647 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702106188272 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18379] ppid=18340 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18379/stat : 18379 (java) S 18340 18343 14040 0 -1 1077944384 6883 0 0 0 114 2 0 0 20 0 20 0 6256647 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702105135728 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18380] ppid=18340 vsize=13270076 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18380/stat : 18380 (java) S 18340 18343 14040 0 -1 1077944384 4483 0 0 0 99 1 0 0 20 0 20 0 6256647 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702104083184 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18381] ppid=18340 vsize=13270076 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18381/stat : 18381 (java) S 18340 18343 14040 0 -1 1077944384 7055 0 0 0 83 1 0 0 20 0 20 0 6256647 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702103030640 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18382] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18382/stat : 18382 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702101977312 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18383] ppid=18340 vsize=13270076 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18383/stat : 18383 (java) S 18340 18343 14040 0 -1 1077944384 747 0 0 0 42 46 0 0 20 0 20 0 6256648 13588557824 122246 33554432000 4194304 4196468 140735666515792 140702100924848 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 2365.06
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2356.7 s]
/proc/loadavg: 1.29 1.42 1.47 3/282 18488
/proc/meminfo: memFree=30967796/32770624 swapFree=5848/269652
[pid=18343] ppid=18340 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 90959 0 0 0 239721 282 0 0 20 0 20 0 6256639 13588557824 122758 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3317519 122758 3831 1 0 3305234 0
[pid=18343/tid=18344] ppid=18340 vsize=13270076 CPUtime=2345.54 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 33410 0 0 0 234537 17 0 0 20 0 20 0 6256639 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702919588688 140702550282344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18346] ppid=18340 vsize=13270076 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18346/stat : 18346 (java) S 18340 18343 14040 0 -1 1077944384 4281 0 0 0 556 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702867970320 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18347] ppid=18340 vsize=13270076 CPUtime=5.78 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18347/stat : 18347 (java) S 18340 18343 14040 0 -1 1077944384 2962 0 0 0 551 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702866917776 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18348] ppid=18340 vsize=13270076 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18348/stat : 18348 (java) S 18340 18343 14040 0 -1 1077944384 3551 0 0 0 553 28 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702865865232 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18349] ppid=18340 vsize=13270076 CPUtime=5.91 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18349/stat : 18349 (java) S 18340 18343 14040 0 -1 1077944384 4471 0 0 0 564 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702864812688 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18350] ppid=18340 vsize=13270076 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18350/stat : 18350 (java) S 18340 18343 14040 0 -1 1077944384 3654 0 0 0 555 26 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702863760144 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18351] ppid=18340 vsize=13270076 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18351/stat : 18351 (java) S 18340 18343 14040 0 -1 1077944384 2834 0 0 0 557 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702862707600 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18352] ppid=18340 vsize=13270076 CPUtime=5.73 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18352/stat : 18352 (java) S 18340 18343 14040 0 -1 1077944384 1855 0 0 0 546 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702861655056 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18353] ppid=18340 vsize=13270076 CPUtime=5.74 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18353/stat : 18353 (java) S 18340 18343 14040 0 -1 1077944384 1873 0 0 0 551 23 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702507269264 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18358] ppid=18340 vsize=13270076 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18358/stat : 18358 (java) S 18340 18343 14040 0 -1 1077944384 6386 0 0 0 273 24 0 0 20 0 20 0 6256643 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702110398448 140702915361410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18361] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18361/stat : 18361 (java) S 18340 18343 14040 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702109344736 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18365] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18365/stat : 18365 (java) S 18340 18343 14040 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6256644 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702108292096 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18376] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18376/stat : 18376 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702107240656 140702915368859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18378] ppid=18340 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18378/stat : 18378 (java) S 18340 18343 14040 0 -1 1077944384 5079 0 0 0 103 0 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702106188272 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18379] ppid=18340 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18379/stat : 18379 (java) S 18340 18343 14040 0 -1 1077944384 6883 0 0 0 114 2 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702105135728 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18380] ppid=18340 vsize=13270076 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18380/stat : 18380 (java) S 18340 18343 14040 0 -1 1077944384 4483 0 0 0 99 1 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702104083184 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18381] ppid=18340 vsize=13270076 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18381/stat : 18381 (java) S 18340 18343 14040 0 -1 1077944384 7055 0 0 0 83 1 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702103030640 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18382] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18382/stat : 18382 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702101977312 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18383] ppid=18340 vsize=13270076 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18383/stat : 18383 (java) S 18340 18343 14040 0 -1 1077944384 749 0 0 0 42 47 0 0 20 0 20 0 6256648 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702100924848 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18343 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2356.7 s]
/proc/loadavg: 1.29 1.42 1.47 3/282 18488
/proc/meminfo: memFree=30967796/32770624 swapFree=5848/269652
[pid=18343] ppid=18340 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/18343/stat : 18343 (java) S 18340 18343 14040 0 -1 1077944320 90959 0 0 0 239721 282 0 0 20 0 20 0 6256639 13588557824 122758 33554432000 4194304 4196468 140735666515792 140735666498336 140702915350263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
/proc/18343/statm: 3317519 122758 3831 1 0 3305234 0
[pid=18343/tid=18344] ppid=18340 vsize=13270076 CPUtime=2345.54 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18344/stat : 18344 (java) R 18340 18343 14040 0 -1 4202560 33410 0 0 0 234537 17 0 0 20 0 20 0 6256639 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702919588688 140702550282344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18346] ppid=18340 vsize=13270076 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18346/stat : 18346 (java) S 18340 18343 14040 0 -1 1077944384 4281 0 0 0 556 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702867970320 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18347] ppid=18340 vsize=13270076 CPUtime=5.78 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18347/stat : 18347 (java) S 18340 18343 14040 0 -1 1077944384 2962 0 0 0 551 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702866917776 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18348] ppid=18340 vsize=13270076 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18348/stat : 18348 (java) S 18340 18343 14040 0 -1 1077944384 3551 0 0 0 553 28 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702865865232 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18349] ppid=18340 vsize=13270076 CPUtime=5.91 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18349/stat : 18349 (java) S 18340 18343 14040 0 -1 1077944384 4471 0 0 0 564 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702864812688 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18350] ppid=18340 vsize=13270076 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18350/stat : 18350 (java) S 18340 18343 14040 0 -1 1077944384 3654 0 0 0 555 26 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702863760144 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18351] ppid=18340 vsize=13270076 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18351/stat : 18351 (java) S 18340 18343 14040 0 -1 1077944384 2834 0 0 0 557 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702862707600 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18352] ppid=18340 vsize=13270076 CPUtime=5.73 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18352/stat : 18352 (java) S 18340 18343 14040 0 -1 1077944384 1855 0 0 0 546 27 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702861655056 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18353] ppid=18340 vsize=13270076 CPUtime=5.74 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18353/stat : 18353 (java) S 18340 18343 14040 0 -1 1077944384 1873 0 0 0 551 23 0 0 20 0 20 0 6256640 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702507269264 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18358] ppid=18340 vsize=13270076 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18358/stat : 18358 (java) S 18340 18343 14040 0 -1 1077944384 6386 0 0 0 273 24 0 0 20 0 20 0 6256643 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702110398448 140702915361410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18361] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18361/stat : 18361 (java) S 18340 18343 14040 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6256643 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702109344736 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18365] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18365/stat : 18365 (java) S 18340 18343 14040 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6256644 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702108292096 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18376] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18376/stat : 18376 (java) S 18340 18343 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702107240656 140702915368859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18378] ppid=18340 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18378/stat : 18378 (java) S 18340 18343 14040 0 -1 1077944384 5079 0 0 0 103 0 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702106188272 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18379] ppid=18340 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18379/stat : 18379 (java) S 18340 18343 14040 0 -1 1077944384 6883 0 0 0 114 2 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702105135728 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18380] ppid=18340 vsize=13270076 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18380/stat : 18380 (java) S 18340 18343 14040 0 -1 1077944384 4483 0 0 0 99 1 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702104083184 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18381] ppid=18340 vsize=13270076 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18381/stat : 18381 (java) S 18340 18343 14040 0 -1 1077944384 7055 0 0 0 83 1 0 0 20 0 20 0 6256647 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702103030640 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18382] ppid=18340 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18382/stat : 18382 (java) S 18340 18343 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702101977312 140702915360469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
[pid=18343/tid=18383] ppid=18340 vsize=13270076 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/18343/task/18383/stat : 18383 (java) S 18340 18343 14040 0 -1 1077944384 749 0 0 0 42 47 0 0 20 0 20 0 6256648 13588557824 122758 33554432000 4194304 4196468 140735666515792 140702100924848 140702915361410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140735666517129 140735666517316 140735666517316 140735666520015 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2356.73
CPU time (s): 2400.09
CPU user time (s): 2397.26
CPU system time (s): 2.82763
CPU usage (%): 101.84
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.26
system time used= 2.82763
maximum resident set size= 638080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187261
involuntary context switches= 149377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.929 second user time and 21.2326 second system time
The end