0.19/0.24 c initialize IPBHS solver
0.19/0.24 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
0.19/0.24 c optimizer = "gurobi"
0.19/0.24 c pbsolver = "roundingsat"
0.19/0.24 c load symmetries from file ""
0.19/0.24 c set time limit for symmetry computation to 100 seconds.
0.19/0.24 c set interchangeable summation variable limit to 3
0.19/0.24 c find symmetric cores by applying each permutation and add them to optimizer
0.19/0.24 c set abs symmetric core budget per WCE-iteration to 100
0.19/0.24 c set rel symmetric core budget per WCE-iteration to 0
0.19/0.24 c set lit symmetric core budget per WCE-iteration to 0
0.19/0.24 c set sym generation to 's'
0.19/0.24 c set abstraction set creation to 10 iterations without LB change
0.19/0.24 c set abstraction set inputs to 0
0.19/0.24 c set abstraction set cluster min size to 2
0.19/0.24 c set abstraction set cluster max size to 100000000
0.19/0.24 c set abstraction set cluster activation limit to 2
0.19/0.24 c enable abstraction set require equal cost
0.19/0.24 c set abstraction set assumptions to 0
0.19/0.24 c set abstraction set constraint type to 0
0.19/0.24 c set abstract core extraction strategy to b
0.19/0.24 c set core extraction strategy to 2
0.19/0.24 c set core extraction shuffles 10
0.19/0.24 c set cores per iteration to 5
0.19/0.24 c set optimizer bound usage strategy to 2
0.19/0.24 c set optimizer max non-optimal iterations to 1000
0.19/0.24 c set small core cardinality limit to 2
0.19/0.24 c set max coef in cores to 1000000000
0.19/0.24 c set SIS iterations to 5
0.19/0.24 c set SIS budget abs to 1000
0.19/0.24 c set SIS budget rel to 0.05
0.19/0.24 c limit for coefficient in constraints and objective to 9223372036854775807
0.19/0.24 c will solve HOME/instance-4449859-1721403116.opb
731.40/733.75 c [1.07] solve iteration 1, LB=0, UB=20
731.40/733.75 c [3.15] solve iteration 2, LB=0, UB=19
731.40/733.75 c [8.1] solve iteration 3, LB=1, UB=19
731.40/733.75 c [20.02] solve iteration 4, LB=2, UB=19
731.40/733.75 c [34.18] solve iteration 5, LB=2, UB=19
731.40/733.75 c [55.28] solve iteration 6, LB=2, UB=18
731.40/733.75 c [66.24] solve iteration 7, LB=2, UB=18
731.40/733.75 c [81.12] solve iteration 8, LB=2, UB=18
731.40/733.75 c [113.75] solve iteration 9, LB=2, UB=18
731.40/733.75 c [123.58] solve iteration 10, LB=2, UB=18
731.40/733.75 c [134.14] solve iteration 11, LB=2, UB=17
731.40/733.75 c [139.13] solve iteration 12, LB=2, UB=17
731.40/733.75 c [139.36] solve iteration 13, LB=2, UB=17
731.40/733.75 c [150.63] solve iteration 14, LB=2, UB=17
731.40/733.75 c [157.49] solve iteration 15, LB=2, UB=17
731.40/733.75 c [170.92] solve iteration 16, LB=2, UB=17
731.40/733.75 c [172.45] solve iteration 17, LB=2, UB=17
731.40/733.75 c [172.63] solve iteration 18, LB=2, UB=17
731.40/733.75 c [172.77] solve iteration 19, LB=2, UB=17
731.40/733.75 c [172.87] solve iteration 20, LB=2, UB=17
731.40/733.75 c [192.66] solve iteration 21, LB=2, UB=17
731.40/733.75 c [193.23] solve iteration 22, LB=2, UB=17
731.40/733.75 c [193.28] solve iteration 23, LB=2, UB=17
731.40/733.75 c [193.48] solve iteration 24, LB=2, UB=17
731.40/733.75 c [193.71] solve iteration 25, LB=2, UB=17
731.40/733.75 c [211.79] solve iteration 26, LB=2, UB=17
731.40/733.75 c [212.01] solve iteration 27, LB=2, UB=17
731.40/733.75 c [212.19] solve iteration 28, LB=2, UB=17
731.40/733.75 c [212.26] solve iteration 29, LB=2, UB=17
731.40/733.75 c [212.37] solve iteration 30, LB=2, UB=17
731.40/733.75 c [231.9] solve iteration 31, LB=2, UB=17
731.40/733.75 c [232.14] solve iteration 32, LB=2, UB=17
731.40/733.75 c [232.27] solve iteration 33, LB=2, UB=17
731.40/733.75 c [232.39] solve iteration 34, LB=2, UB=17
731.40/733.75 c [232.5] solve iteration 35, LB=2, UB=17
731.40/733.75 c [252.59] solve iteration 36, LB=2, UB=17
731.40/733.75 c [253.69] solve iteration 37, LB=2, UB=17
731.40/733.75 c [253.83] solve iteration 38, LB=2, UB=17
731.40/733.75 c [253.93] solve iteration 39, LB=2, UB=17
731.40/733.75 c [254] solve iteration 40, LB=2, UB=17
731.40/733.75 c [277.21] solve iteration 41, LB=2, UB=17
731.40/733.75 c [277.52] solve iteration 42, LB=2, UB=17
731.40/733.75 c [277.61] solve iteration 43, LB=2, UB=17
731.40/733.75 c [277.69] solve iteration 44, LB=2, UB=17
731.40/733.75 c [277.78] solve iteration 45, LB=2, UB=17
731.40/733.75 c [302.98] solve iteration 46, LB=2, UB=17
731.40/733.75 c [303.17] solve iteration 47, LB=2, UB=17
731.40/733.75 c [303.29] solve iteration 48, LB=2, UB=17
731.40/733.75 c [303.39] solve iteration 49, LB=2, UB=17
731.40/733.75 c [303.55] solve iteration 50, LB=2, UB=17
731.40/733.75 c [331.61] solve iteration 51, LB=2, UB=17
731.40/733.75 c [332.12] solve iteration 52, LB=2, UB=17
731.40/733.75 c [332.25] solve iteration 53, LB=2, UB=17
731.40/733.75 c [332.35] solve iteration 54, LB=2, UB=17
731.40/733.75 c [332.45] solve iteration 55, LB=2, UB=17
731.40/733.75 c [361.25] solve iteration 56, LB=2, UB=17
731.40/733.75 c [361.81] solve iteration 57, LB=2, UB=17
731.40/733.75 c [361.93] solve iteration 58, LB=2, UB=17
731.40/733.75 c [362.05] solve iteration 59, LB=2, UB=17
731.40/733.75 c [362.15] solve iteration 60, LB=2, UB=17
731.40/733.75 c [391.93] solve iteration 61, LB=2, UB=17
731.40/733.75 c [392.36] solve iteration 62, LB=2, UB=17
731.40/733.75 c [392.47] solve iteration 63, LB=2, UB=17
731.40/733.75 c [392.67] solve iteration 64, LB=2, UB=17
731.40/733.75 c [392.97] solve iteration 65, LB=2, UB=17
731.40/733.75 c [423.96] solve iteration 66, LB=2, UB=17
731.40/733.75 c [424.29] solve iteration 67, LB=2, UB=17
731.40/733.75 c [424.53] solve iteration 68, LB=2, UB=17
731.40/733.75 c [424.69] solve iteration 69, LB=2, UB=17
731.40/733.75 c [424.83] solve iteration 70, LB=2, UB=17
731.40/733.75 c [461.22] solve iteration 71, LB=2, UB=17
731.40/733.75 c [461.63] solve iteration 72, LB=2, UB=17
731.40/733.75 c [461.77] solve iteration 73, LB=2, UB=17
731.40/733.75 c [461.92] solve iteration 74, LB=2, UB=17
731.40/733.75 c [462.05] solve iteration 75, LB=2, UB=17
731.40/733.75 c [504.76] solve iteration 76, LB=2, UB=17
731.40/733.75 c [505.05] solve iteration 77, LB=2, UB=17
731.40/733.75 c [505.2] solve iteration 78, LB=2, UB=17
731.40/733.75 c [505.35] solve iteration 79, LB=2, UB=17
731.40/733.75 c [505.53] solve iteration 80, LB=2, UB=17
731.40/733.75 c [548.3] solve iteration 81, LB=2, UB=17
731.40/733.75 c [548.65] solve iteration 82, LB=2, UB=17
731.40/733.75 c [548.81] solve iteration 83, LB=2, UB=17
731.40/733.75 c [549] solve iteration 84, LB=2, UB=17
731.40/733.75 c [549.16] solve iteration 85, LB=2, UB=17
731.40/733.75 c [590.46] solve iteration 86, LB=2, UB=17
731.40/733.75 c [590.95] solve iteration 87, LB=2, UB=17
731.40/733.75 c [591.16] solve iteration 88, LB=2, UB=17
731.40/733.75 c [591.36] solve iteration 89, LB=2, UB=17
731.40/733.75 c [591.51] solve iteration 90, LB=2, UB=17
731.40/733.75 c [638.92] solve iteration 91, LB=2, UB=17
731.40/733.75 c [639.46] solve iteration 92, LB=2, UB=17
731.40/733.75 c [639.62] solve iteration 93, LB=2, UB=17
731.40/733.75 c [639.78] solve iteration 94, LB=2, UB=17
731.40/733.75 c [640.03] solve iteration 95, LB=2, UB=17
731.40/733.75 c [692.3] solve iteration 96, LB=2, UB=17
3108.61/3116.21 c [692.63] solve iteration 97, LB=2, UB=17
3108.61/3116.21 c [692.81] solve iteration 98, LB=2, UB=17
3108.61/3116.21 c [692.99] solve iteration 99, LB=2, UB=17
3108.61/3116.21 c [693.16] solve iteration 100, LB=2, UB=17
3108.61/3116.21 c [743.17] solve iteration 101, LB=2, UB=17
3108.61/3116.21 c [743.61] solve iteration 102, LB=2, UB=17
3108.61/3116.21 c [743.82] solve iteration 103, LB=2, UB=17
3108.61/3116.21 c [743.99] solve iteration 104, LB=2, UB=17
3108.61/3116.21 c [744.16] solve iteration 105, LB=2, UB=17
3108.61/3116.21 c [806.17] solve iteration 106, LB=2, UB=17
3108.61/3116.21 c [806.52] solve iteration 107, LB=2, UB=17
3108.61/3116.21 c [806.76] solve iteration 108, LB=2, UB=17
3108.61/3116.21 c [806.95] solve iteration 109, LB=2, UB=17
3108.61/3116.21 c [807.15] solve iteration 110, LB=2, UB=17
3108.61/3116.21 c [874.23] solve iteration 111, LB=2, UB=17
3108.61/3116.21 c [874.59] solve iteration 112, LB=2, UB=17
3108.61/3116.21 c [874.82] solve iteration 113, LB=2, UB=17
3108.61/3116.21 c [875] solve iteration 114, LB=2, UB=17
3108.61/3116.21 c [875.2] solve iteration 115, LB=2, UB=17
3108.61/3116.21 c [929.17] solve iteration 116, LB=2, UB=17
3108.61/3116.21 c [929.55] solve iteration 117, LB=2, UB=17
3108.61/3116.21 c [929.77] solve iteration 118, LB=2, UB=17
3108.61/3116.21 c [929.97] solve iteration 119, LB=2, UB=17
3108.61/3116.21 c [930.16] solve iteration 120, LB=2, UB=17
3108.61/3116.21 c [997.83] solve iteration 121, LB=2, UB=17
3108.61/3116.21 c [998.19] solve iteration 122, LB=2, UB=17
3108.61/3116.21 c [998.42] solve iteration 123, LB=2, UB=17
3108.61/3116.21 c [998.63] solve iteration 124, LB=2, UB=17
3108.61/3116.21 c [998.84] solve iteration 125, LB=2, UB=17
3108.61/3116.21 c [1086.44] solve iteration 126, LB=2, UB=17
3108.61/3116.21 c [1086.88] solve iteration 127, LB=2, UB=17
3108.61/3116.21 c [1087.12] solve iteration 128, LB=2, UB=17
3108.61/3116.21 c [1087.37] solve iteration 129, LB=2, UB=17
3108.61/3116.21 c [1087.59] solve iteration 130, LB=2, UB=17
3108.61/3116.21 c [1186.07] solve iteration 131, LB=2, UB=17
3108.61/3116.21 c [1186.5] solve iteration 132, LB=2, UB=17
3108.61/3116.21 c [1186.78] solve iteration 133, LB=2, UB=17
3108.61/3116.21 c [1187.03] solve iteration 134, LB=2, UB=17
3108.61/3116.21 c [1187.27] solve iteration 135, LB=2, UB=17
3108.61/3116.21 c [1283.7] solve iteration 136, LB=2, UB=17
3108.61/3116.21 c [1284.34] solve iteration 137, LB=2, UB=17
3108.61/3116.21 c [1284.57] solve iteration 138, LB=2, UB=17
3108.61/3116.21 c [1284.87] solve iteration 139, LB=2, UB=17
3108.61/3116.21 c [1285.09] solve iteration 140, LB=2, UB=17
3108.61/3116.21 c [1392.93] solve iteration 141, LB=2, UB=17
3108.61/3116.21 c [1393.33] solve iteration 142, LB=2, UB=17
3108.61/3116.21 c [1393.57] solve iteration 143, LB=2, UB=17
3108.61/3116.21 c [1393.86] solve iteration 144, LB=2, UB=17
3108.61/3116.21 c [1394.11] solve iteration 145, LB=2, UB=17
3108.61/3116.21 c [1510.52] solve iteration 146, LB=2, UB=17
3108.61/3116.21 c [1511.08] solve iteration 147, LB=2, UB=17
3108.61/3116.21 c [1511.39] solve iteration 148, LB=2, UB=17
3108.61/3116.21 c [1511.65] solve iteration 149, LB=2, UB=17
3108.61/3116.21 c [1511.92] solve iteration 150, LB=2, UB=17
3108.61/3116.21 c [1642.69] solve iteration 151, LB=2, UB=17
3108.61/3116.21 c [1643.34] solve iteration 152, LB=2, UB=17
3108.61/3116.21 c [1643.64] solve iteration 153, LB=2, UB=17
3108.61/3116.21 c [1643.92] solve iteration 154, LB=2, UB=17
3108.61/3116.21 c [1644.17] solve iteration 155, LB=2, UB=17
3108.61/3116.21 c [1791.07] solve iteration 156, LB=2, UB=17
3108.61/3116.21 c [1791.63] solve iteration 157, LB=2, UB=17
3108.61/3116.21 c [1791.93] solve iteration 158, LB=2, UB=17
3108.61/3116.21 c [1792.18] solve iteration 159, LB=2, UB=17
3108.61/3116.21 c [1792.46] solve iteration 160, LB=2, UB=17
3108.61/3116.21 c [1937.57] solve iteration 161, LB=2, UB=17
3108.61/3116.21 c [1938.33] solve iteration 162, LB=2, UB=17
3108.61/3116.21 c [1938.62] solve iteration 163, LB=2, UB=17
3108.61/3116.21 c [1938.88] solve iteration 164, LB=2, UB=17
3108.61/3116.21 c [1939.17] solve iteration 165, LB=2, UB=17
3108.61/3116.21 c [2108.98] solve iteration 166, LB=2, UB=17
3108.61/3116.21 c [2109.76] solve iteration 167, LB=2, UB=17
3108.61/3116.21 c [2110.06] solve iteration 168, LB=2, UB=17
3108.61/3116.21 c [2110.34] solve iteration 169, LB=2, UB=17
3108.61/3116.21 c [2110.61] solve iteration 170, LB=2, UB=17
3108.61/3116.21 c [2296.99] solve iteration 171, LB=2, UB=17
3108.61/3116.21 c [2298.19] solve iteration 172, LB=2, UB=17
3108.61/3116.21 c [2298.56] solve iteration 173, LB=2, UB=17
3108.61/3116.21 c [2298.88] solve iteration 174, LB=2, UB=17
3108.61/3116.21 c [2299.16] solve iteration 175, LB=2, UB=17
3108.61/3116.21 c [2511.41] solve iteration 176, LB=2, UB=17
3108.61/3116.21 c [2511.97] solve iteration 177, LB=2, UB=17
3108.61/3116.21 c [2512.27] solve iteration 178, LB=2, UB=17
3108.61/3116.21 c [2512.59] solve iteration 179, LB=2, UB=17
3108.61/3116.21 c [2512.89] solve iteration 180, LB=2, UB=17
3108.61/3116.21 c [2748.16] solve iteration 181, LB=2, UB=17
3108.61/3116.21 c [2748.78] solve iteration 182, LB=2, UB=17
3108.61/3116.21 c [2749.18] solve iteration 183, LB=2, UB=17
3108.61/3116.21 c [2749.53] solve iteration 184, LB=2, UB=17
3108.61/3116.21 c [2749.86] solve iteration 185, LB=2, UB=17
3108.61/3116.21 c [3002.88] solve iteration 186, LB=2, UB=17
3108.61/3116.21 c [3003.76] solve iteration 187, LB=2, UB=17
3108.61/3116.21 c [3004.11] solve iteration 188, LB=2, HOME/run-glibc-2.34.sh: line 2: 1021846 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: 63931 MiB (61210 MiB free)
memory of node 1: 64510 MiB (61423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449859-1721403116/watcher-4449859-1721403116 -o /tmp/evaluation-result-4449859-1721403116/solver-4449859-1721403116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721399515-1019728 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4449859-1721403116.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=1021844, runsolver pid=1021841
Current StackSize limit: 8192 KiB
[startup+0.100763 s]*
/proc/loadavg: 4.01 4.13 4.06 4/256 1021846
/proc/meminfo: memFree=125561876/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=99940 memory=20864 CPUtime=0.09 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 4199 0 0 0 7 2 0 0 20 0 1 0 192470723 102338560 5216 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 24985 5216 1694 46 0 5600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109868 KiB
Current children cumulated memory: 23640 KiB
[startup+0.205479 s]*
/proc/loadavg: 4.01 4.13 4.06 4/257 1021847
/proc/meminfo: memFree=125522076/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=178100 memory=64884 CPUtime=0.19 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 12691 0 0 0 13 6 0 0 20 0 2 0 192470723 182374400 16221 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 44525 16221 2752 46 0 17120 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=178100 memory=8093824160770949251 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470738 182374400 16221 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 188028 KiB
Current children cumulated memory: 67660 KiB
[startup+0.305474 s]*
/proc/loadavg: 4.01 4.13 4.06 4/257 1021847
/proc/meminfo: memFree=125515328/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=185756 memory=70980 CPUtime=0.3 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 14618 0 0 0 23 7 0 0 20 0 2 0 192470723 190214144 17745 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 46439 17745 2755 46 0 19034 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=185756 memory=4208399939146580097 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470738 190214144 17745 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 195684 KiB
Current children cumulated memory: 73756 KiB
[startup+0.700199 s]
/proc/loadavg: 4.01 4.13 4.06 4/257 1021847
/proc/meminfo: memFree=125514656/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=185756 memory=71244 CPUtime=0.68 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 14704 0 0 0 61 7 0 0 20 0 2 0 192470723 190214144 17811 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 46439 17811 2755 46 0 19034 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=185756 memory=321 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470738 190214144 17811 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195684 KiB
Current children cumulated memory: 74020 KiB
[startup+1.50019 s]
/proc/loadavg: 4.01 4.13 4.06 4/257 1021847
/proc/meminfo: memFree=125514460/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=186252 memory=73336 CPUtime=1.46 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 16156 0 0 0 137 9 0 0 20 0 2 0 192470723 190722048 18334 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 46563 18334 2755 46 0 19158 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=186252 memory=71244 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470738 190722048 18334 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 196180 KiB
Current children cumulated memory: 76112 KiB
[startup+3.10511 s]
/proc/loadavg: 3.93 4.11 4.05 4/257 1021847
/proc/meminfo: memFree=125511548/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=188972 memory=76740 CPUtime=3.07 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 18703 0 0 0 281 26 0 0 20 0 2 0 192470723 193507328 19185 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 47243 19185 3373 46 0 19838 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=188972 memory=4208399939146580097 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192470738 193507328 19185 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 198900 KiB
Current children cumulated memory: 79516 KiB
[startup+6.3002 s]
/proc/loadavg: 3.93 4.11 4.05 6/257 1021847
/proc/meminfo: memFree=125508208/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=188972 memory=80140 CPUtime=6.25 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 22661 0 0 0 571 54 0 0 20 0 2 0 192470723 193507328 20035 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 47243 20035 3595 46 0 19838 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=188972 memory=76740 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192470738 193507328 20035 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 198900 KiB
Current children cumulated memory: 82916 KiB
[startup+12.7002 s]
/proc/loadavg: 3.93 4.11 4.05 4/257 1021849
/proc/meminfo: memFree=125503844/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=193392 memory=84332 CPUtime=12.61 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 31565 0 0 0 1154 107 0 0 20 0 2 0 192470723 198033408 21083 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 48348 21083 3817 46 0 20943 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=193392 memory=29536 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 192470738 198033408 21083 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 203320 KiB
Current children cumulated memory: 87108 KiB
[startup+25.5002 s]
/proc/loadavg: 3.73 4.06 4.04 4/257 1021850
/proc/meminfo: memFree=125501280/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=193392 memory=85424 CPUtime=25.37 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 43887 0 0 0 2351 186 0 0 20 0 2 0 192470723 198033408 21356 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 48348 21356 3817 46 0 20943 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=193392 memory=7804 CPUtime=0 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 192470738 198033408 21356 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 203320 KiB
Current children cumulated memory: 88200 KiB
[startup+51.1054 s]
/proc/loadavg: 3.48 3.97 4.01 4/257 1021855
/proc/meminfo: memFree=125487564/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=200572 memory=92384 CPUtime=50.9 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 65091 0 0 0 4780 310 0 0 20 0 2 0 192470723 205385728 23096 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 50143 23096 3817 46 0 22738 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=200572 memory=92384 CPUtime=0.01 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 41 0 0 0 0 1 0 0 20 0 2 0 192470738 205385728 23096 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 210500 KiB
Current children cumulated memory: 95160 KiB
[startup+102.3 s]
/proc/loadavg: 3.27 3.84 3.96 4/256 1021865
/proc/meminfo: memFree=125461820/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=234256 memory=107272 CPUtime=101.92 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 91406 0 0 0 9639 553 0 0 20 0 2 0 192470723 239878144 26818 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 58564 26818 3817 46 0 31159 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=234256 memory=2776 CPUtime=0.03 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 51 0 0 0 1 2 0 0 20 0 2 0 192470738 239878144 26818 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 244184 KiB
Current children cumulated memory: 110048 KiB
[startup+162.3 s]
/proc/loadavg: 3.15 3.70 3.90 4/257 1021878
/proc/meminfo: memFree=125446636/131524600 swapFree=130799640/131071996
################
# More data... #
################
/proc/1021846/statm: 211868 144649 3817 46 0 184463 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=847472 memory=736 CPUtime=2.06 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 182 0 0 0 77 129 0 0 20 0 2 0 192470738 867811328 144649 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3094.76 s
Current children cumulated vsize: 857400 KiB
Current children cumulated memory: 581372 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.12 2.17 3/250 1023053
/proc/meminfo: memFree=125121204/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=855400 memory=578056 CPUtime=3154.61 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 411460 0 0 0 304936 10525 0 0 20 0 2 0 192470723 875929600 144514 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 213850 144514 3817 46 0 186445 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=855400 memory=2776 CPUtime=2.11 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 185 0 0 0 79 132 0 0 20 0 2 0 192470738 875929600 144514 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 865328 KiB
Current children cumulated memory: 580832 KiB
[startup+3222.3 s]
/proc/loadavg: 2.09 2.11 2.16 3/250 1023446
/proc/meminfo: memFree=125115536/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=856192 memory=582596 CPUtime=3214.49 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 418846 0 0 0 310843 10606 0 0 20 0 2 0 192470723 876740608 145649 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 214048 145649 3817 46 0 186643 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=856192 memory=7804 CPUtime=2.15 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 188 0 0 0 81 134 0 0 20 0 2 0 192470738 876740608 145649 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3214.49 s
Current children cumulated vsize: 866120 KiB
Current children cumulated memory: 585372 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.12 2.16 3/248 1023456
/proc/meminfo: memFree=125090812/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=988452 memory=606984 CPUtime=3274.35 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 421079 0 0 0 316761 10674 0 0 20 0 2 0 192470723 1012174848 151746 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 247113 151746 3817 46 0 219708 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=988452 memory=2776 CPUtime=2.2 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 191 0 0 0 83 137 0 0 20 0 2 0 192470738 1012174848 151746 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 998380 KiB
Current children cumulated memory: 609760 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.11 2.16 3/247 1023468
/proc/meminfo: memFree=125075316/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=992508 memory=619212 CPUtime=3334.2 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 473374 0 0 0 322656 10764 0 0 20 0 2 0 192470723 1016328192 154803 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 248127 154803 3817 46 0 220722 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=992508 memory=619212 CPUtime=2.25 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 194 0 0 0 85 140 0 0 20 0 2 0 192470738 1016328192 154803 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 1002436 KiB
Current children cumulated memory: 621988 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.10 2.15 3/247 1023649
/proc/meminfo: memFree=125070904/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=1001036 memory=618584 CPUtime=3394.04 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 533792 0 0 0 328557 10847 0 0 20 0 2 0 192470723 1025060864 154646 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 250259 154646 3817 46 0 222854 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=1001036 memory=2776 CPUtime=2.28 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 197 0 0 0 86 142 0 0 20 0 2 0 192470738 1025060864 154646 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 1010964 KiB
Current children cumulated memory: 621360 KiB
[startup+3462.3 s]
/proc/loadavg: 2.19 2.13 2.16 3/247 1023659
/proc/meminfo: memFree=125064520/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=1002224 memory=624256 CPUtime=3453.87 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 559571 0 0 0 334466 10921 0 0 20 0 2 0 192470723 1026277376 156064 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 250556 156064 3817 46 0 223151 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=1002224 memory=624256 CPUtime=2.33 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 198 0 0 0 88 145 0 0 20 0 2 0 192470738 1026277376 156064 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 1012152 KiB
Current children cumulated memory: 627032 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.12 2.15 3/249 1023727
/proc/meminfo: memFree=125040872/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=1002224 memory=640640 CPUtime=3513.72 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 564863 0 0 0 340402 10970 0 0 20 0 2 0 192470723 1026277376 160160 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 250556 160160 3817 46 0 223151 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=1002224 memory=29536 CPUtime=2.37 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 201 0 0 0 90 147 0 0 20 0 2 0 192470738 1026277376 160160 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 1012152 KiB
Current children cumulated memory: 643416 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.11 2.15 3/248 1023739
/proc/meminfo: memFree=125007524/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=1007352 memory=655904 CPUtime=3573.58 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 567650 0 0 0 346323 11035 0 0 20 0 2 0 192470723 1031528448 163976 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 251838 163976 3817 46 0 224433 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=1007352 memory=736 CPUtime=2.41 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 204 0 0 0 92 149 0 0 20 0 2 0 192470738 1031528448 163976 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 1017280 KiB
Current children cumulated memory: 658680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 2.00 2.08 2.14 2/239 1023774
/proc/meminfo: memFree=125199340/131524600 swapFree=130799640/131071996
[pid=1021844] ppid=1021841 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/1021844/stat : 1021844 (run-glibc-2.34.) S 1021841 1021844 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192470723 10166272 694 134679101440 94604299141120 94604300220440 140730740005808 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94604302318896 94604302366084 94604335112192 140730740011965 140730740012122 140730740012122 140730740019139 0
/proc/1021844/statm: 2482 694 613 264 0 133 0
[pid=1021846] ppid=1021844 vsize=1007352 memory=655904 CPUtime=3600.03 cores=0,2
/proc/1021846/stat : 1021846 (ld-linux-x86-64) R 1021844 1021844 1019718 0 -1 4194304 567680 0 0 0 348921 11082 0 0 20 0 2 0 192470723 1031528448 163976 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
/proc/1021846/statm: 251838 163976 3817 46 0 224433 0
[pid=1021846/tid=1021847] ppid=1021844 vsize=1007352 memory=23320 CPUtime=2.43 cores=0,2
/proc/1021846/task/1021847/stat : 1021847 (ld-linux-x86-64) S 1021844 1021844 1019718 0 -1 1077936192 206 0 0 0 93 150 0 0 20 0 2 0 192470738 1031528448 163976 134679101440 140176096174080 140176096361692 140733353257216 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140176098462592 140176098472040 93825024581632 140733353259861 140733353260025 140733353260025 140733353267122 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1017280 KiB
Current children cumulated memory: 658680 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.81 s]
# the end of solver process 1021844 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3489.22 s, system=110.83 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3608.81
CPU time (s): 3600.05
CPU user time (s): 3489.22
CPU system time (s): 110.83
CPU usage (%): 99.7572
Max. virtual memory (cumulated for all children) (KiB): 1063900
Max. memory (cumulated for all children) (KiB): 705228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3489.22
system time used= 110.83
maximum resident set size= 702452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357614
involuntary context switches= 25272
# summary of solver processes directly reported to runsolver:
# pid: 1021844
# total CPU time (s): 3600.05
# total CPU user time (s): 3489.22
# total CPU system time (s): 110.83
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14755 second user time and 16.4448 second system time
The end