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 (63112 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-4524732-1751616394/watcher-4524732-1751616394 -o /tmp/evaluation-result-4524732-1751616394/solver-4524732-1751616394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96856 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524732-1751616394.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=96902, runsolver pid=96896
[startup+0.100075 s]*
/proc/loadavg: 0.85 1.11 1.34 5/290 96947
/proc/meminfo: memFree=125270876/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=18730704 memory=39720 CPUtime=0.06 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 5175 0 7 0 3 3 0 0 20 0 16 0 77318553 19180240896 9930 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4682676 9930 4205 1 0 545993 0
[pid=96902/tid=96916] ppid=96896 vsize=18730704 memory=4026532124 CPUtime=0.04 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) S 96896 96902 96846 0 -1 4194368 4473 0 7 0 2 2 0 0 20 0 16 0 77318557 19180240896 9930 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=18730704 memory=17127 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 77318563 19180240896 9930 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96976] ppid=96896 vsize=18730704 memory=57394570986489 CPUtime=0 cores=0,2
/proc/96902/task/96976/stat : 96976 (java) R 96896 96902 96846 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 16 0 77318564 19180240896 9930 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 2147221247 0 16800975 0 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18730704 KiB
Current children cumulated memory: 39720 KiB
[startup+0.21489 s]*
/proc/loadavg: 0.85 1.11 1.34 7/326 96983
/proc/meminfo: memFree=125242896/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=18930384 memory=51652 CPUtime=0.23 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 6106 0 7 0 19 4 0 0 20 0 18 0 77318553 19384713216 12913 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4732596 12913 5325 1 0 547228 0
[pid=96902/tid=96916] ppid=96896 vsize=18930384 memory=3472285463394844956 CPUtime=0.14 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 4908 0 7 0 11 3 0 0 20 0 18 0 77318557 19384713216 12913 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=18930384 memory=17127 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 12913 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318565 19384713216 12913 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51652 KiB
[startup+0.317653 s]*
/proc/loadavg: 0.85 1.11 1.34 6/326 96983
/proc/meminfo: memFree=125213344/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=18930384 memory=57964 CPUtime=0.41 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 6650 0 7 0 36 5 0 0 20 0 18 0 77318553 19384713216 14491 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4732596 14491 5325 1 0 547661 0
[pid=96902/tid=96916] ppid=96896 vsize=18930384 memory=-6000919468344239718 CPUtime=0.24 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 5132 0 7 0 21 3 0 0 20 0 18 0 77318557 19384713216 14491 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 14491 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318565 19384713216 14491 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57964 KiB
[startup+0.701202 s]
/proc/loadavg: 0.85 1.11 1.34 13/326 96983
/proc/meminfo: memFree=125201436/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=18930384 memory=74424 CPUtime=1.08 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 8549 0 7 0 101 7 0 0 20 0 18 0 77318553 19384713216 18606 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4732596 18606 5453 1 0 548888 0
[pid=96902/tid=96916] ppid=96896 vsize=18930384 memory=13952 CPUtime=0.52 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 5475 0 7 0 48 4 0 0 20 0 18 0 77318557 19384713216 18606 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=18930384 memory=11008 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77318563 19384713216 18606 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=18930384 memory=3328 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77318565 19384713216 18606 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 74424 KiB
[startup+1.50032 s]
/proc/loadavg: 0.85 1.11 1.34 9/330 96987
/proc/meminfo: memFree=125071632/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=18996948 memory=164444 CPUtime=2.65 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 15287 0 7 0 253 12 0 0 20 0 19 0 77318553 19452874752 41111 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4749237 41111 5453 1 0 551908 0
[pid=96902/tid=96916] ppid=96896 vsize=18996948 memory=3328 CPUtime=1.22 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 5992 0 7 0 115 7 0 0 20 0 19 0 77318557 19452874752 41111 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77318563 19452874752 41111 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77318565 19452874752 41111 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=18996948 memory=14468 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77318625 19452874752 41111 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 164444 KiB
[startup+3.10555 s]
/proc/loadavg: 0.85 1.11 1.34 9/334 96992
/proc/meminfo: memFree=124471776/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=193384 CPUtime=5.8 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 20586 0 7 0 567 13 0 0 20 0 20 0 77318553 19521036288 48346 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 48346 5485 1 0 553459 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=14468 CPUtime=2.74 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 6619 0 7 0 267 7 0 0 20 0 20 0 77318557 19521036288 48346 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 48346 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 48346 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 48346 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193384 KiB
[startup+6.30026 s]
/proc/loadavg: 1.26 1.20 1.36 6/334 96992
/proc/meminfo: memFree=124083468/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=232268 CPUtime=10.82 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 28562 0 7 0 1066 16 0 0 20 0 20 0 77318553 19521036288 58067 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 58067 5485 1 0 557372 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=0 CPUtime=5.84 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 6634 0 7 0 577 7 0 0 20 0 20 0 77318557 19521036288 58067 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 58067 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 58067 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=173172 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 58067 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 10.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 232268 KiB
[startup+12.7005 s]
/proc/loadavg: 1.56 1.26 1.38 5/334 96992
/proc/meminfo: memFree=122554788/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=382040 CPUtime=18.16 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 37065 0 7 0 1794 22 0 0 20 0 20 0 77318553 19521036288 95510 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 95510 5485 1 0 557372 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=173172 CPUtime=12.04 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 7801 0 7 0 1195 9 0 0 20 0 20 0 77318557 19521036288 95510 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=310316 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 95510 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 95510 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 95510 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 18.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 382040 KiB
[startup+25.5005 s]
/proc/loadavg: 2.25 1.43 1.44 5/334 96992
/proc/meminfo: memFree=119649412/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=720448 CPUtime=32.41 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 45365 0 7 0 3210 31 0 0 20 0 20 0 77318553 19521036288 180112 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 180112 5485 1 0 805937 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=310316 CPUtime=24.38 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 8568 0 7 0 2423 15 0 0 20 0 20 0 77318557 19521036288 180112 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 180112 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 180112 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=658888 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 180112 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 32.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 720448 KiB
[startup+51.1139 s]
/proc/loadavg: 2.85 1.64 1.50 5/334 96992
/proc/meminfo: memFree=115497532/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=2143936 CPUtime=58.68 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 47192 0 7 0 5809 59 0 0 20 0 20 0 77318553 19521036288 535984 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 535984 5485 1 0 805945 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=2143936 CPUtime=49.72 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 10089 0 7 0 4933 39 0 0 20 0 20 0 77318557 19521036288 535984 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=382040 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 535984 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 535984 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=1775168 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1890384 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=7561536 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1260 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 1890384 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=7561536 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 1890384 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3041.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7561536 KiB
[startup+2562.3 s]
/proc/loadavg: 4.79 4.75 4.37 7/325 97108
/proc/meminfo: memFree=102550136/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=7778680 CPUtime=3135.75 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 257402 0 7 0 312847 728 0 0 20 0 20 0 77318553 19521036288 1944670 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 1944670 5517 1 0 1959673 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=7778680 CPUtime=2515.23 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 88555 0 7 0 251376 147 0 0 20 0 20 0 77318557 19521036288 1944670 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=7561536 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1944670 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1341 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 1944670 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=7559332 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 1944670 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3135.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7778680 KiB
[startup+2622.3 s]
/proc/loadavg: 4.89 4.79 4.41 6/325 97110
/proc/meminfo: memFree=102387976/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=7853760 CPUtime=3225.74 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 259037 0 7 0 321819 755 0 0 20 0 20 0 77318553 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 1963440 5517 1 0 1978476 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=7778680 CPUtime=2574.36 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 88626 0 7 0 257287 149 0 0 20 0 20 0 77318557 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=7853760 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1341 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3225.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7853760 KiB
[startup+2682.3 s]
/proc/loadavg: 4.96 4.83 4.45 6/326 97115
/proc/meminfo: memFree=102383308/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=7853760 CPUtime=3311.95 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 265197 0 7 0 330415 780 0 0 20 0 20 0 77318553 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 1963440 5517 1 0 1978476 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=7778680 CPUtime=2633.91 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 90570 0 7 0 263242 149 0 0 20 0 20 0 77318557 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=7853760 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1388 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=7853760 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3311.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7853760 KiB
[startup+2742.3 s]
/proc/loadavg: 4.88 4.85 4.48 6/326 97117
/proc/meminfo: memFree=102383108/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=7853760 CPUtime=3404 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 269809 0 7 0 339593 807 0 0 20 0 20 0 77318553 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 1963440 5517 1 0 1978476 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=7778680 CPUtime=2693.44 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 92607 0 7 0 269195 149 0 0 20 0 20 0 77318557 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=7853760 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1433 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=7853760 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 1963440 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3404 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7853760 KiB
[startup+2802.3 s]
/proc/loadavg: 4.98 4.88 4.51 5/327 97124
/proc/meminfo: memFree=102147800/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=8087364 CPUtime=3492.6 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 273587 0 7 0 348423 837 0 0 20 0 20 0 77318553 19521036288 2021841 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 2021841 5517 1 0 2036965 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=8087364 CPUtime=2752.16 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 93566 0 7 0 275062 154 0 0 20 0 20 0 77318557 19521036288 2021841 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=8087364 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 2021841 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=8087364 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1434 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 2021841 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 2021841 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3492.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8087364 KiB
[startup+2862.3 s]
/proc/loadavg: 4.92 4.90 4.54 6/328 97129
/proc/meminfo: memFree=101964256/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=8270772 CPUtime=3585.31 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 277973 0 7 0 357662 869 0 0 20 0 20 0 77318553 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 2067693 5517 1 0 2082919 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=8270772 CPUtime=2811.27 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 95078 0 7 0 280969 158 0 0 20 0 20 0 77318557 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=13952 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=8087364 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1478 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8270772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2873.8 s]
/proc/loadavg: 4.85 4.88 4.54 7/328 97129
/proc/meminfo: memFree=101964296/131382112 swapFree=33000116/33010684
[pid=96902] ppid=96896 vsize=19063512 memory=8270772 CPUtime=3600.07 cores=0,2
/proc/96902/stat : 96902 (java) S 96896 96902 96846 0 -1 4194304 279149 0 7 0 359135 872 0 0 20 0 20 0 77318553 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
/proc/96902/statm: 4765878 2067693 5517 1 0 2082919 0
[pid=96902/tid=96916] ppid=96896 vsize=19063512 memory=5632 CPUtime=2822.65 cores=0,2
/proc/96902/task/96916/stat : 96916 (java) R 96896 96902 96846 0 -1 4194368 95078 0 7 0 282107 158 0 0 20 0 20 0 77318557 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96950] ppid=96896 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/96902/task/96950/stat : 96950 (Finalizer) S 96896 96902 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77318563 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96983] ppid=96896 vsize=19063512 memory=8270772 CPUtime=0 cores=0,2
/proc/96902/task/96983/stat : 96983 (Common-Cleaner) S 96896 96902 96846 0 -1 4194368 1478 0 0 0 0 0 0 0 20 0 20 0 77318565 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
[pid=96902/tid=96985] ppid=96896 vsize=19063512 memory=5888 CPUtime=0 cores=0,2
/proc/96902/task/96985/stat : 96985 (Timer-0) S 96896 96902 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77318625 19521036288 2067693 18446744073709551615 94277567762432 94277567766128 140733499896064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94277567773944 94277567774736 94277599088640 140733499898236 140733499898340 140733499898340 140733499903944 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8270772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2873.91 s]
# the end of solver process 96902 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3591.51 s, system=8.75701 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2873.9 s]*
/proc/loadavg: 4.85 4.88 4.54 5/310 97132
/proc/meminfo: memFree=110173164/131382112 swapFree=33000116/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2873.91
CPU time (s): 3600.27
CPU user time (s): 3591.51
CPU system time (s): 8.75701
CPU usage (%): 125.274
Max. virtual memory (cumulated for all children) (KiB): 19069540
Max. memory (cumulated for all children) (KiB): 8270772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.51
system time used= 8.75701
maximum resident set size= 8271540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280830
page faults= 7
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129950
involuntary context switches= 48734
# summary of solver processes directly reported to runsolver:
# pid: 96902
# total CPU time (s): 3600.27
# total CPU user time (s): 3591.51
# total CPU system time (s): 8.75701
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4019 second user time and 25.8344 second system time
The end