runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479225-1307444775/watcher-3479225-1307444775 -o /tmp/evaluation-result-3479225-1307444775/solver-3479225-1307444775 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479225-1307444775.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 1316 0 0 0 0 0 0 0 23 0 2 0 856076337 36646912 1018 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 8947 1018 782 9 0 386 0
[pid=23409/tid=23410] ppid=23407 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 207 0 0 0 0 0 0 0 24 0 2 0 856076338 36646912 1023 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268272685061 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0858509 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 11738 0 1 0 4 1 0 0 23 0 18 0 856076337 10791411712 11435 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2634622 11435 1740 9 0 2625356 0
[pid=23409/tid=23410] ppid=23407 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 10563 0 1 0 4 1 0 0 25 0 18 0 856076338 10791411712 11436 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629827038035 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488
[startup+0.100846 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10538624 CPUtime=0.07 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 12000 0 1 0 6 1 0 0 23 0 18 0 856076337 10791550976 11697 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2634656 11697 1755 9 0 2625390 0
[pid=23409/tid=23410] ppid=23407 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 10825 0 1 0 5 1 0 0 25 0 18 0 856076338 10791550976 11698 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629827038035 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538624
[startup+0.300814 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10542040 CPUtime=0.51 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 17069 0 1 0 49 2 0 0 23 0 18 0 856076337 10795048960 16302 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2635510 16303 2200 9 0 2626244 0
[pid=23409/tid=23410] ppid=23407 vsize=10542040 CPUtime=0.26 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 13512 0 1 0 25 1 0 0 25 0 18 0 856076338 10795048960 16303 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629827038035 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542040
[startup+0.700746 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10555308 CPUtime=1.64 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 30172 0 1 0 160 4 0 0 23 0 19 0 856076337 10808635392 23478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2638827 23478 2234 9 0 2629561 0
[pid=23409/tid=23410] ppid=23407 vsize=10555308 CPUtime=0.32 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16558 0 1 0 31 1 0 0 25 0 19 0 856076338 10808635392 23478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10555308
[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 3/610 23468
/proc/meminfo: memFree=31474248/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10556468 CPUtime=2.61 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 39799 0 1 0 256 5 0 0 23 0 22 0 856076337 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2639117 30505 2237 9 0 2629851 0
[pid=23409/tid=23410] ppid=23407 vsize=10556468 CPUtime=0.33 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16581 0 1 0 32 1 0 0 17 0 22 0 856076338 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 856076342 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 856076342 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076342 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10556468 CPUtime=0.76 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) R 23407 23409 23381 0 -1 4202560 6519 0 0 0 76 0 0 0 22 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284507905 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10556468 CPUtime=0.61 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) R 23407 23409 23381 0 -1 4202560 7966 0 0 0 60 1 0 0 22 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10556468
[startup+3.10132 s]
/proc/loadavg: 0.00 0.00 0.00 1/609 23479
/proc/meminfo: memFree=31418936/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10556468 CPUtime=4.37 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 118922 0 1 0 423 14 0 0 23 0 22 0 856076337 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2639117 109478 2263 9 0 2629851 0
[pid=23409/tid=23410] ppid=23407 vsize=10556468 CPUtime=0.33 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16604 0 1 0 32 1 0 0 15 0 22 0 856076338 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 613 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10556468 CPUtime=0.02 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 1334 0 0 0 2 0 0 0 17 0 22 0 856076342 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856076342 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10556468 CPUtime=0.92 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) R 23407 23409 23381 0 -1 4202560 6541 0 0 0 92 0 0 0 15 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629825953819 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10556468 CPUtime=0.69 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8117 0 0 0 68 1 0 0 15 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10556468
[startup+6.30075 s]
/proc/loadavg: 0.00 0.00 0.00 3/612 23506
/proc/meminfo: memFree=30667224/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=9.79 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 232944 0 1 0 951 28 0 0 23 0 22 0 856076337 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 222159 2264 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.33 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16609 0 1 0 32 1 0 0 15 0 22 0 856076338 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=0.01 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 623 0 0 0 1 0 0 0 16 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=0.08 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 2681 0 0 0 8 0 0 0 16 0 22 0 856076342 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=1.48 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10080 0 0 0 147 1 0 0 15 0 22 0 856076345 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.74 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8124 0 0 0 73 1 0 0 15 0 22 0 856076345 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=162.14 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 16214 0 0 0 19 0 22 0 856144959 10818957312 374594 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=162.15 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) S 23407 23409 23381 0 -1 4202560 0 0 0 0 16215 0 0 0 19 0 22 0 856144959 10818957312 374594 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 374594 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1653.5
Current children cumulated vsize (KiB) 10565388
[startup+942.302 s]
/proc/loadavg: 3.58 3.42 2.26 3/615 23579
/proc/meminfo: memFree=29278112/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=1764.94 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 388161 0 1 0 176444 50 0 0 23 0 22 0 856076337 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 376099 2265 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.35 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16706 0 1 0 33 2 0 0 15 0 22 0 856076338 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=1.22 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1402 0 0 0 122 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=1.13 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 699 0 0 0 113 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=1.31 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 714 0 0 0 131 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 454 0 0 0 124 0 0 0 16 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=1.19 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 181 0 0 0 119 0 0 0 16 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=1.12 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 98 0 0 0 112 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=1.22 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1655 0 0 0 122 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=1.14 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1159 0 0 0 114 0 0 0 16 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=116.74 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 73750 0 0 0 11667 7 0 0 16 0 22 0 856076342 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 856076342 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=2.07 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10158 0 0 0 206 1 0 0 15 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.82 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8973 0 0 0 81 1 0 0 15 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=213.16 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) R 23407 23409 23381 0 -1 4202560 2 0 0 0 21316 0 0 0 20 0 22 0 856144959 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505705888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=213.17 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) R 23407 23409 23381 0 -1 4202560 0 0 0 0 21317 0 0 0 20 0 22 0 856144959 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505905598 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.94
Current children cumulated vsize (KiB) 10565388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+961.101 s]
/proc/loadavg: 3.47 3.41 2.28 4/615 23579
/proc/meminfo: memFree=29273756/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=1800.08 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 388720 0 1 0 179958 50 0 0 23 0 22 0 856076337 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 376650 2265 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.35 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16710 0 1 0 33 2 0 0 15 0 22 0 856076338 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1402 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=1.15 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 700 0 0 0 115 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=1.35 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 716 0 0 0 135 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 454 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=1.2 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 182 0 0 0 120 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=1.13 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 98 0 0 0 113 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=1.25 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1660 0 0 0 125 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=1.17 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1159 0 0 0 117 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=119.29 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 74294 0 0 0 11921 8 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=2.07 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10158 0 0 0 206 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.82 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8973 0 0 0 81 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=229.38 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) R 23407 23409 23381 0 -1 4202560 2 0 0 0 22938 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505699008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=229.39 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) R 23407 23409 23381 0 -1 4202560 0 0 0 0 22939 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505852359 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10565388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+961.101 s]
/proc/loadavg: 3.47 3.41 2.28 4/615 23579
/proc/meminfo: memFree=29273756/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=1800.08 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 388720 0 1 0 179958 50 0 0 23 0 22 0 856076337 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 376650 2265 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.35 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16710 0 1 0 33 2 0 0 15 0 22 0 856076338 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1402 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=1.15 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 700 0 0 0 115 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=1.35 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 716 0 0 0 135 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 454 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=1.2 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 182 0 0 0 120 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=1.13 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 98 0 0 0 113 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=1.25 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1660 0 0 0 125 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=1.17 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1159 0 0 0 117 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=119.29 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 74294 0 0 0 11921 8 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=2.07 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10158 0 0 0 206 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.82 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8973 0 0 0 81 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=229.38 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) R 23407 23409 23381 0 -1 4202560 2 0 0 0 22938 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505699008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=229.39 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) R 23407 23409 23381 0 -1 4202560 0 0 0 0 22939 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505852359 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10565388
Child status: 143
Real time (s): 961.22
CPU time (s): 1800.25
CPU user time (s): 1799.68
CPU system time (s): 0.566913
CPU usage (%): 187.288
Max. virtual memory (cumulated for all children) (KiB): 10565388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.566913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388753
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= 30807
involuntary context switches= 24828
runsolver used 5.57615 second user time and 13.5559 second system time
The end