Trace number 4505539

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.46 3611.55

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
7.06/7.19	c #variables 1000400 #constraints 2030011
7.06/7.19	c objective is ce32 
7.96/8.03	c initial watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
7.96/8.03	c initial counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
7.96/8.03	c GLOBAL bounds - >= -100 @ 6.33691
10.05/10.17	c GLOBAL bounds - >= -100 @ 7.25128
11.14/11.23	c GLOBAL bounds - >= -100 @ 7.68576
12.14/12.29	c GLOBAL bounds - >= -100 @ 8.11524
13.24/13.33	c GLOBAL bounds - >= -100 @ 8.54436
14.23/14.37	c GLOBAL bounds - >= -100 @ 8.94013
15.34/15.41	c GLOBAL bounds - >= -100 @ 9.36268
16.33/16.43	c GLOBAL bounds - >= -100 @ 9.76031
17.43/17.54	c GLOBAL bounds - >= -100 @ 10.2369
18.42/18.56	c GLOBAL bounds - >= -100 @ 10.6291
19.53/19.60	c GLOBAL bounds - >= -100 @ 11.0432
20.52/20.62	c GLOBAL bounds - >= -100 @ 11.4283
21.52/21.64	c GLOBAL bounds - >= -100 @ 11.8165
22.62/22.70	c GLOBAL bounds - >= -100 @ 12.2326
23.61/23.72	c GLOBAL bounds - >= -100 @ 12.6298
24.71/24.80	c GLOBAL bounds - >= -100 @ 13.0765
25.70/25.82	c GLOBAL bounds - >= -100 @ 13.4716
27.00/27.14	c GLOBAL bounds - >= -100 @ 14.1507
28.00/28.18	c GLOBAL bounds - >= -100 @ 14.5875
29.09/29.21	c GLOBAL bounds - >= -100 @ 14.9976
30.08/30.24	c GLOBAL bounds - >= -100 @ 15.3754
31.19/31.36	c GLOBAL bounds - >= -100 @ 15.8707
32.18/32.40	c GLOBAL bounds - >= -100 @ 16.2713
33.28/33.47	c GLOBAL bounds - >= -100 @ 16.7487
34.37/34.55	c GLOBAL bounds - >= -100 @ 17.2135
35.47/35.66	c GLOBAL bounds - >= -100 @ 17.6915
36.57/36.77	c GLOBAL bounds - >= -100 @ 18.1727
43.05/43.27	c GLOBAL bounds - >= -100 @ 23.9122
44.24/44.41	c GLOBAL bounds - >= -100 @ 24.4039
45.55/45.76	c GLOBAL bounds - >= -100 @ 25.1372
46.64/46.83	c GLOBAL bounds - >= -100 @ 25.5743
48.14/48.38	c GLOBAL bounds - >= -100 @ 26.4973
49.24/49.44	c GLOBAL bounds - >= -100 @ 26.9464
50.34/50.50	c GLOBAL bounds - >= -100 @ 27.3955
51.33/51.57	c GLOBAL bounds - >= -100 @ 27.844
52.43/52.62	c GLOBAL bounds - >= -100 @ 28.2444
53.73/53.91	c GLOBAL bounds - >= -100 @ 28.8848
55.23/55.46	c GLOBAL bounds - >= -100 @ 29.7998
56.53/56.70	c GLOBAL bounds - >= -100 @ 30.423
57.72/57.93	c GLOBAL bounds - >= -100 @ 31.0035
59.02/59.26	c GLOBAL bounds - >= -100 @ 31.6981
60.12/60.39	c GLOBAL bounds - >= -100 @ 32.202
61.21/61.49	c GLOBAL bounds - >= -100 @ 32.669
62.60/62.88	c GLOBAL bounds - >= -100 @ 33.4489
63.70/63.97	c GLOBAL bounds - >= -100 @ 33.9493
64.81/65.08	c GLOBAL bounds - >= -100 @ 34.4505
66.00/66.25	c GLOBAL bounds - >= -100 @ 34.9811
67.59/67.84	c GLOBAL bounds - >= -100 @ 35.9377
69.00/69.21	c GLOBAL bounds - >= -100 @ 36.698
71.49/71.76	c GLOBAL bounds - >= -100 @ 38.5946
72.78/73.03	c GLOBAL bounds - >= -100 @ 39.2183
73.78/74.09	c GLOBAL bounds - >= -100 @ 39.6523
74.96/75.21	c GLOBAL bounds - >= -100 @ 40.1309
75.96/76.29	c GLOBAL bounds - >= -100 @ 40.5774
77.16/77.42	c GLOBAL bounds - >= -100 @ 41.1218
78.17/78.47	c GLOBAL bounds - >= -100 @ 41.5736
79.66/79.92	c GLOBAL bounds - >= -100 @ 42.4129
80.96/81.28	c GLOBAL bounds - >= -100 @ 43.1646
82.25/82.56	c GLOBAL bounds - >= -100 @ 43.8184
83.35/83.64	c GLOBAL bounds - >= -100 @ 44.2702
84.65/84.93	c GLOBAL bounds - >= -100 @ 44.9594
85.95/86.23	c GLOBAL bounds - >= -100 @ 45.6575
87.74/88.03	c GLOBAL bounds - >= -100 @ 46.7932
88.84/89.11	c GLOBAL bounds - >= -100 @ 47.2673
90.03/90.38	c GLOBAL bounds - >= -100 @ 47.9249
91.12/91.48	c GLOBAL bounds - >= -100 @ 48.4119
92.43/92.74	c GLOBAL bounds - >= -100 @ 49.0582
93.52/93.80	c GLOBAL bounds - >= -100 @ 49.4677
95.11/95.44	c #Conflicts:       1000 | #Constraints:      65788
95.11/95.44	c GLOBAL bounds - >= -100 @ 50.4792
96.31/96.61	c GLOBAL bounds - >= -100 @ 51.0506
97.71/98.05	c GLOBAL bounds - >= -100 @ 51.8685
99.10/99.43	c GLOBAL bounds - >= -100 @ 52.6086
100.20/100.59	c GLOBAL bounds - >= -100 @ 53.1525
101.40/101.76	c GLOBAL bounds - >= -100 @ 53.7111
102.50/102.84	c GLOBAL bounds - >= -100 @ 54.1577
105.00/105.32	c GLOBAL bounds - >= -100 @ 55.9366
106.70/107.10	c GLOBAL bounds - >= -100 @ 57.1061
108.99/109.35	c GLOBAL bounds - >= -100 @ 58.708
110.59/110.97	c GLOBAL bounds - >= -100 @ 59.7131
112.07/112.41	c GLOBAL bounds - >= -100 @ 60.5257
113.28/113.64	c GLOBAL bounds - >= -100 @ 61.1358
114.87/115.28	c GLOBAL bounds - >= -100 @ 62.1478
116.27/116.64	c GLOBAL bounds - >= -100 @ 62.8776
117.87/118.28	c GLOBAL bounds - >= -100 @ 63.8487
119.56/120.00	c GLOBAL bounds - >= -100 @ 64.9469
121.06/121.41	c GLOBAL bounds - >= -100 @ 65.746
122.46/122.80	c GLOBAL bounds - >= -100 @ 66.4928
123.55/123.92	c GLOBAL bounds - >= -100 @ 66.9894
124.75/125.14	c GLOBAL bounds - >= -100 @ 67.5812
125.85/126.24	c GLOBAL bounds - >= -100 @ 68.0473
128.15/128.51	c GLOBAL bounds - >= -100 @ 69.6369
129.44/129.80	c GLOBAL bounds - >= -100 @ 70.3024
130.54/130.97	c GLOBAL bounds - >= -100 @ 70.8476
131.94/132.37	c GLOBAL bounds - >= -100 @ 71.6154
133.04/133.44	c GLOBAL bounds - >= -100 @ 72.0833
134.23/134.64	c GLOBAL bounds - >= -100 @ 72.6629
135.33/135.75	c GLOBAL bounds - >= -100 @ 73.1488
140.01/140.42	c GLOBAL bounds - >= -100 @ 77.1102
142.91/143.35	c GLOBAL bounds - >= -100 @ 79.3496
146.00/146.45	c GLOBAL bounds - >= -100 @ 81.7774
147.10/147.54	c GLOBAL bounds - >= -100 @ 82.2459
149.00/149.49	c GLOBAL bounds - >= -100 @ 83.5679
151.09/151.56	c GLOBAL bounds - >= -100 @ 84.9976
152.19/152.65	c GLOBAL bounds - >= -100 @ 85.4423
153.38/153.85	c GLOBAL bounds - >= -100 @ 86.0366
154.59/155.10	c GLOBAL bounds - >= -100 @ 86.6367
157.47/157.92	c GLOBAL bounds - >= -100 @ 88.8003
160.57/161.04	c #Conflicts:       2000 | #Constraints:      67524
160.57/161.04	c INPROCESSING
160.57/161.04	c GARBAGE COLLECT
160.57/161.04	c GLOBAL bounds - >= -100 @ 91.2839
161.57/162.08	c GLOBAL bounds - >= -100 @ 91.7064
163.76/164.25	c GLOBAL bounds - >= -100 @ 93.242
166.56/167.01	c GLOBAL bounds - >= -100 @ 95.3628
168.05/168.57	c GLOBAL bounds - >= -100 @ 96.3023
170.24/170.77	c GLOBAL bounds - >= -100 @ 97.8586
171.65/172.11	c GLOBAL bounds - >= -100 @ 98.551
173.54/174.01	c GLOBAL bounds - >= -100 @ 99.8271
176.54/177.07	c GLOBAL bounds - >= -100 @ 102.203
181.72/182.21	c GLOBAL bounds - >= -100 @ 106.644
182.92/183.44	c GLOBAL bounds - >= -100 @ 107.23
184.11/184.62	c GLOBAL bounds - >= -100 @ 107.801
185.32/185.84	c GLOBAL bounds - >= -100 @ 108.392
191.80/192.39	c GLOBAL bounds - >= -100 @ 114.201
195.39/195.96	c GLOBAL bounds - >= -100 @ 117.116
196.78/197.32	c GLOBAL bounds - >= -100 @ 117.85
198.38/198.92	c GLOBAL bounds - >= -100 @ 118.846
200.88/201.46	c GLOBAL bounds - >= -100 @ 120.73
204.97/205.50	c GLOBAL bounds - >= -100 @ 124.098
208.16/208.78	c GLOBAL bounds - >= -100 @ 126.709
216.45/217.09	c #Conflicts:       3000 | #Constraints:      69316
216.45/217.09	c GLOBAL bounds - >= -100 @ 134.136
218.84/219.49	c GLOBAL bounds - >= -100 @ 135.891
221.63/222.28	c GLOBAL bounds - >= -100 @ 138.027
232.60/233.20	c GLOBAL bounds - >= -100 @ 148.181
234.79/235.42	c GLOBAL bounds - >= -100 @ 149.752
242.27/242.93	c GLOBAL bounds - >= -100 @ 156.529
244.46/245.17	c GLOBAL bounds - >= -100 @ 158.121
247.36/248.01	c GLOBAL bounds - >= -100 @ 160.285
253.24/253.99	c #Conflicts:       4000 | #Constraints:      87624
253.24/253.99	c GLOBAL bounds - >= -100 @ 165.545
264.11/264.80	c INPROCESSING
264.11/264.80	c GARBAGE COLLECT
264.11/264.80	c GLOBAL bounds - >= -100 @ 175.58
270.69/271.48	c GLOBAL bounds - >= -100 @ 181.546
272.30/273.04	c GLOBAL bounds - >= -100 @ 182.477
273.99/274.79	c GLOBAL bounds - >= -100 @ 183.597
276.98/277.79	c GLOBAL bounds - >= -100 @ 185.928
279.17/279.94	c GLOBAL bounds - >= -100 @ 187.448
280.67/281.46	c GLOBAL bounds - >= -100 @ 188.331
282.17/282.96	c GLOBAL bounds - >= -100 @ 189.211
283.96/284.76	c GLOBAL bounds - >= -100 @ 190.386
293.94/294.70	c #Conflicts:       5000 | #Constraints:     151086
293.94/294.70	c GLOBAL bounds - >= -100 @ 199.613
295.53/296.35	c GLOBAL bounds - >= -100 @ 200.606
297.44/298.28	c GLOBAL bounds - >= -100 @ 201.901
313.98/314.83	c GLOBAL bounds - >= -100 @ 217.684
321.87/322.74	c GLOBAL bounds - >= -100 @ 224.907
325.86/326.71	c GLOBAL bounds - >= -100 @ 228.227
327.26/328.18	c GLOBAL bounds - >= -100 @ 229.053
328.45/329.37	c GLOBAL bounds - >= -100 @ 229.612
329.85/330.79	c GLOBAL bounds - >= -100 @ 230.409
335.03/335.98	c #Conflicts:       6000 | #Constraints:     210322
335.03/335.98	c GLOBAL bounds - >= -100 @ 234.913
339.73/340.63	c GLOBAL bounds - >= -100 @ 238.879
345.91/346.87	c GLOBAL bounds - >= -100 @ 244.444
347.60/348.54	c GLOBAL bounds - >= -100 @ 245.474
350.10/351.01	c GLOBAL bounds - >= -100 @ 247.309
351.49/352.43	c GLOBAL bounds - >= -100 @ 248.087
352.99/353.95	c GLOBAL bounds - >= -100 @ 248.965
354.29/355.22	c GLOBAL bounds - >= -100 @ 249.606
356.58/357.56	c GLOBAL bounds - >= -100 @ 251.303
359.28/360.23	c GLOBAL bounds - >= -100 @ 253.342
360.67/361.66	c GLOBAL bounds - >= -100 @ 254.143
362.97/363.99	c GLOBAL bounds - >= -100 @ 255.842
364.86/365.89	c GLOBAL bounds - >= -100 @ 257.102
366.06/367.07	c GLOBAL bounds - >= -100 @ 257.671
369.96/370.97	c GLOBAL bounds - >= -100 @ 260.895
379.32/380.30	c INPROCESSING
379.32/380.30	c GARBAGE COLLECT
379.32/380.30	c GLOBAL bounds - >= -100 @ 269.524
380.62/381.63	c GLOBAL bounds - >= -100 @ 270.232
383.12/384.11	c GLOBAL bounds - >= -100 @ 272.049
388.01/389.07	c GLOBAL bounds - >= -100 @ 276.359
392.18/393.28	c GLOBAL bounds - >= -100 @ 279.908
407.34/408.49	c #Conflicts:       7000 | #Constraints:     343962
407.34/408.49	c GLOBAL bounds - >= -100 @ 294.417
413.12/414.23	c GLOBAL bounds - >= -100 @ 299.468
418.02/419.17	c GLOBAL bounds - >= -100 @ 303.708
419.81/420.94	c GLOBAL bounds - >= -100 @ 304.853
421.41/422.51	c GLOBAL bounds - >= -100 @ 305.813
428.09/429.28	c GLOBAL bounds - >= -100 @ 311.936
433.77/434.95	c GLOBAL bounds - >= -100 @ 316.918
486.13/487.45	c #Conflicts:       8000 | #Constraints:     394236
486.13/487.45	c GLOBAL bounds - >= -100 @ 368.258
519.63/521.04	c #Conflicts:       9000 | #Constraints:     402286
519.63/521.04	c INPROCESSING
519.63/521.04	c GARBAGE COLLECT
519.63/521.04	c GLOBAL bounds - >= -100 @ 400.898
521.33/522.70	c GLOBAL bounds - >= -100 @ 401.917
535.78/537.22	c GLOBAL bounds - >= -100 @ 415.664
541.67/543.16	c GLOBAL bounds - >= -100 @ 420.911
551.23/552.75	c #Conflicts:      10000 | #Constraints:     429261
551.23/552.75	c GLOBAL bounds - >= -100 @ 429.783
563.30/564.80	c GLOBAL bounds - >= -100 @ 441.126
571.36/572.90	c GLOBAL bounds - >= -100 @ 448.522
572.57/574.16	c GLOBAL bounds - >= -100 @ 449.15
576.25/577.85	c GLOBAL bounds - >= -100 @ 452.169
585.62/587.20	c GLOBAL bounds - >= -100 @ 460.851
593.60/595.28	c GLOBAL bounds - >= -100 @ 468.238
626.50/628.20	c #Conflicts:      11000 | #Constraints:     479897
626.50/628.20	c GLOBAL bounds - >= -100 @ 500.207
633.68/635.49	c GLOBAL bounds - >= -100 @ 506.8
635.77/637.50	c GLOBAL bounds - >= -100 @ 508.182
639.15/640.93	c GLOBAL bounds - >= -100 @ 510.937
644.14/645.93	c GLOBAL bounds - >= -100 @ 515.28
652.02/653.87	c GLOBAL bounds - >= -100 @ 522.497
662.29/664.11	c GLOBAL bounds - >= -100 @ 532.054
675.75/677.61	c GLOBAL bounds - >= -100 @ 544.755
683.02/684.94	c GLOBAL bounds - >= -100 @ 551.417
707.55/709.56	c #Conflicts:      12000 | #Constraints:     545281
707.55/709.56	c INPROCESSING
707.55/709.56	c GARBAGE COLLECT
707.55/709.56	c GLOBAL bounds - >= -100 @ 575.185
712.43/714.42	c GLOBAL bounds - >= -100 @ 579.398
716.42/718.49	c GLOBAL bounds - >= -100 @ 582.809
718.61/720.69	c GLOBAL bounds - >= -100 @ 584.39
730.37/732.49	c GLOBAL bounds - >= -100 @ 595.502
735.25/737.32	c GLOBAL bounds - >= -100 @ 599.67
737.44/739.50	c GLOBAL bounds - >= -100 @ 601.223
792.79/795.02	c #Conflicts:      13000 | #Constraints:     594330
792.79/795.02	c GLOBAL bounds - >= -100 @ 655.76
843.81/846.20	c #Conflicts:      14000 | #Constraints:     602558
843.81/846.20	c GLOBAL bounds - >= -100 @ 705.941
1012.29/1015.27	c #Conflicts:      15000 | #Constraints:     610804
1012.29/1015.27	c INPROCESSING
1012.29/1015.27	c GARBAGE COLLECT
1012.29/1015.27	c #Conflicts:      16000 | #Constraints:     609026
1012.29/1015.27	c #Conflicts:      17000 | #Constraints:     610026
1012.29/1015.27	c GLOBAL bounds - >= -100 @ 873.1
1020.07/1023.00	c GLOBAL bounds - >= -100 @ 880.169
1171.98/1175.43	c #Conflicts:      18000 | #Constraints:     625518
1171.98/1175.43	c INPROCESSING
1171.98/1175.43	c GARBAGE COLLECT
1171.98/1175.43	c #Conflicts:      19000 | #Constraints:     623548
1171.98/1175.43	c GLOBAL bounds - >= -100 @ 1030.83
1567.61/1572.49	c #Conflicts:      20000 | #Constraints:     631794
1567.61/1572.49	c #Conflicts:      21000 | #Constraints:     632794
1567.61/1572.49	c INPROCESSING
1567.61/1572.49	c GARBAGE COLLECT
1567.61/1572.49	c #Conflicts:      22000 | #Constraints:     630592
1567.61/1572.49	c #Conflicts:      23000 | #Constraints:     631592
1567.61/1572.49	c GLOBAL bounds - >= -100 @ 1424.45
1867.94/1873.67	c #Conflicts:      24000 | #Constraints:     639838
1867.94/1873.67	c #Conflicts:      25000 | #Constraints:     640838
1867.94/1873.67	c INPROCESSING
1867.94/1873.67	c GARBAGE COLLECT
1867.94/1873.67	c #Conflicts:      26000 | #Constraints:     638449
1867.94/1873.67	c #Conflicts:      27000 | #Constraints:     639449
1867.94/1873.67	c GLOBAL bounds - >= -100 @ 1723.1
1941.05/1947.00	c GLOBAL bounds - >= -100 @ 1795.36
1944.04/1949.96	c GLOBAL bounds - >= -100 @ 1797.7
2096.64/2102.96	c #Conflicts:      28000 | #Constraints:     662371
2096.64/2102.96	c #Conflicts:      29000 | #Constraints:     663371
2096.64/2102.96	c INPROCESSING
2096.64/2102.96	c GARBAGE COLLECT
2096.64/2102.96	c GLOBAL bounds - >= -100 @ 1949.2
2167.85/2174.34	c #Conflicts:      30000 | #Constraints:     668119
2167.85/2174.34	c GLOBAL bounds - >= -100 @ 2019.53
2200.66/2207.25	c GLOBAL bounds - >= -100 @ 2051.61
2383.88/2390.96	c #Conflicts:      31000 | #Constraints:     683803
2383.88/2390.96	c #Conflicts:      32000 | #Constraints:     684803
2383.88/2390.96	c GLOBAL bounds - >= -100 @ 2233.77
2426.86/2434.04	c #Conflicts:      33000 | #Constraints:     693145
2426.86/2434.04	c INPROCESSING
2426.86/2434.04	c GARBAGE COLLECT
2426.86/2434.04	c GLOBAL bounds - >= -100 @ 2275.98
2937.58/2946.26	c #Conflicts:      34000 | #Constraints:     697684
2937.58/2946.26	c #Conflicts:      35000 | #Constraints:     698684
2937.58/2946.26	c #Conflicts:      36000 | #Constraints:     699684
2937.58/2946.26	c #Conflicts:      37000 | #Constraints:     700684
2937.58/2946.26	c INPROCESSING
2937.58/2946.26	c GARBAGE COLLECT
2937.58/2946.26	c #Conflicts:      38000 | #Constraints:     697684
2937.58/2946.26	c GLOBAL bounds - >= -100 @ 2784.45
2954.64/2963.38	c GLOBAL bounds - >= -100 @ 2800.9
2997.32/3006.15	c GLOBAL bounds - >= -100 @ 2842.7
3101.77/3110.98	c #Conflicts:      39000 | #Constraints:     720732
3101.77/3110.98	c #Conflicts:      40000 | #Constraints:     721732
3101.77/3110.98	c GLOBAL bounds - >= -100 @ 2946.15
3135.98/3145.22	c GLOBAL bounds - >= -100 @ 2979.61
3150.64/3159.96	c GLOBAL bounds - >= -100 @ 2993.64
3152.14/3161.48	c GLOBAL bounds - >= -100 @ 2994.56
3158.22/3167.59	c GLOBAL bounds - >= -100 @ 2999.98
3216.15/3225.60	c GLOBAL bounds - >= -100 @ 3057.04
3222.23/3231.78	c GLOBAL bounds - >= -100 @ 3062.58
3266.51/3276.15	c #Conflicts:      41000 | #Constraints:     774280
3266.51/3276.15	c GLOBAL bounds - >= -100 @ 3106.14
3438.49/3448.66	c INPROCESSING
3438.49/3448.66	c GARBAGE COLLECT
3438.49/3448.66	c #Conflicts:      42000 | #Constraints:     778443
3438.49/3448.66	c #Conflicts:      43000 | #Constraints:     779443
3438.49/3448.66	c GLOBAL bounds - >= -100 @ 3276.89
3600.02/3610.68	c #Conflicts:      44000 | #Constraints:     787807
3600.02/3610.68	c cpu time 3438.15 s
3600.02/3610.68	c deterministic time 369 3.69e+02
3600.02/3610.68	c optimization time 3432.57 s
3600.02/3610.68	c total solve time 0 s
3600.02/3610.68	c core-guided solve time 0 s
3600.02/3610.68	c propagation time 0.681352 s
3600.02/3610.68	c conflict analysis time 0 s
3600.02/3610.68	c propagations 300
3600.02/3610.68	c resolve steps 0
3600.02/3610.68	c decisions 0
3600.02/3610.68	c conflicts 0
3600.02/3610.68	c restarts 0
3600.02/3610.68	c inprocessing phases 0
3600.02/3610.68	c garbage collections 0 ,( -nan )
3600.02/3610.68	c input clauses 1044651 ,( 51.46 )
3600.02/3610.68	c input cardinalities 10 ,( 0.00 )
3600.02/3610.68	c input general constraints 985350 ,( 48.54 )
3600.02/3610.68	c input average constraint length 3.94
3600.02/3610.68	c input average constraint degree 1.97
3600.02/3610.68	c learned clauses 0 ,( 0.00 )
3600.02/3610.68	c learned cardinalities 0 ,( 0.00 )
3600.02/3610.68	c learned general constraints 0 ,( 0.00 )
3600.02/3610.68	c learned average constraint length 0.00
3600.02/3610.68	c learned average constraint degree 0.00
3600.02/3610.68	c watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
3600.02/3610.68	c counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
3600.02/3610.68	c watched   constraints 100 ,( 0.01 ) 
3600.02/3610.68	c counting  constraints 985250 ,( 99.99 ) 
3600.02/3610.68	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 32 ,( 32 , 0 )
3600.02/3610.68	c gcd simplifications 0
3600.02/3610.68	c detected cardinalities 0
3600.02/3610.68	c weakened non-implied lits 0
3600.02/3610.68	c weakened non-implying lits 0
3600.02/3610.68	c original variables 1000400
3600.02/3610.68	c clausal propagations 0
3600.02/3610.68	c cardinality propagations 0
3600.02/3610.68	c watched propagations 0
3600.02/3610.68	c counting propagations 0
3600.02/3610.68	c watch lookups 34
3600.02/3610.68	c watch backjump lookups 0
3600.02/3610.68	c watch checks 34
3600.02/3610.68	c propagation checks 0
3600.02/3610.68	c constraint additions 0
3600.02/3610.68	c trail pops 0
3600.02/3610.68	c formula constraints 2030011
3600.02/3610.68	c learned constraints 0
3600.02/3610.68	c bound constraints 0
3600.02/3610.68	c core-guided constraints 0
3600.02/3610.68	c encountered formula constraints 0
3600.02/3610.68	c encountered learned constraints 0
3600.02/3610.68	c encountered bound constraints 0
3600.02/3610.68	c encountered core-guided constraints 0
3600.02/3610.68	c LP total time 0 s
3600.02/3610.68	c LP solve time 0 s
3600.02/3610.68	c LP constraints added 0
3600.02/3610.68	c LP constraints removed 0
3600.02/3610.68	c LP pivots internal 0
3600.02/3610.68	c LP pivots root 0
3600.02/3610.68	c LP calls 0
3600.02/3610.68	c LP optimalities 0
3600.02/3610.68	c LP no pivot count 0
3600.02/3610.68	c LP infeasibilities 0
3600.02/3610.68	c LP valid Farkas constraints 0
3600.02/3610.68	c LP learned Farkas constraints 0
3600.02/3610.68	c LP basis resets 0
3600.02/3610.68	c LP cycling count 0
3600.02/3610.68	c LP singular count 0
3600.02/3610.68	c LP no primal count 0
3600.02/3610.68	c LP no farkas count 0
3600.02/3610.68	c LP other issue count 0
3600.02/3610.68	c LP Gomory cuts 0
3600.02/3610.68	c LP learned cuts 0
3600.02/3610.68	c LP deleted cuts 0
3600.02/3610.68	c LP encountered Gomory constraints 0
3600.02/3610.68	c LP encountered Farkas constraints 0
3600.02/3610.68	c LP encountered learned Farkas constraints 0
3600.02/3610.68	c CG auxiliary variables introduced 0
3600.02/3610.68	c CG solutions found 0
3600.02/3610.68	c CG cores constructed 0
3600.02/3610.68	c CG core cardinality constraints returned 0
3600.02/3610.68	c CG unit cores 0
3600.02/3610.68	c CG single cores 0
3600.02/3610.68	c CG blocks removed during cardinality reduction 0
3600.02/3610.68	c CG first core best 0
3600.02/3610.68	c CG decision core best 0
3600.02/3610.68	c CG core reduction tie 0
3600.02/3610.68	c CG core degree average 0.00
3600.02/3610.68	c CG core slack average 0.00
3600.02/3610.68	c CG core upper bound improvements 0
3600.02/3610.68	c STR number of successful calls 0
3600.02/3610.68	c STR number of unsuccessful calls 0
3600.02/3610.68	c STR number of inconclusive calls 0
3600.02/3610.68	c STR number of successful attempts 0
3600.02/3610.68	c STR number of unsuccessful attempts 0
3600.02/3610.68	c STR number of inconclusive attempts 0
3600.02/3610.68	c STR average degree increase per successful call inf
3600.02/3610.68	c STR average degree increase per successful attempt inf
3600.02/3610.68	c STR total number of conflicts for successful attempts 0
3600.02/3610.68	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.68	c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.68	c STR average number of conflicts per successful attempt inf
3600.02/3610.68	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.68	c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.68	c AVG.sumWPerc 99.79 
3600.02/3610.68	c bigint constraints 0 
3600.02/3610.68	s UNKNOWN
3600.02/3610.68	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 (35576 MiB free)
  memory of node 1: 64507 MiB (32962 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73555, runsolver pid=73552
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.09 4.09 4.09 5/272 73557
/proc/meminfo: memFree=70017352/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=223668 memory=176676 CPUtime=0.08 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 8352 0 0 0 4 4 0 0 20 0 1 0 63886098 229036032 44169 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 55917 44169 1952 1147 0 43344 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 227860 KiB
Current children cumulated memory: 179620 KiB

[startup+0.205806 s]*
/proc/loadavg: 4.09 4.09 4.09 5/272 73557
/proc/meminfo: memFree=70001412/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=228340 memory=183340 CPUtime=0.18 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 9496 0 0 0 12 6 0 0 20 0 1 0 63886098 233820160 45835 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 57085 45835 1952 1147 0 44512 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 232532 KiB
Current children cumulated memory: 186284 KiB

[startup+0.305705 s]*
/proc/loadavg: 4.09 4.09 4.09 5/272 73557
/proc/meminfo: memFree=69960836/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=232928 memory=189740 CPUtime=0.29 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 11047 0 0 0 20 9 0 0 20 0 1 0 63886098 238518272 47435 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 58232 47435 1984 1147 0 45659 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 237120 KiB
Current children cumulated memory: 192684 KiB

[startup+0.70019 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 73557
/proc/meminfo: memFree=69947352/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=262656 memory=214976 CPUtime=0.67 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 15329 0 0 0 50 17 0 0 20 0 1 0 63886098 268959744 53744 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 65664 53744 1984 1147 0 53091 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 217920 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 73557
/proc/meminfo: memFree=69878872/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=330588 memory=272416 CPUtime=1.47 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 25251 0 0 0 111 36 0 0 20 0 1 0 63886098 338522112 68104 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 82647 68104 1984 1147 0 70074 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 334780 KiB
Current children cumulated memory: 275360 KiB

[startup+3.10547 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 73557
/proc/meminfo: memFree=69579588/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=419360 memory=366996 CPUtime=3.07 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 38046 0 0 0 234 73 0 0 20 0 1 0 63886098 429424640 91749 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 104840 91749 1984 1147 0 92267 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 423552 KiB
Current children cumulated memory: 369940 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 73557
/proc/meminfo: memFree=69239736/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=567748 memory=511864 CPUtime=6.26 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 60462 0 0 0 478 148 0 0 20 0 1 0 63886098 581373952 127966 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 141937 127966 1984 1147 0 129364 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 571940 KiB
Current children cumulated memory: 514808 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 73557
/proc/meminfo: memFree=67303076/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=1105308 memory=900652 CPUtime=12.64 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 99985 0 0 0 828 436 0 0 20 0 1 0 63886098 1131835392 225163 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 276327 225163 2080 1147 0 263754 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1109500 KiB
Current children cumulated memory: 903596 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 4/266 73584
/proc/meminfo: memFree=73127316/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=1116800 memory=911136 CPUtime=25.41 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 100060 0 0 0 1333 1208 0 0 20 0 1 0 63886098 1143603200 227784 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 279200 227784 2080 1147 0 266627 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1120992 KiB
Current children cumulated memory: 914080 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.10 4.09 5/273 73653
/proc/meminfo: memFree=123177236/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=1340192 memory=1129296 CPUtime=50.94 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 135806 0 0 0 2765 2329 0 0 20 0 1 0 63886098 1372356608 282324 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 335048 282324 2080 1147 0 322475 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1344384 KiB
Current children cumulated memory: 1132240 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 73655
/proc/meminfo: memFree=118838648/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=1735148 memory=1469048 CPUtime=102 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 187103 0 0 0 5396 4804 0 0 20 0 1 0 63886098 1776791552 367262 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 433787 367262 2080 1147 0 421214 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1739340 KiB
Current children cumulated memory: 1471992 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 73657
/proc/meminfo: memFree=112752084/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=2429240 memory=2138880 CPUtime=161.87 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 290889 0 0 0 9191 6996 0 0 20 0 1 0 63886098 2487541760 534720 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 607310 534720 2112 1147 0 594737 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2433432 KiB
Current children cumulated memory: 2141824 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 73661
/proc/meminfo: memFree=106948232/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=3210612 memory=2659800 CPUtime=221.73 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 393166 0 0 0 13804 8369 0 0 20 0 1 0 63886098 3287666688 664950 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 802653 664950 2112 1147 0 790080 0

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

/proc/meminfo: memFree=42914872/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=7675404 memory=6419808 CPUtime=3212.86 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1048680 0 0 0 305439 15847 0 0 20 0 1 0 63886098 7859613696 1604952 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 1918851 1604952 2112 1147 0 1906278 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 7679596 KiB
Current children cumulated memory: 6422752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/273 73872
/proc/meminfo: memFree=40943588/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=7705868 memory=6452732 CPUtime=3272.68 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1054446 0 0 0 311223 16045 0 0 20 0 1 0 63886098 7890808832 1613183 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 1926467 1613183 2112 1147 0 1913894 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 7710060 KiB
Current children cumulated memory: 6455676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/273 73874
/proc/meminfo: memFree=37648600/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=8900604 memory=7166492 CPUtime=3332.52 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1213154 0 0 0 317174 16078 0 0 20 0 1 0 63886098 9114218496 1791623 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1791623 2112 1147 0 2212578 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 8904796 KiB
Current children cumulated memory: 7169436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/273 73876
/proc/meminfo: memFree=35656704/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=8900604 memory=7181468 CPUtime=3392.35 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1214358 0 0 0 323139 16096 0 0 20 0 1 0 63886098 9114218496 1795367 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1795367 2112 1147 0 2212578 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 8904796 KiB
Current children cumulated memory: 7184412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.52 4.24 4.13 5/273 73882
/proc/meminfo: memFree=34682936/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=8900604 memory=7197724 CPUtime=3452.15 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1216982 0 0 0 329045 16170 0 0 20 0 1 0 63886098 9114218496 1799431 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1799431 2112 1147 0 2212578 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 8904796 KiB
Current children cumulated memory: 7200668 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.21 4.13 5/272 73884
/proc/meminfo: memFree=33604304/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=8900604 memory=7215516 CPUtime=3511.98 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1217230 0 0 0 335018 16180 0 0 20 0 1 0 63886098 9114218496 1803879 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1803879 2112 1147 0 2212578 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 8904796 KiB
Current children cumulated memory: 7218460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/271 73886
/proc/meminfo: memFree=32811676/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=8900604 memory=7236252 CPUtime=3571.8 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1218923 0 0 0 340990 16190 0 0 20 0 1 0 63886098 9114218496 1809063 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1809063 2112 1147 0 2212578 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 8904796 KiB
Current children cumulated memory: 7239196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.08 4.16 4.12 5/271 73886
/proc/meminfo: memFree=31892808/131250000 swapFree=33008100/33010684
[pid=73555] ppid=73552 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73555/stat : 73555 (run-opt-log.sh) S 73552 73555 72291 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63886097 4292608 736 18446744073709551615 94069167185920 94069168080453 140725941505024 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94069168319504 94069168367248 94069186666496 140725941508385 140725941508580 140725941508580 140725941514182 0
/proc/73555/statm: 1048 736 672 219 0 110 0
[pid=73557] ppid=73555 vsize=8900604 memory=7247260 CPUtime=3600.02 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73555 73555 72291 0 -1 4194304 1219029 0 0 0 343806 16196 0 0 20 0 1 0 63886098 9114218496 1811815 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1811815 2112 1147 0 2212578 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 8904796 KiB
Current children cumulated memory: 7250204 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.6 s]
# the end of solver process 73555 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.002376 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3438.37 s, system=162.09 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.2 s]
/proc/loadavg: 4.08 4.16 4.12 4/270 73886
/proc/meminfo: memFree=31882232/131250000 swapFree=33008100/33010684
[pid=73557] ppid=73552 vsize=8900604 memory=7247644 CPUtime=3600.15 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73552 73555 72291 0 -1 4194304 1219035 0 0 0 343815 16200 0 0 20 0 1 0 63886098 9114218496 1811911 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 2225151 1811911 2208 1147 0 2212578 0
Current cumulated CPU time of completed processes: 0.002376 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 8900604 KiB
Current children cumulated memory: 7247644 KiB

[startup+3611.4 s]
/proc/loadavg: 4.08 4.16 4.12 4/270 73886
/proc/meminfo: memFree=31882232/131250000 swapFree=33008100/33010684
[pid=73557] ppid=73552 vsize=5030300 memory=4832876 CPUtime=3600.31 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73552 73555 72291 0 -1 4194304 1219198 0 0 0 343825 16206 0 0 20 0 1 0 63886098 5151027200 1208219 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 1257575 1208219 2208 1147 0 1245002 0
Current cumulated CPU time of completed processes: 0.002376 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 5030300 KiB
Current children cumulated memory: 4832876 KiB

[startup+3611.5 s]
/proc/loadavg: 4.08 4.16 4.12 4/270 73886
/proc/meminfo: memFree=31882232/131250000 swapFree=33008100/33010684
[pid=73557] ppid=73552 vsize=4655932 memory=4536792 CPUtime=3600.4 cores=4,6
/proc/73557/stat : 73557 (roundingsat) R 73552 73555 72291 0 -1 4194304 1219241 0 0 0 343834 16206 0 0 20 0 1 0 63886098 4767674368 1134198 18446744073709551615 4227072 8923433 140723850873152 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 23171072 140723850881362 140723850881576 140723850881576 140723850887146 0
/proc/73557/statm: 1163983 1134198 2208 1147 0 1151410 0
Current cumulated CPU time of completed processes: 0.002376 s
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 4655932 KiB
Current children cumulated memory: 4536792 KiB

Child status: 2

Real time (s): 3611.55
CPU time (s): 3600.46
CPU user time (s): 3438.37
CPU system time (s): 162.09
CPU usage (%): 99.6932
Max. virtual memory (cumulated for all children) (KiB): 8904796
Max. memory (cumulated for all children) (KiB): 7250204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3438.37
system time used= 162.09
maximum resident set size= 7247644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1219465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34603704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14859
involuntary context switches= 7072


# summary of solver processes directly reported to runsolver:
#   pid: 73555,73557
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3438.37
#   total CPU system time (s): 162.09

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45254 second user time and 15.5088 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 20:47:38
IDJOB=4505539
IDBENCH=155760
IDSOLVER=3351
FILE ID=nodeC013/4505539-1751482057
RUNJOBID= nodeC013-1751474816-72302
SLURM_JOB_ID= 9598506
Free space on /tmp= 432164 MiB

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

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

MD5SUM BENCH= 7da1f94ee5ce9c5dcd6f1f8ed9344299
RANDOM SEED=636872220

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		: 3599.834
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.903
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		: 3534.543
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		: 3599.968
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.857
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		: 3599.845
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		: 3566.146
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		: 3700.000
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:        70184020 kB
MemAvailable:   115565376 kB
Buffers:            1668 kB
Cached:         46128080 kB
SwapCached:         2168 kB
Active:         14458480 kB
Inactive:       45899696 kB
Active(anon):   14221436 kB
Inactive(anon):    18128 kB
Active(file):     237044 kB
Inactive(file): 45881568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            541480 kB
Writeback:          9012 kB
AnonPages:      14229400 kB
Mapped:           109584 kB
Shmem:             11108 kB
KReclaimable:     203564 kB
Slab:             307716 kB
SReclaimable:     203564 kB
SUnreclaim:       104152 kB
KernelStack:        4368 kB
PageTables:        33580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   17282648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6678528 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= 432468 MiB
End job on nodeC013 at 2025-07-02 21:47:50