Trace number 4431750

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.11 3607.73

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
MD5SUM062a8ee8fd391209ed47aa3cd3325d2f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42567
Best CPU time to get the best result obtained on this benchmark3588.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15645564
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 15645564
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

27.71/27.83	c initialize IPBHS solver
27.71/27.83	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
27.71/27.83	c optimizer = "scip"
27.71/27.83	c pbsolver = "roundingsat"
27.71/27.83	c load symmetries from file ""
27.71/27.83	c set time limit for symmetry computation to 100 seconds.
27.71/27.83	c set interchangeable summation variable limit to 3
27.71/27.83	c set abs symmetric core budget per WCE-iteration to 100
27.71/27.83	c set rel symmetric core budget per WCE-iteration to 0
27.71/27.83	c set lit symmetric core budget per WCE-iteration to 0
27.71/27.83	c set sym generation to 's'
27.71/27.83	c set abstraction set creation to 10 iterations without LB change
27.71/27.83	c set abstraction set inputs to 0
27.71/27.83	c set abstraction set cluster min size to 2
27.71/27.83	c set abstraction set cluster max size to 100000000
27.71/27.83	c set abstraction set cluster activation limit to 2
27.71/27.83	c enable abstraction set require equal cost
27.71/27.83	c set abstraction set assumptions to 0
27.71/27.83	c set abstraction set constraint type to 0
27.71/27.83	c set abstract core extraction strategy to b
27.71/27.83	c set core extraction strategy to 2
27.71/27.83	c set core extraction shuffles 10
27.71/27.83	c set cores per iteration to 5
27.71/27.83	c set optimizer bound usage strategy to 2
27.71/27.83	c set optimizer max non-optimal iterations to 1000
27.71/27.83	c set small core cardinality limit to 2
27.71/27.83	c set max coef in cores to 1000000000
27.71/27.83	c set SIS iterations to 5
27.71/27.83	c set SIS budget abs to 1000
27.71/27.83	c set SIS budget rel to 0.05
27.71/27.83	c limit for coefficient in constraints and objective to 9223372036854775807
27.71/27.83	c will solve HOME/instance-4431750-1721152413.opb
27.71/27.83	c [1.54] solve iteration 1, LB=-15645564, UB=1
27.71/27.83	c [2.37] solve iteration 2, LB=-64080, UB=0
27.71/27.83	c [3.26] solve iteration 3, LB=-64080, UB=-7534
27.71/27.83	c [4.09] solve iteration 4, LB=-64080, UB=-7996
27.71/27.83	c [4.93] solve iteration 5, LB=-64080, UB=-7996
27.71/27.83	c [5.8] solve iteration 6, LB=-64080, UB=-7996
27.71/27.83	c [6.67] solve iteration 7, LB=-64080, UB=-8037
27.71/27.83	c [7.57] solve iteration 8, LB=-64080, UB=-8037
27.71/27.83	c [8.52] solve iteration 9, LB=-64080, UB=-8037
27.71/27.83	c [9.55] solve iteration 10, LB=-64080, UB=-8037
27.71/27.83	c [10.74] solve iteration 11, LB=-64080, UB=-8037
27.71/27.83	c [12.17] solve iteration 12, LB=-64080, UB=-8071
27.71/27.83	c [13.71] solve iteration 13, LB=-64080, UB=-8071
27.71/27.83	c [15.33] solve iteration 14, LB=-64080, UB=-8071
27.71/27.83	c [17.14] solve iteration 15, LB=-64080, UB=-8071
27.71/27.83	c [19.05] solve iteration 16, LB=-64080, UB=-8071
27.71/27.83	c [22.83] solve iteration 17, LB=-64080, UB=-8234
27.71/27.83	c [25.12] solve iteration 18, LB=-64080, UB=-8234
30.29/30.49	c [27.59] solve iteration 19, LB=-64080, UB=-8234
33.09/33.21	c [30.2] solve iteration 20, LB=-64080, UB=-8234
41.56/41.78	c [32.92] solve iteration 21, LB=-64080, UB=-8234
41.56/41.78	c [35.63] solve iteration 22, LB=-64080, UB=-8310
41.56/41.78	c [38.4] solve iteration 23, LB=-64080, UB=-8310
49.43/49.68	c [41.46] solve iteration 24, LB=-64080, UB=-8310
49.43/49.68	c [44.42] solve iteration 25, LB=-64080, UB=-8310
49.43/49.68	c [47.42] solve iteration 26, LB=-64080, UB=-8310
52.62/52.86	c [49.33] solve iteration 27, LB=-64080, UB=-8442
55.81/56.06	c [52.48] solve iteration 28, LB=-64080, UB=-8442
59.10/59.33	c [55.69] solve iteration 29, LB=-64080, UB=-8442
62.19/62.41	c [58.86] solve iteration 30, LB=-64080, UB=-8442
65.38/65.60	c [61.96] solve iteration 31, LB=-64080, UB=-8442
93.33/93.69	c [86.81] solve iteration 32, LB=-64080, UB=-8836
93.33/93.69	c [89.96] solve iteration 33, LB=-64080, UB=-8836
96.52/96.85	c [93.16] solve iteration 34, LB=-64080, UB=-8836
99.91/100.26	c [96.31] solve iteration 35, LB=-64080, UB=-8836
103.10/103.44	c [99.63] solve iteration 36, LB=-64080, UB=-8836
106.48/106.87	c [103.05] solve iteration 37, LB=-64080, UB=-8928
109.78/110.16	c [106.21] solve iteration 38, LB=-64080, UB=-8928
118.25/118.69	c [109.56] solve iteration 39, LB=-64080, UB=-8928
118.25/118.69	c [112.77] solve iteration 40, LB=-64080, UB=-8928
118.25/118.69	c [115.95] solve iteration 41, LB=-64080, UB=-8928
129.64/130.04	c [125.84] solve iteration 42, LB=-64080, UB=-9020
132.92/133.38	c [129.21] solve iteration 43, LB=-64080, UB=-9020
136.41/136.84	c [132.46] solve iteration 44, LB=-64080, UB=-9020
139.80/140.27	c [135.92] solve iteration 45, LB=-64080, UB=-9020
143.39/143.87	c [139.35] solve iteration 46, LB=-64080, UB=-9020
151.27/151.73	c [147.22] solve iteration 47, LB=-64080, UB=-9077
153.17/153.62	c [150.7] solve iteration 48, LB=-64080, UB=-9077
158.15/158.68	c [154.1] solve iteration 49, LB=-64080, UB=-9077
160.34/160.87	c [157.58] solve iteration 50, LB=-64080, UB=-9077
162.44/162.92	c [159.74] solve iteration 51, LB=-64080, UB=-9077
166.03/166.57	c [161.99] solve iteration 52, LB=-64080, UB=-9186
169.63/170.16	c [165.49] solve iteration 53, LB=-64080, UB=-9186
173.41/173.92	c [168.99] solve iteration 54, LB=-64080, UB=-9186
176.79/177.34	c [172.73] solve iteration 55, LB=-64080, UB=-9186
180.18/180.75	c [176.09] solve iteration 56, LB=-64080, UB=-9186
183.68/184.21	c [179.62] solve iteration 57, LB=-64080, UB=-9278
186.96/187.59	c [182.94] solve iteration 58, LB=-64080, UB=-9278
191.05/191.62	c [186.95] solve iteration 59, LB=-64080, UB=-9278
194.64/195.26	c [190.31] solve iteration 60, LB=-64080, UB=-9278
198.03/198.62	c [193.93] solve iteration 61, LB=-64080, UB=-9278
201.02/201.60	c [198.03] solve iteration 62, LB=-64080, UB=-9659
204.42/205.02	c [200.25] solve iteration 63, LB=-64080, UB=-9659
207.70/208.38	c [203.6] solve iteration 64, LB=-64080, UB=-9659
210.20/210.80	c [206.97] solve iteration 65, LB=-64080, UB=-9659
213.69/214.30	c [209.37] solve iteration 66, LB=-64080, UB=-9659
220.27/220.90	c [216.05] solve iteration 67, LB=-64080, UB=-9946
222.26/222.93	c [219.5] solve iteration 68, LB=-64080, UB=-9946
227.25/227.97	c [222.99] solve iteration 69, LB=-64080, UB=-9946
230.74/231.48	c [226.46] solve iteration 70, LB=-64080, UB=-9946
234.43/235.16	c [230.07] solve iteration 71, LB=-64080, UB=-9946
243.61/244.31	c [239.34] solve iteration 72, LB=-64080, UB=-9979
247.00/247.70	c [242.71] solve iteration 73, LB=-64080, UB=-9979
250.49/251.23	c [246.09] solve iteration 74, LB=-64080, UB=-9979
253.88/254.68	c [249.57] solve iteration 75, LB=-64080, UB=-9979
257.37/258.11	c [252.98] solve iteration 76, LB=-64080, UB=-9979
290.01/290.81	c [285.6] solve iteration 77, LB=-64080, UB=-10101
292.41/293.28	c [289.04] solve iteration 78, LB=-64080, UB=-10101
295.10/295.92	c [291.7] solve iteration 79, LB=-64080, UB=-10101
297.69/298.51	c [294.07] solve iteration 80, LB=-64080, UB=-10101
299.19/300.04	c [296.6] solve iteration 81, LB=-64080, UB=-10101
308.97/309.86	c [304.23] solve iteration 82, LB=-64080, UB=-10351
312.56/313.49	c [307.91] solve iteration 83, LB=-64080, UB=-10351
316.35/317.26	c [311.5] solve iteration 84, LB=-64080, UB=-10351
319.94/320.88	c [315.22] solve iteration 85, LB=-64080, UB=-10351
323.63/324.59	c [318.9] solve iteration 86, LB=-64080, UB=-10351
326.92/327.80	c [323.27] solve iteration 87, LB=-64080, UB=-10445
329.42/330.30	c [325.72] solve iteration 88, LB=-64080, UB=-10445
332.80/333.78	c [328.21] solve iteration 89, LB=-64080, UB=-10445
336.40/337.36	c [331.67] solve iteration 90, LB=-64080, UB=-10445
338.99/339.95	c [335.2] solve iteration 91, LB=-64080, UB=-10445
352.96/353.96	c [347.98] solve iteration 92, LB=-64080, UB=-10875
356.75/357.75	c [351.64] solve iteration 93, LB=-64080, UB=-10875
360.74/361.73	c [355.32] solve iteration 94, LB=-64080, UB=-10875
364.52/365.56	c [359.26] solve iteration 95, LB=-64080, UB=-10875
368.32/369.38	c [363.11] solve iteration 96, LB=-64080, UB=-10875
372.90/373.97	c [367.74] solve iteration 97, LB=-64080, UB=-11437
379.49/380.55	c [371.51] solve iteration 98, LB=-64080, UB=-11437
379.49/380.55	c [375.23] solve iteration 99, LB=-64080, UB=-11437
383.18/384.22	c [377.97] solve iteration 100, LB=-64080, UB=-11437
386.87/387.99	c [381.62] solve iteration 101, LB=-64080, UB=-11437
404.64/405.77	c [400.39] solve iteration 102, LB=-64080, UB=-11550
407.33/408.43	c [403.69] solve iteration 103, LB=-64080, UB=-11550
413.31/414.41	c [407.81] solve iteration 104, LB=-64080, UB=-11550
416.51/417.69	c [412.01] solve iteration 105, LB=-64080, UB=-11550
420.80/421.96	c [415.25] solve iteration 106, LB=-64080, UB=-11550
436.87/438.04	c [431.37] solve iteration 107, LB=-64080, UB=-11584
442.05/443.24	c [436.53] solve iteration 108, LB=-64080, UB=-11584
447.74/448.96	c [441.93] solve iteration 109, LB=-64080, UB=-11584
452.93/454.13	c [447.27] solve iteration 110, LB=-64080, UB=-11584
457.72/458.99	c [452.05] solve iteration 111, LB=-64080, UB=-11584
469.50/470.79	c [463.74] solve iteration 112, LB=-64080, UB=-11647
473.29/474.58	c [468.78] solve iteration 113, LB=-64080, UB=-11647
478.57/479.89	c [472.89] solve iteration 114, LB=-64080, UB=-11647
483.77/485.09	c [478.04] solve iteration 115, LB=-64080, UB=-11647
489.05/490.39	c [483.37] solve iteration 116, LB=-64080, UB=-11647
561.13/562.56	c [556.32] solve iteration 117, LB=-64080, UB=-11893
563.32/564.76	c [559.22] solve iteration 118, LB=-64080, UB=-11893
569.10/570.57	c [563.09] solve iteration 119, LB=-64080, UB=-11893
573.09/574.55	c [567.16] solve iteration 120, LB=-64080, UB=-11893
576.19/577.60	c [571.16] solve iteration 121, LB=-64080, UB=-11893
580.08/581.54	c [575.11] solve iteration 122, LB=-64080, UB=-11962
584.17/585.65	c [578.08] solve iteration 123, LB=-64080, UB=-11962
588.17/589.68	c [582.1] solve iteration 124, LB=-64080, UB=-11962
592.45/593.90	c [586.2] solve iteration 125, LB=-64080, UB=-11962
596.74/598.21	c [590.49] solve iteration 126, LB=-64080, UB=-11962
601.82/603.34	c [595.58] solve iteration 127, LB=-64080, UB=-12499
605.91/607.45	c [599.79] solve iteration 128, LB=-64080, UB=-12499
610.10/611.68	c [603.83] solve iteration 129, LB=-64080, UB=-12499
614.29/615.89	c [608.01] solve iteration 130, LB=-64080, UB=-12499
616.68/618.22	c [612.17] solve iteration 131, LB=-64080, UB=-12499
625.07/626.60	c [619.93] solve iteration 132, LB=-64080, UB=-12512
628.26/629.85	c [623.03] solve iteration 133, LB=-64080, UB=-12512
631.46/633.05	c [626.22] solve iteration 134, LB=-64080, UB=-12512
635.84/637.46	c [629.37] solve iteration 135, LB=-64080, UB=-12512
640.54/642.19	c [633.76] solve iteration 136, LB=-64080, UB=-12512
648.32/649.96	c [641.51] solve iteration 137, LB=-64080, UB=-12675
653.50/655.14	c [646.36] solve iteration 138, LB=-64080, UB=-12675
658.49/660.17	c [651.6] solve iteration 139, LB=-64080, UB=-12675
662.39/664.07	c [656.41] solve iteration 140, LB=-64080, UB=-12675
666.38/668.08	c [660.43] solve iteration 141, LB=-64080, UB=-12675
729.87/731.68	c [717.36] solve iteration 142, LB=-64080, UB=-12779
729.87/731.68	c [722.41] solve iteration 143, LB=-64080, UB=-12779
734.05/735.84	c [727.33] solve iteration 144, LB=-64080, UB=-12779
742.04/743.83	c [731.46] solve iteration 145, LB=-64080, UB=-12779
742.04/743.83	c [735.44] solve iteration 146, LB=-64080, UB=-12779
756.51/758.32	c [749.8] solve iteration 147, LB=-64080, UB=-12918
759.00/760.87	c [753.84] solve iteration 148, LB=-64080, UB=-12918
766.09/767.94	c [757.96] solve iteration 149, LB=-64080, UB=-12918
771.27/773.15	c [763.34] solve iteration 150, LB=-64080, UB=-12918
776.46/778.36	c [768.69] solve iteration 151, LB=-64080, UB=-12918
882.38/884.45	c [873.7] solve iteration 152, LB=-64080, UB=-12918
886.87/888.95	c [879.17] solve iteration 153, LB=-64080, UB=-12918
891.07/893.18	c [883.39] solve iteration 154, LB=-64080, UB=-12918
895.35/897.48	c [887.66] solve iteration 155, LB=-64080, UB=-12918
911.91/914.07	c [891.96] solve iteration 156, LB=-64080, UB=-12918
911.91/914.07	c [896.46] solve iteration 157, LB=-64080, UB=-13344
911.91/914.07	c [902.27] solve iteration 158, LB=-64080, UB=-13344
921.78/923.93	c [908.66] solve iteration 159, LB=-64080, UB=-13344
921.78/923.93	c [912.84] solve iteration 160, LB=-64080, UB=-13344
927.36/929.54	c [918.17] solve iteration 161, LB=-64080, UB=-13344
935.44/937.68	c [926.41] solve iteration 162, LB=-64080, UB=-13405
940.03/942.21	c [931.93] solve iteration 163, LB=-64080, UB=-13405
945.61/947.85	c [936.34] solve iteration 164, LB=-64080, UB=-13405
951.40/953.69	c [942.09] solve iteration 165, LB=-64080, UB=-13405
955.90/958.16	c [947.73] solve iteration 166, LB=-64080, UB=-13405
961.28/963.52	c [955.05] solve iteration 167, LB=-64080, UB=-13518
967.78/970.08	c [959.48] solve iteration 168, LB=-64080, UB=-13518
973.35/975.64	c [964.11] solve iteration 169, LB=-64080, UB=-13518
978.84/981.16	c [969.67] solve iteration 170, LB=-64080, UB=-13518
982.03/984.38	c [975.19] solve iteration 171, LB=-64080, UB=-13518
992.31/994.62	c [982.83] solve iteration 172, LB=-64080, UB=-13975
997.89/1000.21	c [988.53] solve iteration 173, LB=-64080, UB=-13975
1000.48/1002.80	c [994.03] solve iteration 174, LB=-64080, UB=-13975
1006.87/1009.20	c [998.33] solve iteration 175, LB=-64080, UB=-13975
1011.56/1013.93	c [1003.03] solve iteration 176, LB=-64080, UB=-13975
1067.67/1070.11	c [1060.89] solve iteration 177, LB=-64080, UB=-14006
1074.35/1076.84	c [1065.27] solve iteration 178, LB=-64080, UB=-14006
1079.74/1082.27	c [1070.6] solve iteration 179, LB=-64080, UB=-14006
1085.72/1088.24	c [1075.67] solve iteration 180, LB=-64080, UB=-14006
1091.52/1094.07	c [1081.53] solve iteration 181, LB=-64080, UB=-14006
1098.90/1101.48	c [1089.49] solve iteration 182, LB=-64080, UB=-14029
1104.38/1106.94	c [1095.07] solve iteration 183, LB=-64080, UB=-14029
1109.16/1111.78	c [1100.08] solve iteration 184, LB=-64080, UB=-14029
1114.46/1117.04	c [1105.08] solve iteration 185, LB=-64080, UB=-14029
1119.64/1122.21	c [1110.34] solve iteration 186, LB=-64080, UB=-14029
1125.53/1128.18	c [1116.08] solve iteration 187, LB=-64080, UB=-14221
1130.72/1133.39	c [1121.31] solve iteration 188, LB=-64080, UB=-14221
1136.11/1138.70	c [1126.59] solve iteration 189, LB=-64080, UB=-14221
1141.40/1144.06	c [1131.9] solve iteration 190, LB=-64080, UB=-14221
1147.38/1150.05	c [1137.62] solve iteration 191, LB=-64080, UB=-14221
1179.62/1182.39	c [1168.71] solve iteration 192, LB=-64080, UB=-14502
1186.32/1189.06	c [1175.74] solve iteration 193, LB=-64080, UB=-14502
1191.99/1194.73	c [1182.3] solve iteration 194, LB=-64080, UB=-14502
1197.39/1200.19	c [1187.98] solve iteration 195, LB=-64080, UB=-14502
1203.57/1206.37	c [1193.79] solve iteration 196, LB=-64080, UB=-14502
1212.35/1215.14	c [1202.21] solve iteration 197, LB=-64080, UB=-14509
1218.44/1221.27	c [1208.7] solve iteration 198, LB=-64080, UB=-14509
1224.72/1227.51	c [1214.56] solve iteration 199, LB=-64080, UB=-14509
1231.01/1233.86	c [1220.7] solve iteration 200, LB=-64080, UB=-14509
1239.19/1242.09	c [1227.36] solve iteration 201, LB=-64080, UB=-14509
1250.56/1253.43	c [1238.91] solve iteration 202, LB=-64080, UB=-14708
1258.94/1261.85	c [1247.32] solve iteration 203, LB=-64080, UB=-14708
1265.32/1268.26	c [1254.95] solve iteration 204, LB=-64080, UB=-14708
1269.72/1272.61	c [1261.3] solve iteration 205, LB=-64080, UB=-14708
1279.89/1282.81	c [1268.39] solve iteration 206, LB=-64080, UB=-14708
1329.80/1332.89	c [1318.5] solve iteration 207, LB=-64080, UB=-14946
1336.09/1339.12	c [1325.44] solve iteration 208, LB=-64080, UB=-14946
1342.37/1345.43	c [1331.88] solve iteration 209, LB=-64080, UB=-14946
1348.96/1352.09	c [1338.43] solve iteration 210, LB=-64080, UB=-14946
1356.14/1359.20	c [1345.23] solve iteration 211, LB=-64080, UB=-14946
1365.41/1368.51	c [1355.03] solve iteration 212, LB=-64080, UB=-15113
1371.51/1374.60	c [1360.98] solve iteration 213, LB=-64080, UB=-15113
1378.49/1381.61	c [1367.49] solve iteration 214, LB=-64080, UB=-15113
1385.27/1388.49	c [1374.22] solve iteration 215, LB=-64080, UB=-15113
1392.45/1395.67	c [1381.48] solve iteration 216, LB=-64080, UB=-15113
1541.73/1545.18	c [1530.56] solve iteration 217, LB=-64080, UB=-15132
1548.30/1551.78	c [1536.8] solve iteration 218, LB=-64080, UB=-15132
1555.19/1558.63	c [1543.99] solve iteration 219, LB=-64080, UB=-15132
1562.47/1566.00	c [1550.83] solve iteration 220, LB=-64080, UB=-15132
1569.86/1573.32	c [1558.17] solve iteration 221, LB=-64080, UB=-15132
1579.83/1583.35	c [1567.97] solve iteration 222, LB=-64080, UB=-15313
1587.21/1590.72	c [1575.14] solve iteration 223, LB=-64080, UB=-15313
1595.50/1599.08	c [1582.99] solve iteration 224, LB=-64080, UB=-15313
1602.68/1606.29	c [1590.5] solve iteration 225, LB=-64080, UB=-15313
1609.36/1612.95	c [1597.38] solve iteration 226, LB=-64080, UB=-15313
1727.08/1730.86	c [1714.53] solve iteration 227, LB=-64080, UB=-15361
1733.07/1736.85	c [1720.81] solve iteration 228, LB=-64080, UB=-15361
1739.25/1743.01	c [1726.9] solve iteration 229, LB=-64080, UB=-15361
1745.14/1748.96	c [1732.81] solve iteration 230, LB=-64080, UB=-15361
1751.62/1755.48	c [1739.07] solve iteration 231, LB=-64080, UB=-15361
1758.10/1761.96	c [1745.88] solve iteration 232, LB=-64080, UB=-15604
1764.89/1768.79	c [1751.77] solve iteration 233, LB=-64080, UB=-15604
1771.48/1775.35	c [1758.65] solve iteration 234, LB=-64080, UB=-15604
1779.26/1783.11	c [1765.13] solve iteration 235, LB=-64080, UB=-15604
1787.43/1791.38	c [1773.13] solve iteration 236, LB=-64080, UB=-15604
1794.12/1798.05	c [1781.48] solve iteration 237, LB=-64080, UB=-16176
1800.80/1804.72	c [1787.75] solve iteration 238, LB=-64080, UB=-16176
1807.49/1811.48	c [1794.45] solve iteration 239, LB=-64080, UB=-16176
1813.68/1817.62	c [1800.96] solve iteration 240, LB=-64080, UB=-16176
1819.56/1823.56	c [1807.16] solve iteration 241, LB=-64080, UB=-16176
1835.83/1839.84	c [1822.83] solve iteration 242, LB=-64080, UB=-16385
1842.21/1846.23	c [1829.21] solve iteration 243, LB=-64080, UB=-16385
1848.90/1852.98	c [1835.91] solve iteration 244, LB=-64080, UB=-16385
1856.28/1860.37	c [1842.5] solve iteration 245, LB=-64080, UB=-16385
1862.76/1866.89	c [1849.59] solve iteration 246, LB=-64080, UB=-16385
1872.14/1876.28	c [1859.03] solve iteration 247, LB=-64080, UB=-16578
1879.23/1883.37	c [1865.92] solve iteration 248, LB=-64080, UB=-16578
1886.61/1890.70	c [1872.89] solve iteration 249, LB=-64080, UB=-16578
1893.39/1897.59	c [1879.96] solve iteration 250, LB=-64080, UB=-16578
1900.68/1904.81	c [1887.01] solve iteration 251, LB=-64080, UB=-16578
1918.94/1923.15	c [1905.39] solve iteration 252, LB=-64080, UB=-16791
1926.52/1930.74	c [1912.45] solve iteration 253, LB=-64080, UB=-16791
1933.70/1937.99	c [1919.57] solve iteration 254, LB=-64080, UB=-16791
1941.09/1945.30	c [1927.13] solve iteration 255, LB=-64080, UB=-16791
1947.68/1952.00	c [1934.05] solve iteration 256, LB=-64080, UB=-16791
2032.52/2036.99	c [2018.63] solve iteration 257, LB=-64080, UB=-17064
2040.40/2044.80	c [2026.1] solve iteration 258, LB=-64080, UB=-17064
2047.79/2052.21	c [2033.42] solve iteration 259, LB=-64080, UB=-17064
2056.26/2060.72	c [2040.76] solve iteration 260, LB=-64080, UB=-17064
2064.84/2069.35	c [2049.09] solve iteration 261, LB=-64080, UB=-17064
2082.21/2086.77	c [2068.03] solve iteration 262, LB=-64080, UB=-17066
2090.08/2094.60	c [2075.65] solve iteration 263, LB=-64080, UB=-17066
2097.37/2101.98	c [2083.1] solve iteration 264, LB=-64080, UB=-17066
2104.75/2109.37	c [2090.63] solve iteration 265, LB=-64080, UB=-17066
2112.64/2117.27	c [2098.23] solve iteration 266, LB=-64080, UB=-17066
2136.60/2141.28	c [2122.01] solve iteration 267, LB=-64080, UB=-17096
2145.86/2150.57	c [2130.5] solve iteration 268, LB=-64080, UB=-17096
2153.54/2158.21	c [2139.34] solve iteration 269, LB=-64080, UB=-17096
2163.91/2168.67	c [2147.66] solve iteration 270, LB=-64080, UB=-17096
2172.49/2177.24	c [2158] solve iteration 271, LB=-64080, UB=-17096
2220.61/2225.43	c [2205.62] solve iteration 272, LB=-64080, UB=-17164
2232.48/2237.31	c [2216.43] solve iteration 273, LB=-64080, UB=-17164
2243.45/2248.30	c [2227.28] solve iteration 274, LB=-64080, UB=-17164
2254.52/2259.49	c [2238.73] solve iteration 275, LB=-64080, UB=-17164
2264.59/2269.51	c [2249.81] solve iteration 276, LB=-64080, UB=-17164
2276.67/2281.68	c [2262] solve iteration 277, LB=-64080, UB=-17172
2287.35/2292.34	c [2272.58] solve iteration 278, LB=-64080, UB=-17172
2298.52/2303.54	c [2283.55] solve iteration 279, LB=-64080, UB=-17172
2309.80/2314.81	c [2294.83] solve iteration 280, LB=-64080, UB=-17172
2322.36/2327.42	c [2305.87] solve iteration 281, LB=-64080, UB=-17172
2334.74/2339.89	c [2318.69] solve iteration 282, LB=-64080, UB=-17178
2348.01/2353.19	c [2332.74] solve iteration 283, LB=-64080, UB=-17178
2358.68/2363.86	c [2343.58] solve iteration 284, LB=-64080, UB=-17178
2368.45/2373.66	c [2353.71] solve iteration 285, LB=-64080, UB=-17178
2378.13/2383.38	c [2363.31] solve iteration 286, LB=-64080, UB=-17178
2482.66/2488.02	c [2465.44] solve iteration 287, LB=-64080, UB=-17485
2493.73/2499.16	c [2477.33] solve iteration 288, LB=-64080, UB=-17485
2506.90/2512.35	c [2491.4] solve iteration 289, LB=-64080, UB=-17485
2520.57/2526.03	c [2503.27] solve iteration 290, LB=-64080, UB=-17485
2532.44/2537.95	c [2516.53] solve iteration 291, LB=-64080, UB=-17485
2717.03/2722.88	c [2700.2] solve iteration 292, LB=-64080, UB=-17485
2726.61/2732.45	c [2710.33] solve iteration 293, LB=-64080, UB=-17485
2736.79/2742.61	c [2719.79] solve iteration 294, LB=-64080, UB=-17485
2748.85/2754.72	c [2730.72] solve iteration 295, LB=-64080, UB=-17485
2759.33/2765.25	c [2742.35] solve iteration 296, LB=-64080, UB=-17485
2778.19/2784.19	c [2761.63] solve iteration 297, LB=-64080, UB=-17497
2791.46/2797.49	c [2771.94] solve iteration 298, LB=-64080, UB=-17497
2805.81/2811.80	c [2786.4] solve iteration 299, LB=-64080, UB=-17497
2817.88/2824.00	c [2799.21] solve iteration 300, LB=-64080, UB=-17497
2828.55/2834.65	c [2811.87] solve iteration 301, LB=-64080, UB=-17497
2874.56/2880.72	c [2857.08] solve iteration 302, LB=-64080, UB=-17567
2890.52/2896.71	c [2871.55] solve iteration 303, LB=-64080, UB=-17567
2905.18/2911.47	c [2888.06] solve iteration 304, LB=-64080, UB=-17567
2919.35/2925.68	c [2902.41] solve iteration 305, LB=-64080, UB=-17567
2933.32/2939.62	c [2915.01] solve iteration 306, LB=-64080, UB=-17567
2956.86/2963.27	c [2939.46] solve iteration 307, LB=-64080, UB=-17574
2971.04/2977.44	c [2953.82] solve iteration 308, LB=-64080, UB=-17574
2986.90/2993.33	c [2969.21] solve iteration 309, LB=-64080, UB=-17574
2999.86/3006.32	c [2982.94] solve iteration 310, LB=-64080, UB=-17574
3013.74/3020.27	c [2996.3] solve iteration 311, LB=-64080, UB=-17574
3109.37/3116.00	c [3091.69] solve iteration 312, LB=-64080, UB=-17711
3138.70/3145.40	c [3107.34] solve iteration 313, LB=-64080, UB=-17711
3138.70/3145.40	c [3121.18] solve iteration 314, LB=-64080, UB=-17711
3154.56/3161.31	c [3135.99] solve iteration 315, LB=-64080, UB=-17711
3168.14/3174.99	c [3150.02] solve iteration 316, LB=-64080, UB=-17711
3281.75/3288.76	c [3263.17] solve iteration 317, LB=-64080, UB=-17783
3291.03/3298.07	c [3272.37] solve iteration 318, LB=-64080, UB=-17783
3299.80/3306.87	c [3281.37] solve iteration 319, LB=-64080, UB=-17783
3308.48/3315.52	c [3290.1] solve iteration 320, LB=-64080, UB=-17783
3317.46/3324.57	c [3298.54] solve iteration 321, LB=-64080, UB=-17783
3331.94/3339.08	c [3313.27] solve iteration 322, LB=-64080, UB=-17864
3342.31/3349.43	c [3322.14] solve iteration 323, LB=-64080, UB=-17864
3352.28/3359.42	c [3332.42] solve iteration 324, LB=-64080, UB=-17864
3361.96/3369.16	c [3342.29] solve iteration 325, LB=-64080, UB=-17864
3372.13/3379.33	c [3351.86] solve iteration 326, LB=-64080, UB=-17864
3409.37/3416.65	c [3390.02] solve iteration 327, LB=-64080, UB=-17887
3428.23/3435.54	c [3398.96] solve iteration 328, LB=-64080, UB=-17887
3428.23/3435.54	c [3407.96] solve iteration 329, LB=-64080, UB=-17887
3438.70/3446.07	c [3417.73] solve iteration 330, LB=-64080, UB=-17887
3449.47/3456.80	c [3428.38] solve iteration 331, LB=-64080, UB=-17887
3469.34/3476.75	c [3448.98] solve iteration 332, LB=-64080, UB=-17969
3478.81/3486.20	c [3458.85] solve iteration 333, LB=-64080, UB=-17969
3488.89/3496.34	c [3468.74] solve iteration 334, LB=-64080, UB=-17969
3498.57/3506.01	c [3478.67] solve iteration 335, LB=-64080, UB=-17969
3507.94/3515.46	c [3488.14] solve iteration 336, LB=-64080, UB=-17969
3545.18/3552.79	c [3525.29] solve iteration 337, LB=-64080, UB=-17990
3554.76/3562.36	c [3534.55] solve iteration 338, LB=-64080, UB=-17990
3564.84/3572.40	c [3544.37] solve iteration 339, LB=-64080, UB=-17990
3574.11/3581.73	c [3554.02] solve iteration 340, LB=-64080, UB=-17990
3584.29/3591.95	c [3563.51] solve iteration 341, LB=-64080, UB=-17990

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431750-1721152413/watcher-4431750-1721152413 -o /tmp/evaluation-result-4431750-1721152413/solver-4431750-1721152413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721152425-883530 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431750-1721152413.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=883572, runsolver pid=883565

[startup+0.100062 s]*
/proc/loadavg: 1.10 1.11 1.37 5/256 883588
/proc/meminfo: memFree=127322044/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=46764 memory=21684 CPUtime=0.1 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 4951 0 0 0 9 1 0 0 20 0 1 0 167403725 47886336 5421 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 11691 5421 1135 2900 0 8205 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46764 KiB
Current children cumulated memory: 21684 KiB

[startup+0.206039 s]*
/proc/loadavg: 1.10 1.11 1.37 7/259 883594
/proc/meminfo: memFree=127188940/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=101460 memory=82216 CPUtime=0.2 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 18529 0 0 0 15 5 0 0 20 0 1 0 167403725 103895040 20488 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 25365 20488 2383 2900 0 21879 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101460 KiB
Current children cumulated memory: 82216 KiB

[startup+0.30554 s]*
/proc/loadavg: 1.10 1.11 1.37 5/259 883594
/proc/meminfo: memFree=127090292/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=131988 memory=112312 CPUtime=0.3 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 26091 0 0 0 23 7 0 0 20 0 1 0 167403725 135155712 28078 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 32997 28078 2383 2900 0 29511 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131988 KiB
Current children cumulated memory: 112312 KiB

[startup+0.700153 s]
/proc/loadavg: 1.10 1.11 1.37 5/259 883594
/proc/meminfo: memFree=127034832/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=131988 memory=112312 CPUtime=0.69 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 26091 0 0 0 62 7 0 0 20 0 1 0 167403725 135155712 28078 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 32997 28078 2383 2900 0 29511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131988 KiB
Current children cumulated memory: 112312 KiB

[startup+1.50014 s]
/proc/loadavg: 1.10 1.11 1.37 6/259 883594
/proc/meminfo: memFree=126941904/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=131988 memory=112312 CPUtime=1.49 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 26091 0 0 0 142 7 0 0 20 0 1 0 167403725 135155712 28078 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 32997 28078 2383 2900 0 29511 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131988 KiB
Current children cumulated memory: 112312 KiB

[startup+3.10624 s]
/proc/loadavg: 1.33 1.16 1.39 6/259 883596
/proc/meminfo: memFree=125127120/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=276320 memory=253048 CPUtime=3.09 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 61002 0 0 0 296 13 0 0 20 0 1 0 167403725 282951680 63262 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 69080 63262 2767 2900 0 65594 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 276320 KiB
Current children cumulated memory: 253048 KiB

[startup+6.30017 s]
/proc/loadavg: 1.33 1.16 1.39 6/259 883597
/proc/meminfo: memFree=125029428/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=294720 memory=272284 CPUtime=6.28 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 70187 0 0 0 612 16 0 0 20 0 1 0 167403725 301793280 68071 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 73680 68071 2943 2900 0 70194 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 294720 KiB
Current children cumulated memory: 272284 KiB

[startup+12.7002 s]
/proc/loadavg: 1.55 1.20 1.40 6/259 883597
/proc/meminfo: memFree=124531824/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=331460 memory=309020 CPUtime=12.65 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 79993 0 0 0 1246 19 0 0 20 0 1 0 167403725 339415040 77255 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 82865 77255 2943 2900 0 79379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 331460 KiB
Current children cumulated memory: 309020 KiB

[startup+25.5002 s]
/proc/loadavg: 2.40 1.41 1.47 6/259 883600
/proc/meminfo: memFree=124351240/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=369812 memory=346200 CPUtime=25.41 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 88779 0 0 0 2520 21 0 0 20 0 1 0 167403725 378687488 86550 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 92453 86550 2943 2900 0 88967 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 369812 KiB
Current children cumulated memory: 346200 KiB

[startup+51.106 s]
/proc/loadavg: 2.95 1.62 1.53 6/259 883603
/proc/meminfo: memFree=124289724/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=392988 memory=370396 CPUtime=50.93 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 99456 0 0 0 5062 31 0 0 20 0 1 0 167403725 402419712 92599 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 98247 92599 2943 2900 0 94761 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 392988 KiB
Current children cumulated memory: 370396 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 2.02 1.68 6/259 883611
/proc/meminfo: memFree=124095568/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=470588 memory=440244 CPUtime=102 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 124413 0 0 0 10160 40 0 0 20 0 1 0 167403725 481882112 110061 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 117647 110061 2943 2900 0 114161 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 470588 KiB
Current children cumulated memory: 440244 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.40 1.83 6/260 884007
/proc/meminfo: memFree=123942884/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=518724 memory=476224 CPUtime=161.84 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 132549 0 0 0 16109 75 0 0 20 0 1 0 167403725 531173376 119056 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 129681 119056 2943 2900 0 126195 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 518724 KiB
Current children cumulated memory: 476224 KiB

[startup+222.3 s]
/proc/loadavg: 4.40 2.82 2.02 6/260 884017
/proc/meminfo: memFree=123689040/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=531988 memory=500680 CPUtime=221.66 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 147842 0 0 0 22071 95 0 0 20 0 1 0 167403725 544755712 125170 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 132997 125170 2943 2900 0 129511 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 500680 KiB

[startup+282.3 s]
/proc/loadavg: 4.38 3.11 2.17 6/260 884027
/proc/meminfo: memFree=123435384/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=587600 memory=551604 CPUtime=281.53 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 155297 0 0 0 28040 113 0 0 20 0 1 0 167403725 601702400 137901 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 146900 137901 2943 2900 0 143414 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 587600 KiB
Current children cumulated memory: 551604 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 3.29 2.29 6/258 884207
/proc/meminfo: memFree=122462256/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=631052 memory=601576 CPUtime=341.38 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 172822 0 0 0 33994 144 0 0 20 0 1 0 167403725 646197248 150394 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 157763 150394 2943 2900 0 154277 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 631052 KiB
Current children cumulated memory: 601576 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.44 2.41 6/260 884221
/proc/meminfo: memFree=121219824/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=633096 memory=611620 CPUtime=401.24 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 182391 0 0 0 39950 174 0 0 20 0 1 0 167403725 648290304 152905 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 158274 152905 2943 2900 0 154788 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 633096 KiB
Current children cumulated memory: 611620 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.57 2.52 6/258 884245
/proc/meminfo: memFree=120975980/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=789728 memory=719460 CPUtime=461.11 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 223883 0 0 0 45924 187 0 0 20 0 1 0 167403725 808681472 179865 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 197432 179865 2943 2900 0 193946 0

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

Current children cumulated memory: 1652236 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/257 885359
/proc/meminfo: memFree=117029696/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1700208 memory=1649532 CPUtime=2916.06 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 634558 0 0 0 290666 940 0 0 20 0 1 0 167403725 1741012992 412383 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 425052 412383 2943 2900 0 421566 0
Current children cumulated CPU time: 2916.06 s
Current children cumulated vsize: 1700208 KiB
Current children cumulated memory: 1649532 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.04 5/257 885369
/proc/meminfo: memFree=116996296/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1711384 memory=1660332 CPUtime=2975.92 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 649597 0 0 0 296644 948 0 0 20 0 1 0 167403725 1752457216 415083 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 427846 415083 2943 2900 0 424360 0
Current children cumulated CPU time: 2975.92 s
Current children cumulated vsize: 1711384 KiB
Current children cumulated memory: 1660332 KiB

[startup+3042.3 s]
/proc/loadavg: 4.21 4.15 4.05 5/257 885382
/proc/meminfo: memFree=116952140/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1714964 memory=1664160 CPUtime=3035.8 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 655834 0 0 0 302624 956 0 0 20 0 1 0 167403725 1756123136 416040 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 428741 416040 2943 2900 0 425255 0
Current children cumulated CPU time: 3035.8 s
Current children cumulated vsize: 1714964 KiB
Current children cumulated memory: 1664160 KiB

[startup+3102.3 s]
/proc/loadavg: 4.28 4.19 4.07 5/257 885393
/proc/meminfo: memFree=116879132/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1714964 memory=1664176 CPUtime=3095.69 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 656270 0 0 0 308582 987 0 0 20 0 1 0 167403725 1756123136 416044 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 428741 416044 2943 2900 0 425255 0
Current children cumulated CPU time: 3095.69 s
Current children cumulated vsize: 1714964 KiB
Current children cumulated memory: 1664176 KiB

[startup+3162.3 s]
/proc/loadavg: 4.59 4.30 4.12 5/254 885403
/proc/meminfo: memFree=116856908/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1710908 memory=1658996 CPUtime=3155.57 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 674615 0 0 0 314557 1000 0 0 20 0 1 0 167403725 1751969792 414749 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 427727 414749 2943 2900 0 424241 0
Current children cumulated CPU time: 3155.57 s
Current children cumulated vsize: 1710908 KiB
Current children cumulated memory: 1658996 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.26 4.11 5/255 885415
/proc/meminfo: memFree=116842548/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1709316 memory=1658700 CPUtime=3215.45 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 675778 0 0 0 320514 1031 0 0 20 0 1 0 167403725 1750339584 414675 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 427329 414675 2943 2900 0 423843 0
Current children cumulated CPU time: 3215.45 s
Current children cumulated vsize: 1709316 KiB
Current children cumulated memory: 1658700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.24 4.11 5/255 885425
/proc/meminfo: memFree=116827724/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1709316 memory=1658700 CPUtime=3275.36 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 676587 0 0 0 326500 1036 0 0 20 0 1 0 167403725 1750339584 414675 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 427329 414675 2943 2900 0 423843 0
Current children cumulated CPU time: 3275.36 s
Current children cumulated vsize: 1709316 KiB
Current children cumulated memory: 1658700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.22 4.11 5/255 885435
/proc/meminfo: memFree=116808952/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1715424 memory=1664808 CPUtime=3335.22 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 705137 0 0 0 332478 1044 0 0 20 0 1 0 167403725 1756594176 416202 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 428856 416202 2943 2900 0 425370 0
Current children cumulated CPU time: 3335.22 s
Current children cumulated vsize: 1715424 KiB
Current children cumulated memory: 1664808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.11 5/255 885445
/proc/meminfo: memFree=116791016/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1721084 memory=1669744 CPUtime=3395.09 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 716938 0 0 0 338422 1087 0 0 20 0 1 0 167403725 1762390016 417436 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 430271 417436 2943 2900 0 426785 0
Current children cumulated CPU time: 3395.09 s
Current children cumulated vsize: 1721084 KiB
Current children cumulated memory: 1669744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.11 5/258 885461
/proc/meminfo: memFree=116760524/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1735116 memory=1682460 CPUtime=3454.97 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 737023 0 0 0 344393 1104 0 0 20 0 1 0 167403725 1776758784 420615 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 433779 420615 2943 2900 0 430293 0
Current children cumulated CPU time: 3454.97 s
Current children cumulated vsize: 1735116 KiB
Current children cumulated memory: 1682460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.10 5/257 885471
/proc/meminfo: memFree=116480824/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1725980 memory=1674404 CPUtime=3514.84 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 747711 0 0 0 350363 1121 0 0 20 0 1 0 167403725 1767403520 418601 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 431495 418601 2943 2900 0 428009 0
Current children cumulated CPU time: 3514.84 s
Current children cumulated vsize: 1725980 KiB
Current children cumulated memory: 1674404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.10 5/257 885481
/proc/meminfo: memFree=116300720/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1727680 memory=1677064 CPUtime=3574.71 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 759689 0 0 0 356330 1141 0 0 20 0 1 0 167403725 1769144320 419266 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 431920 419266 2943 2900 0 428434 0
Current children cumulated CPU time: 3574.71 s
Current children cumulated vsize: 1727680 KiB
Current children cumulated memory: 1677064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.7 s]
/proc/loadavg: 4.14 4.17 4.10 4/255 885487
/proc/meminfo: memFree=118943832/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1722128 memory=1670908 CPUtime=3600.06 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 766325 0 0 0 358861 1145 0 0 20 0 1 0 167403725 1763459072 417727 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 430532 417727 2943 2900 0 427046 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1722128 KiB
Current children cumulated memory: 1670908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.62 s, system=11.4897 s

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

[startup+3607.7 s]
/proc/loadavg: 4.14 4.17 4.10 4/255 885487
/proc/meminfo: memFree=118943832/131524600 swapFree=131071996/131071996
[pid=883572] ppid=883565 vsize=1722128 memory=1670908 CPUtime=3600.06 cores=4,6
/proc/883572/stat : 883572 (ipbhs_static_sc) R 883565 883572 883519 0 -1 4194304 766325 0 0 0 358861 1145 0 0 20 0 1 0 167403725 1763459072 417727 134679101440 4194304 16068861 140729775257440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54792192 140729775264806 140729775264893 140729775264893 140729775271908 0
/proc/883572/statm: 430532 417727 2943 2900 0 427046 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1722128 KiB
Current children cumulated memory: 1670908 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.73
CPU time (s): 3600.11
CPU user time (s): 3588.62
CPU system time (s): 11.4897
CPU usage (%): 99.7887
Max. virtual memory (cumulated for all children) (KiB): 1741356
Max. memory (cumulated for all children) (KiB): 1684908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.62
system time used= 11.4897
maximum resident set size= 1684908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766325
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= 41
involuntary context switches= 2828


# summary of solver processes directly reported to runsolver:
#   pid: 883572
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3588.62
#   total CPU system time (s): 11.4897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90358 second user time and 16.6706 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-16 19:53:45
IDJOB=4431750
IDBENCH=156528
IDSOLVER=3057
FILE ID=nodeC018/4431750-1721152413
RUNJOBID= nodeC018-1721152425-883530
SLURM_JOB_ID= 7505753
Free space on /tmp= 890072 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431750-1721152413/watcher-4431750-1721152413 -o /tmp/evaluation-result-4431750-1721152413/solver-4431750-1721152413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721152425-883530 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431750-1721152413.opb

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

MD5SUM BENCH= 062a8ee8fd391209ed47aa3cd3325d2f
RANDOM SEED=1733471121

nodeC018.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		: 3828.467
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.52
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		: 3769.742
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.30
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		: 3645.241
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.52
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		: 3877.093
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.30
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		: 3610.532
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.52
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		: 3611.946
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.30
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		: 3802.096
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.52
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		: 3844.152
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127375476 kB
MemAvailable:   129729780 kB
Buffers:          407280 kB
Cached:          2762232 kB
SwapCached:            0 kB
Active:           785696 kB
Inactive:        2715572 kB
Active(anon):       1440 kB
Inactive(anon):   368084 kB
Active(file):     784256 kB
Inactive(file):  2347488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            266976 kB
Writeback:             0 kB
AnonPages:        329984 kB
Mapped:           106200 kB
Shmem:             37720 kB
KReclaimable:     124768 kB
Slab:             237732 kB
SReclaimable:     124768 kB
SUnreclaim:       112964 kB
KernelStack:        3872 kB
PageTables:         9896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     704324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62880 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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:      234196 kB
DirectMap2M:    17364992 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 889788 MiB
End job on nodeC018 at 2024-07-16 20:53:53