88.09/88.57 c initialize IPBHS solver
88.09/88.57 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
88.09/88.57 c optimizer = "gurobi"
88.09/88.57 c pbsolver = "roundingsat"
88.09/88.57 c load symmetries from file ""
88.09/88.57 c set time limit for symmetry computation to 100 seconds.
88.09/88.57 c set interchangeable summation variable limit to 3
88.09/88.57 c set abs symmetric core budget per WCE-iteration to 100
88.09/88.57 c set rel symmetric core budget per WCE-iteration to 0
88.09/88.57 c set lit symmetric core budget per WCE-iteration to 0
88.09/88.57 c set sym generation to 's'
88.09/88.57 c set abstraction set creation to 10 iterations without LB change
88.09/88.57 c set abstraction set inputs to 0
88.09/88.57 c set abstraction set cluster min size to 2
88.09/88.57 c set abstraction set cluster max size to 100000000
88.09/88.57 c set abstraction set cluster activation limit to 2
88.09/88.57 c enable abstraction set require equal cost
88.09/88.57 c set abstraction set assumptions to 0
88.09/88.57 c set abstraction set constraint type to 0
88.09/88.57 c set abstract core extraction strategy to b
88.09/88.57 c set core extraction strategy to 2
88.09/88.57 c set core extraction shuffles 10
88.09/88.57 c set cores per iteration to 5
88.09/88.57 c set optimizer bound usage strategy to 2
88.09/88.57 c set optimizer max non-optimal iterations to 1000
88.09/88.57 c set small core cardinality limit to 2
88.09/88.57 c set max coef in cores to 1000000000
88.09/88.57 c set SIS iterations to 5
88.09/88.57 c set SIS budget abs to 1000
88.09/88.57 c set SIS budget rel to 0.05
88.09/88.57 c limit for coefficient in constraints and objective to 9223372036854775807
88.09/88.57 c will solve HOME/instance-4458374-1721868990.opb
88.09/88.57 c [0] solve iteration 1, LB=-65535, UB=65536
88.09/88.57 c [0.54] solve iteration 2, LB=-65535, UB=0
88.09/88.57 c [1.08] solve iteration 3, LB=-32736, UB=0
88.09/88.57 c [1.6] solve iteration 4, LB=-32736, UB=0
88.09/88.57 c [2.15] solve iteration 5, LB=-24480, UB=0
88.09/88.57 c [3.84] solve iteration 6, LB=-24480, UB=0
88.09/88.57 c [4.73] solve iteration 7, LB=-24480, UB=0
88.09/88.57 c [4.84] solve iteration 8, LB=-24480, UB=0
88.09/88.57 c [5.11] solve iteration 9, LB=-24480, UB=0
88.09/88.57 c [5.18] solve iteration 10, LB=-24480, UB=0
88.09/88.57 c [6.37] solve iteration 11, LB=-24480, UB=0
88.09/88.57 c [6.4] solve iteration 12, LB=-24480, UB=0
88.09/88.57 c [6.45] solve iteration 13, LB=-24480, UB=0
88.09/88.57 c [6.64] solve iteration 14, LB=-24480, UB=0
88.09/88.57 c [7.21] solve iteration 15, LB=-22464, UB=0
88.09/88.57 c [9.15] solve iteration 16, LB=-22464, UB=0
88.09/88.57 c [9.71] solve iteration 17, LB=-22464, UB=0
88.09/88.57 c [9.99] solve iteration 18, LB=-22464, UB=0
88.09/88.57 c [10.25] solve iteration 19, LB=-22464, UB=0
88.09/88.57 c [10.86] solve iteration 20, LB=-22464, UB=0
88.09/88.57 c [13.53] solve iteration 21, LB=-22464, UB=0
88.09/88.57 c [13.77] solve iteration 22, LB=-22464, UB=0
88.09/88.57 c [14.12] solve iteration 23, LB=-22464, UB=0
88.09/88.57 c [14.64] solve iteration 24, LB=-21820, UB=0
88.09/88.57 c [14.99] solve iteration 25, LB=-21820, UB=0
88.09/88.57 c [19.25] solve iteration 26, LB=-21820, UB=0
88.09/88.57 c [20.47] solve iteration 27, LB=-21820, UB=0
88.09/88.57 c [20.79] solve iteration 28, LB=-21820, UB=0
88.09/88.57 c [22] solve iteration 29, LB=-21818, UB=0
88.09/88.57 c [23.7] solve iteration 30, LB=-21818, UB=0
88.09/88.57 c [29.25] solve iteration 31, LB=-21818, UB=0
88.09/88.57 c [30.25] solve iteration 32, LB=-21818, UB=0
88.09/88.57 c [30.55] solve iteration 33, LB=-21818, UB=0
88.09/88.57 c [31.49] solve iteration 34, LB=-21818, UB=0
88.09/88.57 c [32.96] solve iteration 35, LB=-21818, UB=0
88.09/88.57 c [38.45] solve iteration 36, LB=-21818, UB=0
88.09/88.57 c [39.18] solve iteration 37, LB=-21818, UB=0
88.09/88.57 c [39.67] solve iteration 38, LB=-21818, UB=0
88.09/88.57 c [40.44] solve iteration 39, LB=-21818, UB=0
88.09/88.57 c [41.15] solve iteration 40, LB=-21818, UB=0
88.09/88.57 c [46.57] solve iteration 41, LB=-21818, UB=0
88.09/88.57 c [47.72] solve iteration 42, LB=-21818, UB=0
88.09/88.57 c [47.89] solve iteration 43, LB=-21818, UB=0
88.09/88.57 c [48.36] solve iteration 44, LB=-21818, UB=0
88.09/88.57 c [49.38] solve iteration 45, LB=-21818, UB=0
88.09/88.57 c [57.87] solve iteration 46, LB=-21818, UB=0
88.09/88.57 c [58.13] solve iteration 47, LB=-21818, UB=0
88.09/88.57 c [59.67] solve iteration 48, LB=-21786, UB=0
88.09/88.57 c [60.87] solve iteration 49, LB=-21786, UB=0
88.09/88.57 c [62.15] solve iteration 50, LB=-21786, UB=0
88.09/88.57 c [72.57] solve iteration 51, LB=-21786, UB=0
88.09/88.57 c [73.58] solve iteration 52, LB=-21781, UB=0
88.09/88.57 c [75] solve iteration 53, LB=-21781, UB=0
88.09/88.57 c [75.34] solve iteration 54, LB=-21781, UB=0
88.09/88.57 c [76.55] solve iteration 55, LB=-21781, UB=0
88.09/88.57 c [86.02] solve iteration 56, LB=-21781, UB=0
88.09/88.57 c [86.87] solve iteration 57, LB=-21781, UB=0
88.09/88.57 c [87.58] solve iteration 58, LB=-21781, UB=0
1048.82/1051.36 c [88.51] solve iteration 59, LB=-21781, UB=0
1048.82/1051.36 c [90.5] solve iteration 60, LB=-21781, UB=0
1048.82/1051.36 c [100.46] solve iteration 61, LB=-21781, UB=0
1048.82/1051.36 c [101.77] solve iteration 62, LB=-21781, UB=0
1048.82/1051.36 c [102.98] solve iteration 63, LB=-21781, UB=0
1048.82/1051.36 c [104.54] solve iteration 64, LB=-21781, UB=0
1048.82/1051.36 c [104.86] solve iteration 65, LB=-21781, UB=0
1048.82/1051.36 c [121.47] solve iteration 66, LB=-21781, UB=0
1048.82/1051.36 c [123.94] solve iteration 67, LB=-21781, UB=0
1048.82/1051.36 c [125.27] solve iteration 68, LB=-21781, UB=0
1048.82/1051.36 c [128.77] solve iteration 69, LB=-21781, UB=0
1048.82/1051.36 c [129.26] solve iteration 70, LB=-21781, UB=0
1048.82/1051.36 c [155.04] solve iteration 71, LB=-21781, UB=0
1048.82/1051.36 c [155.91] solve iteration 72, LB=-21781, UB=0
1048.82/1051.36 c [156.38] solve iteration 73, LB=-21781, UB=0
1048.82/1051.36 c [156.93] solve iteration 74, LB=-21781, UB=0
1048.82/1051.36 c [157.51] solve iteration 75, LB=-21781, UB=0
1048.82/1051.36 c [179.74] solve iteration 76, LB=-21781, UB=0
1048.82/1051.36 c [181.7] solve iteration 77, LB=-21781, UB=0
1048.82/1051.36 c [182.4] solve iteration 78, LB=-21781, UB=0
1048.82/1051.36 c [183.23] solve iteration 79, LB=-21781, UB=0
1048.82/1051.36 c [183.54] solve iteration 80, LB=-21781, UB=0
1048.82/1051.36 c [200.32] solve iteration 81, LB=-21781, UB=0
1048.82/1051.36 c [202.1] solve iteration 82, LB=-21781, UB=0
1048.82/1051.36 c [203.73] solve iteration 83, LB=-21781, UB=0
1048.82/1051.36 c [204.93] solve iteration 84, LB=-21781, UB=0
1048.82/1051.36 c [206.36] solve iteration 85, LB=-21781, UB=0
1048.82/1051.36 c [235.89] solve iteration 86, LB=-21781, UB=0
1048.82/1051.36 c [238.27] solve iteration 87, LB=-21781, UB=0
1048.82/1051.36 c [241.26] solve iteration 88, LB=-21781, UB=0
1048.82/1051.36 c [244.58] solve iteration 89, LB=-21781, UB=0
1048.82/1051.36 c [247.62] solve iteration 90, LB=-21781, UB=0
1048.82/1051.36 c [286.9] solve iteration 91, LB=-21781, UB=0
1048.82/1051.36 c [287.74] solve iteration 92, LB=-21781, UB=0
1048.82/1051.36 c [289.53] solve iteration 93, LB=-21781, UB=0
1048.82/1051.36 c [290.91] solve iteration 94, LB=-21781, UB=0
1048.82/1051.36 c [292.99] solve iteration 95, LB=-21781, UB=0
1048.82/1051.36 c [326.94] solve iteration 96, LB=-21781, UB=0
1048.82/1051.36 c [328] solve iteration 97, LB=-21781, UB=0
1048.82/1051.36 c [328.77] solve iteration 98, LB=-21781, UB=0
1048.82/1051.36 c [329.04] solve iteration 99, LB=-21781, UB=0
1048.82/1051.36 c [330.22] solve iteration 100, LB=-21780, UB=0
1048.82/1051.36 c [358.5] solve iteration 101, LB=-21780, UB=0
1048.82/1051.36 c [358.92] solve iteration 102, LB=-21780, UB=0
1048.82/1051.36 c [361.15] solve iteration 103, LB=-21780, UB=0
1048.82/1051.36 c [361.66] solve iteration 104, LB=-21780, UB=0
1048.82/1051.36 c [362.01] solve iteration 105, LB=-21780, UB=0
1048.82/1051.36 c [406.47] solve iteration 106, LB=-21780, UB=0
1048.82/1051.36 c [407.79] solve iteration 107, LB=-21780, UB=0
1048.82/1051.36 c [408.7] solve iteration 108, LB=-21780, UB=0
1048.82/1051.36 c [409.87] solve iteration 109, LB=-21780, UB=0
1048.82/1051.36 c [410.93] solve iteration 110, LB=-21780, UB=0
1048.82/1051.36 c [475.99] solve iteration 111, LB=-21780, UB=0
1048.82/1051.36 c [480.47] solve iteration 112, LB=-21780, UB=0
1048.82/1051.36 c [480.77] solve iteration 113, LB=-21780, UB=0
1048.82/1051.36 c [485.28] solve iteration 114, LB=-21779, UB=0
1048.82/1051.36 c [486.07] solve iteration 115, LB=-21779, UB=0
1048.82/1051.36 c [548.58] solve iteration 116, LB=-21779, UB=0
1048.82/1051.36 c [549.24] solve iteration 117, LB=-21779, UB=0
1048.82/1051.36 c [549.79] solve iteration 118, LB=-21779, UB=0
1048.82/1051.36 c [554.53] solve iteration 119, LB=-21779, UB=0
1048.82/1051.36 c [556.65] solve iteration 120, LB=-21779, UB=0
1048.82/1051.36 c [605.96] solve iteration 121, LB=-21779, UB=0
1048.82/1051.36 c [607.74] solve iteration 122, LB=-21779, UB=0
1048.82/1051.36 c [609.35] solve iteration 123, LB=-21779, UB=0
1048.82/1051.36 c [610.25] solve iteration 124, LB=-21779, UB=0
1048.82/1051.36 c [612.3] solve iteration 125, LB=-21779, UB=0
1048.82/1051.36 c [687.9] solve iteration 126, LB=-21779, UB=0
1048.82/1051.36 c [691.98] solve iteration 127, LB=-21779, UB=0
1048.82/1051.36 c [695] solve iteration 128, LB=-21779, UB=0
1048.82/1051.36 c [701.21] solve iteration 129, LB=-21779, UB=0
1048.82/1051.36 c [708.09] solve iteration 130, LB=-21779, UB=0
1048.82/1051.36 c [805.69] solve iteration 131, LB=-21779, UB=0
1048.82/1051.36 c [808.3] solve iteration 132, LB=-21779, UB=0
1048.82/1051.36 c [810.62] solve iteration 133, LB=-21779, UB=0
1048.82/1051.36 c [811.32] solve iteration 134, LB=-21779, UB=0
1048.82/1051.36 c [811.95] solve iteration 135, LB=-21779, UB=0
1048.82/1051.36 c [897.12] solve iteration 136, LB=-21779, UB=0
1048.82/1051.36 c [898.77] solve iteration 137, LB=-21779, UB=0
1048.82/1051.36 c [903.3] solve iteration 138, LB=-21779, UB=0
1048.82/1051.36 c [908.04] solve iteration 139, LB=-21779, UB=0
1048.82/1051.36 c [911.13] solve iteration 140, LB=-21779, UB=0
1048.82/1051.36 c [1035.68] solve iteration 141, LB=-21779, UB=0
1048.82/1051.36 c [1041.47] solve iteration 142, LB=-21779, UB=0
1048.82/1051.36 c [1042.95] solve iteration 143, LB=-21779, UB=0
1048.82/1051.36 c [1045.5] solve iteration 144, LB=-2HOME/run-glibc-2.34.sh: line 2: 216364 Terminated LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*
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: 63968 MiB (60947 MiB free)
memory of node 1: 64473 MiB (57983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458374-1721868990/watcher-4458374-1721868990 -o /tmp/evaluation-result-4458374-1721868990/solver-4458374-1721868990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721865114-213055 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4458374-1721868990.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=216362, runsolver pid=216359
[startup+0.100085 s]*
/proc/loadavg: 4.07 4.15 4.09 6/265 216365
/proc/meminfo: memFree=121775624/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=135472 memory=21752 CPUtime=0.09 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 1607 0 0 0 9 0 0 0 20 0 2 0 23422417 138723328 5438 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 33868 5438 3237 46 0 6463 0
[pid=216364/tid=216365] ppid=216362 vsize=135472 memory=4026561614 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) R 216362 216362 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23422418 138723328 5438 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 145400 KiB
Current children cumulated memory: 24492 KiB
[startup+0.205927 s]*
/proc/loadavg: 4.07 4.15 4.09 5/265 216365
/proc/meminfo: memFree=121775120/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=135604 memory=22252 CPUtime=0.2 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 1671 0 0 0 19 1 0 0 20 0 2 0 23422417 138858496 5563 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 33901 5563 3300 46 0 6496 0
[pid=216364/tid=216365] ppid=216362 vsize=135604 memory=3471202400344241230 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23422418 138858496 5563 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145532 KiB
Current children cumulated memory: 24992 KiB
[startup+0.30577 s]*
/proc/loadavg: 4.07 4.15 4.09 5/265 216365
/proc/meminfo: memFree=121774644/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=135736 memory=22780 CPUtime=0.3 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 1750 0 0 0 29 1 0 0 20 0 2 0 23422417 138993664 5695 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 33934 5695 3300 46 0 6529 0
[pid=216364/tid=216365] ppid=216362 vsize=135736 memory=-8969416297524913510 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) R 216362 216362 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23422418 138993664 5695 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145664 KiB
Current children cumulated memory: 25520 KiB
[startup+0.700258 s]
/proc/loadavg: 4.07 4.15 4.09 5/265 216365
/proc/meminfo: memFree=121774140/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=136896 memory=24548 CPUtime=0.69 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 2085 0 0 0 67 2 0 0 20 0 2 0 23422417 140181504 6137 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 34224 6137 3521 46 0 6819 0
[pid=216364/tid=216365] ppid=216362 vsize=136896 memory=25596 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23422418 140181504 6137 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146824 KiB
Current children cumulated memory: 27288 KiB
[startup+1.50027 s]
/proc/loadavg: 4.07 4.15 4.09 5/265 216365
/proc/meminfo: memFree=121773328/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=138332 memory=27648 CPUtime=1.48 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 2326 0 0 0 146 2 0 0 20 0 2 0 23422417 141651968 6912 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 34583 6912 3521 46 0 7178 0
[pid=216364/tid=216365] ppid=216362 vsize=138332 memory=11944 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23422418 141651968 6912 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148260 KiB
Current children cumulated memory: 30388 KiB
[startup+3.10574 s]
/proc/loadavg: 4.07 4.14 4.09 5/265 216365
/proc/meminfo: memFree=121769152/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=139280 memory=29492 CPUtime=3.08 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 3656 0 0 0 304 4 0 0 20 0 2 0 23422417 142622720 7373 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 34820 7373 3741 46 0 7415 0
[pid=216364/tid=216365] ppid=216362 vsize=139280 memory=2740 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 23422418 142622720 7373 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149208 KiB
Current children cumulated memory: 32232 KiB
[startup+6.30026 s]
/proc/loadavg: 4.07 4.14 4.09 5/265 216367
/proc/meminfo: memFree=121767704/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=141560 memory=30456 CPUtime=6.27 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 5566 0 0 0 619 8 0 0 20 0 2 0 23422417 144957440 7614 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 35390 7614 3741 46 0 7985 0
[pid=216364/tid=216365] ppid=216362 vsize=141560 memory=2740 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 23422418 144957440 7614 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 151488 KiB
Current children cumulated memory: 33196 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.16 4.09 5/265 216367
/proc/meminfo: memFree=121762744/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=151580 memory=34128 CPUtime=12.64 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 9202 0 0 0 1249 15 0 0 20 0 2 0 23422417 155217920 8532 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 37895 8532 3805 46 0 10490 0
[pid=216364/tid=216365] ppid=216362 vsize=151580 memory=2740 CPUtime=0 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 23422418 155217920 8532 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 161508 KiB
Current children cumulated memory: 36868 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.15 4.09 5/265 216370
/proc/meminfo: memFree=121741220/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=177060 memory=43464 CPUtime=25.37 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 15342 0 0 0 2513 24 0 0 20 0 2 0 23422417 181309440 10866 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 44265 10866 3821 46 0 16860 0
[pid=216364/tid=216365] ppid=216362 vsize=177060 memory=39412 CPUtime=0.01 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 25 0 0 0 0 1 0 0 20 0 2 0 23422418 181309440 10866 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 186988 KiB
Current children cumulated memory: 46204 KiB
[startup+51.1059 s]
/proc/loadavg: 4.07 4.14 4.09 5/265 216374
/proc/meminfo: memFree=121731200/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=201968 memory=47524 CPUtime=50.85 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 25935 0 0 0 5044 41 0 0 20 0 2 0 23422417 206815232 11881 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 50492 11881 3821 46 0 23087 0
[pid=216364/tid=216365] ppid=216362 vsize=201968 memory=2740 CPUtime=0.03 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 40 0 0 0 0 3 0 0 20 0 2 0 23422418 206815232 11881 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 211896 KiB
Current children cumulated memory: 50264 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/265 216383
/proc/meminfo: memFree=121716812/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=194224 memory=55168 CPUtime=101.84 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 36691 0 0 0 10119 65 0 0 20 0 2 0 23422417 198885376 13792 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 48556 13792 3836 46 0 21151 0
[pid=216364/tid=216365] ppid=216362 vsize=194224 memory=11944 CPUtime=0.07 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 50 0 0 0 2 5 0 0 20 0 2 0 23422418 198885376 13792 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 204152 KiB
Current children cumulated memory: 57908 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/216364/statm: 73789 35549 3971 46 0 46384 0
[pid=216364/tid=216365] ppid=216362 vsize=295156 memory=11944 CPUtime=3.43 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 260 0 0 0 118 225 0 0 20 0 2 0 23422418 302239744 35549 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3156.84 s
Current children cumulated vsize: 305084 KiB
Current children cumulated memory: 144936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/264 217766
/proc/meminfo: memFree=121380860/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=295156 memory=142196 CPUtime=3216.77 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 128534 0 0 0 320956 721 0 0 20 0 2 0 23422417 302239744 35549 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 73789 35549 3971 46 0 46384 0
[pid=216364/tid=216365] ppid=216362 vsize=295156 memory=2740 CPUtime=3.5 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 264 0 0 0 121 229 0 0 20 0 2 0 23422418 302239744 35549 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3216.77 s
Current children cumulated vsize: 305084 KiB
Current children cumulated memory: 144936 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/265 217781
/proc/meminfo: memFree=121379952/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=295880 memory=142112 CPUtime=3276.64 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 129680 0 0 0 326930 734 0 0 20 0 2 0 23422417 302981120 35528 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 73970 35528 3971 46 0 46565 0
[pid=216364/tid=216365] ppid=216362 vsize=295880 memory=2740 CPUtime=3.57 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 268 0 0 0 123 234 0 0 20 0 2 0 23422418 302981120 35528 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3276.64 s
Current children cumulated vsize: 305808 KiB
Current children cumulated memory: 144852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/265 217841
/proc/meminfo: memFree=121481408/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=295880 memory=142308 CPUtime=3336.57 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 130051 0 0 0 332914 743 0 0 20 0 2 0 23422417 302981120 35577 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 73970 35577 3987 46 0 46565 0
[pid=216364/tid=216365] ppid=216362 vsize=295880 memory=2740 CPUtime=3.63 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 272 0 0 0 125 238 0 0 20 0 2 0 23422418 302981120 35577 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3336.57 s
Current children cumulated vsize: 305808 KiB
Current children cumulated memory: 145048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/264 217898
/proc/meminfo: memFree=121392536/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=295880 memory=142308 CPUtime=3396.5 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 130423 0 0 0 338898 752 0 0 20 0 2 0 23422417 302981120 35577 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 73970 35577 3987 46 0 46565 0
[pid=216364/tid=216365] ppid=216362 vsize=295880 memory=11944 CPUtime=3.7 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 276 0 0 0 128 242 0 0 20 0 2 0 23422418 302981120 35577 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3396.5 s
Current children cumulated vsize: 305808 KiB
Current children cumulated memory: 145048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/264 217956
/proc/meminfo: memFree=121422444/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=295880 memory=142308 CPUtime=3456.43 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 130802 0 0 0 344883 760 0 0 20 0 2 0 23422417 302981120 35577 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 73970 35577 3987 46 0 46565 0
[pid=216364/tid=216365] ppid=216362 vsize=295880 memory=11944 CPUtime=3.76 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 280 0 0 0 130 246 0 0 20 0 2 0 23422418 302981120 35577 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3456.43 s
Current children cumulated vsize: 305808 KiB
Current children cumulated memory: 145048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/264 217966
/proc/meminfo: memFree=121375292/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=296060 memory=142264 CPUtime=3516.33 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 131528 0 1 0 350863 770 0 0 20 0 2 0 23422417 303165440 35566 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 74015 35566 4002 46 0 46610 0
[pid=216364/tid=216365] ppid=216362 vsize=296060 memory=2740 CPUtime=3.82 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 284 0 0 0 132 250 0 0 20 0 2 0 23422418 303165440 35566 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3516.33 s
Current children cumulated vsize: 305988 KiB
Current children cumulated memory: 145004 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.15 5/264 218361
/proc/meminfo: memFree=121300808/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=296460 memory=142408 CPUtime=3576.22 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 132203 0 1 0 356840 782 0 0 20 0 2 0 23422417 303575040 35602 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 74115 35602 4002 46 0 46710 0
[pid=216364/tid=216365] ppid=216362 vsize=296460 memory=2740 CPUtime=3.88 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 288 0 0 0 134 254 0 0 20 0 2 0 23422418 303575040 35602 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3576.22 s
Current children cumulated vsize: 306388 KiB
Current children cumulated memory: 145148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.11 s]
/proc/loadavg: 4.19 4.16 4.15 5/264 218366
/proc/meminfo: memFree=121282372/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=296460 memory=142408 CPUtime=3600 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 132204 0 1 0 359215 785 0 0 20 0 2 0 23422417 303575040 35602 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 74115 35602 4002 46 0 46710 0
[pid=216364/tid=216365] ppid=216362 vsize=296460 memory=2740 CPUtime=3.9 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 288 0 0 0 134 256 0 0 20 0 2 0 23422418 303575040 35602 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 306388 KiB
Current children cumulated memory: 145148 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3606.11 s]
# the end of solver process 216362 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.16 s, system=7.85858 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.11 s]
/proc/loadavg: 4.19 4.16 4.15 5/264 218366
/proc/meminfo: memFree=121282372/131524600 swapFree=131054968/131071996
[pid=216362] ppid=216359 vsize=9928 memory=2740 CPUtime=0 cores=4,6
/proc/216362/stat : 216362 (run-glibc-2.34.) S 216359 216362 213044 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 23422417 10166272 685 134679101440 93981076045824 93981077125144 140723565163888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93981079223600 93981079270788 93981089464320 140723565167563 140723565167708 140723565167708 140723565174723 0
/proc/216362/statm: 2482 685 604 264 0 133 0
[pid=216364] ppid=216362 vsize=296460 memory=142408 CPUtime=3600 cores=4,6
/proc/216364/stat : 216364 (ld-linux-x86-64) R 216362 216362 213044 0 -1 4194304 132204 0 1 0 359215 785 0 0 20 0 2 0 23422417 303575040 35602 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
/proc/216364/statm: 74115 35602 4002 46 0 46710 0
[pid=216364/tid=216365] ppid=216362 vsize=296460 memory=2740 CPUtime=3.9 cores=4,6
/proc/216364/task/216365/stat : 216365 (ld-linux-x86-64) S 216362 216362 213044 0 -1 1077936192 288 0 0 0 134 256 0 0 20 0 2 0 23422418 303575040 35602 134679101440 140470209683456 140470209871068 140733856202656 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140470211971968 140470211981416 93825020858368 140733856207715 140733856207867 140733856207867 140733856214962 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 306388 KiB
Current children cumulated memory: 145148 KiB
Child status: 143
Real time (s): 3606.11
CPU time (s): 3600.02
CPU user time (s): 3592.16
CPU system time (s): 7.85858
CPU usage (%): 99.8311
Max. virtual memory (cumulated for all children) (KiB): 306388
Max. memory (cumulated for all children) (KiB): 145148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.16
system time used= 7.85858
maximum resident set size= 142408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132420
page faults= 1
swaps= 0
block input operations= 176
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357172
involuntary context switches= 1459
# summary of solver processes directly reported to runsolver:
# pid: 216362
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.16
# total CPU system time (s): 7.85858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97908 second user time and 18.409 second system time
The end