Trace number 4505170

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.32 3610.53

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
MD5SUM88b39ea3a8b75d01f2291d1517c942c1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14112257
Best CPU time to get the best result obtained on this benchmark71204
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 187029967016
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 187029967016
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
5.77/5.82	c #variables 1000400 #constraints 2030011
5.77/5.82	c objective is ce32 
6.07/6.13	c initial watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
6.07/6.13	c initial counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
6.07/6.13	c GLOBAL bounds - >= -100 @ 4.64602
8.07/8.18	c GLOBAL bounds - >= -100 @ 5.47671
9.06/9.19	c GLOBAL bounds - >= -100 @ 5.86766
10.06/10.19	c GLOBAL bounds - >= -100 @ 6.24313
11.06/11.19	c GLOBAL bounds - >= -100 @ 6.64206
12.06/12.18	c GLOBAL bounds - >= -100 @ 7.00841
13.06/13.17	c GLOBAL bounds - >= -100 @ 7.40138
14.05/14.16	c GLOBAL bounds - >= -100 @ 7.78462
15.05/15.16	c GLOBAL bounds - >= -100 @ 8.18332
16.14/16.21	c GLOBAL bounds - >= -100 @ 8.6008
17.14/17.20	c GLOBAL bounds - >= -100 @ 8.96198
18.14/18.20	c GLOBAL bounds - >= -100 @ 9.30145
19.14/19.21	c GLOBAL bounds - >= -100 @ 9.68467
20.13/20.21	c GLOBAL bounds - >= -100 @ 10.0707
21.13/21.20	c GLOBAL bounds - >= -100 @ 10.4522
22.04/22.19	c GLOBAL bounds - >= -100 @ 10.8125
23.04/23.18	c GLOBAL bounds - >= -100 @ 11.184
24.03/24.18	c GLOBAL bounds - >= -100 @ 11.5493
25.03/25.17	c GLOBAL bounds - >= -100 @ 11.9248
26.04/26.17	c GLOBAL bounds - >= -100 @ 12.3087
27.03/27.16	c GLOBAL bounds - >= -100 @ 12.6836
28.03/28.16	c GLOBAL bounds - >= -100 @ 13.0922
29.13/29.21	c GLOBAL bounds - >= -100 @ 13.5265
30.12/30.24	c GLOBAL bounds - >= -100 @ 13.9323
31.22/31.39	c GLOBAL bounds - >= -100 @ 14.486
32.22/32.39	c GLOBAL bounds - >= -100 @ 14.8403
33.22/33.39	c GLOBAL bounds - >= -100 @ 15.2429
34.21/34.38	c GLOBAL bounds - >= -100 @ 15.6106
35.21/35.39	c GLOBAL bounds - >= -100 @ 16.0068
36.21/36.38	c GLOBAL bounds - >= -100 @ 16.3648
37.21/37.38	c GLOBAL bounds - >= -100 @ 16.7293
38.30/38.40	c GLOBAL bounds - >= -100 @ 17.1542
39.30/39.42	c GLOBAL bounds - >= -100 @ 17.5465
40.30/40.43	c GLOBAL bounds - >= -100 @ 17.9383
41.30/41.44	c GLOBAL bounds - >= -100 @ 18.3363
42.30/42.46	c GLOBAL bounds - >= -100 @ 18.7333
43.30/43.46	c GLOBAL bounds - >= -100 @ 19.1365
44.30/44.46	c GLOBAL bounds - >= -100 @ 19.5348
45.39/45.54	c GLOBAL bounds - >= -100 @ 19.9928
46.59/46.78	c GLOBAL bounds - >= -100 @ 20.5836
49.89/50.05	c GLOBAL bounds - >= -100 @ 23.1739
51.68/51.89	c GLOBAL bounds - >= -100 @ 24.3695
53.07/53.28	c GLOBAL bounds - >= -100 @ 25.1294
54.47/54.65	c GLOBAL bounds - >= -100 @ 25.8992
55.47/55.65	c GLOBAL bounds - >= -100 @ 26.2925
56.47/56.65	c GLOBAL bounds - >= -100 @ 26.6647
57.87/58.04	c GLOBAL bounds - >= -100 @ 27.4214
59.07/59.28	c GLOBAL bounds - >= -100 @ 28.0355
62.96/63.16	c GLOBAL bounds - >= -100 @ 31.2365
63.96/64.17	c GLOBAL bounds - >= -100 @ 31.6292
65.05/65.27	c GLOBAL bounds - >= -100 @ 32.1058
66.05/66.28	c GLOBAL bounds - >= -100 @ 32.5027
67.25/67.44	c GLOBAL bounds - >= -100 @ 33.0598
68.25/68.49	c GLOBAL bounds - >= -100 @ 33.5149
69.35/69.58	c GLOBAL bounds - >= -100 @ 33.9963
70.54/70.78	c GLOBAL bounds - >= -100 @ 34.5865
71.63/71.89	c GLOBAL bounds - >= -100 @ 35.0496
72.73/72.90	c GLOBAL bounds - >= -100 @ 35.4308
73.74/73.98	c GLOBAL bounds - >= -100 @ 35.8741
75.03/75.23	c GLOBAL bounds - >= -100 @ 36.5425
76.22/76.40	c GLOBAL bounds - >= -100 @ 37.0697
77.53/77.79	c GLOBAL bounds - >= -100 @ 37.8382
78.62/78.86	c GLOBAL bounds - >= -100 @ 38.3005
79.72/79.93	c GLOBAL bounds - >= -100 @ 38.7335
80.72/80.96	c GLOBAL bounds - >= -100 @ 39.1557
81.82/82.03	c GLOBAL bounds - >= -100 @ 39.611
83.21/83.44	c GLOBAL bounds - >= -100 @ 40.3844
84.31/84.51	c GLOBAL bounds - >= -100 @ 40.8602
85.31/85.58	c GLOBAL bounds - >= -100 @ 41.297
86.41/86.63	c GLOBAL bounds - >= -100 @ 41.7328
87.71/87.95	c GLOBAL bounds - >= -100 @ 42.4131
89.11/89.35	c GLOBAL bounds - >= -100 @ 43.183
90.81/91.06	c GLOBAL bounds - >= -100 @ 44.2751
91.81/92.07	c GLOBAL bounds - >= -100 @ 44.6578
92.90/93.18	c GLOBAL bounds - >= -100 @ 45.1439
94.09/94.32	c GLOBAL bounds - >= -100 @ 45.6705
95.59/95.82	c #Conflicts:       1000 | #Constraints:      65804
95.59/95.82	c GLOBAL bounds - >= -100 @ 46.5463
96.89/97.12	c GLOBAL bounds - >= -100 @ 47.2296
99.28/99.56	c GLOBAL bounds - >= -100 @ 48.9915
100.38/100.66	c GLOBAL bounds - >= -100 @ 49.4513
101.47/101.71	c GLOBAL bounds - >= -100 @ 49.8721
103.18/103.41	c GLOBAL bounds - >= -100 @ 50.9107
104.38/104.63	c GLOBAL bounds - >= -100 @ 51.5088
106.27/106.51	c GLOBAL bounds - >= -100 @ 52.7462
107.37/107.66	c GLOBAL bounds - >= -100 @ 53.2911
108.36/108.68	c GLOBAL bounds - >= -100 @ 53.6668
109.56/109.85	c GLOBAL bounds - >= -100 @ 54.2087
110.66/110.99	c GLOBAL bounds - >= -100 @ 54.7463
112.66/112.94	c GLOBAL bounds - >= -100 @ 56.0238
113.66/113.96	c GLOBAL bounds - >= -100 @ 56.4378
114.76/115.05	c GLOBAL bounds - >= -100 @ 56.9035
117.95/118.23	c GLOBAL bounds - >= -100 @ 59.4145
119.14/119.42	c GLOBAL bounds - >= -100 @ 59.9662
123.03/123.34	c GLOBAL bounds - >= -100 @ 63.2515
124.13/124.42	c GLOBAL bounds - >= -100 @ 63.7191
125.83/126.16	c GLOBAL bounds - >= -100 @ 64.831
128.22/128.50	c GLOBAL bounds - >= -100 @ 66.5219
129.22/129.53	c GLOBAL bounds - >= -100 @ 66.9172
130.22/130.55	c GLOBAL bounds - >= -100 @ 67.3145
131.21/131.57	c GLOBAL bounds - >= -100 @ 67.7047
132.41/132.74	c GLOBAL bounds - >= -100 @ 68.2166
133.42/133.79	c GLOBAL bounds - >= -100 @ 68.6648
134.51/134.88	c GLOBAL bounds - >= -100 @ 69.1243
135.81/136.13	c GLOBAL bounds - >= -100 @ 69.7618
137.50/137.80	c GLOBAL bounds - >= -100 @ 70.8045
139.10/139.46	c GLOBAL bounds - >= -100 @ 71.8447
140.49/140.84	c GLOBAL bounds - >= -100 @ 72.6215
144.59/144.92	c #Conflicts:       2000 | #Constraints:      66866
144.59/144.92	c INPROCESSING
144.59/144.92	c GARBAGE COLLECT
144.59/144.92	c GLOBAL bounds - >= -100 @ 76.0495
152.16/152.55	c GLOBAL bounds - >= -100 @ 83.0588
153.37/153.77	c GLOBAL bounds - >= -100 @ 83.6747
154.37/154.79	c GLOBAL bounds - >= -100 @ 84.0788
155.46/155.88	c GLOBAL bounds - >= -100 @ 84.5251
156.96/157.37	c GLOBAL bounds - >= -100 @ 85.3983
158.06/158.44	c GLOBAL bounds - >= -100 @ 85.8494
159.06/159.46	c GLOBAL bounds - >= -100 @ 86.2532
160.35/160.75	c GLOBAL bounds - >= -100 @ 86.9247
161.85/162.23	c GLOBAL bounds - >= -100 @ 87.7898
162.85/163.24	c GLOBAL bounds - >= -100 @ 88.1886
163.85/164.27	c GLOBAL bounds - >= -100 @ 88.5993
165.44/165.80	c GLOBAL bounds - >= -100 @ 89.505
168.84/169.21	c GLOBAL bounds - >= -100 @ 92.2807
173.33/173.71	c GLOBAL bounds - >= -100 @ 96.1772
175.32/175.71	c GLOBAL bounds - >= -100 @ 97.5372
176.42/176.87	c GLOBAL bounds - >= -100 @ 98.0824
184.39/184.88	c #Conflicts:       3000 | #Constraints:      66907
184.39/184.88	c GLOBAL bounds - >= -100 @ 105.257
185.70/186.14	c GLOBAL bounds - >= -100 @ 105.908
187.29/187.77	c GLOBAL bounds - >= -100 @ 106.892
188.39/188.87	c GLOBAL bounds - >= -100 @ 107.36
191.78/192.24	c GLOBAL bounds - >= -100 @ 110.053
194.07/194.59	c GLOBAL bounds - >= -100 @ 111.758
196.27/196.73	c GLOBAL bounds - >= -100 @ 113.265
198.57/199.02	c GLOBAL bounds - >= -100 @ 114.933
205.15/205.68	c GLOBAL bounds - >= -100 @ 120.907
206.25/206.79	c GLOBAL bounds - >= -100 @ 121.369
207.34/207.83	c GLOBAL bounds - >= -100 @ 121.773
208.44/208.95	c GLOBAL bounds - >= -100 @ 122.265
209.55/210.07	c GLOBAL bounds - >= -100 @ 122.78
211.44/211.98	c GLOBAL bounds - >= -100 @ 124.058
274.07/274.76	c #Conflicts:       4000 | #Constraints:      92151
274.07/274.76	c INPROCESSING
274.07/274.76	c GARBAGE COLLECT
274.07/274.76	c #Conflicts:       5000 | #Constraints:      91562
274.07/274.76	c GLOBAL bounds - >= -100 @ 185.942
285.35/286.01	c #Conflicts:       6000 | #Constraints:      97666
285.35/286.01	c GLOBAL bounds - >= -100 @ 196.518
380.89/381.87	c INPROCESSING
380.89/381.87	c GARBAGE COLLECT
380.89/381.87	c #Conflicts:       7000 | #Constraints:     101783
380.89/381.87	c #Conflicts:       8000 | #Constraints:     102783
380.89/381.87	c GLOBAL bounds - >= -100 @ 291.354
384.48/385.44	c GLOBAL bounds - >= -100 @ 294.283
388.67/389.67	c GLOBAL bounds - >= -100 @ 297.86
393.65/394.69	c GLOBAL bounds - >= -100 @ 302.245
405.62/406.60	c GLOBAL bounds - >= -100 @ 313.505
434.75/435.86	c GLOBAL bounds - >= -100 @ 341.997
439.84/440.96	c GLOBAL bounds - >= -100 @ 346.441
478.03/479.22	c #Conflicts:       9000 | #Constraints:     139739
478.03/479.22	c INPROCESSING
478.03/479.22	c GARBAGE COLLECT
478.03/479.22	c GLOBAL bounds - >= -100 @ 383.912
480.42/481.68	c GLOBAL bounds - >= -100 @ 385.755
482.02/483.26	c GLOBAL bounds - >= -100 @ 386.724
483.12/484.36	c GLOBAL bounds - >= -100 @ 387.199
484.42/485.69	c GLOBAL bounds - >= -100 @ 387.876
488.82/490.05	c GLOBAL bounds - >= -100 @ 391.603
501.27/502.54	c GLOBAL bounds - >= -100 @ 403.422
524.82/526.17	c #Conflicts:      10000 | #Constraints:     174739
524.82/526.17	c GLOBAL bounds - >= -100 @ 426.343
527.10/528.46	c GLOBAL bounds - >= -100 @ 427.989
529.81/531.11	c GLOBAL bounds - >= -100 @ 429.997
532.59/534.00	c GLOBAL bounds - >= -100 @ 432.264
537.78/539.19	c GLOBAL bounds - >= -100 @ 436.832
574.28/575.77	c #Conflicts:      11000 | #Constraints:     201839
574.28/575.77	c GLOBAL bounds - >= -100 @ 472.706
582.36/583.85	c GLOBAL bounds - >= -100 @ 480.132
602.62/604.19	c GLOBAL bounds - >= -100 @ 499.779
610.39/611.97	c GLOBAL bounds - >= -100 @ 506.902
636.92/638.52	c #Conflicts:      12000 | #Constraints:     223783
636.92/638.52	c INPROCESSING
636.92/638.52	c GARBAGE COLLECT
636.92/638.52	c GLOBAL bounds - >= -100 @ 532.688
663.94/665.61	c GLOBAL bounds - >= -100 @ 559.079
665.54/667.27	c GLOBAL bounds - >= -100 @ 560.119
667.04/668.79	c GLOBAL bounds - >= -100 @ 561.039
672.62/674.34	c GLOBAL bounds - >= -100 @ 565.952
686.29/688.06	c #Conflicts:      13000 | #Constraints:     248413
686.29/688.06	c GLOBAL bounds - >= -100 @ 578.98
1015.30/1018.07	c #Conflicts:      14000 | #Constraints:     254649
1015.30/1018.07	c #Conflicts:      15000 | #Constraints:     255649
1015.30/1018.07	c INPROCESSING
1015.30/1018.07	c GARBAGE COLLECT
1015.30/1018.07	c #Conflicts:      16000 | #Constraints:     253890
1015.30/1018.07	c #Conflicts:      17000 | #Constraints:     254890
1015.30/1018.07	c #Conflicts:      18000 | #Constraints:     255890
1015.30/1018.07	c INPROCESSING
1015.30/1018.07	c GARBAGE COLLECT
1015.30/1018.07	c #Conflicts:      19000 | #Constraints:     253916
1015.30/1018.07	c GLOBAL bounds - >= -100 @ 907.151
1048.89/1051.70	c GLOBAL bounds - >= -100 @ 940.055
1062.05/1064.90	c GLOBAL bounds - >= -100 @ 952.652
1470.11/1474.27	c #Conflicts:      20000 | #Constraints:     270624
1470.11/1474.27	c #Conflicts:      21000 | #Constraints:     271624
1470.11/1474.27	c INPROCESSING
1470.11/1474.27	c GARBAGE COLLECT
1470.11/1474.27	c #Conflicts:      22000 | #Constraints:     269445
1470.11/1474.27	c #Conflicts:      23000 | #Constraints:     270445
1470.11/1474.27	c #Conflicts:      24000 | #Constraints:     271445
1470.11/1474.27	c #Conflicts:      25000 | #Constraints:     272445
1470.11/1474.27	c INPROCESSING
1470.11/1474.27	c GARBAGE COLLECT
1470.11/1474.27	c GLOBAL bounds - >= -100 @ 1359.81
1593.64/1598.10	c #Conflicts:      26000 | #Constraints:     275254
1593.64/1598.10	c #Conflicts:      27000 | #Constraints:     276254
1593.64/1598.10	c GLOBAL bounds - >= -100 @ 1482.65
1599.22/1603.79	c GLOBAL bounds - >= -100 @ 1487.71
1627.03/1631.67	c GLOBAL bounds - >= -100 @ 1514.87
1675.28/1680.02	c #Conflicts:      28000 | #Constraints:     292990
1675.28/1680.02	c GLOBAL bounds - >= -100 @ 1562.43
1813.55/1818.76	c #Conflicts:      29000 | #Constraints:     299254
1813.55/1818.76	c INPROCESSING
1813.55/1818.76	c GARBAGE COLLECT
1813.55/1818.76	c #Conflicts:      30000 | #Constraints:     296650
1813.55/1818.76	c GLOBAL bounds - >= -100 @ 1700.04
2362.54/2369.31	c #Conflicts:      31000 | #Constraints:     302914
2362.54/2369.31	c #Conflicts:      32000 | #Constraints:     303914
2362.54/2369.31	c #Conflicts:      33000 | #Constraints:     304914
2362.54/2369.31	c INPROCESSING
2362.54/2369.31	c GARBAGE COLLECT
2362.54/2369.31	c #Conflicts:      34000 | #Constraints:     302145
2362.54/2369.31	c #Conflicts:      35000 | #Constraints:     303145
2362.54/2369.31	c #Conflicts:      36000 | #Constraints:     304145
2362.54/2369.31	c GLOBAL bounds - >= -100 @ 2248.07
2364.93/2371.75	c GLOBAL bounds - >= -100 @ 2249.89
2367.02/2373.80	c GLOBAL bounds - >= -100 @ 2251.3
2501.95/2509.16	c #Conflicts:      37000 | #Constraints:     320937
2501.95/2509.16	c INPROCESSING
2501.95/2509.16	c GARBAGE COLLECT
2501.95/2509.16	c #Conflicts:      38000 | #Constraints:     317921
2501.95/2509.16	c GLOBAL bounds - >= -100 @ 2385.54
2506.33/2513.59	c GLOBAL bounds - >= -100 @ 2389.34
2531.26/2538.50	c #Conflicts:      39000 | #Constraints:     329521
2531.26/2538.50	c GLOBAL bounds - >= -100 @ 2413.54
2749.75/2757.64	c #Conflicts:      40000 | #Constraints:     335821
2749.75/2757.64	c #Conflicts:      41000 | #Constraints:     336821
2749.75/2757.64	c GLOBAL bounds - >= -100 @ 2631.41
2751.55/2759.43	c GLOBAL bounds - >= -100 @ 2632.59
2784.55/2792.52	c GLOBAL bounds - >= -100 @ 2664.82
2786.46/2794.48	c GLOBAL bounds - >= -100 @ 2666.16
2803.90/2811.95	c INPROCESSING
2803.90/2811.95	c GARBAGE COLLECT
2803.90/2811.95	c GLOBAL bounds - >= -100 @ 2682.92
2807.10/2815.11	c GLOBAL bounds - >= -100 @ 2685.46
2867.62/2875.86	c #Conflicts:      42000 | #Constraints:     365408
2867.62/2875.86	c GLOBAL bounds - >= -100 @ 2745.41
3139.26/3148.23	c #Conflicts:      43000 | #Constraints:     371708
3139.26/3148.23	c #Conflicts:      44000 | #Constraints:     372708
3139.26/3148.23	c #Conflicts:      45000 | #Constraints:     373708
3139.26/3148.23	c #Conflicts:      46000 | #Constraints:     374708
3139.26/3148.23	c INPROCESSING
3139.26/3148.23	c GARBAGE COLLECT
3139.26/3148.23	c GLOBAL bounds - >= -100 @ 3016.3
3177.55/3186.60	c #Conflicts:      47000 | #Constraints:     376610
3177.55/3186.60	c GLOBAL bounds - >= -100 @ 3053.91
3469.85/3479.71	c #Conflicts:      48000 | #Constraints:     382910
3469.85/3479.71	c #Conflicts:      49000 | #Constraints:     383910
3469.85/3479.71	c #Conflicts:      50000 | #Constraints:     384910
3469.85/3479.71	c GLOBAL bounds - >= -100 @ 3345.41
3547.14/3557.25	c #Conflicts:      51000 | #Constraints:     391210
3547.14/3557.25	c INPROCESSING
3547.14/3557.25	c GARBAGE COLLECT
3547.14/3557.25	c GLOBAL bounds - >= -100 @ 3422
3600.08/3610.32	c #Conflicts:      52000 | #Constraints:     392913
3600.08/3610.32	c cpu time 3474.9 s
3600.08/3610.32	c deterministic time 369 3.69e+02
3600.08/3610.32	c optimization time 3470.5 s
3600.08/3610.32	c total solve time 0 s
3600.08/3610.32	c core-guided solve time 0 s
3600.08/3610.32	c propagation time 0.64239 s
3600.08/3610.32	c conflict analysis time 0 s
3600.08/3610.32	c propagations 300
3600.08/3610.32	c resolve steps 0
3600.08/3610.32	c decisions 0
3600.08/3610.32	c conflicts 0
3600.08/3610.32	c restarts 0
3600.08/3610.32	c inprocessing phases 0
3600.08/3610.32	c garbage collections 0 ,( -nan )
3600.08/3610.32	c input clauses 1044651 ,( 51.46 )
3600.08/3610.32	c input cardinalities 10 ,( 0.00 )
3600.08/3610.32	c input general constraints 985350 ,( 48.54 )
3600.08/3610.32	c input average constraint length 3.94
3600.08/3610.32	c input average constraint degree 1.97
3600.08/3610.32	c learned clauses 0 ,( 0.00 )
3600.08/3610.32	c learned cardinalities 0 ,( 0.00 )
3600.08/3610.32	c learned general constraints 0 ,( 0.00 )
3600.08/3610.32	c learned average constraint length 0.00
3600.08/3610.32	c learned average constraint degree 0.00
3600.08/3610.32	c watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
3600.08/3610.32	c counting CF 32, 64, 128, Arb: 985251 , 0 , 0 , 0
3600.08/3610.32	c watched   constraints 100 ,( 0.01 ) 
3600.08/3610.32	c counting  constraints 985250 ,( 99.99 ) 
3600.08/3610.32	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 32 ,( 32 , 0 )
3600.08/3610.32	c gcd simplifications 0
3600.08/3610.32	c detected cardinalities 0
3600.08/3610.32	c weakened non-implied lits 0
3600.08/3610.32	c weakened non-implying lits 0
3600.08/3610.32	c original variables 1000400
3600.08/3610.32	c clausal propagations 0
3600.08/3610.32	c cardinality propagations 0
3600.08/3610.32	c watched propagations 0
3600.08/3610.32	c counting propagations 0
3600.08/3610.32	c watch lookups 34
3600.08/3610.32	c watch backjump lookups 0
3600.08/3610.32	c watch checks 34
3600.08/3610.32	c propagation checks 0
3600.08/3610.32	c constraint additions 0
3600.08/3610.32	c trail pops 0
3600.08/3610.32	c formula constraints 2030011
3600.08/3610.32	c learned constraints 0
3600.08/3610.32	c bound constraints 0
3600.08/3610.32	c core-guided constraints 0
3600.08/3610.32	c encountered formula constraints 0
3600.08/3610.32	c encountered learned constraints 0
3600.08/3610.32	c encountered bound constraints 0
3600.08/3610.32	c encountered core-guided constraints 0
3600.08/3610.32	c LP total time 0 s
3600.08/3610.32	c LP solve time 0 s
3600.08/3610.32	c LP constraints added 0
3600.08/3610.32	c LP constraints removed 0
3600.08/3610.32	c LP pivots internal 0
3600.08/3610.32	c LP pivots root 0
3600.08/3610.32	c LP calls 0
3600.08/3610.32	c LP optimalities 0
3600.08/3610.32	c LP no pivot count 0
3600.08/3610.32	c LP infeasibilities 0
3600.08/3610.32	c LP valid Farkas constraints 0
3600.08/3610.32	c LP learned Farkas constraints 0
3600.08/3610.32	c LP basis resets 0
3600.08/3610.32	c LP cycling count 0
3600.08/3610.32	c LP singular count 0
3600.08/3610.32	c LP no primal count 0
3600.08/3610.32	c LP no farkas count 0
3600.08/3610.32	c LP other issue count 0
3600.08/3610.32	c LP Gomory cuts 0
3600.08/3610.32	c LP learned cuts 0
3600.08/3610.32	c LP deleted cuts 0
3600.08/3610.32	c LP encountered Gomory constraints 0
3600.08/3610.32	c LP encountered Farkas constraints 0
3600.08/3610.32	c LP encountered learned Farkas constraints 0
3600.08/3610.32	c CG auxiliary variables introduced 0
3600.08/3610.32	c CG solutions found 0
3600.08/3610.32	c CG cores constructed 0
3600.08/3610.32	c CG core cardinality constraints returned 0
3600.08/3610.32	c CG unit cores 0
3600.08/3610.32	c CG single cores 0
3600.08/3610.32	c CG blocks removed during cardinality reduction 0
3600.08/3610.32	c CG first core best 0
3600.08/3610.32	c CG decision core best 0
3600.08/3610.32	c CG core reduction tie 0
3600.08/3610.32	c CG core degree average 0.00
3600.08/3610.32	c CG core slack average 0.00
3600.08/3610.32	c CG core upper bound improvements 0
3600.08/3610.32	c STR number of successful calls 0
3600.08/3610.32	c STR number of unsuccessful calls 0
3600.08/3610.32	c STR number of inconclusive calls 0
3600.08/3610.32	c STR number of successful attempts 0
3600.08/3610.32	c STR number of unsuccessful attempts 0
3600.08/3610.32	c STR number of inconclusive attempts 0
3600.08/3610.32	c STR average degree increase per successful call inf
3600.08/3610.32	c STR average degree increase per successful attempt inf
3600.08/3610.32	c STR total number of conflicts for successful attempts 0
3600.08/3610.32	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.32	c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.32	c STR average number of conflicts per successful attempt inf
3600.08/3610.32	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.32	c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.32	c AVG.sumWPerc 99.79 
3600.08/3610.32	c bigint constraints 0 
3600.08/3610.32	s UNKNOWN
3600.08/3610.32	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: 63708 MiB (61620 MiB free)
  memory of node 1: 64465 MiB (62231 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505170-1751481262/watcher-4505170-1751481262 -o /tmp/evaluation-result-4505170-1751481262/solver-4505170-1751481262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67543 --watchdog 3760 run-opt.sh HOME/instance-4505170-1751481262.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.el9_5.x86_64
Starting watchdog thread
solver pid=68250, runsolver pid=68247
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126686056/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=220140 memory=175012 CPUtime=0.08 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 8001 0 0 0 5 3 0 0 20 0 1 0 63802840 225423360 43753 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 55035 43753 1888 1147 0 42462 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 224332 KiB
Current children cumulated memory: 177956 KiB

[startup+0.205569 s]*
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126678244/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=224444 memory=179876 CPUtime=0.19 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 9197 0 0 0 13 6 0 0 20 0 1 0 63802840 229830656 44969 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 56111 44969 1888 1147 0 43538 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 228636 KiB
Current children cumulated memory: 182820 KiB

[startup+0.305447 s]*
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126672636/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=230396 memory=186744 CPUtime=0.29 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 10432 0 0 0 21 8 0 0 20 0 1 0 63802840 235925504 46686 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 57599 46686 1888 1147 0 45026 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 234588 KiB
Current children cumulated memory: 189688 KiB

[startup+0.700188 s]
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126658528/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=254320 memory=210984 CPUtime=0.68 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 14417 0 0 0 51 17 0 0 20 0 1 0 63802840 260423680 52746 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 63580 52746 1888 1147 0 51007 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 258512 KiB
Current children cumulated memory: 213928 KiB

[startup+1.50019 s]
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126594136/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=321748 memory=266616 CPUtime=1.48 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 22711 0 0 0 111 37 0 0 20 0 1 0 63802840 329469952 66654 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 80437 66654 1888 1147 0 67864 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 325940 KiB
Current children cumulated memory: 269560 KiB

[startup+3.10541 s]
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126428784/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=448932 memory=350488 CPUtime=3.08 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 32632 0 0 0 229 79 0 0 20 0 1 0 63802840 459706368 87622 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 112233 87622 1888 1147 0 99660 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 353432 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.11 4.08 5/269 68252
/proc/meminfo: memFree=125963676/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=739788 memory=618924 CPUtime=6.27 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 66690 0 0 0 471 156 0 0 20 0 1 0 63802840 757542912 154731 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 184947 154731 2016 1147 0 172374 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 743980 KiB
Current children cumulated memory: 621868 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.08 5/269 68252
/proc/meminfo: memFree=125619164/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=916480 memory=731240 CPUtime=12.65 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 73572 0 0 0 720 545 0 0 20 0 1 0 63802840 938475520 182810 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 229120 182810 2080 1147 0 216547 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 920672 KiB
Current children cumulated memory: 734184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.09 5/269 68252
/proc/meminfo: memFree=125167116/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=928204 memory=743444 CPUtime=25.43 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 75101 0 0 0 1206 1337 0 0 20 0 1 0 63802840 950480896 185861 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 232051 185861 2080 1147 0 219478 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 932396 KiB
Current children cumulated memory: 746388 KiB

[startup+51.1054 s]
/proc/loadavg: 4.17 4.12 4.09 5/269 68253
/proc/meminfo: memFree=124626132/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=1142680 memory=934148 CPUtime=50.99 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 108005 0 0 0 2408 2691 0 0 20 0 1 0 63802840 1170104320 233537 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 285670 233537 2080 1147 0 273097 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1146872 KiB
Current children cumulated memory: 937092 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 68254
/proc/meminfo: memFree=123554472/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=1788864 memory=1547460 CPUtime=102.08 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 208758 0 0 0 5044 5164 0 0 20 0 1 0 63802840 1831796736 386865 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 447216 386865 2080 1147 0 434643 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1793056 KiB
Current children cumulated memory: 1550404 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/270 68257
/proc/meminfo: memFree=122334648/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=2506420 memory=2086992 CPUtime=161.95 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 297296 0 0 0 8784 7411 0 0 20 0 1 0 63802840 2566574080 521748 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 626605 521748 2080 1147 0 614032 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 2510612 KiB
Current children cumulated memory: 2089936 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/269 68265
/proc/meminfo: memFree=120945144/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=3869412 memory=3205692 CPUtime=221.81 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 501485 0 0 0 13428 8753 0 0 20 0 1 0 63802840 3962277888 801423 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 967353 801423 2080 1147 0 954780 0

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

/proc/loadavg: 4.07 4.08 4.09 5/268 68408
/proc/meminfo: memFree=113872648/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=7254180 memory=6205352 CPUtime=3153.32 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1071090 0 0 0 303031 12301 0 0 20 0 1 0 63802840 7428280320 1551338 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1813545 1551338 2080 1147 0 1800972 0
Current children cumulated CPU time: 3153.32 s
Current children cumulated vsize: 7258372 KiB
Current children cumulated memory: 6208296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 68417
/proc/meminfo: memFree=113798120/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=7254180 memory=6205352 CPUtime=3213.16 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1071291 0 0 0 308949 12367 0 0 20 0 1 0 63802840 7428280320 1551338 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1813545 1551338 2080 1147 0 1800972 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 7258372 KiB
Current children cumulated memory: 6208296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 68419
/proc/meminfo: memFree=113790100/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=7254180 memory=6205352 CPUtime=3272.99 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1072224 0 0 0 314930 12369 0 0 20 0 1 0 63802840 7428280320 1551338 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1813545 1551338 2080 1147 0 1800972 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 7258372 KiB
Current children cumulated memory: 6208296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 68421
/proc/meminfo: memFree=113754384/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=7254180 memory=6205352 CPUtime=3332.83 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1072541 0 0 0 320912 12371 0 0 20 0 1 0 63802840 7428280320 1551338 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1813545 1551338 2080 1147 0 1800972 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 7258372 KiB
Current children cumulated memory: 6208296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/269 68424
/proc/meminfo: memFree=113755872/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=7254180 memory=6205480 CPUtime=3392.66 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1073526 0 0 0 326893 12373 0 0 20 0 1 0 63802840 7428280320 1551370 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1813545 1551370 2080 1147 0 1800972 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 7258372 KiB
Current children cumulated memory: 6208424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/267 68426
/proc/meminfo: memFree=113492916/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=7466108 memory=6377676 CPUtime=3452.49 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1108296 0 0 0 332868 12381 0 0 20 0 1 0 63802840 7645294592 1594419 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1866527 1594419 2080 1147 0 1853954 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 7470300 KiB
Current children cumulated memory: 6380620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/267 68428
/proc/meminfo: memFree=113189424/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=8440384 memory=6620556 CPUtime=3512.33 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1139407 0 0 0 338778 12455 0 0 20 0 1 0 63802840 8642953216 1655139 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 2110096 1655139 2080 1147 0 2097523 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 8444576 KiB
Current children cumulated memory: 6623500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/267 68430
/proc/meminfo: memFree=113165252/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=8453768 memory=6651712 CPUtime=3572.16 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1143411 0 0 0 344696 12520 0 0 20 0 1 0 63802840 8656658432 1662928 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 2113442 1662928 2080 1147 0 2100869 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 8457960 KiB
Current children cumulated memory: 6654656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/268 68569
/proc/meminfo: memFree=118832828/131250000 swapFree=33010672/33010684
[pid=68250] ppid=68247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68250/stat : 68250 (run-opt.sh) S 68247 68250 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63802839 4292608 736 18446744073709551615 94087319646208 94087320540741 140725936049904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94087320779792 94087320827536 94087349616640 140725936052589 140725936052712 140725936052712 140725936058314 0
/proc/68250/statm: 1048 736 672 219 0 110 0
[pid=68252] ppid=68250 vsize=8453768 memory=6652608 CPUtime=3600.08 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68250 68250 67533 0 -1 4194304 1144490 0 0 0 347487 12521 0 0 20 0 1 0 63802840 8656658432 1663152 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 2113442 1663152 2080 1147 0 2100869 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 8457960 KiB
Current children cumulated memory: 6655552 KiB

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

[startup+3610.3 s]
# the end of solver process 68250 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.002058 s

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

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

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

[startup+3610.4 s]*
/proc/loadavg: 4.13 4.15 4.11 5/267 68569
/proc/meminfo: memFree=120620816/131250000 swapFree=33010672/33010684
[pid=68252] ppid=68247 vsize=5617820 memory=4859628 CPUtime=3600.19 cores=0,2
/proc/68252/stat : 68252 (roundingsat) R 68247 68250 67533 0 -1 4194304 1144601 0 0 0 347495 12524 0 0 20 0 1 0 63802840 5752647680 1214907 18446744073709551615 4227072 8923433 140731056909472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38236160 140731056912802 140731056912936 140731056912936 140731056918506 0
/proc/68252/statm: 1404455 1214907 2208 1147 0 1391882 0
Current cumulated CPU time of completed processes: 0.002058 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 5617820 KiB
Current children cumulated memory: 4859628 KiB

[startup+3610.51 s]*
/proc/loadavg: 4.13 4.15 4.11 5/267 68569
/proc/meminfo: memFree=124846052/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002058 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): 3610.53
CPU time (s): 3600.32
CPU user time (s): 3474.98
CPU system time (s): 125.347
CPU usage (%): 99.7173
Max. virtual memory (cumulated for all children) (KiB): 8457960
Max. memory (cumulated for all children) (KiB): 6655552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3474.98
system time used= 125.347
maximum resident set size= 6653120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1144858
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= 205
involuntary context switches= 4680


# summary of solver processes directly reported to runsolver:
#   pid: 68250,68252
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3474.98
#   total CPU system time (s): 125.347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13297 second user time and 16.3828 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-02 20:34:23
IDJOB=4505170
IDBENCH=155745
IDSOLVER=3350
FILE ID=nodeC014/4505170-1751481262
RUNJOBID= nodeC014-1751477637-67543
SLURM_JOB_ID= 9598515
Free space on /tmp= 430376 MiB

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

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

MD5SUM BENCH= 88b39ea3a8b75d01f2291d1517c942c1
RANDOM SEED=269210368

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.079
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.122
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3609.374
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.912
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.113
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.111
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.089
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3694.483
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126825064 kB
MemAvailable:   128708060 kB
Buffers:            2508 kB
Cached:          2678636 kB
SwapCached:            4 kB
Active:          1644820 kB
Inactive:        2131208 kB
Active(anon):    1109108 kB
Inactive(anon):     3852 kB
Active(file):     535712 kB
Inactive(file):  2127356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            126412 kB
Writeback:             0 kB
AnonPages:       1098032 kB
Mapped:           117420 kB
Shmem:             18064 kB
KReclaimable:     118332 kB
Slab:             208808 kB
SReclaimable:     118332 kB
SUnreclaim:        90476 kB
KernelStack:        4336 kB
PageTables:         5420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1505884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430120 MiB
End job on nodeC014 at 2025-07-02 21:34:33