runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62102 MiB free)
memory of node 1: 64465 MiB (64001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513481-1751225628/watcher-4513481-1751225628 -o /tmp/evaluation-result-4513481-1751225628/solver-4513481-1751225628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751225628-37350 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513481-1751225628 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4513481-1751225628.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37402, runsolver pid=37389
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 0.61 1.91 2.89 6/296 37431
/proc/meminfo: memFree=129106816/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=18130736 memory=22928 CPUtime=0.01 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 2339 0 179 0 0 1 0 0 20 0 7 0 38240348 18565873664 5732 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16784588 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4532684 5732 3136 1 0 540973 0
[pid=37402/tid=37411] ppid=37389 vsize=18130736 memory=4026532124 CPUtime=0 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) D 37389 37402 37338 0 -1 4194368 1770 0 125 0 0 0 0 0 20 0 7 0 38240354 18565873664 5732 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16784588 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 22928 KiB
[startup+0.205886 s]*
/proc/loadavg: 0.61 1.91 2.89 8/340 37475
/proc/meminfo: memFree=129041984/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=18930384 memory=49064 CPUtime=0.08 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 5868 0 387 0 5 3 0 0 20 0 18 0 38240348 19384713216 12266 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4732596 12266 5231 1 0 547195 0
[pid=37402/tid=37411] ppid=37389 vsize=18930384 memory=3472328300254200092 CPUtime=0.05 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 4671 0 306 0 3 2 0 0 20 0 18 0 38240354 19384713216 12266 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=18930384 memory=14860 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38240364 19384713216 12266 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 38240365 19384713216 12266 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49064 KiB
[startup+0.306859 s]*
/proc/loadavg: 0.61 1.91 2.89 13/340 37475
/proc/meminfo: memFree=128996744/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=18930384 memory=61556 CPUtime=0.24 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 6832 0 391 0 20 4 0 0 20 0 18 0 38240348 19384713216 15389 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4732596 15389 5359 1 0 547914 0
[pid=37402/tid=37411] ppid=37389 vsize=18930384 memory=-6000919485524436332 CPUtime=0.14 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) D 37389 37402 37338 0 -1 4194368 5152 0 309 0 12 2 0 0 20 0 18 0 38240354 19384713216 15389 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38240364 19384713216 15389 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 38240365 19384713216 15389 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61556 KiB
[startup+0.700232 s]
/proc/loadavg: 0.61 1.91 2.89 11/344 37479
/proc/meminfo: memFree=128832164/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=162544 CPUtime=0.99 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 11038 0 396 0 93 6 0 0 20 0 20 0 38240348 19521036288 40636 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 40636 5391 1 0 551206 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=17536 CPUtime=0.41 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 5341 0 309 0 38 3 0 0 20 0 20 0 38240354 19521036288 40636 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 40636 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 40636 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 40636 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162544 KiB
[startup+1.50025 s]
/proc/loadavg: 0.61 1.91 2.89 8/325 37493
/proc/meminfo: memFree=128620316/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=313004 CPUtime=2.57 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 27017 0 396 0 244 13 0 0 20 0 20 0 38240348 19521036288 78251 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 78251 5391 1 0 558042 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=0 CPUtime=1.14 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 5534 0 309 0 107 7 0 0 20 0 20 0 38240354 19521036288 78251 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 78251 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 78251 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=224194199869 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 78251 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 313004 KiB
[startup+3.106 s]
/proc/loadavg: 0.61 1.91 2.89 9/348 37550
/proc/meminfo: memFree=126159492/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=1237892 CPUtime=5.75 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 31672 0 396 0 545 30 0 0 20 0 20 0 38240348 19521036288 309473 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 309473 5391 1 0 558048 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=0 CPUtime=2.71 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 7335 0 309 0 247 24 0 0 20 0 20 0 38240354 19521036288 309473 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 309473 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=-6000919468361344364 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 309473 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 309473 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1237892 KiB
[startup+6.30025 s]
/proc/loadavg: 1.04 1.98 2.90 8/347 37551
/proc/meminfo: memFree=124083768/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=1392944 CPUtime=10.35 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 32704 0 396 0 999 36 0 0 20 0 20 0 38240348 19521036288 348236 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 348236 5391 1 0 664566 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=0 CPUtime=5.78 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 7529 0 309 0 549 29 0 0 20 0 20 0 38240354 19521036288 348236 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=7100839878709310576 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 348236 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 348236 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=6943526294502006880 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 348236 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1392944 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 2.07 2.92 7/348 37552
/proc/meminfo: memFree=122663568/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=1739440 CPUtime=17.3 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 33705 0 396 0 1684 46 0 0 20 0 20 0 38240348 19521036288 434860 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 434860 5391 1 0 664592 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=1739440 CPUtime=12.04 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) S 37389 37402 37338 0 -1 4194368 8268 0 309 0 1166 38 0 0 20 0 20 0 38240354 19521036288 434860 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=33 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 434860 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 434860 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 434860 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1739440 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.16 2.94 6/347 37552
/proc/meminfo: memFree=122528296/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=1747964 CPUtime=30.32 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 40636 0 396 0 2981 51 0 0 20 0 20 0 38240348 19521036288 436991 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 436991 5423 1 0 664592 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=1739440 CPUtime=24.55 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 9622 0 309 0 2413 42 0 0 20 0 20 0 38240354 19521036288 436991 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=1741640 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 436991 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 436991 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 436991 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 30.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747964 KiB
[startup+51.1061 s]
/proc/loadavg: 2.81 2.33 2.98 6/347 37553
/proc/meminfo: memFree=121405832/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=1779012 CPUtime=56.07 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 44152 0 396 0 5548 59 0 0 20 0 20 0 38240348 19521036288 444753 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 444753 5423 1 0 664592 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=5632 CPUtime=49.38 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 12056 0 309 0 4889 49 0 0 20 0 20 0 38240354 19521036288 444753 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=1762528 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 444753 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=1760404 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 444753 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=1739440 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 444753 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
################
# More data... #
################
/proc/meminfo: memFree=110419796/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169384 CPUtime=3221.37 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 173355 0 396 0 321517 620 0 0 20 0 20 0 38240348 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042346 5455 1 0 1056040 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=4169384 CPUtime=3078.66 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 72968 0 309 0 307382 484 0 0 20 0 20 0 38240354 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=4169384 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=4169384 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2266 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=4169384 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3221.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.17 4.11 7/345 37743
/proc/meminfo: memFree=110346204/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169384 CPUtime=3282.05 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 174190 0 396 0 327579 626 0 0 20 0 20 0 38240348 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042346 5455 1 0 1056040 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=4169384 CPUtime=3137.5 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 73539 0 309 0 313262 488 0 0 20 0 20 0 38240354 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=4169384 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2317 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=4169384 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042346 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3282.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.10 6/344 37745
/proc/meminfo: memFree=110245624/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169512 CPUtime=3343.01 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 176630 0 396 0 333667 634 0 0 20 0 20 0 38240348 19521036288 1042378 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042378 5455 1 0 1056051 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=4169512 CPUtime=3196.19 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 75150 0 309 0 319125 494 0 0 20 0 20 0 38240354 19521036288 1042378 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042378 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2317 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042378 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042378 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3343.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.10 6/345 37751
/proc/meminfo: memFree=110148208/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169768 CPUtime=3404.34 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 178982 0 396 0 339793 641 0 0 20 0 20 0 38240348 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042442 5455 1 0 1056128 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=4252 CPUtime=3254.83 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 76832 0 309 0 324983 500 0 0 20 0 20 0 38240354 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2397 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3404.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/345 37753
/proc/meminfo: memFree=110085200/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169768 CPUtime=3465.31 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 179295 0 396 0 345881 650 0 0 20 0 20 0 38240348 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042442 5455 1 0 1056128 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=4169768 CPUtime=3313.2 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 77010 0 309 0 330814 506 0 0 20 0 20 0 38240354 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2419 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3465.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.16 4.10 6/344 37755
/proc/meminfo: memFree=110026640/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169768 CPUtime=3526.04 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 181885 0 396 0 351949 655 0 0 20 0 20 0 38240348 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042442 5455 1 0 1056132 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=5632 CPUtime=3372.01 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 79060 0 309 0 336691 510 0 0 20 0 20 0 38240354 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=-6000919468361344364 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=4169768 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2419 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=4169768 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042442 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3526.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/345 37759
/proc/meminfo: memFree=109978372/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4169896 CPUtime=3588.05 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 184372 0 396 0 358143 662 0 0 20 0 20 0 38240348 19521036288 1042474 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042474 5455 1 0 1056175 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=4169768 CPUtime=3430.15 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 80483 0 309 0 342500 515 0 0 20 0 20 0 38240354 19521036288 1042474 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=4169896 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042474 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2469 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042474 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=4169896 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042474 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3534 s]*
/proc/loadavg: 4.14 4.14 4.10 6/345 37759
/proc/meminfo: memFree=109964600/131250000 swapFree=33010684/33010684
[pid=37402] ppid=37389 vsize=19063512 memory=4170024 CPUtime=3600.06 cores=1,3
/proc/37402/stat : 37402 (java) S 37389 37402 37338 0 -1 4194304 184464 0 396 0 359342 664 0 0 20 0 20 0 38240348 19521036288 1042506 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
/proc/37402/statm: 4765878 1042506 5455 1 0 1056185 0
[pid=37402/tid=37411] ppid=37389 vsize=19063512 memory=-6000919477051811180 CPUtime=3441.57 cores=1,3
/proc/37402/task/37411/stat : 37411 (java) R 37389 37402 37338 0 -1 4194368 80563 0 309 0 343641 516 0 0 20 0 20 0 38240354 19521036288 1042506 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37447] ppid=37389 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/37402/task/37447/stat : 37447 (Finalizer) S 37389 37402 37338 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38240364 19521036288 1042506 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37472] ppid=37389 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/37402/task/37472/stat : 37472 (Common-Cleaner) S 37389 37402 37338 0 -1 4194368 2469 0 0 0 0 0 0 0 20 0 20 0 38240365 19521036288 1042506 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
[pid=37402/tid=37479] ppid=37389 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/37402/task/37479/stat : 37479 (Timer-0) S 37389 37402 37338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38240387 19521036288 1042506 18446744073709551615 94704342441984 94704342445680 140723081534400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94704342453496 94704342454288 94704361541632 140723081537837 140723081538022 140723081538022 140723081543624 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4170024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3534.11 s]
# the end of solver process 37402 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.55 s, system=6.658 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3534.11
CPU time (s): 3600.21
CPU user time (s): 3593.55
CPU system time (s): 6.658
CPU usage (%): 101.87
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4170024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.55
system time used= 6.658
maximum resident set size= 4170792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186703
page faults= 396
swaps= 0
block input operations= 11272
block output operations= 2974592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171897
involuntary context switches= 36183
# summary of solver processes directly reported to runsolver:
# pid: 37402
# total CPU time (s): 3600.21
# total CPU user time (s): 3593.55
# total CPU system time (s): 6.658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48473 second user time and 16.8331 second system time
The end