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: 63837 MiB (63108 MiB free)
memory of node 1: 64465 MiB (59306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524750-1751616394/watcher-4524750-1751616394 -o /tmp/evaluation-result-4524750-1751616394/solver-4524750-1751616394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96858 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524750-1751616394.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=96911, runsolver pid=96898
[startup+0.100079 s]*
/proc/loadavg: 0.85 1.11 1.34 11/315 96972
/proc/meminfo: memFree=125267852/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=18929368 memory=43988 CPUtime=0.08 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 5331 0 34 0 4 4 0 0 20 0 18 0 77318554 19383672832 10997 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4732342 10997 4607 1 0 546625 0
[pid=96911/tid=96919] ppid=96898 vsize=18929456 memory=4026532124 CPUtime=0.05 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) D 96898 96911 96846 0 -1 4194368 4532 0 34 0 3 2 0 0 20 0 18 0 77318558 19383762944 11029 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=18929456 memory=17127 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19383762944 11029 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=18929456 memory=57394570986489 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19383762944 11029 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18929368 KiB
Current children cumulated memory: 43988 KiB
[startup+0.215422 s]*
/proc/loadavg: 0.85 1.11 1.34 10/326 96983
/proc/meminfo: memFree=125242896/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=18930384 memory=51432 CPUtime=0.24 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 6038 0 34 0 19 5 0 0 20 0 18 0 77318554 19384713216 12858 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4732596 12858 5311 1 0 547171 0
[pid=96911/tid=96919] ppid=96898 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 4887 0 34 0 12 3 0 0 20 0 18 0 77318558 19384713216 12858 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=18930384 memory=17127 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 12858 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19384713216 12858 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51432 KiB
[startup+0.315002 s]*
/proc/loadavg: 0.85 1.11 1.34 11/326 96983
/proc/meminfo: memFree=125213344/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=18930384 memory=57752 CPUtime=0.39 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 6613 0 34 0 34 5 0 0 20 0 18 0 77318554 19384713216 14438 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4732596 14438 5311 1 0 547660 0
[pid=96911/tid=96919] ppid=96898 vsize=18930384 memory=-6000919468344239718 CPUtime=0.24 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 5096 0 34 0 21 3 0 0 20 0 18 0 77318558 19384713216 14438 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 14438 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19384713216 14438 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57752 KiB
[startup+0.700326 s]
/proc/loadavg: 0.85 1.11 1.34 15/326 96983
/proc/meminfo: memFree=125200428/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=18930384 memory=72632 CPUtime=1.07 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 7648 0 34 0 100 7 0 0 20 0 18 0 77318554 19384713216 18158 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4732596 18158 5439 1 0 548445 0
[pid=96911/tid=96919] ppid=96898 vsize=18930384 memory=13952 CPUtime=0.54 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 5402 0 34 0 50 4 0 0 20 0 18 0 77318558 19384713216 18158 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=18930384 memory=11008 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 18158 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=18930384 memory=3328 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19384713216 18158 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72632 KiB
[startup+1.50033 s]
/proc/loadavg: 0.85 1.11 1.34 11/330 96987
/proc/meminfo: memFree=125069868/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=166820 CPUtime=2.62 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 13771 0 34 0 252 10 0 0 20 0 20 0 77318554 19521036288 41705 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 41705 5535 1 0 550568 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=3328 CPUtime=1.21 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 6224 0 34 0 114 7 0 0 20 0 20 0 77318558 19521036288 41705 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 41705 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 41705 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 41705 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166820 KiB
[startup+3.10571 s]
/proc/loadavg: 0.85 1.11 1.34 9/334 96992
/proc/meminfo: memFree=124463584/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=312104 CPUtime=5.73 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 18984 0 34 0 558 15 0 0 20 0 20 0 77318554 19521036288 78026 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 78026 5535 1 0 796618 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=14468 CPUtime=2.64 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 6793 0 34 0 255 9 0 0 20 0 20 0 77318558 19521036288 78026 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 78026 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 78026 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 78026 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 312104 KiB
[startup+6.30038 s]
/proc/loadavg: 1.26 1.20 1.36 6/334 96992
/proc/meminfo: memFree=124083468/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=395816 CPUtime=9.45 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 19562 0 34 0 927 18 0 0 20 0 20 0 77318554 19521036288 98954 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 98954 5535 1 0 796628 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=0 CPUtime=5.81 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 6836 0 34 0 570 11 0 0 20 0 20 0 77318558 19521036288 98954 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 98954 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 98954 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=167204 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 98954 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 9.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 395816 KiB
[startup+12.7004 s]
/proc/loadavg: 1.56 1.26 1.38 7/334 96992
/proc/meminfo: memFree=122554788/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=485280 CPUtime=16.5 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 24405 0 34 0 1630 20 0 0 20 0 20 0 77318554 19521036288 121320 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 121320 5535 1 0 796630 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=167204 CPUtime=12.03 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 7370 0 34 0 1192 11 0 0 20 0 20 0 77318558 19521036288 121320 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=481180 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 121320 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 121320 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 121320 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 16.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 485280 KiB
[startup+25.5005 s]
/proc/loadavg: 2.25 1.43 1.44 7/334 96992
/proc/meminfo: memFree=119645316/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=1281640 CPUtime=29.55 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 28028 0 34 0 2917 38 0 0 20 0 20 0 77318554 19521036288 320410 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 320410 5535 1 0 934489 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=481180 CPUtime=24.51 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 9088 0 34 0 2426 25 0 0 20 0 20 0 77318558 19521036288 320410 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 320410 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 320410 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=894568 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 320410 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 29.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1281640 KiB
[startup+51.1133 s]
/proc/loadavg: 2.85 1.64 1.50 7/334 96992
/proc/meminfo: memFree=115497532/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=1614108 CPUtime=56.26 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 31566 0 34 0 5579 47 0 0 20 0 20 0 77318554 19521036288 403527 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 403527 5535 1 0 935625 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=1616860 CPUtime=49.54 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 9380 0 34 0 4926 28 0 0 20 0 20 0 77318558 19521036288 403527 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=485280 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 403527 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 403527 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=1449732 CPUtime=0 cores=1,3
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.79 4.86 4.57 6/327 97397
/proc/meminfo: memFree=109760372/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5247172 CPUtime=3216.99 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 163156 0 34 0 321178 521 0 0 20 0 20 0 77318554 19521036288 1311793 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1311793 5535 1 0 1326601 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=5247172 CPUtime=2949.73 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 62174 0 34 0 294890 83 0 0 20 0 20 0 77318558 19521036288 1311793 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=5247172 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1311793 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=5247172 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1311793 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1311793 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3216.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5247172 KiB
[startup+3042.3 s]
/proc/loadavg: 4.76 4.83 4.58 6/327 97399
/proc/meminfo: memFree=109583224/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5397356 CPUtime=3303.96 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 164390 0 34 0 329844 552 0 0 20 0 20 0 77318554 19521036288 1349339 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1349339 5535 1 0 1364191 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=5288988 CPUtime=3008.41 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 62437 0 34 0 300755 86 0 0 20 0 20 0 77318558 19521036288 1349339 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=5372012 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1349339 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1499 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1349339 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=5372268 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1349339 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3303.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5397356 KiB
[startup+3102.3 s]
/proc/loadavg: 4.79 4.83 4.60 6/327 97401
/proc/meminfo: memFree=109276412/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5566216 CPUtime=3388.25 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 169927 0 34 0 338245 580 0 0 20 0 20 0 77318554 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1391554 5535 1 0 1405970 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=11008 CPUtime=3067.33 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 64024 0 34 0 306644 89 0 0 20 0 20 0 77318558 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=5288860 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=5547472 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1499 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=5564168 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3388.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5566216 KiB
[startup+3162.3 s]
/proc/loadavg: 4.49 4.72 4.57 6/326 97403
/proc/meminfo: memFree=108557080/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5566216 CPUtime=3454.93 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 173023 0 34 0 344904 589 0 0 20 0 20 0 77318554 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1391554 5535 1 0 1405970 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=5288860 CPUtime=3127.17 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 65240 0 34 0 312628 89 0 0 20 0 20 0 77318558 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=5566216 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=5566216 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1522 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=5566216 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3454.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5566216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.62 4.54 6/326 97405
/proc/meminfo: memFree=108220712/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5566216 CPUtime=3517.07 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 173472 0 34 0 351112 595 0 0 20 0 20 0 77318554 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1391554 5535 1 0 1405970 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=5566216 CPUtime=3187.04 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 65528 0 34 0 318615 89 0 0 20 0 20 0 77318558 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=5566216 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1524 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=13952 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1391554 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3517.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5566216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.61 4.54 6/326 97418
/proc/meminfo: memFree=108088796/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5649648 CPUtime=3590.38 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 174119 0 34 0 358425 613 0 0 20 0 20 0 77318554 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1412412 5535 1 0 1426863 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=5649648 CPUtime=3246.57 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 65590 0 34 0 324566 91 0 0 20 0 20 0 77318558 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=5649648 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=5649648 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1528 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=13952 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3590.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5649648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3289.7 s]
/proc/loadavg: 4.54 4.63 4.55 7/326 97418
/proc/meminfo: memFree=108088804/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19063512 memory=5649648 CPUtime=3600.05 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 174535 0 34 0 359390 615 0 0 20 0 20 0 77318554 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4765878 1412412 5535 1 0 1426863 0
[pid=96911/tid=96919] ppid=96898 vsize=19063512 memory=5649648 CPUtime=3253.94 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 65593 0 34 0 325303 91 0 0 20 0 20 0 77318558 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19063512 memory=5649648 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19063512 memory=13952 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1528 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96987] ppid=96898 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96911/task/96987/stat : 96987 (Timer-0) S 96898 96911 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318629 19521036288 1412412 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5649648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3289.89 s]
# the end of solver process 96911 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.19 s, system=6.19191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3289.8 s]
/proc/loadavg: 4.54 4.63 4.55 7/326 97418
/proc/meminfo: memFree=108088804/131382112 swapFree=33000116/33010684
[pid=96911] ppid=96898 vsize=19263204 memory=5650288 CPUtime=3600.25 cores=1,3
/proc/96911/stat : 96911 (java) S 96898 96911 96846 0 -1 4194304 175874 0 34 0 359410 615 0 0 20 0 21 0 77318554 19725520896 1412572 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
/proc/96911/statm: 4815801 1412572 5535 1 0 1427798 0
[pid=96911/tid=96919] ppid=96898 vsize=19263204 memory=5649648 CPUtime=3254.04 cores=1,3
/proc/96911/task/96919/stat : 96919 (java) R 96898 96911 96846 0 -1 4194368 65593 0 34 0 325313 91 0 0 20 0 21 0 77318558 19725520896 1412572 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96960] ppid=96898 vsize=19263204 memory=14468 CPUtime=0 cores=1,3
/proc/96911/task/96960/stat : 96960 (Finalizer) S 96898 96911 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77318563 19725520896 1412572 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
[pid=96911/tid=96978] ppid=96898 vsize=19263204 memory=11008 CPUtime=0 cores=1,3
/proc/96911/task/96978/stat : 96978 (Common-Cleaner) S 96898 96911 96846 0 -1 4194368 1528 0 0 0 0 0 0 0 20 0 21 0 77318564 19725520896 1412572 18446744073709551615 94077854896128 94077854899824 140733576728576 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94077854907640 94077854908432 94077870297088 140733576731004 140733576731108 140733576731108 140733576736712 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5650288 KiB
Child status: 143
Real time (s): 3289.89
CPU time (s): 3600.39
CPU user time (s): 3594.19
CPU system time (s): 6.19191
CPU usage (%): 109.438
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5650288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.19
system time used= 6.19191
maximum resident set size= 5650416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176145
page faults= 34
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149449
involuntary context switches= 24340
# summary of solver processes directly reported to runsolver:
# pid: 96911
# total CPU time (s): 3600.39
# total CPU user time (s): 3594.19
# total CPU system time (s): 6.19191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.799 second user time and 33.1882 second system time
The end