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-4262706-1502478060/watcher-4262706-1502478060 -o /tmp/evaluation-result-4262706-1502478060/solver-4262706-1502478060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4262706-1502478060.xml
pid=28256
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.25 1.37 1.42 4/194 28259
/proc/meminfo: memFree=26338340/32770624 swapFree=0/403648
[pid=28259] ppid=28256 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28259/stat : 28259 (runsolver) D 28256 28259 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 36146711 24240128 108 18446744073709551615 4194304 4338465 140736151798016 140736151795656 140506054841047 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 27738112 140736151802065 140736151802441 140736151802441 140736151805898 0
/proc/28259/statm: 5918 108 54 36 0 2156 0
[startup+0.100442 s]
/proc/loadavg: 1.25 1.37 1.42 4/194 28259
/proc/meminfo: memFree=26338340/32770624 swapFree=0/403648
[pid=28259] ppid=28256 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/28259/stat : 28259 (bash) S 28256 28259 7434 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 36146711 9736192 351 18446744073709551615 4194304 5098028 140727972167344 140727972164984 140078150167552 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 27537408 140727972172308 140727972172393 140727972172393 140727972175850 0
/proc/28259/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200249 s]
/proc/loadavg: 1.25 1.37 1.42 4/194 28259
/proc/meminfo: memFree=26338340/32770624 swapFree=0/403648
[pid=28259] ppid=28256 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/28259/stat : 28259 (bash) S 28256 28259 7434 0 -1 4202496 891 6488 0 0 0 0 0 1 20 0 1 0 36146711 9867264 377 18446744073709551615 4194304 5098028 140727972167344 140727972161352 140078150167552 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 27537408 140727972172308 140727972172393 140727972172393 140727972175850 0
/proc/28259/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300341 s]
/proc/loadavg: 1.25 1.37 1.42 4/194 28259
/proc/meminfo: memFree=26338340/32770624 swapFree=0/403648
[pid=28259] ppid=28256 vsize=13574488 CPUtime=0.1 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 5065 12496 0 0 2 1 4 3 20 0 9 0 36146711 13900275712 4303 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3393622 4303 2099 1 0 3383119 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13574488
[startup+0.700875 s]
/proc/loadavg: 1.25 1.37 1.42 4/194 28259
/proc/meminfo: memFree=26338340/32770624 swapFree=0/403648
[pid=28259] ppid=28256 vsize=13974784 CPUtime=0.49 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 13018 12496 0 0 38 4 4 3 20 0 15 0 36146711 14310178816 13361 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3493696 13361 3068 1 0 3482965 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13974784
[startup+1.50066 s]
/proc/loadavg: 1.31 1.38 1.42 3/209 28322
/proc/meminfo: memFree=26258596/32770624 swapFree=0/403644
[pid=28259] ppid=28256 vsize=13985408 CPUtime=1.7 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 26083 12496 0 0 155 8 4 3 20 0 15 0 36146711 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3496352 32328 3337 1 0 3485525 0
[pid=28259/tid=28309] ppid=28256 vsize=13985408 CPUtime=1.17 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) R 28256 28259 7434 0 -1 4202560 21194 12496 0 0 104 6 4 3 20 0 15 0 36146737 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832940728656 139832929589627 0 4 1 16800974 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) S 28256 28259 7434 0 -1 1077944384 1 12496 0 0 0 0 4 3 20 0 15 0 36146738 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) S 28256 28259 7434 0 -1 1077944384 1 12496 0 0 0 0 4 3 20 0 15 0 36146738 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) S 28256 28259 7434 0 -1 1077944384 1 12496 0 0 0 0 4 3 20 0 15 0 36146738 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) S 28256 28259 7434 0 -1 1077944384 2 12496 0 0 0 0 4 3 20 0 15 0 36146738 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832867769488 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 6 12496 0 0 0 0 4 3 20 0 15 0 36146739 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832414660592 139832936503938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 33 12496 0 0 0 0 4 3 20 0 15 0 36146739 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832413606816 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 22 12496 0 0 0 0 4 3 20 0 15 0 36146740 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832412554224 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) S 28256 28259 7434 0 -1 1077944384 958 12496 0 0 14 0 4 3 20 0 15 0 36146742 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832410450416 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) S 28256 28259 7434 0 -1 1077944384 803 12496 0 0 16 0 4 3 20 0 15 0 36146742 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832409397872 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=13985408 CPUtime=0.27 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 895 12496 0 0 20 0 4 3 20 0 15 0 36146742 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832408345328 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 10 12496 0 0 0 0 4 3 20 0 15 0 36146754 14321057792 32328 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 13985408
[startup+3.10088 s]
/proc/loadavg: 1.31 1.38 1.42 9/209 28322
/proc/meminfo: memFree=26171300/32770624 swapFree=0/403644
[pid=28259] ppid=28256 vsize=13995836 CPUtime=6.13 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 43764 12496 0 0 592 14 4 3 20 0 15 0 36146711 14331736064 61298 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3498959 61298 3449 1 0 3487573 0
[pid=28259/tid=28309] ppid=28256 vsize=13995836 CPUtime=2.74 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) R 28256 28259 7434 0 -1 4202560 27858 12496 0 0 258 9 4 3 20 0 15 0 36146737 14331736064 61298 18446744073709551615 4194304 4196468 140736821475344 139832940724688 139832542246273 0 4 1 16800974 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) S 28256 28259 7434 0 -1 1077944384 46 12496 0 0 0 0 4 3 20 0 15 0 36146738 14331736064 61298 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) S 28256 28259 7434 0 -1 1077944384 63 12496 0 0 0 0 4 3 20 0 15 0 36146738 14331736064 61298 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) S 28256 28259 7434 0 -1 1077944384 191 12496 0 0 0 0 4 3 20 0 15 0 36146738 14331736064 61298 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) S 28256 28259 7434 0 -1 1077944384 55 12496 0 0 1 0 4 3 20 0 15 0 36146738 14331736064 61298 18446744073709551615 4194304 4196468 140736821475344 139832867769488 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 1545 12496 0 0 1 0 4 3 20 0 15 0 36146739 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832414660592 139832936503938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 55 12496 0 0 0 0 4 3 20 0 15 0 36146739 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832413606880 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 45 12496 0 0 0 0 4 3 20 0 15 0 36146740 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832412554224 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=13995836 CPUtime=1.28 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) R 28256 28259 7434 0 -1 4202560 4726 12496 0 0 120 1 4 3 20 0 15 0 36146742 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832410438896 139832920051853 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=13995836 CPUtime=1.11 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) R 28256 28259 7434 0 -1 4202560 2739 12496 0 0 104 0 4 3 20 0 15 0 36146742 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832409383896 139832929592638 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=13995836 CPUtime=1.1 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 4278 12496 0 0 102 1 4 3 20 0 15 0 36146742 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832408345328 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 13 12496 0 0 0 0 4 3 20 0 15 0 36146754 14331736064 61306 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 13995836
[startup+6.30067 s]
/proc/loadavg: 1.45 1.40 1.43 3/209 28323
/proc/meminfo: memFree=25915064/32770624 swapFree=0/403640
[pid=28259] ppid=28256 vsize=13997884 CPUtime=14.04 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 55158 12496 0 0 1353 44 4 3 20 0 15 0 36146711 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3499471 162661 3478 1 0 3488085 0
[pid=28259/tid=28309] ppid=28256 vsize=13997884 CPUtime=5.65 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) R 28256 28259 7434 0 -1 4202560 28986 12496 0 0 547 11 4 3 20 0 15 0 36146737 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832940723392 139832545552775 0 4 1 16800974 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=13997884 CPUtime=0.33 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) S 28256 28259 7434 0 -1 1077944384 714 12496 0 0 19 7 4 3 20 0 15 0 36146738 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=13997884 CPUtime=0.32 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) S 28256 28259 7434 0 -1 1077944384 451 12496 0 0 19 6 4 3 20 0 15 0 36146738 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=13997884 CPUtime=0.32 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) S 28256 28259 7434 0 -1 1077944384 430 12496 0 0 19 6 4 3 20 0 15 0 36146738 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=13997884 CPUtime=0.33 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) S 28256 28259 7434 0 -1 1077944384 358 12496 0 0 20 6 4 3 20 0 15 0 36146738 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832867769488 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=13997884 CPUtime=0.1 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 1875 12496 0 0 3 0 4 3 20 0 15 0 36146739 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832414660592 139832936503938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 55 12496 0 0 0 0 4 3 20 0 15 0 36146739 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832413606880 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 45 12496 0 0 0 0 4 3 20 0 15 0 36146740 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832412554240 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=13997884 CPUtime=3.13 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) R 28256 28259 7434 0 -1 4202560 7990 12496 0 0 304 2 4 3 20 0 15 0 36146742 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832410450416 139832919989579 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=13997884 CPUtime=2.89 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) S 28256 28259 7434 0 -1 1077944384 5319 12496 0 0 281 1 4 3 20 0 15 0 36146742 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832409397872 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=13997884 CPUtime=1.46 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 6644 12496 0 0 138 1 4 3 20 0 15 0 36146742 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832408345328 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 134 12496 0 0 0 0 4 3 20 0 15 0 36146754 14333833216 162661 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 14.04
Current children cumulated vsize (KiB) 13997884
[startup+12.7099 s]
/proc/loadavg: 1.49 1.41 1.43 3/209 28323
/proc/meminfo: memFree=25037568/32770624 swapFree=0/403636
[pid=28259] ppid=28256 vsize=13999932 CPUtime=28.2 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 74512 12496 0 0 2740 73 4 3 20 0 15 0 36146711 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3499983 326814 3481 1 0 3488597 0
[pid=28259/tid=28309] ppid=28256 vsize=13999932 CPUtime=11.85 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) R 28256 28259 7434 0 -1 4202560 33442 12496 0 0 1159 19 4 3 20 0 15 0 36146737 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832940724264 139832558141049 0 4 1 16800974 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=13999932 CPUtime=0.51 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) S 28256 28259 7434 0 -1 1077944384 995 12496 0 0 33 11 4 3 20 0 15 0 36146738 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=13999932 CPUtime=0.49 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) S 28256 28259 7434 0 -1 1077944384 602 12496 0 0 32 10 4 3 20 0 15 0 36146738 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=13999932 CPUtime=0.51 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) S 28256 28259 7434 0 -1 1077944384 631 12496 0 0 33 11 4 3 20 0 15 0 36146738 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=13999932 CPUtime=0.52 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) S 28256 28259 7434 0 -1 1077944384 739 12496 0 0 34 11 4 3 20 0 15 0 36146738 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832867769488 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 2456 12496 0 0 3 0 4 3 20 0 15 0 36146739 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832414660592 139832936503938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 60 12496 0 0 0 0 4 3 20 0 15 0 36146739 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832413606880 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 52 12496 0 0 0 0 4 3 20 0 15 0 36146740 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832412554240 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14335930368 326814 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
################
# More data... #
################
/proc/meminfo: memFree=24985544/32770624 swapFree=0/404116
[pid=28259] ppid=28256 vsize=14004028 CPUtime=2499.69 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 675861 12496 0 0 249545 417 4 3 20 0 15 0 36146711 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3501007 1097921 3496 1 0 3489621 0
[pid=28259/tid=28309] ppid=28256 vsize=14004028 CPUtime=2428.64 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) R 28256 28259 7434 0 -1 4202560 419913 12496 0 0 242729 128 4 3 20 0 15 0 36146737 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832940727040 139832560465321 0 4 1 16800974 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=14004028 CPUtime=10.59 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) S 28256 28259 7434 0 -1 1077944384 31183 12496 0 0 1007 45 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=14004028 CPUtime=10.56 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) S 28256 28259 7434 0 -1 1077944384 33989 12496 0 0 1006 43 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=14004028 CPUtime=10.58 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) S 28256 28259 7434 0 -1 1077944384 26561 12496 0 0 1007 44 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=14004028 CPUtime=10.59 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) S 28256 28259 7434 0 -1 1077944384 30141 12496 0 0 1007 45 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832867769488 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=14004028 CPUtime=2.06 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 37052 12496 0 0 163 36 4 3 20 0 15 0 36146739 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832414660592 139832936503938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 62 12496 0 0 0 0 4 3 20 0 15 0 36146739 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832413606944 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 53 12496 0 0 0 0 4 3 20 0 15 0 36146740 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832412554240 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=14004028 CPUtime=11.44 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) S 28256 28259 7434 0 -1 1077944384 33233 12496 0 0 1132 5 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832410450416 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=14004028 CPUtime=11.19 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) S 28256 28259 7434 0 -1 1077944384 34934 12496 0 0 1107 5 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832409397872 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=14004028 CPUtime=3.01 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 24843 12496 0 0 289 5 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832408345328 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=14004028 CPUtime=1.57 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 1740 12496 0 0 66 84 4 3 20 0 15 0 36146754 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 2499.69
Current children cumulated vsize (KiB) 14004028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.6 s]
/proc/loadavg: 1.90 1.81 1.70 3/209 28613
/proc/meminfo: memFree=24985304/32770624 swapFree=0/404112
[pid=28259] ppid=28256 vsize=14004028 CPUtime=2520.05 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 683416 12496 0 0 251579 419 4 3 20 0 15 0 36146711 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3501007 1097921 3496 1 0 3489621 0
[pid=28259/tid=28309] ppid=28256 vsize=14004028 CPUtime=2448.93 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) R 28256 28259 7434 0 -1 4202560 424883 12496 0 0 244757 129 4 3 20 0 15 0 36146737 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832940727248 139832561474758 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=14004028 CPUtime=10.6 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) S 28256 28259 7434 0 -1 1077944384 31364 12496 0 0 1008 45 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=14004028 CPUtime=10.58 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) S 28256 28259 7434 0 -1 1077944384 34216 12496 0 0 1008 43 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=14004028 CPUtime=10.6 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) S 28256 28259 7434 0 -1 1077944384 26685 12496 0 0 1009 44 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=14004028 CPUtime=10.6 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) S 28256 28259 7434 0 -1 1077944384 31854 12496 0 0 1008 45 4 3 20 0 15 0 36146738 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832867769488 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=14004028 CPUtime=2.06 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 37354 12496 0 0 163 36 4 3 20 0 15 0 36146739 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832414660592 139832936503938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 62 12496 0 0 0 0 4 3 20 0 15 0 36146739 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832413606944 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 53 12496 0 0 0 0 4 3 20 0 15 0 36146740 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832412554240 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=14004028 CPUtime=11.44 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) S 28256 28259 7434 0 -1 1077944384 33237 12496 0 0 1132 5 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832410450416 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=14004028 CPUtime=11.19 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) S 28256 28259 7434 0 -1 1077944384 34937 12496 0 0 1107 5 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832409397872 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=14004028 CPUtime=3.01 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 24851 12496 0 0 289 5 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832408345328 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 15 0 36146742 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=14004028 CPUtime=1.58 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 1763 12496 0 0 66 85 4 3 20 0 15 0 36146754 14340124672 1097921 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14004028
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 28259 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.2 s]
/proc/loadavg: 1.90 1.81 1.70 6/211 28615
/proc/meminfo: memFree=24979004/32770624 swapFree=0/404112
[pid=28259] ppid=28256 vsize=14137156 CPUtime=2522.27 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 697456 12496 0 0 251799 421 4 3 20 0 17 0 36146711 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3534289 1099537 3496 1 0 3522903 0
[pid=28259/tid=28309] ppid=28256 vsize=14137156 CPUtime=2448.94 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) S 28256 28259 7434 0 -1 1077944384 426007 12496 0 0 244758 129 4 3 20 0 17 0 36146737 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832940730336 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=14137156 CPUtime=11.14 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) R 28256 28259 7434 0 -1 4202560 31550 12496 0 0 1062 45 4 3 20 0 17 0 36146738 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832870927016 139832929120999 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=14137156 CPUtime=11.11 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) R 28256 28259 7434 0 -1 4202560 34404 12496 0 0 1061 43 4 3 20 0 17 0 36146738 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832869874472 139832929120999 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=14137156 CPUtime=11.14 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) R 28256 28259 7434 0 -1 4202560 26833 12496 0 0 1063 44 4 3 20 0 17 0 36146738 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832868822232 139832918088687 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=14137156 CPUtime=11.14 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) R 28256 28259 7434 0 -1 4202560 31984 12496 0 0 1062 45 4 3 20 0 17 0 36146738 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832867769384 139832929120999 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=14137156 CPUtime=2.11 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 48926 12496 0 0 167 37 4 3 20 0 17 0 36146739 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832414658992 139832936502997 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 64 12496 0 0 0 0 4 3 20 0 17 0 36146739 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832413606544 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 53 12496 0 0 0 0 4 3 20 0 17 0 36146740 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832412554240 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 249 12496 0 0 0 0 4 3 20 0 17 0 36146742 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=14137156 CPUtime=11.44 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) S 28256 28259 7434 0 -1 1077944384 33237 12496 0 0 1132 5 4 3 20 0 17 0 36146742 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832410450416 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=14137156 CPUtime=11.19 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) S 28256 28259 7434 0 -1 1077944384 34937 12496 0 0 1107 5 4 3 20 0 17 0 36146742 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832409397872 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=14137156 CPUtime=3.01 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 24919 12496 0 0 289 5 4 3 20 0 17 0 36146742 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832408340816 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 17 0 36146742 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=14137156 CPUtime=1.58 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 1763 12496 0 0 66 85 4 3 20 0 17 0 36146754 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28614] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28614/stat : 28614 (java) S 28256 28259 7434 0 -1 1077944384 344 12496 0 0 0 0 4 3 20 0 17 0 36392971 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139831946670192 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28615] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28615/stat : 28615 (java) S 28256 28259 7434 0 -1 1077944384 30 12496 0 0 0 0 4 3 20 0 17 0 36392971 14476447744 1099537 18446744073709551615 4194304 4196468 140736821475344 139831945618368 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 2522.27
Current children cumulated vsize (KiB) 14137156
[startup+2463.6 s]
/proc/loadavg: 1.90 1.81 1.70 6/211 28615
/proc/meminfo: memFree=24979004/32770624 swapFree=0/404112
[pid=28259] ppid=28256 vsize=14137156 CPUtime=2523.68 cores=1,3,5,7
/proc/28259/stat : 28259 (java) S 28256 28259 7434 0 -1 1077944320 697513 12496 0 0 251940 421 4 3 20 0 17 0 36146711 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 140736821457888 139832936492791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
/proc/28259/statm: 3534289 1099160 3496 1 0 3522903 0
[pid=28259/tid=28309] ppid=28256 vsize=14137156 CPUtime=2448.94 cores=1,3,5,7
/proc/28259/task/28309/stat : 28309 (java) S 28256 28259 7434 0 -1 1077944384 426008 12496 0 0 244758 129 4 3 20 0 17 0 36146737 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832940730336 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28310] ppid=28256 vsize=14137156 CPUtime=11.48 cores=1,3,5,7
/proc/28259/task/28310/stat : 28310 (java) R 28256 28259 7434 0 -1 4202560 31550 12496 0 0 1096 45 4 3 20 0 17 0 36146738 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832870927120 139832920950328 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28311] ppid=28256 vsize=14137156 CPUtime=11.45 cores=1,3,5,7
/proc/28259/task/28311/stat : 28311 (java) R 28256 28259 7434 0 -1 4202560 34404 12496 0 0 1095 43 4 3 20 0 17 0 36146738 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832869874576 139832921489360 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28312] ppid=28256 vsize=14137156 CPUtime=11.48 cores=1,3,5,7
/proc/28259/task/28312/stat : 28312 (java) R 28256 28259 7434 0 -1 4202560 26858 12496 0 0 1097 44 4 3 20 0 17 0 36146738 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832868822032 139832921489195 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28313] ppid=28256 vsize=14137156 CPUtime=11.48 cores=1,3,5,7
/proc/28259/task/28313/stat : 28313 (java) R 28256 28259 7434 0 -1 4202560 31985 12496 0 0 1096 45 4 3 20 0 17 0 36146738 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832867769688 139832918102611 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28314] ppid=28256 vsize=14137156 CPUtime=2.17 cores=1,3,5,7
/proc/28259/task/28314/stat : 28314 (java) S 28256 28259 7434 0 -1 1077944384 48936 12496 0 0 173 37 4 3 20 0 17 0 36146739 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832414659216 139832936502997 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28315] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28315/stat : 28315 (java) S 28256 28259 7434 0 -1 1077944384 65 12496 0 0 0 0 4 3 20 0 17 0 36146739 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832413606928 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28316] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28316/stat : 28316 (java) S 28256 28259 7434 0 -1 1077944384 53 12496 0 0 0 0 4 3 20 0 17 0 36146740 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832412554240 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28317] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28317/stat : 28317 (java) S 28256 28259 7434 0 -1 1077944384 249 12496 0 0 0 0 4 3 20 0 17 0 36146742 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832411502800 139832936511387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28318] ppid=28256 vsize=14137156 CPUtime=11.44 cores=1,3,5,7
/proc/28259/task/28318/stat : 28318 (java) S 28256 28259 7434 0 -1 1077944384 33237 12496 0 0 1132 5 4 3 20 0 17 0 36146742 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832410450416 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28319] ppid=28256 vsize=14137156 CPUtime=11.19 cores=1,3,5,7
/proc/28259/task/28319/stat : 28319 (java) S 28256 28259 7434 0 -1 1077944384 34937 12496 0 0 1107 5 4 3 20 0 17 0 36146742 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832409397872 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28320] ppid=28256 vsize=14137156 CPUtime=3.01 cores=1,3,5,7
/proc/28259/task/28320/stat : 28320 (java) S 28256 28259 7434 0 -1 1077944384 24937 12496 0 0 289 5 4 3 20 0 17 0 36146742 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832408341072 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28321] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28321/stat : 28321 (java) S 28256 28259 7434 0 -1 1077944384 3 12496 0 0 0 0 4 3 20 0 17 0 36146742 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832407293024 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28322] ppid=28256 vsize=14137156 CPUtime=1.58 cores=1,3,5,7
/proc/28259/task/28322/stat : 28322 (java) S 28256 28259 7434 0 -1 1077944384 1763 12496 0 0 66 85 4 3 20 0 17 0 36146754 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139832406239536 139832936503938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28614] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28614/stat : 28614 (java) S 28256 28259 7434 0 -1 1077944384 344 12496 0 0 0 0 4 3 20 0 17 0 36392971 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139831946670192 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
[pid=28259/tid=28615] ppid=28256 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/28259/task/28615/stat : 28615 (java) S 28256 28259 7434 0 -1 1077944384 31 12496 0 0 0 0 4 3 20 0 17 0 36392971 14476447744 1099160 18446744073709551615 4194304 4196468 140736821475344 139831945618368 139832936502997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140736821483472 140736821486257 140736821486257 140736821489615 0
Current children cumulated CPU time (s) 2523.68
Current children cumulated vsize (KiB) 14137156
Child status: 143
Real time (s): 2463.67
CPU time (s): 2523.86
CPU user time (s): 2519.58
CPU system time (s): 4.27815
CPU usage (%): 102.443
Max. virtual memory (cumulated for all children) (KiB): 14137156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 4.27815
maximum resident set size= 4398148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 710160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96172
involuntary context switches= 3139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0438 second user time and 15.2443 second system time
The end