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 (62248 MiB free)
memory of node 1: 64465 MiB (61743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508004-1751506741/watcher-4508004-1751506741 -o /tmp/evaluation-result-4508004-1751506741/solver-4508004-1751506741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751506741-70407 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4508004-1751506741.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=70458, runsolver pid=70446
[startup+0.100059 s]*
/proc/loadavg: 1.00 1.14 1.91 11/334 70531
/proc/meminfo: memFree=126856336/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=18930384 memory=55188 CPUtime=0.11 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 6386 0 183 0 9 2 0 0 20 0 18 0 66352543 19384713216 13797 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4732596 13797 5285 1 0 547563 0
[pid=70458/tid=70481] ppid=70446 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 4919 0 162 0 5 1 0 0 20 0 18 0 66352545 19384713216 13797 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352547 19384713216 13797 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66352548 19384713216 13797 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55188 KiB
[startup+0.205913 s]*
/proc/loadavg: 1.00 1.14 1.91 12/334 70531
/proc/meminfo: memFree=126807032/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=18930384 memory=66252 CPUtime=0.3 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 7010 0 183 0 28 2 0 0 20 0 18 0 66352543 19384713216 16563 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4732596 16563 5381 1 0 547982 0
[pid=70458/tid=70481] ppid=70446 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 5260 0 162 0 15 1 0 0 20 0 18 0 66352545 19384713216 16563 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352547 19384713216 16563 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66352548 19384713216 16563 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66252 KiB
[startup+0.305915 s]*
/proc/loadavg: 1.00 1.14 1.91 9/334 70531
/proc/meminfo: memFree=126629604/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=18930384 memory=114172 CPUtime=0.5 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 8714 0 183 0 46 4 0 0 20 0 18 0 66352543 19384713216 28543 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4732596 28543 5381 1 0 549167 0
[pid=70458/tid=70481] ppid=70446 vsize=18930384 memory=-6000919477018324072 CPUtime=0.23 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 5310 0 162 0 21 2 0 0 20 0 18 0 66352545 19384713216 28543 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352547 19384713216 28543 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66352548 19384713216 28543 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 114172 KiB
[startup+0.700222 s]
/proc/loadavg: 1.00 1.14 1.91 10/342 70539
/proc/meminfo: memFree=126416452/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=182352 CPUtime=1.26 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 16464 0 183 0 120 6 0 0 20 0 20 0 66352543 19521036288 45588 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 45588 5445 1 0 554599 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=18688 CPUtime=0.51 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 5448 0 162 0 48 3 0 0 20 0 20 0 66352545 19521036288 45588 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 45588 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 45588 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 45588 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182352 KiB
[startup+1.50024 s]
/proc/loadavg: 1.00 1.14 1.91 9/342 70539
/proc/meminfo: memFree=126336748/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=195720 CPUtime=2.85 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 16719 0 183 0 277 8 0 0 20 0 20 0 66352543 19521036288 48930 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 48930 5477 1 0 554612 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=0 CPUtime=1.23 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 5457 0 162 0 119 4 0 0 20 0 20 0 66352545 19521036288 48930 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 48930 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 48930 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 48930 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195720 KiB
[startup+3.10591 s]
/proc/loadavg: 1.80 1.30 1.95 7/342 70539
/proc/meminfo: memFree=124219208/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=749960 CPUtime=5.69 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 17813 0 183 0 550 19 0 0 20 0 20 0 66352543 19521036288 187490 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 187490 5477 1 0 811545 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=10752 CPUtime=2.73 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 5708 0 162 0 259 14 0 0 20 0 20 0 66352545 19521036288 187490 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=-6000919481313291368 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 187490 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 187490 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 187490 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 749960 KiB
[startup+6.30021 s]
/proc/loadavg: 1.80 1.30 1.95 5/342 70539
/proc/meminfo: memFree=120613924/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=1326888 CPUtime=9.83 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 20312 0 183 0 952 31 0 0 20 0 20 0 66352543 19521036288 331722 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 331722 5477 1 0 812179 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=0 CPUtime=5.85 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 6316 0 162 0 560 25 0 0 20 0 20 0 66352545 19521036288 331722 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 331722 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 331722 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=228676 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 331722 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1326888 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.35 1.97 6/341 70539
/proc/meminfo: memFree=119597700/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=1992872 CPUtime=16.39 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 26154 0 183 0 1593 46 0 0 20 0 20 0 66352543 19521036288 498218 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 498218 5509 1 0 812182 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=228676 CPUtime=12.12 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 8224 0 162 0 1175 37 0 0 20 0 20 0 66352545 19521036288 498218 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=1972364 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 498218 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=1966220 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 498218 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 498218 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1992872 KiB
[startup+25.5002 s]
/proc/loadavg: 2.49 1.50 2.00 5/341 70539
/proc/meminfo: memFree=118967460/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2010672 CPUtime=30.61 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 37675 0 183 0 3012 49 0 0 20 0 20 0 66352543 19521036288 502668 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 502668 5509 1 0 813814 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=1972364 CPUtime=24.64 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 10168 0 162 0 2426 38 0 0 20 0 20 0 66352545 19521036288 502668 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=1997364 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 502668 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 502668 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2021404 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 502668 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 30.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2010672 KiB
[startup+51.106 s]
/proc/loadavg: 3.21 1.75 2.07 5/342 70541
/proc/meminfo: memFree=118787076/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2057884 CPUtime=56.72 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 43028 0 183 0 5621 51 0 0 20 0 20 0 66352543 19521036288 514471 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 514471 5509 1 0 813814 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=2047644 CPUtime=49.64 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 12883 0 162 0 4925 39 0 0 20 0 20 0 66352545 19521036288 514471 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=2033288 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 514471 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=-6000919481313291368 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=115744332/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2869564 CPUtime=3241.64 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 115292 0 183 0 323988 176 0 0 20 0 20 0 66352543 19521036288 717391 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 717391 5541 1 0 814292 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=-6000919481313291368 CPUtime=3192.5 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 55777 0 162 0 319198 52 0 0 20 0 20 0 66352545 19521036288 717391 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 717391 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=2863372 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1751 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 717391 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 717391 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3241.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2869564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.08 5/340 70711
/proc/meminfo: memFree=115730312/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2879820 CPUtime=3301.73 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 115501 0 183 0 329996 177 0 0 20 0 20 0 66352543 19521036288 719955 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 719955 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=2877768 CPUtime=3252.07 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 55905 0 162 0 325155 52 0 0 20 0 20 0 66352545 19521036288 719955 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=2875720 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 719955 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=2873672 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1773 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 719955 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=17248 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 719955 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3301.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.81 4.29 4.14 5/340 70713
/proc/meminfo: memFree=115703908/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2890076 CPUtime=3362.39 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 115984 0 183 0 336059 180 0 0 20 0 20 0 66352543 19521036288 722519 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 722519 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=5632 CPUtime=3311.42 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 56207 0 162 0 331089 53 0 0 20 0 20 0 66352545 19521036288 722519 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=2888028 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 722519 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1773 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 722519 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2888028 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 722519 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3362.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2890076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.26 4.14 5/340 70715
/proc/meminfo: memFree=115669208/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2904412 CPUtime=3422.79 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 118223 0 183 0 342096 183 0 0 20 0 20 0 66352543 19521036288 726103 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 726103 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=10752 CPUtime=3370.91 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 57742 0 162 0 337038 53 0 0 20 0 20 0 66352545 19521036288 726103 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 726103 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=-6000919481313291368 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1773 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 726103 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2902364 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 726103 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3422.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2904412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.92 4.43 4.20 5/340 70717
/proc/meminfo: memFree=115647708/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2910556 CPUtime=3482.84 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 120838 0 183 0 348099 185 0 0 20 0 20 0 66352543 19521036288 727639 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 727639 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=14976 CPUtime=3430.47 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 59379 0 162 0 342994 53 0 0 20 0 20 0 66352545 19521036288 727639 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=2904412 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 727639 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=2908508 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 727639 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2908508 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 727639 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3482.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2910556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.35 4.19 5/339 70723
/proc/meminfo: memFree=115627340/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2916700 CPUtime=3542.98 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 120933 0 183 0 354111 187 0 0 20 0 20 0 66352543 19521036288 729175 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 729175 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=2904412 CPUtime=3490.05 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 59415 0 162 0 348952 53 0 0 20 0 20 0 66352545 19521036288 729175 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=2890076 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 729175 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=2894172 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 729175 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2914652 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 729175 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3542.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2916700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3579.3 s]
/proc/loadavg: 4.44 4.36 4.20 6/338 70792
/proc/meminfo: memFree=117950776/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2922844 CPUtime=3600.09 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 121940 0 183 0 359819 190 0 0 20 0 20 0 66352543 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 730711 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=2904412 CPUtime=3546.6 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 60391 0 162 0 354606 54 0 0 20 0 20 0 66352545 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2922844 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2922844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3579.39 s]
# the end of solver process 70458 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.33 s, system=1.91544 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3579.3 s]
/proc/loadavg: 4.44 4.36 4.20 6/338 70792
/proc/meminfo: memFree=117950776/131249996 swapFree=33010160/33010684
[pid=70458] ppid=70446 vsize=19063512 memory=2922844 CPUtime=3600.09 cores=5,7
/proc/70458/stat : 70458 (java) S 70446 70458 70394 0 -1 4194304 121940 0 183 0 359819 190 0 0 20 0 20 0 66352543 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
/proc/70458/statm: 4765878 730711 5541 1 0 814295 0
[pid=70458/tid=70481] ppid=70446 vsize=19063512 memory=2904412 CPUtime=3546.6 cores=5,7
/proc/70458/task/70481/stat : 70481 (java) R 70446 70458 70394 0 -1 4194368 60391 0 162 0 354606 54 0 0 20 0 20 0 66352545 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70517] ppid=70446 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/70458/task/70517/stat : 70517 (Finalizer) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70531] ppid=70446 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/70458/task/70531/stat : 70531 (Common-Cleaner) S 70446 70458 70394 0 -1 4194368 1858 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
[pid=70458/tid=70538] ppid=70446 vsize=19063512 memory=2922844 CPUtime=0 cores=5,7
/proc/70458/task/70538/stat : 70538 (Timer-0) S 70446 70458 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 730711 18446744073709551615 94140801130496 94140801134192 140728946108576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140801142008 94140801142800 94140833357824 140728946116990 140728946117094 140728946117094 140728946122696 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2922844 KiB
Child status: 143
Real time (s): 3579.39
CPU time (s): 3600.25
CPU user time (s): 3598.33
CPU system time (s): 1.91544
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (KiB): 19067408
Max. memory (cumulated for all children) (KiB): 2922844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.91544
maximum resident set size= 2923740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124296
page faults= 183
swaps= 0
block input operations= 0
block output operations= 14504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136411
involuntary context switches= 10543
# summary of solver processes directly reported to runsolver:
# pid: 70458
# total CPU time (s): 3600.25
# total CPU user time (s): 3598.33
# total CPU system time (s): 1.91544
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38601 second user time and 18.0535 second system time
The end