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-4089285-1466022343/watcher-4089285-1466022343 -o /tmp/evaluation-result-4089285-1466022343/solver-4089285-1466022343 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4983 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089285-1466022343.opb
pid=8117
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: 2.08 2.05 2.00 4/194 8120
/proc/meminfo: memFree=30982820/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 1362 0 0 0 0 0 0 0 20 0 2 0 4284192 98582528 985 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 24067 989 755 9 0 16773 0
[pid=8120/tid=8121] ppid=8117 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 2 0 4284193 99672064 989 33554432000 1073741824 1073778376 140734721520112 140510012850872 224913354538 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0
[startup+0.100115 s]
/proc/loadavg: 2.08 2.05 2.00 4/194 8120
/proc/meminfo: memFree=30982820/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 4517 0 1 0 11 1 0 0 20 0 18 0 4284192 9787879424 6145 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2389619 6145 2157 9 0 2380296 0
[pid=8120/tid=8121] ppid=8117 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2379 0 1 0 8 0 0 0 20 0 18 0 4284193 9787879424 6145 33554432000 1073741824 1073778376 140734721520112 140510012853152 224925902093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476
[startup+0.200345 s]
/proc/loadavg: 2.08 2.05 2.00 4/194 8120
/proc/meminfo: memFree=30982820/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 6746 0 1 0 32 2 0 0 20 0 19 0 4284192 9856040960 7518 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 7518 2232 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2403 0 1 0 17 1 0 0 20 0 19 0 4284193 9856040960 7518 33554432000 1073741824 1073778376 140734721520112 140510012854912 140510016140154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 9625040
[startup+0.300341 s]
/proc/loadavg: 2.08 2.05 2.00 4/194 8120
/proc/meminfo: memFree=30982820/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 6779 0 1 0 50 2 0 0 20 0 19 0 4284192 9856040960 7918 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 7918 2238 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2404 0 1 0 27 1 0 0 20 0 19 0 4284193 9856040960 7918 33554432000 1073741824 1073778376 140734721520112 140510012854912 140509871989773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040
[startup+0.700338 s]
/proc/loadavg: 2.08 2.05 2.00 4/194 8120
/proc/meminfo: memFree=30982820/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 7786 0 1 0 101 2 0 0 20 0 19 0 4284192 9856040960 8961 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 8961 2248 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2406 0 1 0 66 2 0 0 20 0 19 0 4284193 9856040960 8961 33554432000 1073741824 1073778376 140734721520112 140510012854912 140509872365842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040
[startup+1.50079 s]
/proc/loadavg: 2.08 2.05 2.00 3/213 8139
/proc/meminfo: memFree=30952992/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 7791 0 1 0 185 2 0 0 20 0 19 0 4284192 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 10498 2249 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2410 0 1 0 146 2 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140510012852792 140509872473843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8123] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8123/stat : 8123 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509990956072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8124] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8124/stat : 8124 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509787974568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8125] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8125/stat : 8125 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509786921768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8126] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8126/stat : 8126 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509785868968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8127] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8127/stat : 8127 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509784816168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8128] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8128/stat : 8128 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509783763368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8129] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8129/stat : 8129 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509782710568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8130] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8130/stat : 8130 (java) S 8117 8120 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509781657768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8131] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8131/stat : 8131 (java) S 8117 8120 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4284194 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509769460712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2135 0 0 0 19 0 0 0 20 0 19 0 4284197 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8120/task/8136/stat : 8136 (java) S 8117 8120 4966 0 -1 4202560 1975 0 0 0 15 0 0 0 20 0 19 0 4284197 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509764196664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8137] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8137/stat : 8137 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509763144056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8138] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8138/stat : 8138 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509762091464 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8139] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8139/stat : 8139 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284206 9856040960 10498 33554432000 1073741824 1073778376 140734721520112 140509760939688 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9625040
[startup+3.10081 s]
/proc/loadavg: 2.07 2.05 2.00 3/213 8139
/proc/meminfo: memFree=30942264/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 7797 0 1 0 344 2 0 0 20 0 19 0 4284192 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 13570 2249 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2416 0 1 0 306 2 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140510012845776 140509872365842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8123] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8123/stat : 8123 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509990956072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8124] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8124/stat : 8124 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509787974568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8125] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8125/stat : 8125 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509786921768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8126] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8126/stat : 8126 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509785868968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8127] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8127/stat : 8127 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509784816168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8128] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8128/stat : 8128 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509783763368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8129] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8129/stat : 8129 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509782710568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8130] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8130/stat : 8130 (java) S 8117 8120 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509781657768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8131] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8131/stat : 8131 (java) S 8117 8120 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4284194 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509769460712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2135 0 0 0 19 0 0 0 20 0 19 0 4284197 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/8120/task/8136/stat : 8136 (java) S 8117 8120 4966 0 -1 4202560 1975 0 0 0 15 0 0 0 20 0 19 0 4284197 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509764196664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8137] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8137/stat : 8137 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509763144056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8138] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8138/stat : 8138 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509762091464 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8139] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8139/stat : 8139 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284206 9856040960 13570 33554432000 1073741824 1073778376 140734721520112 140509760939688 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040
[startup+6.30085 s]
/proc/loadavg: 2.07 2.05 2.00 3/213 8139
/proc/meminfo: memFree=30919584/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=6.75 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 8662 0 1 0 672 3 0 0 20 0 19 0 4284192 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 19089 2251 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2428 0 1 0 626 2 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140510012845760 140509872425169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8123] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8123/stat : 8123 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509990956072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8124] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8124/stat : 8124 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509787974568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8125] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8125/stat : 8125 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509786921768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8126] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8126/stat : 8126 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509785868968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8127] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8127/stat : 8127 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509784816168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8128] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8128/stat : 8128 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509783763368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8129] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8129/stat : 8129 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509782710568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8130] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8130/stat : 8130 (java) S 8117 8120 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4284193 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509781657768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8131] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8131/stat : 8131 (java) S 8117 8120 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4284194 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509769460712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2136 0 0 0 22 0 0 0 20 0 19 0 4284197 9856040960 19089 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
################
# More data... #
################
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2617 0 0 0 24 0 0 0 20 0 19 0 4284197 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8120/task/8136/stat : 8136 (java) S 8117 8120 4966 0 -1 4202560 2826 0 0 0 21 0 0 0 20 0 19 0 4284197 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509764196664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8137] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8137/stat : 8137 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509763144056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8138] ppid=8117 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8120/task/8138/stat : 8138 (java) S 8117 8120 4966 0 -1 4202560 99 0 0 0 23 33 0 0 20 0 19 0 4284197 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509762091464 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8139] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8139/stat : 8139 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284206 9856040960 106408 33554432000 1073741824 1073778376 140734721520112 140509760939688 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.37
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 8378
/proc/meminfo: memFree=30691092/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=1786.51 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 13095 0 1 0 178577 74 0 0 20 0 19 0 4284192 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 105735 2277 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=1780.36 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2511 0 1 0 178003 33 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140510012845760 140509872343866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8123] ppid=8117 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8120/task/8123/stat : 8123 (java) S 8117 8120 4966 0 -1 4202560 370 0 0 0 67 6 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509990956072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8124] ppid=8117 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8120/task/8124/stat : 8124 (java) S 8117 8120 4966 0 -1 4202560 461 0 0 0 62 5 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509787974568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8125] ppid=8117 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/8120/task/8125/stat : 8125 (java) S 8117 8120 4966 0 -1 4202560 622 0 0 0 65 6 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509786921768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8126] ppid=8117 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8120/task/8126/stat : 8126 (java) S 8117 8120 4966 0 -1 4202560 424 0 0 0 54 6 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509785868968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8127] ppid=8117 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8120/task/8127/stat : 8127 (java) S 8117 8120 4966 0 -1 4202560 338 0 0 0 56 6 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509784816168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8128] ppid=8117 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8120/task/8128/stat : 8128 (java) S 8117 8120 4966 0 -1 4202560 325 0 0 0 60 6 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509783763368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8129] ppid=8117 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8120/task/8129/stat : 8129 (java) S 8117 8120 4966 0 -1 4202560 298 0 0 0 49 4 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509782710568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8130] ppid=8117 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/8120/task/8130/stat : 8130 (java) S 8117 8120 4966 0 -1 4202560 735 0 0 0 58 5 0 0 20 0 19 0 4284193 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509781657768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8131] ppid=8117 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8120/task/8131/stat : 8131 (java) S 8117 8120 4966 0 -1 4202560 206 0 0 0 25 3 0 0 20 0 19 0 4284194 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509769460712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2617 0 0 0 24 0 0 0 20 0 19 0 4284197 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8120/task/8136/stat : 8136 (java) S 8117 8120 4966 0 -1 4202560 2826 0 0 0 21 0 0 0 20 0 19 0 4284197 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509764196664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8137] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8137/stat : 8137 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509763144056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8138] ppid=8117 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/8120/task/8138/stat : 8138 (java) S 8117 8120 4966 0 -1 4202560 103 0 0 0 24 34 0 0 20 0 19 0 4284197 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509762091464 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8139] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8139/stat : 8139 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284206 9856040960 105735 33554432000 1073741824 1073778376 140734721520112 140509760939688 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/213 8379
/proc/meminfo: memFree=30690804/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 13098 0 1 0 179927 75 0 0 20 0 19 0 4284192 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 104709 2277 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=1793.73 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2512 0 1 0 179340 33 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140510012853576 140509872316367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8123] ppid=8117 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/8120/task/8123/stat : 8123 (java) S 8117 8120 4966 0 -1 4202560 370 0 0 0 69 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509990956072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8124] ppid=8117 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/8120/task/8124/stat : 8124 (java) S 8117 8120 4966 0 -1 4202560 461 0 0 0 64 5 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509787974568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8125] ppid=8117 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/8120/task/8125/stat : 8125 (java) S 8117 8120 4966 0 -1 4202560 622 0 0 0 66 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509786921768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8126] ppid=8117 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8120/task/8126/stat : 8126 (java) S 8117 8120 4966 0 -1 4202560 424 0 0 0 56 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509785868968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8127] ppid=8117 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8120/task/8127/stat : 8127 (java) S 8117 8120 4966 0 -1 4202560 338 0 0 0 60 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509784816168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8128] ppid=8117 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8120/task/8128/stat : 8128 (java) S 8117 8120 4966 0 -1 4202560 325 0 0 0 61 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509783763368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8129] ppid=8117 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/8120/task/8129/stat : 8129 (java) S 8117 8120 4966 0 -1 4202560 298 0 0 0 50 4 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509782710568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8130] ppid=8117 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8120/task/8130/stat : 8130 (java) S 8117 8120 4966 0 -1 4202560 735 0 0 0 60 5 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509781657768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8131] ppid=8117 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8120/task/8131/stat : 8131 (java) S 8117 8120 4966 0 -1 4202560 208 0 0 0 25 3 0 0 20 0 19 0 4284194 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509769460712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2617 0 0 0 24 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8120/task/8136/stat : 8136 (java) S 8117 8120 4966 0 -1 4202560 2826 0 0 0 21 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509764196664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8137] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8137/stat : 8137 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509763144056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8138] ppid=8117 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8120/task/8138/stat : 8138 (java) S 8117 8120 4966 0 -1 4202560 103 0 0 0 24 35 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509762091464 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8139] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8139/stat : 8139 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284206 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509760939688 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040
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 8120 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1795.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/213 8379
/proc/meminfo: memFree=30690804/32872528 swapFree=162364/176672
[pid=8120] ppid=8117 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/8120/stat : 8120 (java) S 8117 8120 4966 0 -1 4202496 13098 0 1 0 179927 75 0 0 20 0 19 0 4284192 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140734721511248 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8120/statm: 2406260 104709 2277 9 0 2396937 0
[pid=8120/tid=8121] ppid=8117 vsize=9625040 CPUtime=1793.73 cores=1,3,5,7
/proc/8120/task/8121/stat : 8121 (java) R 8117 8120 4966 0 -1 4202560 2512 0 1 0 179340 33 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140510012853576 140509872316367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8123] ppid=8117 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/8120/task/8123/stat : 8123 (java) S 8117 8120 4966 0 -1 4202560 370 0 0 0 69 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509990956072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8124] ppid=8117 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/8120/task/8124/stat : 8124 (java) S 8117 8120 4966 0 -1 4202560 461 0 0 0 64 5 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509787974568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8120/tid=8125] ppid=8117 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/8120/task/8125/stat : 8125 (java) S 8117 8120 4966 0 -1 4202560 622 0 0 0 66 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509786921768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8126] ppid=8117 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8120/task/8126/stat : 8126 (java) S 8117 8120 4966 0 -1 4202560 424 0 0 0 56 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509785868968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8127] ppid=8117 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8120/task/8127/stat : 8127 (java) S 8117 8120 4966 0 -1 4202560 338 0 0 0 60 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509784816168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8128] ppid=8117 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8120/task/8128/stat : 8128 (java) S 8117 8120 4966 0 -1 4202560 325 0 0 0 61 6 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509783763368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8129] ppid=8117 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/8120/task/8129/stat : 8129 (java) S 8117 8120 4966 0 -1 4202560 298 0 0 0 50 4 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509782710568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8130] ppid=8117 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8120/task/8130/stat : 8130 (java) S 8117 8120 4966 0 -1 4202560 735 0 0 0 60 5 0 0 20 0 19 0 4284193 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509781657768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8131] ppid=8117 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8120/task/8131/stat : 8131 (java) S 8117 8120 4966 0 -1 4202560 208 0 0 0 25 3 0 0 20 0 19 0 4284194 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509769460712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8132] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8132/stat : 8132 (java) S 8117 8120 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509768406776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8133] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8133/stat : 8133 (java) S 8117 8120 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4284195 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509767353864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8134] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8134/stat : 8134 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509766302352 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8135] ppid=8117 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8120/task/8135/stat : 8135 (java) S 8117 8120 4966 0 -1 4202560 2617 0 0 0 24 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509765249464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8120/tid=8136] ppid=8117 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8120/task/8136/stat : 8136 (java) S 8117 8120 4966 0 -1 4202560 2826 0 0 0 21 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509764196664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8137] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8137/stat : 8137 (java) S 8117 8120 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509763144056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8120/tid=8138] ppid=8117 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8120/task/8138/stat : 8138 (java) S 8117 8120 4966 0 -1 4202560 103 0 0 0 24 35 0 0 20 0 19 0 4284197 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509762091464 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8120/tid=8139] ppid=8117 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8120/task/8139/stat : 8139 (java) S 8117 8120 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4284206 9856040960 104709 33554432000 1073741824 1073778376 140734721520112 140509760939688 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1795.74
CPU time (s): 1800.66
CPU user time (s): 1799.37
CPU system time (s): 1.2908
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 1.2908
maximum resident set size= 576524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13141
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39144
involuntary context switches= 23369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4434 second user time and 13.5119 second system time
The end