Trace number 4458375

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-SCIP 2024-07-09? (TO) 3600.09 3608.5

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb
MD5SUMcef34ff274a7a14d58a37c503700d4d0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.026297
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables416
Total number of constraints608
Number of constraints which are clauses384
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 32
Biggest coefficient in the objective function 32768
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 131070
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 131070
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

16.85/16.93	c initialize IPBHS solver
16.85/16.93	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
16.85/16.93	c optimizer = "scip"
16.85/16.93	c pbsolver = "roundingsat"
16.85/16.93	c load symmetries from file ""
16.85/16.93	c set time limit for symmetry computation to 100 seconds.
16.85/16.93	c set interchangeable summation variable limit to 3
16.85/16.93	c set abs symmetric core budget per WCE-iteration to 100
16.85/16.93	c set rel symmetric core budget per WCE-iteration to 0
16.85/16.93	c set lit symmetric core budget per WCE-iteration to 0
16.85/16.93	c set sym generation to 's'
16.85/16.93	c set abstraction set creation to 10 iterations without LB change
16.85/16.93	c set abstraction set inputs to 0
16.85/16.93	c set abstraction set cluster min size to 2
16.85/16.93	c set abstraction set cluster max size to 100000000
16.85/16.93	c set abstraction set cluster activation limit to 2
16.85/16.93	c enable abstraction set require equal cost
16.85/16.93	c set abstraction set assumptions to 0
16.85/16.93	c set abstraction set constraint type to 0
16.85/16.93	c set abstract core extraction strategy to b
16.85/16.93	c set core extraction strategy to 2
16.85/16.93	c set core extraction shuffles 10
16.85/16.93	c set cores per iteration to 5
16.85/16.93	c set optimizer bound usage strategy to 2
16.85/16.93	c set optimizer max non-optimal iterations to 1000
16.85/16.93	c set small core cardinality limit to 2
16.85/16.93	c set max coef in cores to 1000000000
16.85/16.93	c set SIS iterations to 5
16.85/16.93	c set SIS budget abs to 1000
16.85/16.93	c set SIS budget rel to 0.05
16.85/16.93	c limit for coefficient in constraints and objective to 9223372036854775807
16.85/16.93	c will solve HOME/instance-4458375-1721868985.opb
16.85/16.93	c [0] solve iteration 1, LB=-65535, UB=65536
16.85/16.93	c [0.53] solve iteration 2, LB=-65535, UB=0
16.85/16.93	c [1.05] solve iteration 3, LB=-32736, UB=0
16.85/16.93	c [1.78] solve iteration 4, LB=-32736, UB=0
16.85/16.93	c [2.65] solve iteration 5, LB=-16352, UB=0
16.85/16.93	c [3.23] solve iteration 6, LB=-16352, UB=0
16.85/16.93	c [4.22] solve iteration 7, LB=-16352, UB=0
16.85/16.93	c [4.48] solve iteration 8, LB=-15584, UB=0
16.85/16.93	c [5.54] solve iteration 9, LB=-8160, UB=0
16.85/16.93	c [6.01] solve iteration 10, LB=-8160, UB=0
16.85/16.93	c [6.52] solve iteration 11, LB=-8160, UB=0
16.85/16.93	c [7.06] solve iteration 12, LB=-8160, UB=0
16.85/16.93	c [7.34] solve iteration 13, LB=-8160, UB=0
16.85/16.94	c [9.36] solve iteration 14, LB=-8160, UB=0
16.85/16.94	c [9.46] solve iteration 15, LB=-8160, UB=0
16.85/16.94	c [9.93] solve iteration 16, LB=-8160, UB=0
16.85/16.94	c [10.54] solve iteration 17, LB=-4064, UB=0
16.85/16.94	c [11.23] solve iteration 18, LB=-4064, UB=0
16.85/16.94	c [11.65] solve iteration 19, LB=-4064, UB=0
16.85/16.94	c [12.04] solve iteration 20, LB=-4064, UB=0
16.85/16.94	c [12.28] solve iteration 21, LB=-4064, UB=0
16.85/16.94	c [14.4] solve iteration 22, LB=-4064, UB=0
16.85/16.94	c [14.86] solve iteration 23, LB=-4064, UB=0
16.85/16.94	c [15.42] solve iteration 24, LB=-4064, UB=0
16.85/16.94	c [16.28] solve iteration 25, LB=-4064, UB=0
16.85/16.94	c [16.69] solve iteration 26, LB=-4064, UB=0
21.24/21.30	c [19.42] solve iteration 27, LB=-4064, UB=0
21.24/21.30	c [20.1] solve iteration 28, LB=-4064, UB=0
21.24/21.30	c [20.54] solve iteration 29, LB=-4064, UB=0
21.24/21.30	c [21.01] solve iteration 30, LB=-4064, UB=0
21.34/21.46	c [21.17] solve iteration 31, LB=-4064, UB=0
21.44/21.59	c [21.29] solve iteration 32, LB=-3936, UB=0
21.84/21.96	c [21.65] solve iteration 33, LB=-2016, UB=0
22.44/22.53	c [22.21] solve iteration 34, LB=-2016, UB=0
22.84/23.00	c [22.69] solve iteration 35, LB=-2016, UB=0
23.14/23.23	c [22.91] solve iteration 36, LB=-2016, UB=0
23.63/23.73	c [23.4] solve iteration 37, LB=-2016, UB=0
28.42/28.55	c [28.18] solve iteration 38, LB=-2016, UB=0
29.12/29.28	c [28.91] solve iteration 39, LB=-2016, UB=0
29.62/29.78	c [29.41] solve iteration 40, LB=-2016, UB=0
30.32/30.46	c [30.08] solve iteration 41, LB=-2016, UB=0
30.62/30.75	c [30.36] solve iteration 42, LB=-2016, UB=0
36.80/36.98	c [36.56] solve iteration 43, LB=-2016, UB=0
37.70/37.88	c [37.45] solve iteration 44, LB=-2016, UB=0
38.80/39.00	c [38.56] solve iteration 45, LB=-2016, UB=0
39.70/39.89	c [39.45] solve iteration 46, LB=-2016, UB=0
40.30/40.45	c [40] solve iteration 47, LB=-2016, UB=0
46.38/46.52	c [46.03] solve iteration 48, LB=-2016, UB=0
47.37/47.54	c [47.04] solve iteration 49, LB=-2016, UB=0
48.48/48.69	c [48.18] solve iteration 50, LB=-2016, UB=0
49.17/49.31	c [48.79] solve iteration 51, LB=-2016, UB=0
50.08/50.20	c [49.68] solve iteration 52, LB=-2016, UB=0
55.66/55.82	c [55.27] solve iteration 53, LB=-2016, UB=0
56.06/56.22	c [55.66] solve iteration 54, LB=-2016, UB=0
56.66/56.87	c [56.3] solve iteration 55, LB=-2016, UB=0
57.05/57.20	c [56.63] solve iteration 56, LB=-2016, UB=0
57.86/58.01	c [57.43] solve iteration 57, LB=-2016, UB=0
64.24/64.43	c [63.81] solve iteration 58, LB=-2016, UB=0
64.54/64.74	c [64.11] solve iteration 59, LB=-2016, UB=0
64.94/65.15	c [64.53] solve iteration 60, LB=-2016, UB=0
65.73/66.00	c [65.36] solve iteration 61, LB=-2016, UB=0
66.44/66.65	c [66.01] solve iteration 62, LB=-2016, UB=0
66.94/67.17	c [66.52] solve iteration 63, LB=-1920, UB=0
67.23/67.41	c [66.76] solve iteration 64, LB=-1504, UB=0
67.73/67.95	c [67.29] solve iteration 65, LB=-992, UB=0
68.83/69.09	c [68.42] solve iteration 66, LB=-992, UB=0
70.03/70.24	c [69.57] solve iteration 67, LB=-992, UB=0
70.52/70.73	c [70.04] solve iteration 68, LB=-992, UB=0
71.32/71.51	c [70.81] solve iteration 69, LB=-992, UB=0
82.29/82.54	c [81.79] solve iteration 70, LB=-992, UB=0
82.70/82.99	c [82.23] solve iteration 71, LB=-992, UB=0
84.38/84.68	c [83.91] solve iteration 72, LB=-992, UB=0
85.58/85.82	c [85.05] solve iteration 73, LB=-992, UB=0
86.29/86.59	c [85.81] solve iteration 74, LB=-992, UB=0
98.35/98.64	c [97.78] solve iteration 75, LB=-992, UB=0
99.35/99.66	c [98.81] solve iteration 76, LB=-992, UB=0
100.05/100.33	c [99.47] solve iteration 77, LB=-992, UB=0
100.35/100.63	c [99.76] solve iteration 78, LB=-992, UB=0
100.75/101.01	c [100.13] solve iteration 79, LB=-992, UB=0
112.22/112.58	c [111.61] solve iteration 80, LB=-992, UB=0
113.12/113.47	c [112.5] solve iteration 81, LB=-992, UB=0
114.01/114.39	c [113.4] solve iteration 82, LB=-992, UB=0
114.92/115.27	c [114.28] solve iteration 83, LB=-992, UB=0
115.91/116.22	c [115.23] solve iteration 84, LB=-992, UB=0
126.28/126.69	c [125.63] solve iteration 85, LB=-992, UB=0
127.18/127.51	c [126.44] solve iteration 86, LB=-992, UB=0
128.08/128.43	c [127.36] solve iteration 87, LB=-992, UB=0
128.98/129.31	c [128.23] solve iteration 88, LB=-992, UB=0
129.88/130.27	c [129.19] solve iteration 89, LB=-992, UB=0
140.55/141.00	c [139.87] solve iteration 90, LB=-992, UB=0
141.05/141.45	c [140.33] solve iteration 91, LB=-960, UB=0
141.35/141.78	c [140.64] solve iteration 92, LB=-960, UB=0
142.04/142.40	c [141.25] solve iteration 93, LB=-960, UB=0
142.85/143.24	c [142.08] solve iteration 94, LB=-960, UB=0
143.24/143.68	c [142.52] solve iteration 95, LB=-960, UB=0
158.21/158.66	c [157.42] solve iteration 96, LB=-960, UB=0
159.00/159.43	c [158.19] solve iteration 97, LB=-960, UB=0
160.10/160.55	c [159.3] solve iteration 98, LB=-960, UB=0
161.49/161.97	c [160.72] solve iteration 99, LB=-960, UB=0
162.30/162.70	c [161.45] solve iteration 100, LB=-960, UB=0
185.14/185.60	c [184.23] solve iteration 101, LB=-960, UB=0
186.04/186.53	c [185.15] solve iteration 102, LB=-960, UB=0
188.23/188.75	c [187.36] solve iteration 103, LB=-960, UB=0
190.23/190.78	c [189.38] solve iteration 104, LB=-960, UB=0
192.42/192.93	c [191.52] solve iteration 105, LB=-960, UB=0
215.57/216.12	c [214.6] solve iteration 106, LB=-960, UB=0
217.16/217.79	c [216.26] solve iteration 107, LB=-960, UB=0
217.75/218.33	c [216.8] solve iteration 108, LB=-960, UB=0
219.35/219.99	c [218.45] solve iteration 109, LB=-960, UB=0
221.15/221.76	c [220.21] solve iteration 110, LB=-960, UB=0
239.30/239.95	c [238.3] solve iteration 111, LB=-960, UB=0
240.31/240.96	c [239.3] solve iteration 112, LB=-960, UB=0
241.20/241.89	c [240.22] solve iteration 113, LB=-960, UB=0
242.50/243.19	c [241.51] solve iteration 114, LB=-960, UB=0
243.00/243.61	c [241.92] solve iteration 115, LB=-960, UB=0
261.84/262.55	c [260.77] solve iteration 116, LB=-960, UB=0
263.04/263.75	c [261.96] solve iteration 117, LB=-960, UB=0
264.03/264.77	c [262.97] solve iteration 118, LB=-960, UB=0
264.54/265.28	c [263.48] solve iteration 119, LB=-960, UB=0
264.94/265.69	c [263.88] solve iteration 120, LB=-960, UB=0
290.47/291.26	c [289.32] solve iteration 121, LB=-960, UB=0
290.96/291.71	c [289.75] solve iteration 122, LB=-960, UB=0
293.36/294.16	c [292.2] solve iteration 123, LB=-960, UB=0
295.05/295.83	c [293.85] solve iteration 124, LB=-960, UB=0
296.65/297.41	c [295.43] solve iteration 125, LB=-960, UB=0
342.33/343.24	c [341.04] solve iteration 126, LB=-960, UB=0
343.33/344.21	c [342.01] solve iteration 127, LB=-896, UB=0
343.63/344.56	c [342.35] solve iteration 128, LB=-768, UB=0
344.83/345.79	c [343.58] solve iteration 129, LB=-448, UB=0
347.72/348.63	c [346.4] solve iteration 130, LB=-448, UB=0
348.32/349.27	c [347.04] solve iteration 131, LB=-448, UB=0
351.61/352.59	c [350.33] solve iteration 132, LB=-448, UB=0
352.31/353.27	c [351] solve iteration 133, LB=-448, UB=0
392.70/393.76	c [391.29] solve iteration 134, LB=-448, UB=0
394.31/395.34	c [392.88] solve iteration 135, LB=-448, UB=0
394.80/395.84	c [393.37] solve iteration 136, LB=-448, UB=0
395.40/396.42	c [393.94] solve iteration 137, LB=-448, UB=0
396.60/397.69	c [395.21] solve iteration 138, LB=-448, UB=0
428.92/430.03	c [427.39] solve iteration 139, LB=-448, UB=0
430.21/431.35	c [428.7] solve iteration 140, LB=-448, UB=0
431.71/432.81	c [430.15] solve iteration 141, LB=-448, UB=0
433.40/434.57	c [431.91] solve iteration 142, LB=-448, UB=0
435.30/436.49	c [433.81] solve iteration 143, LB=-448, UB=0
466.43/467.69	c [464.85] solve iteration 144, LB=-448, UB=0
468.72/469.91	c [467.05] solve iteration 145, LB=-448, UB=0
470.52/471.76	c [468.89] solve iteration 146, LB=-448, UB=0
473.02/474.29	c [471.41] solve iteration 147, LB=-448, UB=0
474.51/475.70	c [472.8] solve iteration 148, LB=-448, UB=0
537.15/538.55	c [535.37] solve iteration 149, LB=-448, UB=0
541.04/542.47	c [539.28] solve iteration 150, LB=-448, UB=0
545.23/546.61	c [543.41] solve iteration 151, LB=-448, UB=0
549.72/551.14	c [547.92] solve iteration 152, LB=-448, UB=0
554.61/556.05	c [552.81] solve iteration 153, LB=-448, UB=0
646.27/647.90	c [644.3] solve iteration 154, LB=-448, UB=0
647.76/649.44	c [645.82] solve iteration 155, LB=-448, UB=0
648.66/650.34	c [646.71] solve iteration 156, LB=-448, UB=0
651.85/653.50	c [649.86] solve iteration 157, LB=-448, UB=0
652.45/654.12	c [650.47] solve iteration 158, LB=-448, UB=0
718.38/720.24	c [716.33] solve iteration 159, LB=-448, UB=0
720.77/722.67	c [718.75] solve iteration 160, LB=-448, UB=0
722.67/724.58	c [720.63] solve iteration 161, LB=-448, UB=0
724.06/725.95	c [722] solve iteration 162, LB=-448, UB=0
726.86/728.72	c [724.76] solve iteration 163, LB=-448, UB=0
778.44/780.48	c [776.29] solve iteration 164, LB=-448, UB=0
779.23/781.27	c [777.08] solve iteration 165, LB=-448, UB=0
781.72/783.78	c [779.57] solve iteration 166, LB=-448, UB=0
784.32/786.32	c [782.11] solve iteration 167, LB=-448, UB=0
786.12/788.17	c [783.95] solve iteration 168, LB=-448, UB=0
844.09/846.28	c [841.84] solve iteration 169, LB=-448, UB=0
847.28/849.47	c [845.02] solve iteration 170, LB=-448, UB=0
849.18/851.31	c [846.85] solve iteration 171, LB=-448, UB=0
852.47/854.64	c [850.18] solve iteration 172, LB=-448, UB=0
854.66/856.82	c [852.34] solve iteration 173, LB=-448, UB=0
967.83/970.28	c [965.46] solve iteration 174, LB=-448, UB=0
973.51/975.93	c [971.09] solve iteration 175, LB=-448, UB=0
974.40/976.83	c [971.99] solve iteration 176, LB=-448, UB=0
979.00/981.45	c [976.59] solve iteration 177, LB=-448, UB=0
985.98/988.41	c [983.53] solve iteration 178, LB=-448, UB=0
1106.17/1109.00	c [1103.63] solve iteration 179, LB=-448, UB=0
1108.07/1110.86	c [1105.49] solve iteration 180, LB=-448, UB=0
1110.46/1113.25	c [1107.87] solve iteration 181, LB=-448, UB=0
1114.15/1116.94	c [1111.54] solve iteration 182, LB=-448, UB=0
1115.85/1118.68	c [1113.27] solve iteration 183, LB=-448, UB=0
1197.64/1200.66	c [1194.89] solve iteration 184, LB=-448, UB=0
1199.94/1202.92	c [1197.14] solve iteration 185, LB=-448, UB=0
1202.32/1205.33	c [1199.52] solve iteration 186, LB=-448, UB=0
1202.82/1205.89	c [1200.09] solve iteration 187, LB=-448, UB=0
1203.52/1206.51	c [1200.71] solve iteration 188, LB=-448, UB=0
1280.44/1283.61	c [1277.48] solve iteration 189, LB=-448, UB=0
1281.43/1284.61	c [1278.48] solve iteration 190, LB=-448, UB=0
1282.73/1285.95	c [1279.8] solve iteration 191, LB=-448, UB=0
1283.83/1287.09	c [1280.94] solve iteration 192, LB=-448, UB=0
1285.12/1288.38	c [1282.24] solve iteration 193, LB=-448, UB=0
1424.13/1427.60	c [1421.03] solve iteration 194, LB=-448, UB=0
1425.72/1429.26	c [1422.68] solve iteration 195, LB=-448, UB=0
1429.41/1432.94	c [1426.34] solve iteration 196, LB=-448, UB=0
1434.50/1438.06	c [1431.44] solve iteration 197, LB=-448, UB=0
1440.99/1444.53	c [1437.88] solve iteration 198, LB=-448, UB=0
1605.73/1609.64	c [1602.5] solve iteration 199, LB=-448, UB=0
1610.23/1614.14	c [1606.98] solve iteration 200, LB=-448, UB=0
1614.91/1618.83	c [1611.65] solve iteration 201, LB=-448, UB=0
1619.00/1622.97	c [1615.78] solve iteration 202, LB=-448, UB=0
1622.99/1626.98	c [1619.75] solve iteration 203, LB=-448, UB=0
1755.30/1759.54	c [1751.89] solve iteration 204, LB=-448, UB=0
1757.59/1761.80	c [1754.13] solve iteration 205, LB=-448, UB=0
1759.60/1763.87	c [1756.2] solve iteration 206, LB=-448, UB=0
1761.39/1765.63	c [1757.96] solve iteration 207, LB=-448, UB=0
1764.28/1768.52	c [1760.83] solve iteration 208, LB=-448, UB=0
1876.83/1881.36	c [1873.29] solve iteration 209, LB=-448, UB=0
1879.33/1883.82	c [1875.74] solve iteration 210, LB=-448, UB=0
1881.02/1885.58	c [1877.49] solve iteration 211, LB=-448, UB=0
1881.82/1886.34	c [1878.26] solve iteration 212, LB=-448, UB=0
1883.22/1887.74	c [1879.64] solve iteration 213, LB=-448, UB=0
2118.51/2123.50	c [2114.72] solve iteration 214, LB=-448, UB=0
2122.51/2127.55	c [2118.75] solve iteration 215, LB=-448, UB=0
2126.29/2131.31	c [2122.5] solve iteration 216, LB=-448, UB=0
2134.28/2139.35	c [2130.52] solve iteration 217, LB=-448, UB=0
2137.08/2142.11	c [2133.25] solve iteration 218, LB=-448, UB=0
2406.99/2412.73	c [2402.98] solve iteration 219, LB=-448, UB=0
2414.08/2419.81	c [2410.05] solve iteration 220, LB=-448, UB=0
2420.76/2426.55	c [2416.78] solve iteration 221, LB=-448, UB=0
2422.16/2427.92	c [2418.13] solve iteration 222, LB=-448, UB=0
2427.95/2433.71	c [2423.92] solve iteration 223, LB=-448, UB=0
2682.89/2689.22	c [2678.65] solve iteration 224, LB=-448, UB=0
2689.28/2695.69	c [2685.1] solve iteration 225, LB=-448, UB=0
2695.47/2701.80	c [2691.2] solve iteration 226, LB=-448, UB=0
2703.05/2709.47	c [2698.82] solve iteration 227, LB=-448, UB=0
2707.34/2713.75	c [2703.09] solve iteration 228, LB=-448, UB=0
3102.86/3110.14	c [3098.37] solve iteration 229, LB=-448, UB=0
3108.15/3115.44	c [3103.66] solve iteration 230, LB=-448, UB=0
3110.14/3117.45	c [3105.66] solve iteration 231, LB=-448, UB=0
3116.23/3123.53	c [3111.71] solve iteration 232, LB=-448, UB=0
3120.42/3127.77	c [3115.93] solve iteration 233, LB=-448, UB=0
3405.14/3413.17	c [3400.45] solve iteration 234, LB=-448, UB=0
3407.73/3415.78	c [3403.05] solve iteration 235, LB=-448, UB=0
3412.62/3420.63	c [3407.87] solve iteration 236, LB=-448, UB=0
3415.71/3423.75	c [3410.99] solve iteration 237, LB=-448, UB=0
3417.30/3425.34	c [3412.56] solve iteration 238, LB=-448, UB=0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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 (51372 MiB free)
  memory of node 1: 64473 MiB (55807 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458375-1721868985/watcher-4458375-1721868985 -o /tmp/evaluation-result-4458375-1721868985/solver-4458375-1721868985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721865114-267944 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458375-1721868985.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=271208, runsolver pid=271205
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.09 4.13 4.09 5/257 271209
/proc/meminfo: memFree=109745716/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=34656 memory=16832 CPUtime=0.09 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 1731 0 0 0 8 1 0 0 20 0 1 0 23427911 35487744 4208 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 8664 4208 2703 2900 0 5178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34656 KiB
Current children cumulated memory: 16832 KiB

[startup+0.205653 s]*
/proc/loadavg: 4.09 4.13 4.09 5/257 271209
/proc/meminfo: memFree=109745212/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=34656 memory=17096 CPUtime=0.2 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 1831 0 0 0 19 1 0 0 20 0 1 0 23427911 35487744 4274 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 8664 4274 2703 2900 0 5178 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34656 KiB
Current children cumulated memory: 17096 KiB

[startup+0.305504 s]*
/proc/loadavg: 4.09 4.13 4.09 5/257 271209
/proc/meminfo: memFree=109744772/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=34656 memory=17360 CPUtime=0.3 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 1913 0 0 0 28 2 0 0 20 0 1 0 23427911 35487744 4340 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 8664 4340 2703 2900 0 5178 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34656 KiB
Current children cumulated memory: 17360 KiB

[startup+0.700207 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 271209
/proc/meminfo: memFree=109744296/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=37084 memory=20116 CPUtime=0.69 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 2582 0 0 0 67 2 0 0 20 0 1 0 23427911 37974016 5029 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 9271 5029 2847 2900 0 5785 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37084 KiB
Current children cumulated memory: 20116 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 271209
/proc/meminfo: memFree=109739960/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=39848 memory=25448 CPUtime=1.49 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 3341 0 0 0 146 3 0 0 20 0 1 0 23427911 40804352 6362 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 9962 6362 2879 2900 0 6476 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 25448 KiB

[startup+3.10531 s]
/proc/loadavg: 4.16 4.14 4.09 5/257 271209
/proc/meminfo: memFree=109734144/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=43692 memory=28264 CPUtime=3.09 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 4783 0 0 0 304 5 0 0 20 0 1 0 23427911 44740608 7066 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 10923 7066 2895 2900 0 7437 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 28264 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.14 4.09 5/257 271211
/proc/meminfo: memFree=109724320/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=52580 memory=38792 CPUtime=6.27 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 7516 0 0 0 620 7 0 0 20 0 1 0 23427911 53841920 9698 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 13145 9698 2895 2900 0 9659 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52580 KiB
Current children cumulated memory: 38792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 271211
/proc/meminfo: memFree=109707544/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=68320 memory=54476 CPUtime=12.66 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 11709 0 0 0 1253 13 0 0 20 0 1 0 23427911 69959680 13619 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 17080 13619 2895 2900 0 13594 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 68320 KiB
Current children cumulated memory: 54476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 271212
/proc/meminfo: memFree=109688508/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=80796 memory=66316 CPUtime=25.43 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 15162 0 0 0 2522 21 0 0 20 0 1 0 23427911 82735104 16579 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 20199 16579 2895 2900 0 16713 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 80796 KiB
Current children cumulated memory: 66316 KiB

[startup+51.1054 s]
/proc/loadavg: 4.22 4.16 4.10 5/257 271217
/proc/meminfo: memFree=109672612/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=92036 memory=77664 CPUtime=50.97 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 17001 0 0 0 5065 32 0 0 20 0 1 0 23427911 94244864 19416 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 23009 19416 2895 2900 0 19523 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 92036 KiB
Current children cumulated memory: 77664 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/257 271226
/proc/meminfo: memFree=109661088/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=108884 memory=88472 CPUtime=102.05 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 19660 0 0 0 10153 52 0 0 20 0 1 0 23427911 111497216 22118 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 27221 22118 2895 2900 0 23735 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 108884 KiB
Current children cumulated memory: 88472 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 271406
/proc/meminfo: memFree=109642880/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=110832 memory=90636 CPUtime=161.89 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 21089 0 0 0 16118 71 0 0 20 0 1 0 23427911 113491968 22659 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 27708 22659 2895 2900 0 24222 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 110832 KiB
Current children cumulated memory: 90636 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/259 271418
/proc/meminfo: memFree=109615008/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=115808 memory=102032 CPUtime=221.74 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 22389 0 0 0 22089 85 0 0 20 0 1 0 23427911 118587392 25508 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 28952 25508 2895 2900 0 25466 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 115808 KiB
Current children cumulated memory: 102032 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/260 271446
/proc/meminfo: memFree=109583664/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=122236 memory=108860 CPUtime=281.59 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 24838 0 0 0 28055 104 0 0 20 0 1 0 23427911 125169664 27215 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 30559 27215 2895 2900 0 27073 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 122236 KiB
Current children cumulated memory: 108860 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/260 271457
/proc/meminfo: memFree=109572360/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=136936 memory=115992 CPUtime=341.44 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 26166 0 0 0 34027 117 0 0 20 0 1 0 23427911 140222464 28998 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 34234 28998 2895 2900 0 30748 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 136936 KiB
Current children cumulated memory: 115992 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/260 271468
/proc/meminfo: memFree=109562756/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=143560 memory=124016 CPUtime=401.28 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 28209 0 0 0 39997 131 0 0 20 0 1 0 23427911 147005440 31004 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 35890 31004 2895 2900 0 32404 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 143560 KiB
Current children cumulated memory: 124016 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 271479
/proc/meminfo: memFree=109557684/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=143560 memory=124016 CPUtime=461.14 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 28244 0 0 0 45967 147 0 0 20 0 1 0 23427911 147005440 31004 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 35890 31004 2895 2900 0 32404 0

################
# More data... #
################

Current children cumulated memory: 175620 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 272562
/proc/meminfo: memFree=109311448/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=193452 memory=177680 CPUtime=2915.5 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 53647 0 0 0 291139 411 0 0 20 0 1 0 23427911 198094848 44420 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 48363 44420 2895 2900 0 44877 0
Current children cumulated CPU time: 2915.5 s
Current children cumulated vsize: 193452 KiB
Current children cumulated memory: 177680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 272573
/proc/meminfo: memFree=109305880/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=193452 memory=180112 CPUtime=2975.36 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 53840 0 0 0 297122 414 0 0 20 0 1 0 23427911 198094848 45028 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 48363 45028 2895 2900 0 44877 0
Current children cumulated CPU time: 2975.36 s
Current children cumulated vsize: 193452 KiB
Current children cumulated memory: 180112 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 272583
/proc/meminfo: memFree=109298032/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=227264 memory=185780 CPUtime=3035.22 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 54728 0 0 0 303105 417 0 0 20 0 1 0 23427911 232718336 46445 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 56816 46445 2895 2900 0 53330 0
Current children cumulated CPU time: 3035.22 s
Current children cumulated vsize: 227264 KiB
Current children cumulated memory: 185780 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 272595
/proc/meminfo: memFree=109296312/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=228684 memory=187120 CPUtime=3095.08 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 55073 0 0 0 309087 421 0 0 20 0 1 0 23427911 234172416 46780 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57171 46780 2895 2900 0 53685 0
Current children cumulated CPU time: 3095.08 s
Current children cumulated vsize: 228684 KiB
Current children cumulated memory: 187120 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 272605
/proc/meminfo: memFree=109292944/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=188032 CPUtime=3154.94 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 57912 0 0 0 315067 427 0 0 20 0 1 0 23427911 235786240 47008 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47008 2895 2900 0 54079 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 188032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.17 4.12 5/255 272617
/proc/meminfo: memFree=109294028/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=188032 CPUtime=3214.8 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 57981 0 0 0 321050 430 0 0 20 0 1 0 23427911 235786240 47008 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47008 2895 2900 0 54079 0
Current children cumulated CPU time: 3214.8 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 188032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/257 272632
/proc/meminfo: memFree=109292688/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=188032 CPUtime=3274.67 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 58054 0 0 0 327032 435 0 0 20 0 1 0 23427911 235786240 47008 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47008 2895 2900 0 54079 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 188032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 272643
/proc/meminfo: memFree=109286504/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=188032 CPUtime=3334.51 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 58119 0 0 0 333011 440 0 0 20 0 1 0 23427911 235786240 47008 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47008 2895 2900 0 54079 0
Current children cumulated CPU time: 3334.51 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 188032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/257 272744
/proc/meminfo: memFree=109275544/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=188032 CPUtime=3394.37 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 58187 0 0 0 338992 445 0 0 20 0 1 0 23427911 235786240 47008 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47008 2895 2900 0 54079 0
Current children cumulated CPU time: 3394.37 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 188032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/257 272799
/proc/meminfo: memFree=109231656/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=188032 CPUtime=3454.21 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 61293 0 0 0 344968 453 0 0 20 0 1 0 23427911 235786240 47008 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47008 2895 2900 0 54079 0
Current children cumulated CPU time: 3454.21 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 188032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 272810
/proc/meminfo: memFree=109157376/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=190172 CPUtime=3514.05 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 61362 0 0 0 350948 457 0 0 20 0 1 0 23427911 235786240 47543 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47543 2895 2900 0 54079 0
Current children cumulated CPU time: 3514.05 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 190172 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/256 273204
/proc/meminfo: memFree=109107836/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=190172 CPUtime=3573.93 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 61433 0 0 0 356933 460 0 0 20 0 1 0 23427911 235786240 47543 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47543 2895 2900 0 54079 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 190172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 273211
/proc/meminfo: memFree=109088148/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=190172 CPUtime=3600.07 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 61434 0 0 0 359546 461 0 0 20 0 1 0 23427911 235786240 47543 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47543 2895 2900 0 54079 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 190172 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.5 s]
# the end of solver process 271208 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3595.47 s, system=4.62177 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3608.5 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 273211
/proc/meminfo: memFree=109088148/131524600 swapFree=131071728/131071996
[pid=271208] ppid=271205 vsize=230260 memory=190172 CPUtime=3600.07 cores=4,6
/proc/271208/stat : 271208 (ipbhs_static_sc) R 271205 271208 267933 0 -1 4194304 61434 0 0 0 359546 461 0 0 20 0 1 0 23427911 235786240 47543 134679101440 4194304 16068861 140720647707968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37801984 140720647713830 140720647713917 140720647713917 140720647720932 0
/proc/271208/statm: 57565 47543 2895 2900 0 54079 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 230260 KiB
Current children cumulated memory: 190172 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.5
CPU time (s): 3600.09
CPU user time (s): 3595.47
CPU system time (s): 4.62177
CPU usage (%): 99.7669
Max. virtual memory (cumulated for all children) (KiB): 231020
Max. memory (cumulated for all children) (KiB): 190172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.47
system time used= 4.62177
maximum resident set size= 190172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61434
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= 55
involuntary context switches= 3377


# summary of solver processes directly reported to runsolver:
#   pid: 271208
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.47
#   total CPU system time (s): 4.62177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4282 second user time and 17.3377 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-25 02:56:25
IDJOB=4458375
IDBENCH=177212
IDSOLVER=3057
FILE ID=nodeC029/4458375-1721868985
RUNJOBID= nodeC029-1721865114-267944
SLURM_JOB_ID= 8089183
Free space on /tmp= 889908 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458375-1721868985/watcher-4458375-1721868985 -o /tmp/evaluation-result-4458375-1721868985/solver-4458375-1721868985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721865114-267944 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4458375-1721868985.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= cef34ff274a7a14d58a37c503700d4d0
RANDOM SEED=1411149348

nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.097
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.410
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.927
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.048
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.737
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.414
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3682.392
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.069
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109752356 kB
MemAvailable:   129417836 kB
Buffers:          282640 kB
Cached:         20094284 kB
SwapCached:           44 kB
Active:          2770796 kB
Inactive:       18144800 kB
Active(anon):       1580 kB
Inactive(anon):   591104 kB
Active(file):    2769216 kB
Inactive(file): 17553696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             54212 kB
Writeback:             4 kB
AnonPages:        538696 kB
Mapped:           152548 kB
Shmem:             54012 kB
KReclaimable:     364780 kB
Slab:             496756 kB
SReclaimable:     364780 kB
SUnreclaim:       131976 kB
KernelStack:        4096 kB
PageTables:        10568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     898340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      348884 kB
DirectMap2M:    44513280 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889856 MiB
End job on nodeC029 at 2024-07-25 03:56:33