Trace number 4504020

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.1 3611.18

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
MD5SUMf09254b7fcacaa5196265d97bb7e429a
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 benchmark5675101
Best CPU time to get the best result obtained on this benchmark1612.08
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 153990656
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 153911476473
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 153990656
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 153911476473
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.39/0.46	c #variables 14620 #constraints 36135
0.39/0.46	c objective is ce32 
0.58/0.66	c initial watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
0.58/0.66	c initial counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
0.58/0.66	c GLOBAL bounds - >= -85 @ 0.452784
1.66/1.74	c GLOBAL bounds - >= -85 @ 1.50792
1.66/1.77	c GLOBAL bounds - >= -85 @ 1.53773
1.75/1.80	c GLOBAL bounds - >= -85 @ 1.55593
1.75/1.82	c GLOBAL bounds - >= -85 @ 1.57181
1.75/1.85	c GLOBAL bounds - >= -85 @ 1.59865
1.75/1.88	c GLOBAL bounds - >= -85 @ 1.62558
1.86/1.91	c GLOBAL bounds - >= -85 @ 1.65447
1.86/1.93	c GLOBAL bounds - >= -85 @ 1.67302
1.86/1.97	c GLOBAL bounds - >= -85 @ 1.70336
1.86/2.00	c GLOBAL bounds - >= -85 @ 1.7228
1.97/2.04	c GLOBAL bounds - >= -85 @ 1.75727
1.97/2.08	c GLOBAL bounds - >= -85 @ 1.79298
2.07/2.12	c GLOBAL bounds - >= -85 @ 1.83485
2.15/2.23	c GLOBAL bounds - >= -85 @ 1.92957
2.25/2.31	c GLOBAL bounds - >= -85 @ 2.01149
2.76/2.82	c GLOBAL bounds - >= -85 @ 2.4999
3.36/3.40	c GLOBAL bounds - >= -85 @ 3.06113
4.06/4.13	c GLOBAL bounds - >= -85 @ 3.77678
5.15/5.27	c GLOBAL bounds - >= -85 @ 4.88905
5.85/5.94	c GLOBAL bounds - >= -85 @ 5.55563
6.14/6.26	c GLOBAL bounds - >= -85 @ 5.86933
6.64/6.78	c GLOBAL bounds - >= -85 @ 6.37093
7.06/7.16	c GLOBAL bounds - >= -85 @ 6.73794
7.64/7.70	c GLOBAL bounds - >= -85 @ 7.27339
7.84/7.99	c GLOBAL bounds - >= -85 @ 7.54363
8.54/8.67	c GLOBAL bounds - >= -85 @ 8.21048
8.95/9.11	c #Conflicts:       1000 | #Constraints:     125427
8.95/9.11	c GLOBAL bounds - >= -85 @ 8.6455
9.14/9.29	c GLOBAL bounds - >= -85 @ 8.8192
9.34/9.44	c GLOBAL bounds - >= -85 @ 8.96404
9.83/9.99	c GLOBAL bounds - >= -85 @ 9.49926
10.94/11.08	c GLOBAL bounds - >= -85 @ 10.5793
11.33/11.40	c GLOBAL bounds - >= -85 @ 10.8919
11.43/11.56	c GLOBAL bounds - >= -85 @ 11.0491
11.83/11.94	c GLOBAL bounds - >= -85 @ 11.4222
13.63/13.74	c GLOBAL bounds - >= -85 @ 13.1874
16.72/16.86	c GLOBAL bounds - >= -85 @ 16.2689
18.71/18.89	c GLOBAL bounds - >= -85 @ 18.2806
19.03/19.11	c GLOBAL bounds - >= -85 @ 18.497
21.11/21.27	c GLOBAL bounds - >= -85 @ 20.6309
24.09/24.25	c GLOBAL bounds - >= -85 @ 23.5788
24.29/24.48	c GLOBAL bounds - >= -85 @ 23.8042
26.39/26.57	c #Conflicts:       2000 | #Constraints:     190547
26.39/26.57	c INPROCESSING
26.39/26.57	c GARBAGE COLLECT
26.39/26.57	c GLOBAL bounds - >= -85 @ 25.8729
30.28/30.48	c GLOBAL bounds - >= -85 @ 29.7422
34.37/34.53	c GLOBAL bounds - >= -85 @ 33.7696
37.25/37.41	c GLOBAL bounds - >= -85 @ 36.621
48.82/49.06	c #Conflicts:       3000 | #Constraints:     207938
48.82/49.06	c GLOBAL bounds - >= -85 @ 48.139
49.11/49.33	c GLOBAL bounds - >= -85 @ 48.4109
49.92/50.12	c GLOBAL bounds - >= -85 @ 49.1828
55.29/55.58	c GLOBAL bounds - >= -85 @ 54.5923
61.78/62.10	c GLOBAL bounds - >= -85 @ 61.0447
64.17/64.41	c GLOBAL bounds - >= -85 @ 63.331
71.85/72.15	c #Conflicts:       4000 | #Constraints:     235250
71.85/72.15	c INPROCESSING
71.85/72.15	c GARBAGE COLLECT
71.85/72.15	c GLOBAL bounds - >= -85 @ 71.0107
79.51/79.83	c GLOBAL bounds - >= -85 @ 78.6465
83.39/83.71	c GLOBAL bounds - >= -85 @ 82.4971
91.69/92.02	c #Conflicts:       5000 | #Constraints:     247866
91.69/92.02	c GLOBAL bounds - >= -85 @ 90.7675
93.77/94.14	c GLOBAL bounds - >= -85 @ 92.8699
99.75/100.17	c GLOBAL bounds - >= -85 @ 98.8752
100.34/100.72	c GLOBAL bounds - >= -85 @ 99.4213
100.75/101.15	c GLOBAL bounds - >= -85 @ 99.8423
101.44/101.86	c GLOBAL bounds - >= -85 @ 100.542
139.12/139.65	c #Conflicts:       6000 | #Constraints:     275414
139.12/139.65	c INPROCESSING
139.12/139.65	c GARBAGE COLLECT
139.12/139.65	c GLOBAL bounds - >= -85 @ 138.1
160.04/160.61	c #Conflicts:       7000 | #Constraints:     278860
160.04/160.61	c GLOBAL bounds - >= -85 @ 158.975
164.03/164.62	c GLOBAL bounds - >= -85 @ 162.96
167.43/168.08	c #Conflicts:       8000 | #Constraints:     288736
167.43/168.08	c GLOBAL bounds - >= -85 @ 166.404
197.51/198.24	c GLOBAL bounds - >= -85 @ 196.304
222.94/223.77	c #Conflicts:       9000 | #Constraints:     298648
222.94/223.77	c INPROCESSING
222.94/223.77	c GARBAGE COLLECT
222.94/223.77	c GLOBAL bounds - >= -85 @ 221.695
223.43/224.25	c GLOBAL bounds - >= -85 @ 222.169
228.23/229.05	c #Conflicts:      10000 | #Constraints:     306267
228.23/229.05	c GLOBAL bounds - >= -85 @ 226.95
229.40/230.24	c GLOBAL bounds - >= -85 @ 228.126
230.70/231.56	c GLOBAL bounds - >= -85 @ 229.433
256.02/256.97	c GLOBAL bounds - >= -85 @ 254.732
262.00/262.95	c #Conflicts:      11000 | #Constraints:     325303
262.00/262.95	c GLOBAL bounds - >= -85 @ 260.681
265.59/266.51	c GLOBAL bounds - >= -85 @ 264.218
276.55/277.58	c GLOBAL bounds - >= -85 @ 275.229
278.94/280.01	c GLOBAL bounds - >= -85 @ 277.642
280.44/281.40	c GLOBAL bounds - >= -85 @ 279.019
287.21/288.27	c GLOBAL bounds - >= -85 @ 285.838
289.50/290.59	c GLOBAL bounds - >= -85 @ 288.133
310.62/311.79	c #Conflicts:      12000 | #Constraints:     358109
310.62/311.79	c INPROCESSING
310.62/311.79	c GARBAGE COLLECT
310.62/311.79	c GLOBAL bounds - >= -85 @ 309.215
313.72/314.81	c GLOBAL bounds - >= -85 @ 312.22
324.00/325.13	c #Conflicts:      13000 | #Constraints:     365666
324.00/325.13	c GLOBAL bounds - >= -85 @ 322.499
324.68/325.88	c GLOBAL bounds - >= -85 @ 323.24
326.57/327.72	c GLOBAL bounds - >= -85 @ 325.068
360.77/362.04	c #Conflicts:      14000 | #Constraints:     380340
360.77/362.04	c GLOBAL bounds - >= -85 @ 359.25
429.52/431.03	c #Conflicts:      15000 | #Constraints:     385910
429.52/431.03	c INPROCESSING
429.52/431.03	c GARBAGE COLLECT
429.52/431.03	c #Conflicts:      16000 | #Constraints:     384139
429.52/431.03	c GLOBAL bounds - >= -85 @ 427.903
453.14/454.79	c #Conflicts:      17000 | #Constraints:     389709
453.14/454.79	c GLOBAL bounds - >= -85 @ 451.569
453.73/455.36	c GLOBAL bounds - >= -85 @ 452.132
455.23/456.85	c GLOBAL bounds - >= -85 @ 453.618
458.82/460.47	c GLOBAL bounds - >= -85 @ 457.21
468.18/469.84	c GLOBAL bounds - >= -85 @ 466.536
473.96/475.64	c GLOBAL bounds - >= -85 @ 472.302
479.36/481.02	c GLOBAL bounds - >= -85 @ 477.652
504.06/505.85	c #Conflicts:      18000 | #Constraints:     422843
504.06/505.85	c INPROCESSING
504.06/505.85	c GARBAGE COLLECT
504.06/505.85	c GLOBAL bounds - >= -85 @ 502.354
979.62/982.92	c #Conflicts:      19000 | #Constraints:     425484
979.62/982.92	c #Conflicts:      20000 | #Constraints:     426484
979.62/982.92	c #Conflicts:      21000 | #Constraints:     427484
979.62/982.92	c INPROCESSING
979.62/982.92	c GARBAGE COLLECT
979.62/982.92	c #Conflicts:      22000 | #Constraints:     425293
979.62/982.92	c #Conflicts:      23000 | #Constraints:     426293
979.62/982.92	c #Conflicts:      24000 | #Constraints:     427293
979.62/982.92	c #Conflicts:      25000 | #Constraints:     428293
979.62/982.92	c INPROCESSING
979.62/982.92	c GARBAGE COLLECT
979.62/982.92	c #Conflicts:      26000 | #Constraints:     425897
979.62/982.92	c #Conflicts:      27000 | #Constraints:     426897
979.62/982.92	c #Conflicts:      28000 | #Constraints:     427897
979.62/982.92	c #Conflicts:      29000 | #Constraints:     428897
979.62/982.92	c INPROCESSING
979.62/982.92	c GARBAGE COLLECT
979.62/982.92	c #Conflicts:      30000 | #Constraints:     426296
979.62/982.92	c #Conflicts:      31000 | #Constraints:     427296
979.62/982.92	c #Conflicts:      32000 | #Constraints:     428296
979.62/982.92	c GLOBAL bounds - >= -85 @ 977.561
1063.96/1067.57	c #Conflicts:      33000 | #Constraints:     433918
1063.96/1067.57	c INPROCESSING
1063.96/1067.57	c GARBAGE COLLECT
1063.96/1067.57	c #Conflicts:      34000 | #Constraints:     431121
1063.96/1067.57	c GLOBAL bounds - >= -85 @ 1061.85
2420.90/2428.69	c #Conflicts:      35000 | #Constraints:     436743
2420.90/2428.69	c #Conflicts:      36000 | #Constraints:     437743
2420.90/2428.69	c #Conflicts:      37000 | #Constraints:     438743
2420.90/2428.69	c INPROCESSING
2420.90/2428.69	c GARBAGE COLLECT
2420.90/2428.69	c #Conflicts:      38000 | #Constraints:     435754
2420.90/2428.69	c #Conflicts:      39000 | #Constraints:     436754
2420.90/2428.69	c #Conflicts:      40000 | #Constraints:     437754
2420.90/2428.69	c #Conflicts:      41000 | #Constraints:     438754
2420.90/2428.69	c INPROCESSING
2420.90/2428.69	c GARBAGE COLLECT
2420.90/2428.69	c #Conflicts:      42000 | #Constraints:     435547
2420.90/2428.69	c #Conflicts:      43000 | #Constraints:     436547
2420.90/2428.69	c #Conflicts:      44000 | #Constraints:     437547
2420.90/2428.69	c #Conflicts:      45000 | #Constraints:     438547
2420.90/2428.69	c #Conflicts:      46000 | #Constraints:     439547
2420.90/2428.69	c INPROCESSING
2420.90/2428.69	c GARBAGE COLLECT
2420.90/2428.69	c #Conflicts:      47000 | #Constraints:     436140
2420.90/2428.69	c #Conflicts:      48000 | #Constraints:     437140
2420.90/2428.69	c #Conflicts:      49000 | #Constraints:     438140
2420.90/2428.69	c #Conflicts:      50000 | #Constraints:     439140
2420.90/2428.69	c #Conflicts:      51000 | #Constraints:     440140
2420.90/2428.69	c INPROCESSING
2420.90/2428.69	c GARBAGE COLLECT
2420.90/2428.69	c #Conflicts:      52000 | #Constraints:     436546
2420.90/2428.69	c #Conflicts:      53000 | #Constraints:     437546
2420.90/2428.69	c #Conflicts:      54000 | #Constraints:     438546
2420.90/2428.69	c #Conflicts:      55000 | #Constraints:     439546
2420.90/2428.69	c #Conflicts:      56000 | #Constraints:     440546
2420.90/2428.69	c INPROCESSING
2420.90/2428.69	c GARBAGE COLLECT
2420.90/2428.69	c #Conflicts:      57000 | #Constraints:     436748
2420.90/2428.69	c #Conflicts:      58000 | #Constraints:     437748
2420.90/2428.69	c #Conflicts:      59000 | #Constraints:     438748
2420.90/2428.69	c #Conflicts:      60000 | #Constraints:     439748
2420.90/2428.69	c #Conflicts:      61000 | #Constraints:     440748
2420.90/2428.69	c INPROCESSING
2420.90/2428.69	c GARBAGE COLLECT
2420.90/2428.69	c #Conflicts:      62000 | #Constraints:     436754
2420.90/2428.69	c GLOBAL bounds - >= -85 @ 2418.08
3308.86/3319.16	c #Conflicts:      63000 | #Constraints:     442376
3308.86/3319.16	c #Conflicts:      64000 | #Constraints:     443376
3308.86/3319.16	c #Conflicts:      65000 | #Constraints:     444376
3308.86/3319.16	c #Conflicts:      66000 | #Constraints:     445376
3308.86/3319.16	c INPROCESSING
3308.86/3319.16	c GARBAGE COLLECT
3308.86/3319.16	c #Conflicts:      67000 | #Constraints:     441167
3308.86/3319.16	c #Conflicts:      68000 | #Constraints:     442167
3308.86/3319.16	c #Conflicts:      69000 | #Constraints:     443167
3308.86/3319.16	c #Conflicts:      70000 | #Constraints:     444167
3308.86/3319.16	c #Conflicts:      71000 | #Constraints:     445167
3308.86/3319.16	c #Conflicts:      72000 | #Constraints:     446167
3308.86/3319.16	c INPROCESSING
3308.86/3319.16	c GARBAGE COLLECT
3308.86/3319.16	c #Conflicts:      73000 | #Constraints:     441759
3308.86/3319.16	c #Conflicts:      74000 | #Constraints:     442759
3308.86/3319.16	c #Conflicts:      75000 | #Constraints:     443759
3308.86/3319.16	c #Conflicts:      76000 | #Constraints:     444759
3308.86/3319.16	c #Conflicts:      77000 | #Constraints:     445759
3308.86/3319.16	c GLOBAL bounds - >= -85 @ 3305.75
3600.02/3611.14	c #Conflicts:      78000 | #Constraints:     451401
3600.02/3611.14	c INPROCESSING
3600.02/3611.14	c GARBAGE COLLECT
3600.02/3611.14	c #Conflicts:      79000 | #Constraints:     446805
3600.02/3611.14	c #Conflicts:      80000 | #Constraints:     447805
3600.02/3611.14	c #Conflicts:      81000 | #Constraints:     448805
3600.02/3611.14	c #Conflicts:      82000 | #Constraints:     449805
3600.02/3611.14	c #Conflicts:      83000 | #Constraints:     450805
3600.02/3611.14	c cpu time 3596.83 s
3600.02/3611.14	c deterministic time 191 1.91e+02
3600.02/3611.14	c optimization time 3596.49 s
3600.02/3611.14	c total solve time 0 s
3600.02/3611.14	c core-guided solve time 0 s
3600.02/3611.14	c propagation time 0.031849 s
3600.02/3611.14	c conflict analysis time 0 s
3600.02/3611.14	c propagations 170
3600.02/3611.14	c resolve steps 0
3600.02/3611.14	c decisions 0
3600.02/3611.14	c conflicts 0
3600.02/3611.14	c restarts 0
3600.02/3611.14	c inprocessing phases 0
3600.02/3611.14	c garbage collections 0 ,( -nan )
3600.02/3611.14	c input clauses 32301 ,( 89.39 )
3600.02/3611.14	c input cardinalities 9 ,( 0.02 )
3600.02/3611.14	c input general constraints 3825 ,( 10.59 )
3600.02/3611.14	c input average constraint length 3.60
3600.02/3611.14	c input average constraint degree 1.71
3600.02/3611.14	c learned clauses 0 ,( 0.00 )
3600.02/3611.14	c learned cardinalities 0 ,( 0.00 )
3600.02/3611.14	c learned general constraints 0 ,( 0.00 )
3600.02/3611.14	c learned average constraint length 0.00
3600.02/3611.14	c learned average constraint degree 0.00
3600.02/3611.14	c watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
3600.02/3611.14	c counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
3600.02/3611.14	c watched   constraints 85 ,( 2.22 ) 
3600.02/3611.14	c counting  constraints 3740 ,( 97.78 ) 
3600.02/3611.14	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 8 ,( 8 , 0 )
3600.02/3611.14	c gcd simplifications 0
3600.02/3611.14	c detected cardinalities 0
3600.02/3611.14	c weakened non-implied lits 0
3600.02/3611.14	c weakened non-implying lits 0
3600.02/3611.14	c original variables 14620
3600.02/3611.14	c clausal propagations 0
3600.02/3611.14	c cardinality propagations 0
3600.02/3611.14	c watched propagations 0
3600.02/3611.14	c counting propagations 0
3600.02/3611.14	c watch lookups 10
3600.02/3611.14	c watch backjump lookups 0
3600.02/3611.14	c watch checks 10
3600.02/3611.14	c propagation checks 0
3600.02/3611.14	c constraint additions 0
3600.02/3611.14	c trail pops 0
3600.02/3611.14	c formula constraints 36135
3600.02/3611.14	c learned constraints 0
3600.02/3611.14	c bound constraints 0
3600.02/3611.14	c core-guided constraints 0
3600.02/3611.14	c encountered formula constraints 0
3600.02/3611.14	c encountered learned constraints 0
3600.02/3611.14	c encountered bound constraints 0
3600.02/3611.14	c encountered core-guided constraints 0
3600.02/3611.14	c LP total time 0 s
3600.02/3611.14	c LP solve time 0 s
3600.02/3611.14	c LP constraints added 0
3600.02/3611.14	c LP constraints removed 0
3600.02/3611.14	c LP pivots internal 0
3600.02/3611.14	c LP pivots root 0
3600.02/3611.14	c LP calls 0
3600.02/3611.14	c LP optimalities 0
3600.02/3611.14	c LP no pivot count 0
3600.02/3611.14	c LP infeasibilities 0
3600.02/3611.14	c LP valid Farkas constraints 0
3600.02/3611.14	c LP learned Farkas constraints 0
3600.02/3611.14	c LP basis resets 0
3600.02/3611.14	c LP cycling count 0
3600.02/3611.14	c LP singular count 0
3600.02/3611.14	c LP no primal count 0
3600.02/3611.14	c LP no farkas count 0
3600.02/3611.14	c LP other issue count 0
3600.02/3611.14	c LP Gomory cuts 0
3600.02/3611.14	c LP learned cuts 0
3600.02/3611.14	c LP deleted cuts 0
3600.02/3611.14	c LP encountered Gomory constraints 0
3600.02/3611.14	c LP encountered Farkas constraints 0
3600.02/3611.14	c LP encountered learned Farkas constraints 0
3600.02/3611.14	c CG auxiliary variables introduced 0
3600.02/3611.14	c CG solutions found 0
3600.02/3611.14	c CG cores constructed 0
3600.02/3611.14	c CG core cardinality constraints returned 0
3600.02/3611.14	c CG unit cores 0
3600.02/3611.14	c CG single cores 0
3600.02/3611.14	c CG blocks removed during cardinality reduction 0
3600.02/3611.14	c CG first core best 0
3600.02/3611.14	c CG decision core best 0
3600.02/3611.14	c CG core reduction tie 0
3600.02/3611.14	c CG core degree average 0.00
3600.02/3611.14	c CG core slack average 0.00
3600.02/3611.14	c CG core upper bound improvements 0
3600.02/3611.14	c STR number of successful calls 0
3600.02/3611.14	c STR number of unsuccessful calls 0
3600.02/3611.14	c STR number of inconclusive calls 0
3600.02/3611.14	c STR number of successful attempts 0
3600.02/3611.14	c STR number of unsuccessful attempts 0
3600.02/3611.14	c STR number of inconclusive attempts 0
3600.02/3611.14	c STR average degree increase per successful call inf
3600.02/3611.14	c STR average degree increase per successful attempt inf
3600.02/3611.14	c STR total number of conflicts for successful attempts 0
3600.02/3611.14	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3611.14	c STR total number of conflicts for inconclusive attempts 0
3600.02/3611.14	c STR average number of conflicts per successful attempt inf
3600.02/3611.14	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3611.14	c STR average number of conflicts per inconclusive attempt inf
3600.02/3611.14	c AVG.sumWPerc 60.55 
3600.02/3611.14	c bigint constraints 0 
3600.02/3611.14	s UNKNOWN
3600.02/3611.14	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 (58215 MiB free)
  memory of node 1: 64465 MiB (63198 MiB free)
  node distances:
     10  21
     21  10

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

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61036, runsolver pid=61028

[startup+0.100097 s]*
/proc/loadavg: 4.18 4.15 4.16 6/248 61041
/proc/meminfo: memFree=124313912/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=58936 memory=13912 CPUtime=0.08 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 1825 0 0 0 7 1 0 0 20 0 1 0 60431980 60350464 3478 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 14734 3478 1888 1147 0 2161 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63128 KiB
Current children cumulated memory: 16856 KiB

[startup+0.213843 s]*
/proc/loadavg: 4.18 4.15 4.16 5/254 61051
/proc/meminfo: memFree=124312684/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=60288 memory=15192 CPUtime=0.19 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 2154 0 0 0 14 5 0 0 20 0 1 0 60431980 61734912 3798 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 15072 3798 1888 1147 0 2499 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64480 KiB
Current children cumulated memory: 18136 KiB

[startup+0.313892 s]*
/proc/loadavg: 4.18 4.15 4.16 6/254 61051
/proc/meminfo: memFree=124303612/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=70924 memory=26464 CPUtime=0.3 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 5095 0 0 0 22 8 0 0 20 0 1 0 60431980 72626176 6616 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 17731 6616 2240 1147 0 5158 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75116 KiB
Current children cumulated memory: 29408 KiB

[startup+0.700404 s]
/proc/loadavg: 4.18 4.15 4.16 6/254 61051
/proc/meminfo: memFree=124193724/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=129128 memory=70732 CPUtime=0.67 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 12794 0 0 0 48 19 0 0 20 0 1 0 60431980 132227072 17683 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 32282 17683 2336 1147 0 19709 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 73676 KiB

[startup+1.50036 s]
/proc/loadavg: 4.18 4.15 4.16 6/254 61051
/proc/meminfo: memFree=124122212/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=129128 memory=72396 CPUtime=1.46 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 13226 0 0 0 127 19 0 0 20 0 1 0 60431980 132227072 18099 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 32282 18099 2336 1147 0 19709 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 75340 KiB

[startup+3.11354 s]
/proc/loadavg: 4.17 4.15 4.16 5/251 61071
/proc/meminfo: memFree=127713196/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=198904 memory=133744 CPUtime=3.07 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 23957 0 0 0 278 29 0 0 20 0 1 0 60431980 203677696 33436 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 49726 33436 2336 1147 0 37153 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 203096 KiB
Current children cumulated memory: 136688 KiB

[startup+6.30038 s]
/proc/loadavg: 4.17 4.15 4.16 5/254 61097
/proc/meminfo: memFree=127378516/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=268740 memory=209120 CPUtime=6.24 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 37206 0 0 0 590 34 0 0 20 0 1 0 60431980 275189760 52280 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 67185 52280 2336 1147 0 54612 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 272932 KiB
Current children cumulated memory: 212064 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.14 4.16 6/254 61097
/proc/meminfo: memFree=126809636/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=457888 memory=350664 CPUtime=12.63 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 63891 0 0 0 1217 46 0 0 20 0 1 0 60431980 468877312 87666 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 114472 87666 2336 1147 0 101899 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 462080 KiB
Current children cumulated memory: 353608 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.15 6/254 61097
/proc/meminfo: memFree=125984444/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=708584 memory=562544 CPUtime=25.39 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 103585 0 0 0 2481 58 0 0 20 0 1 0 60431980 725590016 140636 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 177146 140636 2336 1147 0 164573 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 712776 KiB
Current children cumulated memory: 565488 KiB

[startup+51.1143 s]
/proc/loadavg: 4.08 4.12 4.15 6/254 61099
/proc/meminfo: memFree=125047440/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=953972 memory=777964 CPUtime=50.92 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 147724 0 0 0 5016 76 0 0 20 0 1 0 60431980 976867328 194491 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 238493 194491 2336 1147 0 225920 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 958164 KiB
Current children cumulated memory: 780908 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.14 6/255 61102
/proc/meminfo: memFree=124373856/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=1185512 memory=956188 CPUtime=101.94 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 178551 0 0 0 10097 97 0 0 20 0 1 0 60431980 1213964288 239047 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 296378 239047 2336 1147 0 283805 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1189704 KiB
Current children cumulated memory: 959132 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.14 6/255 61104
/proc/meminfo: memFree=123655296/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=1227716 memory=1116568 CPUtime=161.74 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 200758 0 0 0 16065 109 0 0 20 0 1 0 60431980 1257181184 279142 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 306929 279142 2336 1147 0 294356 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1231908 KiB
Current children cumulated memory: 1119512 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.14 6/255 61106
/proc/meminfo: memFree=122652532/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=1894680 memory=1438748 CPUtime=221.53 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 271157 0 0 0 22023 130 0 0 20 0 1 0 60431980 1940152320 359687 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 473670 359687 2336 1147 0 461097 0

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

/proc/61040/statm: 957643 922103 2336 1147 0 945070 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 3834764 KiB
Current children cumulated memory: 3691356 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/253 61272
/proc/meminfo: memFree=114775948/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3830572 memory=3688412 CPUtime=3152.5 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 574783 0 0 0 314939 311 0 0 20 0 1 0 60431980 3922505728 922103 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 957643 922103 2336 1147 0 945070 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 3834764 KiB
Current children cumulated memory: 3691356 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/253 61274
/proc/meminfo: memFree=114733288/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3830572 memory=3688412 CPUtime=3212.33 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 576268 0 0 0 320920 313 0 0 20 0 1 0 60431980 3922505728 922103 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 957643 922103 2336 1147 0 945070 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 3834764 KiB
Current children cumulated memory: 3691356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/253 61276
/proc/meminfo: memFree=114696696/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3830572 memory=3688412 CPUtime=3272.16 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 576303 0 0 0 326902 314 0 0 20 0 1 0 60431980 3922505728 922103 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 957643 922103 2336 1147 0 945070 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 3834764 KiB
Current children cumulated memory: 3691356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/254 61280
/proc/meminfo: memFree=114646180/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3740712 CPUtime=3331.98 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 580088 0 0 0 332881 317 0 0 20 0 1 0 60431980 3939893248 935178 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935178 2336 1147 0 949315 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3743656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/254 61282
/proc/meminfo: memFree=114626504/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3740712 CPUtime=3391.8 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 580824 0 0 0 338862 318 0 0 20 0 1 0 60431980 3939893248 935178 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935178 2336 1147 0 949315 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3743656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/255 61290
/proc/meminfo: memFree=114432776/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3740712 CPUtime=3451.63 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 580861 0 0 0 344844 319 0 0 20 0 1 0 60431980 3939893248 935178 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935178 2336 1147 0 949315 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3743656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/255 61294
/proc/meminfo: memFree=114443148/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3740712 CPUtime=3511.46 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 582388 0 0 0 350825 321 0 0 20 0 1 0 60431980 3939893248 935178 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935178 2336 1147 0 949315 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3743656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/255 61296
/proc/meminfo: memFree=114440436/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3741608 CPUtime=3571.29 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 582861 0 0 0 356807 322 0 0 20 0 1 0 60431980 3939893248 935402 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935402 2336 1147 0 949315 0
Current children cumulated CPU time: 3571.29 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3744552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 61306
/proc/meminfo: memFree=117786388/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3741736 CPUtime=3600.02 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 582891 0 0 0 359679 323 0 0 20 0 1 0 60431980 3939893248 935434 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935434 2336 1147 0 949315 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3744680 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3596.86 s, system=3.24769 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.11 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 61306
/proc/meminfo: memFree=117786388/131382120 swapFree=33010684/33010684
[pid=61036] ppid=61028 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/61036/stat : 61036 (run-opt.sh) S 61028 61036 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60431979 4292608 736 18446744073709551615 94384660193280 94384661087813 140735715485984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94384661326864 94384661374608 94384674516992 140735715490157 140735715490280 140735715490280 140735715495882 0
/proc/61036/statm: 1048 736 672 219 0 110 0
[pid=61040] ppid=61036 vsize=3847552 memory=3741736 CPUtime=3600.02 cores=1,3
/proc/61040/stat : 61040 (roundingsat) R 61036 61036 60299 0 -1 4194304 582891 0 0 0 359679 323 0 0 20 0 1 0 60431980 3939893248 935434 18446744073709551615 4227072 8923433 140729186549856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13860864 140729186552226 140729186552360 140729186552360 140729186557930 0
/proc/61040/statm: 961888 935434 2336 1147 0 949315 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3851744 KiB
Current children cumulated memory: 3744680 KiB

Child status: 2

Real time (s): 3611.18
CPU time (s): 3600.1
CPU user time (s): 3596.86
CPU system time (s): 3.24769
CPU usage (%): 99.6932
Max. virtual memory (cumulated for all children) (KiB): 3851744
Max. memory (cumulated for all children) (KiB): 3744680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.86
system time used= 3.24769
maximum resident set size= 3742248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583131
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= 313
involuntary context switches= 2095


# summary of solver processes directly reported to runsolver:
#   pid: 61036,61040
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.86
#   total CPU system time (s): 3.24769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4417 second user time and 38.3666 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-02 11:12:13
IDJOB=4504020
IDBENCH=155626
IDSOLVER=3350
FILE ID=nodeC003/4504020-1751447533
RUNJOBID= nodeC003-1751440305-60311
SLURM_JOB_ID= 9598398
Free space on /tmp= 432000 MiB

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

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

MD5SUM BENCH= f09254b7fcacaa5196265d97bb7e429a
RANDOM SEED=516816336

nodeC003 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		: 3660.530
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.44
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.091
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.44
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.284
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.44
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		: 1197.166
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.44
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		: 1197.615
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.44
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		: 3492.663
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.44
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.145
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.44
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.164
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124312856 kB
MemAvailable:   126199208 kB
Buffers:            3280 kB
Cached:          2685260 kB
SwapCached:            0 kB
Active:          4039220 kB
Inactive:        2431700 kB
Active(anon):    3800380 kB
Inactive(anon):        0 kB
Active(file):     238840 kB
Inactive(file):  2431700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16796 kB
Writeback:            44 kB
AnonPages:       3785452 kB
Mapped:           109412 kB
Shmem:             17960 kB
KReclaimable:     110880 kB
Slab:             196444 kB
SReclaimable:     110880 kB
SUnreclaim:        85564 kB
KernelStack:        3968 kB
PageTables:        11052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    5061300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431984 MiB
End job on nodeC003 at 2025-07-02 12:12:24