runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689963-1337895177/watcher-3689963-1337895177 -o /tmp/evaluation-result-3689963-1337895177/solver-3689963-1337895177 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689963-1337895177.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: 2.08 2.05 2.01 3/196 32306
/proc/meminfo: memFree=26704184/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/32306/stat : 32306 (java) D 32304 32306 26250 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255642560 9515008 183 33554432000 1073741824 1073778376 140736348221824 140736348212856 215143497397 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/32306/statm: 2323 183 140 9 0 71 0
[startup+0.020745 s]
/proc/loadavg: 2.08 2.05 2.01 3/196 32306
/proc/meminfo: memFree=26704184/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=152584 CPUtime=0 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 1441 0 1 0 0 0 0 0 20 0 2 0 255642560 156246016 1122 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 38146 1129 864 9 0 29255 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152584
[startup+0.100312 s]
/proc/loadavg: 2.08 2.05 2.01 3/196 32306
/proc/meminfo: memFree=26704184/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 4215 0 1 0 8 1 0 0 20 0 18 0 255642560 9787813888 5413 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2389603 5414 2094 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300299 s]
/proc/loadavg: 2.08 2.05 2.01 3/196 32306
/proc/meminfo: memFree=26704184/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 5797 0 1 0 45 2 0 0 20 0 18 0 255642560 9787813888 13966 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2389603 13966 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700266 s]
/proc/loadavg: 2.08 2.05 2.01 3/196 32306
/proc/meminfo: memFree=26704184/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9558412 CPUtime=0.94 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 5989 0 1 0 88 6 0 0 20 0 18 0 255642560 9787813888 45299 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2389603 45299 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9558412
[startup+1.50089 s]
/proc/loadavg: 2.64 2.16 2.05 5/214 32324
/proc/meminfo: memFree=26525112/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9558412 CPUtime=2.38 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 10443 0 1 0 219 19 0 0 20 0 18 0 255642560 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2389603 90909 2247 9 0 2380296 0
[pid=32306/tid=32308] ppid=32304 vsize=9558412 CPUtime=1.34 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (java) R 32304 32306 26250 0 -1 4202560 2565 0 1 0 128 6 0 0 20 0 18 0 255642562 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255840251888 140255848025192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (java) S 32304 32306 26250 0 -1 4202560 86 0 0 0 3 2 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255801752360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (java) S 32304 32306 26250 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255800699560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32311] ppid=32304 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/32306/task/32311/stat : 32311 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255799647272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32312] ppid=32304 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/32306/task/32312/stat : 32312 (java) S 32304 32306 26250 0 -1 4202560 79 0 0 0 2 1 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255798594472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32313] ppid=32304 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/32306/task/32313/stat : 32313 (java) S 32304 32306 26250 0 -1 4202560 89 0 0 0 2 2 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255797541160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32314] ppid=32304 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 193 0 0 0 1 1 0 0 20 0 18 0 255642563 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9558412 CPUtime=0.3 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 2925 0 0 0 30 0 0 0 20 0 18 0 255642567 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3025 0 0 0 26 0 0 0 20 0 18 0 255642567 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 90909 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9558412
[startup+3.10094 s]
/proc/loadavg: 2.64 2.16 2.05 3/214 32324
/proc/meminfo: memFree=26057616/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9558412 CPUtime=4.61 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 13047 0 1 0 411 50 0 0 20 0 18 0 255642560 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2389603 300304 2247 9 0 2380296 0
[pid=32306/tid=32308] ppid=32304 vsize=9558412 CPUtime=2.71 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (java) R 32304 32306 26250 0 -1 4202560 3548 0 1 0 251 20 0 0 20 0 18 0 255642562 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255840251776 140255848025178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=9558412 CPUtime=0.18 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (java) S 32304 32306 26250 0 -1 4202560 118 0 0 0 14 4 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255801752360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=9558412 CPUtime=0.18 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (java) S 32304 32306 26250 0 -1 4202560 67 0 0 0 14 4 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255800699560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32311] ppid=32304 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/32306/task/32311/stat : 32311 (java) S 32304 32306 26250 0 -1 4202560 291 0 0 0 7 3 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255799647272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32312] ppid=32304 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/32306/task/32312/stat : 32312 (java) S 32304 32306 26250 0 -1 4202560 141 0 0 0 12 4 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255798594472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32313] ppid=32304 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/32306/task/32313/stat : 32313 (java) S 32304 32306 26250 0 -1 4202560 135 0 0 0 8 4 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255797541160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32314] ppid=32304 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 64 0 0 0 10 3 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 347 0 0 0 10 5 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 247 0 0 0 11 3 0 0 20 0 18 0 255642563 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 965 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9558412 CPUtime=0.3 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 2925 0 0 0 30 0 0 0 20 0 18 0 255642567 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3025 0 0 0 26 0 0 0 20 0 18 0 255642567 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 300304 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9558412
[startup+6.30084 s]
/proc/loadavg: 2.64 2.16 2.05 3/214 32324
/proc/meminfo: memFree=24476260/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9558412 CPUtime=8.98 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 15736 0 1 0 815 83 0 0 20 0 18 0 255642560 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2389603 590865 2255 9 0 2380296 0
[pid=32306/tid=32308] ppid=32304 vsize=9558412 CPUtime=5.51 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (java) R 32304 32306 26250 0 -1 4202560 4036 0 1 0 512 39 0 0 20 0 18 0 255642562 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255840259856 140255664230245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (java) S 32304 32306 26250 0 -1 4202560 175 0 0 0 31 6 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255801752360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=9558412 CPUtime=0.32 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (java) S 32304 32306 26250 0 -1 4202560 412 0 0 0 26 6 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255800699560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32311] ppid=32304 vsize=9558412 CPUtime=0.32 cores=1,3,5,7
/proc/32306/task/32311/stat : 32311 (java) S 32304 32306 26250 0 -1 4202560 346 0 0 0 27 5 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255799647272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32312] ppid=32304 vsize=9558412 CPUtime=0.41 cores=1,3,5,7
/proc/32306/task/32312/stat : 32312 (java) S 32304 32306 26250 0 -1 4202560 206 0 0 0 35 6 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255798594472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32313] ppid=32304 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/32306/task/32313/stat : 32313 (java) S 32304 32306 26250 0 -1 4202560 621 0 0 0 30 7 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255797541160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32314] ppid=32304 vsize=9558412 CPUtime=0.31 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 124 0 0 0 26 5 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9558412 CPUtime=0.33 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 424 0 0 0 27 6 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 1006 0 0 0 23 5 0 0 20 0 18 0 255642563 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255642564 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9558412 CPUtime=0.34 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 2925 0 0 0 34 0 0 0 20 0 18 0 255642567 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3025 0 0 0 28 0 0 0 20 0 18 0 255642567 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255642567 9787813888 590865 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.98
Current children cumulated vsize (KiB) 9558412
[startup+12.7009 s]
/proc/loadavg: 2.54 2.16 2.05 3/215 32325
/proc/meminfo: memFree=24344216/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9624976 CPUtime=15.81 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 15799 0 1 0 1497 84 0 0 20 0 19 0 255642560 9855975424 590922 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2406244 590922 2266 9 0 2396937 0
[pid=32306/tid=32308] ppid=32304 vsize=9624976 CPUtime=11.88 cores=1,3,5,7
################
# More data... #
################
[pid=32306/tid=32314] ppid=32304 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 156 0 0 0 38 6 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 436 0 0 0 39 6 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 1031 0 0 0 42 7 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9624976 CPUtime=10.26 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 1404 0 0 0 1021 5 0 0 20 0 19 0 255642564 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 3249 0 0 0 74 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3051 0 0 0 48 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 94 0 0 0 61 29 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32325] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32325/stat : 32325 (java) S 32304 32306 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255643212 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255655060904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667.12
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.67 1.94 1.97 2/191 32400
/proc/meminfo: memFree=26676500/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9624976 CPUtime=1727.14 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 16504 0 1 0 172577 137 0 0 20 0 19 0 255642560 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2406244 651888 2281 9 0 2396937 0
[pid=32306/tid=32308] ppid=32304 vsize=9624976 CPUtime=1710.78 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (java) R 32304 32306 26250 0 -1 4202560 4063 0 1 0 171011 67 0 0 20 0 19 0 255642562 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255840260384 140255664373241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (java) S 32304 32306 26250 0 -1 4202560 198 0 0 0 45 6 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255801752360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (java) S 32304 32306 26250 0 -1 4202560 422 0 0 0 38 7 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255800699560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32311] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32311/stat : 32311 (java) S 32304 32306 26250 0 -1 4202560 355 0 0 0 43 5 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255799647272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32312] ppid=32304 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/32306/task/32312/stat : 32312 (java) S 32304 32306 26250 0 -1 4202560 229 0 0 0 49 7 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255798594472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32313] ppid=32304 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/32306/task/32313/stat : 32313 (java) S 32304 32306 26250 0 -1 4202560 632 0 0 0 43 8 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255797541160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32314] ppid=32304 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 156 0 0 0 38 6 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 436 0 0 0 39 6 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 1031 0 0 0 42 7 0 0 20 0 19 0 255642563 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9624976 CPUtime=10.26 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 1404 0 0 0 1021 5 0 0 20 0 19 0 255642564 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 3249 0 0 0 74 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3051 0 0 0 48 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 98 0 0 0 63 30 0 0 20 0 19 0 255642567 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32325] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32325/stat : 32325 (java) S 32304 32306 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255643212 9855975424 651888 33554432000 1073741824 1073778376 140736405719168 140255655060904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.14
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.25 1.76 1.91 2/191 32401
/proc/meminfo: memFree=26672164/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9624976 CPUtime=1787.16 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 16513 0 1 0 178578 138 0 0 20 0 19 0 255642560 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2406244 652912 2281 9 0 2396937 0
[pid=32306/tid=32308] ppid=32304 vsize=9624976 CPUtime=1770.25 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (java) R 32304 32306 26250 0 -1 4202560 4064 0 1 0 176957 68 0 0 20 0 19 0 255642562 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255840260384 140255664400970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (java) S 32304 32306 26250 0 -1 4202560 198 0 0 0 46 6 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255801752360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (java) S 32304 32306 26250 0 -1 4202560 422 0 0 0 38 7 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255800699560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32311] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32311/stat : 32311 (java) S 32304 32306 26250 0 -1 4202560 355 0 0 0 43 5 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255799647272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32312] ppid=32304 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/32306/task/32312/stat : 32312 (java) S 32304 32306 26250 0 -1 4202560 229 0 0 0 49 7 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255798594472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32313] ppid=32304 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/32306/task/32313/stat : 32313 (java) S 32304 32306 26250 0 -1 4202560 632 0 0 0 44 8 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255797541160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32314] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 156 0 0 0 39 6 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 436 0 0 0 39 6 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 1031 0 0 0 42 7 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9624976 CPUtime=10.78 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 1408 0 0 0 1073 5 0 0 20 0 19 0 255642564 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 3249 0 0 0 74 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3051 0 0 0 48 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 102 0 0 0 66 31 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32325] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32325/stat : 32325 (java) S 32304 32306 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255643212 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255655060904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.16
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.21 s]
/proc/loadavg: 1.21 1.74 1.90 2/191 32401
/proc/meminfo: memFree=26672164/32873844 swapFree=7364/7364
[pid=32306] ppid=32304 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/32306/stat : 32306 (java) S 32304 32306 26250 0 -1 4202496 16513 0 1 0 179870 138 0 0 20 0 19 0 255642560 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140736405710304 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32306/statm: 2406244 652912 2281 9 0 2396937 0
[pid=32306/tid=32308] ppid=32304 vsize=9624976 CPUtime=1783.17 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (java) R 32304 32306 26250 0 -1 4202560 4064 0 1 0 178248 69 0 0 20 0 19 0 255642562 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255840260384 140255664400957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (java) S 32304 32306 26250 0 -1 4202560 198 0 0 0 46 6 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255801752360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (java) S 32304 32306 26250 0 -1 4202560 422 0 0 0 38 7 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255800699560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32311] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32311/stat : 32311 (java) S 32304 32306 26250 0 -1 4202560 355 0 0 0 43 5 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255799647272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32312] ppid=32304 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/32306/task/32312/stat : 32312 (java) S 32304 32306 26250 0 -1 4202560 229 0 0 0 49 7 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255798594472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32313] ppid=32304 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/32306/task/32313/stat : 32313 (java) S 32304 32306 26250 0 -1 4202560 632 0 0 0 44 8 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255797541160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32314] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32314/stat : 32314 (java) S 32304 32306 26250 0 -1 4202560 156 0 0 0 39 6 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255796488360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32315] ppid=32304 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/32306/task/32315/stat : 32315 (java) S 32304 32306 26250 0 -1 4202560 436 0 0 0 39 6 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255795436072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32306/tid=32316] ppid=32304 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/32306/task/32316/stat : 32316 (java) S 32304 32306 26250 0 -1 4202560 1031 0 0 0 42 7 0 0 20 0 19 0 255642563 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255794383272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32306/tid=32317] ppid=32304 vsize=9624976 CPUtime=10.78 cores=1,3,5,7
/proc/32306/task/32317/stat : 32317 (java) S 32304 32306 26250 0 -1 4202560 1408 0 0 0 1073 5 0 0 20 0 19 0 255642564 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255663483624 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32318] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32318/stat : 32318 (java) S 32304 32306 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255662429688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32319] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32319/stat : 32319 (java) S 32304 32306 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255642564 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255661377288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32320] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32320/stat : 32320 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255660325776 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32321] ppid=32304 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/32306/task/32321/stat : 32321 (java) S 32304 32306 26250 0 -1 4202560 3249 0 0 0 74 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255659272376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32322] ppid=32304 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/32306/task/32322/stat : 32322 (java) S 32304 32306 26250 0 -1 4202560 3051 0 0 0 48 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255658219576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32323] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32323/stat : 32323 (java) S 32304 32306 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255657167480 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32306/tid=32324] ppid=32304 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/32306/task/32324/stat : 32324 (java) S 32304 32306 26250 0 -1 4202560 102 0 0 0 66 32 0 0 20 0 19 0 255642567 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255656114888 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32306/tid=32325] ppid=32304 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/32306/task/32325/stat : 32325 (java) S 32304 32306 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255643212 9855975424 652912 33554432000 1073741824 1073778376 140736405719168 140255655060904 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.26
CPU time (s): 1800.39
CPU user time (s): 1798.66
CPU system time (s): 1.73174
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.73174
maximum resident set size= 2611772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16548
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39491
involuntary context switches= 14069
runsolver used 9.02063 second user time and 14.3128 second system time
The end