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-4243425-1500672301/watcher-4243425-1500672301 -o /tmp/evaluation-result-4243425-1500672301/solver-4243425-1500672301 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500672296-5311 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243425-1500672301.xml
pid=5445
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: 2.00 2.02 2.04 3/262 5448
/proc/meminfo: memFree=29954304/32770624 swapFree=5848/220084
[pid=5448] ppid=5445 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 2047 0 0 0 0 0 0 0 20 0 2 0 2499162 8550137856 2311 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2087436 2311 1197 1 0 2076347 0
[pid=5448/tid=5449] ppid=5445 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 848 0 0 0 0 0 0 0 20 0 2 0 2499163 8550137856 2377 33554432000 4194304 4196468 140734510820512 139908183251360 139908171298720 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[startup+0.100144 s]
/proc/loadavg: 2.00 2.02 2.04 3/262 5448
/proc/meminfo: memFree=29954304/32770624 swapFree=5848/220084
[pid=5448] ppid=5445 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 4620 0 0 0 9 1 0 0 20 0 20 0 2499162 11162169344 6221 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725139 6221 2623 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 2703 0 0 0 7 0 0 0 20 0 20 0 2499163 11162169344 6221 33554432000 4194304 4196468 140734510820512 139908183240064 139908179032861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200444 s]
/proc/loadavg: 2.00 2.02 2.04 3/262 5448
/proc/meminfo: memFree=29954304/32770624 swapFree=5848/220084
[pid=5448] ppid=5445 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 6789 0 0 0 24 2 0 0 20 0 20 0 2499162 11162169344 8555 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725139 8555 2830 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 4428 0 0 0 17 1 0 0 20 0 20 0 2499163 11162169344 8555 33554432000 4194304 4196468 140734510820512 139908183230224 139908163089758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300284 s]
/proc/loadavg: 2.00 2.02 2.04 3/262 5448
/proc/meminfo: memFree=29954304/32770624 swapFree=5848/220084
[pid=5448] ppid=5445 vsize=10900556 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 7899 0 0 0 42 2 0 0 20 0 20 0 2499162 11162169344 10619 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725139 10619 2968 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 4927 0 0 0 26 1 0 0 20 0 20 0 2499163 11162169344 10619 33554432000 4194304 4196468 140734510820512 139908183237264 139908179021206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556
[startup+0.700369 s]
/proc/loadavg: 2.00 2.02 2.04 3/262 5448
/proc/meminfo: memFree=29954304/32770624 swapFree=5848/220084
[pid=5448] ppid=5445 vsize=10900632 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 9920 0 0 0 148 35 0 0 20 0 20 0 2499162 11162247168 62501 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 62501 3102 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 5395 0 0 0 57 3 0 0 20 0 20 0 2499163 11162247168 62501 33554432000 4194304 4196468 140734510820512 139908183244072 139908165077390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10900632
[startup+1.50155 s]
/proc/loadavg: 2.00 2.02 2.04 10/282 5469
/proc/meminfo: memFree=28381776/32770624 swapFree=5848/220460
[pid=5448] ppid=5445 vsize=10900632 CPUtime=4.17 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 12852 0 0 0 287 130 0 0 20 0 20 0 2499162 11162247168 305608 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 305608 3107 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 6301 0 0 0 102 14 0 0 20 0 20 0 2499163 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908183246224 139908165077396 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5451] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5451/stat : 5451 (java) S 5445 5448 2458 0 -1 1077944384 217 0 0 0 15 13 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908105084048 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5452] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5452/stat : 5452 (java) S 5445 5448 2458 0 -1 1077944384 202 0 0 0 14 14 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908104031248 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5453] ppid=5445 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5453/stat : 5453 (java) S 5445 5448 2458 0 -1 1077944384 199 0 0 0 13 13 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908102978448 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5454] ppid=5445 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5454/stat : 5454 (java) S 5445 5448 2458 0 -1 1077944384 196 0 0 0 14 13 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908101925648 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5455] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5455/stat : 5455 (java) S 5445 5448 2458 0 -1 1077944384 195 0 0 0 14 14 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908100872848 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5456] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5456/stat : 5456 (java) S 5445 5448 2458 0 -1 1077944384 229 0 0 0 14 14 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908099820048 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5457] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5457/stat : 5457 (java) S 5445 5448 2458 0 -1 1077944384 208 0 0 0 14 14 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908098767248 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5458] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5458/stat : 5458 (java) S 5445 5448 2458 0 -1 1077944384 210 0 0 0 15 13 0 0 20 0 20 0 2499164 11162247168 305608 33554432000 4194304 4196468 140734510820512 139908097714448 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5459] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5459/stat : 5459 (java) S 5445 5448 2458 0 -1 1077944384 998 0 0 0 0 0 0 0 20 0 20 0 2499166 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907653593968 139908179020418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5460] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5460/stat : 5460 (java) S 5445 5448 2458 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907652539936 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5461] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5461/stat : 5461 (java) S 5445 5448 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907651487088 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5462] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5462/stat : 5462 (java) S 5445 5448 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907650435408 139908179027867 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5463] ppid=5445 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5463/stat : 5463 (java) S 5445 5448 2458 0 -1 1077944384 708 0 0 0 15 0 0 0 20 0 20 0 2499171 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907649382768 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5464] ppid=5445 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5464/stat : 5464 (java) S 5445 5448 2458 0 -1 1077944384 280 0 0 0 13 0 0 0 20 0 20 0 2499171 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907648329968 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5465] ppid=5445 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5465/stat : 5465 (java) S 5445 5448 2458 0 -1 1077944384 394 0 0 0 13 0 0 0 20 0 20 0 2499171 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907647277168 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5466] ppid=5445 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5466/stat : 5466 (java) S 5445 5448 2458 0 -1 1077944384 1148 0 0 0 28 0 0 0 20 0 20 0 2499171 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907646224368 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5467] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5467/stat : 5467 (java) S 5445 5448 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907645172832 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5468] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5468/stat : 5468 (java) S 5445 5448 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2499172 11162247168 305608 33554432000 4194304 4196468 140734510820512 139907644120112 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 10900632
[startup+3.10079 s]
/proc/loadavg: 2.00 2.02 2.04 11/282 5469
/proc/meminfo: memFree=27072728/32770624 swapFree=5848/220460
[pid=5448] ppid=5445 vsize=10900632 CPUtime=6.99 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 16023 0 0 0 538 161 0 0 20 0 20 0 2499162 11162247168 336782 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 336782 3122 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=2.68 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) R 5445 5448 2458 0 -1 4202560 7335 0 0 0 253 15 0 0 20 0 20 0 2499163 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908183246568 139907774826206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5451] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5451/stat : 5451 (java) S 5445 5448 2458 0 -1 1077944384 256 0 0 0 19 17 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908105084048 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5452] ppid=5445 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5452/stat : 5452 (java) S 5445 5448 2458 0 -1 1077944384 242 0 0 0 17 18 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908104031248 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5453] ppid=5445 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5453/stat : 5453 (java) S 5445 5448 2458 0 -1 1077944384 237 0 0 0 17 17 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908102978448 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5454] ppid=5445 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5454/stat : 5454 (java) S 5445 5448 2458 0 -1 1077944384 236 0 0 0 18 16 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908101925648 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5455] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5455/stat : 5455 (java) S 5445 5448 2458 0 -1 1077944384 235 0 0 0 19 17 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908100872848 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5456] ppid=5445 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5456/stat : 5456 (java) S 5445 5448 2458 0 -1 1077944384 265 0 0 0 17 17 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908099820048 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5457] ppid=5445 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5457/stat : 5457 (java) S 5445 5448 2458 0 -1 1077944384 246 0 0 0 18 17 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908098767248 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5458] ppid=5445 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5458/stat : 5458 (java) S 5445 5448 2458 0 -1 1077944384 251 0 0 0 19 18 0 0 20 0 20 0 2499164 11162247168 336782 33554432000 4194304 4196468 140734510820512 139908097714448 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5459] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5459/stat : 5459 (java) S 5445 5448 2458 0 -1 1077944384 1012 0 0 0 0 0 0 0 20 0 20 0 2499166 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907653593968 139908179020418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5460] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5460/stat : 5460 (java) S 5445 5448 2458 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907652539936 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5461] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5461/stat : 5461 (java) S 5445 5448 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907651487088 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5462] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5462/stat : 5462 (java) S 5445 5448 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907650435408 139908179027867 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5463] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5463/stat : 5463 (java) S 5445 5448 2458 0 -1 1077944384 1304 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907649382768 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5464] ppid=5445 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5464/stat : 5464 (java) S 5445 5448 2458 0 -1 1077944384 791 0 0 0 33 0 0 0 20 0 20 0 2499171 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907648329968 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5465] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5465/stat : 5465 (java) S 5445 5448 2458 0 -1 1077944384 1023 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907647277168 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5466] ppid=5445 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5466/stat : 5466 (java) S 5445 5448 2458 0 -1 1077944384 1223 0 0 0 31 0 0 0 20 0 20 0 2499171 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907646224368 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5467] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5467/stat : 5467 (java) S 5445 5448 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907645172832 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5468] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5468/stat : 5468 (java) S 5445 5448 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2499172 11162247168 336782 33554432000 4194304 4196468 140734510820512 139907644120112 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 10900632
[startup+6.301 s]
/proc/loadavg: 2.24 2.07 2.05 17/282 5469
/proc/meminfo: memFree=24957860/32770624 swapFree=5848/220468
[pid=5448] ppid=5445 vsize=10900632 CPUtime=20.51 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 161776 0 0 0 1545 506 0 0 20 0 20 0 2499162 11162247168 873493 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 873493 3132 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) S 5445 5448 2458 0 -1 1077944384 7791 0 0 0 360 28 0 0 20 0 20 0 2499163 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908183244448 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5451] ppid=5445 vsize=10900632 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5451/stat : 5451 (java) R 5445 5448 2458 0 -1 4202560 19194 0 0 0 122 58 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908105083944 139908162392306 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5452] ppid=5445 vsize=10900632 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5452/stat : 5452 (java) R 5445 5448 2458 0 -1 4202560 19191 0 0 0 123 61 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908104031448 139908159035488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5453] ppid=5445 vsize=10900632 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5453/stat : 5453 (java) R 5445 5448 2458 0 -1 4202560 19849 0 0 0 124 59 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908102978336 139908164767617 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5454] ppid=5445 vsize=10900632 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5454/stat : 5454 (java) R 5445 5448 2458 0 -1 4202560 11338 0 0 0 126 54 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908101925848 139908163960398 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5455] ppid=5445 vsize=10900632 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5455/stat : 5455 (java) R 5445 5448 2458 0 -1 4202560 19284 0 0 0 126 59 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908100873048 139908163960419 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5456] ppid=5445 vsize=10900632 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5456/stat : 5456 (java) R 5445 5448 2458 0 -1 4202560 19602 0 0 0 123 60 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908099820248 139908163960496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5457] ppid=5445 vsize=10900632 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5457/stat : 5457 (java) R 5445 5448 2458 0 -1 4202560 19100 0 0 0 125 59 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908098767144 139908171637479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5458] ppid=5445 vsize=10900632 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5458/stat : 5458 (java) R 5445 5448 2458 0 -1 4202560 19185 0 0 0 125 59 0 0 20 0 20 0 2499164 11162247168 873493 33554432000 4194304 4196468 140734510820512 139908097714344 139908171637479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5459] ppid=5445 vsize=10900632 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5459/stat : 5459 (java) S 5445 5448 2458 0 -1 1077944384 1193 0 0 0 49 0 0 0 20 0 20 0 2499166 11162247168 873493 33554432000 4194304 4196468 140734510820512 139907653592288 139908179019477 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5460] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5460/stat : 5460 (java) S 5445 5448 2458 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 873493 33554432000 4194304 4196468 140734510820512 139907652539936 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5461] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5461/stat : 5461 (java) S 5445 5448 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 873493 33554432000 4194304 4196468 140734510820512 139907651487088 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5462] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=5448/tid=5464] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5464/stat : 5464 (java) S 5445 5448 2458 0 -1 1077944384 1145 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907648329968 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5465] ppid=5445 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5465/stat : 5465 (java) S 5445 5448 2458 0 -1 1077944384 1692 0 0 0 39 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907647277168 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5466] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5466/stat : 5466 (java) S 5445 5448 2458 0 -1 1077944384 3547 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907646224368 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5467] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5467/stat : 5467 (java) S 5445 5448 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907645172832 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5468] ppid=5445 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5468/stat : 5468 (java) S 5445 5448 2458 0 -1 1077944384 667 0 0 0 6 7 0 0 20 0 20 0 2499172 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907644120112 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5448
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5448 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+336.001 s]
/proc/loadavg: 15.11 10.35 5.66 10/283 5568
/proc/meminfo: memFree=22810040/32770624 swapFree=5848/221048
[pid=5448] ppid=5445 vsize=10900632 CPUtime=2406.48 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 3424474 0 0 0 238225 2423 0 0 20 0 20 0 2499162 11162247168 2078727 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 2078727 3142 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=14.27 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) S 5445 5448 2458 0 -1 1077944384 32410 0 0 0 1397 30 0 0 20 0 20 0 2499163 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908183246128 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5451] ppid=5445 vsize=10900632 CPUtime=295.65 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5451/stat : 5451 (java) S 5445 5448 2458 0 -1 1077944384 274560 0 0 0 29271 294 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908105083632 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5452] ppid=5445 vsize=10900632 CPUtime=297.3 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5452/stat : 5452 (java) R 5445 5448 2458 0 -1 4202560 565156 0 0 0 29432 298 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908104031144 139908171637479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5453] ppid=5445 vsize=10900632 CPUtime=295.55 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5453/stat : 5453 (java) R 5445 5448 2458 0 -1 4202560 286561 0 0 0 29256 299 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908102978344 139908171637479 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5454] ppid=5445 vsize=10900632 CPUtime=296.68 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5454/stat : 5454 (java) R 5445 5448 2458 0 -1 4202560 357092 0 0 0 29388 280 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908101925544 139908171637479 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5455] ppid=5445 vsize=10900632 CPUtime=296.51 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5455/stat : 5455 (java) R 5445 5448 2458 0 -1 4202560 502000 0 0 0 29351 300 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908100872744 139908162392306 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5456] ppid=5445 vsize=10900632 CPUtime=296.31 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5456/stat : 5456 (java) R 5445 5448 2458 0 -1 4202560 489127 0 0 0 29341 290 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908099820312 139908163463214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5457] ppid=5445 vsize=10900632 CPUtime=296.19 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5457/stat : 5457 (java) R 5445 5448 2458 0 -1 4202560 419387 0 0 0 29325 294 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908098767136 139908163960395 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5458] ppid=5445 vsize=10900632 CPUtime=296.25 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5458/stat : 5458 (java) R 5445 5448 2458 0 -1 4202560 387461 0 0 0 29305 320 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908097714344 139908171637479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5459] ppid=5445 vsize=10900632 CPUtime=20 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5459/stat : 5459 (java) S 5445 5448 2458 0 -1 1077944384 100693 0 0 0 1995 5 0 0 20 0 20 0 2499166 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907653592288 139908179019477 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5460] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5460/stat : 5460 (java) S 5445 5448 2458 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907652540000 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5461] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5461/stat : 5461 (java) S 5445 5448 2458 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907651487104 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5462] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5462/stat : 5462 (java) S 5445 5448 2458 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907650435056 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5463] ppid=5445 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5463/stat : 5463 (java) S 5445 5448 2458 0 -1 1077944384 1533 0 0 0 37 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907649382768 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5464] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5464/stat : 5464 (java) S 5445 5448 2458 0 -1 1077944384 1145 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907648329968 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5465] ppid=5445 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5465/stat : 5465 (java) S 5445 5448 2458 0 -1 1077944384 1692 0 0 0 39 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907647277168 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5466] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5466/stat : 5466 (java) S 5445 5448 2458 0 -1 1077944384 3547 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907646224368 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5467] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5467/stat : 5467 (java) S 5445 5448 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907645172832 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5468] ppid=5445 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5468/stat : 5468 (java) S 5445 5448 2458 0 -1 1077944384 667 0 0 0 6 7 0 0 20 0 20 0 2499172 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907644120112 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 2406.48
Current children cumulated vsize (KiB) 10900632
[startup+336.801 s]
/proc/loadavg: 15.11 10.35 5.66 10/283 5568
/proc/meminfo: memFree=22667924/32770624 swapFree=5848/221048
[pid=5448] ppid=5445 vsize=10900632 CPUtime=2412.71 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 3433648 0 0 0 238844 2427 0 0 20 0 20 0 2499162 11162247168 2078727 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 2078727 3142 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=14.27 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) S 5445 5448 2458 0 -1 1077944384 32410 0 0 0 1397 30 0 0 20 0 20 0 2499163 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908183246128 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5451] ppid=5445 vsize=10900632 CPUtime=296.42 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5451/stat : 5451 (java) R 5445 5448 2458 0 -1 4202560 274560 0 0 0 29348 294 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908105083944 139908162392306 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5452] ppid=5445 vsize=10900632 CPUtime=298.07 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5452/stat : 5452 (java) R 5445 5448 2458 0 -1 4202560 565156 0 0 0 29509 298 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908104031144 139908171637479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5453] ppid=5445 vsize=10900632 CPUtime=296.33 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5453/stat : 5453 (java) R 5445 5448 2458 0 -1 4202560 286561 0 0 0 29334 299 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908102978032 139908171637479 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5454] ppid=5445 vsize=10900632 CPUtime=297.45 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5454/stat : 5454 (java) R 5445 5448 2458 0 -1 4202560 357092 0 0 0 29465 280 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908101925544 139908171637479 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5455] ppid=5445 vsize=10900632 CPUtime=297.27 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5455/stat : 5455 (java) R 5445 5448 2458 0 -1 4202560 502000 0 0 0 29427 300 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908100872744 139908171637479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5456] ppid=5445 vsize=10900632 CPUtime=297.12 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5456/stat : 5456 (java) R 5445 5448 2458 0 -1 4202560 494682 0 0 0 29421 291 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908099820312 139908163994282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5457] ppid=5445 vsize=10900632 CPUtime=297 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5457/stat : 5457 (java) R 5445 5448 2458 0 -1 4202560 422994 0 0 0 29405 295 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908098767136 139908160605919 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5458] ppid=5445 vsize=10900632 CPUtime=297.03 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5458/stat : 5458 (java) R 5445 5448 2458 0 -1 4202560 387461 0 0 0 29382 321 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908097714344 139908171637479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5459] ppid=5445 vsize=10900632 CPUtime=20 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5459/stat : 5459 (java) S 5445 5448 2458 0 -1 1077944384 100693 0 0 0 1995 5 0 0 20 0 20 0 2499166 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907653592288 139908179019477 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5460] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5460/stat : 5460 (java) S 5445 5448 2458 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907652540000 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5461] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5461/stat : 5461 (java) S 5445 5448 2458 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907651487104 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5462] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5462/stat : 5462 (java) S 5445 5448 2458 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907650435056 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5463] ppid=5445 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5463/stat : 5463 (java) S 5445 5448 2458 0 -1 1077944384 1533 0 0 0 37 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907649382768 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5464] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5464/stat : 5464 (java) S 5445 5448 2458 0 -1 1077944384 1145 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907648329968 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5465] ppid=5445 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5465/stat : 5465 (java) S 5445 5448 2458 0 -1 1077944384 1692 0 0 0 39 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907647277168 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5466] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5466/stat : 5466 (java) S 5445 5448 2458 0 -1 1077944384 3547 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907646224368 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5467] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5467/stat : 5467 (java) S 5445 5448 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907645172832 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5468] ppid=5445 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5468/stat : 5468 (java) S 5445 5448 2458 0 -1 1077944384 667 0 0 0 6 7 0 0 20 0 20 0 2499172 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907644120112 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 2412.71
Current children cumulated vsize (KiB) 10900632
[startup+337.201 s]
/proc/loadavg: 15.11 10.35 5.66 10/283 5568
/proc/meminfo: memFree=22667924/32770624 swapFree=5848/221048
[pid=5448] ppid=5445 vsize=10900632 CPUtime=2415.84 cores=1,3,5,7,9,11,13,15
/proc/5448/stat : 5448 (java) S 5445 5448 2458 0 -1 1077944320 3433648 0 0 0 239156 2428 0 0 20 0 20 0 2499162 11162247168 2078727 33554432000 4194304 4196468 140734510820512 140734510803056 139908179009271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
/proc/5448/statm: 2725158 2078727 3142 1 0 2713552 0
[pid=5448/tid=5449] ppid=5445 vsize=10900632 CPUtime=14.27 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5449/stat : 5449 (java) S 5445 5448 2458 0 -1 1077944384 32410 0 0 0 1397 30 0 0 20 0 20 0 2499163 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908183246128 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5451] ppid=5445 vsize=10900632 CPUtime=296.8 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5451/stat : 5451 (java) R 5445 5448 2458 0 -1 4202560 274560 0 0 0 29386 294 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908105083944 139908164768088 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5452] ppid=5445 vsize=10900632 CPUtime=298.47 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5452/stat : 5452 (java) R 5445 5448 2458 0 -1 4202560 565156 0 0 0 29548 299 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908104031144 139908171637479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5453] ppid=5445 vsize=10900632 CPUtime=296.72 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5453/stat : 5453 (java) S 5445 5448 2458 0 -1 1077944384 286561 0 0 0 29373 299 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908102978032 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5454] ppid=5445 vsize=10900632 CPUtime=297.84 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5454/stat : 5454 (java) R 5445 5448 2458 0 -1 4202560 357092 0 0 0 29503 281 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908101925544 139908171637479 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5455] ppid=5445 vsize=10900632 CPUtime=297.66 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5455/stat : 5455 (java) R 5445 5448 2458 0 -1 4202560 502000 0 0 0 29465 301 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908100872744 139908171637479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5456] ppid=5445 vsize=10900632 CPUtime=297.52 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5456/stat : 5456 (java) R 5445 5448 2458 0 -1 4202560 494682 0 0 0 29461 291 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908099820312 139908163707046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5457] ppid=5445 vsize=10900632 CPUtime=297.4 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5457/stat : 5457 (java) R 5445 5448 2458 0 -1 4202560 422994 0 0 0 29445 295 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908098767136 139908163960280 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5458] ppid=5445 vsize=10900632 CPUtime=297.41 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5458/stat : 5458 (java) R 5445 5448 2458 0 -1 4202560 387461 0 0 0 29420 321 0 0 20 0 20 0 2499164 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139908097714344 139908171637479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5459] ppid=5445 vsize=10900632 CPUtime=20 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5459/stat : 5459 (java) S 5445 5448 2458 0 -1 1077944384 100693 0 0 0 1995 5 0 0 20 0 20 0 2499166 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907653592288 139908179019477 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5460] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5460/stat : 5460 (java) S 5445 5448 2458 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907652540000 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5461] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5461/stat : 5461 (java) S 5445 5448 2458 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 2499167 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907651487104 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5462] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5462/stat : 5462 (java) S 5445 5448 2458 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907650435056 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5463] ppid=5445 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5463/stat : 5463 (java) S 5445 5448 2458 0 -1 1077944384 1533 0 0 0 37 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907649382768 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5464] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5464/stat : 5464 (java) S 5445 5448 2458 0 -1 1077944384 1145 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907648329968 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5465] ppid=5445 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5465/stat : 5465 (java) S 5445 5448 2458 0 -1 1077944384 1692 0 0 0 39 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907647277168 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5466] ppid=5445 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5466/stat : 5466 (java) S 5445 5448 2458 0 -1 1077944384 3547 0 0 0 36 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907646224368 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5467] ppid=5445 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5467/stat : 5467 (java) S 5445 5448 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2499171 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907645172832 139908179019477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
[pid=5448/tid=5468] ppid=5445 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5448/task/5468/stat : 5468 (java) S 5445 5448 2458 0 -1 1077944384 667 0 0 0 6 7 0 0 20 0 20 0 2499172 11162247168 2078727 33554432000 4194304 4196468 140734510820512 139907644120112 139908179020418 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21925888 140734510826667 140734510826820 140734510826820 140734510829519 0
Current children cumulated CPU time (s) 2415.84
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 337.304
CPU time (s): 2415.98
CPU user time (s): 2391.59
CPU system time (s): 24.3854
CPU usage (%): 716.261
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.59
system time used= 24.3854
maximum resident set size= 8315100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3433652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55130
involuntary context switches= 212131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.9663 second user time and 3.60006 second system time
The end