runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454165-1307187631/watcher-3454165-1307187631 -o /tmp/evaluation-result-3454165-1307187631/solver-3454165-1307187631 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454165-1307187631.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.65 1.21 1.34 3/479 18127
/proc/meminfo: memFree=25657452/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 2097 0 1 0 0 0 0 0 25 0 2 0 830361318 10681323520 1798 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2607745 1810 906 9 0 2598901 0
[pid=18127/tid=18128] ppid=18125 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) R 18125 18127 14960 0 -1 4202560 6154 0 1 0 0 0 0 0 25 0 2 0 830361318 10694979584 6970 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.110697 s]
/proc/loadavg: 1.65 1.21 1.34 3/479 18127
/proc/meminfo: memFree=25657452/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10540028 CPUtime=0.12 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 13289 0 1 0 10 2 0 0 25 0 18 0 830361318 10792988672 12985 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2635007 12986 2125 9 0 2625741 0
[pid=18127/tid=18128] ppid=18125 vsize=10540028 CPUtime=0.09 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) R 18125 18127 14960 0 -1 4202560 11287 0 1 0 8 1 0 0 18 0 18 0 830361318 10792988672 12986 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 47643435122595 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540028
[startup+0.200667 s]
/proc/loadavg: 1.65 1.21 1.34 3/479 18127
/proc/meminfo: memFree=25657452/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10540356 CPUtime=0.25 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 14676 0 1 0 23 2 0 0 25 0 18 0 830361318 10793324544 14347 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2635089 14347 2182 9 0 2625823 0
[pid=18127/tid=18128] ppid=18125 vsize=10540356 CPUtime=0.18 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) R 18125 18127 14960 0 -1 4202560 12504 0 1 0 17 1 0 0 18 0 18 0 830361318 10793324544 14347 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 47643439590227 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540356
[startup+0.30064 s]
/proc/loadavg: 1.65 1.21 1.34 3/479 18127
/proc/meminfo: memFree=25657452/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10540980 CPUtime=0.48 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 16836 0 1 0 45 3 0 0 25 0 18 0 830361318 10793963520 16058 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2635245 16059 2201 9 0 2625979 0
[pid=18127/tid=18128] ppid=18125 vsize=10540980 CPUtime=0.28 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) R 18125 18127 14960 0 -1 4202560 13673 0 1 0 26 2 0 0 18 0 18 0 830361318 10793963520 16060 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505595295 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540980
[startup+0.70057 s]
/proc/loadavg: 1.65 1.21 1.34 3/479 18127
/proc/meminfo: memFree=25657452/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10545340 CPUtime=1.18 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 56830 0 1 0 109 9 0 0 25 0 18 0 830361318 10798428160 54536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2636335 54541 2214 9 0 2627069 0
[pid=18127/tid=18128] ppid=18125 vsize=10545340 CPUtime=0.68 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) R 18125 18127 14960 0 -1 4202560 50204 0 1 0 61 7 0 0 18 0 18 0 830361318 10798428160 54543 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10545340
[startup+1.50139 s]
/proc/loadavg: 1.65 1.21 1.34 2/494 18204
/proc/meminfo: memFree=25806528/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10549452 CPUtime=2.43 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 130857 0 1 0 226 17 0 0 25 0 22 0 830361318 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2637363 128561 2236 9 0 2628097 0
[pid=18127/tid=18128] ppid=18125 vsize=10549452 CPUtime=1.32 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) S 18125 18127 14960 0 -1 4202560 120791 0 1 0 117 15 0 0 20 0 22 0 830361318 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 14960 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 14960 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830361321 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 0 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830361321 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361321 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347716017 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=10549452 CPUtime=0.39 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 14960 0 -1 4202560 2124 0 0 0 39 0 0 0 17 0 22 0 830361323 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=10549452 CPUtime=0.37 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) R 18125 18127 14960 0 -1 4202560 3407 0 0 0 37 0 0 0 15 0 22 0 830361323 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 47643438282394 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=10549452 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830361323 10802638848 128561 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 10549452
[startup+3.10111 s]
/proc/loadavg: 1.65 1.21 1.34 3/498 18277
/proc/meminfo: memFree=25492496/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10555632 CPUtime=6.33 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 205001 0 1 0 608 25 0 0 25 0 22 0 830361318 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2638908 199597 2240 9 0 2629642 0
[pid=18127/tid=18128] ppid=18125 vsize=10555632 CPUtime=1.32 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) S 18125 18127 14960 0 -1 4202560 120791 0 1 0 117 15 0 0 15 0 22 0 830361318 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 14960 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 14960 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830361321 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 0 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830361321 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361321 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347716017 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=10555632 CPUtime=0.66 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 14960 0 -1 4202560 4143 0 0 0 66 0 0 0 15 0 22 0 830361323 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=10555632 CPUtime=0.81 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) S 18125 18127 14960 0 -1 4202560 6411 0 0 0 80 1 0 0 15 0 22 0 830361323 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830361323 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18229] ppid=18125 vsize=10555632 CPUtime=1.76 cores=1,3,5,7
/proc/18127/task/18229/stat : 18229 (java) R 18125 18127 14960 0 -1 4202560 1099 0 0 0 176 0 0 0 25 0 22 0 830361451 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505924452 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18127/tid=18230] ppid=18125 vsize=10555632 CPUtime=1.75 cores=1,3,5,7
/proc/18127/task/18230/stat : 18230 (java) R 18125 18127 14960 0 -1 4202560 71388 0 0 0 168 7 0 0 25 0 22 0 830361451 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505897444 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18127/tid=18232] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18232/stat : 18232 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830361454 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18234] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18234/stat : 18234 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830361454 10808967168 199597 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 10555632
[startup+6.30154 s]
/proc/loadavg: 1.76 1.24 1.35 4/497 18330
/proc/meminfo: memFree=24138652/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10555632 CPUtime=12.92 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 328647 0 1 0 1253 39 0 0 25 0 22 0 830361318 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2638908 321151 2243 9 0 2629642 0
[pid=18127/tid=18128] ppid=18125 vsize=10555632 CPUtime=1.32 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) S 18125 18127 14960 0 -1 4202560 120791 0 1 0 117 15 0 0 15 0 22 0 830361318 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 14960 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361320 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830361321 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 0 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830361321 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361321 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=10555632 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10808967168 321151 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347716017 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18776084/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10558720 CPUtime=1641.73 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 930154 0 1 0 164063 110 0 0 25 0 22 0 830361318 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2639680 918527 2267 9 0 2630414 0
[pid=18127/tid=18128] ppid=18125 vsize=10558720 CPUtime=1.32 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) S 18125 18127 14960 0 -1 4202560 120799 0 1 0 117 15 0 0 15 0 22 0 830361318 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=10558720 CPUtime=0.42 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 14960 0 -1 4202560 9583 0 0 0 41 1 0 0 15 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=10558720 CPUtime=0.39 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 14960 0 -1 4202560 9618 0 0 0 37 2 0 0 16 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=10558720 CPUtime=0.33 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 14960 0 -1 4202560 3557 0 0 0 33 0 0 0 15 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=10558720 CPUtime=0.43 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 14960 0 -1 4202560 10967 0 0 0 42 1 0 0 15 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=10558720 CPUtime=0.41 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 14960 0 -1 4202560 6809 0 0 0 41 0 0 0 15 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=10558720 CPUtime=0.36 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 14960 0 -1 4202560 6115 0 0 0 36 0 0 0 16 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=10558720 CPUtime=0.32 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 14960 0 -1 4202560 4050 0 0 0 31 1 0 0 16 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=10558720 CPUtime=0.37 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 14960 0 -1 4202560 12154 0 0 0 36 1 0 0 15 0 22 0 830361320 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=10558720 CPUtime=5.04 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 14960 0 -1 4202560 47008 0 0 0 498 6 0 0 15 0 22 0 830361321 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 0 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 14960 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830361321 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830361321 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347716017 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=10558720 CPUtime=1.02 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 14960 0 -1 4202560 6626 0 0 0 102 0 0 0 16 0 22 0 830361323 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=10558720 CPUtime=1.19 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) S 18125 18127 14960 0 -1 4202560 10225 0 0 0 118 1 0 0 15 0 22 0 830361323 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 14960 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830361323 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18229] ppid=18125 vsize=10558720 CPUtime=815.02 cores=1,3,5,7
/proc/18127/task/18229/stat : 18229 (java) R 18125 18127 14960 0 -1 4202560 1612 0 0 0 81502 0 0 0 25 0 22 0 830361451 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505897046 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18127/tid=18230] ppid=18125 vsize=10558720 CPUtime=814.94 cores=1,3,5,7
/proc/18127/task/18230/stat : 18230 (java) R 18125 18127 14960 0 -1 4202560 679825 0 0 0 81419 75 0 0 25 0 22 0 830361451 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912506123139 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18127/tid=18232] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18232/stat : 18232 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830361454 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18234] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18234/stat : 18234 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830361454 10812129280 918527 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1641.73
Current children cumulated vsize (KiB) 10558720
[startup+882.318 s]
/proc/loadavg: 4.06 3.87 2.95 7/501 18358
/proc/meminfo: memFree=18775772/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10558720 CPUtime=1761.46 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 930175 0 1 0 176036 110 0 0 25 0 22 0 830361318 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2639680 918536 2267 9 0 2630414 0
[pid=18127/tid=18128] ppid=18125 vsize=10558720 CPUtime=1.32 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) S 18125 18127 14960 0 -1 4202560 120800 0 1 0 117 15 0 0 15 0 22 0 830361318 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=10558720 CPUtime=0.45 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 14960 0 -1 4202560 9583 0 0 0 44 1 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=10558720 CPUtime=0.4 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 14960 0 -1 4202560 9618 0 0 0 38 2 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=10558720 CPUtime=0.35 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 14960 0 -1 4202560 3557 0 0 0 35 0 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=10558720 CPUtime=0.47 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 14960 0 -1 4202560 10970 0 0 0 46 1 0 0 16 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=10558720 CPUtime=0.45 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 14960 0 -1 4202560 6812 0 0 0 45 0 0 0 16 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=10558720 CPUtime=0.41 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 14960 0 -1 4202560 6118 0 0 0 41 0 0 0 16 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=10558720 CPUtime=0.35 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 14960 0 -1 4202560 4050 0 0 0 34 1 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=10558720 CPUtime=0.39 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 14960 0 -1 4202560 12154 0 0 0 38 1 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=10558720 CPUtime=5.4 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 14960 0 -1 4202560 47012 0 0 0 534 6 0 0 15 0 22 0 830361321 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 0 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 14960 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830361321 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830361321 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347716017 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=10558720 CPUtime=1.02 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 14960 0 -1 4202560 6626 0 0 0 102 0 0 0 16 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=10558720 CPUtime=1.19 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) S 18125 18127 14960 0 -1 4202560 10225 0 0 0 118 1 0 0 15 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 14960 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18229] ppid=18125 vsize=10558720 CPUtime=874.6 cores=1,3,5,7
/proc/18127/task/18229/stat : 18229 (java) R 18125 18127 14960 0 -1 4202560 1613 0 0 0 87460 0 0 0 25 0 22 0 830361451 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505897637 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18127/tid=18230] ppid=18125 vsize=10558720 CPUtime=874.52 cores=1,3,5,7
/proc/18127/task/18230/stat : 18230 (java) R 18125 18127 14960 0 -1 4202560 679827 0 0 0 87377 75 0 0 25 0 22 0 830361451 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912506133081 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18127/tid=18232] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18232/stat : 18232 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830361454 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18234] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18234/stat : 18234 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830361454 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1761.46
Current children cumulated vsize (KiB) 10558720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.601 s]
/proc/loadavg: 4.04 3.87 2.97 5/501 18359
/proc/meminfo: memFree=18775264/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=10558720 CPUtime=1800.05 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 14960 0 -1 4202496 930175 0 1 0 179895 110 0 0 25 0 22 0 830361318 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 2639680 918536 2267 9 0 2630414 0
[pid=18127/tid=18128] ppid=18125 vsize=10558720 CPUtime=1.32 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) S 18125 18127 14960 0 -1 4202560 120800 0 1 0 117 15 0 0 15 0 22 0 830361318 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=10558720 CPUtime=0.45 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 14960 0 -1 4202560 9583 0 0 0 44 1 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=10558720 CPUtime=0.4 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 14960 0 -1 4202560 9618 0 0 0 38 2 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=10558720 CPUtime=0.35 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 14960 0 -1 4202560 3557 0 0 0 35 0 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=10558720 CPUtime=0.47 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 14960 0 -1 4202560 10970 0 0 0 46 1 0 0 16 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=10558720 CPUtime=0.45 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 14960 0 -1 4202560 6812 0 0 0 45 0 0 0 16 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=10558720 CPUtime=0.41 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 14960 0 -1 4202560 6118 0 0 0 41 0 0 0 16 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=10558720 CPUtime=0.35 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 14960 0 -1 4202560 4050 0 0 0 34 1 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=10558720 CPUtime=0.39 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 14960 0 -1 4202560 12154 0 0 0 38 1 0 0 15 0 22 0 830361320 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=10558720 CPUtime=5.4 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 14960 0 -1 4202560 47012 0 0 0 534 6 0 0 15 0 22 0 830361321 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 0 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 14960 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830361321 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830361321 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347716017 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=10558720 CPUtime=1.02 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 14960 0 -1 4202560 6626 0 0 0 102 0 0 0 16 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=10558720 CPUtime=1.19 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) S 18125 18127 14960 0 -1 4202560 10225 0 0 0 118 1 0 0 15 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708313 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 14960 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830361323 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 5 0 0 0
[pid=18127/tid=18229] ppid=18125 vsize=10558720 CPUtime=893.9 cores=1,3,5,7
/proc/18127/task/18229/stat : 18229 (java) R 18125 18127 14960 0 -1 4202560 1613 0 0 0 89390 0 0 0 25 0 22 0 830361451 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912505924452 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18127/tid=18230] ppid=18125 vsize=10558720 CPUtime=893.82 cores=1,3,5,7
/proc/18127/task/18230/stat : 18230 (java) R 18125 18127 14960 0 -1 4202560 679827 0 0 0 89307 75 0 0 25 0 22 0 830361451 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 46912506123265 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18127/tid=18232] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18232/stat : 18232 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830361454 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 7 0 0 0
[pid=18127/tid=18234] ppid=18125 vsize=10558720 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18234/stat : 18234 (java) S 18125 18127 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830361454 10812129280 918536 33554432000 1073741824 1073778376 140734810347200 18446744073709551615 232347708928 0 4 0 16800975 18446604471028143360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10558720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.723 s]
/proc/loadavg: 4.04 3.87 2.97 5/501 18359
/proc/meminfo: memFree=18775264/32951124 swapFree=60688864/67111528
[pid=18127] ppid=18125 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/18127/stat : 18127 (java) Z 18125 18127 14960 0 -1 4203548 930204 0 1 0 179902 117 0 0 17 0 2 0 830361318 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18127/statm: 0 0 0 0 0 0 0
[pid=18127/tid=18230] ppid=18125 vsize=0 CPUtime=893.9 cores=1,3,5,7
/proc/18127/task/18230/stat : 18230 (java) R 18125 18127 14960 0 -1 4203588 679827 0 0 0 89308 82 0 0 25 0 2 0 830361451 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 901.786
CPU time (s): 1800.27
CPU user time (s): 1799.03
CPU system time (s): 1.23981
CPU usage (%): 199.633
Max. virtual memory (cumulated for all children) (KiB): 10558720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.23981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930204
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22145
involuntary context switches= 18122
runsolver used 4.16337 second user time and 9.79751 second system time
The end