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-4524759-1751616394/watcher-4524759-1751616394 -o /tmp/evaluation-result-4524759-1751616394/solver-4524759-1751616394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96859 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524759-1751616394.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=96913, runsolver pid=96899
[startup+0.100071 s]*
/proc/loadavg: 0.85 1.11 1.34 12/315 96972
/proc/meminfo: memFree=125267852/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=18864664 memory=42812 CPUtime=0.07 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 5311 0 56 0 4 3 0 0 20 0 18 0 77318554 19317415936 10703 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4716166 10703 4850 1 0 546624 0
[pid=96913/tid=96918] ppid=96899 vsize=18864664 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) S 96899 96913 96846 0 -1 4194368 4488 0 56 0 3 2 0 0 20 0 18 0 77318558 19317415936 10703 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=18864664 memory=228522721619 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19317415936 10703 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96975] ppid=96899 vsize=18864664 memory=58494082638250 CPUtime=0 cores=5,7
/proc/96913/task/96975/stat : 96975 (java) R 96899 96913 96846 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 18 0 77318564 19317415936 10703 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=18864664 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (java) R 96899 96913 96846 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 18 0 77318564 19317415936 10703 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 2147221247 0 16800975 0 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18864664 KiB
Current children cumulated memory: 42812 KiB
[startup+0.214999 s]*
/proc/loadavg: 0.85 1.11 1.34 10/326 96983
/proc/meminfo: memFree=125242896/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=18930384 memory=49496 CPUtime=0.22 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 6037 0 56 0 18 4 0 0 20 0 18 0 77318554 19384713216 12374 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4732596 12374 5330 1 0 547226 0
[pid=96913/tid=96918] ppid=96899 vsize=18930384 memory=4026794268 CPUtime=0.14 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 4846 0 56 0 11 3 0 0 20 0 18 0 77318558 19384713216 12374 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=18930384 memory=17127 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 12374 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19384713216 12374 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49496 KiB
[startup+0.315028 s]*
/proc/loadavg: 0.85 1.11 1.34 15/326 96983
/proc/meminfo: memFree=125213344/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=18930384 memory=57688 CPUtime=0.37 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 6555 0 56 0 32 5 0 0 20 0 18 0 77318554 19384713216 14422 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4732596 14422 5330 1 0 547620 0
[pid=96913/tid=96918] ppid=96899 vsize=18930384 memory=-6000919468344239718 CPUtime=0.23 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 5047 0 56 0 19 4 0 0 20 0 18 0 77318558 19384713216 14422 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 14422 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19384713216 14422 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57688 KiB
[startup+0.700293 s]
/proc/loadavg: 0.85 1.11 1.34 13/326 96983
/proc/meminfo: memFree=125200428/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=18930384 memory=73852 CPUtime=1.07 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 8376 0 56 0 99 8 0 0 20 0 18 0 77318554 19384713216 18463 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4732596 18463 5426 1 0 548787 0
[pid=96913/tid=96918] ppid=96899 vsize=18930384 memory=13952 CPUtime=0.52 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 5376 0 56 0 47 5 0 0 20 0 18 0 77318558 19384713216 18463 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=18930384 memory=5632 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 18463 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=18930384 memory=11008 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318564 19384713216 18463 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73852 KiB
[startup+1.50027 s]
/proc/loadavg: 0.85 1.11 1.34 12/330 96987
/proc/meminfo: memFree=125069868/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=166424 CPUtime=2.63 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 13985 0 56 0 251 12 0 0 20 0 20 0 77318554 19521036288 41606 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 41606 5522 1 0 550496 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=11008 CPUtime=1.2 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 6111 0 56 0 113 7 0 0 20 0 20 0 77318558 19521036288 41606 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 41606 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 41606 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 41606 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166424 KiB
[startup+3.10535 s]
/proc/loadavg: 0.85 1.11 1.34 10/334 96992
/proc/meminfo: memFree=124463584/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=330136 CPUtime=5.74 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 19002 0 56 0 557 17 0 0 20 0 20 0 77318554 19521036288 82534 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 82534 5522 1 0 917988 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=14468 CPUtime=2.66 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 6672 0 56 0 256 10 0 0 20 0 20 0 77318558 19521036288 82534 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 82534 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 82534 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 82534 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 330136 KiB
[startup+6.30017 s]
/proc/loadavg: 1.26 1.20 1.36 7/334 96992
/proc/meminfo: memFree=124083468/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=488384 CPUtime=9.28 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 19227 0 56 0 908 20 0 0 20 0 20 0 77318554 19521036288 122096 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 122096 5522 1 0 918002 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=0 CPUtime=5.64 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 6748 0 56 0 553 11 0 0 20 0 20 0 77318558 19521036288 122096 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 122096 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 122096 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=167192 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 122096 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 488384 KiB
[startup+12.7004 s]
/proc/loadavg: 1.56 1.26 1.38 8/334 96992
/proc/meminfo: memFree=122554788/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=730744 CPUtime=15.9 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 20243 0 56 0 1564 26 0 0 20 0 20 0 77318554 19521036288 182686 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 182686 5522 1 0 1200002 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=167192 CPUtime=11.82 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 7009 0 56 0 1166 16 0 0 20 0 20 0 77318558 19521036288 182686 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=730744 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 182686 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 182686 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 182686 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 730744 KiB
[startup+25.5002 s]
/proc/loadavg: 2.25 1.43 1.44 8/334 96992
/proc/meminfo: memFree=119645316/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=1239984 CPUtime=31.66 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 55997 0 56 0 3120 46 0 0 20 0 20 0 77318554 19521036288 309996 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 309996 5522 1 0 1209764 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=280044484592832 CPUtime=24.07 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 9718 0 56 0 2382 25 0 0 20 0 20 0 77318558 19521036288 309996 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=878304 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 309996 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=730744 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 309996 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=167192 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 309996 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 31.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1239984 KiB
[startup+51.1101 s]
/proc/loadavg: 2.85 1.64 1.50 8/334 96992
/proc/meminfo: memFree=115497532/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=3058076 CPUtime=58.3 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 58647 0 56 0 5743 87 0 0 20 0 20 0 77318554 19521036288 764519 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 764519 5522 1 0 1209776 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=167192 CPUtime=49.28 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 11741 0 56 0 4867 61 0 0 20 0 20 0 77318558 19521036288 764519 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=3021176 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 764519 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
################
# More data... #
################
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1452 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3231.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4687476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.61 4.54 7/326 97418
/proc/meminfo: memFree=108088796/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4687476 CPUtime=3291.1 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 128973 0 56 0 328765 345 0 0 20 0 20 0 77318554 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1171869 5522 1 0 1209778 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=13952 CPUtime=3259.72 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 56895 0 56 0 325885 87 0 0 20 0 20 0 77318558 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=13952 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1469 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=4687476 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3291.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4687476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.58 4.54 7/326 97486
/proc/meminfo: memFree=109052676/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4687476 CPUtime=3351.06 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 129617 0 56 0 334756 350 0 0 20 0 20 0 77318554 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1171869 5522 1 0 1209778 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=0 CPUtime=3319.44 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 57363 0 56 0 331857 87 0 0 20 0 20 0 77318558 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=4687476 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1473 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3351.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4687476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.51 4.51 6/327 97489
/proc/meminfo: memFree=108939676/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4687476 CPUtime=3411.21 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 132038 0 56 0 340764 357 0 0 20 0 20 0 77318554 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1171869 5522 1 0 1209778 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=0 CPUtime=3378.28 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 58966 0 56 0 337740 88 0 0 20 0 20 0 77318558 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=4687476 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1473 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=4687476 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3411.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4687476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.44 4.49 6/326 97495
/proc/meminfo: memFree=108794104/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4687476 CPUtime=3471.2 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 132338 0 56 0 346758 362 0 0 20 0 20 0 77318554 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1171869 5522 1 0 1209778 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=0 CPUtime=3438 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 58970 0 56 0 343712 88 0 0 20 0 20 0 77318558 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=4687476 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1528 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=13952 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1171869 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3471.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4687476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.41 4.47 8/327 97500
/proc/meminfo: memFree=108676272/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4767124 CPUtime=3532.03 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 146641 0 56 0 352831 372 0 0 20 0 20 0 77318554 19521036288 1191781 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1191781 5522 1 0 1209857 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=4767124 CPUtime=3497.57 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 60624 0 56 0 349669 88 0 0 20 0 20 0 77318558 19521036288 1191781 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=13952 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1191781 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=4687476 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1529 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1191781 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=4767124 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1191781 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3532.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4767124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.40 4.47 6/327 97633
/proc/meminfo: memFree=112103968/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4769296 CPUtime=3592.99 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 146814 0 56 0 358917 382 0 0 20 0 20 0 77318554 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1192324 5522 1 0 1209867 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=4767124 CPUtime=3556.48 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 60637 0 56 0 355557 91 0 0 20 0 20 0 77318558 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=4769296 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1558 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=13952 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3592.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4769296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3589.4 s]
/proc/loadavg: 4.24 4.39 4.46 7/327 97701
/proc/meminfo: memFree=116377036/131382112 swapFree=33000116/33010684
[pid=96913] ppid=96899 vsize=19063512 memory=4769296 CPUtime=3600.09 cores=5,7
/proc/96913/stat : 96913 (java) S 96899 96913 96846 0 -1 4194304 146814 0 56 0 359626 383 0 0 20 0 20 0 77318554 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
/proc/96913/statm: 4765878 1192324 5522 1 0 1209867 0
[pid=96913/tid=96918] ppid=96899 vsize=19063512 memory=245635481903 CPUtime=3563.57 cores=5,7
/proc/96913/task/96918/stat : 96918 (java) R 96899 96913 96846 0 -1 4194368 60637 0 56 0 356266 91 0 0 20 0 20 0 77318558 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96957] ppid=96899 vsize=19063512 memory=55212677268211 CPUtime=0 cores=5,7
/proc/96913/task/96957/stat : 96957 (Finalizer) S 96899 96913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96980] ppid=96899 vsize=19063512 memory=373572 CPUtime=0 cores=5,7
/proc/96913/task/96980/stat : 96980 (Common-Cleaner) S 96899 96913 96846 0 -1 4194368 1558 0 0 0 0 0 0 0 20 0 20 0 77318564 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
[pid=96913/tid=96986] ppid=96899 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/96913/task/96986/stat : 96986 (Timer-0) S 96899 96913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318628 19521036288 1192324 18446744073709551615 94725589581824 94725589585520 140725616843376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94725589593336 94725589594128 94725591887872 140725616847228 140725616847332 140725616847332 140725616852936 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4769296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589.6 s]
# the end of solver process 96913 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.55 s, system=3.87006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3589.6 s]*
/proc/loadavg: 4.24 4.39 4.46 6/306 97704
/proc/meminfo: memFree=121103852/131382112 swapFree=33000116/33010684
Current cumulated CPU time of completed processes: 3600.42 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3589.61
CPU time (s): 3600.42
CPU user time (s): 3596.55
CPU system time (s): 3.87006
CPU usage (%): 100.301
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4770064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.55
system time used= 3.87006
maximum resident set size= 4770192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148322
page faults= 56
swaps= 0
block input operations= 32
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 152289
involuntary context switches= 6784
# summary of solver processes directly reported to runsolver:
# pid: 96913
# total CPU time (s): 3600.42
# total CPU user time (s): 3596.55
# total CPU system time (s): 3.87006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0222 second user time and 35.3103 second system time
The end