Trace number 4505263

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-log 63f22ad? (TO) 3600.59 3611.18

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
MD5SUMae39b89921d4a5c4d7dfc676c1859a2a
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 benchmark24648945
Best CPU time to get the best result obtained on this benchmark3600.89
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 168196608
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 178958626766
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 168196608
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 178958626766
Number of bits of the biggest sum of numbers38
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
8.26/8.40	c #variables 1000400 #constraints 2030011
8.26/8.40	c objective is ce32 
9.05/9.27	c initial watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
9.05/9.27	c initial counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
9.05/9.27	c GLOBAL bounds - >= -100 @ 7.29256
11.25/11.44	c GLOBAL bounds - >= -100 @ 8.21793
12.25/12.49	c GLOBAL bounds - >= -100 @ 8.62259
13.35/13.59	c GLOBAL bounds - >= -100 @ 9.09145
14.45/14.64	c GLOBAL bounds - >= -100 @ 9.54024
15.44/15.67	c GLOBAL bounds - >= -100 @ 9.95082
16.86/17.07	c GLOBAL bounds - >= -100 @ 10.7297
17.95/18.13	c GLOBAL bounds - >= -100 @ 11.145
18.95/19.18	c GLOBAL bounds - >= -100 @ 11.5442
20.04/20.21	c GLOBAL bounds - >= -100 @ 11.9557
21.04/21.26	c GLOBAL bounds - >= -100 @ 12.3829
22.13/22.36	c GLOBAL bounds - >= -100 @ 12.8203
23.22/23.45	c GLOBAL bounds - >= -100 @ 13.2734
24.32/24.50	c GLOBAL bounds - >= -100 @ 13.6887
25.32/25.54	c GLOBAL bounds - >= -100 @ 14.0833
26.32/26.57	c GLOBAL bounds - >= -100 @ 14.482
27.42/27.66	c GLOBAL bounds - >= -100 @ 14.9288
28.51/28.73	c GLOBAL bounds - >= -100 @ 15.3744
29.51/29.76	c GLOBAL bounds - >= -100 @ 15.7823
30.60/30.81	c GLOBAL bounds - >= -100 @ 16.2096
31.61/31.87	c GLOBAL bounds - >= -100 @ 16.6493
32.71/32.91	c GLOBAL bounds - >= -100 @ 17.0483
34.10/34.37	c GLOBAL bounds - >= -100 @ 17.8742
35.20/35.43	c GLOBAL bounds - >= -100 @ 18.2741
36.30/36.53	c GLOBAL bounds - >= -100 @ 18.7577
37.29/37.56	c GLOBAL bounds - >= -100 @ 19.1571
38.29/38.58	c GLOBAL bounds - >= -100 @ 19.5587
39.39/39.61	c GLOBAL bounds - >= -100 @ 19.9634
40.39/40.63	c GLOBAL bounds - >= -100 @ 20.3491
41.38/41.66	c GLOBAL bounds - >= -100 @ 20.7454
42.39/42.69	c GLOBAL bounds - >= -100 @ 21.1228
43.49/43.72	c GLOBAL bounds - >= -100 @ 21.5041
44.48/44.76	c GLOBAL bounds - >= -100 @ 21.933
45.57/45.83	c GLOBAL bounds - >= -100 @ 22.3671
46.57/46.86	c GLOBAL bounds - >= -100 @ 22.778
47.68/47.97	c GLOBAL bounds - >= -100 @ 23.2935
48.97/49.24	c GLOBAL bounds - >= -100 @ 23.9216
49.97/50.27	c GLOBAL bounds - >= -100 @ 24.2882
51.06/51.34	c GLOBAL bounds - >= -100 @ 24.7377
52.06/52.36	c GLOBAL bounds - >= -100 @ 25.142
53.16/53.47	c GLOBAL bounds - >= -100 @ 25.5955
54.87/55.12	c GLOBAL bounds - >= -100 @ 26.6244
55.87/56.18	c GLOBAL bounds - >= -100 @ 27.0351
56.95/57.27	c GLOBAL bounds - >= -100 @ 27.4709
58.05/58.34	c GLOBAL bounds - >= -100 @ 27.9278
59.04/59.39	c GLOBAL bounds - >= -100 @ 28.3414
61.44/61.78	c GLOBAL bounds - >= -100 @ 30.0576
62.54/62.82	c GLOBAL bounds - >= -100 @ 30.4666
67.02/67.35	c GLOBAL bounds - >= -100 @ 34.3078
68.12/68.41	c GLOBAL bounds - >= -100 @ 34.7426
70.22/70.55	c GLOBAL bounds - >= -100 @ 36.248
72.31/72.64	c GLOBAL bounds - >= -100 @ 37.6765
73.60/73.97	c GLOBAL bounds - >= -100 @ 38.3746
75.00/75.30	c GLOBAL bounds - >= -100 @ 39.089
76.20/76.54	c GLOBAL bounds - >= -100 @ 39.6991
77.90/78.21	c GLOBAL bounds - >= -100 @ 40.74
79.39/79.73	c GLOBAL bounds - >= -100 @ 41.6292
80.59/80.94	c GLOBAL bounds - >= -100 @ 42.2231
81.70/82.05	c GLOBAL bounds - >= -100 @ 42.7183
83.18/83.51	c GLOBAL bounds - >= -100 @ 43.5028
97.93/98.36	c #Conflicts:       1000 | #Constraints:      65772
97.93/98.36	c GLOBAL bounds - >= -100 @ 57.419
99.04/99.45	c GLOBAL bounds - >= -100 @ 57.8854
100.13/100.51	c GLOBAL bounds - >= -100 @ 58.3055
101.13/101.59	c GLOBAL bounds - >= -100 @ 58.7616
102.23/102.67	c GLOBAL bounds - >= -100 @ 59.2238
103.74/104.12	c GLOBAL bounds - >= -100 @ 60.0366
104.82/105.23	c GLOBAL bounds - >= -100 @ 60.5104
105.92/106.36	c GLOBAL bounds - >= -100 @ 60.9967
107.41/107.88	c GLOBAL bounds - >= -100 @ 61.8713
112.30/112.76	c GLOBAL bounds - >= -100 @ 65.9983
116.70/117.14	c GLOBAL bounds - >= -100 @ 69.693
118.39/118.85	c GLOBAL bounds - >= -100 @ 70.7425
119.59/120.04	c GLOBAL bounds - >= -100 @ 71.2764
121.18/121.61	c GLOBAL bounds - >= -100 @ 72.2173
122.97/123.44	c GLOBAL bounds - >= -100 @ 73.3847
126.16/126.67	c GLOBAL bounds - >= -100 @ 75.897
127.96/128.47	c GLOBAL bounds - >= -100 @ 77.0561
129.25/129.75	c GLOBAL bounds - >= -100 @ 77.7161
130.57/131.07	c GLOBAL bounds - >= -100 @ 78.4066
132.66/133.14	c GLOBAL bounds - >= -100 @ 79.8007
134.66/135.13	c GLOBAL bounds - >= -100 @ 81.1592
136.93/137.47	c GLOBAL bounds - >= -100 @ 82.8439
138.03/138.56	c GLOBAL bounds - >= -100 @ 83.2834
141.92/142.50	c GLOBAL bounds - >= -100 @ 86.5047
143.22/143.70	c GLOBAL bounds - >= -100 @ 87.0918
145.11/145.67	c GLOBAL bounds - >= -100 @ 88.4049
146.62/147.14	c GLOBAL bounds - >= -100 @ 89.2216
148.00/148.55	c GLOBAL bounds - >= -100 @ 89.9801
151.09/151.60	c #Conflicts:       2000 | #Constraints:      66828
151.09/151.60	c INPROCESSING
151.09/151.60	c GARBAGE COLLECT
151.09/151.60	c GLOBAL bounds - >= -100 @ 92.3864
152.19/152.78	c GLOBAL bounds - >= -100 @ 92.9452
154.09/154.64	c GLOBAL bounds - >= -100 @ 94.1755
155.79/156.39	c GLOBAL bounds - >= -100 @ 95.2887
157.98/158.51	c GLOBAL bounds - >= -100 @ 96.7621
160.37/160.92	c GLOBAL bounds - >= -100 @ 98.5361
162.36/162.91	c GLOBAL bounds - >= -100 @ 99.8403
163.37/163.99	c GLOBAL bounds - >= -100 @ 100.268
164.48/165.07	c GLOBAL bounds - >= -100 @ 100.687
165.66/166.24	c GLOBAL bounds - >= -100 @ 101.227
167.76/168.37	c GLOBAL bounds - >= -100 @ 102.711
168.85/169.49	c GLOBAL bounds - >= -100 @ 103.217
171.25/171.81	c GLOBAL bounds - >= -100 @ 104.918
176.13/176.79	c GLOBAL bounds - >= -100 @ 109.228
177.32/177.91	c GLOBAL bounds - >= -100 @ 109.717
178.54/179.12	c GLOBAL bounds - >= -100 @ 110.284
181.12/181.70	c GLOBAL bounds - >= -100 @ 112.196
182.12/182.80	c GLOBAL bounds - >= -100 @ 112.659
184.21/184.84	c GLOBAL bounds - >= -100 @ 114.056
186.30/187.00	c GLOBAL bounds - >= -100 @ 115.553
195.98/196.66	c GLOBAL bounds - >= -100 @ 124.466
198.87/199.54	c GLOBAL bounds - >= -100 @ 126.64
200.87/201.57	c #Conflicts:       3000 | #Constraints:      99223
200.87/201.57	c GLOBAL bounds - >= -100 @ 128.008
202.06/202.70	c GLOBAL bounds - >= -100 @ 128.515
203.56/204.21	c GLOBAL bounds - >= -100 @ 129.364
205.37/206.08	c GLOBAL bounds - >= -100 @ 130.546
213.63/214.38	c GLOBAL bounds - >= -100 @ 138.044
215.82/216.56	c GLOBAL bounds - >= -100 @ 139.59
217.43/218.19	c GLOBAL bounds - >= -100 @ 140.574
227.99/228.74	c GLOBAL bounds - >= -100 @ 150.354
229.98/230.71	c GLOBAL bounds - >= -100 @ 151.687
232.39/233.20	c GLOBAL bounds - >= -100 @ 153.486
233.97/234.70	c GLOBAL bounds - >= -100 @ 154.344
235.17/235.96	c GLOBAL bounds - >= -100 @ 154.968
239.16/239.91	c GLOBAL bounds - >= -100 @ 158.247
240.56/241.32	c GLOBAL bounds - >= -100 @ 158.987
243.85/244.62	c GLOBAL bounds - >= -100 @ 161.625
246.25/247.10	c GLOBAL bounds - >= -100 @ 163.444
248.74/249.55	c GLOBAL bounds - >= -100 @ 165.246
250.83/251.66	c GLOBAL bounds - >= -100 @ 166.734
253.03/253.83	c GLOBAL bounds - >= -100 @ 168.272
259.71/260.59	c #Conflicts:       4000 | #Constraints:     187095
259.71/260.59	c GLOBAL bounds - >= -100 @ 174.331
268.88/269.74	c INPROCESSING
268.88/269.74	c GARBAGE COLLECT
268.88/269.74	c GLOBAL bounds - >= -100 @ 182.801
273.37/274.29	c GLOBAL bounds - >= -100 @ 186.7
274.77/275.60	c GLOBAL bounds - >= -100 @ 187.359
277.06/277.99	c GLOBAL bounds - >= -100 @ 189.109
279.75/280.64	c GLOBAL bounds - >= -100 @ 191.094
280.95/281.88	c GLOBAL bounds - >= -100 @ 191.702
285.16/286.10	c GLOBAL bounds - >= -100 @ 195.19
287.33/288.23	c GLOBAL bounds - >= -100 @ 196.665
290.53/291.40	c GLOBAL bounds - >= -100 @ 199.176
292.03/292.90	c GLOBAL bounds - >= -100 @ 200.031
293.14/294.08	c GLOBAL bounds - >= -100 @ 200.577
301.39/302.35	c #Conflicts:       5000 | #Constraints:     243255
301.39/302.35	c GLOBAL bounds - >= -100 @ 208.162
305.49/306.47	c GLOBAL bounds - >= -100 @ 211.633
310.27/311.23	c GLOBAL bounds - >= -100 @ 215.727
316.86/317.89	c GLOBAL bounds - >= -100 @ 221.678
321.15/322.14	c GLOBAL bounds - >= -100 @ 225.285
322.64/323.63	c GLOBAL bounds - >= -100 @ 226.119
323.74/324.77	c GLOBAL bounds - >= -100 @ 226.632
326.53/327.55	c GLOBAL bounds - >= -100 @ 228.754
332.42/333.49	c GLOBAL bounds - >= -100 @ 234.002
338.01/339.03	c GLOBAL bounds - >= -100 @ 238.85
344.78/345.82	c #Conflicts:       6000 | #Constraints:     292609
344.78/345.82	c GLOBAL bounds - >= -100 @ 244.94
352.46/353.54	c GLOBAL bounds - >= -100 @ 251.927
362.83/363.90	c GLOBAL bounds - >= -100 @ 261.541
438.60/439.98	c INPROCESSING
438.60/439.98	c GARBAGE COLLECT
438.60/439.98	c #Conflicts:       7000 | #Constraints:     306277
438.60/439.98	c GLOBAL bounds - >= -100 @ 336.318
440.30/441.65	c GLOBAL bounds - >= -100 @ 337.332
444.08/445.43	c #Conflicts:       8000 | #Constraints:     318673
444.08/445.43	c GLOBAL bounds - >= -100 @ 340.434
452.96/454.32	c GLOBAL bounds - >= -100 @ 348.572
460.03/461.49	c GLOBAL bounds - >= -100 @ 355.039
462.13/463.54	c GLOBAL bounds - >= -100 @ 356.445
465.73/467.13	c GLOBAL bounds - >= -100 @ 359.382
470.72/472.14	c GLOBAL bounds - >= -100 @ 363.72
481.59/483.07	c GLOBAL bounds - >= -100 @ 373.782
487.26/488.79	c GLOBAL bounds - >= -100 @ 378.797
492.74/494.26	c GLOBAL bounds - >= -100 @ 383.578
495.73/497.24	c GLOBAL bounds - >= -100 @ 385.917
498.72/500.26	c GLOBAL bounds - >= -100 @ 388.267
502.32/503.82	c GLOBAL bounds - >= -100 @ 391.166
506.51/508.09	c GLOBAL bounds - >= -100 @ 394.763
625.97/627.86	c #Conflicts:       9000 | #Constraints:     394967
625.97/627.86	c INPROCESSING
625.97/627.86	c GARBAGE COLLECT
625.97/627.86	c #Conflicts:      10000 | #Constraints:     393656
625.97/627.86	c #Conflicts:      11000 | #Constraints:     394656
625.97/627.86	c GLOBAL bounds - >= -100 @ 512.912
627.56/629.42	c GLOBAL bounds - >= -100 @ 513.855
628.95/630.87	c GLOBAL bounds - >= -100 @ 514.681
630.56/632.49	c GLOBAL bounds - >= -100 @ 515.666
631.84/633.73	c GLOBAL bounds - >= -100 @ 516.27
637.64/639.54	c GLOBAL bounds - >= -100 @ 521.373
640.62/642.53	c GLOBAL bounds - >= -100 @ 523.725
642.02/643.93	c GLOBAL bounds - >= -100 @ 524.488
645.02/646.94	c GLOBAL bounds - >= -100 @ 526.869
647.81/649.77	c GLOBAL bounds - >= -100 @ 529.064
649.40/651.39	c GLOBAL bounds - >= -100 @ 530.039
652.22/654.17	c GLOBAL bounds - >= -100 @ 532.185
655.88/657.89	c GLOBAL bounds - >= -100 @ 535.254
667.56/669.50	c GLOBAL bounds - >= -100 @ 546.144
668.76/670.76	c GLOBAL bounds - >= -100 @ 546.77
679.04/681.10	c GLOBAL bounds - >= -100 @ 556.375
684.21/686.22	c GLOBAL bounds - >= -100 @ 560.772
703.36/705.41	c GLOBAL bounds - >= -100 @ 579.115
725.01/727.18	c #Conflicts:      12000 | #Constraints:     501890
725.01/727.18	c INPROCESSING
725.01/727.18	c GARBAGE COLLECT
725.01/727.18	c GLOBAL bounds - >= -100 @ 600.104
743.74/746.00	c GLOBAL bounds - >= -100 @ 618.115
782.13/784.49	c #Conflicts:      13000 | #Constraints:     512200
782.13/784.49	c GLOBAL bounds - >= -100 @ 655.665
786.62/788.97	c GLOBAL bounds - >= -100 @ 659.473
788.22/790.50	c GLOBAL bounds - >= -100 @ 660.393
810.86/813.21	c GLOBAL bounds - >= -100 @ 682.328
820.33/822.72	c #Conflicts:      14000 | #Constraints:     537072
820.33/822.72	c GLOBAL bounds - >= -100 @ 691.156
835.80/838.20	c GLOBAL bounds - >= -100 @ 705.913
847.36/849.81	c GLOBAL bounds - >= -100 @ 716.778
850.66/853.19	c GLOBAL bounds - >= -100 @ 719.505
854.74/857.20	c GLOBAL bounds - >= -100 @ 722.868
944.59/947.32	c #Conflicts:      15000 | #Constraints:     568032
944.59/947.32	c INPROCESSING
944.59/947.32	c GARBAGE COLLECT
944.59/947.32	c GLOBAL bounds - >= -100 @ 811.541
947.49/950.25	c GLOBAL bounds - >= -100 @ 813.82
950.98/953.74	c GLOBAL bounds - >= -100 @ 816.678
955.67/958.50	c #Conflicts:      16000 | #Constraints:     584322
955.67/958.50	c GLOBAL bounds - >= -100 @ 820.778
959.16/961.96	c GLOBAL bounds - >= -100 @ 823.588
967.35/970.19	c GLOBAL bounds - >= -100 @ 831.158
980.70/983.58	c GLOBAL bounds - >= -100 @ 843.816
1183.41/1186.81	c #Conflicts:      17000 | #Constraints:     609542
1183.41/1186.81	c #Conflicts:      18000 | #Constraints:     610542
1183.41/1186.81	c INPROCESSING
1183.41/1186.81	c GARBAGE COLLECT
1183.41/1186.81	c #Conflicts:      19000 | #Constraints:     608556
1183.41/1186.81	c GLOBAL bounds - >= -100 @ 1045.09
1319.70/1323.52	c #Conflicts:      20000 | #Constraints:     615620
1319.70/1323.52	c GLOBAL bounds - >= -100 @ 1180.2
1331.97/1335.80	c GLOBAL bounds - >= -100 @ 1191.75
1336.36/1340.28	c GLOBAL bounds - >= -100 @ 1195.58
1342.74/1346.64	c GLOBAL bounds - >= -100 @ 1201.25
1345.04/1349.01	c GLOBAL bounds - >= -100 @ 1202.98
1350.41/1354.34	c #Conflicts:      21000 | #Constraints:     646988
1350.41/1354.34	c GLOBAL bounds - >= -100 @ 1207.65
1364.38/1368.37	c GLOBAL bounds - >= -100 @ 1220.97
1366.28/1370.20	c GLOBAL bounds - >= -100 @ 1222.15
1378.05/1382.06	c GLOBAL bounds - >= -100 @ 1233.24
1380.93/1384.94	c GLOBAL bounds - >= -100 @ 1235.45
1384.22/1388.28	c GLOBAL bounds - >= -100 @ 1238.12
1398.78/1402.87	c GLOBAL bounds - >= -100 @ 1251.95
1417.94/1422.08	c INPROCESSING
1417.94/1422.08	c GARBAGE COLLECT
1417.94/1422.08	c GLOBAL bounds - >= -100 @ 1270.38
1420.03/1424.14	c GLOBAL bounds - >= -100 @ 1271.81
1425.31/1429.49	c GLOBAL bounds - >= -100 @ 1276.49
1432.48/1436.68	c GLOBAL bounds - >= -100 @ 1283.02
1478.76/1483.11	c #Conflicts:      22000 | #Constraints:     712858
1478.76/1483.11	c GLOBAL bounds - >= -100 @ 1328.45
1614.04/1618.71	c #Conflicts:      23000 | #Constraints:     720102
1614.04/1618.71	c #Conflicts:      24000 | #Constraints:     721102
1614.04/1618.71	c GLOBAL bounds - >= -100 @ 1462.44
1619.52/1624.28	c GLOBAL bounds - >= -100 @ 1467.32
1684.43/1689.37	c #Conflicts:      25000 | #Constraints:     734590
1684.43/1689.37	c GLOBAL bounds - >= -100 @ 1531.34
1788.32/1793.52	c INPROCESSING
1788.32/1793.52	c GARBAGE COLLECT
1788.32/1793.52	c #Conflicts:      26000 | #Constraints:     738430
1788.32/1793.52	c GLOBAL bounds - >= -100 @ 1634.12
1790.42/1795.65	c GLOBAL bounds - >= -100 @ 1635.62
1803.08/1808.34	c GLOBAL bounds - >= -100 @ 1647.61
1812.05/1817.32	c GLOBAL bounds - >= -100 @ 1655.88
1842.36/1847.72	c #Conflicts:      27000 | #Constraints:     764670
1842.36/1847.72	c GLOBAL bounds - >= -100 @ 1685.46
1856.42/1861.80	c GLOBAL bounds - >= -100 @ 1698.81
1859.51/1864.94	c GLOBAL bounds - >= -100 @ 1701.3
1881.45/1886.91	c GLOBAL bounds - >= -100 @ 1722.54
1898.39/1903.99	c GLOBAL bounds - >= -100 @ 1738.9
1907.87/1913.46	c GLOBAL bounds - >= -100 @ 1747.66
1923.92/1929.57	c GLOBAL bounds - >= -100 @ 1763.06
1951.35/1957.11	c #Conflicts:      28000 | #Constraints:     809840
1951.35/1957.11	c GLOBAL bounds - >= -100 @ 1789.8
1970.18/1975.97	c GLOBAL bounds - >= -100 @ 1807.92
1981.75/1987.56	c GLOBAL bounds - >= -100 @ 1818.82
2077.16/2083.28	c #Conflicts:      29000 | #Constraints:     829850
2077.16/2083.28	c INPROCESSING
2077.16/2083.28	c GARBAGE COLLECT
2077.16/2083.28	c GLOBAL bounds - >= -100 @ 1913.24
2095.41/2101.51	c #Conflicts:      30000 | #Constraints:     833641
2095.41/2101.51	c GLOBAL bounds - >= -100 @ 1930.72
2119.14/2125.33	c GLOBAL bounds - >= -100 @ 1953.7
2144.96/2151.24	c GLOBAL bounds - >= -100 @ 1978.78
2173.97/2180.38	c #Conflicts:      31000 | #Constraints:     853835
2173.97/2180.38	c GLOBAL bounds - >= -100 @ 2007.1
2259.62/2266.30	c #Conflicts:      32000 | #Constraints:     861233
2259.62/2266.30	c GLOBAL bounds - >= -100 @ 2091.9
2355.14/2362.06	c GLOBAL bounds - >= -100 @ 2186.4
2361.61/2368.53	c GLOBAL bounds - >= -100 @ 2192.2
2484.34/2491.60	c #Conflicts:      33000 | #Constraints:     881453
2484.34/2491.60	c INPROCESSING
2484.34/2491.60	c GARBAGE COLLECT
2484.34/2491.60	c #Conflicts:      34000 | #Constraints:     878659
2484.34/2491.60	c GLOBAL bounds - >= -100 @ 2313.67
2534.60/2542.10	c #Conflicts:      35000 | #Constraints:     886083
2534.60/2542.10	c GLOBAL bounds - >= -100 @ 2363.25
2559.12/2566.68	c GLOBAL bounds - >= -100 @ 2387.07
2563.21/2570.75	c GLOBAL bounds - >= -100 @ 2390.49
2731.41/2739.44	c #Conflicts:      36000 | #Constraints:     906355
2731.41/2739.44	c #Conflicts:      37000 | #Constraints:     907355
2731.41/2739.44	c INPROCESSING
2731.41/2739.44	c GARBAGE COLLECT
2731.41/2739.44	c GLOBAL bounds - >= -100 @ 2557.52
2755.05/2763.19	c GLOBAL bounds - >= -100 @ 2580.46
2757.34/2765.40	c GLOBAL bounds - >= -100 @ 2582.03
3600.04/3610.63	c #Conflicts:      38000 | #Constraints:     923718
3600.04/3610.63	c #Conflicts:      39000 | #Constraints:     924718
3600.04/3610.63	c #Conflicts:      40000 | #Constraints:     925718
3600.04/3610.63	c #Conflicts:      41000 | #Constraints:     926718
3600.04/3610.63	c INPROCESSING
3600.04/3610.63	c GARBAGE COLLECT
3600.04/3610.63	c #Conflicts:      42000 | #Constraints:     923531
3600.04/3610.63	c #Conflicts:      43000 | #Constraints:     924531
3600.04/3610.63	c #Conflicts:      44000 | #Constraints:     925531
3600.04/3610.63	c #Conflicts:      45000 | #Constraints:     926531
3600.04/3610.63	c cpu time 3422.57 s
3600.04/3610.63	c deterministic time 369 3.69e+02
3600.04/3610.63	c optimization time 3416.04 s
3600.04/3610.63	c total solve time 0 s
3600.04/3610.63	c core-guided solve time 0 s
3600.04/3610.63	c propagation time 0.782354 s
3600.04/3610.63	c conflict analysis time 0 s
3600.04/3610.63	c propagations 300
3600.04/3610.63	c resolve steps 0
3600.04/3610.63	c decisions 0
3600.04/3610.63	c conflicts 0
3600.04/3610.63	c restarts 0
3600.04/3610.63	c inprocessing phases 0
3600.04/3610.63	c garbage collections 0 ,( -nan )
3600.04/3610.63	c input clauses 1044651 ,( 51.46 )
3600.04/3610.63	c input cardinalities 10 ,( 0.00 )
3600.04/3610.63	c input general constraints 985350 ,( 48.54 )
3600.04/3610.63	c input average constraint length 3.94
3600.04/3610.63	c input average constraint degree 1.97
3600.04/3610.63	c learned clauses 0 ,( 0.00 )
3600.04/3610.63	c learned cardinalities 0 ,( 0.00 )
3600.04/3610.63	c learned general constraints 0 ,( 0.00 )
3600.04/3610.63	c learned average constraint length 0.00
3600.04/3610.63	c learned average constraint degree 0.00
3600.04/3610.63	c watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
3600.04/3610.63	c counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
3600.04/3610.63	c watched   constraints 100 ,( 0.01 ) 
3600.04/3610.63	c counting  constraints 985250 ,( 99.99 ) 
3600.04/3610.63	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 32 ,( 32 , 0 )
3600.04/3610.63	c gcd simplifications 0
3600.04/3610.63	c detected cardinalities 0
3600.04/3610.63	c weakened non-implied lits 0
3600.04/3610.63	c weakened non-implying lits 0
3600.04/3610.63	c original variables 1000400
3600.04/3610.63	c clausal propagations 0
3600.04/3610.63	c cardinality propagations 0
3600.04/3610.63	c watched propagations 0
3600.04/3610.63	c counting propagations 0
3600.04/3610.63	c watch lookups 34
3600.04/3610.63	c watch backjump lookups 0
3600.04/3610.63	c watch checks 34
3600.04/3610.63	c propagation checks 0
3600.04/3610.63	c constraint additions 0
3600.04/3610.63	c trail pops 0
3600.04/3610.63	c formula constraints 2030011
3600.04/3610.63	c learned constraints 0
3600.04/3610.63	c bound constraints 0
3600.04/3610.63	c core-guided constraints 0
3600.04/3610.63	c encountered formula constraints 0
3600.04/3610.63	c encountered learned constraints 0
3600.04/3610.63	c encountered bound constraints 0
3600.04/3610.63	c encountered core-guided constraints 0
3600.04/3610.63	c LP total time 0 s
3600.04/3610.63	c LP solve time 0 s
3600.04/3610.63	c LP constraints added 0
3600.04/3610.63	c LP constraints removed 0
3600.04/3610.63	c LP pivots internal 0
3600.04/3610.63	c LP pivots root 0
3600.04/3610.63	c LP calls 0
3600.04/3610.63	c LP optimalities 0
3600.04/3610.63	c LP no pivot count 0
3600.04/3610.63	c LP infeasibilities 0
3600.04/3610.63	c LP valid Farkas constraints 0
3600.04/3610.63	c LP learned Farkas constraints 0
3600.04/3610.63	c LP basis resets 0
3600.04/3610.63	c LP cycling count 0
3600.04/3610.63	c LP singular count 0
3600.04/3610.63	c LP no primal count 0
3600.04/3610.63	c LP no farkas count 0
3600.04/3610.63	c LP other issue count 0
3600.04/3610.63	c LP Gomory cuts 0
3600.04/3610.63	c LP learned cuts 0
3600.04/3610.63	c LP deleted cuts 0
3600.04/3610.63	c LP encountered Gomory constraints 0
3600.04/3610.63	c LP encountered Farkas constraints 0
3600.04/3610.63	c LP encountered learned Farkas constraints 0
3600.04/3610.63	c CG auxiliary variables introduced 0
3600.04/3610.63	c CG solutions found 0
3600.04/3610.63	c CG cores constructed 0
3600.04/3610.63	c CG core cardinality constraints returned 0
3600.04/3610.63	c CG unit cores 0
3600.04/3610.63	c CG single cores 0
3600.04/3610.63	c CG blocks removed during cardinality reduction 0
3600.04/3610.63	c CG first core best 0
3600.04/3610.63	c CG decision core best 0
3600.04/3610.63	c CG core reduction tie 0
3600.04/3610.63	c CG core degree average 0.00
3600.04/3610.63	c CG core slack average 0.00
3600.04/3610.63	c CG core upper bound improvements 0
3600.04/3610.63	c STR number of successful calls 0
3600.04/3610.63	c STR number of unsuccessful calls 0
3600.04/3610.63	c STR number of inconclusive calls 0
3600.04/3610.63	c STR number of successful attempts 0
3600.04/3610.63	c STR number of unsuccessful attempts 0
3600.04/3610.63	c STR number of inconclusive attempts 0
3600.04/3610.63	c STR average degree increase per successful call inf
3600.04/3610.63	c STR average degree increase per successful attempt inf
3600.04/3610.63	c STR total number of conflicts for successful attempts 0
3600.04/3610.63	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.63	c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.63	c STR average number of conflicts per successful attempt inf
3600.04/3610.63	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.63	c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.63	c AVG.sumWPerc 99.79 
3600.04/3610.63	c bigint constraints 0 
3600.04/3610.63	s UNKNOWN
3600.04/3610.63	c Program interrupted by user.

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: 63794 MiB (14966 MiB free)
  memory of node 1: 64507 MiB (514 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505263-1751478816/watcher-4505263-1751478816 -o /tmp/evaluation-result-4505263-1751478816/solver-4505263-1751478816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62687 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505263-1751478816.opb PROOFDIR/proof-4505263-1751478816 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=63755, runsolver pid=63752

[startup+0.10007 s]*
/proc/loadavg: 4.16 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15803876/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=104436 memory=57424 CPUtime=0.02 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 856 0 0 0 1 1 0 0 20 0 1 0 63561436 106942464 14356 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 26109 14356 1952 1147 0 13536 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 108628 KiB
Current children cumulated memory: 60368 KiB

[startup+0.218008 s]*
/proc/loadavg: 4.16 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15698144/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=210852 memory=151156 CPUtime=0.12 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 5329 0 0 0 8 4 0 0 20 0 1 0 63561436 215912448 36253 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 52713 37789 1984 1147 0 40140 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 215044 KiB
Current children cumulated memory: 154100 KiB

[startup+0.318077 s]*
/proc/loadavg: 4.16 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15661724/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=224064 memory=179508 CPUtime=0.21 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 8484 0 0 0 15 6 0 0 20 0 1 0 63561436 229441536 44877 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 56016 44877 2016 1147 0 43443 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 228256 KiB
Current children cumulated memory: 182452 KiB

[startup+0.700384 s]
/proc/loadavg: 4.16 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15642352/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=230496 memory=185908 CPUtime=0.58 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 10096 0 0 0 42 16 0 0 20 0 1 0 63561436 236027904 46477 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 57624 46477 2016 1147 0 45051 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 234688 KiB
Current children cumulated memory: 188852 KiB

[startup+1.50038 s]
/proc/loadavg: 4.16 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15597396/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=262656 memory=214912 CPUtime=1.38 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 15309 0 0 0 105 33 0 0 20 0 1 0 63561436 268959744 53728 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 65664 53728 2016 1147 0 53091 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 217856 KiB

[startup+3.11334 s]
/proc/loadavg: 4.14 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15368584/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=352044 memory=303580 CPUtime=2.99 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 29494 0 0 0 230 69 0 0 20 0 1 0 63561436 360493056 75895 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 88011 75895 2016 1147 0 75438 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 356236 KiB
Current children cumulated memory: 306524 KiB

[startup+6.30037 s]
/proc/loadavg: 4.14 4.19 4.20 5/260 63757
/proc/meminfo: memFree=15013104/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=544108 memory=468484 CPUtime=6.17 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 52663 0 0 0 481 136 0 0 20 0 1 0 63561436 557166592 117121 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 136027 117121 2016 1147 0 123454 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 548300 KiB
Current children cumulated memory: 471428 KiB

[startup+12.7167 s]
/proc/loadavg: 4.13 4.19 4.20 5/260 63757
/proc/meminfo: memFree=14258204/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=1105272 memory=900400 CPUtime=12.56 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 99940 0 0 0 876 380 0 0 20 0 1 0 63561436 1131798528 225100 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 276318 225100 2112 1147 0 263745 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 1109464 KiB
Current children cumulated memory: 903344 KiB

[startup+25.5004 s]
/proc/loadavg: 4.33 4.23 4.21 5/260 63758
/proc/meminfo: memFree=13470368/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=1116764 memory=912368 CPUtime=25.32 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 100374 0 0 0 1404 1128 0 0 20 0 1 0 63561436 1143566336 228092 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 279191 228092 2112 1147 0 266618 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1120956 KiB
Current children cumulated memory: 915312 KiB

[startup+51.1134 s]
/proc/loadavg: 4.22 4.21 4.20 5/260 63758
/proc/meminfo: memFree=11904584/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=1153524 memory=948828 CPUtime=50.88 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 103901 0 0 0 2464 2624 0 0 20 0 1 0 63561436 1181208576 237207 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 288381 237207 2112 1147 0 275808 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1157716 KiB
Current children cumulated memory: 951772 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.20 5/259 63760
/proc/meminfo: memFree=7831568/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=1934580 memory=1658748 CPUtime=101.93 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 231356 0 0 0 5906 4287 0 0 20 0 1 0 63561436 1981009920 414687 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 483645 414687 2112 1147 0 471072 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1938772 KiB
Current children cumulated memory: 1661692 KiB

[startup+162.3 s]
/proc/loadavg: 4.31 4.23 4.21 5/259 63762
/proc/meminfo: memFree=3348764/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=2682808 memory=2240856 CPUtime=161.77 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 325358 0 0 0 9962 6215 0 0 20 0 1 0 63561436 2747195392 560214 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 670702 560214 2112 1147 0 658129 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2687000 KiB
Current children cumulated memory: 2243800 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.24 4.21 5/262 63814
/proc/meminfo: memFree=34522124/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=3260764 memory=2752020 CPUtime=221.61 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 418086 0 0 0 14462 7699 0 0 20 0 1 0 63561436 3339022336 688005 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 815191 688005 2144 1147 0 802618 0

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

Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 8510680 KiB
Current children cumulated memory: 6737976 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/264 64133
/proc/meminfo: memFree=23708608/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6849588 CPUtime=3212.91 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1286616 0 0 0 303642 17649 0 0 20 0 1 0 63561436 8837812224 1712397 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1712397 2144 1147 0 2145096 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6852532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/263 64135
/proc/meminfo: memFree=21480816/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6849588 CPUtime=3272.73 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1286798 0 0 0 309600 17673 0 0 20 0 1 0 63561436 8837812224 1712397 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1712397 2144 1147 0 2145096 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6852532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.20 4.18 5/262 64137
/proc/meminfo: memFree=19568988/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6849588 CPUtime=3332.55 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1286875 0 0 0 315571 17684 0 0 20 0 1 0 63561436 8837812224 1712397 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1712397 2144 1147 0 2145096 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6852532 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/262 64144
/proc/meminfo: memFree=17835816/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6849588 CPUtime=3392.37 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1286980 0 0 0 321536 17701 0 0 20 0 1 0 63561436 8837812224 1712397 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1712397 2144 1147 0 2145096 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6852532 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/262 64147
/proc/meminfo: memFree=16139672/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6849588 CPUtime=3452.19 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1286988 0 0 0 327504 17715 0 0 20 0 1 0 63561436 8837812224 1712397 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1712397 2144 1147 0 2145096 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6852532 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/260 64149
/proc/meminfo: memFree=14613868/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6850868 CPUtime=3512 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1287472 0 0 0 333471 17729 0 0 20 0 1 0 63561436 8837812224 1712717 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1712717 2144 1147 0 2145096 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6853812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/262 64153
/proc/meminfo: memFree=13199516/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6855604 CPUtime=3571.83 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1288709 0 0 0 339439 17744 0 0 20 0 1 0 63561436 8837812224 1713901 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1713901 2144 1147 0 2145096 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6858548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.26 4.21 4.18 5/262 64154
/proc/meminfo: memFree=12629248/131382112 swapFree=33010416/33010684
[pid=63755] ppid=63752 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63755/stat : 63755 (run-opt-log.sh) S 63752 63755 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63561435 4292608 736 18446744073709551615 93835159699456 93835160593989 140720513037792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93835160833040 93835160880784 93835191123968 140720513042721 140720513042916 140720513042916 140720513048518 0
/proc/63755/statm: 1048 736 672 219 0 110 0
[pid=63757] ppid=63755 vsize=8630676 memory=6903356 CPUtime=3600.04 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63755 63755 62677 0 -1 4194304 1292916 0 0 0 342254 17750 0 0 20 0 1 0 63561436 8837812224 1725839 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 2157669 1725839 2144 1147 0 2145096 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 8634868 KiB
Current children cumulated memory: 6906300 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.00228 s

[startup+3611.18 s]
# the end of solver process 63757 was just reported to runsolver
# Child status: 2

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

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

[startup+3610.81 s]
/proc/loadavg: 4.26 4.21 4.18 5/261 64154
/proc/meminfo: memFree=13125032/131382112 swapFree=33010416/33010684
[pid=63757] ppid=63752 vsize=4828176 memory=4525848 CPUtime=3600.21 cores=0,2
/proc/63757/stat : 63757 (roundingsat) R 63752 63755 62677 0 -1 4194304 1293005 0 0 0 342265 17756 0 0 20 0 1 0 63561436 4944052224 1133363 18446744073709551615 4227072 8923433 140733924689312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22294528 140733924694354 140733924694568 140733924694568 140733924700138 0
/proc/63757/statm: 1207044 1133363 2240 1147 0 1194471 0
Current cumulated CPU time of completed processes: 0.00228 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 4828176 KiB
Current children cumulated memory: 4525848 KiB

[startup+3611 s]*
/proc/loadavg: 4.26 4.21 4.18 5/261 64154
/proc/meminfo: memFree=15319508/131382112 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.00228 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.11 s]
/proc/loadavg: 4.26 4.21 4.18 5/261 64154
/proc/meminfo: memFree=15319508/131382112 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.00228 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.18
CPU time (s): 3600.59
CPU user time (s): 3422.84
CPU system time (s): 177.753
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 8634868
Max. memory (cumulated for all children) (KiB): 6906300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3422.84
system time used= 177.753
maximum resident set size= 6903740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1293296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36676976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1984
involuntary context switches= 8399


# summary of solver processes directly reported to runsolver:
#   pid: 63755,63757
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3422.84
#   total CPU system time (s): 177.753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4964 second user time and 39.4962 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-02 19:53:37
IDJOB=4505263
IDBENCH=155751
IDSOLVER=3351
FILE ID=nodeC012/4505263-1751478816
RUNJOBID= nodeC012-1751471575-62687
SLURM_JOB_ID= 9598495
Free space on /tmp= 431996 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505263-1751478816/watcher-4505263-1751478816 -o /tmp/evaluation-result-4505263-1751478816/solver-4505263-1751478816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62687 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505263-1751478816.opb PROOFDIR/proof-4505263-1751478816

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

MD5SUM BENCH= ae39b89921d4a5c4d7dfc676c1859a2a
RANDOM SEED=1399930071

nodeC012 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	: 0xb00001f
cpu MHz		: 3491.721
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.668
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.846
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.363
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.468
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.151
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.478
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        15853260 kB
MemAvailable:   91262164 kB
Buffers:            2136 kB
Cached:         76043868 kB
SwapCached:           16 kB
Active:         38795328 kB
Inactive:       75422988 kB
Active(anon):   38183296 kB
Inactive(anon):     7016 kB
Active(file):     612032 kB
Inactive(file): 75415972 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           8618624 kB
Writeback:             0 kB
AnonPages:      38175764 kB
Mapped:           116620 kB
Shmem:             17944 kB
KReclaimable:     440668 kB
Slab:             796236 kB
SReclaimable:     440668 kB
SUnreclaim:       355568 kB
KernelStack:        4192 kB
PageTables:        83440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   44088024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149592 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7794688 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431488 MiB
End job on nodeC012 at 2025-07-02 20:53:49