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-4249564-1500771856/watcher-4249564-1500771856 -o /tmp/evaluation-result-4249564-1500771856/solver-4249564-1500771856 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27392 --watchdog 2560 bin/concrete HOME/instance-4249564-1500771856.xml
pid=32005
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.82 1.74 1.66 3/263 32008
/proc/meminfo: memFree=27825252/32770624 swapFree=5872/241056
[pid=32008] ppid=32005 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (bash) S 32005 32008 27360 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 12455261 9736192 350 33554432000 4194304 5098028 140726336388016 140726336385656 139682666908672 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 15679488 140726336394510 140726336394595 140726336394595 140726336397294 0
/proc/32008/statm: 2377 350 278 221 0 86 0
[startup+0.100063 s]
/proc/loadavg: 1.82 1.74 1.66 3/263 32008
/proc/meminfo: memFree=27825252/32770624 swapFree=5872/241056
[pid=32008] ppid=32005 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (bash) S 32005 32008 27360 0 -1 4202496 877 6421 0 0 0 0 0 1 20 0 1 0 12455261 9871360 377 33554432000 4194304 5098028 140726336388016 140726336382024 139682666908672 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 15679488 140726336394510 140726336394595 140726336394595 140726336397294 0
/proc/32008/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200392 s]
/proc/loadavg: 1.82 1.74 1.66 3/263 32008
/proc/meminfo: memFree=27825252/32770624 swapFree=5872/241056
[pid=32008] ppid=32005 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 5073 12594 0 0 6 1 7 4 20 0 13 0 12455261 10686320640 5436 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2608965 5436 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300344 s]
/proc/loadavg: 1.82 1.74 1.66 3/263 32008
/proc/meminfo: memFree=27825252/32770624 swapFree=5872/241056
[pid=32008] ppid=32005 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 9525 12594 0 0 22 2 7 4 20 0 20 0 12455261 11164049408 10574 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2725598 10574 2937 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700254 s]
/proc/loadavg: 1.82 1.74 1.66 3/263 32008
/proc/meminfo: memFree=27825252/32770624 swapFree=5872/241056
[pid=32008] ppid=32005 vsize=10902720 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 13020 12594 0 0 84 3 7 4 20 0 20 0 12455261 11164385280 16311 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2725680 16311 3229 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720
[startup+1.50083 s]
/proc/loadavg: 1.82 1.74 1.66 3/283 32081
/proc/meminfo: memFree=27709924/32770624 swapFree=5872/241128
[pid=32008] ppid=32005 vsize=10915392 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 27594 12594 0 0 206 11 7 4 20 0 20 0 12455261 11177361408 44155 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2728848 44155 3415 1 0 2716962 0
[pid=32008/tid=32063] ppid=32005 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) R 32005 32008 27360 0 -1 4202560 19345 12594 0 0 127 4 7 4 20 0 20 0 12455274 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238650596944 140238639462779 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32064] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32064/stat : 32064 (java) S 32005 32008 27360 0 -1 1077944384 22 12594 0 0 0 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238602919056 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32065] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32065/stat : 32065 (java) S 32005 32008 27360 0 -1 1077944384 11 12594 0 0 0 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238251809808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32066] ppid=32005 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32066/stat : 32066 (java) S 32005 32008 27360 0 -1 1077944384 73 12594 0 0 1 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238250757008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32067] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32067/stat : 32067 (java) S 32005 32008 27360 0 -1 1077944384 126 12594 0 0 0 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238249704208 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32068] ppid=32005 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32068/stat : 32068 (java) S 32005 32008 27360 0 -1 1077944384 19 12594 0 0 1 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238248651408 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32069] ppid=32005 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32069/stat : 32069 (java) S 32005 32008 27360 0 -1 1077944384 17 12594 0 0 1 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238247598608 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32070] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32070/stat : 32070 (java) S 32005 32008 27360 0 -1 1077944384 11 12594 0 0 0 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238246545808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32071] ppid=32005 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32071/stat : 32071 (java) S 32005 32008 27360 0 -1 1077944384 33 12594 0 0 1 0 7 4 20 0 20 0 12455275 11177361408 44155 33554432000 4194304 4196468 140722129632848 140238245493008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32072] ppid=32005 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32072/stat : 32072 (java) S 32005 32008 27360 0 -1 1077944384 1624 12594 0 0 1 0 7 4 20 0 20 0 12455277 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237852330864 140238646377090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32073] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32073/stat : 32073 (java) S 32005 32008 27360 0 -1 1077944384 56 12594 0 0 0 0 7 4 20 0 20 0 12455277 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237851276832 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32074] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32074/stat : 32074 (java) S 32005 32008 27360 0 -1 1077944384 44 12594 0 0 0 0 7 4 20 0 20 0 12455277 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237850223984 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32075] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32075/stat : 32075 (java) S 32005 32008 27360 0 -1 1077944384 1 12594 0 0 0 0 7 4 20 0 20 0 12455281 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237849172304 140238646384539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32076] ppid=32005 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32076/stat : 32076 (java) S 32005 32008 27360 0 -1 1077944384 913 12594 0 0 14 0 7 4 20 0 20 0 12455281 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237848119664 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32077] ppid=32005 vsize=10915392 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32077/stat : 32077 (java) S 32005 32008 27360 0 -1 1077944384 510 12594 0 0 10 0 7 4 20 0 20 0 12455281 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237847066864 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32078] ppid=32005 vsize=10915392 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32078/stat : 32078 (java) R 32005 32008 27360 0 -1 1077944384 1277 12594 0 0 16 0 7 4 20 0 20 0 12455281 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237846014064 140238646377090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32079] ppid=32005 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32079/stat : 32079 (java) R 32005 32008 27360 0 -1 4202560 1380 12594 0 0 28 0 7 4 20 0 20 0 12455281 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237844961264 140238624519358 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32080] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32080/stat : 32080 (java) S 32005 32008 27360 0 -1 1077944384 3 12594 0 0 0 0 7 4 20 0 20 0 12455282 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237843909728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32081] ppid=32005 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32081/stat : 32081 (java) S 32005 32008 27360 0 -1 1077944384 3 12594 0 0 0 0 7 4 20 0 20 0 12455282 11177361408 44155 33554432000 4194304 4196468 140722129632848 140237842857008 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10915392
[startup+3.10125 s]
/proc/loadavg: 1.82 1.74 1.66 5/283 32081
/proc/meminfo: memFree=27637088/32770624 swapFree=5872/241128
[pid=32008] ppid=32005 vsize=10923772 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 43436 12594 0 0 600 23 7 4 20 0 20 0 12455261 11185942528 72542 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2730943 72542 3485 1 0 2718498 0
[pid=32008/tid=32063] ppid=32005 vsize=10923772 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) D 32005 32008 27360 0 -1 4202560 26947 12594 0 0 279 7 7 4 20 0 20 0 12455274 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238650581336 140238639083095 0 4 0 16800975 18446744071582151463 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32064] ppid=32005 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32064/stat : 32064 (java) S 32005 32008 27360 0 -1 1077944384 50 12594 0 0 1 1 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238602919056 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32065] ppid=32005 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32065/stat : 32065 (java) S 32005 32008 27360 0 -1 1077944384 22 12594 0 0 1 1 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238251809808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32066] ppid=32005 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32066/stat : 32066 (java) S 32005 32008 27360 0 -1 1077944384 80 12594 0 0 1 1 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238250757008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32067] ppid=32005 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32067/stat : 32067 (java) S 32005 32008 27360 0 -1 1077944384 257 12594 0 0 1 0 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238249704208 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32068] ppid=32005 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32068/stat : 32068 (java) S 32005 32008 27360 0 -1 1077944384 30 12594 0 0 1 1 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238248651408 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32069] ppid=32005 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32069/stat : 32069 (java) S 32005 32008 27360 0 -1 1077944384 22 12594 0 0 1 0 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238247598608 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32070] ppid=32005 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32070/stat : 32070 (java) S 32005 32008 27360 0 -1 1077944384 163 12594 0 0 2 0 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238246545808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32071] ppid=32005 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32071/stat : 32071 (java) S 32005 32008 27360 0 -1 1077944384 42 12594 0 0 1 1 7 4 20 0 20 0 12455275 11185942528 72542 33554432000 4194304 4196468 140722129632848 140238245493008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32072] ppid=32005 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32072/stat : 32072 (java) S 32005 32008 27360 0 -1 1077944384 1694 12594 0 0 1 0 7 4 20 0 20 0 12455277 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237852330864 140238646377090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32073] ppid=32005 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32073/stat : 32073 (java) S 32005 32008 27360 0 -1 1077944384 58 12594 0 0 0 0 7 4 20 0 20 0 12455277 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237851276896 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32074] ppid=32005 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32074/stat : 32074 (java) S 32005 32008 27360 0 -1 1077944384 49 12594 0 0 0 0 7 4 20 0 20 0 12455277 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237850224000 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32075] ppid=32005 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32075/stat : 32075 (java) S 32005 32008 27360 0 -1 1077944384 1 12594 0 0 0 0 7 4 20 0 20 0 12455281 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237849172304 140238646384539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32076] ppid=32005 vsize=10923772 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32076/stat : 32076 (java) S 32005 32008 27360 0 -1 1077944384 4730 12594 0 0 87 1 7 4 20 0 20 0 12455281 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237848119664 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32077] ppid=32005 vsize=10923772 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32077/stat : 32077 (java) S 32005 32008 27360 0 -1 1077944384 1843 12594 0 0 64 1 7 4 20 0 20 0 12455281 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237847066864 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32078] ppid=32005 vsize=10923772 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32078/stat : 32078 (java) S 32005 32008 27360 0 -1 1077944384 2386 12594 0 0 66 0 7 4 20 0 20 0 12455281 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237846014064 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32079] ppid=32005 vsize=10923772 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32079/stat : 32079 (java) S 32005 32008 27360 0 -1 1077944384 2927 12594 0 0 85 0 7 4 20 0 20 0 12455281 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237844961264 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32080] ppid=32005 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32080/stat : 32080 (java) S 32005 32008 27360 0 -1 1077944384 3 12594 0 0 0 0 7 4 20 0 20 0 12455282 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237843909728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32081] ppid=32005 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32081/stat : 32081 (java) D 32005 32008 27360 0 -1 4202560 5 12594 0 0 0 0 7 4 20 0 20 0 12455282 11185942528 72542 33554432000 4194304 4196468 140722129632848 140237842856928 140238631222030 0 4 0 16800975 18446744072099658885 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 10923772
[startup+6.30084 s]
/proc/loadavg: 1.91 1.76 1.67 6/283 32081
/proc/meminfo: memFree=27144544/32770624 swapFree=5872/241132
[pid=32008] ppid=32005 vsize=10927868 CPUtime=14.85 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 54790 12594 0 0 1364 110 7 4 20 0 20 0 12455261 11190136832 213117 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2731967 213117 3498 1 0 2719522 0
[pid=32008/tid=32063] ppid=32005 vsize=10927868 CPUtime=5.67 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) R 32005 32008 27360 0 -1 4202560 33029 12594 0 0 543 13 7 4 20 0 20 0 12455274 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238650596184 140238292770560 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32064] ppid=32005 vsize=10927868 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32064/stat : 32064 (java) S 32005 32008 27360 0 -1 1077944384 154 12594 0 0 8 11 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238602919056 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32065] ppid=32005 vsize=10927868 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32065/stat : 32065 (java) S 32005 32008 27360 0 -1 1077944384 117 12594 0 0 7 12 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238251809808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32066] ppid=32005 vsize=10927868 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32066/stat : 32066 (java) S 32005 32008 27360 0 -1 1077944384 170 12594 0 0 8 11 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238250757008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32067] ppid=32005 vsize=10927868 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32067/stat : 32067 (java) S 32005 32008 27360 0 -1 1077944384 344 12594 0 0 7 10 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238249704208 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32068] ppid=32005 vsize=10927868 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32068/stat : 32068 (java) S 32005 32008 27360 0 -1 1077944384 119 12594 0 0 7 11 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238248651408 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32069] ppid=32005 vsize=10927868 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32069/stat : 32069 (java) S 32005 32008 27360 0 -1 1077944384 113 12594 0 0 7 11 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238247598608 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32070] ppid=32005 vsize=10927868 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32070/stat : 32070 (java) S 32005 32008 27360 0 -1 1077944384 248 12594 0 0 7 11 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238246545808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32071] ppid=32005 vsize=10927868 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32071/stat : 32071 (java) S 32005 32008 27360 0 -1 1077944384 126 12594 0 0 8 10 7 4 20 0 20 0 12455275 11190136832 213117 33554432000 4194304 4196468 140722129632848 140238245493008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32072] ppid=32005 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32072/stat : 32072 (java) S 32005 32008 27360 0 -1 1077944384 2082 12594 0 0 3 0 7 4 20 0 20 0 12455277 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237852330864 140238646377090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32073] ppid=32005 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32073/stat : 32073 (java) S 32005 32008 27360 0 -1 1077944384 58 12594 0 0 0 0 7 4 20 0 20 0 12455277 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237851276896 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32074] ppid=32005 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32074/stat : 32074 (java) S 32005 32008 27360 0 -1 1077944384 49 12594 0 0 0 0 7 4 20 0 20 0 12455277 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237850224000 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32075] ppid=32005 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32075/stat : 32075 (java) S 32005 32008 27360 0 -1 1077944384 1 12594 0 0 0 0 7 4 20 0 20 0 12455281 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237849172304 140238646384539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32076] ppid=32005 vsize=10927868 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32076/stat : 32076 (java) S 32005 32008 27360 0 -1 1077944384 5636 12594 0 0 226 1 7 4 20 0 20 0 12455281 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237848119664 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32077] ppid=32005 vsize=10927868 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32077/stat : 32077 (java) S 32005 32008 27360 0 -1 1077944384 3814 12594 0 0 207 1 7 4 20 0 20 0 12455281 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237847066864 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32078] ppid=32005 vsize=10927868 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32078/stat : 32078 (java) S 32005 32008 27360 0 -1 1077944384 3027 12594 0 0 203 1 7 4 20 0 20 0 12455281 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237846014064 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32079] ppid=32005 vsize=10927868 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32079/stat : 32079 (java) S 32005 32008 27360 0 -1 1077944384 3563 12594 0 0 114 1 7 4 20 0 20 0 12455281 11190136832 213117 33554432000 4194304 4196468 140722129632848 140237844961264 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32080] ppid=32005 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2275.1 s]
/proc/loadavg: 1.72 1.77 1.77 3/283 32329
/proc/meminfo: memFree=25415132/32770624 swapFree=5872/242296
[pid=32008] ppid=32005 vsize=10997500 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 520031 12594 0 0 238583 1413 7 4 20 0 20 0 12455261 11261440000 697260 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2749375 697260 3513 1 0 2736930 0
[pid=32008/tid=32063] ppid=32005 vsize=10997500 CPUtime=2255.56 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) R 32005 32008 27360 0 -1 4202560 230521 12594 0 0 225443 102 7 4 20 0 20 0 12455274 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238650600384 140238289064521 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32064] ppid=32005 vsize=10997500 CPUtime=15.28 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32064/stat : 32064 (java) S 32005 32008 27360 0 -1 1077944384 17413 12594 0 0 1365 152 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238602919056 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32065] ppid=32005 vsize=10997500 CPUtime=15.29 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32065/stat : 32065 (java) S 32005 32008 27360 0 -1 1077944384 15633 12594 0 0 1368 150 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238251809808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32066] ppid=32005 vsize=10997500 CPUtime=15.35 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32066/stat : 32066 (java) S 32005 32008 27360 0 -1 1077944384 15473 12594 0 0 1372 152 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238250757008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32067] ppid=32005 vsize=10997500 CPUtime=15.5 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32067/stat : 32067 (java) S 32005 32008 27360 0 -1 1077944384 20862 12594 0 0 1388 151 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238249704208 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32068] ppid=32005 vsize=10997500 CPUtime=15.24 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32068/stat : 32068 (java) S 32005 32008 27360 0 -1 1077944384 14757 12594 0 0 1360 153 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238248651408 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32069] ppid=32005 vsize=10997500 CPUtime=15.39 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32069/stat : 32069 (java) S 32005 32008 27360 0 -1 1077944384 12992 12594 0 0 1378 150 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238247598608 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32070] ppid=32005 vsize=10997500 CPUtime=15.41 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32070/stat : 32070 (java) S 32005 32008 27360 0 -1 1077944384 21597 12594 0 0 1379 151 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238246545808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32071] ppid=32005 vsize=10997500 CPUtime=15.5 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32071/stat : 32071 (java) S 32005 32008 27360 0 -1 1077944384 18683 12594 0 0 1386 153 7 4 20 0 20 0 12455275 11261440000 697260 33554432000 4194304 4196468 140722129632848 140238245493008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32072] ppid=32005 vsize=10997500 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32072/stat : 32072 (java) S 32005 32008 27360 0 -1 1077944384 83466 12594 0 0 106 30 7 4 20 0 20 0 12455277 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237852330864 140238646377090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32073] ppid=32005 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32073/stat : 32073 (java) S 32005 32008 27360 0 -1 1077944384 58 12594 0 0 0 0 7 4 20 0 20 0 12455277 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237851276896 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32074] ppid=32005 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32074/stat : 32074 (java) S 32005 32008 27360 0 -1 1077944384 49 12594 0 0 0 0 7 4 20 0 20 0 12455277 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237850224000 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32075] ppid=32005 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32075/stat : 32075 (java) S 32005 32008 27360 0 -1 1077944384 1 12594 0 0 0 0 7 4 20 0 20 0 12455281 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237849172304 140238646384539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32076] ppid=32005 vsize=10997500 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32076/stat : 32076 (java) S 32005 32008 27360 0 -1 1077944384 15278 12594 0 0 599 3 7 4 20 0 20 0 12455281 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237848119664 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32077] ppid=32005 vsize=10997500 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32077/stat : 32077 (java) S 32005 32008 27360 0 -1 1077944384 18666 12594 0 0 573 4 7 4 20 0 20 0 12455281 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237847066864 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32078] ppid=32005 vsize=10997500 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32078/stat : 32078 (java) S 32005 32008 27360 0 -1 1077944384 15002 12594 0 0 575 4 7 4 20 0 20 0 12455281 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237846014064 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32079] ppid=32005 vsize=10997500 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32079/stat : 32079 (java) S 32005 32008 27360 0 -1 1077944384 16021 12594 0 0 200 4 7 4 20 0 20 0 12455281 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237844961264 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32080] ppid=32005 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32080/stat : 32080 (java) S 32005 32008 27360 0 -1 1077944384 3 12594 0 0 0 0 7 4 20 0 20 0 12455282 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237843909728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32081] ppid=32005 vsize=10997500 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32081/stat : 32081 (java) S 32005 32008 27360 0 -1 1077944384 1429 12594 0 0 58 72 7 4 20 0 20 0 12455282 11261440000 697260 33554432000 4194304 4196468 140722129632848 140237842857008 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500
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 32008 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2275.5 s]
/proc/loadavg: 1.72 1.77 1.77 3/283 32329
/proc/meminfo: memFree=25415132/32770624 swapFree=5872/242296
[pid=32008] ppid=32005 vsize=11130628 CPUtime=2402.84 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 532883 12594 0 0 238857 1416 7 4 20 0 22 0 12455261 11397763072 697708 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2782657 697708 3513 1 0 2770212 0
[pid=32008/tid=32063] ppid=32005 vsize=11130628 CPUtime=2255.57 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) S 32005 32008 27360 0 -1 1077944384 231644 12594 0 0 225444 102 7 4 20 0 22 0 12455274 11397763072 697708 33554432000 4194304 4196468 140722129632848 140238650603728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32064] ppid=32005 vsize=11130628 CPUtime=15.62 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32064/stat : 32064 (java) S 32005 32008 27360 0 -1 1077944384 17433 12594 0 0 1398 153 7 4 20 0 22 0 12455275 11397763072 697708 33554432000 4194304 4196468 140722129632848 140238602919056 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32065] ppid=32005 vsize=11130628 CPUtime=15.64 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32065/stat : 32065 (java) R 32005 32008 27360 0 -1 1077944384 15677 12594 0 0 1402 151 7 4 20 0 22 0 12455275 11397763072 697708 33554432000 4194304 4196468 140722129632848 140238251809808 140238646376149 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32066] ppid=32005 vsize=11130628 CPUtime=15.69 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32066/stat : 32066 (java) S 32005 32008 27360 0 -1 1077944384 15495 12594 0 0 1406 152 7 4 20 0 22 0 12455275 11397763072 697708 33554432000 4194304 4196468 140722129632848 140238250757008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32067] ppid=32005 vsize=11130628 CPUtime=15.83 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32067/stat : 32067 (java) S 32005 32008 27360 0 -1 1077944384 20887 12594 0 0 1421 151 7 4 20 0 22 0 12455275 11397763072 697708 33554432000 4194304 4196468 140722129632848 140238249704208 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32068] ppid=32005 vsize=11130628 CPUtime=15.58 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32068/stat : 32068 (java) S 32005 32008 27360 0 -1 1077944384 14799 12594 0 0 1394 153 7 4 20 0 22 0 12455275 11397763072 696172 33554432000 4194304 4196468 140722129632848 140238248651408 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32069] ppid=32005 vsize=11130628 CPUtime=15.72 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32069/stat : 32069 (java) S 32005 32008 27360 0 -1 1077944384 13242 12594 0 0 1411 150 7 4 20 0 22 0 12455275 11397763072 695788 33554432000 4194304 4196468 140722129632848 140238247598608 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32070] ppid=32005 vsize=11130628 CPUtime=15.75 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32070/stat : 32070 (java) S 32005 32008 27360 0 -1 1077944384 21627 12594 0 0 1413 151 7 4 20 0 22 0 12455275 11397763072 695788 33554432000 4194304 4196468 140722129632848 140238246545808 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32071] ppid=32005 vsize=11130628 CPUtime=15.84 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32071/stat : 32071 (java) S 32005 32008 27360 0 -1 1077944384 18701 12594 0 0 1420 153 7 4 20 0 22 0 12455275 11397763072 695788 33554432000 4194304 4196468 140722129632848 140238245493008 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32072] ppid=32005 vsize=11130628 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32072/stat : 32072 (java) R 32005 32008 27360 0 -1 4202560 94131 12594 0 0 109 31 7 4 20 0 22 0 12455277 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237852329456 140238639082906 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32073] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32073/stat : 32073 (java) S 32005 32008 27360 0 -1 1077944384 59 12594 0 0 0 0 7 4 20 0 22 0 12455277 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237851276800 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32074] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32074/stat : 32074 (java) S 32005 32008 27360 0 -1 1077944384 49 12594 0 0 0 0 7 4 20 0 22 0 12455277 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237850224000 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32075] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32075/stat : 32075 (java) S 32005 32008 27360 0 -1 1077944384 250 12594 0 0 0 0 7 4 20 0 22 0 12455281 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237849172304 140238646384539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32076] ppid=32005 vsize=11130628 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32076/stat : 32076 (java) S 32005 32008 27360 0 -1 1077944384 15278 12594 0 0 599 3 7 4 20 0 22 0 12455281 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237848119664 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32077] ppid=32005 vsize=11130628 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32077/stat : 32077 (java) S 32005 32008 27360 0 -1 1077944384 18666 12594 0 0 573 4 7 4 20 0 22 0 12455281 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237847066864 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32078] ppid=32005 vsize=11130628 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32078/stat : 32078 (java) S 32005 32008 27360 0 -1 1077944384 15002 12594 0 0 575 4 7 4 20 0 22 0 12455281 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237846014064 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32079] ppid=32005 vsize=11130628 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32079/stat : 32079 (java) S 32005 32008 27360 0 -1 1077944384 16021 12594 0 0 200 4 7 4 20 0 22 0 12455281 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237844961264 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32080] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32080/stat : 32080 (java) S 32005 32008 27360 0 -1 1077944384 3 12594 0 0 0 0 7 4 20 0 22 0 12455282 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237843909728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32081] ppid=32005 vsize=11130628 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32081/stat : 32081 (java) S 32005 32008 27360 0 -1 1077944384 1429 12594 0 0 58 72 7 4 20 0 22 0 12455282 11397763072 695784 33554432000 4194304 4196468 140722129632848 140237842857008 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
Current children cumulated CPU time (s) 2402.84
Current children cumulated vsize (KiB) 11130628
[startup+2275.9 s]
/proc/loadavg: 1.72 1.77 1.77 3/283 32329
/proc/meminfo: memFree=25415132/32770624 swapFree=5872/242296
[pid=32008] ppid=32005 vsize=11130628 CPUtime=2405.55 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) S 32005 32008 27360 0 -1 1077944320 532927 12594 0 0 239128 1416 7 4 20 0 22 0 12455261 11397763072 693866 33554432000 4194304 4196468 140722129632848 140722129615392 140238646365943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
/proc/32008/statm: 2782657 693866 3513 1 0 2770212 0
[pid=32008/tid=32063] ppid=32005 vsize=11130628 CPUtime=2255.57 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) S 32005 32008 27360 0 -1 1077944384 231644 12594 0 0 225444 102 7 4 20 0 22 0 12455274 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238650603728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32064] ppid=32005 vsize=11130628 CPUtime=15.93 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32064/stat : 32064 (java) R 32005 32008 27360 0 -1 4202560 17438 12594 0 0 1429 153 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238602919256 140238631316548 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32065] ppid=32005 vsize=11130628 CPUtime=15.98 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32065/stat : 32065 (java) R 32005 32008 27360 0 -1 4202560 15685 12594 0 0 1436 151 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238251810008 140238631063718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32066] ppid=32005 vsize=11130628 CPUtime=16.02 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32066/stat : 32066 (java) R 32005 32008 27360 0 -1 4202560 15499 12594 0 0 1439 152 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238250757208 140238627962366 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32067] ppid=32005 vsize=11130628 CPUtime=16.18 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32067/stat : 32067 (java) R 32005 32008 27360 0 -1 4202560 20891 12594 0 0 1456 151 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238249704472 140238631316548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32068] ppid=32005 vsize=11130628 CPUtime=15.92 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32068/stat : 32068 (java) R 32005 32008 27360 0 -1 4202560 14802 12594 0 0 1428 153 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238248651296 140238629542512 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32069] ppid=32005 vsize=11130628 CPUtime=16.03 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32069/stat : 32069 (java) R 32005 32008 27360 0 -1 4202560 13242 12594 0 0 1442 150 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238247598808 140238627962954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32070] ppid=32005 vsize=11130628 CPUtime=16.08 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32070/stat : 32070 (java) R 32005 32008 27360 0 -1 4202560 21627 12594 0 0 1446 151 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238246545696 140238631350944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32071] ppid=32005 vsize=11130628 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32071/stat : 32071 (java) R 32005 32008 27360 0 -1 4202560 18711 12594 0 0 1455 153 7 4 20 0 22 0 12455275 11397763072 693866 33554432000 4194304 4196468 140722129632848 140238245493208 140238627962444 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32072] ppid=32005 vsize=11130628 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32072/stat : 32072 (java) S 32005 32008 27360 0 -1 1077944384 94137 12594 0 0 114 31 7 4 20 0 22 0 12455277 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237852329264 140238646376149 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32073] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32073/stat : 32073 (java) S 32005 32008 27360 0 -1 1077944384 60 12594 0 0 0 0 7 4 20 0 22 0 12455277 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237851276400 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32074] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32074/stat : 32074 (java) S 32005 32008 27360 0 -1 1077944384 49 12594 0 0 0 0 7 4 20 0 22 0 12455277 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237850224000 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32075] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32075/stat : 32075 (java) S 32005 32008 27360 0 -1 1077944384 250 12594 0 0 0 0 7 4 20 0 22 0 12455281 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237849172304 140238646384539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32076] ppid=32005 vsize=11130628 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32076/stat : 32076 (java) S 32005 32008 27360 0 -1 1077944384 15278 12594 0 0 599 3 7 4 20 0 22 0 12455281 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237848119664 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32077] ppid=32005 vsize=11130628 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32077/stat : 32077 (java) S 32005 32008 27360 0 -1 1077944384 18666 12594 0 0 573 4 7 4 20 0 22 0 12455281 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237847066912 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32078] ppid=32005 vsize=11130628 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32078/stat : 32078 (java) S 32005 32008 27360 0 -1 1077944384 15003 12594 0 0 575 4 7 4 20 0 22 0 12455281 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237846013824 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32079] ppid=32005 vsize=11130628 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32079/stat : 32079 (java) S 32005 32008 27360 0 -1 1077944384 16021 12594 0 0 200 4 7 4 20 0 22 0 12455281 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237844961264 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32080] ppid=32005 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32080/stat : 32080 (java) S 32005 32008 27360 0 -1 1077944384 3 12594 0 0 0 0 7 4 20 0 22 0 12455282 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237843909728 140238646376149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
[pid=32008/tid=32081] ppid=32005 vsize=11130628 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32081/stat : 32081 (java) S 32005 32008 27360 0 -1 1077944384 1429 12594 0 0 58 72 7 4 20 0 22 0 12455282 11397763072 693866 33554432000 4194304 4196468 140722129632848 140237842857008 140238646377090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 33 0 0 6293624 6294260 39198720 140722129636033 140722129638807 140722129638807 140722129641423 0
Current children cumulated CPU time (s) 2405.55
Current children cumulated vsize (KiB) 11130628
[startup+2276 s]
/proc/loadavg: 1.72 1.77 1.77 3/283 32329
/proc/meminfo: memFree=25415132/32770624 swapFree=5872/242296
[pid=32008] ppid=32005 vsize=0 CPUtime=2406.03 cores=1,3,5,7,9,11,13,15
/proc/32008/stat : 32008 (java) Z 32005 32008 27360 0 -1 4228108 533357 12594 0 0 239174 1418 7 4 20 0 2 0 12455261 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/32008/statm: 0 0 0 0 0 0 0
[pid=32008/tid=32063] ppid=32005 vsize=0 CPUtime=2255.59 cores=1,3,5,7,9,11,13,15
/proc/32008/task/32063/stat : 32063 (java) R 32005 32008 27360 0 -1 4203588 231741 12594 0 0 225445 103 7 4 20 0 2 0 12455274 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2406.03
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2276.01
CPU time (s): 2406.06
CPU user time (s): 2391.82
CPU system time (s): 14.2395
CPU usage (%): 105.714
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.82
system time used= 14.2395
maximum resident set size= 3591416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94163
involuntary context switches= 130022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0506 second user time and 19.1203 second system time
The end