0.00/0.01 c initialize IPBHS solver
0.00/0.01 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.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.01 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.01 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.01 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.00/0.01 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.01 c will solve HOME/instance-4458373-1721872312.opb
240.47/241.37 c [0] solve iteration 1, LB=-65535, UB=65536
240.47/241.37 c [0.55] solve iteration 2, LB=-65535, UB=0
240.47/241.37 c [1.08] solve iteration 3, LB=-32736, UB=0
240.47/241.37 c [1.6] solve iteration 4, LB=-32736, UB=0
240.47/241.37 c [2.15] solve iteration 5, LB=-24480, UB=0
240.47/241.37 c [3.84] solve iteration 6, LB=-24480, UB=0
240.47/241.37 c [4.72] solve iteration 7, LB=-24480, UB=0
240.47/241.37 c [4.83] solve iteration 8, LB=-24480, UB=0
240.47/241.37 c [5.1] solve iteration 9, LB=-24480, UB=0
240.47/241.37 c [5.17] solve iteration 10, LB=-24480, UB=0
240.47/241.37 c [6.36] solve iteration 11, LB=-24480, UB=0
240.47/241.37 c [6.39] solve iteration 12, LB=-24480, UB=0
240.47/241.37 c [6.44] solve iteration 13, LB=-24480, UB=0
240.47/241.37 c [6.63] solve iteration 14, LB=-24480, UB=0
240.47/241.37 c [7.2] solve iteration 15, LB=-22464, UB=0
240.47/241.37 c [9.15] solve iteration 16, LB=-22464, UB=0
240.47/241.37 c [9.71] solve iteration 17, LB=-22464, UB=0
240.47/241.37 c [9.99] solve iteration 18, LB=-22464, UB=0
240.47/241.37 c [10.25] solve iteration 19, LB=-22464, UB=0
240.47/241.37 c [10.86] solve iteration 20, LB=-22464, UB=0
240.47/241.37 c [13.54] solve iteration 21, LB=-22464, UB=0
240.47/241.37 c [13.78] solve iteration 22, LB=-22464, UB=0
240.47/241.37 c [14.13] solve iteration 23, LB=-22464, UB=0
240.47/241.37 c [14.65] solve iteration 24, LB=-21820, UB=0
240.47/241.37 c [14.99] solve iteration 25, LB=-21820, UB=0
240.47/241.37 c [19.28] solve iteration 26, LB=-21820, UB=0
240.47/241.37 c [20.52] solve iteration 27, LB=-21820, UB=0
240.47/241.37 c [20.84] solve iteration 28, LB=-21820, UB=0
240.47/241.37 c [22.07] solve iteration 29, LB=-21818, UB=0
240.47/241.37 c [23.69] solve iteration 30, LB=-21818, UB=0
240.47/241.37 c [29.07] solve iteration 31, LB=-21818, UB=0
240.47/241.37 c [30.03] solve iteration 32, LB=-21818, UB=0
240.47/241.37 c [30.32] solve iteration 33, LB=-21818, UB=0
240.47/241.37 c [31.24] solve iteration 34, LB=-21818, UB=0
240.47/241.37 c [32.66] solve iteration 35, LB=-21818, UB=0
240.47/241.37 c [38.03] solve iteration 36, LB=-21818, UB=0
240.47/241.37 c [38.75] solve iteration 37, LB=-21818, UB=0
240.47/241.37 c [39.25] solve iteration 38, LB=-21818, UB=0
240.47/241.37 c [40] solve iteration 39, LB=-21818, UB=0
240.47/241.37 c [40.69] solve iteration 40, LB=-21818, UB=0
240.47/241.37 c [45.89] solve iteration 41, LB=-21818, UB=0
240.47/241.37 c [47.01] solve iteration 42, LB=-21818, UB=0
240.47/241.37 c [47.18] solve iteration 43, LB=-21818, UB=0
240.47/241.37 c [47.64] solve iteration 44, LB=-21818, UB=0
240.47/241.37 c [48.63] solve iteration 45, LB=-21818, UB=0
240.47/241.37 c [56.99] solve iteration 46, LB=-21818, UB=0
240.47/241.37 c [57.24] solve iteration 47, LB=-21818, UB=0
240.47/241.37 c [58.71] solve iteration 48, LB=-21786, UB=0
240.47/241.37 c [59.82] solve iteration 49, LB=-21786, UB=0
240.47/241.37 c [61.04] solve iteration 50, LB=-21786, UB=0
240.47/241.37 c [71.28] solve iteration 51, LB=-21786, UB=0
240.47/241.37 c [72.25] solve iteration 52, LB=-21781, UB=0
240.47/241.37 c [73.64] solve iteration 53, LB=-21781, UB=0
240.47/241.37 c [73.97] solve iteration 54, LB=-21781, UB=0
240.47/241.37 c [75.18] solve iteration 55, LB=-21781, UB=0
240.47/241.37 c [84.4] solve iteration 56, LB=-21781, UB=0
240.47/241.37 c [85.2] solve iteration 57, LB=-21781, UB=0
240.47/241.37 c [85.88] solve iteration 58, LB=-21781, UB=0
240.47/241.37 c [86.77] solve iteration 59, LB=-21781, UB=0
240.47/241.37 c [88.69] solve iteration 60, LB=-21781, UB=0
240.47/241.37 c [98.18] solve iteration 61, LB=-21781, UB=0
240.47/241.37 c [99.44] solve iteration 62, LB=-21781, UB=0
240.47/241.37 c [100.61] solve iteration 63, LB=-21781, UB=0
240.47/241.37 c [102.15] solve iteration 64, LB=-21781, UB=0
240.47/241.37 c [102.46] solve iteration 65, LB=-21781, UB=0
240.47/241.37 c [118.05] solve iteration 66, LB=-21781, UB=0
240.47/241.37 c [120.4] solve iteration 67, LB=-21781, UB=0
240.47/241.37 c [121.65] solve iteration 68, LB=-21781, UB=0
240.47/241.37 c [124.83] solve iteration 69, LB=-21781, UB=0
240.47/241.37 c [125.28] solve iteration 70, LB=-21781, UB=0
240.47/241.37 c [149.38] solve iteration 71, LB=-21781, UB=0
240.47/241.37 c [150.2] solve iteration 72, LB=-21781, UB=0
240.47/241.37 c [150.65] solve iteration 73, LB=-21781, UB=0
240.47/241.37 c [151.17] solve iteration 74, LB=-21781, UB=0
240.47/241.37 c [151.73] solve iteration 75, LB=-21781, UB=0
240.47/241.37 c [173.01] solve iteration 76, LB=-21781, UB=0
240.47/241.37 c [174.96] solve iteration 77, LB=-21781, UB=0
240.47/241.37 c [175.63] solve iteration 78, LB=-21781, UB=0
240.47/241.37 c [176.45] solve iteration 79, LB=-21781, UB=0
240.47/241.37 c [176.76] solve iteration 80, LB=-21781, UB=0
240.47/241.37 c [193.15] solve iteration 81, LB=-21781, UB=0
240.47/241.37 c [194.9] solve iteration 82, LB=-21781, UB=0
240.47/241.37 c [196.49] solve iteration 83, LB=-21781, UB=0
240.47/241.37 c [197.65] solve iteration 84, LB=-21781, UB=0
240.47/241.37 c [199.02] solve iteration 85, LB=-21781, UB=0
240.47/241.37 c [227.89] solve iteration 86, LB=-21781, UB=0
240.47/241.37 c [230.28] solve iteration 87, LB=-21781, UB=0
240.47/241.37 c [233.3] solve iteration 88, LB=-21781, UB=0
240.47/241.37 c [236.61] solve iteration 89, LB=-21781, UB=0
240.47/241.37 c [239.55] solve iteration 90, LB=-21781, UB=0
2102.03/2106.58 c [276.94] solve iteration 91, LB=-21781, UB=0
2102.03/2106.58 c [277.79] solve iteration 92, LB=-21781, UB=0
2102.03/2106.58 c [279.6] solve iteration 93, LB=-21781, UB=0
2102.03/2106.58 c [280.99] solve iteration 94, LB=-21781, UB=0
2102.03/2106.58 c [283.05] solve iteration 95, LB=-21781, UB=0
2102.03/2106.58 c [317.47] solve iteration 96, LB=-21781, UB=0
2102.03/2106.58 c [318.54] solve iteration 97, LB=-21781, UB=0
2102.03/2106.58 c [319.32] solve iteration 98, LB=-21781, UB=0
2102.03/2106.58 c [319.59] solve iteration 99, LB=-21781, UB=0
2102.03/2106.58 c [320.77] solve iteration 100, LB=-21780, UB=0
2102.03/2106.58 c [349.43] solve iteration 101, LB=-21780, UB=0
2102.03/2106.58 c [349.84] solve iteration 102, LB=-21780, UB=0
2102.03/2106.58 c [352.04] solve iteration 103, LB=-21780, UB=0
2102.03/2106.58 c [352.53] solve iteration 104, LB=-21780, UB=0
2102.03/2106.58 c [352.87] solve iteration 105, LB=-21780, UB=0
2102.03/2106.58 c [396.17] solve iteration 106, LB=-21780, UB=0
2102.03/2106.58 c [397.46] solve iteration 107, LB=-21780, UB=0
2102.03/2106.58 c [398.31] solve iteration 108, LB=-21780, UB=0
2102.03/2106.58 c [399.41] solve iteration 109, LB=-21780, UB=0
2102.03/2106.58 c [400.35] solve iteration 110, LB=-21780, UB=0
2102.03/2106.58 c [465.41] solve iteration 111, LB=-21780, UB=0
2102.03/2106.58 c [470.1] solve iteration 112, LB=-21780, UB=0
2102.03/2106.58 c [470.42] solve iteration 113, LB=-21780, UB=0
2102.03/2106.58 c [475.12] solve iteration 114, LB=-21779, UB=0
2102.03/2106.58 c [475.83] solve iteration 115, LB=-21779, UB=0
2102.03/2106.58 c [535.79] solve iteration 116, LB=-21779, UB=0
2102.03/2106.58 c [536.4] solve iteration 117, LB=-21779, UB=0
2102.03/2106.58 c [536.94] solve iteration 118, LB=-21779, UB=0
2102.03/2106.58 c [541.4] solve iteration 119, LB=-21779, UB=0
2102.03/2106.58 c [543.34] solve iteration 120, LB=-21779, UB=0
2102.03/2106.58 c [589.42] solve iteration 121, LB=-21779, UB=0
2102.03/2106.58 c [591.16] solve iteration 122, LB=-21779, UB=0
2102.03/2106.58 c [592.6] solve iteration 123, LB=-21779, UB=0
2102.03/2106.58 c [593.47] solve iteration 124, LB=-21779, UB=0
2102.03/2106.58 c [595.37] solve iteration 125, LB=-21779, UB=0
2102.03/2106.58 c [670.36] solve iteration 126, LB=-21779, UB=0
2102.03/2106.58 c [674.68] solve iteration 127, LB=-21779, UB=0
2102.03/2106.58 c [677.9] solve iteration 128, LB=-21779, UB=0
2102.03/2106.58 c [684.5] solve iteration 129, LB=-21779, UB=0
2102.03/2106.58 c [691.74] solve iteration 130, LB=-21779, UB=0
2102.03/2106.58 c [785.33] solve iteration 131, LB=-21779, UB=0
2102.03/2106.58 c [787.66] solve iteration 132, LB=-21779, UB=0
2102.03/2106.58 c [789.79] solve iteration 133, LB=-21779, UB=0
2102.03/2106.58 c [790.44] solve iteration 134, LB=-21779, UB=0
2102.03/2106.58 c [791.02] solve iteration 135, LB=-21779, UB=0
2102.03/2106.58 c [867.45] solve iteration 136, LB=-21779, UB=0
2102.03/2106.58 c [869.06] solve iteration 137, LB=-21779, UB=0
2102.03/2106.58 c [873.21] solve iteration 138, LB=-21779, UB=0
2102.03/2106.58 c [877.52] solve iteration 139, LB=-21779, UB=0
2102.03/2106.58 c [880.48] solve iteration 140, LB=-21779, UB=0
2102.03/2106.58 c [994.76] solve iteration 141, LB=-21779, UB=0
2102.03/2106.58 c [1000.43] solve iteration 142, LB=-21779, UB=0
2102.03/2106.58 c [1001.92] solve iteration 143, LB=-21779, UB=0
2102.03/2106.58 c [1004.44] solve iteration 144, LB=-21779, UB=0
2102.03/2106.58 c [1011.17] solve iteration 145, LB=-21779, UB=0
2102.03/2106.58 c [1177.95] solve iteration 146, LB=-21779, UB=0
2102.03/2106.58 c [1178.82] solve iteration 147, LB=-21779, UB=0
2102.03/2106.58 c [1179.9] solve iteration 148, LB=-21779, UB=0
2102.03/2106.58 c [1182.74] solve iteration 149, LB=-21779, UB=0
2102.03/2106.58 c [1187.38] solve iteration 150, LB=-21779, UB=0
2102.03/2106.58 c [1299.22] solve iteration 151, LB=-21779, UB=0
2102.03/2106.58 c [1300.32] solve iteration 152, LB=-21779, UB=0
2102.03/2106.58 c [1300.94] solve iteration 153, LB=-21779, UB=0
2102.03/2106.58 c [1303.13] solve iteration 154, LB=-21779, UB=0
2102.03/2106.58 c [1303.64] solve iteration 155, LB=-21779, UB=0
2102.03/2106.58 c [1448.56] solve iteration 156, LB=-21779, UB=0
2102.03/2106.58 c [1455.29] solve iteration 157, LB=-21779, UB=0
2102.03/2106.58 c [1465.3] solve iteration 158, LB=-21779, UB=0
2102.03/2106.58 c [1476.11] solve iteration 159, LB=-21779, UB=0
2102.03/2106.58 c [1485.09] solve iteration 160, LB=-21779, UB=0
2102.03/2106.58 c [1690.72] solve iteration 161, LB=-21779, UB=0
2102.03/2106.58 c [1691.79] solve iteration 162, LB=-21779, UB=0
2102.03/2106.58 c [1697] solve iteration 163, LB=-21779, UB=0
2102.03/2106.58 c [1700.2] solve iteration 164, LB=-21779, UB=0
2102.03/2106.58 c [1701.46] solve iteration 165, LB=-21779, UB=0
2102.03/2106.58 c [1843.86] solve iteration 166, LB=-21779, UB=0
2102.03/2106.58 c [1847.77] solve iteration 167, LB=-21779, UB=0
2102.03/2106.58 c [1849.42] solve iteration 168, LB=-21779, UB=0
2102.03/2106.58 c [1851.19] solve iteration 169, LB=-21779, UB=0
2102.03/2106.58 c [1855.53] solve iteration 170, LB=-21779, UB=0
2102.03/2106.58 c [2060.79] solve iteration 171, LB=-21779, UB=0
2102.03/2106.58 c [2072.98] solve iteration 172, LB=-21779, UB=0
2102.03/2106.58 c [2081.16] solve iteration 173, LB=-21779, UB=0
2102.03/2106.58 c [2092.07] solve iteration 174, LB=-21779, UB=0
2102.03/2106.58 c [2097.66] solve iHOME/run-glibc-2.34.sh: line 2: 215463 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 (58316 MiB free)
memory of node 1: 64473 MiB (60162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458373-1721872312/watcher-4458373-1721872312 -o /tmp/evaluation-result-4458373-1721872312/solver-4458373-1721872312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721865095-210686 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4458373-1721872312.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=215461, runsolver pid=215458
[startup+0.100081 s]*
/proc/loadavg: 4.45 4.25 4.16 5/262 215464
/proc/meminfo: memFree=121312000/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=150732 memory=24224 CPUtime=0.09 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 1810 0 0 0 9 0 0 0 20 0 2 0 23759062 154349568 6056 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 37683 6056 3656 46 0 6647 0
[pid=215463/tid=215464] ppid=215461 vsize=150732 memory=4026561614 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) R 215461 215461 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23759064 154349568 6056 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 160660 KiB
Current children cumulated memory: 27064 KiB
[startup+0.205825 s]*
/proc/loadavg: 4.45 4.25 4.16 5/262 215464
/proc/meminfo: memFree=121311636/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=150732 memory=24488 CPUtime=0.19 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 1870 0 0 0 19 0 0 0 20 0 2 0 23759062 154349568 6122 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 37683 6122 3656 46 0 6647 0
[pid=215463/tid=215464] ppid=215461 vsize=150732 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) R 215461 215461 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23759064 154349568 6122 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 160660 KiB
Current children cumulated memory: 27328 KiB
[startup+0.305996 s]*
/proc/loadavg: 4.45 4.25 4.16 5/262 215464
/proc/meminfo: memFree=121311160/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=150732 memory=24488 CPUtime=0.29 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 1910 0 0 0 29 0 0 0 20 0 2 0 23759062 154349568 6122 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 37683 6122 3656 46 0 6647 0
[pid=215463/tid=215464] ppid=215461 vsize=150732 memory=-8897640182758598246 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23759064 154349568 6122 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 160660 KiB
Current children cumulated memory: 27328 KiB
[startup+0.70028 s]
/proc/loadavg: 4.45 4.25 4.16 5/262 215464
/proc/meminfo: memFree=121311020/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=151564 memory=26060 CPUtime=0.68 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 2177 0 0 0 67 1 0 0 20 0 2 0 23759062 155201536 6515 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 37891 6515 3846 46 0 6855 0
[pid=215463/tid=215464] ppid=215461 vsize=151564 memory=5552 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23759064 155201536 6515 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161492 KiB
Current children cumulated memory: 28900 KiB
[startup+1.50027 s]
/proc/loadavg: 4.45 4.25 4.16 5/262 215464
/proc/meminfo: memFree=121310296/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=153000 memory=29224 CPUtime=1.48 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 2472 0 0 0 145 3 0 0 20 0 2 0 23759062 156672000 7306 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 38250 7306 3862 46 0 7214 0
[pid=215463/tid=215464] ppid=215461 vsize=153000 memory=11624 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23759064 156672000 7306 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 162928 KiB
Current children cumulated memory: 32064 KiB
[startup+3.10565 s]
/proc/loadavg: 4.41 4.25 4.16 5/262 215464
/proc/meminfo: memFree=121306112/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=153948 memory=31028 CPUtime=3.09 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 3864 0 0 0 304 5 0 0 20 0 2 0 23759062 157642752 7757 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 38487 7757 4051 46 0 7451 0
[pid=215463/tid=215464] ppid=215461 vsize=153948 memory=31028 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 23759064 157642752 7757 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 163876 KiB
Current children cumulated memory: 33868 KiB
[startup+6.30026 s]
/proc/loadavg: 4.41 4.25 4.16 5/262 215466
/proc/meminfo: memFree=121304860/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=156392 memory=32276 CPUtime=6.27 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 5758 0 0 0 619 8 0 0 20 0 2 0 23759062 160145408 8069 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 39098 8069 4051 46 0 8062 0
[pid=215463/tid=215464] ppid=215461 vsize=156392 memory=29224 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 23759064 160145408 8069 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 166320 KiB
Current children cumulated memory: 35116 KiB
[startup+12.7003 s]
/proc/loadavg: 4.35 4.24 4.15 5/262 215466
/proc/meminfo: memFree=121301680/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=166092 memory=35620 CPUtime=12.64 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 9720 0 0 0 1251 13 0 0 20 0 2 0 23759062 170078208 8905 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 41523 8905 4130 46 0 10487 0
[pid=215463/tid=215464] ppid=215461 vsize=166092 memory=35620 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 23759064 170078208 8905 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 176020 KiB
Current children cumulated memory: 38460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.23 4.15 5/262 215515
/proc/meminfo: memFree=121360048/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=189984 memory=42288 CPUtime=25.37 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 16757 0 0 0 2515 22 0 0 20 0 2 0 23759062 194543616 10572 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 47496 10572 4139 46 0 16460 0
[pid=215463/tid=215464] ppid=215461 vsize=189984 memory=-8897640182758598246 CPUtime=0 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 2 0 23759064 194543616 10572 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 199912 KiB
Current children cumulated memory: 45128 KiB
[startup+51.1057 s]
/proc/loadavg: 4.68 4.33 4.19 5/262 215520
/proc/meminfo: memFree=121232300/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=220700 memory=57532 CPUtime=50.87 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 26264 0 0 0 5048 39 0 0 20 0 2 0 23759062 225996800 14383 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 55175 14383 4139 46 0 24139 0
[pid=215463/tid=215464] ppid=215461 vsize=220700 memory=68496 CPUtime=0.02 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 27 0 0 0 1 1 0 0 20 0 2 0 23759064 225996800 14383 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 230628 KiB
Current children cumulated memory: 60372 KiB
[startup+102.3 s]
/proc/loadavg: 4.43 4.33 4.19 5/262 215575
/proc/meminfo: memFree=121237528/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=228284 memory=68208 CPUtime=101.84 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 29200 0 0 0 10124 60 0 0 20 0 2 0 23759062 233762816 17052 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 57071 17052 4155 46 0 26035 0
[pid=215463/tid=215464] ppid=215461 vsize=228284 memory=0 CPUtime=0.05 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 33 0 0 0 2 3 0 0 20 0 2 0 23759064 233762816 17052 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 238212 KiB
Current children cumulated memory: 71048 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/215463/statm: 79029 35820 4273 46 0 47993 0
[pid=215463/tid=215464] ppid=215461 vsize=316116 memory=32888 CPUtime=2.64 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 190 0 0 0 112 152 0 0 20 0 2 0 23759064 323702784 35820 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3156.14 s
Current children cumulated vsize: 326044 KiB
Current children cumulated memory: 146120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/263 217373
/proc/meminfo: memFree=119653880/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=316840 memory=143328 CPUtime=3216.01 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 266283 0 0 0 321003 598 0 0 20 0 2 0 23759062 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79210 35832 4274 46 0 48174 0
[pid=215463/tid=215464] ppid=215461 vsize=316840 memory=2840 CPUtime=2.7 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 193 0 0 0 114 156 0 0 20 0 2 0 23759064 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3216.01 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 146168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/260 217384
/proc/meminfo: memFree=119653576/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=316840 memory=143328 CPUtime=3275.93 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 266681 0 0 0 326986 607 0 0 20 0 2 0 23759062 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79210 35832 4274 46 0 48174 0
[pid=215463/tid=215464] ppid=215461 vsize=316840 memory=2840 CPUtime=2.76 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 196 0 0 0 117 159 0 0 20 0 2 0 23759064 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3275.93 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 146168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/259 217394
/proc/meminfo: memFree=119653104/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=316840 memory=143328 CPUtime=3335.85 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 267079 0 0 0 332970 615 0 0 20 0 2 0 23759062 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79210 35832 4274 46 0 48174 0
[pid=215463/tid=215464] ppid=215461 vsize=316840 memory=2840 CPUtime=2.83 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 199 0 0 0 120 163 0 0 20 0 2 0 23759064 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3335.85 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 146168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/260 217405
/proc/meminfo: memFree=119575812/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=316840 memory=143328 CPUtime=3395.76 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 267480 0 0 0 338955 621 0 0 20 0 2 0 23759062 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79210 35832 4274 46 0 48174 0
[pid=215463/tid=215464] ppid=215461 vsize=316840 memory=2840 CPUtime=2.88 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 202 0 0 0 122 166 0 0 20 0 2 0 23759064 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3395.76 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 146168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/260 217416
/proc/meminfo: memFree=119575592/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=316840 memory=143328 CPUtime=3455.69 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 267882 0 0 0 344938 631 0 0 20 0 2 0 23759062 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79210 35832 4274 46 0 48174 0
[pid=215463/tid=215464] ppid=215461 vsize=316840 memory=2840 CPUtime=2.95 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 205 0 0 0 125 170 0 0 20 0 2 0 23759064 324444160 35832 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3455.69 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 146168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.15 4.13 5/263 217431
/proc/meminfo: memFree=119565516/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=317420 memory=147548 CPUtime=3515.56 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 268657 0 1 0 350916 640 0 0 20 0 2 0 23759062 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79355 36887 4304 46 0 48319 0
[pid=215463/tid=215464] ppid=215461 vsize=317420 memory=2840 CPUtime=3 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 208 0 0 0 127 173 0 0 20 0 2 0 23759064 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3515.56 s
Current children cumulated vsize: 327348 KiB
Current children cumulated memory: 150388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/263 217442
/proc/meminfo: memFree=119556924/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=317420 memory=147548 CPUtime=3575.47 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 269064 0 1 0 356901 646 0 0 20 0 2 0 23759062 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79355 36887 4304 46 0 48319 0
[pid=215463/tid=215464] ppid=215461 vsize=317420 memory=11624 CPUtime=3.06 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 211 0 0 0 129 177 0 0 20 0 2 0 23759064 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3575.47 s
Current children cumulated vsize: 327348 KiB
Current children cumulated memory: 150388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.9 s]
/proc/loadavg: 4.09 4.12 4.12 5/263 217447
/proc/meminfo: memFree=119554252/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=317420 memory=147548 CPUtime=3600.04 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 269066 0 1 0 359355 649 0 0 20 0 2 0 23759062 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79355 36887 4304 46 0 48319 0
[pid=215463/tid=215464] ppid=215461 vsize=317420 memory=2840 CPUtime=3.09 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 211 0 0 0 131 178 0 0 20 0 2 0 23759064 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 327348 KiB
Current children cumulated memory: 150388 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3606.91 s]
# the end of solver process 215461 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.56 s, system=6.49672 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.9 s]
/proc/loadavg: 4.09 4.12 4.12 5/263 217447
/proc/meminfo: memFree=119554252/131524600 swapFree=131060368/131071996
[pid=215461] ppid=215458 vsize=9928 memory=2840 CPUtime=0 cores=1,3
/proc/215461/stat : 215461 (run-glibc-2.34.) S 215458 215461 210674 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 23759062 10166272 710 134679101440 94558808096768 94558809176088 140735120090976 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94558811274544 94558811321732 94558821515264 140735120094147 140735120094304 140735120094304 140735120101315 0
/proc/215461/statm: 2482 710 630 264 0 133 0
[pid=215463] ppid=215461 vsize=317420 memory=147548 CPUtime=3600.04 cores=1,3
/proc/215463/stat : 215463 (ld-linux-x86-64) R 215461 215461 210674 0 -1 4194304 269066 0 1 0 359355 649 0 0 20 0 2 0 23759062 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
/proc/215463/statm: 79355 36887 4304 46 0 48319 0
[pid=215463/tid=215464] ppid=215461 vsize=317420 memory=2840 CPUtime=3.09 cores=1,3
/proc/215463/task/215464/stat : 215464 (ld-linux-x86-64) S 215461 215461 210674 0 -1 1077936192 211 0 0 0 131 178 0 0 20 0 2 0 23759064 325038080 36887 134679101440 140043940245504 140043940433116 140725890345920 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140043942534016 140043942543464 93825009565696 140725890347867 140725890348031 140725890348031 140725890355122 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 327348 KiB
Current children cumulated memory: 150388 KiB
Child status: 143
Real time (s): 3606.91
CPU time (s): 3600.05
CPU user time (s): 3593.56
CPU system time (s): 6.49672
CPU usage (%): 99.81
Max. virtual memory (cumulated for all children) (KiB): 327348
Max. memory (cumulated for all children) (KiB): 150388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.56
system time used= 6.49672
maximum resident set size= 147548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269283
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= 357329
involuntary context switches= 1530
# summary of solver processes directly reported to runsolver:
# pid: 215461
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.56
# total CPU system time (s): 6.49672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84633 second user time and 17.6071 second system time
The end