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-3718247-1338259161/watcher-3718247-1338259161 -o /tmp/evaluation-result-3718247-1338259161/solver-3718247-1338259161 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718247-1338259161.wbo
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.09 2.11 2.04 3/194 2359
/proc/meminfo: memFree=30465672/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (java) D 2357 2359 30566 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 292043457 9515008 182 33554432000 1073741824 1073778376 140734102092096 140734102083128 219513962165 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/2359/statm: 2323 182 140 9 0 71 0
[startup+0.082178 s]
/proc/loadavg: 2.09 2.11 2.04 3/194 2359
/proc/meminfo: memFree=30465672/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 3500 0 1 0 6 0 0 0 20 0 18 0 292043457 9787817984 4710 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2389604 4729 1854 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416
[startup+0.100308 s]
/proc/loadavg: 2.09 2.11 2.04 3/194 2359
/proc/meminfo: memFree=30465672/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 4354 0 1 0 9 1 0 0 20 0 18 0 292043457 9787817984 5555 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2389604 5555 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300162 s]
/proc/loadavg: 2.09 2.11 2.04 3/194 2359
/proc/meminfo: memFree=30465672/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 8555 0 1 0 55 2 0 0 20 0 19 0 292043457 9855979520 8232 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 8232 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9624980
[startup+0.700157 s]
/proc/loadavg: 2.09 2.11 2.04 3/194 2359
/proc/meminfo: memFree=30465672/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=1.1 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 9482 0 1 0 108 2 0 0 20 0 19 0 292043457 9855979520 10397 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 10397 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9624980
[startup+1.50066 s]
/proc/loadavg: 2.09 2.11 2.04 3/213 2378
/proc/meminfo: memFree=30432720/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=1.93 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 9623 0 1 0 190 3 0 0 20 0 19 0 292043457 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 10913 2267 9 0 2396937 0
[pid=2359/tid=2361] ppid=2357 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/2359/task/2361/stat : 2361 (java) R 2357 2359 30566 0 -1 4202560 2463 0 1 0 143 0 0 0 20 0 19 0 292043458 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292790038776 140292640972180 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2362] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2362/stat : 2362 (java) S 2357 2359 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292762491048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2363] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (java) S 2357 2359 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292761438504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2364] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2364/stat : 2364 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292760385960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2365] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2365/stat : 2365 (java) S 2357 2359 30566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292759333416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2366] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2366/stat : 2366 (java) S 2357 2359 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292629506728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) S 2357 2359 30566 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 292043460 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292143835240 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2525 0 0 0 18 0 0 0 20 0 19 0 292043463 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 10913 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9624980
[startup+3.10056 s]
/proc/loadavg: 2.09 2.11 2.04 3/213 2378
/proc/meminfo: memFree=30427748/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=3.55 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 9639 0 1 0 352 3 0 0 20 0 19 0 292043457 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 11436 2267 9 0 2396937 0
[pid=2359/tid=2361] ppid=2357 vsize=9624980 CPUtime=2.98 cores=1,3,5,7
/proc/2359/task/2361/stat : 2361 (java) S 2357 2359 30566 0 -1 4202560 2467 0 1 0 298 0 0 0 20 0 19 0 292043458 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292790038936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2362] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2362/stat : 2362 (java) S 2357 2359 30566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292762491048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2363] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (java) S 2357 2359 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292761438504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2364] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2364/stat : 2364 (java) S 2357 2359 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292760385960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2365] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2365/stat : 2365 (java) S 2357 2359 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292759333416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2366] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2366/stat : 2366 (java) S 2357 2359 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292629506728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) R 2357 2359 30566 0 -1 4202560 30 0 0 0 6 0 0 0 20 0 19 0 292043460 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292143834096 140292796165364 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2525 0 0 0 18 0 0 0 20 0 19 0 292043463 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 11436 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9624980
[startup+6.30067 s]
/proc/loadavg: 2.09 2.11 2.04 3/213 2378
/proc/meminfo: memFree=30421636/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=6.8 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 9672 0 1 0 677 3 0 0 20 0 19 0 292043457 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 12411 2267 9 0 2396937 0
[pid=2359/tid=2361] ppid=2357 vsize=9624980 CPUtime=6.09 cores=1,3,5,7
/proc/2359/task/2361/stat : 2361 (java) R 2357 2359 30566 0 -1 4202560 2474 0 1 0 609 0 0 0 20 0 19 0 292043458 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292790038816 140292640994100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2362] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2362/stat : 2362 (java) S 2357 2359 30566 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292762491048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2363] ppid=2357 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (java) S 2357 2359 30566 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292761438504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2364] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2364/stat : 2364 (java) S 2357 2359 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292760385960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2365] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2365/stat : 2365 (java) S 2357 2359 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292759333416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2366] ppid=2357 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/2359/task/2366/stat : 2366 (java) S 2357 2359 30566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292629506728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 292043459 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) S 2357 2359 30566 0 -1 4202560 31 0 0 0 12 0 0 0 20 0 19 0 292043460 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292143835240 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2525 0 0 0 18 0 0 0 20 0 19 0 292043463 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 12411 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 9624980
[startup+12.7007 s]
################
# More data... #
################
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 195 0 0 0 89 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 234 0 0 0 84 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 132 0 0 0 81 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=9.74 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) S 2357 2359 30566 0 -1 4202560 155 0 0 0 971 3 0 0 20 0 19 0 292043460 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292143835240 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2563 0 0 0 20 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 99 0 0 0 31 35 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.09
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/189 2444
/proc/meminfo: memFree=30454340/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=1788.19 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 11943 0 1 0 178766 53 0 0 20 0 19 0 292043457 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 42672 2268 9 0 2396937 0
[pid=2359/tid=2361] ppid=2357 vsize=9624980 CPUtime=1770.21 cores=1,3,5,7
/proc/2359/task/2361/stat : 2361 (java) R 2357 2359 30566 0 -1 4202560 2717 0 1 0 176993 28 0 0 20 0 19 0 292043458 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292790038816 140292640894669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2362] ppid=2357 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/2359/task/2362/stat : 2362 (java) S 2357 2359 30566 0 -1 4202560 269 0 0 0 84 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292762491048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2363] ppid=2357 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (java) S 2357 2359 30566 0 -1 4202560 266 0 0 0 84 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292761438504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2364] ppid=2357 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/2359/task/2364/stat : 2364 (java) S 2357 2359 30566 0 -1 4202560 197 0 0 0 85 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292760385960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2365] ppid=2357 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/2359/task/2365/stat : 2365 (java) S 2357 2359 30566 0 -1 4202560 270 0 0 0 91 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292759333416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2366] ppid=2357 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/2359/task/2366/stat : 2366 (java) S 2357 2359 30566 0 -1 4202560 272 0 0 0 94 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292629506728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 195 0 0 0 89 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 234 0 0 0 86 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 132 0 0 0 83 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=9.99 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) S 2357 2359 30566 0 -1 4202560 157 0 0 0 996 3 0 0 20 0 19 0 292043460 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292143835240 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2563 0 0 0 20 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 103 0 0 0 32 37 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.19
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.11 s]
/proc/loadavg: 1.00 1.25 1.63 3/189 2444
/proc/meminfo: memFree=30454344/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=1800.04 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 11946 0 1 0 179951 53 0 0 20 0 19 0 292043457 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 42672 2268 9 0 2396937 0
[pid=2359/tid=2361] ppid=2357 vsize=9624980 CPUtime=1781.94 cores=1,3,5,7
/proc/2359/task/2361/stat : 2361 (java) R 2357 2359 30566 0 -1 4202560 2718 0 1 0 178165 29 0 0 20 0 19 0 292043458 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292790038816 140292640896806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2362] ppid=2357 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/2359/task/2362/stat : 2362 (java) S 2357 2359 30566 0 -1 4202560 269 0 0 0 85 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292762491048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2363] ppid=2357 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (java) S 2357 2359 30566 0 -1 4202560 266 0 0 0 85 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292761438504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2364] ppid=2357 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/2359/task/2364/stat : 2364 (java) S 2357 2359 30566 0 -1 4202560 197 0 0 0 86 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292760385960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2365] ppid=2357 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/2359/task/2365/stat : 2365 (java) S 2357 2359 30566 0 -1 4202560 270 0 0 0 91 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292759333416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2366] ppid=2357 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/2359/task/2366/stat : 2366 (java) S 2357 2359 30566 0 -1 4202560 272 0 0 0 95 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292629506728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 195 0 0 0 89 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 234 0 0 0 86 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 132 0 0 0 83 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=10.06 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) S 2357 2359 30566 0 -1 4202560 159 0 0 0 1003 3 0 0 20 0 19 0 292043460 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292143835240 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2563 0 0 0 20 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 103 0 0 0 33 37 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.11 s]
/proc/loadavg: 1.00 1.25 1.63 3/189 2444
/proc/meminfo: memFree=30454344/32873648 swapFree=7116/7116
[pid=2359] ppid=2357 vsize=9624980 CPUtime=1800.04 cores=1,3,5,7
/proc/2359/stat : 2359 (java) S 2357 2359 30566 0 -1 4202496 11946 0 1 0 179951 53 0 0 20 0 19 0 292043457 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140737358469168 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2359/statm: 2406245 42672 2268 9 0 2396937 0
[pid=2359/tid=2361] ppid=2357 vsize=9624980 CPUtime=1781.94 cores=1,3,5,7
/proc/2359/task/2361/stat : 2361 (java) R 2357 2359 30566 0 -1 4202560 2718 0 1 0 178165 29 0 0 20 0 19 0 292043458 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292790038816 140292640896806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2362] ppid=2357 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/2359/task/2362/stat : 2362 (java) S 2357 2359 30566 0 -1 4202560 269 0 0 0 85 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292762491048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2363] ppid=2357 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (java) S 2357 2359 30566 0 -1 4202560 266 0 0 0 85 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292761438504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2364] ppid=2357 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/2359/task/2364/stat : 2364 (java) S 2357 2359 30566 0 -1 4202560 197 0 0 0 86 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292760385960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2365] ppid=2357 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/2359/task/2365/stat : 2365 (java) S 2357 2359 30566 0 -1 4202560 270 0 0 0 91 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292759333416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2359/tid=2366] ppid=2357 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/2359/task/2366/stat : 2366 (java) S 2357 2359 30566 0 -1 4202560 272 0 0 0 95 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292629506728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2367] ppid=2357 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/2359/task/2367/stat : 2367 (java) S 2357 2359 30566 0 -1 4202560 195 0 0 0 89 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292628454184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2368] ppid=2357 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/2359/task/2368/stat : 2368 (java) S 2357 2359 30566 0 -1 4202560 234 0 0 0 86 2 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292627401640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2369] ppid=2357 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/2359/task/2369/stat : 2369 (java) S 2357 2359 30566 0 -1 4202560 132 0 0 0 83 1 0 0 20 0 19 0 292043459 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292626349096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2370] ppid=2357 vsize=9624980 CPUtime=10.06 cores=1,3,5,7
/proc/2359/task/2370/stat : 2370 (java) S 2357 2359 30566 0 -1 4202560 159 0 0 0 1003 3 0 0 20 0 19 0 292043460 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292143835240 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2371] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2371/stat : 2371 (java) S 2357 2359 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292142781560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2372] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2372/stat : 2372 (java) S 2357 2359 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292043461 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292141728904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2373] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2373/stat : 2373 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292140677648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2374] ppid=2357 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/2359/task/2374/stat : 2374 (java) S 2357 2359 30566 0 -1 4202560 2563 0 0 0 20 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292139625016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2359/tid=2375] ppid=2357 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/2359/task/2375/stat : 2375 (java) S 2357 2359 30566 0 -1 4202560 3383 0 0 0 24 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292138572472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2359/tid=2376] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2376/stat : 2376 (java) S 2357 2359 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292137520120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2377] ppid=2357 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/2359/task/2377/stat : 2377 (java) S 2357 2359 30566 0 -1 4202560 103 0 0 0 33 37 0 0 20 0 19 0 292043463 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292136467784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2359/tid=2378] ppid=2357 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2378/stat : 2378 (java) S 2357 2359 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292043473 9855979520 42672 33554432000 1073741824 1073778376 140737358478032 140292135412520 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624980
Child status: 143
Real time (s): 1794.16
CPU time (s): 1800.63
CPU user time (s): 1799.67
CPU system time (s): 0.963853
CPU usage (%): 100.361
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.963853
maximum resident set size= 170856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11991
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44802
involuntary context switches= 17441
runsolver used 6.52201 second user time and 14.9317 second system time
The end