runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62905 MiB free)
memory of node 1: 64465 MiB (63772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506839-1751183987/watcher-4506839-1751183987 -o /tmp/evaluation-result-4506839-1751183987/solver-4506839-1751183987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751183987-23923 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4506839-1751183987 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4506839-1751183987.opb
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 FSIZE limit: 102400000 KiB
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=23985, runsolver pid=23964
[startup+0.100059 s]*
/proc/loadavg: 1.00 2.28 3.32 10/332 24048
/proc/meminfo: memFree=129620232/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=18930384 memory=55532 CPUtime=0.12 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 6523 0 0 0 10 2 0 0 20 0 18 0 34076241 19384713216 13883 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4732596 13883 5336 1 0 547596 0
[pid=23985/tid=24011] ppid=23964 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 5049 0 0 0 6 1 0 0 20 0 18 0 34076243 19384713216 13883 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34076245 19384713216 13883 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34076246 19384713216 13883 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55532 KiB
[startup+0.205739 s]*
/proc/loadavg: 1.00 2.28 3.32 13/332 24048
/proc/meminfo: memFree=129585148/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=18930384 memory=68564 CPUtime=0.31 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 7101 0 0 0 28 3 0 0 20 0 18 0 34076241 19384713216 17141 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4732596 17141 5464 1 0 547966 0
[pid=23985/tid=24011] ppid=23964 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 5397 0 0 0 15 2 0 0 20 0 18 0 34076243 19384713216 17141 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34076245 19384713216 17141 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34076246 19384713216 17141 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68564 KiB
[startup+0.305694 s]*
/proc/loadavg: 1.00 2.28 3.32 14/336 24052
/proc/meminfo: memFree=129237748/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=18996948 memory=159184 CPUtime=0.5 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 8752 0 0 0 45 5 0 0 20 0 19 0 34076241 19452874752 39796 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4749237 39796 5464 1 0 549304 0
[pid=23985/tid=24011] ppid=23964 vsize=18996948 memory=-6000919489869343085 CPUtime=0.26 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 5440 0 0 0 22 4 0 0 20 0 19 0 34076243 19452874752 39796 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34076245 19452874752 39796 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34076246 19452874752 39796 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159184 KiB
[startup+0.700232 s]
/proc/loadavg: 1.00 2.28 3.32 9/336 24052
/proc/meminfo: memFree=128689984/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=18996948 memory=870192 CPUtime=1.2 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 14051 0 0 0 100 20 0 0 20 0 19 0 34076241 19452874752 217548 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4749237 217548 5464 1 0 1078588 0
[pid=23985/tid=24011] ppid=23964 vsize=18996948 memory=17408 CPUtime=0.58 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 5784 0 0 0 41 17 0 0 20 0 19 0 34076243 19452874752 217548 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34076245 19452874752 217548 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34076246 19452874752 217548 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 870192 KiB
[startup+1.50045 s]
/proc/loadavg: 1.56 2.37 3.34 9/336 24052
/proc/meminfo: memFree=122297480/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=18996948 memory=2567896 CPUtime=2.77 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 23562 0 0 0 223 54 0 0 20 0 19 0 34076241 19452874752 641974 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4749237 641974 5464 1 0 1081855 0
[pid=23985/tid=24011] ppid=23964 vsize=18996948 memory=3328 CPUtime=1.35 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 6622 0 0 0 86 49 0 0 20 0 19 0 34076243 19452874752 641974 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34076245 19452874752 641974 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34076246 19452874752 641974 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2567896 KiB
[startup+3.10553 s]
/proc/loadavg: 1.56 2.37 3.34 9/340 24056
/proc/meminfo: memFree=119229044/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=2570328 CPUtime=5.97 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 24171 0 0 0 541 56 0 0 20 0 20 0 34076241 19521036288 642582 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 642582 5464 1 0 1082313 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=10752 CPUtime=2.8 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 6689 0 0 0 231 49 0 0 20 0 20 0 34076243 19521036288 642582 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 642582 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 642582 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 642582 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2570328 KiB
[startup+6.30021 s]
/proc/loadavg: 1.84 2.42 3.35 7/341 24058
/proc/meminfo: memFree=118856336/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=2572120 CPUtime=11.46 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 24962 0 0 0 1089 57 0 0 20 0 20 0 34076241 19521036288 643030 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 643030 5496 1 0 1082371 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=0 CPUtime=5.94 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 7052 0 0 0 545 49 0 0 20 0 20 0 34076243 19521036288 643030 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 643030 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=-6000919489869343085 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 643030 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 643030 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 11.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572120 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.44 3.36 6/341 24058
/proc/meminfo: memFree=118822296/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=2588824 CPUtime=17.98 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 28032 0 0 0 1740 58 0 0 20 0 20 0 34076241 19521036288 647206 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 647206 5496 1 0 1082389 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=2588824 CPUtime=12.28 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 8568 0 0 0 1178 50 0 0 20 0 20 0 34076243 19521036288 647206 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=2588824 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 647206 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 647206 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 647206 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 17.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2588824 KiB
[startup+25.5002 s]
/proc/loadavg: 2.32 2.49 3.37 5/341 24058
/proc/meminfo: memFree=118706388/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=2590580 CPUtime=32.13 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 37080 0 0 0 3154 59 0 0 20 0 20 0 34076241 19521036288 647645 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 647645 5496 1 0 1082664 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=2590452 CPUtime=25.05 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 10005 0 0 0 2454 51 0 0 20 0 20 0 34076243 19521036288 647645 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=2590452 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 647645 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=2590324 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 647645 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=2572120 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 647645 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 32.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2590580 KiB
[startup+51.1053 s]
/proc/loadavg: 3.11 2.67 3.40 6/341 24060
/proc/meminfo: memFree=118449132/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=2695392 CPUtime=57.88 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 46705 0 0 0 5724 64 0 0 20 0 20 0 34076241 19521036288 673848 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 673848 5496 1 0 1082697 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=2590580 CPUtime=50.42 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 13127 0 0 0 4990 52 0 0 20 0 20 0 34076243 19521036288 673848 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 673848 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 673848 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=279901140032656 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=109515808/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4284116 CPUtime=3236.04 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 215920 0 0 0 323346 258 0 0 20 0 20 0 34076241 19521036288 1071029 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1071029 5528 1 0 1087413 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=4284116 CPUtime=3197.06 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 95471 0 0 0 319579 127 0 0 20 0 20 0 34076243 19521036288 1071029 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=4284116 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1071029 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=4284116 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2494 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1071029 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=4284116 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1071029 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3236.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4284116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/342 24237
/proc/meminfo: memFree=110135680/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4286280 CPUtime=3295.98 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 217587 0 0 0 329337 261 0 0 20 0 20 0 34076241 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1071570 5528 1 0 1087413 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=14848 CPUtime=3256.78 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 96537 0 0 0 325551 127 0 0 20 0 20 0 34076243 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=4284116 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=628 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2532 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3295.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4286280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/342 24240
/proc/meminfo: memFree=108541152/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4286280 CPUtime=3355.97 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 218902 0 0 0 335334 263 0 0 20 0 20 0 34076241 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1071570 5528 1 0 1087413 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=14848 CPUtime=3316.44 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 97636 0 0 0 331516 128 0 0 20 0 20 0 34076243 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=4286280 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2533 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=4286280 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3355.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4286280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/342 24242
/proc/meminfo: memFree=108056308/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4286280 CPUtime=3415.9 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 221555 0 0 0 341326 264 0 0 20 0 20 0 34076241 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1071570 5528 1 0 1087413 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=14848 CPUtime=3376.18 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 99526 0 0 0 337490 128 0 0 20 0 20 0 34076243 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=4286280 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2578 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1071570 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3415.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4286280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/343 24246
/proc/meminfo: memFree=108036308/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4288404 CPUtime=3476.01 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 223568 0 0 0 347334 267 0 0 20 0 20 0 34076241 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1072101 5528 1 0 1087413 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=0 CPUtime=3435.76 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 100800 0 0 0 343447 129 0 0 20 0 20 0 34076243 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=6452091026067448891 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=4286280 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2619 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=4286280 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3476.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/343 24248
/proc/meminfo: memFree=109693108/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4288404 CPUtime=3536.68 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 226085 0 0 0 353398 270 0 0 20 0 20 0 34076241 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1072101 5528 1 0 1087445 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=4288404 CPUtime=3494.73 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 102120 0 0 0 349343 130 0 0 20 0 20 0 34076243 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2619 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3536.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288404 KiB
[startup+3642.3 s]
/proc/loadavg: 4.57 4.26 4.14 5/343 24451
/proc/meminfo: memFree=121325852/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4288404 CPUtime=3596.74 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 229589 0 0 0 359401 273 0 0 20 0 20 0 34076241 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1072101 5528 1 0 1087445 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=4380 CPUtime=3554.22 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 103774 0 0 0 355292 130 0 0 20 0 20 0 34076243 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=4288404 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2707 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3596.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3645.6 s]
/proc/loadavg: 4.57 4.26 4.14 5/343 24451
/proc/meminfo: memFree=120933712/131249988 swapFree=33010684/33010684
[pid=23985] ppid=23964 vsize=19063512 memory=4288404 CPUtime=3600.03 cores=1,3
/proc/23985/stat : 23985 (java) S 23964 23985 23911 0 -1 4194304 229717 0 0 0 359730 273 0 0 20 0 20 0 34076241 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
/proc/23985/statm: 4765878 1072101 5528 1 0 1087445 0
[pid=23985/tid=24011] ppid=23964 vsize=19063512 memory=1125956 CPUtime=3557.5 cores=1,3
/proc/23985/task/24011/stat : 24011 (java) R 23964 23985 23911 0 -1 4194368 103902 0 0 0 355620 130 0 0 20 0 20 0 34076243 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24041] ppid=23964 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/23985/task/24041/stat : 24041 (Finalizer) S 23964 23985 23911 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34076245 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24048] ppid=23964 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/23985/task/24048/stat : 24048 (Common-Cleaner) S 23964 23985 23911 0 -1 4194368 2707 0 0 0 0 0 0 0 20 0 20 0 34076246 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
[pid=23985/tid=24056] ppid=23964 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/23985/task/24056/stat : 24056 (Timer-0) S 23964 23985 23911 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34076393 19521036288 1072101 18446744073709551615 93908557455360 93908557459056 140721841550848 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93908557466872 93908557467664 93908582993920 140721841555757 140721841555942 140721841555942 140721841561544 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3645.7 s]
# the end of solver process 23985 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.47 s, system=2.74773 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3645.7
CPU time (s): 3600.22
CPU user time (s): 3597.47
CPU system time (s): 2.74773
CPU usage (%): 98.7524
Max. virtual memory (cumulated for all children) (KiB): 19066036
Max. memory (cumulated for all children) (KiB): 4288404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.47
system time used= 2.74773
maximum resident set size= 4289556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1508336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129355
involuntary context switches= 12797
# summary of solver processes directly reported to runsolver:
# pid: 23985
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.47
# total CPU system time (s): 2.74773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66083 second user time and 17.5325 second system time
The end