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: 64096 MiB (55126 MiB free)
memory of node 1: 64473 MiB (59762 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452064-1721442131/watcher-4452064-1721442131 -o /tmp/evaluation-result-4452064-1721442131/solver-4452064-1721442131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036505 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452064-1721442131.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1041432, runsolver pid=1041429
[startup+0.100068 s]*
/proc/loadavg: 4.19 4.15 4.18 8/318 1041450
/proc/meminfo: memFree=117609968/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=18975048 memory=62424 CPUtime=0.17 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 7095 0 0 0 15 2 0 0 20 0 18 0 196370238 19430449152 15606 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4743762 15606 5649 1 0 551361 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 5776 0 0 0 8 1 0 0 20 0 18 0 196370238 19430449152 15606 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196370241 19430449152 15606 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196370241 19430449152 15606 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62424 KiB
[startup+0.222524 s]*
/proc/loadavg: 4.19 4.15 4.18 7/318 1041450
/proc/meminfo: memFree=117599340/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=18975048 memory=68328 CPUtime=0.39 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 7437 0 0 0 37 2 0 0 20 0 18 0 196370238 19430449152 17082 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4743762 17082 5731 1 0 551610 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=18975048 memory=6876556183782621315 CPUtime=0.2 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 5947 0 0 0 19 1 0 0 20 0 18 0 196370238 19430449152 17082 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=18975048 memory=1774770 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196370241 19430449152 17082 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196370241 19430449152 17082 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68328 KiB
[startup+0.318316 s]*
/proc/loadavg: 4.33 4.19 4.19 7/318 1041450
/proc/meminfo: memFree=117588372/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=18975048 memory=79420 CPUtime=0.56 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 7592 0 0 0 53 3 0 0 20 0 18 0 196370238 19430449152 19855 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4743762 19855 5820 1 0 551722 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=18975048 memory=-7740101692125636963 CPUtime=0.27 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 1077936192 5964 0 0 0 26 1 0 0 20 0 18 0 196370238 19430449152 19855 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196370241 19430449152 19855 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196370241 19430449152 19855 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79420 KiB
[startup+0.706519 s]
/proc/loadavg: 4.33 4.19 4.19 6/319 1041451
/proc/meminfo: memFree=117580364/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19041612 memory=89692 CPUtime=1.28 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 10775 0 0 0 125 3 0 0 20 0 19 0 196370238 19498610688 22423 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4760403 22423 5836 1 0 553991 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19041612 memory=5540 CPUtime=0.58 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 6001 0 0 0 57 1 0 0 20 0 19 0 196370238 19498610688 22423 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 22423 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 22423 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196370273 19498610688 22423 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89692 KiB
[startup+1.50053 s]
/proc/loadavg: 4.33 4.19 4.19 6/319 1041451
/proc/meminfo: memFree=117556892/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19041612 memory=114528 CPUtime=2.62 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 20925 0 0 0 256 6 0 0 20 0 19 0 196370238 19498610688 28632 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4760403 28632 5836 1 0 558606 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19041612 memory=12508 CPUtime=1.35 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 6107 0 0 0 133 2 0 0 20 0 19 0 196370238 19498610688 28632 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 28632 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 28632 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19041612 memory=281266134099216 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196370273 19498610688 28632 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114528 KiB
[startup+3.11365 s]
/proc/loadavg: 4.33 4.19 4.19 5/319 1041451
/proc/meminfo: memFree=117544776/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19041612 memory=123068 CPUtime=4.32 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 22557 0 0 0 426 6 0 0 20 0 19 0 196370238 19498610688 30767 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4760403 30767 5836 1 0 558606 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19041612 memory=0 CPUtime=2.96 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 6724 0 0 0 294 2 0 0 20 0 19 0 196370238 19498610688 30767 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 30767 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 30767 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196370273 19498610688 30767 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123068 KiB
[startup+6.30047 s]
/proc/loadavg: 4.31 4.18 4.19 5/319 1041452
/proc/meminfo: memFree=117533688/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19041612 memory=133972 CPUtime=7.84 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 24226 0 0 0 777 7 0 0 20 0 19 0 196370238 19498610688 33493 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4760403 33493 5836 1 0 558608 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19041612 memory=12508 CPUtime=6.13 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 6803 0 0 0 611 2 0 0 20 0 19 0 196370238 19498610688 33493 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 33493 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19041612 memory=114528 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 33493 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196370273 19498610688 33493 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 7.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133972 KiB
[startup+12.7005 s]
/proc/loadavg: 4.28 4.18 4.18 5/319 1041453
/proc/meminfo: memFree=117490120/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19041612 memory=164824 CPUtime=14.69 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 30901 0 0 0 1460 9 0 0 20 0 19 0 196370238 19498610688 41206 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4760403 41206 5849 1 0 558608 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19041612 memory=0 CPUtime=12.51 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 8014 0 0 0 1248 3 0 0 20 0 19 0 196370238 19498610688 41206 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19041612 memory=-7740101692125636963 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 41206 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19041612 memory=2264 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196370241 19498610688 41206 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196370273 19498610688 41206 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 14.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164824 KiB
[startup+25.5005 s]
/proc/loadavg: 4.31 4.19 4.19 5/320 1041457
/proc/meminfo: memFree=117456468/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=196088 CPUtime=27.62 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 36375 0 0 0 2751 11 0 0 20 0 20 0 196370238 19566772224 49022 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 49022 5881 1 0 558897 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=11420 CPUtime=25.23 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 9236 0 0 0 2520 3 0 0 20 0 20 0 196370238 19566772224 49022 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 49022 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=136020 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 49022 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=281266134046000 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 49022 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196088 KiB
[startup+51.1137 s]
/proc/loadavg: 4.54 4.25 4.21 5/320 1041460
/proc/meminfo: memFree=117325552/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=202264 CPUtime=53.19 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 39253 0 0 0 5307 12 0 0 20 0 20 0 196370238 19566772224 50566 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 50566 5881 1 0 558897 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=202260 CPUtime=50.73 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 10618 0 0 0 5070 3 0 0 20 0 20 0 196370238 19566772224 50566 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=281266134795648 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 50566 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.18 4.30 4.29 5/317 1043554
/proc/meminfo: memFree=105579624/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1239864 CPUtime=3281.17 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 121843 0 0 0 327919 198 0 0 20 0 20 0 196370238 19566772224 309966 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 309966 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=11420 CPUtime=3269.05 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 44147 0 0 0 326881 24 0 0 20 0 20 0 196370238 19566772224 309966 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=26808 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 309966 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1239864 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 2967 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 309966 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 309966 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3281.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1239864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.30 4.29 5/317 1043565
/proc/meminfo: memFree=105566900/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3341.09 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 123334 0 0 0 333908 201 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 313042 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=48488 CPUtime=3328.7 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 44503 0 0 0 332846 24 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=24352 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1239864 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3083 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3341.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.26 4.27 5/317 1043575
/proc/meminfo: memFree=105566684/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3400.98 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 123661 0 0 0 339896 202 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 313042 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3388.57 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 44825 0 0 0 338832 25 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3083 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3400.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.24 4.26 5/317 1043586
/proc/meminfo: memFree=105483652/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3460.88 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 124073 0 0 0 345883 205 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 313042 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=11420 CPUtime=3448.42 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 45070 0 0 0 344817 25 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3088 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3460.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.54 4.33 4.29 6/319 1043601
/proc/meminfo: memFree=105481540/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3520.84 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 125357 0 0 0 351875 209 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 313042 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3508.12 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 45405 0 0 0 350787 25 0 0 20 0 20 0 196370238 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3190 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 313042 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3520.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.30 4.28 4/293 1043645
/proc/meminfo: memFree=106459804/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1254136 CPUtime=3580.73 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 125612 0 0 0 357862 211 0 0 20 0 20 0 196370238 19566772224 313534 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 313534 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=48488 CPUtime=3567.98 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 45653 0 0 0 356773 25 0 0 20 0 20 0 196370238 19566772224 313534 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=-7740101692125636963 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313534 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1254136 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3190 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 313534 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 313534 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1254136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.7 s]
/proc/loadavg: 4.10 4.27 4.27 5/293 1043648
/proc/meminfo: memFree=106450220/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19108176 memory=1256136 CPUtime=3600.09 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 125651 0 0 0 359797 212 0 0 20 0 20 0 196370238 19566772224 314034 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4777044 314034 5912 1 0 563121 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19108176 memory=1252168 CPUtime=3587.33 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) R 1041429 1041432 1036492 0 -1 4194368 45686 0 0 0 358707 26 0 0 20 0 20 0 196370238 19566772224 314034 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19108176 memory=1936 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 314034 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19108176 memory=1241296 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3190 0 0 0 0 0 0 0 20 0 20 0 196370241 19566772224 314034 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041451] ppid=1041429 vsize=19108176 memory=1256136 CPUtime=0 cores=5,7
/proc/1041432/task/1041451/stat : 1041451 (Timer-0) S 1041429 1041432 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196370273 19566772224 314034 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1256136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.82 s]
# the end of solver process 1041432 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.16 s, system=2.14373 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.8 s]
/proc/loadavg: 4.10 4.27 4.27 5/293 1043648
/proc/meminfo: memFree=106450220/131655788 swapFree=131070704/131071996
[pid=1041432] ppid=1041429 vsize=19307868 memory=1256412 CPUtime=3600.28 cores=5,7
/proc/1041432/stat : 1041432 (java) S 1041429 1041432 1036492 0 -1 1077936128 127962 0 0 0 359815 213 0 0 20 0 15 0 196370238 19771256832 314103 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
/proc/1041432/statm: 4826967 314103 5924 1 0 564080 0
[pid=1041432/tid=1041434] ppid=1041429 vsize=19307868 memory=5540 CPUtime=3587.35 cores=5,7
/proc/1041432/task/1041434/stat : 1041434 (java) S 1041429 1041432 1036492 0 -1 1077936192 45915 0 0 0 358709 26 0 0 20 0 15 0 196370238 19771256832 314103 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041443] ppid=1041429 vsize=19307868 memory=16192 CPUtime=0 cores=5,7
/proc/1041432/task/1041443/stat : 1041443 (Finalizer) S 1041429 1041432 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 196370241 19771256832 314103 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
[pid=1041432/tid=1041450] ppid=1041429 vsize=19307868 memory=2264 CPUtime=0 cores=5,7
/proc/1041432/task/1041450/stat : 1041450 (Common-Cleaner) S 1041429 1041432 1036492 0 -1 1077936192 3190 0 0 0 0 0 0 0 20 0 15 0 196370241 19771256832 314103 134679101440 93861571272704 93861571276400 140734856790000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861571284216 93861571285008 93861600571392 140734856799237 140734856799327 140734856799327 140734856806344 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1256412 KiB
Child status: 143
Real time (s): 3601.82
CPU time (s): 3600.3
CPU user time (s): 3598.16
CPU system time (s): 2.14373
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1256412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.16
system time used= 2.14373
maximum resident set size= 1257616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104444
involuntary context switches= 2317
# summary of solver processes directly reported to runsolver:
# pid: 1041432
# total CPU time (s): 3600.3
# total CPU user time (s): 3598.16
# total CPU system time (s): 2.14373
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4163 second user time and 38.2317 second system time
The end