runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311982-1304088914/watcher-3311982-1304088914 -o /tmp/evaluation-result-3311982-1304088914/solver-3311982-1304088914 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311982-1304088914.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.20 8.15 8.06 2/194 24410
/proc/meminfo: memFree=29751132/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/24410/stat : 24410 (java) R 24408 24410 24218 0 -1 4202496 1369 0 0 0 0 0 0 0 24 0 2 0 599122091 24580096 849 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256415448049 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 6001 849 647 9 0 381 0
[pid=24410/tid=24411] ppid=24408 vsize=24008 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) R 24408 24410 24218 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 2 0 599122092 24584192 853 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256415391488 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.052509 s]
/proc/loadavg: 8.20 8.15 8.06 2/194 24410
/proc/meminfo: memFree=29751132/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15609644 CPUtime=0.03 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 4089 0 1 0 3 0 0 0 24 0 18 0 599122091 15984275456 3528 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3902411 3528 1754 9 0 3893130 0
[pid=24410/tid=24411] ppid=24408 vsize=15609644 CPUtime=0.03 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) R 24408 24410 24218 0 -1 4202560 2671 0 1 0 3 0 0 0 25 0 18 0 599122092 15984275456 3528 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505186047 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15609644
[startup+0.104529 s]
/proc/loadavg: 8.20 8.15 8.06 2/194 24410
/proc/meminfo: memFree=29751132/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15676668 CPUtime=0.1 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 5632 0 1 0 9 1 0 0 24 0 18 0 599122091 16052908032 5058 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3919167 5058 2118 9 0 3909886 0
[pid=24410/tid=24411] ppid=24408 vsize=15676668 CPUtime=0.08 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) R 24408 24410 24218 0 -1 4202560 3495 0 1 0 8 0 0 0 18 0 18 0 599122092 16052908032 5058 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676668
[startup+0.30044 s]
/proc/loadavg: 8.20 8.15 8.06 2/194 24410
/proc/meminfo: memFree=29751132/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15682080 CPUtime=0.51 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 14564 0 1 0 49 2 0 0 24 0 18 0 599122091 16058449920 12812 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3920520 12820 2207 9 0 3911239 0
[pid=24410/tid=24411] ppid=24408 vsize=15682080 CPUtime=0.28 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) R 24408 24410 24218 0 -1 4202560 9471 0 1 0 27 1 0 0 18 0 18 0 599122092 16058449920 12823 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505642714 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682080
[startup+0.700374 s]
/proc/loadavg: 8.20 8.15 8.06 2/194 24410
/proc/meminfo: memFree=29751132/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15682080 CPUtime=0.92 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 41744 0 1 0 87 5 0 0 24 0 18 0 599122091 16058449920 39989 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3920520 39989 2223 9 0 3911239 0
[pid=24410/tid=24411] ppid=24408 vsize=15682080 CPUtime=0.67 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) R 24408 24410 24218 0 -1 4202560 35519 0 1 0 63 4 0 0 18 0 18 0 599122092 16058449920 39989 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505624379 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15682080
[startup+1.50121 s]
/proc/loadavg: 8.20 8.15 8.06 4/220 24436
/proc/meminfo: memFree=29425364/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15689812 CPUtime=2.42 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 54418 0 1 0 235 7 0 0 24 0 22 0 599122091 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3922453 48752 2255 9 0 3913172 0
[pid=24410/tid=24411] ppid=24408 vsize=15689812 CPUtime=1.47 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) R 24408 24410 24218 0 -1 4202560 35620 0 1 0 143 4 0 0 21 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505215980 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24410/tid=24413] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24413/stat : 24413 (java) S 24408 24410 24218 0 -1 4202560 110 0 0 0 0 0 0 0 18 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24414] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24414/stat : 24414 (java) S 24408 24410 24218 0 -1 4202560 38 0 0 0 0 0 0 0 18 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24415] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24415/stat : 24415 (java) S 24408 24410 24218 0 -1 4202560 667 0 0 0 0 0 0 0 18 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24416] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24416/stat : 24416 (java) S 24408 24410 24218 0 -1 4202560 638 0 0 0 0 0 0 0 18 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24417] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24417/stat : 24417 (java) S 24408 24410 24218 0 -1 4202560 645 0 0 0 0 0 0 0 15 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24418] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24418/stat : 24418 (java) S 24408 24410 24218 0 -1 4202560 644 0 0 0 0 0 0 0 18 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24419] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24419/stat : 24419 (java) S 24408 24410 24218 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24420] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24420/stat : 24420 (java) S 24408 24410 24218 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 599122092 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24421] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24421/stat : 24421 (java) S 24408 24410 24218 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 599122093 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 0 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24422] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24422/stat : 24422 (java) S 24408 24410 24218 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 599122094 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24423] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24423/stat : 24423 (java) S 24408 24410 24218 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 599122094 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24424] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24424/stat : 24424 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 599122096 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427215281 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24425] ppid=24408 vsize=15689812 CPUtime=0.55 cores=1,3,5,7
/proc/24410/task/24425/stat : 24425 (java) R 24408 24410 24218 0 -1 4202560 10471 0 0 0 54 1 0 0 16 0 22 0 599122096 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 47019476727158 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24410/tid=24426] ppid=24408 vsize=15689812 CPUtime=0.35 cores=1,3,5,7
/proc/24410/task/24426/stat : 24426 (java) S 24408 24410 24218 0 -1 4202560 3681 0 0 0 35 0 0 0 15 0 22 0 599122096 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24427] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24427/stat : 24427 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 599122096 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24428] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24428/stat : 24428 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 599122096 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24429] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24429/stat : 24429 (java) S 24408 24410 24218 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 599122165 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24430] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24430/stat : 24430 (java) S 24408 24410 24218 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 599122165 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24431] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24431/stat : 24431 (java) S 24408 24410 24218 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 599122165 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24432] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24432/stat : 24432 (java) S 24408 24410 24218 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 599122165 16066367488 48752 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 15689812
[startup+3.10085 s]
/proc/loadavg: 7.87 8.08 8.03 7/220 24436
/proc/meminfo: memFree=29396548/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15689812 CPUtime=6.13 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 103475 0 1 0 598 15 0 0 24 0 22 0 599122091 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3922453 97429 2273 9 0 3913172 0
[pid=24410/tid=24411] ppid=24408 vsize=15689812 CPUtime=1.8 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) S 24408 24410 24218 0 -1 4202560 35670 0 1 0 176 4 0 0 22 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24413] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24413/stat : 24413 (java) S 24408 24410 24218 0 -1 4202560 2584 0 0 0 0 0 0 0 16 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24414] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24414/stat : 24414 (java) S 24408 24410 24218 0 -1 4202560 2522 0 0 0 0 0 0 0 16 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24415] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24415/stat : 24415 (java) S 24408 24410 24218 0 -1 4202560 3446 0 0 0 0 0 0 0 16 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24416] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24416/stat : 24416 (java) S 24408 24410 24218 0 -1 4202560 3329 0 0 0 0 0 0 0 15 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24417] ppid=24408 vsize=15689812 CPUtime=0.01 cores=1,3,5,7
/proc/24410/task/24417/stat : 24417 (java) S 24408 24410 24218 0 -1 4202560 5296 0 0 0 1 0 0 0 16 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24418] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24418/stat : 24418 (java) S 24408 24410 24218 0 -1 4202560 2511 0 0 0 0 0 0 0 15 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24419] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24419/stat : 24419 (java) S 24408 24410 24218 0 -1 4202560 360 0 0 0 0 0 0 0 15 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24420] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24420/stat : 24420 (java) S 24408 24410 24218 0 -1 4202560 3045 0 0 0 0 0 0 0 15 0 22 0 599122092 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24421] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24421/stat : 24421 (java) S 24408 24410 24218 0 -1 4202560 228 0 0 0 0 0 0 0 16 0 22 0 599122093 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 0 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24422] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24422/stat : 24422 (java) S 24408 24410 24218 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 599122094 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24423] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24423/stat : 24423 (java) S 24408 24410 24218 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 599122094 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24424] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24424/stat : 24424 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 599122096 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427215281 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24425] ppid=24408 vsize=15689812 CPUtime=1.01 cores=1,3,5,7
/proc/24410/task/24425/stat : 24425 (java) S 24408 24410 24218 0 -1 4202560 10595 0 0 0 100 1 0 0 15 0 22 0 599122096 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24426] ppid=24408 vsize=15689812 CPUtime=0.59 cores=1,3,5,7
/proc/24410/task/24426/stat : 24426 (java) S 24408 24410 24218 0 -1 4202560 3701 0 0 0 59 0 0 0 15 0 22 0 599122096 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24427] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24427/stat : 24427 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 599122096 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24428] ppid=24408 vsize=15689812 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24428/stat : 24428 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 599122096 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24429] ppid=24408 vsize=15689812 CPUtime=0.31 cores=1,3,5,7
/proc/24410/task/24429/stat : 24429 (java) R 24408 24410 24218 0 -1 4202560 6101 0 0 0 31 0 0 0 16 0 22 0 599122165 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506125634 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24410/tid=24430] ppid=24408 vsize=15689812 CPUtime=0.82 cores=1,3,5,7
/proc/24410/task/24430/stat : 24430 (java) R 24408 24410 24218 0 -1 4202560 9706 0 0 0 81 1 0 0 16 0 22 0 599122165 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506264870 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24410/tid=24431] ppid=24408 vsize=15689812 CPUtime=0.73 cores=1,3,5,7
/proc/24410/task/24431/stat : 24431 (java) R 24408 24410 24218 0 -1 4202560 4765 0 0 0 73 0 0 0 16 0 22 0 599122165 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506062998 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24410/tid=24432] ppid=24408 vsize=15689812 CPUtime=0.71 cores=1,3,5,7
/proc/24410/task/24432/stat : 24432 (java) R 24408 24410 24218 0 -1 4202560 8230 0 0 0 70 1 0 0 16 0 22 0 599122165 16066367488 97429 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506145150 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 15689812
[startup+6.30125 s]
/proc/loadavg: 7.87 8.08 8.03 11/220 24436
/proc/meminfo: memFree=28239132/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15685672 CPUtime=18.89 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 321012 0 1 0 1844 45 0 0 24 0 22 0 599122091 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3921418 313136 2283 9 0 3912137 0
[pid=24410/tid=24411] ppid=24408 vsize=15685672 CPUtime=1.8 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) S 24408 24410 24218 0 -1 4202560 35670 0 1 0 176 4 0 0 22 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24413] ppid=24408 vsize=15685672 CPUtime=0.04 cores=1,3,5,7
/proc/24410/task/24413/stat : 24413 (java) S 24408 24410 24218 0 -1 4202560 12259 0 0 0 2 2 0 0 16 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24414] ppid=24408 vsize=15685672 CPUtime=0.02 cores=1,3,5,7
/proc/24410/task/24414/stat : 24414 (java) S 24408 24410 24218 0 -1 4202560 7022 0 0 0 1 1 0 0 16 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24415] ppid=24408 vsize=15685672 CPUtime=0.04 cores=1,3,5,7
/proc/24410/task/24415/stat : 24415 (java) S 24408 24410 24218 0 -1 4202560 11934 0 0 0 2 2 0 0 15 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24416] ppid=24408 vsize=15685672 CPUtime=0.02 cores=1,3,5,7
/proc/24410/task/24416/stat : 24416 (java) S 24408 24410 24218 0 -1 4202560 8249 0 0 0 1 1 0 0 15 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24417] ppid=24408 vsize=15685672 CPUtime=0.06 cores=1,3,5,7
/proc/24410/task/24417/stat : 24417 (java) S 24408 24410 24218 0 -1 4202560 18358 0 0 0 3 3 0 0 15 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24418] ppid=24408 vsize=15685672 CPUtime=0.03 cores=1,3,5,7
/proc/24410/task/24418/stat : 24418 (java) S 24408 24410 24218 0 -1 4202560 9088 0 0 0 2 1 0 0 16 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24419] ppid=24408 vsize=15685672 CPUtime=0.03 cores=1,3,5,7
/proc/24410/task/24419/stat : 24419 (java) S 24408 24410 24218 0 -1 4202560 9430 0 0 0 2 1 0 0 16 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24420] ppid=24408 vsize=15685672 CPUtime=0.07 cores=1,3,5,7
/proc/24410/task/24420/stat : 24420 (java) S 24408 24410 24218 0 -1 4202560 21955 0 0 0 4 3 0 0 16 0 22 0 599122092 16062128128 313136 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=24410/tid=24430] ppid=24408 vsize=15687396 CPUtime=1106.49 cores=1,3,5,7
/proc/24410/task/24430/stat : 24430 (java) R 24408 24410 24218 0 -1 4202560 430650 0 0 0 110594 55 0 0 25 0 22 0 599122165 16063893504 155082 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506125208 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24410/tid=24431] ppid=24408 vsize=15687396 CPUtime=1107.05 cores=1,3,5,7
/proc/24410/task/24431/stat : 24431 (java) R 24408 24410 24218 0 -1 4202560 426011 0 0 0 110648 57 0 0 25 0 22 0 599122165 16063893504 155082 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505956387 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24410/tid=24432] ppid=24408 vsize=15687396 CPUtime=1106.74 cores=1,3,5,7
/proc/24410/task/24432/stat : 24432 (java) R 24408 24410 24218 0 -1 4202560 424635 0 0 0 110616 58 0 0 25 0 22 0 599122165 16063893504 155082 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506145322 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4462.61
Current children cumulated vsize (KiB) 15687396
[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 8.04 10/220 24476
/proc/meminfo: memFree=28112616/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15687396 CPUtime=4701.55 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 3221237 0 1 0 469574 581 0 0 24 0 22 0 599122091 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3921849 189330 2297 9 0 3912568 0
[pid=24410/tid=24411] ppid=24408 vsize=15687396 CPUtime=1.8 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) S 24408 24410 24218 0 -1 4202560 35670 0 1 0 176 4 0 0 22 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24413] ppid=24408 vsize=15687396 CPUtime=4.02 cores=1,3,5,7
/proc/24410/task/24413/stat : 24413 (java) S 24408 24410 24218 0 -1 4202560 171747 0 0 0 368 34 0 0 16 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24414] ppid=24408 vsize=15687396 CPUtime=3.99 cores=1,3,5,7
/proc/24410/task/24414/stat : 24414 (java) S 24408 24410 24218 0 -1 4202560 173647 0 0 0 366 33 0 0 15 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24415] ppid=24408 vsize=15687396 CPUtime=4.03 cores=1,3,5,7
/proc/24410/task/24415/stat : 24415 (java) S 24408 24410 24218 0 -1 4202560 172241 0 0 0 367 36 0 0 16 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24416] ppid=24408 vsize=15687396 CPUtime=3.89 cores=1,3,5,7
/proc/24410/task/24416/stat : 24416 (java) S 24408 24410 24218 0 -1 4202560 167610 0 0 0 356 33 0 0 15 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24417] ppid=24408 vsize=15687396 CPUtime=3.88 cores=1,3,5,7
/proc/24410/task/24417/stat : 24417 (java) S 24408 24410 24218 0 -1 4202560 163076 0 0 0 356 32 0 0 16 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24418] ppid=24408 vsize=15687396 CPUtime=3.84 cores=1,3,5,7
/proc/24410/task/24418/stat : 24418 (java) S 24408 24410 24218 0 -1 4202560 159915 0 0 0 355 29 0 0 15 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24419] ppid=24408 vsize=15687396 CPUtime=3.99 cores=1,3,5,7
/proc/24410/task/24419/stat : 24419 (java) S 24408 24410 24218 0 -1 4202560 171928 0 0 0 366 33 0 0 16 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24420] ppid=24408 vsize=15687396 CPUtime=3.95 cores=1,3,5,7
/proc/24410/task/24420/stat : 24420 (java) S 24408 24410 24218 0 -1 4202560 175712 0 0 0 364 31 0 0 15 0 22 0 599122092 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24421] ppid=24408 vsize=15687396 CPUtime=2.11 cores=1,3,5,7
/proc/24410/task/24421/stat : 24421 (java) S 24408 24410 24218 0 -1 4202560 8448 0 0 0 139 72 0 0 15 0 22 0 599122093 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 0 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24422] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24422/stat : 24422 (java) S 24408 24410 24218 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 599122094 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24423] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24423/stat : 24423 (java) S 24408 24410 24218 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 599122094 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24424] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24424/stat : 24424 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 599122096 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427215281 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24425] ppid=24408 vsize=15687396 CPUtime=1.17 cores=1,3,5,7
/proc/24410/task/24425/stat : 24425 (java) S 24408 24410 24218 0 -1 4202560 10602 0 0 0 116 1 0 0 16 0 22 0 599122096 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24426] ppid=24408 vsize=15687396 CPUtime=0.89 cores=1,3,5,7
/proc/24410/task/24426/stat : 24426 (java) S 24408 24410 24218 0 -1 4202560 4076 0 0 0 89 0 0 0 15 0 22 0 599122096 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24427] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24427/stat : 24427 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 599122096 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24428] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24428/stat : 24428 (java) S 24408 24410 24218 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 599122096 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24429] ppid=24408 vsize=15687396 CPUtime=1165.74 cores=1,3,5,7
/proc/24410/task/24429/stat : 24429 (java) R 24408 24410 24218 0 -1 4202560 459321 0 0 0 116518 56 0 0 25 0 22 0 599122165 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505576934 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24410/tid=24430] ppid=24408 vsize=15687396 CPUtime=1165.74 cores=1,3,5,7
/proc/24410/task/24430/stat : 24430 (java) R 24408 24410 24218 0 -1 4202560 453068 0 0 0 116517 57 0 0 25 0 22 0 599122165 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505576888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24410/tid=24431] ppid=24408 vsize=15687396 CPUtime=1166.24 cores=1,3,5,7
/proc/24410/task/24431/stat : 24431 (java) R 24408 24410 24218 0 -1 4202560 447491 0 0 0 116564 60 0 0 25 0 22 0 599122165 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505991552 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24410/tid=24432] ppid=24408 vsize=15687396 CPUtime=1166.09 cores=1,3,5,7
/proc/24410/task/24432/stat : 24432 (java) R 24408 24410 24218 0 -1 4202560 445234 0 0 0 116548 61 0 0 25 0 22 0 599122165 16063893504 189330 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912505991663 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4701.55
Current children cumulated vsize (KiB) 15687396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.1 s]
/proc/loadavg: 7.79 8.02 8.02 5/197 24480
/proc/meminfo: memFree=29153380/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15687396 CPUtime=4800.28 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 3263505 0 1 0 479437 591 0 0 24 0 22 0 599122091 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3921849 152572 2297 9 0 3912568 0
[pid=24410/tid=24411] ppid=24408 vsize=15687396 CPUtime=1.8 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) S 24408 24410 24218 0 -1 4202560 35670 0 1 0 176 4 0 0 22 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24413] ppid=24408 vsize=15687396 CPUtime=4.1 cores=1,3,5,7
/proc/24410/task/24413/stat : 24413 (java) S 24408 24410 24218 0 -1 4202560 174667 0 0 0 376 34 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24414] ppid=24408 vsize=15687396 CPUtime=4.09 cores=1,3,5,7
/proc/24410/task/24414/stat : 24414 (java) S 24408 24410 24218 0 -1 4202560 177223 0 0 0 375 34 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24415] ppid=24408 vsize=15687396 CPUtime=4.1 cores=1,3,5,7
/proc/24410/task/24415/stat : 24415 (java) S 24408 24410 24218 0 -1 4202560 175874 0 0 0 373 37 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24416] ppid=24408 vsize=15687396 CPUtime=3.98 cores=1,3,5,7
/proc/24410/task/24416/stat : 24416 (java) S 24408 24410 24218 0 -1 4202560 171413 0 0 0 365 33 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24417] ppid=24408 vsize=15687396 CPUtime=3.98 cores=1,3,5,7
/proc/24410/task/24417/stat : 24417 (java) S 24408 24410 24218 0 -1 4202560 166549 0 0 0 365 33 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24418] ppid=24408 vsize=15687396 CPUtime=3.92 cores=1,3,5,7
/proc/24410/task/24418/stat : 24418 (java) S 24408 24410 24218 0 -1 4202560 163201 0 0 0 363 29 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24419] ppid=24408 vsize=15687396 CPUtime=4.06 cores=1,3,5,7
/proc/24410/task/24419/stat : 24419 (java) S 24408 24410 24218 0 -1 4202560 174764 0 0 0 372 34 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24420] ppid=24408 vsize=15687396 CPUtime=4.04 cores=1,3,5,7
/proc/24410/task/24420/stat : 24420 (java) S 24408 24410 24218 0 -1 4202560 179238 0 0 0 373 31 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24421] ppid=24408 vsize=15687396 CPUtime=2.18 cores=1,3,5,7
/proc/24410/task/24421/stat : 24421 (java) S 24408 24410 24218 0 -1 4202560 8526 0 0 0 143 75 0 0 15 0 22 0 599122093 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 0 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24422] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24422/stat : 24422 (java) S 24408 24410 24218 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 599122094 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24423] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24423/stat : 24423 (java) S 24408 24410 24218 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 599122094 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24424] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24424/stat : 24424 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427215281 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24425] ppid=24408 vsize=15687396 CPUtime=1.17 cores=1,3,5,7
/proc/24410/task/24425/stat : 24425 (java) S 24408 24410 24218 0 -1 4202560 10602 0 0 0 116 1 0 0 16 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24426] ppid=24408 vsize=15687396 CPUtime=0.89 cores=1,3,5,7
/proc/24410/task/24426/stat : 24426 (java) S 24408 24410 24218 0 -1 4202560 4076 0 0 0 89 0 0 0 15 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24427] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24427/stat : 24427 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24428] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24428/stat : 24428 (java) S 24408 24410 24218 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24429] ppid=24408 vsize=15687396 CPUtime=1190.21 cores=1,3,5,7
/proc/24410/task/24429/stat : 24429 (java) R 24408 24410 24218 0 -1 4202560 463079 0 0 0 118964 57 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506125741 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24410/tid=24430] ppid=24408 vsize=15687396 CPUtime=1190.27 cores=1,3,5,7
/proc/24410/task/24430/stat : 24430 (java) R 24408 24410 24218 0 -1 4202560 456215 0 0 0 118970 57 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506300482 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24410/tid=24431] ppid=24408 vsize=15687396 CPUtime=1190.78 cores=1,3,5,7
/proc/24410/task/24431/stat : 24431 (java) R 24408 24410 24218 0 -1 4202560 451509 0 0 0 119017 61 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506144922 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24410/tid=24432] ppid=24408 vsize=15687396 CPUtime=1190.55 cores=1,3,5,7
/proc/24410/task/24432/stat : 24432 (java) R 24408 24410 24218 0 -1 4202560 449446 0 0 0 118993 62 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506145212 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 15687396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.1 s]
/proc/loadavg: 7.79 8.02 8.02 5/197 24480
/proc/meminfo: memFree=29153380/32950928 swapFree=67111364/67111528
[pid=24410] ppid=24408 vsize=15687396 CPUtime=4800.28 cores=1,3,5,7
/proc/24410/stat : 24410 (java) S 24408 24410 24218 0 -1 4202496 3263505 0 1 0 479437 591 0 0 24 0 22 0 599122091 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24410/statm: 3921849 152572 2297 9 0 3912568 0
[pid=24410/tid=24411] ppid=24408 vsize=15687396 CPUtime=1.8 cores=1,3,5,7
/proc/24410/task/24411/stat : 24411 (java) S 24408 24410 24218 0 -1 4202560 35670 0 1 0 176 4 0 0 22 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24413] ppid=24408 vsize=15687396 CPUtime=4.1 cores=1,3,5,7
/proc/24410/task/24413/stat : 24413 (java) S 24408 24410 24218 0 -1 4202560 174667 0 0 0 376 34 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24414] ppid=24408 vsize=15687396 CPUtime=4.09 cores=1,3,5,7
/proc/24410/task/24414/stat : 24414 (java) S 24408 24410 24218 0 -1 4202560 177223 0 0 0 375 34 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24415] ppid=24408 vsize=15687396 CPUtime=4.1 cores=1,3,5,7
/proc/24410/task/24415/stat : 24415 (java) S 24408 24410 24218 0 -1 4202560 175874 0 0 0 373 37 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24416] ppid=24408 vsize=15687396 CPUtime=3.98 cores=1,3,5,7
/proc/24410/task/24416/stat : 24416 (java) S 24408 24410 24218 0 -1 4202560 171413 0 0 0 365 33 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24417] ppid=24408 vsize=15687396 CPUtime=3.98 cores=1,3,5,7
/proc/24410/task/24417/stat : 24417 (java) S 24408 24410 24218 0 -1 4202560 166549 0 0 0 365 33 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24418] ppid=24408 vsize=15687396 CPUtime=3.92 cores=1,3,5,7
/proc/24410/task/24418/stat : 24418 (java) S 24408 24410 24218 0 -1 4202560 163201 0 0 0 363 29 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24419] ppid=24408 vsize=15687396 CPUtime=4.06 cores=1,3,5,7
/proc/24410/task/24419/stat : 24419 (java) S 24408 24410 24218 0 -1 4202560 174764 0 0 0 372 34 0 0 16 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24420] ppid=24408 vsize=15687396 CPUtime=4.04 cores=1,3,5,7
/proc/24410/task/24420/stat : 24420 (java) S 24408 24410 24218 0 -1 4202560 179238 0 0 0 373 31 0 0 15 0 22 0 599122092 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24421] ppid=24408 vsize=15687396 CPUtime=2.18 cores=1,3,5,7
/proc/24410/task/24421/stat : 24421 (java) S 24408 24410 24218 0 -1 4202560 8526 0 0 0 143 75 0 0 15 0 22 0 599122093 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 0 0 16800975 18446604471160546432 0 0 -1 7 0 0 0
[pid=24410/tid=24422] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24422/stat : 24422 (java) S 24408 24410 24218 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 599122094 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24423] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24423/stat : 24423 (java) S 24408 24410 24218 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 599122094 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24424] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24424/stat : 24424 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427215281 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24425] ppid=24408 vsize=15687396 CPUtime=1.17 cores=1,3,5,7
/proc/24410/task/24425/stat : 24425 (java) S 24408 24410 24218 0 -1 4202560 10602 0 0 0 116 1 0 0 16 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24426] ppid=24408 vsize=15687396 CPUtime=0.89 cores=1,3,5,7
/proc/24410/task/24426/stat : 24426 (java) S 24408 24410 24218 0 -1 4202560 4076 0 0 0 89 0 0 0 15 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 1 0 0 0
[pid=24410/tid=24427] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24427/stat : 24427 (java) S 24408 24410 24218 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427207577 0 4 0 16800975 18446604471160546432 0 0 -1 3 0 0 0
[pid=24410/tid=24428] ppid=24408 vsize=15687396 CPUtime=0 cores=1,3,5,7
/proc/24410/task/24428/stat : 24428 (java) S 24408 24410 24218 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 599122096 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 256427208192 0 4 0 16800975 18446604471160546432 0 0 -1 5 0 0 0
[pid=24410/tid=24429] ppid=24408 vsize=15687396 CPUtime=1190.21 cores=1,3,5,7
/proc/24410/task/24429/stat : 24429 (java) R 24408 24410 24218 0 -1 4202560 463079 0 0 0 118964 57 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506125741 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24410/tid=24430] ppid=24408 vsize=15687396 CPUtime=1190.27 cores=1,3,5,7
/proc/24410/task/24430/stat : 24430 (java) R 24408 24410 24218 0 -1 4202560 456215 0 0 0 118970 57 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506300482 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24410/tid=24431] ppid=24408 vsize=15687396 CPUtime=1190.78 cores=1,3,5,7
/proc/24410/task/24431/stat : 24431 (java) R 24408 24410 24218 0 -1 4202560 451509 0 0 0 119017 61 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506144922 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24410/tid=24432] ppid=24408 vsize=15687396 CPUtime=1190.55 cores=1,3,5,7
/proc/24410/task/24432/stat : 24432 (java) R 24408 24410 24218 0 -1 4202560 449446 0 0 0 118993 62 0 0 25 0 22 0 599122165 16063893504 152572 33554432000 1073741824 1073778376 140733456380960 18446744073709551615 46912506145212 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 15687396
Child status: 143
Real time (s): 1207.14
CPU time (s): 4800.34
CPU user time (s): 4794.4
CPU system time (s): 5.9431
CPU usage (%): 397.662
Max. virtual memory (cumulated for all children) (KiB): 15689812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.4
system time used= 5.9431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3263531
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132198
involuntary context switches= 93490
runsolver used 2.03869 second user time and 4.6033 second system time
The end