Trace number 4505538

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.41 3611.91

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
MD5SUM7da1f94ee5ce9c5dcd6f1f8ed9344299
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 benchmark18610873
Best CPU time to get the best result obtained on this benchmark71145.9
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 172808693
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 207142313218
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 172808693
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 207142313218
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
5.55/5.62	c #variables 1000400 #constraints 2030011
5.55/5.62	c objective is ce32 
5.85/5.92	c initial watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
5.85/5.92	c initial counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
5.85/5.92	c GLOBAL bounds - >= -100 @ 4.45987
7.85/7.97	c GLOBAL bounds - >= -100 @ 5.29653
8.84/8.99	c GLOBAL bounds - >= -100 @ 5.66396
9.95/10.00	c GLOBAL bounds - >= -100 @ 6.0547
10.95/11.01	c GLOBAL bounds - >= -100 @ 6.42967
11.94/12.01	c GLOBAL bounds - >= -100 @ 6.8422
12.94/13.01	c GLOBAL bounds - >= -100 @ 7.24175
13.94/14.01	c GLOBAL bounds - >= -100 @ 7.61325
14.93/15.05	c GLOBAL bounds - >= -100 @ 8.02736
15.93/16.04	c GLOBAL bounds - >= -100 @ 8.41482
16.93/17.05	c GLOBAL bounds - >= -100 @ 8.78327
17.93/18.05	c GLOBAL bounds - >= -100 @ 9.19498
18.93/19.04	c GLOBAL bounds - >= -100 @ 9.56013
19.92/20.05	c GLOBAL bounds - >= -100 @ 9.94512
20.92/21.05	c GLOBAL bounds - >= -100 @ 10.3329
21.92/22.08	c GLOBAL bounds - >= -100 @ 10.7544
22.92/23.07	c GLOBAL bounds - >= -100 @ 11.13
24.10/24.21	c GLOBAL bounds - >= -100 @ 11.6571
25.10/25.22	c GLOBAL bounds - >= -100 @ 12.0406
26.10/26.22	c GLOBAL bounds - >= -100 @ 12.4062
27.10/27.23	c GLOBAL bounds - >= -100 @ 12.8096
28.09/28.27	c GLOBAL bounds - >= -100 @ 13.2187
29.10/29.28	c GLOBAL bounds - >= -100 @ 13.6049
30.19/30.30	c GLOBAL bounds - >= -100 @ 13.9824
31.19/31.33	c GLOBAL bounds - >= -100 @ 14.4116
32.28/32.40	c GLOBAL bounds - >= -100 @ 14.8756
33.28/33.47	c GLOBAL bounds - >= -100 @ 15.3096
38.37/38.60	c GLOBAL bounds - >= -100 @ 19.7263
39.56/39.70	c GLOBAL bounds - >= -100 @ 20.1759
40.76/40.91	c GLOBAL bounds - >= -100 @ 20.745
41.76/41.95	c GLOBAL bounds - >= -100 @ 21.1469
43.06/43.27	c GLOBAL bounds - >= -100 @ 21.8637
44.15/44.31	c GLOBAL bounds - >= -100 @ 22.2654
45.15/45.35	c GLOBAL bounds - >= -100 @ 22.6727
46.14/46.39	c GLOBAL bounds - >= -100 @ 23.1118
47.25/47.43	c GLOBAL bounds - >= -100 @ 23.5224
48.43/48.64	c GLOBAL bounds - >= -100 @ 24.0924
49.84/50.01	c GLOBAL bounds - >= -100 @ 24.848
50.94/51.16	c GLOBAL bounds - >= -100 @ 25.3477
52.03/52.29	c GLOBAL bounds - >= -100 @ 25.8517
53.32/53.52	c GLOBAL bounds - >= -100 @ 26.4567
54.42/54.61	c GLOBAL bounds - >= -100 @ 26.9068
55.43/55.67	c GLOBAL bounds - >= -100 @ 27.3372
56.72/56.91	c GLOBAL bounds - >= -100 @ 27.9302
57.72/57.97	c GLOBAL bounds - >= -100 @ 28.3623
58.82/59.03	c GLOBAL bounds - >= -100 @ 28.8016
59.92/60.13	c GLOBAL bounds - >= -100 @ 29.2745
61.20/61.49	c GLOBAL bounds - >= -100 @ 29.9883
62.50/62.72	c GLOBAL bounds - >= -100 @ 30.5985
64.49/64.76	c GLOBAL bounds - >= -100 @ 31.9961
65.69/65.92	c GLOBAL bounds - >= -100 @ 32.5301
66.68/66.96	c GLOBAL bounds - >= -100 @ 32.9627
67.79/68.02	c GLOBAL bounds - >= -100 @ 33.4159
68.78/69.07	c GLOBAL bounds - >= -100 @ 33.8571
69.89/70.15	c GLOBAL bounds - >= -100 @ 34.2955
70.89/71.18	c GLOBAL bounds - >= -100 @ 34.7005
72.17/72.45	c GLOBAL bounds - >= -100 @ 35.3673
73.37/73.69	c GLOBAL bounds - >= -100 @ 35.968
74.57/74.88	c GLOBAL bounds - >= -100 @ 36.5307
75.67/75.93	c GLOBAL bounds - >= -100 @ 36.9667
76.87/77.13	c GLOBAL bounds - >= -100 @ 37.5298
78.06/78.35	c GLOBAL bounds - >= -100 @ 38.1145
79.55/79.84	c GLOBAL bounds - >= -100 @ 38.9734
80.55/80.89	c GLOBAL bounds - >= -100 @ 39.3777
81.76/82.06	c GLOBAL bounds - >= -100 @ 39.9325
82.86/83.13	c GLOBAL bounds - >= -100 @ 40.3891
83.95/84.29	c GLOBAL bounds - >= -100 @ 40.9368
85.05/85.33	c GLOBAL bounds - >= -100 @ 41.3548
86.54/86.81	c #Conflicts:       1000 | #Constraints:      65788
86.54/86.81	c GLOBAL bounds - >= -100 @ 42.2
87.64/87.91	c GLOBAL bounds - >= -100 @ 42.6825
88.94/89.26	c GLOBAL bounds - >= -100 @ 43.4064
90.13/90.49	c GLOBAL bounds - >= -100 @ 44.0058
91.23/91.59	c GLOBAL bounds - >= -100 @ 44.4871
92.43/92.71	c GLOBAL bounds - >= -100 @ 45.0204
93.43/93.76	c GLOBAL bounds - >= -100 @ 45.4685
95.42/95.79	c GLOBAL bounds - >= -100 @ 46.8353
97.02/97.31	c GLOBAL bounds - >= -100 @ 47.7234
98.82/99.18	c GLOBAL bounds - >= -100 @ 48.9814
100.31/100.63	c GLOBAL bounds - >= -100 @ 49.8179
101.50/101.89	c GLOBAL bounds - >= -100 @ 50.4468
102.71/103.04	c GLOBAL bounds - >= -100 @ 50.9515
104.10/104.43	c GLOBAL bounds - >= -100 @ 51.7118
105.29/105.69	c GLOBAL bounds - >= -100 @ 52.3446
106.80/107.14	c GLOBAL bounds - >= -100 @ 53.1743
108.29/108.67	c GLOBAL bounds - >= -100 @ 54.0591
109.58/109.91	c GLOBAL bounds - >= -100 @ 54.6863
110.79/111.15	c GLOBAL bounds - >= -100 @ 55.2812
111.87/112.22	c GLOBAL bounds - >= -100 @ 55.6954
112.97/113.37	c GLOBAL bounds - >= -100 @ 56.2224
114.07/114.44	c GLOBAL bounds - >= -100 @ 56.6744
115.87/116.29	c GLOBAL bounds - >= -100 @ 57.8585
117.07/117.47	c GLOBAL bounds - >= -100 @ 58.434
118.16/118.58	c GLOBAL bounds - >= -100 @ 58.8945
119.47/119.85	c GLOBAL bounds - >= -100 @ 59.509
120.56/120.90	c GLOBAL bounds - >= -100 @ 59.9742
121.66/122.04	c GLOBAL bounds - >= -100 @ 60.4997
122.76/123.11	c GLOBAL bounds - >= -100 @ 60.9509
126.24/126.60	c GLOBAL bounds - >= -100 @ 63.7905
128.54/128.95	c GLOBAL bounds - >= -100 @ 65.4968
131.33/131.74	c GLOBAL bounds - >= -100 @ 67.6411
132.32/132.80	c GLOBAL bounds - >= -100 @ 68.087
134.02/134.47	c GLOBAL bounds - >= -100 @ 69.11
135.82/136.21	c GLOBAL bounds - >= -100 @ 70.2415
136.82/137.28	c GLOBAL bounds - >= -100 @ 70.6651
138.02/138.42	c GLOBAL bounds - >= -100 @ 71.1905
139.11/139.59	c GLOBAL bounds - >= -100 @ 71.7624
141.41/141.80	c GLOBAL bounds - >= -100 @ 73.3421
144.20/144.65	c #Conflicts:       2000 | #Constraints:      67524
144.20/144.65	c INPROCESSING
144.20/144.65	c GARBAGE COLLECT
144.20/144.65	c GLOBAL bounds - >= -100 @ 75.5621
145.20/145.67	c GLOBAL bounds - >= -100 @ 75.9544
146.99/147.45	c GLOBAL bounds - >= -100 @ 77.142
149.39/149.88	c GLOBAL bounds - >= -100 @ 78.9506
150.88/151.30	c GLOBAL bounds - >= -100 @ 79.7298
152.68/153.19	c GLOBAL bounds - >= -100 @ 80.9642
153.97/154.42	c GLOBAL bounds - >= -100 @ 81.6035
155.58/156.09	c GLOBAL bounds - >= -100 @ 82.6441
158.17/158.63	c GLOBAL bounds - >= -100 @ 84.5294
162.25/162.79	c GLOBAL bounds - >= -100 @ 88.0497
163.45/163.94	c GLOBAL bounds - >= -100 @ 88.5782
164.55/165.05	c GLOBAL bounds - >= -100 @ 89.0651
165.75/166.22	c GLOBAL bounds - >= -100 @ 89.611
170.64/171.11	c GLOBAL bounds - >= -100 @ 93.8295
173.53/174.03	c GLOBAL bounds - >= -100 @ 96.1014
174.82/175.31	c GLOBAL bounds - >= -100 @ 96.7351
176.22/176.75	c GLOBAL bounds - >= -100 @ 97.546
178.02/178.58	c GLOBAL bounds - >= -100 @ 98.7686
181.21/181.74	c GLOBAL bounds - >= -100 @ 101.3
183.71/184.25	c GLOBAL bounds - >= -100 @ 103.175
189.69/190.25	c #Conflicts:       3000 | #Constraints:      69316
189.69/190.25	c GLOBAL bounds - >= -100 @ 108.391
191.78/192.32	c GLOBAL bounds - >= -100 @ 109.813
194.18/194.73	c GLOBAL bounds - >= -100 @ 111.578
203.25/203.87	c GLOBAL bounds - >= -100 @ 120.002
205.24/205.86	c GLOBAL bounds - >= -100 @ 121.384
211.53/212.15	c GLOBAL bounds - >= -100 @ 126.997
213.43/214.10	c GLOBAL bounds - >= -100 @ 128.299
215.72/216.34	c GLOBAL bounds - >= -100 @ 129.903
220.31/220.99	c #Conflicts:       4000 | #Constraints:      87624
220.31/220.99	c GLOBAL bounds - >= -100 @ 133.857
229.28/229.99	c INPROCESSING
229.28/229.99	c GARBAGE COLLECT
229.28/229.99	c GLOBAL bounds - >= -100 @ 142.174
234.38/235.05	c GLOBAL bounds - >= -100 @ 146.6
235.76/236.45	c GLOBAL bounds - >= -100 @ 147.363
237.37/238.01	c GLOBAL bounds - >= -100 @ 148.297
239.86/240.52	c GLOBAL bounds - >= -100 @ 150.17
241.65/242.36	c GLOBAL bounds - >= -100 @ 151.395
243.05/243.77	c GLOBAL bounds - >= -100 @ 152.164
244.46/245.14	c GLOBAL bounds - >= -100 @ 152.913
246.05/246.72	c GLOBAL bounds - >= -100 @ 153.882
254.52/255.26	c #Conflicts:       5000 | #Constraints:     151086
254.52/255.26	c GLOBAL bounds - >= -100 @ 161.74
256.01/256.78	c GLOBAL bounds - >= -100 @ 162.646
257.82/258.51	c GLOBAL bounds - >= -100 @ 163.735
272.17/273.00	c GLOBAL bounds - >= -100 @ 177.533
278.55/279.38	c GLOBAL bounds - >= -100 @ 183.273
281.94/282.76	c GLOBAL bounds - >= -100 @ 186.022
283.34/284.13	c GLOBAL bounds - >= -100 @ 186.812
284.43/285.27	c GLOBAL bounds - >= -100 @ 187.323
285.83/286.60	c GLOBAL bounds - >= -100 @ 188.028
290.13/291.00	c #Conflicts:       6000 | #Constraints:     210322
290.13/291.00	c GLOBAL bounds - >= -100 @ 191.788
294.22/295.07	c GLOBAL bounds - >= -100 @ 195.2
299.70/300.50	c GLOBAL bounds - >= -100 @ 199.933
301.20/302.06	c GLOBAL bounds - >= -100 @ 200.856
303.49/304.36	c GLOBAL bounds - >= -100 @ 202.528
304.79/305.69	c GLOBAL bounds - >= -100 @ 203.244
306.28/307.12	c GLOBAL bounds - >= -100 @ 204.066
307.47/308.34	c GLOBAL bounds - >= -100 @ 204.662
309.66/310.51	c GLOBAL bounds - >= -100 @ 206.194
312.06/312.92	c GLOBAL bounds - >= -100 @ 207.961
313.36/314.26	c GLOBAL bounds - >= -100 @ 208.671
315.55/316.42	c GLOBAL bounds - >= -100 @ 210.161
317.26/318.17	c GLOBAL bounds - >= -100 @ 211.283
318.45/319.33	c GLOBAL bounds - >= -100 @ 211.797
321.84/322.77	c GLOBAL bounds - >= -100 @ 214.605
330.51/331.49	c INPROCESSING
330.51/331.49	c GARBAGE COLLECT
330.51/331.49	c GLOBAL bounds - >= -100 @ 222.661
331.80/332.72	c GLOBAL bounds - >= -100 @ 223.264
333.90/334.88	c GLOBAL bounds - >= -100 @ 224.809
338.19/339.11	c GLOBAL bounds - >= -100 @ 228.41
341.97/342.91	c GLOBAL bounds - >= -100 @ 231.58
356.23/357.23	c #Conflicts:       7000 | #Constraints:     343962
356.23/357.23	c GLOBAL bounds - >= -100 @ 245.2
361.31/362.33	c GLOBAL bounds - >= -100 @ 249.649
365.71/366.72	c GLOBAL bounds - >= -100 @ 253.395
367.30/368.32	c GLOBAL bounds - >= -100 @ 254.371
368.70/369.74	c GLOBAL bounds - >= -100 @ 255.161
374.88/375.94	c GLOBAL bounds - >= -100 @ 260.713
380.07/381.17	c GLOBAL bounds - >= -100 @ 265.3
427.82/429.01	c #Conflicts:       8000 | #Constraints:     394236
427.82/429.01	c GLOBAL bounds - >= -100 @ 312.122
458.92/460.21	c #Conflicts:       9000 | #Constraints:     402286
458.92/460.21	c INPROCESSING
458.92/460.21	c GARBAGE COLLECT
458.92/460.21	c GLOBAL bounds - >= -100 @ 342.54
460.41/461.76	c GLOBAL bounds - >= -100 @ 343.449
472.69/474.01	c GLOBAL bounds - >= -100 @ 355
477.76/479.19	c GLOBAL bounds - >= -100 @ 359.566
486.24/487.65	c #Conflicts:      10000 | #Constraints:     429261
486.24/487.65	c GLOBAL bounds - >= -100 @ 367.37
496.90/498.39	c GLOBAL bounds - >= -100 @ 377.45
503.98/505.49	c GLOBAL bounds - >= -100 @ 383.894
505.28/506.71	c GLOBAL bounds - >= -100 @ 384.481
508.68/510.12	c GLOBAL bounds - >= -100 @ 387.264
516.84/518.35	c GLOBAL bounds - >= -100 @ 394.829
523.73/525.24	c GLOBAL bounds - >= -100 @ 401.063
552.83/554.42	c #Conflicts:      11000 | #Constraints:     479897
552.83/554.42	c GLOBAL bounds - >= -100 @ 429.459
559.21/560.80	c GLOBAL bounds - >= -100 @ 435.178
560.91/562.56	c GLOBAL bounds - >= -100 @ 436.309
563.90/565.58	c GLOBAL bounds - >= -100 @ 438.675
568.19/569.86	c GLOBAL bounds - >= -100 @ 442.292
575.17/576.85	c GLOBAL bounds - >= -100 @ 448.619
584.73/586.48	c GLOBAL bounds - >= -100 @ 457.547
596.69/598.42	c GLOBAL bounds - >= -100 @ 468.737
603.39/605.17	c GLOBAL bounds - >= -100 @ 474.819
624.81/626.65	c #Conflicts:      12000 | #Constraints:     545281
624.81/626.65	c INPROCESSING
624.81/626.65	c GARBAGE COLLECT
624.81/626.65	c GLOBAL bounds - >= -100 @ 495.575
629.31/631.13	c GLOBAL bounds - >= -100 @ 499.413
633.09/634.90	c GLOBAL bounds - >= -100 @ 502.52
635.19/637.01	c GLOBAL bounds - >= -100 @ 504.005
646.26/648.16	c GLOBAL bounds - >= -100 @ 514.478
650.73/652.67	c GLOBAL bounds - >= -100 @ 518.328
652.83/654.76	c GLOBAL bounds - >= -100 @ 519.784
705.26/707.36	c #Conflicts:      13000 | #Constraints:     594330
705.26/707.36	c GLOBAL bounds - >= -100 @ 571.535
754.01/756.28	c #Conflicts:      14000 | #Constraints:     602558
754.01/756.28	c GLOBAL bounds - >= -100 @ 619.605
906.51/909.23	c #Conflicts:      15000 | #Constraints:     610804
906.51/909.23	c INPROCESSING
906.51/909.23	c GARBAGE COLLECT
906.51/909.23	c #Conflicts:      16000 | #Constraints:     609026
906.51/909.23	c #Conflicts:      17000 | #Constraints:     610026
906.51/909.23	c GLOBAL bounds - >= -100 @ 771.288
913.79/916.56	c GLOBAL bounds - >= -100 @ 777.933
1058.93/1062.10	c #Conflicts:      18000 | #Constraints:     625518
1058.93/1062.10	c INPROCESSING
1058.93/1062.10	c GARBAGE COLLECT
1058.93/1062.10	c #Conflicts:      19000 | #Constraints:     623548
1058.93/1062.10	c GLOBAL bounds - >= -100 @ 922.05
1432.76/1437.18	c #Conflicts:      20000 | #Constraints:     631794
1432.76/1437.18	c #Conflicts:      21000 | #Constraints:     632794
1432.76/1437.18	c INPROCESSING
1432.76/1437.18	c GARBAGE COLLECT
1432.76/1437.18	c #Conflicts:      22000 | #Constraints:     630592
1432.76/1437.18	c #Conflicts:      23000 | #Constraints:     631592
1432.76/1437.18	c GLOBAL bounds - >= -100 @ 1295.13
1711.67/1716.90	c #Conflicts:      24000 | #Constraints:     639838
1711.67/1716.90	c #Conflicts:      25000 | #Constraints:     640838
1711.67/1716.90	c INPROCESSING
1711.67/1716.90	c GARBAGE COLLECT
1711.67/1716.90	c #Conflicts:      26000 | #Constraints:     638449
1711.67/1716.90	c #Conflicts:      27000 | #Constraints:     639449
1711.67/1716.90	c GLOBAL bounds - >= -100 @ 1573.13
1779.44/1784.93	c GLOBAL bounds - >= -100 @ 1640.25
1782.24/1787.73	c GLOBAL bounds - >= -100 @ 1642.42
1924.77/1930.73	c #Conflicts:      28000 | #Constraints:     662371
1924.77/1930.73	c #Conflicts:      29000 | #Constraints:     663371
1924.77/1930.73	c INPROCESSING
1924.77/1930.73	c GARBAGE COLLECT
1924.77/1930.73	c GLOBAL bounds - >= -100 @ 1784.2
1991.05/1997.28	c #Conflicts:      30000 | #Constraints:     668119
1991.05/1997.28	c GLOBAL bounds - >= -100 @ 1849.86
2021.34/2027.64	c GLOBAL bounds - >= -100 @ 1879.48
2195.67/2202.53	c #Conflicts:      31000 | #Constraints:     683803
2195.67/2202.53	c #Conflicts:      32000 | #Constraints:     684803
2195.67/2202.53	c GLOBAL bounds - >= -100 @ 2053.09
2235.14/2242.18	c #Conflicts:      33000 | #Constraints:     693145
2235.14/2242.18	c INPROCESSING
2235.14/2242.18	c GARBAGE COLLECT
2235.14/2242.18	c GLOBAL bounds - >= -100 @ 2091.93
2703.60/2712.17	c #Conflicts:      34000 | #Constraints:     697684
2703.60/2712.17	c #Conflicts:      35000 | #Constraints:     698684
2703.60/2712.17	c #Conflicts:      36000 | #Constraints:     699684
2703.60/2712.17	c #Conflicts:      37000 | #Constraints:     700684
2703.60/2712.17	c INPROCESSING
2703.60/2712.17	c GARBAGE COLLECT
2703.60/2712.17	c #Conflicts:      38000 | #Constraints:     697684
2703.60/2712.17	c GLOBAL bounds - >= -100 @ 2559.37
2719.84/2728.41	c GLOBAL bounds - >= -100 @ 2574.93
2758.32/2767.01	c GLOBAL bounds - >= -100 @ 2612.77
2853.01/2862.08	c #Conflicts:      39000 | #Constraints:     720732
2853.01/2862.08	c #Conflicts:      40000 | #Constraints:     721732
2853.01/2862.08	c GLOBAL bounds - >= -100 @ 2706.85
2885.49/2894.63	c GLOBAL bounds - >= -100 @ 2738.66
2899.14/2908.36	c GLOBAL bounds - >= -100 @ 2751.7
2900.64/2909.87	c GLOBAL bounds - >= -100 @ 2752.6
2906.42/2915.61	c GLOBAL bounds - >= -100 @ 2757.71
2960.04/2969.45	c GLOBAL bounds - >= -100 @ 2810.73
2965.92/2975.30	c GLOBAL bounds - >= -100 @ 2815.92
3008.08/3017.66	c #Conflicts:      41000 | #Constraints:     774280
3008.08/3017.66	c GLOBAL bounds - >= -100 @ 2857.49
3171.83/3181.92	c INPROCESSING
3171.83/3181.92	c GARBAGE COLLECT
3171.83/3181.92	c #Conflicts:      42000 | #Constraints:     778443
3171.83/3181.92	c #Conflicts:      43000 | #Constraints:     779443
3171.83/3181.92	c GLOBAL bounds - >= -100 @ 3020.27
3378.13/3388.91	c #Conflicts:      44000 | #Constraints:     787807
3378.13/3388.91	c #Conflicts:      45000 | #Constraints:     788807
3378.13/3388.91	c GLOBAL bounds - >= -100 @ 3225.85
3600.08/3611.62	c #Conflicts:      46000 | #Constraints:     797171
3600.08/3611.62	c INPROCESSING
3600.08/3611.62	c GARBAGE COLLECT
3600.08/3611.62	c #Conflicts:      47000 | #Constraints:     793778
3600.08/3611.62	c cpu time 3447.65 s
3600.08/3611.62	c deterministic time 369 3.69e+02
3600.08/3611.62	c optimization time 3443.41 s
3600.08/3611.62	c total solve time 0 s
3600.08/3611.62	c core-guided solve time 0 s
3600.08/3611.62	c propagation time 0.638369 s
3600.08/3611.62	c conflict analysis time 0 s
3600.08/3611.62	c propagations 300
3600.08/3611.62	c resolve steps 0
3600.08/3611.62	c decisions 0
3600.08/3611.62	c conflicts 0
3600.08/3611.62	c restarts 0
3600.08/3611.62	c inprocessing phases 0
3600.08/3611.62	c garbage collections 0 ,( -nan )
3600.08/3611.62	c input clauses 1044651 ,( 51.46 )
3600.08/3611.62	c input cardinalities 10 ,( 0.00 )
3600.08/3611.62	c input general constraints 985350 ,( 48.54 )
3600.08/3611.62	c input average constraint length 3.94
3600.08/3611.62	c input average constraint degree 1.97
3600.08/3611.62	c learned clauses 0 ,( 0.00 )
3600.08/3611.62	c learned cardinalities 0 ,( 0.00 )
3600.08/3611.62	c learned general constraints 0 ,( 0.00 )
3600.08/3611.62	c learned average constraint length 0.00
3600.08/3611.62	c learned average constraint degree 0.00
3600.08/3611.62	c watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
3600.08/3611.62	c counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
3600.08/3611.62	c watched   constraints 100 ,( 0.01 ) 
3600.08/3611.62	c counting  constraints 985250 ,( 99.99 ) 
3600.08/3611.62	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 32 ,( 32 , 0 )
3600.08/3611.62	c gcd simplifications 0
3600.08/3611.62	c detected cardinalities 0
3600.08/3611.62	c weakened non-implied lits 0
3600.08/3611.62	c weakened non-implying lits 0
3600.08/3611.62	c original variables 1000400
3600.08/3611.62	c clausal propagations 0
3600.08/3611.62	c cardinality propagations 0
3600.08/3611.62	c watched propagations 0
3600.08/3611.62	c counting propagations 0
3600.08/3611.62	c watch lookups 34
3600.08/3611.62	c watch backjump lookups 0
3600.08/3611.62	c watch checks 34
3600.08/3611.62	c propagation checks 0
3600.08/3611.62	c constraint additions 0
3600.08/3611.62	c trail pops 0
3600.08/3611.62	c formula constraints 2030011
3600.08/3611.62	c learned constraints 0
3600.08/3611.62	c bound constraints 0
3600.08/3611.62	c core-guided constraints 0
3600.08/3611.62	c encountered formula constraints 0
3600.08/3611.62	c encountered learned constraints 0
3600.08/3611.62	c encountered bound constraints 0
3600.08/3611.62	c encountered core-guided constraints 0
3600.08/3611.62	c LP total time 0 s
3600.08/3611.62	c LP solve time 0 s
3600.08/3611.62	c LP constraints added 0
3600.08/3611.62	c LP constraints removed 0
3600.08/3611.62	c LP pivots internal 0
3600.08/3611.62	c LP pivots root 0
3600.08/3611.62	c LP calls 0
3600.08/3611.62	c LP optimalities 0
3600.08/3611.62	c LP no pivot count 0
3600.08/3611.62	c LP infeasibilities 0
3600.08/3611.62	c LP valid Farkas constraints 0
3600.08/3611.62	c LP learned Farkas constraints 0
3600.08/3611.62	c LP basis resets 0
3600.08/3611.62	c LP cycling count 0
3600.08/3611.62	c LP singular count 0
3600.08/3611.62	c LP no primal count 0
3600.08/3611.62	c LP no farkas count 0
3600.08/3611.62	c LP other issue count 0
3600.08/3611.62	c LP Gomory cuts 0
3600.08/3611.62	c LP learned cuts 0
3600.08/3611.62	c LP deleted cuts 0
3600.08/3611.62	c LP encountered Gomory constraints 0
3600.08/3611.62	c LP encountered Farkas constraints 0
3600.08/3611.62	c LP encountered learned Farkas constraints 0
3600.08/3611.62	c CG auxiliary variables introduced 0
3600.08/3611.62	c CG solutions found 0
3600.08/3611.62	c CG cores constructed 0
3600.08/3611.62	c CG core cardinality constraints returned 0
3600.08/3611.62	c CG unit cores 0
3600.08/3611.62	c CG single cores 0
3600.08/3611.62	c CG blocks removed during cardinality reduction 0
3600.08/3611.62	c CG first core best 0
3600.08/3611.62	c CG decision core best 0
3600.08/3611.62	c CG core reduction tie 0
3600.08/3611.62	c CG core degree average 0.00
3600.08/3611.62	c CG core slack average 0.00
3600.08/3611.62	c CG core upper bound improvements 0
3600.08/3611.62	c STR number of successful calls 0
3600.08/3611.62	c STR number of unsuccessful calls 0
3600.08/3611.62	c STR number of inconclusive calls 0
3600.08/3611.62	c STR number of successful attempts 0
3600.08/3611.62	c STR number of unsuccessful attempts 0
3600.08/3611.62	c STR number of inconclusive attempts 0
3600.08/3611.62	c STR average degree increase per successful call inf
3600.08/3611.62	c STR average degree increase per successful attempt inf
3600.08/3611.62	c STR total number of conflicts for successful attempts 0
3600.08/3611.62	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.62	c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.62	c STR average number of conflicts per successful attempt inf
3600.08/3611.62	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.62	c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.62	c AVG.sumWPerc 99.79 
3600.08/3611.62	c bigint constraints 0 
3600.08/3611.62	s UNKNOWN
3600.08/3611.62	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 (60656 MiB free)
  memory of node 1: 64507 MiB (62234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505538-1751488380/watcher-4505538-1751488380 -o /tmp/evaluation-result-4505538-1751488380/solver-4505538-1751488380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69373 --watchdog 3760 run-opt.sh HOME/instance-4505538-1751488380.opb 

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 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.el
solver pid=69401, runsolver pid=69398
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.31 2.84 3.55 5/256 69403
/proc/meminfo: memFree=125598924/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=219748 memory=172616 CPUtime=0.07 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 7894 0 0 0 4 3 0 0 20 0 1 0 64515770 225021952 43154 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 54937 43154 1888 1147 0 42364 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 223940 KiB
Current children cumulated memory: 175304 KiB

[startup+0.206059 s]*
/proc/loadavg: 1.31 2.84 3.55 5/252 69403
/proc/meminfo: memFree=125518284/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=224316 memory=179664 CPUtime=0.18 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 9120 0 0 0 12 6 0 0 20 0 1 0 64515770 229699584 44916 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 56079 44916 1920 1147 0 43506 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 228508 KiB
Current children cumulated memory: 182352 KiB

[startup+0.305756 s]*
/proc/loadavg: 1.31 2.84 3.55 5/250 69403
/proc/meminfo: memFree=125514512/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=230400 memory=186912 CPUtime=0.28 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 10417 0 0 0 19 9 0 0 20 0 1 0 64515770 235929600 46728 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 57600 46728 1920 1147 0 45027 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 234592 KiB
Current children cumulated memory: 189600 KiB

[startup+0.700188 s]
/proc/loadavg: 1.31 2.84 3.55 5/250 69403
/proc/meminfo: memFree=125510732/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=254320 memory=211160 CPUtime=0.67 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 14447 0 0 0 48 19 0 0 20 0 1 0 64515770 260423680 52790 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 63580 52790 1920 1147 0 51007 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 258512 KiB
Current children cumulated memory: 213848 KiB

[startup+1.50019 s]
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124299736/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=321756 memory=267436 CPUtime=1.46 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 22901 0 0 0 107 39 0 0 20 0 1 0 64515770 329478144 66859 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 80439 66859 1920 1147 0 67866 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 325948 KiB
Current children cumulated memory: 270124 KiB

[startup+3.10584 s]
/proc/loadavg: 1.53 2.86 3.55 5/268 69436
/proc/meminfo: memFree=123953724/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=450652 memory=357612 CPUtime=3.07 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 32848 0 0 0 227 80 0 0 20 0 1 0 64515770 461467648 89403 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 112663 89403 1920 1147 0 100090 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 454844 KiB
Current children cumulated memory: 360300 KiB

[startup+6.30016 s]
/proc/loadavg: 1.53 2.86 3.55 5/268 69436
/proc/meminfo: memFree=123362220/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=739788 memory=618188 CPUtime=6.25 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 65810 0 0 0 458 167 0 0 20 0 1 0 64515770 757542912 154547 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 184947 154547 2048 1147 0 172374 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 743980 KiB
Current children cumulated memory: 620876 KiB

[startup+12.7002 s]
/proc/loadavg: 1.91 2.90 3.55 5/268 69436
/proc/meminfo: memFree=122380284/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=916484 memory=734736 CPUtime=12.63 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 72256 0 0 0 712 551 0 0 20 0 1 0 64515770 938479616 183684 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 229121 183684 2080 1147 0 216548 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 920676 KiB
Current children cumulated memory: 737424 KiB

[startup+25.5002 s]
/proc/loadavg: 2.31 2.95 3.56 5/267 69436
/proc/meminfo: memFree=117182836/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=939064 memory=752256 CPUtime=25.4 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 73066 0 0 0 1213 1327 0 0 20 0 1 0 64515770 961601536 188064 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 234766 188064 2080 1147 0 222193 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 943256 KiB
Current children cumulated memory: 754944 KiB

[startup+51.106 s]
/proc/loadavg: 3.02 3.07 3.59 5/267 69438
/proc/meminfo: memFree=116708140/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=1291444 memory=1052028 CPUtime=50.94 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 126697 0 0 0 2531 2563 0 0 20 0 1 0 64515770 1322438656 263007 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 322861 263007 2080 1147 0 310288 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1295636 KiB
Current children cumulated memory: 1054716 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 3.24 3.62 5/269 69445
/proc/meminfo: memFree=112980812/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=1741644 memory=1486248 CPUtime=102.01 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 194903 0 0 0 5067 5134 0 0 20 0 1 0 64515770 1783443456 371562 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 435411 371562 2080 1147 0 422838 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1745836 KiB
Current children cumulated memory: 1488936 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.41 3.66 5/269 69447
/proc/meminfo: memFree=109037104/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=2212696 memory=1968920 CPUtime=161.86 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 271245 0 0 0 8786 7400 0 0 20 0 1 0 64515770 2265800704 492230 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 553174 492230 2080 1147 0 540601 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2216888 KiB
Current children cumulated memory: 1971608 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.54 3.68 5/269 69449
/proc/meminfo: memFree=103935828/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=3132184 memory=2790876 CPUtime=221.71 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 417781 0 0 0 13515 8656 0 0 20 0 1 0 64515770 3207356416 697719 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 783046 697719 2080 1147 0 770473 0
Current children cumulated CPU time: 221.71 s

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

Current children cumulated memory: 6926408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.38 4.23 4.10 5/269 69786
/proc/meminfo: memFree=99419372/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8678336 memory=6923720 CPUtime=3152.3 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1170088 0 0 0 300133 15097 0 0 20 0 1 0 64515770 8886616064 1730930 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2169584 1730930 2080 1147 0 2157011 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 8682528 KiB
Current children cumulated memory: 6926408 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.20 4.10 5/268 69788
/proc/meminfo: memFree=99431728/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8678336 memory=6924744 CPUtime=3212.1 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1170740 0 0 0 306049 15161 0 0 20 0 1 0 64515770 8886616064 1731186 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2169584 1731186 2080 1147 0 2157011 0
Current children cumulated CPU time: 3212.1 s
Current children cumulated vsize: 8682528 KiB
Current children cumulated memory: 6927432 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.27 4.13 5/267 69790
/proc/meminfo: memFree=98935712/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8678336 memory=6924744 CPUtime=3271.89 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1171078 0 0 0 312026 15163 0 0 20 0 1 0 64515770 8886616064 1731186 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2169584 1731186 2080 1147 0 2157011 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 8682528 KiB
Current children cumulated memory: 6927432 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.25 4.13 5/266 69792
/proc/meminfo: memFree=98896652/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8678336 memory=6924744 CPUtime=3331.69 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1171262 0 0 0 318004 15165 0 0 20 0 1 0 64515770 8886616064 1731186 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2169584 1731186 2080 1147 0 2157011 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 8682528 KiB
Current children cumulated memory: 6927432 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.22 4.12 5/267 69795
/proc/meminfo: memFree=98816420/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8678336 memory=6924744 CPUtime=3391.49 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1171487 0 0 0 323918 15231 0 0 20 0 1 0 64515770 8886616064 1731186 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2169584 1731186 2080 1147 0 2157011 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 8682528 KiB
Current children cumulated memory: 6927432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.11 5/268 69800
/proc/meminfo: memFree=96917792/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8678336 memory=6924872 CPUtime=3451.29 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1171848 0 0 0 329894 15235 0 0 20 0 1 0 64515770 8886616064 1731218 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2169584 1731218 2080 1147 0 2157011 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 8682528 KiB
Current children cumulated memory: 6927560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.11 5/268 69802
/proc/meminfo: memFree=96785004/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8682164 memory=6932628 CPUtime=3511.08 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1173724 0 0 0 335868 15240 0 0 20 0 1 0 64515770 8890535936 1733157 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2170541 1733157 2080 1147 0 2157968 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 8686356 KiB
Current children cumulated memory: 6935316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/268 69804
/proc/meminfo: memFree=96765724/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8682164 memory=6932628 CPUtime=3570.89 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1173869 0 0 0 341844 15245 0 0 20 0 1 0 64515770 8890535936 1733157 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2170541 1733157 2080 1147 0 2157968 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 8686356 KiB
Current children cumulated memory: 6935316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.13 4.16 4.11 5/269 69806
/proc/meminfo: memFree=96730920/131249996 swapFree=33010160/33010684
[pid=69401] ppid=69398 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/69401/stat : 69401 (run-opt.sh) S 69398 69401 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64515769 4292608 672 18446744073709551615 94466883907584 94466884802117 140724755517872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466885041168 94466885088912 94466892283904 140724755519853 140724755519976 140724755519976 140724755525578 0
/proc/69401/statm: 1048 672 640 219 0 110 0
[pid=69403] ppid=69401 vsize=8682164 memory=6932628 CPUtime=3600.08 cores=0,2
/proc/69403/stat : 69403 (roundingsat) R 69401 69401 69363 0 -1 4194304 1174046 0 0 0 344762 15246 0 0 20 0 1 0 64515770 8890535936 1733157 18446744073709551615 4227072 8923433 140733366966576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41656320 140733366974882 140733366975016 140733366975016 140733366980586 0
/proc/69403/statm: 2170541 1733157 2080 1147 0 2157968 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 8686356 KiB
Current children cumulated memory: 6935316 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.6 s]
# the end of solver process 69401 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.00212 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3447.74 s, system=152.663 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+3611.81 s]*
/proc/loadavg: 4.13 4.16 4.11 5/268 69806
/proc/meminfo: memFree=101092272/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.00212 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.91 s]
/proc/loadavg: 4.13 4.16 4.11 5/268 69806
/proc/meminfo: memFree=101092272/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.00212 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.91
CPU time (s): 3600.41
CPU user time (s): 3447.74
CPU system time (s): 152.663
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 8686356
Max. memory (cumulated for all children) (KiB): 6935316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3447.74
system time used= 152.663
maximum resident set size= 6933012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1174431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185
involuntary context switches= 4696


# summary of solver processes directly reported to runsolver:
#   pid: 69401,69403
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3447.74
#   total CPU system time (s): 152.663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.14051 second user time and 17.304 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-02 22:33:01
IDJOB=4505538
IDBENCH=155760
IDSOLVER=3350
FILE ID=nodeC021/4505538-1751488380
RUNJOBID= nodeC021-1751488380-69373
SLURM_JOB_ID= 9598545
Free space on /tmp= 430648 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_3_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505538-1751488380/watcher-4505538-1751488380 -o /tmp/evaluation-result-4505538-1751488380/solver-4505538-1751488380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69373 --watchdog 3760  run-opt.sh HOME/instance-4505538-1751488380.opb

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

MD5SUM BENCH= 7da1f94ee5ce9c5dcd6f1f8ed9344299
RANDOM SEED=877234906

nodeC021 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		: 3599.741
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.56
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.737
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.56
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.813
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.56
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		: 3605.021
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.849
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.56
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		: 3599.126
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.56
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.776
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.56
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.784
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125880756 kB
MemAvailable:   129635480 kB
Buffers:            2128 kB
Cached:          4493084 kB
SwapCached:           20 kB
Active:           581392 kB
Inactive:        4014364 kB
Active(anon):     107660 kB
Inactive(anon):    10924 kB
Active(file):     473732 kB
Inactive(file):  4003440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            578716 kB
Writeback:             0 kB
AnonPages:        103684 kB
Mapped:           104008 kB
Shmem:             18040 kB
KReclaimable:     233184 kB
Slab:             325196 kB
SReclaimable:     233184 kB
SUnreclaim:        92012 kB
KernelStack:        4112 kB
PageTables:         2924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     375164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430860 MiB
End job on nodeC021 at 2025-07-02 23:33:13