Trace number 4505171

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.31 3610.67

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
MD5SUM88b39ea3a8b75d01f2291d1517c942c1
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 benchmark14112257
Best CPU time to get the best result obtained on this benchmark71204
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 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 187029967016
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 187029967016
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
7.24/7.37	c #variables 1000400 #constraints 2030011
7.24/7.37	c objective is ce32 
8.14/8.22	c initial watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
8.14/8.22	c initial counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
8.14/8.22	c GLOBAL bounds - >= -100 @ 6.52231
10.23/10.34	c GLOBAL bounds - >= -100 @ 7.36571
11.23/11.37	c GLOBAL bounds - >= -100 @ 7.77822
12.33/12.40	c GLOBAL bounds - >= -100 @ 8.20326
13.33/13.42	c GLOBAL bounds - >= -100 @ 8.61353
14.33/14.43	c GLOBAL bounds - >= -100 @ 8.97242
15.32/15.44	c GLOBAL bounds - >= -100 @ 9.38304
16.33/16.45	c GLOBAL bounds - >= -100 @ 9.76939
17.32/17.46	c GLOBAL bounds - >= -100 @ 10.1489
18.42/18.58	c GLOBAL bounds - >= -100 @ 10.6314
19.42/19.59	c GLOBAL bounds - >= -100 @ 11.0094
20.52/20.60	c GLOBAL bounds - >= -100 @ 11.3973
21.51/21.65	c GLOBAL bounds - >= -100 @ 11.8145
22.51/22.68	c GLOBAL bounds - >= -100 @ 12.2254
23.51/23.69	c GLOBAL bounds - >= -100 @ 12.6112
24.60/24.70	c GLOBAL bounds - >= -100 @ 12.9804
25.61/25.71	c GLOBAL bounds - >= -100 @ 13.3839
26.61/26.72	c GLOBAL bounds - >= -100 @ 13.7646
27.60/27.73	c GLOBAL bounds - >= -100 @ 14.1526
28.60/28.75	c GLOBAL bounds - >= -100 @ 14.5381
29.60/29.75	c GLOBAL bounds - >= -100 @ 14.909
30.60/30.78	c GLOBAL bounds - >= -100 @ 15.3004
31.79/31.90	c GLOBAL bounds - >= -100 @ 15.7892
32.79/32.98	c GLOBAL bounds - >= -100 @ 16.2472
34.09/34.28	c GLOBAL bounds - >= -100 @ 16.9317
35.09/35.29	c GLOBAL bounds - >= -100 @ 17.3239
36.18/36.31	c GLOBAL bounds - >= -100 @ 17.7046
37.19/37.32	c GLOBAL bounds - >= -100 @ 18.1176
38.19/38.36	c GLOBAL bounds - >= -100 @ 18.5401
39.18/39.38	c GLOBAL bounds - >= -100 @ 18.9134
40.28/40.40	c GLOBAL bounds - >= -100 @ 19.3204
41.28/41.49	c GLOBAL bounds - >= -100 @ 19.7947
42.38/42.55	c GLOBAL bounds - >= -100 @ 20.2113
43.37/43.59	c GLOBAL bounds - >= -100 @ 20.6394
44.47/44.63	c GLOBAL bounds - >= -100 @ 21.0596
45.47/45.69	c GLOBAL bounds - >= -100 @ 21.5077
46.57/46.72	c GLOBAL bounds - >= -100 @ 21.909
47.56/47.75	c GLOBAL bounds - >= -100 @ 22.3049
48.67/48.88	c GLOBAL bounds - >= -100 @ 22.8291
50.16/50.36	c GLOBAL bounds - >= -100 @ 23.7006
54.45/54.65	c GLOBAL bounds - >= -100 @ 27.2595
56.64/56.84	c GLOBAL bounds - >= -100 @ 28.8211
58.24/58.46	c GLOBAL bounds - >= -100 @ 29.7995
59.84/60.04	c GLOBAL bounds - >= -100 @ 30.7536
60.84/61.07	c GLOBAL bounds - >= -100 @ 31.1568
61.84/62.09	c GLOBAL bounds - >= -100 @ 31.5419
63.53/63.70	c GLOBAL bounds - >= -100 @ 32.4872
64.83/65.07	c GLOBAL bounds - >= -100 @ 33.2335
70.31/70.51	c GLOBAL bounds - >= -100 @ 37.9317
71.31/71.54	c GLOBAL bounds - >= -100 @ 38.3666
72.51/72.70	c GLOBAL bounds - >= -100 @ 38.9268
73.51/73.73	c GLOBAL bounds - >= -100 @ 39.3521
74.71/74.95	c GLOBAL bounds - >= -100 @ 39.9417
75.81/76.05	c GLOBAL bounds - >= -100 @ 40.444
76.90/77.18	c GLOBAL bounds - >= -100 @ 40.9122
78.19/78.48	c GLOBAL bounds - >= -100 @ 41.6055
79.39/79.65	c GLOBAL bounds - >= -100 @ 42.1657
80.39/80.68	c GLOBAL bounds - >= -100 @ 42.5834
81.59/81.80	c GLOBAL bounds - >= -100 @ 43.0851
82.89/83.17	c GLOBAL bounds - >= -100 @ 43.8158
84.19/84.42	c GLOBAL bounds - >= -100 @ 44.4655
85.78/86.02	c GLOBAL bounds - >= -100 @ 45.4182
86.88/87.13	c GLOBAL bounds - >= -100 @ 45.9177
87.98/88.25	c GLOBAL bounds - >= -100 @ 46.4208
89.08/89.30	c GLOBAL bounds - >= -100 @ 46.8637
90.17/90.42	c GLOBAL bounds - >= -100 @ 47.3635
91.67/91.98	c GLOBAL bounds - >= -100 @ 48.281
92.88/93.11	c GLOBAL bounds - >= -100 @ 48.7824
93.96/94.22	c GLOBAL bounds - >= -100 @ 49.2567
95.06/95.31	c GLOBAL bounds - >= -100 @ 49.7431
96.46/96.73	c GLOBAL bounds - >= -100 @ 50.5417
98.06/98.32	c GLOBAL bounds - >= -100 @ 51.493
99.95/100.27	c GLOBAL bounds - >= -100 @ 52.8339
101.05/101.31	c GLOBAL bounds - >= -100 @ 53.2371
102.14/102.46	c GLOBAL bounds - >= -100 @ 53.7639
103.35/103.66	c GLOBAL bounds - >= -100 @ 54.3462
105.04/105.30	c #Conflicts:       1000 | #Constraints:      65804
105.04/105.30	c GLOBAL bounds - >= -100 @ 55.3507
106.34/106.67	c GLOBAL bounds - >= -100 @ 56.0911
109.64/109.90	c GLOBAL bounds - >= -100 @ 58.6234
110.73/111.06	c GLOBAL bounds - >= -100 @ 59.1485
111.84/112.14	c GLOBAL bounds - >= -100 @ 59.6162
113.82/114.16	c GLOBAL bounds - >= -100 @ 61.0086
115.12/115.45	c GLOBAL bounds - >= -100 @ 61.6635
117.41/117.71	c GLOBAL bounds - >= -100 @ 63.2579
118.61/118.93	c GLOBAL bounds - >= -100 @ 63.8635
119.61/119.97	c GLOBAL bounds - >= -100 @ 64.2703
120.91/121.23	c GLOBAL bounds - >= -100 @ 64.8899
122.10/122.45	c GLOBAL bounds - >= -100 @ 65.4941
124.50/124.82	c GLOBAL bounds - >= -100 @ 67.2299
125.50/125.86	c GLOBAL bounds - >= -100 @ 67.6584
126.70/127.00	c GLOBAL bounds - >= -100 @ 68.2021
130.19/130.52	c GLOBAL bounds - >= -100 @ 71.0131
131.39/131.77	c GLOBAL bounds - >= -100 @ 71.6483
136.57/136.98	c GLOBAL bounds - >= -100 @ 76.1741
137.67/138.10	c GLOBAL bounds - >= -100 @ 76.6725
139.77/140.13	c GLOBAL bounds - >= -100 @ 78.0765
142.66/143.05	c GLOBAL bounds - >= -100 @ 80.3418
143.76/144.11	c GLOBAL bounds - >= -100 @ 80.7861
144.76/145.16	c GLOBAL bounds - >= -100 @ 81.2228
145.85/146.21	c GLOBAL bounds - >= -100 @ 81.6549
147.05/147.45	c GLOBAL bounds - >= -100 @ 82.2884
148.15/148.53	c GLOBAL bounds - >= -100 @ 82.7614
149.34/149.70	c GLOBAL bounds - >= -100 @ 83.2913
150.75/151.15	c GLOBAL bounds - >= -100 @ 84.114
152.74/153.17	c GLOBAL bounds - >= -100 @ 85.4857
154.74/155.11	c GLOBAL bounds - >= -100 @ 86.7811
156.22/156.67	c GLOBAL bounds - >= -100 @ 87.7232
160.81/161.29	c #Conflicts:       2000 | #Constraints:      66866
160.81/161.29	c INPROCESSING
160.81/161.29	c GARBAGE COLLECT
160.81/161.29	c GLOBAL bounds - >= -100 @ 91.6892
171.88/172.34	c GLOBAL bounds - >= -100 @ 101.965
173.18/173.64	c GLOBAL bounds - >= -100 @ 102.625
174.19/174.68	c GLOBAL bounds - >= -100 @ 103.056
175.38/175.81	c GLOBAL bounds - >= -100 @ 103.543
176.98/177.49	c GLOBAL bounds - >= -100 @ 104.574
178.07/178.59	c GLOBAL bounds - >= -100 @ 105.057
179.17/179.63	c GLOBAL bounds - >= -100 @ 105.461
180.57/181.05	c GLOBAL bounds - >= -100 @ 106.256
182.26/182.70	c GLOBAL bounds - >= -100 @ 107.292
183.26/183.73	c GLOBAL bounds - >= -100 @ 107.714
184.26/184.78	c GLOBAL bounds - >= -100 @ 108.176
186.06/186.58	c GLOBAL bounds - >= -100 @ 109.328
190.45/190.91	c GLOBAL bounds - >= -100 @ 112.997
196.43/196.95	c GLOBAL bounds - >= -100 @ 118.356
198.72/199.21	c GLOBAL bounds - >= -100 @ 119.954
199.92/200.44	c GLOBAL bounds - >= -100 @ 120.561
209.40/209.96	c #Conflicts:       3000 | #Constraints:      66907
209.40/209.96	c GLOBAL bounds - >= -100 @ 129.225
210.70/211.27	c GLOBAL bounds - >= -100 @ 129.911
212.50/213.04	c GLOBAL bounds - >= -100 @ 131.022
213.69/214.20	c GLOBAL bounds - >= -100 @ 131.551
217.88/218.42	c GLOBAL bounds - >= -100 @ 135.062
220.67/221.23	c GLOBAL bounds - >= -100 @ 137.201
223.16/223.77	c GLOBAL bounds - >= -100 @ 139.08
225.86/226.43	c GLOBAL bounds - >= -100 @ 141.092
234.34/234.94	c GLOBAL bounds - >= -100 @ 148.848
235.44/236.10	c GLOBAL bounds - >= -100 @ 149.362
236.53/237.16	c GLOBAL bounds - >= -100 @ 149.82
237.73/238.35	c GLOBAL bounds - >= -100 @ 150.4
238.93/239.53	c GLOBAL bounds - >= -100 @ 150.941
241.33/241.94	c GLOBAL bounds - >= -100 @ 152.693
319.49/320.38	c #Conflicts:       4000 | #Constraints:      92151
319.49/320.38	c INPROCESSING
319.49/320.38	c GARBAGE COLLECT
319.49/320.38	c #Conflicts:       5000 | #Constraints:      91562
319.49/320.38	c GLOBAL bounds - >= -100 @ 229.675
332.35/333.23	c #Conflicts:       6000 | #Constraints:      97666
332.35/333.23	c GLOBAL bounds - >= -100 @ 241.798
442.70/443.91	c INPROCESSING
442.70/443.91	c GARBAGE COLLECT
442.70/443.91	c #Conflicts:       7000 | #Constraints:     101783
442.70/443.91	c #Conflicts:       8000 | #Constraints:     102783
442.70/443.91	c GLOBAL bounds - >= -100 @ 350.867
446.59/447.87	c GLOBAL bounds - >= -100 @ 354.215
451.08/452.38	c GLOBAL bounds - >= -100 @ 358.083
456.46/457.70	c GLOBAL bounds - >= -100 @ 362.762
469.92/471.28	c GLOBAL bounds - >= -100 @ 375.597
502.63/504.07	c GLOBAL bounds - >= -100 @ 407.471
508.00/509.49	c GLOBAL bounds - >= -100 @ 412.241
551.36/552.96	c #Conflicts:       9000 | #Constraints:     139739
551.36/552.96	c INPROCESSING
551.36/552.96	c GARBAGE COLLECT
551.36/552.96	c GLOBAL bounds - >= -100 @ 454.732
554.15/555.71	c GLOBAL bounds - >= -100 @ 456.833
555.85/557.48	c GLOBAL bounds - >= -100 @ 458.006
557.04/558.62	c GLOBAL bounds - >= -100 @ 458.525
558.44/560.07	c GLOBAL bounds - >= -100 @ 459.343
563.72/565.32	c GLOBAL bounds - >= -100 @ 463.918
578.28/579.91	c GLOBAL bounds - >= -100 @ 477.766
606.39/608.15	c #Conflicts:      10000 | #Constraints:     174739
606.39/608.15	c GLOBAL bounds - >= -100 @ 505.146
608.88/610.69	c GLOBAL bounds - >= -100 @ 507.036
611.87/613.66	c GLOBAL bounds - >= -100 @ 509.365
614.97/616.79	c GLOBAL bounds - >= -100 @ 511.857
620.64/622.43	c GLOBAL bounds - >= -100 @ 516.829
662.13/664.06	c #Conflicts:      11000 | #Constraints:     201839
662.13/664.06	c GLOBAL bounds - >= -100 @ 557.494
670.79/672.75	c GLOBAL bounds - >= -100 @ 565.521
692.82/694.80	c GLOBAL bounds - >= -100 @ 586.842
701.01/703.00	c GLOBAL bounds - >= -100 @ 594.399
730.41/732.59	c #Conflicts:      12000 | #Constraints:     223783
730.41/732.59	c INPROCESSING
730.41/732.59	c GARBAGE COLLECT
730.41/732.59	c GLOBAL bounds - >= -100 @ 623.108
763.01/765.23	c GLOBAL bounds - >= -100 @ 654.834
764.81/767.04	c GLOBAL bounds - >= -100 @ 656.019
766.39/768.69	c GLOBAL bounds - >= -100 @ 657.052
772.88/775.18	c GLOBAL bounds - >= -100 @ 662.86
788.93/791.24	c #Conflicts:      13000 | #Constraints:     248413
788.93/791.24	c GLOBAL bounds - >= -100 @ 678.185
1172.49/1175.94	c #Conflicts:      14000 | #Constraints:     254649
1172.49/1175.94	c #Conflicts:      15000 | #Constraints:     255649
1172.49/1175.94	c INPROCESSING
1172.49/1175.94	c GARBAGE COLLECT
1172.49/1175.94	c #Conflicts:      16000 | #Constraints:     253890
1172.49/1175.94	c #Conflicts:      17000 | #Constraints:     254890
1172.49/1175.94	c #Conflicts:      18000 | #Constraints:     255890
1172.49/1175.94	c INPROCESSING
1172.49/1175.94	c GARBAGE COLLECT
1172.49/1175.94	c #Conflicts:      19000 | #Constraints:     253916
1172.49/1175.94	c GLOBAL bounds - >= -100 @ 1059.02
1210.28/1213.83	c GLOBAL bounds - >= -100 @ 1096.01
1225.04/1228.64	c GLOBAL bounds - >= -100 @ 1110.13
1686.63/1691.55	c #Conflicts:      20000 | #Constraints:     270624
1686.63/1691.55	c #Conflicts:      21000 | #Constraints:     271624
1686.63/1691.55	c INPROCESSING
1686.63/1691.55	c GARBAGE COLLECT
1686.63/1691.55	c #Conflicts:      22000 | #Constraints:     269445
1686.63/1691.55	c #Conflicts:      23000 | #Constraints:     270445
1686.63/1691.55	c #Conflicts:      24000 | #Constraints:     271445
1686.63/1691.55	c #Conflicts:      25000 | #Constraints:     272445
1686.63/1691.55	c INPROCESSING
1686.63/1691.55	c GARBAGE COLLECT
1686.63/1691.55	c GLOBAL bounds - >= -100 @ 1569.03
1823.44/1828.73	c #Conflicts:      26000 | #Constraints:     275254
1823.44/1828.73	c #Conflicts:      27000 | #Constraints:     276254
1823.44/1828.73	c GLOBAL bounds - >= -100 @ 1704.79
1829.82/1835.12	c GLOBAL bounds - >= -100 @ 1710.54
1860.23/1865.62	c GLOBAL bounds - >= -100 @ 1740.26
1912.60/1918.14	c #Conflicts:      28000 | #Constraints:     292990
1912.60/1918.14	c GLOBAL bounds - >= -100 @ 1791.89
2069.45/2075.46	c #Conflicts:      29000 | #Constraints:     299254
2069.45/2075.46	c INPROCESSING
2069.45/2075.46	c GARBAGE COLLECT
2069.45/2075.46	c #Conflicts:      30000 | #Constraints:     296650
2069.45/2075.46	c GLOBAL bounds - >= -100 @ 1947.4
2684.33/2692.03	c #Conflicts:      31000 | #Constraints:     302914
2684.33/2692.03	c #Conflicts:      32000 | #Constraints:     303914
2684.33/2692.03	c #Conflicts:      33000 | #Constraints:     304914
2684.33/2692.03	c INPROCESSING
2684.33/2692.03	c GARBAGE COLLECT
2684.33/2692.03	c #Conflicts:      34000 | #Constraints:     302145
2684.33/2692.03	c #Conflicts:      35000 | #Constraints:     303145
2684.33/2692.03	c #Conflicts:      36000 | #Constraints:     304145
2684.33/2692.03	c GLOBAL bounds - >= -100 @ 2559.23
2686.92/2694.68	c GLOBAL bounds - >= -100 @ 2561.26
2689.12/2696.87	c GLOBAL bounds - >= -100 @ 2562.8
2838.89/2847.06	c #Conflicts:      37000 | #Constraints:     320937
2838.89/2847.06	c INPROCESSING
2838.89/2847.06	c GARBAGE COLLECT
2838.89/2847.06	c #Conflicts:      38000 | #Constraints:     317921
2838.89/2847.06	c GLOBAL bounds - >= -100 @ 2711.37
2843.77/2851.92	c GLOBAL bounds - >= -100 @ 2715.59
2871.20/2879.42	c #Conflicts:      39000 | #Constraints:     329521
2871.20/2879.42	c GLOBAL bounds - >= -100 @ 2742.29
3110.25/3119.19	c #Conflicts:      40000 | #Constraints:     335821
3110.25/3119.19	c #Conflicts:      41000 | #Constraints:     336821
3110.25/3119.19	c GLOBAL bounds - >= -100 @ 2980.21
3112.24/3121.12	c GLOBAL bounds - >= -100 @ 2981.5
3148.73/3157.70	c GLOBAL bounds - >= -100 @ 3017.13
3150.72/3159.77	c GLOBAL bounds - >= -100 @ 3018.58
3169.47/3178.55	c INPROCESSING
3169.47/3178.55	c GARBAGE COLLECT
3169.47/3178.55	c GLOBAL bounds - >= -100 @ 3036.58
3172.97/3182.06	c GLOBAL bounds - >= -100 @ 3039.47
3235.89/3245.14	c #Conflicts:      42000 | #Constraints:     365408
3235.89/3245.14	c GLOBAL bounds - >= -100 @ 3101.69
3545.39/3555.53	c #Conflicts:      43000 | #Constraints:     371708
3545.39/3555.53	c #Conflicts:      44000 | #Constraints:     372708
3545.39/3555.53	c #Conflicts:      45000 | #Constraints:     373708
3545.39/3555.53	c #Conflicts:      46000 | #Constraints:     374708
3545.39/3555.53	c INPROCESSING
3545.39/3555.53	c GARBAGE COLLECT
3545.39/3555.53	c GLOBAL bounds - >= -100 @ 3409.18
3588.16/3598.45	c #Conflicts:      47000 | #Constraints:     376610
3588.16/3598.45	c GLOBAL bounds - >= -100 @ 3451.2
3600.03/3610.30	c cpu time 3462.96 s
3600.03/3610.30	c deterministic time 369 3.69e+02
3600.03/3610.30	c optimization time 3457.2 s
3600.03/3610.30	c total solve time 0 s
3600.03/3610.30	c core-guided solve time 0 s
3600.03/3610.30	c propagation time 0.695884 s
3600.03/3610.30	c conflict analysis time 0 s
3600.03/3610.30	c propagations 300
3600.03/3610.30	c resolve steps 0
3600.03/3610.30	c decisions 0
3600.03/3610.30	c conflicts 0
3600.03/3610.30	c restarts 0
3600.03/3610.30	c inprocessing phases 0
3600.03/3610.30	c garbage collections 0 ,( -nan )
3600.03/3610.30	c input clauses 1044651 ,( 51.46 )
3600.03/3610.30	c input cardinalities 10 ,( 0.00 )
3600.03/3610.30	c input general constraints 985350 ,( 48.54 )
3600.03/3610.30	c input average constraint length 3.94
3600.03/3610.30	c input average constraint degree 1.97
3600.03/3610.30	c learned clauses 0 ,( 0.00 )
3600.03/3610.30	c learned cardinalities 0 ,( 0.00 )
3600.03/3610.30	c learned general constraints 0 ,( 0.00 )
3600.03/3610.30	c learned average constraint length 0.00
3600.03/3610.30	c learned average constraint degree 0.00
3600.03/3610.30	c watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
3600.03/3610.30	c counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
3600.03/3610.30	c watched   constraints 100 ,( 0.01 ) 
3600.03/3610.30	c counting  constraints 985250 ,( 99.99 ) 
3600.03/3610.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 32 ,( 32 , 0 )
3600.03/3610.30	c gcd simplifications 0
3600.03/3610.30	c detected cardinalities 0
3600.03/3610.30	c weakened non-implied lits 0
3600.03/3610.30	c weakened non-implying lits 0
3600.03/3610.30	c original variables 1000400
3600.03/3610.30	c clausal propagations 0
3600.03/3610.30	c cardinality propagations 0
3600.03/3610.30	c watched propagations 0
3600.03/3610.30	c counting propagations 0
3600.03/3610.30	c watch lookups 34
3600.03/3610.30	c watch backjump lookups 0
3600.03/3610.30	c watch checks 34
3600.03/3610.30	c propagation checks 0
3600.03/3610.30	c constraint additions 0
3600.03/3610.30	c trail pops 0
3600.03/3610.30	c formula constraints 2030011
3600.03/3610.30	c learned constraints 0
3600.03/3610.30	c bound constraints 0
3600.03/3610.30	c core-guided constraints 0
3600.03/3610.30	c encountered formula constraints 0
3600.03/3610.30	c encountered learned constraints 0
3600.03/3610.30	c encountered bound constraints 0
3600.03/3610.30	c encountered core-guided constraints 0
3600.03/3610.30	c LP total time 0 s
3600.03/3610.30	c LP solve time 0 s
3600.03/3610.30	c LP constraints added 0
3600.03/3610.30	c LP constraints removed 0
3600.03/3610.30	c LP pivots internal 0
3600.03/3610.30	c LP pivots root 0
3600.03/3610.30	c LP calls 0
3600.03/3610.30	c LP optimalities 0
3600.03/3610.30	c LP no pivot count 0
3600.03/3610.30	c LP infeasibilities 0
3600.03/3610.30	c LP valid Farkas constraints 0
3600.03/3610.30	c LP learned Farkas constraints 0
3600.03/3610.30	c LP basis resets 0
3600.03/3610.30	c LP cycling count 0
3600.03/3610.30	c LP singular count 0
3600.03/3610.30	c LP no primal count 0
3600.03/3610.30	c LP no farkas count 0
3600.03/3610.30	c LP other issue count 0
3600.03/3610.30	c LP Gomory cuts 0
3600.03/3610.30	c LP learned cuts 0
3600.03/3610.30	c LP deleted cuts 0
3600.03/3610.30	c LP encountered Gomory constraints 0
3600.03/3610.30	c LP encountered Farkas constraints 0
3600.03/3610.30	c LP encountered learned Farkas constraints 0
3600.03/3610.30	c CG auxiliary variables introduced 0
3600.03/3610.30	c CG solutions found 0
3600.03/3610.30	c CG cores constructed 0
3600.03/3610.30	c CG core cardinality constraints returned 0
3600.03/3610.30	c CG unit cores 0
3600.03/3610.30	c CG single cores 0
3600.03/3610.30	c CG blocks removed during cardinality reduction 0
3600.03/3610.30	c CG first core best 0
3600.03/3610.30	c CG decision core best 0
3600.03/3610.30	c CG core reduction tie 0
3600.03/3610.30	c CG core degree average 0.00
3600.03/3610.30	c CG core slack average 0.00
3600.03/3610.30	c CG core upper bound improvements 0
3600.03/3610.30	c STR number of successful calls 0
3600.03/3610.30	c STR number of unsuccessful calls 0
3600.03/3610.30	c STR number of inconclusive calls 0
3600.03/3610.30	c STR number of successful attempts 0
3600.03/3610.30	c STR number of unsuccessful attempts 0
3600.03/3610.30	c STR number of inconclusive attempts 0
3600.03/3610.30	c STR average degree increase per successful call inf
3600.03/3610.30	c STR average degree increase per successful attempt inf
3600.03/3610.30	c STR total number of conflicts for successful attempts 0
3600.03/3610.30	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.30	c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.30	c STR average number of conflicts per successful attempt inf
3600.03/3610.30	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.30	c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.30	c AVG.sumWPerc 99.79 
3600.03/3610.30	c bigint constraints 0 
3600.03/3610.30	s UNKNOWN
3600.03/3610.30	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: 63665 MiB (35314 MiB free)
  memory of node 1: 64507 MiB (57839 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=73228, runsolver pid=73225

[startup+0.100068 s]*
/proc/loadavg: 4.32 4.26 4.19 4/273 73230
/proc/meminfo: memFree=95275704/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=212928 memory=165520 CPUtime=0.06 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 6147 0 0 0 3 3 0 0 20 0 1 0 63527306 218038272 41380 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 53232 41380 1920 1147 0 40659 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 217120 KiB
Current children cumulated memory: 168592 KiB

[startup+0.205891 s]*
/proc/loadavg: 4.32 4.26 4.19 4/273 73230
/proc/meminfo: memFree=95251180/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=227316 memory=182708 CPUtime=0.17 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 9314 0 0 0 11 6 0 0 20 0 1 0 63527306 232771584 45677 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 56829 45677 1952 1147 0 44256 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 231508 KiB
Current children cumulated memory: 185780 KiB

[startup+0.305749 s]*
/proc/loadavg: 4.32 4.26 4.19 4/273 73230
/proc/meminfo: memFree=95235752/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=231684 memory=188340 CPUtime=0.27 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 10737 0 0 0 19 8 0 0 20 0 1 0 63527306 237244416 47085 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 57921 47085 1952 1147 0 45348 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 235876 KiB
Current children cumulated memory: 191412 KiB

[startup+0.700177 s]
/proc/loadavg: 4.32 4.26 4.19 5/273 73230
/proc/meminfo: memFree=95220848/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=262656 memory=214724 CPUtime=0.65 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 15307 0 0 0 49 16 0 0 20 0 1 0 63527306 268959744 53681 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 65664 53681 1952 1147 0 53091 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 217796 KiB

[startup+1.5002 s]
/proc/loadavg: 4.32 4.26 4.19 4/273 73230
/proc/meminfo: memFree=95171096/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=329264 memory=267736 CPUtime=1.46 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 24632 0 0 0 111 35 0 0 20 0 1 0 63527306 337166336 66934 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 82316 66934 1952 1147 0 69743 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 333456 KiB
Current children cumulated memory: 270808 KiB

[startup+3.10553 s]
/proc/loadavg: 4.32 4.26 4.19 4/273 73230
/proc/meminfo: memFree=94996904/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=417776 memory=363128 CPUtime=3.05 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 37636 0 0 0 234 71 0 0 20 0 1 0 63527306 427802624 90782 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 104444 90782 1952 1147 0 91871 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 421968 KiB
Current children cumulated memory: 366200 KiB

[startup+6.30016 s]
/proc/loadavg: 4.30 4.26 4.19 5/269 73238
/proc/meminfo: memFree=108667768/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=565096 memory=507080 CPUtime=6.24 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 59807 0 0 0 482 142 0 0 20 0 1 0 63527306 578658304 126770 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 141274 126770 1952 1147 0 128701 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 569288 KiB
Current children cumulated memory: 510152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.27 4.19 5/274 73276
/proc/meminfo: memFree=126677776/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=1105272 memory=897548 CPUtime=12.63 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 99686 0 0 0 833 430 0 0 20 0 1 0 63527306 1131798528 224387 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 276318 224387 2080 1147 0 263745 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1109464 KiB
Current children cumulated memory: 900620 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.26 4.19 5/274 73276
/proc/meminfo: memFree=125676680/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=1116764 memory=905992 CPUtime=25.4 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 99753 0 0 0 1328 1212 0 0 20 0 1 0 63527306 1143566336 226498 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 279191 226498 2080 1147 0 266618 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1120956 KiB
Current children cumulated memory: 909064 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.25 4.18 5/273 73277
/proc/meminfo: memFree=124711188/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=1186016 memory=976620 CPUtime=50.97 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 109333 0 0 0 2442 2655 0 0 20 0 1 0 63527306 1214480384 244155 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 296504 244155 2080 1147 0 283931 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1190208 KiB
Current children cumulated memory: 979692 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/273 73278
/proc/meminfo: memFree=122449124/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=1817484 memory=1552404 CPUtime=102.05 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 205261 0 0 0 5368 4837 0 0 20 0 1 0 63527306 1861103616 388101 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 454371 388101 2080 1147 0 441798 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1821676 KiB
Current children cumulated memory: 1555476 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/274 73281
/proc/meminfo: memFree=118949992/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=2669980 memory=2226968 CPUtime=161.92 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 316371 0 0 0 9267 6925 0 0 20 0 1 0 63527306 2734059520 556742 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 667495 556742 2080 1147 0 654922 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 2674172 KiB
Current children cumulated memory: 2230040 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/273 73283
/proc/meminfo: memFree=115773852/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=3677616 memory=3114376 CPUtime=221.77 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 483465 0 0 0 13824 8353 0 0 20 0 1 0 63527306 3765878784 778594 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0

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

/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7216560 memory=6278380 CPUtime=3153.31 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1056487 0 0 0 302107 13224 0 0 20 0 1 0 63527306 7389757440 1569595 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1804140 1569595 2080 1147 0 1791567 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 7220752 KiB
Current children cumulated memory: 6281452 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/275 73448
/proc/meminfo: memFree=46496868/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7445328 memory=6426220 CPUtime=3213.15 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1087410 0 0 0 307953 13362 0 0 20 0 1 0 63527306 7624015872 1606555 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1861332 1606555 2080 1147 0 1848759 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 7449520 KiB
Current children cumulated memory: 6429292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/275 73450
/proc/meminfo: memFree=45468072/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7445328 memory=6447340 CPUtime=3272.99 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1088826 0 0 0 313853 13446 0 0 20 0 1 0 63527306 7624015872 1611835 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1861332 1611835 2080 1147 0 1848759 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 7449520 KiB
Current children cumulated memory: 6450412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 73452
/proc/meminfo: memFree=44382712/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7445328 memory=6465644 CPUtime=3332.81 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1089114 0 0 0 319802 13479 0 0 20 0 1 0 63527306 7624015872 1616411 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1861332 1616411 2080 1147 0 1848759 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 7449520 KiB
Current children cumulated memory: 6468716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 73459
/proc/meminfo: memFree=43414540/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7445328 memory=6488300 CPUtime=3392.64 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1090955 0 0 0 325761 13503 0 0 20 0 1 0 63527306 7624015872 1622075 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1861332 1622075 2080 1147 0 1848759 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 7449520 KiB
Current children cumulated memory: 6491372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 73461
/proc/meminfo: memFree=42573464/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7445328 memory=6511724 CPUtime=3452.46 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1091012 0 0 0 331722 13524 0 0 20 0 1 0 63527306 7624015872 1627931 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1861332 1627931 2080 1147 0 1848759 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 7449520 KiB
Current children cumulated memory: 6514796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 73463
/proc/meminfo: memFree=41594804/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7445328 memory=6540268 CPUtime=3512.29 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1093010 0 0 0 337681 13548 0 0 20 0 1 0 63527306 7624015872 1635067 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1861332 1635067 2080 1147 0 1848759 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 7449520 KiB
Current children cumulated memory: 6543340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 73511
/proc/meminfo: memFree=51908420/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7451008 memory=6571304 CPUtime=3572.12 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1093477 0 0 0 343574 13638 0 0 20 0 1 0 63527306 7629832192 1642826 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1862752 1642826 2080 1147 0 1850179 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 7455200 KiB
Current children cumulated memory: 6574376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 73558
/proc/meminfo: memFree=66660320/131250000 swapFree=33008100/33010684
[pid=73228] ppid=73225 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73228/stat : 73228 (run-opt-log.sh) S 73225 73228 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63527305 4292608 768 18446744073709551615 94184876216320 94184877110853 140733819962080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184877349904 94184877397648 94184910716928 140733819963681 140733819963876 140733819963876 140733819969478 0
/proc/73228/statm: 1048 768 704 219 0 110 0
[pid=73230] ppid=73228 vsize=7451008 memory=6585128 CPUtime=3600.03 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73228 73228 72291 0 -1 4194304 1094775 0 0 0 346296 13707 0 0 20 0 1 0 63527306 7629832192 1646282 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1862752 1646282 2080 1147 0 1850179 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7455200 KiB
Current children cumulated memory: 6588200 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.3 s]
# the end of solver process 73228 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.002151 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3463.16 s, system=137.146 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.4 s]*
/proc/loadavg: 4.13 4.10 4.09 4/271 73558
/proc/meminfo: memFree=66670168/131250000 swapFree=33008100/33010684
[pid=73230] ppid=73225 vsize=7451008 memory=6585640 CPUtime=3600.05 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73225 73228 72291 0 -1 4194304 1094783 0 0 0 346296 13709 0 0 20 0 1 0 63527306 7629832192 1646410 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1862752 1646410 2208 1147 0 1850179 0
Current cumulated CPU time of completed processes: 0.002151 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 7451008 KiB
Current children cumulated memory: 6585640 KiB

[startup+3610.6 s]
/proc/loadavg: 4.13 4.10 4.09 4/271 73558
/proc/meminfo: memFree=66670168/131250000 swapFree=33008100/33010684
[pid=73230] ppid=73225 vsize=5077592 memory=4628060 CPUtime=3600.23 cores=5,7
/proc/73230/stat : 73230 (roundingsat) R 73225 73228 72291 0 -1 4194304 1094929 0 0 0 346312 13711 0 0 20 0 1 0 63527306 5199454208 1157015 18446744073709551615 4227072 8923433 140724724335472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22982656 140724724341074 140724724341288 140724724341288 140724724346858 0
/proc/73230/statm: 1269398 1157015 2208 1147 0 1256825 0
Current cumulated CPU time of completed processes: 0.002151 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 5077592 KiB
Current children cumulated memory: 4628060 KiB

Child status: 2

Real time (s): 3610.67
CPU time (s): 3600.31
CPU user time (s): 3463.16
CPU system time (s): 137.146
CPU usage (%): 99.7131
Max. virtual memory (cumulated for all children) (KiB): 7455200
Max. memory (cumulated for all children) (KiB): 6588200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3463.16
system time used= 137.146
maximum resident set size= 6585640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1095153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48584976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2438
involuntary context switches= 4845


# summary of solver processes directly reported to runsolver:
#   pid: 73228,73230
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3463.16
#   total CPU system time (s): 137.146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31145 second user time and 16.1086 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 19:47:50
IDJOB=4505171
IDBENCH=155745
IDSOLVER=3351
FILE ID=nodeC013/4505171-1751478470
RUNJOBID= nodeC013-1751474816-72304
SLURM_JOB_ID= 9598506
Free space on /tmp= 432552 MiB

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

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

MD5SUM BENCH= 88b39ea3a8b75d01f2291d1517c942c1
RANDOM SEED=5561655

nodeC013 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.195
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	: 6999.67
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		: 3599.810
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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.943
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	: 6999.67
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		: 3643.169
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	: 6999.67
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		: 3599.833
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	: 6999.67
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		: 3596.727
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	: 6999.67
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		: 3599.785
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	: 6999.67
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		: 3599.832
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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        95388768 kB
MemAvailable:   114979872 kB
Buffers:            1668 kB
Cached:         20309028 kB
SwapCached:         2172 kB
Active:         14703540 kB
Inactive:       20074656 kB
Active(anon):   14460508 kB
Inactive(anon):    18180 kB
Active(file):     243032 kB
Inactive(file): 20056476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            623492 kB
Writeback:       5983148 kB
AnonPages:      14466796 kB
Mapped:           113488 kB
Shmem:             11104 kB
KReclaimable:     261272 kB
Slab:             588836 kB
SReclaimable:     261272 kB
SUnreclaim:       327564 kB
KernelStack:        4400 kB
PageTables:        34212 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   17538216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1591296 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432156 MiB
End job on nodeC013 at 2025-07-02 20:48:01