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: 63931 MiB (48644 MiB free)
memory of node 1: 64510 MiB (54854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456089-1721718396/watcher-4456089-1721718396 -o /tmp/evaluation-result-4456089-1721718396/solver-4456089-1721718396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721718396-86516 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456089-1721718396.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86553, runsolver pid=86546
[startup+0.100067 s]*
/proc/loadavg: 1.44 1.92 2.03 5/283 86604
/proc/meminfo: memFree=105896536/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=18175400 memory=31896 CPUtime=0.01 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 3226 0 39 0 0 1 0 0 20 0 7 0 8369924 18611609600 7974 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16784588 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4543850 7974 3614 1 0 542675 0
[pid=86553/tid=86583] ppid=86546 vsize=18175400 memory=4026531971 CPUtime=0.01 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) D 86546 86553 86503 0 -1 4194368 2656 0 23 0 0 1 0 0 20 0 7 0 8369928 18611609600 7974 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 4 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 31896 KiB
[startup+0.206149 s]*
/proc/loadavg: 1.44 1.92 2.03 8/328 86649
/proc/meminfo: memFree=105796704/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=18975048 memory=60304 CPUtime=0.09 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 6715 0 64 0 7 2 0 0 20 0 18 0 8369924 19430449152 15076 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4743762 15076 5565 1 0 548910 0
[pid=86553/tid=86583] ppid=86546 vsize=18975048 memory=7885630755128410243 CPUtime=0.07 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 5588 0 39 0 5 2 0 0 20 0 18 0 8369928 19430449152 15076 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=18975048 memory=583 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8369940 19430449152 15076 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 8369941 19430449152 15076 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60304 KiB
[startup+0.309944 s]*
/proc/loadavg: 1.44 1.92 2.03 15/328 86649
/proc/meminfo: memFree=105754148/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=18975048 memory=69996 CPUtime=0.28 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 7676 0 65 0 25 3 0 0 20 0 18 0 8369924 19430449152 17499 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4743762 17499 5588 1 0 549644 0
[pid=86553/tid=86583] ppid=86546 vsize=18975048 memory=-6000919502737729127 CPUtime=0.15 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 5985 0 40 0 13 2 0 0 20 0 18 0 8369928 19430449152 17499 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=18975048 memory=-4421386500593116511 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8369940 19430449152 17499 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 8369941 19430449152 17499 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69996 KiB
[startup+0.700344 s]
/proc/loadavg: 1.44 1.92 2.03 12/332 86653
/proc/meminfo: memFree=105515308/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=173904 CPUtime=1.02 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 11828 0 65 0 96 6 0 0 20 0 20 0 8369924 19566772224 43476 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 43476 5785 1 0 552584 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=34848 CPUtime=0.48 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) S 86546 86553 86503 0 -1 1077936192 6202 0 40 0 44 4 0 0 20 0 20 0 8369928 19566772224 43476 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 43476 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 43476 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 43476 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173904 KiB
[startup+1.50095 s]
/proc/loadavg: 1.44 1.92 2.03 12/336 86657
/proc/meminfo: memFree=105308404/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=180512 CPUtime=2.59 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 17580 0 65 0 252 7 0 0 20 0 20 0 8369924 19566772224 45128 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 45128 5787 1 0 554019 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=0 CPUtime=1.24 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 6420 0 40 0 120 4 0 0 20 0 20 0 8369928 19566772224 45128 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 45128 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 45128 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 45128 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180512 KiB
[startup+3.10695 s]
/proc/loadavg: 2.13 2.05 2.07 8/336 86657
/proc/meminfo: memFree=105068348/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=203808 CPUtime=5.39 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 20546 0 65 0 531 8 0 0 20 0 20 0 8369924 19566772224 50952 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 50952 5787 1 0 554061 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=0 CPUtime=2.8 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 7179 0 40 0 276 4 0 0 20 0 20 0 8369928 19566772224 50952 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 50952 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=-6000919481313224295 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 50952 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=14411527360874681 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 50952 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203808 KiB
[startup+6.30096 s]
/proc/loadavg: 2.13 2.05 2.07 6/336 86658
/proc/meminfo: memFree=104533172/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=441048 CPUtime=9.1 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 22845 0 65 0 897 13 0 0 20 0 20 0 8369924 19566772224 110262 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 110262 5807 1 0 554555 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=0 CPUtime=5.93 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 7404 0 40 0 584 9 0 0 20 0 20 0 8369928 19566772224 110262 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=7450431953933198957 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 110262 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 110262 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 110262 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 441048 KiB
[startup+12.701 s]
/proc/loadavg: 2.28 2.08 2.08 6/336 86658
/proc/meminfo: memFree=102864164/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=696172 CPUtime=15.55 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 26225 0 65 0 1536 19 0 0 20 0 20 0 8369924 19566772224 174043 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 174043 5807 1 0 661067 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=164 CPUtime=12.11 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 8684 0 40 0 1199 12 0 0 20 0 20 0 8369928 19566772224 174043 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 174043 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 174043 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=488152 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 174043 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 15.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 696172 KiB
[startup+25.5009 s]
/proc/loadavg: 2.66 2.18 2.11 8/336 86660
/proc/meminfo: memFree=100778120/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=1421348 CPUtime=28.64 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 35626 0 65 0 2828 36 0 0 20 0 20 0 8369924 19566772224 355337 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 355337 5807 1 0 661894 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=8187704045996132563 CPUtime=24.6 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 10911 0 40 0 2434 26 0 0 20 0 20 0 8369928 19566772224 355337 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=1349692 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 355337 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 355337 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 355337 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 28.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1421348 KiB
[startup+51.1061 s]
/proc/loadavg: 3.23 2.36 2.18 6/336 86665
/proc/meminfo: memFree=99561352/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=1745396 CPUtime=54.3 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 39891 0 65 0 5386 44 0 0 20 0 20 0 8369924 19566772224 436349 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 436349 5807 1 0 661896 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=1745372 CPUtime=49.87 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 13118 0 40 0 4957 30 0 0 20 0 20 0 8369928 19566772224 436349 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=-6000919481313224295 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 436349 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=1620444 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 436349 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 436349 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 54.3 s
################
# More data... #
################
/proc/meminfo: memFree=96354988/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605616 CPUtime=3176.35 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 308069 0 65 0 317419 216 0 0 20 0 20 0 8369924 19566772224 651404 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651404 5820 1 0 665074 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=12348 CPUtime=3136.31 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 121508 0 40 0 313580 51 0 0 20 0 20 0 8369928 19566772224 651404 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651404 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605616 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651404 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=-6000919481313224295 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651404 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3176.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.26 4.19 6/335 88428
/proc/meminfo: memFree=96354076/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3237.32 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 317144 0 65 0 323513 219 0 0 20 0 20 0 8369924 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651406 5820 1 0 665076 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=12348 CPUtime=3195.81 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 123581 0 40 0 319530 51 0 0 20 0 20 0 8369928 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605624 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3239 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=34848 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3237.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.29 4.30 4.21 6/333 88451
/proc/meminfo: memFree=96352816/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3297.34 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 320559 0 65 0 329513 221 0 0 20 0 20 0 8369924 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651406 5820 1 0 665076 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3255.21 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 125556 0 40 0 325470 51 0 0 20 0 20 0 8369928 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=34848 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605624 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3329 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3297.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.29 4.21 7/333 88462
/proc/meminfo: memFree=96352108/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3357.46 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 321236 0 65 0 335522 224 0 0 20 0 20 0 8369924 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651406 5820 1 0 665076 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3314.78 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 126121 0 40 0 331426 52 0 0 20 0 20 0 8369928 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=2605624 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3329 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=2605624 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3357.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605624 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.29 4.21 6/333 88473
/proc/meminfo: memFree=96351716/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3417.43 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 324727 0 65 0 341516 227 0 0 20 0 20 0 8369924 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651406 5820 1 0 665076 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3374.11 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 127910 0 40 0 337359 52 0 0 20 0 20 0 8369928 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605624 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3406 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=2605624 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651406 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3417.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.27 4.21 6/332 88483
/proc/meminfo: memFree=96350804/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605672 CPUtime=3478.51 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 332008 0 65 0 347620 231 0 0 20 0 20 0 8369924 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651418 5820 1 0 665088 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=2605624 CPUtime=3433.63 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 129146 0 40 0 343311 52 0 0 20 0 20 0 8369928 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605664 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3406 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=39160 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3478.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.31 4.22 6/332 88495
/proc/meminfo: memFree=96349972/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605672 CPUtime=3540.44 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 342033 0 65 0 353808 236 0 0 20 0 20 0 8369924 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651418 5820 1 0 665088 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=5552 CPUtime=3493.04 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 131792 0 40 0 349252 52 0 0 20 0 20 0 8369928 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605672 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3486 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651418 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3540.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3581.8 s]
/proc/loadavg: 4.25 4.28 4.22 6/329 88640
/proc/meminfo: memFree=92661464/131524600 swapFree=131071996/131071996
[pid=86553] ppid=86546 vsize=19108176 memory=2605708 CPUtime=3600 cores=5,7
/proc/86553/stat : 86553 (java) S 86546 86553 86503 0 -1 1077936128 344791 0 65 0 359762 238 0 0 20 0 20 0 8369924 19566772224 651427 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
/proc/86553/statm: 4777044 651427 5820 1 0 665098 0
[pid=86553/tid=86583] ppid=86546 vsize=19108176 memory=33188 CPUtime=3552.19 cores=5,7
/proc/86553/task/86583/stat : 86583 (java) R 86546 86553 86503 0 -1 4194368 132340 0 40 0 355167 52 0 0 20 0 20 0 8369928 19566772224 651427 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86620] ppid=86546 vsize=19108176 memory=21680 CPUtime=0 cores=5,7
/proc/86553/task/86620/stat : 86620 (Finalizer) S 86546 86553 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 651427 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86647] ppid=86546 vsize=19108176 memory=2605708 CPUtime=0 cores=5,7
/proc/86553/task/86647/stat : 86647 (Common-Cleaner) S 86546 86553 86503 0 -1 1077936192 3486 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 651427 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
[pid=86553/tid=86650] ppid=86546 vsize=19108176 memory=27228 CPUtime=0 cores=5,7
/proc/86553/task/86650/stat : 86650 (Timer-0) S 86546 86553 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369965 19566772224 651427 134679101440 94206782062592 94206782066288 140723718839328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206782074104 94206782074896 94206815068160 140723718841327 140723718841440 140723718841440 140723718848456 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2605708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3581.88 s]
# the end of solver process 86553 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.74 s, system=2.39911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3581.88
CPU time (s): 3600.14
CPU user time (s): 3597.74
CPU system time (s): 2.39911
CPU usage (%): 100.51
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2616600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.74
system time used= 2.39911
maximum resident set size= 2617212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346456
page faults= 65
swaps= 0
block input operations= 11136
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118967
involuntary context switches= 8197
# summary of solver processes directly reported to runsolver:
# pid: 86553
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.74
# total CPU system time (s): 2.39911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24868 second user time and 20.2623 second system time
The end