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 (62829 MiB free)
memory of node 1: 64465 MiB (63771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515174-1751232650/watcher-4515174-1751232650 -o /tmp/evaluation-result-4515174-1751232650/solver-4515174-1751232650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31770 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4515174-1751232650.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31818, runsolver pid=31811
[startup+0.100054 s]*
/proc/loadavg: 0.46 0.93 1.46 7/333 31897
/proc/meminfo: memFree=129561080/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=18930384 memory=49884 CPUtime=0.08 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 6232 0 30 0 6 2 0 0 20 0 18 0 38942621 19384713216 12471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4732596 12471 5286 1 0 547334 0
[pid=31818/tid=31822] ppid=31811 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 4993 0 0 0 4 1 0 0 20 0 18 0 38942624 19384713216 12471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942627 19384713216 12471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942627 19384713216 12471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49884 KiB
[startup+0.205644 s]*
/proc/loadavg: 0.46 0.93 1.46 13/333 31897
/proc/meminfo: memFree=129532752/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=18930384 memory=61472 CPUtime=0.26 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 6955 0 30 0 24 2 0 0 20 0 18 0 38942621 19384713216 15368 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4732596 15368 5414 1 0 547858 0
[pid=31818/tid=31822] ppid=31811 vsize=18930384 memory=4026597660 CPUtime=0.14 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 5279 0 0 0 13 1 0 0 20 0 18 0 38942624 19384713216 15368 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942627 19384713216 15368 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942627 19384713216 15368 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61472 KiB
[startup+0.30587 s]*
/proc/loadavg: 0.46 0.93 1.46 10/334 31898
/proc/meminfo: memFree=129434516/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=18930384 memory=94764 CPUtime=0.46 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 8673 0 30 0 43 3 0 0 20 0 18 0 38942621 19384713216 23691 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4732596 23691 5414 1 0 548962 0
[pid=31818/tid=31822] ppid=31811 vsize=18930384 memory=-6000919502821419884 CPUtime=0.23 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 5331 0 0 0 22 1 0 0 20 0 18 0 38942624 19384713216 23691 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942627 19384713216 23691 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942627 19384713216 23691 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 94764 KiB
[startup+0.700194 s]
/proc/loadavg: 0.46 0.93 1.46 10/337 31901
/proc/meminfo: memFree=129278732/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=181248 CPUtime=1.22 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 10115 0 30 0 116 6 0 0 20 0 20 0 38942621 19521036288 45312 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 45312 5446 1 0 550297 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=17536 CPUtime=0.56 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 5412 0 0 0 53 3 0 0 20 0 20 0 38942624 19521036288 45312 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 45312 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 45312 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 45312 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181248 KiB
[startup+1.5002 s]
/proc/loadavg: 0.46 0.93 1.46 8/339 31903
/proc/meminfo: memFree=129136512/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=268692 CPUtime=2.41 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 10724 0 30 0 233 8 0 0 20 0 20 0 38942621 19521036288 67173 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 67173 5446 1 0 550568 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=10752 CPUtime=1.27 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 5461 0 0 0 124 3 0 0 20 0 20 0 38942624 19521036288 67173 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 67173 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 67173 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 67173 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 268692 KiB
[startup+3.10542 s]
/proc/loadavg: 0.74 0.99 1.47 6/341 31906
/proc/meminfo: memFree=128265280/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=545980 CPUtime=4.22 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 11582 0 30 0 409 13 0 0 20 0 20 0 38942621 19521036288 136495 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 136495 5446 1 0 1076947 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=-6000919502838197100 CPUtime=2.63 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 5475 0 0 0 260 3 0 0 20 0 20 0 38942624 19521036288 136495 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 136495 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 136495 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 136495 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 545980 KiB
[startup+6.30016 s]
/proc/loadavg: 0.74 0.99 1.47 7/341 31906
/proc/meminfo: memFree=127295124/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=704720 CPUtime=7.43 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 13389 0 30 0 727 16 0 0 20 0 20 0 38942621 19521036288 176180 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 176180 5446 1 0 1076947 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=0 CPUtime=5.82 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 5958 0 0 0 575 7 0 0 20 0 20 0 38942624 19521036288 176180 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 176180 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=268692 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 176180 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=211309297979 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 176180 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 704720 KiB
[startup+12.7002 s]
/proc/loadavg: 1.33 1.10 1.51 6/341 31906
/proc/meminfo: memFree=125749148/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=1257668 CPUtime=14.26 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 15236 0 30 0 1399 27 0 0 20 0 20 0 38942621 19521036288 314417 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 314417 5446 1 0 1076958 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=268692 CPUtime=11.73 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 6358 0 0 0 1166 7 0 0 20 0 20 0 38942624 19521036288 314417 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=1091776 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 314417 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 314417 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 314417 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1257668 KiB
[startup+25.5002 s]
/proc/loadavg: 1.74 1.20 1.53 6/341 31906
/proc/meminfo: memFree=122016420/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=2302060 CPUtime=27.86 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 23585 0 30 0 2737 49 0 0 20 0 20 0 38942621 19521036288 575515 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 575515 5446 1 0 1286541 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=1091776 CPUtime=23.75 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 8272 0 0 0 2363 12 0 0 20 0 20 0 38942624 19521036288 575515 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 575515 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=2302060 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 575515 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=2107484 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 575515 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2302060 KiB
[startup+51.1056 s]
/proc/loadavg: 2.63 1.45 1.61 6/341 31906
/proc/meminfo: memFree=116342928/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=3961884 CPUtime=57.13 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 40081 0 30 0 5628 85 0 0 20 0 20 0 38942621 19521036288 990471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 990471 5478 1 0 1675213 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=3807764 CPUtime=47.35 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 9802 0 0 0 4719 16 0 0 20 0 20 0 38942624 19521036288 990471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=-6000919502838197100 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 990471 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284288 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2396 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=16284288 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3114.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.32 4.38 4.25 6/341 32064
/proc/meminfo: memFree=77785256/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284288 CPUtime=3176.01 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 496071 0 31 0 317071 530 0 0 20 0 20 0 38942621 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071072 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=16284288 CPUtime=2713.81 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 209464 0 0 0 271274 107 0 0 20 0 20 0 38942624 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284288 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284288 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2431 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071072 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3176.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284288 KiB
[startup+2922.3 s]
/proc/loadavg: 4.71 4.48 4.30 6/340 32066
/proc/meminfo: memFree=77785500/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284544 CPUtime=3252.26 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 506762 0 31 0 324692 534 0 0 20 0 20 0 38942621 19521036288 4071136 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071136 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=4380 CPUtime=2756.97 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 214547 0 0 0 275588 109 0 0 20 0 20 0 38942624 19521036288 4071136 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284544 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071136 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=31041 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2431 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071136 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=16284544 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071136 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3252.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284544 KiB
[startup+2982.3 s]
/proc/loadavg: 4.54 4.48 4.31 6/341 32071
/proc/meminfo: memFree=77783856/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284400 CPUtime=3333.7 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 514688 0 31 0 332827 543 0 0 20 0 20 0 38942621 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071100 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=17536 CPUtime=2806.31 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 220228 0 0 0 280521 110 0 0 20 0 20 0 38942624 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2433 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284400 KiB
[startup+3042.3 s]
/proc/loadavg: 4.38 4.44 4.30 8/339 32073
/proc/meminfo: memFree=77785056/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284400 CPUtime=3404.03 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 520897 0 31 0 339852 551 0 0 20 0 20 0 38942621 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071100 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=16284400 CPUtime=2864.44 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 223328 0 0 0 286333 111 0 0 20 0 20 0 38942624 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2457 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3404.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.45 4.46 4.32 6/339 32075
/proc/meminfo: memFree=77785112/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284400 CPUtime=3477.19 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 528431 0 31 0 347162 557 0 0 20 0 20 0 38942621 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071100 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=16284400 CPUtime=2922.56 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 228647 0 0 0 292145 111 0 0 20 0 20 0 38942624 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2495 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071100 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3477.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.62 4.54 4.36 6/340 32078
/proc/meminfo: memFree=77785024/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284528 CPUtime=3566.57 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 538437 0 31 0 356087 570 0 0 20 0 20 0 38942621 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071132 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=16284400 CPUtime=2971.25 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 233187 0 0 0 297012 113 0 0 20 0 20 0 38942624 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2555 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=16284528 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3566.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3195.3 s]
/proc/loadavg: 4.40 4.49 4.35 6/340 32079
/proc/meminfo: memFree=77785132/131249988 swapFree=33010684/33010684
[pid=31818] ppid=31811 vsize=19063512 memory=16284528 CPUtime=3600.05 cores=4,6
/proc/31818/stat : 31818 (java) S 31811 31818 31759 0 -1 4194304 541510 0 31 0 359433 572 0 0 20 0 20 0 38942621 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
/proc/31818/statm: 4765878 4071132 5510 1 0 4083775 0
[pid=31818/tid=31822] ppid=31811 vsize=19063512 memory=16284400 CPUtime=3003.59 cores=4,6
/proc/31818/task/31822/stat : 31822 (java) R 31811 31818 31759 0 -1 4194368 235219 0 0 0 300246 113 0 0 20 0 20 0 38942624 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31847] ppid=31811 vsize=19063512 memory=16284400 CPUtime=0 cores=4,6
/proc/31818/task/31847/stat : 31847 (Finalizer) S 31811 31818 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31862] ppid=31811 vsize=19063512 memory=16284528 CPUtime=0 cores=4,6
/proc/31818/task/31862/stat : 31862 (Common-Cleaner) S 31811 31818 31759 0 -1 4194368 2614 0 0 0 0 0 0 0 20 0 20 0 38942627 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
[pid=31818/tid=31900] ppid=31811 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/31818/task/31900/stat : 31900 (Timer-0) S 31811 31818 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942664 19521036288 4071132 18446744073709551615 94780709556224 94780709559920 140728910920976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94780709567736 94780709568528 94780710600704 140728910924161 140728910924262 140728910924262 140728910929864 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3195.44 s]
# the end of solver process 31818 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.44 s, system=5.76901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3195.41 s]*
/proc/loadavg: 4.40 4.49 4.35 5/322 32082
/proc/meminfo: memFree=89304432/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3195.44
CPU time (s): 3600.21
CPU user time (s): 3594.44
CPU system time (s): 5.76901
CPU usage (%): 112.667
Max. virtual memory (cumulated for all children) (KiB): 19069672
Max. memory (cumulated for all children) (KiB): 16284544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.44
system time used= 5.76901
maximum resident set size= 16285296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544513
page faults= 31
swaps= 0
block input operations= 0
block output operations= 4376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106900
involuntary context switches= 37088
# summary of solver processes directly reported to runsolver:
# pid: 31818
# total CPU time (s): 3600.21
# total CPU user time (s): 3594.44
# total CPU system time (s): 5.76901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95805 second user time and 14.7758 second system time
The end