Trace number 4503929

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.22 3611.69

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
MD5SUMbe26e98499835c00c9c49f7164ad1e60
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4232465
Best CPU time to get the best result obtained on this benchmark1722.47
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 141420761
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 116572691025
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 141420761
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 116572691025
Number of bits of the biggest sum of numbers37
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
0.47/0.56	c #variables 14620 #constraints 36135
0.47/0.56	c objective is ce32 
0.73/0.80	c initial watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
0.73/0.80	c initial counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
0.73/0.80	c GLOBAL bounds - >= -85 @ 0.57488
1.72/1.84	c GLOBAL bounds - >= -85 @ 1.57666
1.72/1.87	c GLOBAL bounds - >= -85 @ 1.60435
1.82/1.90	c GLOBAL bounds - >= -85 @ 1.6297
1.82/1.95	c GLOBAL bounds - >= -85 @ 1.68024
1.94/2.02	c GLOBAL bounds - >= -85 @ 1.73934
1.94/2.05	c GLOBAL bounds - >= -85 @ 1.76825
1.94/2.08	c GLOBAL bounds - >= -85 @ 1.80055
2.04/2.12	c GLOBAL bounds - >= -85 @ 1.83154
2.04/2.18	c GLOBAL bounds - >= -85 @ 1.88125
2.12/2.21	c GLOBAL bounds - >= -85 @ 1.91424
2.12/2.27	c GLOBAL bounds - >= -85 @ 1.96213
2.22/2.32	c GLOBAL bounds - >= -85 @ 2.01286
2.22/2.36	c GLOBAL bounds - >= -85 @ 2.04352
2.22/2.39	c GLOBAL bounds - >= -85 @ 2.07321
2.32/2.43	c GLOBAL bounds - >= -85 @ 2.10404
2.32/2.47	c GLOBAL bounds - >= -85 @ 2.14134
2.41/2.50	c GLOBAL bounds - >= -85 @ 2.17184
2.41/2.54	c GLOBAL bounds - >= -85 @ 2.2106
2.41/2.58	c GLOBAL bounds - >= -85 @ 2.24682
2.52/2.64	c GLOBAL bounds - >= -85 @ 2.29397
2.52/2.69	c GLOBAL bounds - >= -85 @ 2.34199
2.61/2.76	c GLOBAL bounds - >= -85 @ 2.40101
2.81/2.91	c GLOBAL bounds - >= -85 @ 2.54296
2.81/2.96	c GLOBAL bounds - >= -85 @ 2.58374
2.92/3.07	c GLOBAL bounds - >= -85 @ 2.68264
3.30/3.45	c GLOBAL bounds - >= -85 @ 3.02983
3.40/3.53	c GLOBAL bounds - >= -85 @ 3.10506
3.40/3.59	c GLOBAL bounds - >= -85 @ 3.15649
3.60/3.70	c GLOBAL bounds - >= -85 @ 3.26789
3.60/3.77	c GLOBAL bounds - >= -85 @ 3.33059
3.79/3.91	c GLOBAL bounds - >= -85 @ 3.45847
5.72/5.94	c GLOBAL bounds - >= -85 @ 5.31843
6.02/6.29	c GLOBAL bounds - >= -85 @ 5.6604
6.22/6.47	c GLOBAL bounds - >= -85 @ 5.8366
6.43/6.64	c GLOBAL bounds - >= -85 @ 5.99278
6.52/6.72	c GLOBAL bounds - >= -85 @ 6.07547
6.63/6.81	c GLOBAL bounds - >= -85 @ 6.15367
7.02/7.29	c GLOBAL bounds - >= -85 @ 6.62777
7.42/7.60	c GLOBAL bounds - >= -85 @ 6.93185
8.02/8.26	c GLOBAL bounds - >= -85 @ 7.55767
12.60/12.87	c GLOBAL bounds - >= -85 @ 12.0942
12.82/13.06	c GLOBAL bounds - >= -85 @ 12.2695
13.00/13.27	c GLOBAL bounds - >= -85 @ 12.4686
13.30/13.51	c GLOBAL bounds - >= -85 @ 12.7104
13.40/13.68	c GLOBAL bounds - >= -85 @ 12.8656
13.50/13.77	c GLOBAL bounds - >= -85 @ 12.954
13.70/13.90	c GLOBAL bounds - >= -85 @ 13.0785
13.70/14.01	c GLOBAL bounds - >= -85 @ 13.177
13.91/14.12	c GLOBAL bounds - >= -85 @ 13.2772
13.99/14.22	c GLOBAL bounds - >= -85 @ 13.3752
14.10/14.30	c GLOBAL bounds - >= -85 @ 13.4552
14.19/14.46	c GLOBAL bounds - >= -85 @ 13.6113
14.70/14.97	c GLOBAL bounds - >= -85 @ 14.1107
15.59/15.80	c #Conflicts:       1000 | #Constraints:     187157
15.59/15.80	c GLOBAL bounds - >= -85 @ 14.9267
15.80/16.03	c GLOBAL bounds - >= -85 @ 15.1521
15.99/16.25	c GLOBAL bounds - >= -85 @ 15.376
27.66/27.97	c GLOBAL bounds - >= -85 @ 26.9004
28.06/28.39	c GLOBAL bounds - >= -85 @ 27.3121
28.65/28.94	c GLOBAL bounds - >= -85 @ 27.8485
29.36/29.60	c GLOBAL bounds - >= -85 @ 28.4902
30.15/30.47	c GLOBAL bounds - >= -85 @ 29.3273
31.76/32.04	c GLOBAL bounds - >= -85 @ 30.8719
32.34/32.62	c GLOBAL bounds - >= -85 @ 31.4405
32.86/33.18	c GLOBAL bounds - >= -85 @ 31.9994
33.34/33.67	c GLOBAL bounds - >= -85 @ 32.4813
34.24/34.51	c GLOBAL bounds - >= -85 @ 33.2965
41.61/41.94	c #Conflicts:       2000 | #Constraints:     240597
41.61/41.94	c INPROCESSING
41.61/41.94	c GARBAGE COLLECT
41.61/41.94	c GLOBAL bounds - >= -85 @ 40.6515
42.21/42.52	c GLOBAL bounds - >= -85 @ 41.2186
44.00/44.33	c GLOBAL bounds - >= -85 @ 43.0129
49.59/50.00	c GLOBAL bounds - >= -85 @ 48.6215
55.67/56.06	c GLOBAL bounds - >= -85 @ 54.6343
56.26/56.61	c GLOBAL bounds - >= -85 @ 55.1684
57.26/57.70	c GLOBAL bounds - >= -85 @ 56.2425
58.77/59.14	c GLOBAL bounds - >= -85 @ 57.6634
59.35/59.70	c GLOBAL bounds - >= -85 @ 58.2206
60.66/61.11	c #Conflicts:       3000 | #Constraints:     277588
60.66/61.11	c GLOBAL bounds - >= -85 @ 59.582
62.54/62.94	c GLOBAL bounds - >= -85 @ 61.3823
63.04/63.46	c GLOBAL bounds - >= -85 @ 61.8928
64.03/64.45	c GLOBAL bounds - >= -85 @ 62.8587
64.53/64.94	c GLOBAL bounds - >= -85 @ 63.3277
64.93/65.37	c GLOBAL bounds - >= -85 @ 63.7525
65.23/65.64	c GLOBAL bounds - >= -85 @ 64.0139
65.43/65.87	c GLOBAL bounds - >= -85 @ 64.232
66.33/66.73	c GLOBAL bounds - >= -85 @ 65.0769
67.23/67.67	c GLOBAL bounds - >= -85 @ 66.0037
67.74/68.14	c GLOBAL bounds - >= -85 @ 66.4638
68.22/68.65	c GLOBAL bounds - >= -85 @ 66.9502
68.52/69.01	c GLOBAL bounds - >= -85 @ 67.2985
68.82/69.26	c GLOBAL bounds - >= -85 @ 67.5365
69.12/69.51	c GLOBAL bounds - >= -85 @ 67.7845
69.51/69.94	c GLOBAL bounds - >= -85 @ 68.2029
71.51/71.99	c GLOBAL bounds - >= -85 @ 70.2206
73.30/73.79	c GLOBAL bounds - >= -85 @ 71.9858
79.69/80.16	c GLOBAL bounds - >= -85 @ 78.2899
91.80/92.36	c #Conflicts:       4000 | #Constraints:     359164
91.80/92.36	c GLOBAL bounds - >= -85 @ 90.2771
106.36/107.00	c INPROCESSING
106.36/107.00	c GARBAGE COLLECT
106.36/107.00	c GLOBAL bounds - >= -85 @ 104.786
108.15/108.79	c GLOBAL bounds - >= -85 @ 106.551
110.95/111.56	c GLOBAL bounds - >= -85 @ 109.288
126.00/126.68	c #Conflicts:       5000 | #Constraints:     375757
126.00/126.68	c GLOBAL bounds - >= -85 @ 124.246
129.98/130.60	c GLOBAL bounds - >= -85 @ 128.121
165.47/166.28	c #Conflicts:       6000 | #Constraints:     385389
165.47/166.28	c INPROCESSING
165.47/166.28	c GARBAGE COLLECT
165.47/166.28	c GLOBAL bounds - >= -85 @ 163.478
166.66/167.40	c GLOBAL bounds - >= -85 @ 164.577
175.94/176.73	c GLOBAL bounds - >= -85 @ 173.818
185.23/186.09	c #Conflicts:       7000 | #Constraints:     397355
185.23/186.09	c GLOBAL bounds - >= -85 @ 183.115
189.60/190.42	c GLOBAL bounds - >= -85 @ 187.395
192.39/193.22	c GLOBAL bounds - >= -85 @ 190.182
220.81/221.74	c #Conflicts:       8000 | #Constraints:     411347
220.81/221.74	c GLOBAL bounds - >= -85 @ 218.461
222.40/223.32	c GLOBAL bounds - >= -85 @ 220.021
235.36/236.39	c GLOBAL bounds - >= -85 @ 232.902
300.57/301.79	c #Conflicts:       9000 | #Constraints:     425361
300.57/301.79	c INPROCESSING
300.57/301.79	c GARBAGE COLLECT
300.57/301.79	c #Conflicts:      10000 | #Constraints:     424072
300.57/301.79	c GLOBAL bounds - >= -85 @ 297.824
342.15/343.41	c #Conflicts:      11000 | #Constraints:     429410
342.15/343.41	c GLOBAL bounds - >= -85 @ 339.154
545.48/547.45	c #Conflicts:      12000 | #Constraints:     434776
545.48/547.45	c INPROCESSING
545.48/547.45	c GARBAGE COLLECT
545.48/547.45	c #Conflicts:      13000 | #Constraints:     433218
545.48/547.45	c #Conflicts:      14000 | #Constraints:     434218
545.48/547.45	c #Conflicts:      15000 | #Constraints:     435218
545.48/547.45	c INPROCESSING
545.48/547.45	c GARBAGE COLLECT
545.48/547.45	c #Conflicts:      16000 | #Constraints:     433446
545.48/547.45	c #Conflicts:      17000 | #Constraints:     434446
545.48/547.45	c GLOBAL bounds - >= -85 @ 541.447
582.86/584.91	c #Conflicts:      18000 | #Constraints:     439812
582.86/584.91	c INPROCESSING
582.86/584.91	c GARBAGE COLLECT
582.86/584.91	c GLOBAL bounds - >= -85 @ 578.583
616.44/618.62	c #Conflicts:      19000 | #Constraints:     442214
616.44/618.62	c GLOBAL bounds - >= -85 @ 612.026
667.07/669.43	c #Conflicts:      20000 | #Constraints:     447602
667.07/669.43	c GLOBAL bounds - >= -85 @ 662.45
895.83/898.90	c #Conflicts:      21000 | #Constraints:     452990
895.83/898.90	c INPROCESSING
895.83/898.90	c GARBAGE COLLECT
895.83/898.90	c #Conflicts:      22000 | #Constraints:     450798
895.83/898.90	c #Conflicts:      23000 | #Constraints:     451798
895.83/898.90	c #Conflicts:      24000 | #Constraints:     452798
895.83/898.90	c #Conflicts:      25000 | #Constraints:     453798
895.83/898.90	c INPROCESSING
895.83/898.90	c GARBAGE COLLECT
895.83/898.90	c GLOBAL bounds - >= -85 @ 890.339
914.16/917.30	c GLOBAL bounds - >= -85 @ 908.598
1075.08/1078.77	c #Conflicts:      26000 | #Constraints:     460216
1075.08/1078.77	c #Conflicts:      27000 | #Constraints:     461216
1075.08/1078.77	c #Conflicts:      28000 | #Constraints:     462216
1075.08/1078.77	c #Conflicts:      29000 | #Constraints:     463216
1075.08/1078.77	c INPROCESSING
1075.08/1078.77	c GARBAGE COLLECT
1075.08/1078.77	c GLOBAL bounds - >= -85 @ 1068.82
1126.82/1130.66	c #Conflicts:      30000 | #Constraints:     465020
1126.82/1130.66	c GLOBAL bounds - >= -85 @ 1120.33
1400.77/1405.44	c #Conflicts:      31000 | #Constraints:     470448
1400.77/1405.44	c #Conflicts:      32000 | #Constraints:     471448
1400.77/1405.44	c #Conflicts:      33000 | #Constraints:     472448
1400.77/1405.44	c INPROCESSING
1400.77/1405.44	c GARBAGE COLLECT
1400.77/1405.44	c #Conflicts:      34000 | #Constraints:     469643
1400.77/1405.44	c #Conflicts:      35000 | #Constraints:     470643
1400.77/1405.44	c #Conflicts:      36000 | #Constraints:     471643
1400.77/1405.44	c GLOBAL bounds - >= -85 @ 1393.43
1674.82/1680.36	c #Conflicts:      37000 | #Constraints:     477071
1674.82/1680.36	c INPROCESSING
1674.82/1680.36	c GARBAGE COLLECT
1674.82/1680.36	c #Conflicts:      38000 | #Constraints:     474080
1674.82/1680.36	c #Conflicts:      39000 | #Constraints:     475080
1674.82/1680.36	c #Conflicts:      40000 | #Constraints:     476080
1674.82/1680.36	c #Conflicts:      41000 | #Constraints:     477080
1674.82/1680.36	c INPROCESSING
1674.82/1680.36	c GARBAGE COLLECT
1674.82/1680.36	c #Conflicts:      42000 | #Constraints:     473881
1674.82/1680.36	c GLOBAL bounds - >= -85 @ 1666.42
3600.00/3611.42	c #Conflicts:      43000 | #Constraints:     479309
3600.00/3611.42	c #Conflicts:      44000 | #Constraints:     480309
3600.00/3611.42	c #Conflicts:      45000 | #Constraints:     481309
3600.00/3611.42	c #Conflicts:      46000 | #Constraints:     482309
3600.00/3611.42	c INPROCESSING
3600.00/3611.42	c GARBAGE COLLECT
3600.00/3611.42	c #Conflicts:      47000 | #Constraints:     478904
3600.00/3611.42	c #Conflicts:      48000 | #Constraints:     479904
3600.00/3611.42	c #Conflicts:      49000 | #Constraints:     480904
3600.00/3611.42	c #Conflicts:      50000 | #Constraints:     481904
3600.00/3611.42	c #Conflicts:      51000 | #Constraints:     482904
3600.00/3611.42	c INPROCESSING
3600.00/3611.42	c GARBAGE COLLECT
3600.00/3611.42	c #Conflicts:      52000 | #Constraints:     479305
3600.00/3611.42	c #Conflicts:      53000 | #Constraints:     480305
3600.00/3611.42	c #Conflicts:      54000 | #Constraints:     481305
3600.00/3611.42	c #Conflicts:      55000 | #Constraints:     482305
3600.00/3611.42	c #Conflicts:      56000 | #Constraints:     483305
3600.00/3611.42	c INPROCESSING
3600.00/3611.42	c GARBAGE COLLECT
3600.00/3611.42	c #Conflicts:      57000 | #Constraints:     479507
3600.00/3611.42	c #Conflicts:      58000 | #Constraints:     480507
3600.00/3611.42	c #Conflicts:      59000 | #Constraints:     481507
3600.00/3611.42	c #Conflicts:      60000 | #Constraints:     482507
3600.00/3611.42	c #Conflicts:      61000 | #Constraints:     483507
3600.00/3611.42	c INPROCESSING
3600.00/3611.42	c GARBAGE COLLECT
3600.00/3611.42	c #Conflicts:      62000 | #Constraints:     479512
3600.00/3611.42	c #Conflicts:      63000 | #Constraints:     480512
3600.00/3611.42	c #Conflicts:      64000 | #Constraints:     481512
3600.00/3611.42	c #Conflicts:      65000 | #Constraints:     482512
3600.00/3611.42	c #Conflicts:      66000 | #Constraints:     483512
3600.00/3611.42	c INPROCESSING
3600.00/3611.42	c GARBAGE COLLECT
3600.00/3611.42	c #Conflicts:      67000 | #Constraints:     479309
3600.00/3611.42	c #Conflicts:      68000 | #Constraints:     480309
3600.00/3611.42	c #Conflicts:      69000 | #Constraints:     481309
3600.00/3611.42	c #Conflicts:      70000 | #Constraints:     482309
3600.00/3611.42	c #Conflicts:      71000 | #Constraints:     483309
3600.00/3611.42	c cpu time 3587.43 s
3600.00/3611.42	c deterministic time 191 1.91e+02
3600.00/3611.42	c optimization time 3587.03 s
3600.00/3611.42	c total solve time 0 s
3600.00/3611.42	c core-guided solve time 0 s
3600.00/3611.42	c propagation time 0.033534 s
3600.00/3611.42	c conflict analysis time 0 s
3600.00/3611.42	c propagations 170
3600.00/3611.42	c resolve steps 0
3600.00/3611.42	c decisions 0
3600.00/3611.42	c conflicts 0
3600.00/3611.42	c restarts 0
3600.00/3611.42	c inprocessing phases 0
3600.00/3611.42	c garbage collections 0 ,( -nan )
3600.00/3611.42	c input clauses 32301 ,( 89.39 )
3600.00/3611.42	c input cardinalities 9 ,( 0.02 )
3600.00/3611.42	c input general constraints 3825 ,( 10.59 )
3600.00/3611.42	c input average constraint length 3.60
3600.00/3611.42	c input average constraint degree 1.71
3600.00/3611.42	c learned clauses 0 ,( 0.00 )
3600.00/3611.42	c learned cardinalities 0 ,( 0.00 )
3600.00/3611.42	c learned general constraints 0 ,( 0.00 )
3600.00/3611.42	c learned average constraint length 0.00
3600.00/3611.42	c learned average constraint degree 0.00
3600.00/3611.42	c watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
3600.00/3611.42	c counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
3600.00/3611.42	c watched   constraints 85 ,( 2.22 ) 
3600.00/3611.42	c counting  constraints 3740 ,( 97.78 ) 
3600.00/3611.42	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 8 ,( 8 , 0 )
3600.00/3611.42	c gcd simplifications 0
3600.00/3611.42	c detected cardinalities 0
3600.00/3611.42	c weakened non-implied lits 0
3600.00/3611.42	c weakened non-implying lits 0
3600.00/3611.42	c original variables 14620
3600.00/3611.42	c clausal propagations 0
3600.00/3611.42	c cardinality propagations 0
3600.00/3611.42	c watched propagations 0
3600.00/3611.42	c counting propagations 0
3600.00/3611.42	c watch lookups 10
3600.00/3611.42	c watch backjump lookups 0
3600.00/3611.42	c watch checks 10
3600.00/3611.42	c propagation checks 0
3600.00/3611.42	c constraint additions 0
3600.00/3611.42	c trail pops 0
3600.00/3611.42	c formula constraints 36135
3600.00/3611.42	c learned constraints 0
3600.00/3611.42	c bound constraints 0
3600.00/3611.42	c core-guided constraints 0
3600.00/3611.42	c encountered formula constraints 0
3600.00/3611.42	c encountered learned constraints 0
3600.00/3611.42	c encountered bound constraints 0
3600.00/3611.42	c encountered core-guided constraints 0
3600.00/3611.42	c LP total time 0 s
3600.00/3611.42	c LP solve time 0 s
3600.00/3611.42	c LP constraints added 0
3600.00/3611.42	c LP constraints removed 0
3600.00/3611.42	c LP pivots internal 0
3600.00/3611.42	c LP pivots root 0
3600.00/3611.42	c LP calls 0
3600.00/3611.42	c LP optimalities 0
3600.00/3611.42	c LP no pivot count 0
3600.00/3611.42	c LP infeasibilities 0
3600.00/3611.42	c LP valid Farkas constraints 0
3600.00/3611.42	c LP learned Farkas constraints 0
3600.00/3611.42	c LP basis resets 0
3600.00/3611.42	c LP cycling count 0
3600.00/3611.42	c LP singular count 0
3600.00/3611.42	c LP no primal count 0
3600.00/3611.42	c LP no farkas count 0
3600.00/3611.42	c LP other issue count 0
3600.00/3611.42	c LP Gomory cuts 0
3600.00/3611.42	c LP learned cuts 0
3600.00/3611.42	c LP deleted cuts 0
3600.00/3611.42	c LP encountered Gomory constraints 0
3600.00/3611.42	c LP encountered Farkas constraints 0
3600.00/3611.42	c LP encountered learned Farkas constraints 0
3600.00/3611.42	c CG auxiliary variables introduced 0
3600.00/3611.42	c CG solutions found 0
3600.00/3611.42	c CG cores constructed 0
3600.00/3611.42	c CG core cardinality constraints returned 0
3600.00/3611.42	c CG unit cores 0
3600.00/3611.42	c CG single cores 0
3600.00/3611.42	c CG blocks removed during cardinality reduction 0
3600.00/3611.42	c CG first core best 0
3600.00/3611.42	c CG decision core best 0
3600.00/3611.42	c CG core reduction tie 0
3600.00/3611.42	c CG core degree average 0.00
3600.00/3611.42	c CG core slack average 0.00
3600.00/3611.42	c CG core upper bound improvements 0
3600.00/3611.42	c STR number of successful calls 0
3600.00/3611.42	c STR number of unsuccessful calls 0
3600.00/3611.42	c STR number of inconclusive calls 0
3600.00/3611.42	c STR number of successful attempts 0
3600.00/3611.42	c STR number of unsuccessful attempts 0
3600.00/3611.42	c STR number of inconclusive attempts 0
3600.00/3611.42	c STR average degree increase per successful call inf
3600.00/3611.42	c STR average degree increase per successful attempt inf
3600.00/3611.42	c STR total number of conflicts for successful attempts 0
3600.00/3611.42	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.42	c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.42	c STR average number of conflicts per successful attempt inf
3600.00/3611.42	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.42	c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.42	c AVG.sumWPerc 60.55 
3600.00/3611.42	c bigint constraints 0 
3600.00/3611.42	s UNKNOWN
3600.00/3611.42	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: 63837 MiB (12147 MiB free)
  memory of node 1: 64465 MiB (13037 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=66702, runsolver pid=66699
Current StackSize limit: 8192 KiB


[startup+0.100378 s]*
/proc/loadavg: 4.24 4.19 4.18 3/258 66704
/proc/meminfo: memFree=25779256/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=58640 memory=14124 CPUtime=0.06 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 1772 0 0 0 5 1 0 0 20 0 1 0 61494622 60047360 3531 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 14660 3531 2016 1147 0 2087 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 17068 KiB

[startup+0.208085 s]*
/proc/loadavg: 4.24 4.19 4.18 3/258 66704
/proc/meminfo: memFree=25773840/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=60176 memory=15660 CPUtime=0.16 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 2141 0 0 0 12 4 0 0 20 0 1 0 61494622 61620224 3915 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 15044 3915 2016 1147 0 2471 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 64368 KiB
Current children cumulated memory: 18604 KiB

[startup+0.308599 s]*
/proc/loadavg: 4.24 4.19 4.18 5/258 66704
/proc/meminfo: memFree=25772772/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=61716 memory=17196 CPUtime=0.26 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 2527 0 0 0 20 6 0 0 20 0 1 0 61494622 63197184 4299 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 15429 4299 2016 1147 0 2856 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 20140 KiB

[startup+0.700438 s]
/proc/loadavg: 4.24 4.19 4.18 4/258 66704
/proc/meminfo: memFree=25735248/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=128588 memory=67316 CPUtime=0.64 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 12418 0 0 0 51 13 0 0 20 0 1 0 61494622 131674112 16829 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 32147 16829 2368 1147 0 19574 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 132780 KiB
Current children cumulated memory: 70260 KiB

[startup+1.50085 s]
/proc/loadavg: 4.24 4.19 4.18 5/258 66704
/proc/meminfo: memFree=25688336/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=130900 memory=73308 CPUtime=1.42 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 13466 0 0 0 124 18 0 0 20 0 1 0 61494622 134041600 18327 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 32725 18327 2400 1147 0 20152 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 135092 KiB
Current children cumulated memory: 76252 KiB

[startup+3.1137 s]
/proc/loadavg: 4.38 4.22 4.19 3/255 66712
/proc/meminfo: memFree=34291280/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=173020 memory=111624 CPUtime=3.03 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 19421 0 0 0 272 31 0 0 20 0 1 0 61494622 177172480 27906 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 43255 27906 2432 1147 0 30682 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 177212 KiB
Current children cumulated memory: 114568 KiB

[startup+6.30037 s]
/proc/loadavg: 4.38 4.22 4.19 4/254 66730
/proc/meminfo: memFree=34172556/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=233652 memory=174104 CPUtime=6.13 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 32011 0 0 0 567 46 0 0 20 0 1 0 61494622 239259648 43526 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 58413 43526 2432 1147 0 45840 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 237844 KiB
Current children cumulated memory: 177048 KiB

[startup+12.7003 s]
/proc/loadavg: 4.47 4.25 4.20 4/250 66756
/proc/meminfo: memFree=80868596/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=355176 memory=260616 CPUtime=12.51 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 49471 0 0 0 1193 58 0 0 20 0 1 0 61494622 363700224 65154 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 88794 65154 2432 1147 0 76221 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 359368 KiB
Current children cumulated memory: 263560 KiB

[startup+25.5004 s]
/proc/loadavg: 4.40 4.24 4.20 5/262 66796
/proc/meminfo: memFree=127885244/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=590548 memory=476176 CPUtime=25.27 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 91600 0 0 0 2447 80 0 0 20 0 1 0 61494622 604721152 119044 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 147637 119044 2432 1147 0 135064 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 594740 KiB
Current children cumulated memory: 479120 KiB

[startup+51.114 s]
/proc/loadavg: 4.33 4.23 4.20 5/262 66797
/proc/meminfo: memFree=126066916/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=760832 memory=617596 CPUtime=50.8 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 116278 0 0 0 4972 108 0 0 20 0 1 0 61494622 779091968 154399 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 190208 154399 2432 1147 0 177635 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 765024 KiB
Current children cumulated memory: 620540 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.26 4.20 5/260 66799
/proc/meminfo: memFree=123073072/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=1285252 memory=1072364 CPUtime=101.78 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 197769 0 0 0 10012 166 0 0 20 0 1 0 61494622 1316098048 268091 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 321313 268091 2432 1147 0 308740 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 1289444 KiB
Current children cumulated memory: 1075308 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/260 66804
/proc/meminfo: memFree=120927396/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=1308136 memory=1193360 CPUtime=161.58 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 213238 0 0 0 15953 205 0 0 20 0 1 0 61494622 1339531264 298340 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 327034 298340 2432 1147 0 314461 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 1312328 KiB
Current children cumulated memory: 1196304 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.22 4.19 5/260 66806
/proc/meminfo: memFree=119249572/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=1337508 memory=1225960 CPUtime=221.41 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 219436 0 0 0 21901 240 0 0 20 0 1 0 61494622 1369608192 306490 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 334377 306490 2432 1147 0 321804 0

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

[pid=66704] ppid=66702 vsize=4129124 memory=3933764 CPUtime=3092.46 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 625490 0 0 0 308094 1152 0 0 20 0 1 0 61494622 4228222976 983441 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1032281 983441 2432 1147 0 1019708 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 4133316 KiB
Current children cumulated memory: 3936708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 66969
/proc/meminfo: memFree=68249344/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4129124 memory=3933764 CPUtime=3152.28 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 625523 0 0 0 314063 1165 0 0 20 0 1 0 61494622 4228222976 983441 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1032281 983441 2432 1147 0 1019708 0
Current children cumulated CPU time: 3152.28 s
Current children cumulated vsize: 4133316 KiB
Current children cumulated memory: 3936708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 66971
/proc/meminfo: memFree=67658892/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4129124 memory=3933764 CPUtime=3212.1 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 626573 0 0 0 320035 1175 0 0 20 0 1 0 61494622 4228222976 983441 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1032281 983441 2432 1147 0 1019708 0
Current children cumulated CPU time: 3212.1 s
Current children cumulated vsize: 4133316 KiB
Current children cumulated memory: 3936708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/261 66978
/proc/meminfo: memFree=67040444/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4129124 memory=3953364 CPUtime=3271.92 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 627997 0 0 0 326007 1185 0 0 20 0 1 0 61494622 4228222976 988341 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1032281 988341 2432 1147 0 1019708 0
Current children cumulated CPU time: 3271.92 s
Current children cumulated vsize: 4133316 KiB
Current children cumulated memory: 3956308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.76 4.31 4.16 5/261 66980
/proc/meminfo: memFree=66384712/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4711248 memory=3988028 CPUtime=3331.73 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 631694 0 0 0 331971 1202 0 0 20 0 1 0 61494622 4824317952 997007 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1177812 997007 2432 1147 0 1165239 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 4715440 KiB
Current children cumulated memory: 3990972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.29 4.17 5/261 66982
/proc/meminfo: memFree=65698272/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4711248 memory=3988028 CPUtime=3391.55 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 632944 0 0 0 337939 1216 0 0 20 0 1 0 61494622 4824317952 997007 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1177812 997007 2432 1147 0 1165239 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 4715440 KiB
Current children cumulated memory: 3990972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.25 4.16 5/260 66985
/proc/meminfo: memFree=65090120/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4711248 memory=3988028 CPUtime=3451.37 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 632944 0 0 0 343909 1228 0 0 20 0 1 0 61494622 4824317952 997007 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1177812 997007 2432 1147 0 1165239 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 4715440 KiB
Current children cumulated memory: 3990972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.22 4.16 5/260 66987
/proc/meminfo: memFree=64469740/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4711248 memory=3988028 CPUtime=3511.18 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 634317 0 0 0 349878 1240 0 0 20 0 1 0 61494622 4824317952 997007 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1177812 997007 2432 1147 0 1165239 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 4715440 KiB
Current children cumulated memory: 3990972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.21 4.16 5/261 66990
/proc/meminfo: memFree=63776356/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4711248 memory=3988028 CPUtime=3570.99 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 634317 0 0 0 355847 1252 0 0 20 0 1 0 61494622 4824317952 997007 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1177812 997007 2432 1147 0 1165239 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 4715440 KiB
Current children cumulated memory: 3990972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.08 4.19 4.15 4/255 66999
/proc/meminfo: memFree=64917184/131382112 swapFree=33010416/33010684
[pid=66702] ppid=66699 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66702/stat : 66702 (run-opt-log.sh) S 66699 66702 66325 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 61494620 4292608 736 18446744073709551615 93923043409920 93923044304453 140732878430144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93923044543504 93923044591248 93923061014528 140732878432545 140732878432740 140732878432740 140732878438342 0
/proc/66702/statm: 1048 736 672 219 0 110 0
[pid=66704] ppid=66702 vsize=4711248 memory=3988028 CPUtime=3600 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66702 66702 66325 0 -1 4194304 634317 0 0 0 358741 1259 0 0 20 0 1 0 61494622 4824317952 997007 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 1177812 997007 2432 1147 0 1165239 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4715440 KiB
Current children cumulated memory: 3990972 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.001213 s, system=0.002359 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3587.53 s, system=12.6821 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.62 s]
/proc/loadavg: 4.08 4.19 4.15 4/254 66999
/proc/meminfo: memFree=64924740/131382112 swapFree=33010416/33010684
[pid=66704] ppid=66699 vsize=3307448 memory=1953972 CPUtime=3600.13 cores=1,3
/proc/66704/stat : 66704 (roundingsat) R 66699 66702 66325 0 -1 4194304 634328 0 0 0 358747 1266 0 0 20 0 1 0 61494622 3386826752 488493 18446744073709551615 4227072 8923433 140723378045680 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 34623488 140723378047314 140723378047528 140723378047528 140723378053098 0
/proc/66704/statm: 826862 488493 2528 1147 0 814289 0
Current cumulated CPU time of completed processes: 0.003572 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 3307448 KiB
Current children cumulated memory: 1953972 KiB

Child status: 2

Real time (s): 3611.69
CPU time (s): 3600.22
CPU user time (s): 3587.53
CPU system time (s): 12.6821
CPU usage (%): 99.6823
Max. virtual memory (cumulated for all children) (KiB): 4715440
Max. memory (cumulated for all children) (KiB): 3990972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.53
system time used= 12.6821
maximum resident set size= 3988412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29619280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2551
involuntary context switches= 5569


# summary of solver processes directly reported to runsolver:
#   pid: 66702,66704
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3587.53
#   total CPU system time (s): 12.6821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2057 second user time and 39.1209 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-02 14:09:12
IDJOB=4503929
IDBENCH=155611
IDSOLVER=3351
FILE ID=nodeC005/4503929-1751458152
RUNJOBID= nodeC005-1751454530-66337
SLURM_JOB_ID= 9598448
Free space on /tmp= 429396 MiB

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

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

MD5SUM BENCH= be26e98499835c00c9c49f7164ad1e60
RANDOM SEED=945312787

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        25806976 kB
MemAvailable:   117570460 kB
Buffers:            2128 kB
Cached:         92441936 kB
SwapCached:           24 kB
Active:         12613420 kB
Inactive:       91746168 kB
Active(anon):   11930296 kB
Inactive(anon):     3164 kB
Active(file):     683124 kB
Inactive(file): 91743004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20692 kB
Writeback:      11239776 kB
AnonPages:      11918644 kB
Mapped:           117816 kB
Shmem:             17936 kB
KReclaimable:     353964 kB
Slab:             847060 kB
SReclaimable:     353964 kB
SUnreclaim:       493096 kB
KernelStack:        4144 kB
PageTables:        29764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   14482856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3753984 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429456 MiB
End job on nodeC005 at 2025-07-02 15:09:24