Trace number 4522228

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
roundingsat-ihs 63f22ad? (MO) 451.016 453.503

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpm1.opb
MD5SUM440d9fa41be3ec48b597f135b494ae2c
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 benchmark562
Best CPU time to get the best result obtained on this benchmark3587.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500000
Total number of constraints5000
Number of constraints which are clauses5000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1130
Maximum length of a constraint1375
Number of terms in the objective function 500000
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 25254186
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 25254186
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
3.05/3.11	c #variables 500000 #constraints 5000
3.05/3.11	c objective is ce32 
4.25/4.37	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.25/4.37	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.25/4.37	c GLOBAL bounds - >= 0 @ 4.11116
6.24/6.30	c GLOBAL bounds - >= 0 @ 5.70827
6.74/6.87	c GLOBAL bounds - >= 0 @ 5.96499
7.34/7.49	c GLOBAL bounds - >= 0 @ 6.26431
9.34/9.42	c GLOBAL bounds - >= 0 @ 7.52974
9.83/9.95	c GLOBAL bounds - >= 0 @ 7.80042
10.04/10.13	c GLOBAL bounds - >= 0 @ 7.96776
10.23/10.32	c GLOBAL bounds - >= 0 @ 8.13467
10.83/10.92	c GLOBAL bounds - >= 0 @ 8.6324
11.04/11.16	c GLOBAL bounds - >= 0 @ 8.83077
11.23/11.35	c GLOBAL bounds - >= 0 @ 9.0152
11.43/11.55	c GLOBAL bounds - >= 0 @ 9.2047
11.63/11.75	c GLOBAL bounds - >= 0 @ 9.3877
11.83/11.96	c GLOBAL bounds - >= 0 @ 9.57335
12.04/12.18	c GLOBAL bounds - >= 0 @ 9.77046
13.33/13.44	c GLOBAL bounds - >= 0 @ 10.6905
13.93/14.01	c GLOBAL bounds - >= 0 @ 11.1558
14.12/14.21	c GLOBAL bounds - >= 0 @ 11.3481
14.32/14.41	c GLOBAL bounds - >= 0 @ 11.5373
14.52/14.60	c GLOBAL bounds - >= 0 @ 11.7269
14.73/14.80	c GLOBAL bounds - >= 0 @ 11.9198
14.93/15.02	c GLOBAL bounds - >= 0 @ 12.1245
15.12/15.23	c GLOBAL bounds - >= 0 @ 12.3201
15.33/15.44	c GLOBAL bounds - >= 0 @ 12.5103
15.52/15.69	c GLOBAL bounds - >= 0 @ 12.7152
15.92/16.08	c GLOBAL bounds - >= 0 @ 13.0734
16.22/16.32	c GLOBAL bounds - >= 0 @ 13.2837
16.41/16.53	c GLOBAL bounds - >= 0 @ 13.4795
16.62/16.74	c GLOBAL bounds - >= 0 @ 13.6775
16.82/16.98	c GLOBAL bounds - >= 0 @ 13.8831
19.02/19.13	c GLOBAL bounds - >= 0 @ 15.7087
19.32/19.41	c GLOBAL bounds - >= 0 @ 15.9212
20.91/21.09	c GLOBAL bounds - >= 0 @ 17.5184
21.70/21.81	c GLOBAL bounds - >= 0 @ 18.1997
21.91/22.04	c GLOBAL bounds - >= 0 @ 18.3985
24.01/24.19	c GLOBAL bounds - >= 0 @ 20.0821
24.50/24.68	c GLOBAL bounds - >= 0 @ 20.4683
24.80/24.92	c GLOBAL bounds - >= 0 @ 20.6639
25.01/25.16	c GLOBAL bounds - >= 0 @ 20.8652
25.20/25.39	c GLOBAL bounds - >= 0 @ 21.0591
25.49/25.61	c GLOBAL bounds - >= 0 @ 21.2573
25.69/25.82	c GLOBAL bounds - >= 0 @ 21.452
25.90/26.04	c GLOBAL bounds - >= 0 @ 21.6484
26.09/26.25	c GLOBAL bounds - >= 0 @ 21.8446
27.59/27.76	c GLOBAL bounds - >= 0 @ 23.013
28.59/28.70	c GLOBAL bounds - >= 0 @ 23.7352
28.89/29.02	c GLOBAL bounds - >= 0 @ 23.97
29.39/29.50	c GLOBAL bounds - >= 0 @ 24.3485
29.59/29.79	c GLOBAL bounds - >= 0 @ 24.5715
29.89/30.05	c GLOBAL bounds - >= 0 @ 24.7851
30.19/30.31	c GLOBAL bounds - >= 0 @ 24.997
30.39/30.56	c GLOBAL bounds - >= 0 @ 25.2044
31.38/31.58	c GLOBAL bounds - >= 0 @ 26.1274
31.58/31.79	c GLOBAL bounds - >= 0 @ 26.3284
31.89/32.01	c GLOBAL bounds - >= 0 @ 26.5311
32.88/33.10	c GLOBAL bounds - >= 0 @ 27.5939
33.18/33.32	c GLOBAL bounds - >= 0 @ 27.8011
33.37/33.53	c GLOBAL bounds - >= 0 @ 28.0039
33.57/33.75	c GLOBAL bounds - >= 0 @ 28.2092
33.78/33.97	c GLOBAL bounds - >= 0 @ 28.414
37.57/37.70	c GLOBAL bounds - >= 0 @ 31.5977
39.17/39.35	c GLOBAL bounds - >= 0 @ 33.0036
39.76/39.91	c GLOBAL bounds - >= 0 @ 33.5393
40.46/40.64	c GLOBAL bounds - >= 0 @ 34.2436
41.16/41.34	c GLOBAL bounds - >= 0 @ 34.917
41.36/41.56	c GLOBAL bounds - >= 0 @ 35.1257
42.35/42.53	c GLOBAL bounds - >= 0 @ 35.7263
42.56/42.75	c GLOBAL bounds - >= 0 @ 35.9287
42.76/42.96	c GLOBAL bounds - >= 0 @ 36.1256
43.75/43.90	c GLOBAL bounds - >= 0 @ 36.7431
43.96/44.12	c GLOBAL bounds - >= 0 @ 36.9388
44.86/45.02	c GLOBAL bounds - >= 0 @ 37.5291
45.65/45.86	c GLOBAL bounds - >= 0 @ 38.3026
45.85/46.09	c GLOBAL bounds - >= 0 @ 38.5094
46.25/46.49	c GLOBAL bounds - >= 0 @ 38.8858
47.05/47.20	c GLOBAL bounds - >= 0 @ 39.5678
47.24/47.43	c GLOBAL bounds - >= 0 @ 39.7763
48.14/48.35	c GLOBAL bounds - >= 0 @ 40.3917
48.85/49.02	c GLOBAL bounds - >= 0 @ 41.0103
49.34/49.55	c GLOBAL bounds - >= 0 @ 41.5008
49.95/50.19	c GLOBAL bounds - >= 0 @ 42.1013
51.63/51.82	c GLOBAL bounds - >= 0 @ 43.4015
54.23/54.45	c GLOBAL bounds - >= 0 @ 45.6391
56.03/56.24	c GLOBAL bounds - >= 0 @ 47.0735
58.12/58.35	c GLOBAL bounds - >= 0 @ 48.8246
60.21/60.46	c GLOBAL bounds - >= 0 @ 50.5594
62.41/62.60	c GLOBAL bounds - >= 0 @ 52.2929
66.80/67.03	c GLOBAL bounds - >= 0 @ 55.7199
68.40/68.64	c GLOBAL bounds - >= 0 @ 57.1048
70.60/70.83	c GLOBAL bounds - >= 0 @ 58.892
72.09/72.30	c GLOBAL bounds - >= 0 @ 60.2647
73.39/73.68	c GLOBAL bounds - >= 0 @ 61.3084
75.28/75.52	c GLOBAL bounds - >= 0 @ 62.778
77.28/77.57	c GLOBAL bounds - >= 0 @ 64.4586
77.57/77.84	c GLOBAL bounds - >= 0 @ 64.6828
79.37/79.60	c GLOBAL bounds - >= 0 @ 66.0756
81.07/81.36	c GLOBAL bounds - >= 0 @ 67.4835
85.65/85.93	c GLOBAL bounds - >= 0 @ 71.881
86.66/87.00	c GLOBAL bounds - >= 0 @ 72.6271
88.45/88.77	c GLOBAL bounds - >= 0 @ 74.0094
92.44/92.80	c GLOBAL bounds - >= 0 @ 77.5953
94.33/94.68	c GLOBAL bounds - >= 0 @ 79.3588
95.74/96.04	c GLOBAL bounds - >= 0 @ 80.4032
97.53/97.85	c GLOBAL bounds - >= 0 @ 81.8396
99.32/99.66	c GLOBAL bounds - >= 0 @ 83.2851
101.92/102.23	c GLOBAL bounds - >= 0 @ 85.4749
104.31/104.66	c GLOBAL bounds - >= 0 @ 87.5163
107.50/107.81	c GLOBAL bounds - >= 0 @ 90.2022
110.19/110.57	c GLOBAL bounds - >= 0 @ 92.5303
112.89/113.27	c GLOBAL bounds - >= 0 @ 94.8327
115.58/115.98	c GLOBAL bounds - >= 0 @ 97.1385
119.37/119.73	c GLOBAL bounds - >= 0 @ 99.7067
122.57/122.97	c GLOBAL bounds - >= 0 @ 102.453
125.07/125.44	c GLOBAL bounds - >= 0 @ 104.495
125.67/126.09	c GLOBAL bounds - >= 0 @ 105.016
128.15/128.52	c GLOBAL bounds - >= 0 @ 107.061
130.75/131.17	c GLOBAL bounds - >= 0 @ 109.205
132.94/133.31	c GLOBAL bounds - >= 0 @ 110.931
135.03/135.43	c GLOBAL bounds - >= 0 @ 112.63
136.24/136.65	c GLOBAL bounds - >= 0 @ 113.714
138.83/139.24	c GLOBAL bounds - >= 0 @ 115.891
140.63/141.08	c GLOBAL bounds - >= 0 @ 117.348
142.92/143.35	c GLOBAL bounds - >= 0 @ 119.222
144.72/145.17	c GLOBAL bounds - >= 0 @ 120.676
146.62/147.00	c GLOBAL bounds - >= 0 @ 122.114
147.81/148.23	c GLOBAL bounds - >= 0 @ 123.197
151.10/151.55	c GLOBAL bounds - >= 0 @ 126.107
153.20/153.67	c GLOBAL bounds - >= 0 @ 127.823
155.98/156.45	c GLOBAL bounds - >= 0 @ 130.188
157.78/158.28	c GLOBAL bounds - >= 0 @ 131.632
159.98/160.41	c GLOBAL bounds - >= 0 @ 133.379
162.08/162.54	c GLOBAL bounds - >= 0 @ 135.124
164.77/165.27	c GLOBAL bounds - >= 0 @ 137.439
166.97/167.40	c GLOBAL bounds - >= 0 @ 139.189
170.76/171.28	c GLOBAL bounds - >= 0 @ 142.505
172.85/173.39	c GLOBAL bounds - >= 0 @ 144.24
173.25/173.77	c GLOBAL bounds - >= 0 @ 144.518
175.75/176.20	c GLOBAL bounds - >= 0 @ 146.563
176.94/177.43	c GLOBAL bounds - >= 0 @ 147.64
178.74/179.25	c GLOBAL bounds - >= 0 @ 149.114
180.54/181.07	c GLOBAL bounds - >= 0 @ 150.573
180.94/181.45	c GLOBAL bounds - >= 0 @ 150.851
182.72/183.27	c GLOBAL bounds - >= 0 @ 152.338
183.43/183.92	c GLOBAL bounds - >= 0 @ 152.877
185.42/185.90	c GLOBAL bounds - >= 0 @ 154.504
187.62/188.12	c GLOBAL bounds - >= 0 @ 156.355
188.82/189.37	c GLOBAL bounds - >= 0 @ 157.254
190.12/190.62	c GLOBAL bounds - >= 0 @ 158.17
192.01/192.57	c GLOBAL bounds - >= 0 @ 159.77
193.41/193.91	c GLOBAL bounds - >= 0 @ 160.991
194.50/195.03	c GLOBAL bounds - >= 0 @ 161.775
195.70/196.27	c GLOBAL bounds - >= 0 @ 162.703
198.09/198.63	c GLOBAL bounds - >= 0 @ 164.916
200.18/200.70	c GLOBAL bounds - >= 0 @ 166.63
201.98/202.54	c GLOBAL bounds - >= 0 @ 168.127
204.38/204.93	c GLOBAL bounds - >= 0 @ 170.127
208.27/208.80	c GLOBAL bounds - >= 0 @ 173.583
210.37/210.92	c GLOBAL bounds - >= 0 @ 175.297
214.26/214.87	c GLOBAL bounds - >= 0 @ 178.936
215.46/216.01	c GLOBAL bounds - >= 0 @ 179.74
219.04/219.62	c GLOBAL bounds - >= 0 @ 182.948
221.24/221.81	c GLOBAL bounds - >= 0 @ 184.799
225.73/226.32	c GLOBAL bounds - >= 0 @ 187.673
228.12/228.77	c GLOBAL bounds - >= 0 @ 189.509
229.43/230.10	c GLOBAL bounds - >= 0 @ 190.482
232.91/233.58	c GLOBAL bounds - >= 0 @ 193.532
233.91/234.59	c GLOBAL bounds - >= 0 @ 194.197
235.01/235.67	c GLOBAL bounds - >= 0 @ 194.949
258.85/259.54	c #Conflicts:       1000 | #Constraints:       6332
258.85/259.54	c GLOBAL bounds - >= 0 @ 217.897
261.24/261.98	c GLOBAL bounds - >= 0 @ 219.808
262.84/263.50	c GLOBAL bounds - >= 0 @ 221.033
267.23/267.92	c GLOBAL bounds - >= 0 @ 224.622
267.53/268.26	c GLOBAL bounds - >= 0 @ 224.892
267.83/268.59	c GLOBAL bounds - >= 0 @ 225.159
268.23/268.92	c GLOBAL bounds - >= 0 @ 225.438
268.52/269.24	c GLOBAL bounds - >= 0 @ 225.711
268.83/269.56	c GLOBAL bounds - >= 0 @ 225.984
269.12/269.87	c GLOBAL bounds - >= 0 @ 226.251
269.43/270.18	c GLOBAL bounds - >= 0 @ 226.518
269.73/270.48	c GLOBAL bounds - >= 0 @ 226.775
270.62/271.34	c GLOBAL bounds - >= 0 @ 227.284
271.02/271.78	c GLOBAL bounds - >= 0 @ 227.585
271.52/272.22	c GLOBAL bounds - >= 0 @ 227.876
271.92/272.66	c GLOBAL bounds - >= 0 @ 228.187
272.32/273.09	c GLOBAL bounds - >= 0 @ 228.48
272.82/273.52	c GLOBAL bounds - >= 0 @ 228.779
273.22/273.93	c GLOBAL bounds - >= 0 @ 229.083
273.62/274.33	c GLOBAL bounds - >= 0 @ 229.371
274.01/274.72	c GLOBAL bounds - >= 0 @ 229.65
274.32/275.08	c GLOBAL bounds - >= 0 @ 229.924
274.72/275.42	c GLOBAL bounds - >= 0 @ 230.195
275.01/275.76	c GLOBAL bounds - >= 0 @ 230.455
275.32/276.08	c GLOBAL bounds - >= 0 @ 230.711
275.71/276.40	c GLOBAL bounds - >= 0 @ 230.971
276.01/276.72	c GLOBAL bounds - >= 0 @ 231.224
276.31/277.03	c GLOBAL bounds - >= 0 @ 231.486
276.61/277.33	c GLOBAL bounds - >= 0 @ 231.744
276.91/277.62	c GLOBAL bounds - >= 0 @ 232.005
277.21/277.91	c GLOBAL bounds - >= 0 @ 232.258
278.00/278.75	c GLOBAL bounds - >= 0 @ 232.765
278.70/279.45	c GLOBAL bounds - >= 0 @ 233.147
279.50/280.25	c GLOBAL bounds - >= 0 @ 233.612
280.10/280.82	c GLOBAL bounds - >= 0 @ 234.044
280.41/281.16	c GLOBAL bounds - >= 0 @ 234.315
280.70/281.49	c GLOBAL bounds - >= 0 @ 234.569
281.10/281.81	c GLOBAL bounds - >= 0 @ 234.832
281.40/282.12	c GLOBAL bounds - >= 0 @ 235.085
281.70/282.43	c GLOBAL bounds - >= 0 @ 235.341
282.00/282.74	c GLOBAL bounds - >= 0 @ 235.599
282.30/283.04	c GLOBAL bounds - >= 0 @ 235.85
282.59/283.33	c GLOBAL bounds - >= 0 @ 236.109
282.89/283.62	c GLOBAL bounds - >= 0 @ 236.358
283.20/283.90	c GLOBAL bounds - >= 0 @ 236.61
284.19/284.96	c GLOBAL bounds - >= 0 @ 237.336
285.00/285.76	c GLOBAL bounds - >= 0 @ 237.804
285.39/286.10	c GLOBAL bounds - >= 0 @ 238.068
285.69/286.44	c GLOBAL bounds - >= 0 @ 238.332
285.99/286.76	c GLOBAL bounds - >= 0 @ 238.59
286.30/287.07	c GLOBAL bounds - >= 0 @ 238.84
286.58/287.38	c GLOBAL bounds - >= 0 @ 239.092
286.89/287.69	c GLOBAL bounds - >= 0 @ 239.345
287.18/287.99	c GLOBAL bounds - >= 0 @ 239.597
287.49/288.27	c GLOBAL bounds - >= 0 @ 239.846
287.78/288.56	c GLOBAL bounds - >= 0 @ 240.1
288.68/289.40	c GLOBAL bounds - >= 0 @ 240.637
289.19/289.95	c GLOBAL bounds - >= 0 @ 241.058
289.58/290.31	c GLOBAL bounds - >= 0 @ 241.324
289.88/290.65	c GLOBAL bounds - >= 0 @ 241.588
290.18/290.98	c GLOBAL bounds - >= 0 @ 241.854
290.58/291.32	c GLOBAL bounds - >= 0 @ 242.119
290.87/291.68	c GLOBAL bounds - >= 0 @ 242.4
291.28/292.00	c GLOBAL bounds - >= 0 @ 242.667
291.57/292.32	c GLOBAL bounds - >= 0 @ 242.921
291.88/292.63	c GLOBAL bounds - >= 0 @ 243.183
292.17/292.95	c GLOBAL bounds - >= 0 @ 243.441
301.85/302.63	c GLOBAL bounds - >= 0 @ 252.515
302.85/303.63	c GLOBAL bounds - >= 0 @ 253.191
304.35/305.19	c GLOBAL bounds - >= 0 @ 254.608
317.42/318.28	c GLOBAL bounds - >= 0 @ 267.139
319.91/320.78	c GLOBAL bounds - >= 0 @ 269.222
324.80/325.68	c GLOBAL bounds - >= 0 @ 273.521
331.98/332.83	c GLOBAL bounds - >= 0 @ 279.869
333.18/334.03	c GLOBAL bounds - >= 0 @ 280.988
334.08/334.91	c GLOBAL bounds - >= 0 @ 281.532
336.46/337.35	c GLOBAL bounds - >= 0 @ 283.571
338.37/339.23	c GLOBAL bounds - >= 0 @ 285.046
339.36/340.23	c GLOBAL bounds - >= 0 @ 285.888
341.65/342.53	c GLOBAL bounds - >= 0 @ 287.802
343.55/344.42	c GLOBAL bounds - >= 0 @ 289.288
346.54/347.48	c GLOBAL bounds - >= 0 @ 291.943
347.05/347.91	c GLOBAL bounds - >= 0 @ 292.261
347.45/348.33	c GLOBAL bounds - >= 0 @ 292.577
352.24/353.12	c GLOBAL bounds - >= 0 @ 296.87
356.23/357.13	c GLOBAL bounds - >= 0 @ 300.372
358.72/359.63	c GLOBAL bounds - >= 0 @ 302.429
367.79/368.73	c GLOBAL bounds - >= 0 @ 310.649
368.50/369.48	c GLOBAL bounds - >= 0 @ 311.072
369.40/370.32	c GLOBAL bounds - >= 0 @ 311.594
370.20/371.17	c GLOBAL bounds - >= 0 @ 312.099
371.10/372.02	c GLOBAL bounds - >= 0 @ 312.617
372.49/373.45	c GLOBAL bounds - >= 0 @ 313.685
375.48/376.46	c GLOBAL bounds - >= 0 @ 316.275
377.57/378.50	c GLOBAL bounds - >= 0 @ 317.936
381.17/382.18	c GLOBAL bounds - >= 0 @ 321.147
383.76/384.73	c GLOBAL bounds - >= 0 @ 323.376
385.07/386.04	c GLOBAL bounds - >= 0 @ 324.34
386.95/387.94	c GLOBAL bounds - >= 0 @ 325.854
390.74/391.79	c GLOBAL bounds - >= 0 @ 329.397
401.13/402.11	c GLOBAL bounds - >= 0 @ 339.142
401.91/402.97	c GLOBAL bounds - >= 0 @ 339.664
402.91/404.00	c GLOBAL bounds - >= 0 @ 340.355
404.01/405.03	c GLOBAL bounds - >= 0 @ 341.059
404.51/405.54	c GLOBAL bounds - >= 0 @ 341.427
405.51/406.57	c GLOBAL bounds - >= 0 @ 342.137
406.61/407.60	c GLOBAL bounds - >= 0 @ 342.858
407.60/408.63	c GLOBAL bounds - >= 0 @ 343.552
408.40/409.49	c GLOBAL bounds - >= 0 @ 344.073
409.50/410.52	c GLOBAL bounds - >= 0 @ 344.775
410.30/411.39	c GLOBAL bounds - >= 0 @ 345.332
411.19/412.25	c GLOBAL bounds - >= 0 @ 345.858
412.19/413.28	c GLOBAL bounds - >= 0 @ 346.567
413.49/414.58	c GLOBAL bounds - >= 0 @ 347.545
425.06/426.19	c GLOBAL bounds - >= 0 @ 358.803
432.04/433.14	c GLOBAL bounds - >= 0 @ 365.497
432.94/434.07	c GLOBAL bounds - >= 0 @ 366.088
434.33/435.47	c GLOBAL bounds - >= 0 @ 367.156
436.33/437.43	c GLOBAL bounds - >= 0 @ 368.747
438.73/439.81	c GLOBAL bounds - >= 0 @ 370.629
439.73/440.88	c GLOBAL bounds - >= 0 @ 371.37
441.82/442.99	c GLOBAL bounds - >= 0 @ 373.109
443.11/444.28	c GLOBAL bounds - >= 0 @ 374.066
445.41/446.55	c GLOBAL bounds - >= 0 @ 375.972
447.61/448.71	c GLOBAL bounds - >= 0 @ 377.582
449.40/450.52	terminate called after throwing an instance of 'std::bad_alloc'
449.40/450.52	  what():  std::bad_alloc

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: 63708 MiB (54248 MiB free)
  memory of node 1: 64465 MiB (57584 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522228-1751593299/watcher-4522228-1751593299 -o /tmp/evaluation-result-4522228-1751593299/solver-4522228-1751593299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87392 --watchdog 3760 run-opt.sh HOME/instance-4522228-1751593299.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88218, runsolver pid=88215
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.16 4.12 4.10 4/265 88226
/proc/meminfo: memFree=114399248/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=201896 memory=131772 CPUtime=0.07 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 11160 0 0 0 4 3 0 0 20 0 1 0 75009426 206741504 32943 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 50474 32943 1888 1147 0 37901 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 206088 KiB
Current children cumulated memory: 134844 KiB

[startup+0.205684 s]*
/proc/loadavg: 4.16 4.12 4.10 6/265 88229
/proc/meminfo: memFree=114411508/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=147024 memory=102132 CPUtime=0.18 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 11217 0 0 0 14 4 0 0 20 0 1 0 75009426 150552576 25533 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 36756 25533 1920 1147 0 24183 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 151216 KiB
Current children cumulated memory: 105204 KiB

[startup+0.305499 s]*
/proc/loadavg: 4.16 4.12 4.10 4/265 88241
/proc/meminfo: memFree=114407220/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=147024 memory=102132 CPUtime=0.28 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 11217 0 0 0 24 4 0 0 20 0 1 0 75009426 150552576 25533 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 36756 25533 1920 1147 0 24183 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 151216 KiB
Current children cumulated memory: 105204 KiB

[startup+0.700219 s]
/proc/loadavg: 4.16 4.12 4.10 5/262 88248
/proc/meminfo: memFree=114404212/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=149744 memory=104948 CPUtime=0.66 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 11415 0 0 0 62 4 0 0 20 0 1 0 75009426 153337856 26237 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 37436 26237 1920 1147 0 24863 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 108020 KiB

[startup+1.50021 s]
/proc/loadavg: 4.23 4.14 4.10 4/265 88258
/proc/meminfo: memFree=120593684/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=161344 memory=114696 CPUtime=1.46 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 12833 0 0 0 140 6 0 0 20 0 1 0 75009426 165216256 28674 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 40336 28674 1920 1147 0 27763 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 165536 KiB
Current children cumulated memory: 117768 KiB

[startup+3.10546 s]
/proc/loadavg: 4.23 4.14 4.10 5/268 88304
/proc/meminfo: memFree=120395416/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=401884 memory=353172 CPUtime=3.05 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 57908 0 0 0 288 17 0 0 20 0 1 0 75009426 411529216 88293 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 100471 88293 2272 1147 0 87898 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 406076 KiB
Current children cumulated memory: 356244 KiB

[startup+6.3002 s]
/proc/loadavg: 4.21 4.13 4.10 5/268 88304
/proc/meminfo: memFree=120265036/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=506336 memory=456364 CPUtime=6.24 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 72920 0 0 0 570 54 0 0 20 0 1 0 75009426 518488064 114091 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 126584 114091 2368 1147 0 114011 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 510528 KiB
Current children cumulated memory: 459436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 88304
/proc/meminfo: memFree=119927692/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=904400 memory=819036 CPUtime=12.62 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 138654 0 0 0 1025 237 0 0 20 0 1 0 75009426 926105600 204759 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 226100 204759 2368 1147 0 213527 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 908592 KiB
Current children cumulated memory: 822108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=118755276/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=1830976 memory=1739448 CPUtime=25.39 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 314202 0 0 0 2114 425 0 0 20 0 1 0 75009426 1874919424 434862 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 457744 434862 2368 1147 0 445171 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1835168 KiB
Current children cumulated memory: 1742520 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.14 4.10 5/269 88352
/proc/meminfo: memFree=117004980/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=3542468 memory=3320676 CPUtime=50.95 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 587487 0 0 0 4298 797 0 0 20 0 1 0 75009426 3627487232 830169 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 885617 830169 2368 1147 0 873044 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3546660 KiB
Current children cumulated memory: 3323748 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 88353
/proc/meminfo: memFree=113583256/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=7209460 memory=6463528 CPUtime=102.02 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 1120371 0 0 0 8551 1651 0 0 20 0 1 0 75009426 7382487040 1615882 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 1802365 1615882 2368 1147 0 1789792 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 7213652 KiB
Current children cumulated memory: 6466600 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 88400
/proc/meminfo: memFree=110326064/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=12951904 memory=11629140 CPUtime=161.88 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 2122527 0 0 0 13495 2693 0 0 20 0 1 0 75009426 13262749696 2907285 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 3237976 2907285 2368 1147 0 3225403 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 12956096 KiB
Current children cumulated memory: 11632212 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/270 88408
/proc/meminfo: memFree=108583868/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=15564544 memory=13085248 CPUtime=221.74 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 2203714 0 0 0 18498 3676 0 0 20 0 1 0 75009426 15938093056 3271312 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 3891136 3271312 2368 1147 0 3878563 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 15568736 KiB
Current children cumulated memory: 13088320 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 88410
/proc/meminfo: memFree=101302508/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=23736960 memory=19978320 CPUtime=281.6 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 3697855 0 0 0 23520 4640 0 0 20 0 1 0 75009426 24306647040 4994580 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 5934240 4994580 2368 1147 0 5921667 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 23741152 KiB
Current children cumulated memory: 19981392 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/269 88412
/proc/meminfo: memFree=98618740/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=23914420 memory=22372548 CPUtime=341.46 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 4017860 0 0 0 28762 5384 0 0 20 0 1 0 75009426 24488366080 5593137 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 5978605 5593137 2368 1147 0 5966032 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 23918612 KiB
Current children cumulated memory: 22375620 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 88414
/proc/meminfo: memFree=96352872/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=27956552 memory=24524564 CPUtime=401.32 cores=4,6
/proc/88221/stat : 88221 (roundingsat) R 88218 88218 87381 0 -1 4194304 4275264 0 0 0 33923 6209 0 0 20 0 1 0 75009426 28627509248 6131141 18446744073709551615 4227072 8923433 140728167042160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 0
/proc/88221/statm: 6989138 6131141 2368 1147 0 6976565 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 27960744 KiB
Current children cumulated memory: 24527636 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+450.61 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 88416
/proc/meminfo: memFree=94010044/131250000 swapFree=33009904/33010684
[pid=88218] ppid=88215 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/88218/stat : 88218 (run-opt.sh) S 88215 88218 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75009426 4292608 768 18446744073709551615 94425491709952 94425492604485 140731890264960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94425492843536 94425492891280 94425509490688 140731890268525 140731890268648 140731890268648 140731890274250 0
/proc/88218/statm: 1048 768 704 219 0 110 0
[pid=88221] ppid=88218 vsize=31795016 memory=27507412 CPUtime=449.46 cores=4,6
/proc/88221/stat : 88221 (roundingsat) D 88218 88218 87381 0 -1 4195840 4836483 0 0 0 37864 7082 0 0 20 0 1 0 75009426 32558096384 6876853 18446744073709551615 4227072 8923433 140728167042160 140728167037888 140228440930924 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 6
/proc/88221/statm: 7948754 6876853 2496 1147 0 7936181 0
Current children cumulated CPU time: 449.46 s
Current children cumulated vsize: 31799208 KiB
Current children cumulated memory: 27510484 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001196 s, system=0.001173 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+453.503 s]
# the end of solver process 88221 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=378.649 s, system=72.3661 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+451.2 s]
/proc/loadavg: 4.16 4.12 4.09 6/269 88419
/proc/meminfo: memFree=92699676/131250000 swapFree=33009904/33010684
[pid=88221] ppid=88215 vsize=31795016 memory=27507412 CPUtime=450.04 cores=4,6
/proc/88221/stat : 88221 (roundingsat) S 88215 88218 87381 0 -1 4195840 4836483 0 0 0 37864 7140 0 0 20 0 1 0 75009426 32558096384 6876853 18446744073709551615 4227072 8923433 140728167042160 140728167037888 140228440930924 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 6
/proc/88221/statm: 7948754 6876853 2496 1147 0 7936181 0
Current cumulated CPU time of completed processes: 0.002369 s
Current children cumulated CPU time: 450.04 s
Current children cumulated vsize: 31795016 KiB
Current children cumulated memory: 27507412 KiB

[startup+452.008 s]*
/proc/loadavg: 4.16 4.12 4.09 5/269 88419
/proc/meminfo: memFree=92241472/131250000 swapFree=33009904/33010684
[pid=88221] ppid=88215 vsize=31795016 memory=27507412 CPUtime=450.11 cores=4,6
/proc/88221/stat : 88221 (roundingsat) S 88215 88218 87381 0 -1 4195840 4836483 0 0 0 37864 7147 0 0 20 0 1 0 75009426 32558096384 6876853 18446744073709551615 4227072 8923433 140728167042160 140728167037888 140228440930924 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 6
/proc/88221/statm: 7948754 6876853 2496 1147 0 7936181 0
Current cumulated CPU time of completed processes: 0.002369 s
Current children cumulated CPU time: 450.11 s
Current children cumulated vsize: 31795016 KiB
Current children cumulated memory: 27507412 KiB

[startup+452.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 88419
/proc/meminfo: memFree=92241472/131250000 swapFree=33009904/33010684
[pid=88221] ppid=88215 vsize=31795016 memory=27507412 CPUtime=450.11 cores=4,6
/proc/88221/stat : 88221 (roundingsat) S 88215 88218 87381 0 -1 4195840 4836483 0 0 0 37864 7147 0 0 20 0 1 0 75009426 32558096384 6876853 18446744073709551615 4227072 8923433 140728167042160 140728167037888 140228440930924 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 6
/proc/88221/statm: 7948754 6876853 2496 1147 0 7936181 0
Current cumulated CPU time of completed processes: 0.002369 s
Current children cumulated CPU time: 450.11 s
Current children cumulated vsize: 31795016 KiB
Current children cumulated memory: 27507412 KiB

[startup+452.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 88419
/proc/meminfo: memFree=92241472/131250000 swapFree=33009904/33010684
[pid=88221] ppid=88215 vsize=31795016 memory=27507412 CPUtime=450.11 cores=4,6
/proc/88221/stat : 88221 (roundingsat) S 88215 88218 87381 0 -1 4195840 4836483 0 0 0 37864 7147 0 0 20 0 1 0 75009426 32558096384 6876853 18446744073709551615 4227072 8923433 140728167042160 140728167037888 140228440930924 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15396864 140728167045538 140728167045672 140728167045672 140728167051242 6
/proc/88221/statm: 7948754 6876853 2496 1147 0 7936181 0
Current cumulated CPU time of completed processes: 0.002369 s
Current children cumulated CPU time: 450.11 s
Current children cumulated vsize: 31795016 KiB
Current children cumulated memory: 27507412 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 453.503
CPU time (s): 451.016
CPU user time (s): 378.649
CPU system time (s): 72.3661
CPU usage (%): 99.4516
Max. virtual memory (cumulated for all children) (KiB): 31799208
Max. memory (cumulated for all children) (KiB): 27510484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.649
system time used= 72.3661
maximum resident set size= 27507412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4836687
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= 272
involuntary context switches= 638


# summary of solver processes directly reported to runsolver:
#   pid: 88218,88221
#   total CPU time (s): 451.016
#   total CPU user time (s): 378.649
#   total CPU system time (s): 72.3661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.76385 second user time and 2.26055 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-04 03:41:40
IDJOB=4522228
IDBENCH=178648
IDSOLVER=3350
FILE ID=nodeC033/4522228-1751593299
RUNJOBID= nodeC033-1751586076-87392
SLURM_JOB_ID= 9598834
Free space on /tmp= 429688 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-scpm1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522228-1751593299/watcher-4522228-1751593299 -o /tmp/evaluation-result-4522228-1751593299/solver-4522228-1751593299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87392 --watchdog 3760  run-opt.sh HOME/instance-4522228-1751593299.opb

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

MD5SUM BENCH= 440d9fa41be3ec48b597f135b494ae2c
RANDOM SEED=1143818322

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.055
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.069
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.027
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3599.579
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.066
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.047
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3595.935
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3620.768
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        114517068 kB
MemAvailable:   120703248 kB
Buffers:            2128 kB
Cached:          6938304 kB
SwapCached:           68 kB
Active:          9653296 kB
Inactive:        6357424 kB
Active(anon):    9082824 kB
Inactive(anon):     5524 kB
Active(file):     570472 kB
Inactive(file):  6351900 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             78800 kB
Writeback:             0 kB
AnonPages:       9069772 kB
Mapped:           114368 kB
Shmem:             18028 kB
KReclaimable:     206096 kB
Slab:             298540 kB
SReclaimable:     206096 kB
SUnreclaim:        92444 kB
KernelStack:        4256 kB
PageTables:        21848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   11898736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6592512 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 427588 MiB
End job on nodeC033 at 2025-07-04 03:49:14