Trace number 4509286

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) 3601.06 3610.87

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
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 benchmark126
Best CPU time to get the best result obtained on this benchmark86.2078
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.29/0.33	c #variables 175232 #constraints 2994
0.29/0.33	c objective is ce32 
0.29/0.35	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.29/0.35	c initial counting CF 32, 64, 128, Arb: 259 , 0 , 0 , 0
0.29/0.35	c GLOBAL bounds - >= 0 @ 0.293614
0.49/0.52	c GLOBAL bounds - >= 0 @ 0.368093
0.59/0.68	c GLOBAL bounds - >= 126 @ 0.430337
216.40/217.01	c #Conflicts:       1000 | #Constraints:       3994
216.40/217.01	c #Conflicts:       2000 | #Constraints:       4994
216.40/217.01	c INPROCESSING
216.40/217.01	c GARBAGE COLLECT
216.40/217.01	c #Conflicts:       3000 | #Constraints:       5036
216.40/217.01	c #Conflicts:       4000 | #Constraints:       6037
216.40/217.01	c INPROCESSING
216.40/217.01	c GARBAGE COLLECT
216.40/217.01	c #Conflicts:       5000 | #Constraints:       5440
216.40/217.01	c #Conflicts:       6000 | #Constraints:       6441
216.40/217.01	c INPROCESSING
216.40/217.01	c GARBAGE COLLECT
216.40/217.01	c #Conflicts:       7000 | #Constraints:       5435
216.40/217.01	c #Conflicts:       8000 | #Constraints:       6435
216.40/217.01	c #Conflicts:       9000 | #Constraints:       7435
216.40/217.01	c INPROCESSING
216.40/217.01	c GARBAGE COLLECT
216.40/217.01	c #Conflicts:      10000 | #Constraints:       6127
216.40/217.01	c #Conflicts:      11000 | #Constraints:       7127
216.40/217.01	c #Conflicts:      12000 | #Constraints:       8127
216.40/217.01	c INPROCESSING
216.40/217.01	c GARBAGE COLLECT
216.40/217.01	c #Conflicts:      13000 | #Constraints:       6579
216.40/217.01	c #Conflicts:      14000 | #Constraints:       7579
216.40/217.01	c #Conflicts:      15000 | #Constraints:       8579
216.40/217.01	c INPROCESSING
216.40/217.01	c GARBAGE COLLECT
216.40/217.01	c rational objective 126
232.05/232.78	c #Conflicts:      16000 | #Constraints:       6840
232.05/232.78	c #Conflicts:      17000 | #Constraints:       7840
232.05/232.78	c #Conflicts:      18000 | #Constraints:       8840
232.05/232.78	c INPROCESSING
232.05/232.78	c GARBAGE COLLECT
232.05/232.78	c rational objective 126
701.36/703.27	c #Conflicts:      19000 | #Constraints:       6863
701.36/703.27	c #Conflicts:      20000 | #Constraints:       7863
701.36/703.27	c #Conflicts:      21000 | #Constraints:       8863
701.36/703.27	c INPROCESSING
701.36/703.27	c GARBAGE COLLECT
701.36/703.27	c #Conflicts:      22000 | #Constraints:       6647
701.36/703.27	c #Conflicts:      23000 | #Constraints:       7647
701.36/703.27	c #Conflicts:      24000 | #Constraints:       8647
701.36/703.27	c #Conflicts:      25000 | #Constraints:       9647
701.36/703.27	c INPROCESSING
701.36/703.27	c GARBAGE COLLECT
701.36/703.27	c #Conflicts:      26000 | #Constraints:       7243
701.36/703.27	c #Conflicts:      27000 | #Constraints:       8243
701.36/703.27	c #Conflicts:      28000 | #Constraints:       9243
701.36/703.27	c #Conflicts:      29000 | #Constraints:      10243
701.36/703.27	c INPROCESSING
701.36/703.27	c GARBAGE COLLECT
701.36/703.27	c #Conflicts:      30000 | #Constraints:       7635
701.36/703.27	c #Conflicts:      31000 | #Constraints:       8635
701.36/703.27	c #Conflicts:      32000 | #Constraints:       9635
701.36/703.27	c #Conflicts:      33000 | #Constraints:      10635
701.36/703.27	c INPROCESSING
701.36/703.27	c GARBAGE COLLECT
701.36/703.27	c rational objective 126
882.11/884.46	c #Conflicts:      34000 | #Constraints:       7847
882.11/884.46	c #Conflicts:      35000 | #Constraints:       8847
882.11/884.46	c #Conflicts:      36000 | #Constraints:       9847
882.11/884.46	c #Conflicts:      37000 | #Constraints:      10847
882.11/884.46	c INPROCESSING
882.11/884.46	c GARBAGE COLLECT
882.11/884.46	c #Conflicts:      38000 | #Constraints:       7840
882.11/884.46	c #Conflicts:      39000 | #Constraints:       8840
882.11/884.46	c #Conflicts:      40000 | #Constraints:       9840
882.11/884.46	c #Conflicts:      41000 | #Constraints:      10840
882.11/884.46	c INPROCESSING
882.11/884.46	c GARBAGE COLLECT
882.11/884.46	c #Conflicts:      42000 | #Constraints:       7648
882.11/884.46	c #Conflicts:      43000 | #Constraints:       8648
882.11/884.46	c #Conflicts:      44000 | #Constraints:       9648
882.11/884.46	c #Conflicts:      45000 | #Constraints:      10648
882.11/884.46	c #Conflicts:      46000 | #Constraints:      11648
882.11/884.46	c INPROCESSING
882.11/884.46	c GARBAGE COLLECT
882.11/884.46	c #Conflicts:      47000 | #Constraints:       8235
882.11/884.46	c #Conflicts:      48000 | #Constraints:       9235
882.11/884.46	c #Conflicts:      49000 | #Constraints:      10235
882.11/884.46	c #Conflicts:      50000 | #Constraints:      11235
882.11/884.46	c #Conflicts:      51000 | #Constraints:      12235
882.11/884.46	c INPROCESSING
882.11/884.46	c GARBAGE COLLECT
882.11/884.46	c rational objective 126
1353.26/1356.84	c #Conflicts:      52000 | #Constraints:       8661
1353.26/1356.84	c #Conflicts:      53000 | #Constraints:       9661
1353.26/1356.84	c #Conflicts:      54000 | #Constraints:      10661
1353.26/1356.84	c #Conflicts:      55000 | #Constraints:      11661
1353.26/1356.84	c #Conflicts:      56000 | #Constraints:      12661
1353.26/1356.84	c INPROCESSING
1353.26/1356.84	c GARBAGE COLLECT
1353.26/1356.84	c #Conflicts:      57000 | #Constraints:       8845
1353.26/1356.84	c #Conflicts:      58000 | #Constraints:       9845
1353.26/1356.84	c #Conflicts:      59000 | #Constraints:      10845
1353.26/1356.84	c #Conflicts:      60000 | #Constraints:      11846
1353.26/1356.84	c #Conflicts:      61000 | #Constraints:      12846
1353.26/1356.84	c INPROCESSING
1353.26/1356.84	c GARBAGE COLLECT
1353.26/1356.84	c #Conflicts:      62000 | #Constraints:       8830
1353.26/1356.84	c #Conflicts:      63000 | #Constraints:       9831
1353.26/1356.84	c #Conflicts:      64000 | #Constraints:      10833
1353.26/1356.84	c #Conflicts:      65000 | #Constraints:      11834
1353.26/1356.84	c #Conflicts:      66000 | #Constraints:      12834
1353.26/1356.84	c INPROCESSING
1353.26/1356.84	c GARBAGE COLLECT
1353.26/1356.84	c #Conflicts:      67000 | #Constraints:       8634
1353.26/1356.84	c #Conflicts:      68000 | #Constraints:       9634
1353.26/1356.84	c #Conflicts:      69000 | #Constraints:      10635
1353.26/1356.84	c #Conflicts:      70000 | #Constraints:      11635
1353.26/1356.84	c #Conflicts:      71000 | #Constraints:      12635
1353.26/1356.84	c #Conflicts:      72000 | #Constraints:      13635
1353.26/1356.84	c INPROCESSING
1353.26/1356.84	c GARBAGE COLLECT
1353.26/1356.84	c #Conflicts:      73000 | #Constraints:       9239
1353.26/1356.84	c #Conflicts:      74000 | #Constraints:      10239
1353.26/1356.84	c #Conflicts:      75000 | #Constraints:      11240
1353.26/1356.84	c #Conflicts:      76000 | #Constraints:      12240
1353.26/1356.84	c #Conflicts:      77000 | #Constraints:      13240
1353.26/1356.84	c #Conflicts:      78000 | #Constraints:      14240
1353.26/1356.84	c INPROCESSING
1353.26/1356.84	c GARBAGE COLLECT
1353.26/1356.84	c rational objective 126
1978.55/1983.71	c #Conflicts:      79000 | #Constraints:       9682
1978.55/1983.71	c #Conflicts:      80000 | #Constraints:      10683
1978.55/1983.71	c #Conflicts:      81000 | #Constraints:      11683
1978.55/1983.71	c #Conflicts:      82000 | #Constraints:      12683
1978.55/1983.71	c #Conflicts:      83000 | #Constraints:      13684
1978.55/1983.71	c #Conflicts:      84000 | #Constraints:      14685
1978.55/1983.71	c INPROCESSING
1978.55/1983.71	c GARBAGE COLLECT
1978.55/1983.71	c #Conflicts:      85000 | #Constraints:       9878
1978.55/1983.71	c #Conflicts:      86000 | #Constraints:      10878
1978.55/1983.71	c #Conflicts:      87000 | #Constraints:      11878
1978.55/1983.71	c #Conflicts:      88000 | #Constraints:      12878
1978.55/1983.71	c #Conflicts:      89000 | #Constraints:      13879
1978.55/1983.71	c #Conflicts:      90000 | #Constraints:      14879
1978.55/1983.71	c INPROCESSING
1978.55/1983.71	c GARBAGE COLLECT
1978.55/1983.71	c rational objective 126
2048.47/2053.84	c #Conflicts:      91000 | #Constraints:       9890
2048.47/2053.84	c #Conflicts:      92000 | #Constraints:      10891
2048.47/2053.84	c #Conflicts:      93000 | #Constraints:      11891
2048.47/2053.84	c #Conflicts:      94000 | #Constraints:      12892
2048.47/2053.84	c #Conflicts:      95000 | #Constraints:      13893
2048.47/2053.84	c #Conflicts:      96000 | #Constraints:      14893
2048.47/2053.84	c INPROCESSING
2048.47/2053.84	c GARBAGE COLLECT
2048.47/2053.84	c rational objective 126
2139.45/2145.02	c #Conflicts:      97000 | #Constraints:       9712
2139.45/2145.02	c #Conflicts:      98000 | #Constraints:      10713
2139.45/2145.02	c #Conflicts:      99000 | #Constraints:      11713
2139.45/2145.02	c #Conflicts:     100000 | #Constraints:      12713
2139.45/2145.02	c #Conflicts:     101000 | #Constraints:      13713
2139.45/2145.02	c #Conflicts:     102000 | #Constraints:      14713
2139.45/2145.02	c #Conflicts:     103000 | #Constraints:      15714
2139.45/2145.02	c INPROCESSING
2139.45/2145.02	c GARBAGE COLLECT
2139.45/2145.02	c rational objective 126
2394.88/2401.13	c #Conflicts:     104000 | #Constraints:      10293
2394.88/2401.13	c #Conflicts:     105000 | #Constraints:      11293
2394.88/2401.13	c #Conflicts:     106000 | #Constraints:      12293
2394.88/2401.13	c #Conflicts:     107000 | #Constraints:      13293
2394.88/2401.13	c #Conflicts:     108000 | #Constraints:      14293
2394.88/2401.13	c #Conflicts:     109000 | #Constraints:      15293
2394.88/2401.13	c #Conflicts:     110000 | #Constraints:      16293
2394.88/2401.13	c INPROCESSING
2394.88/2401.13	c GARBAGE COLLECT
2394.88/2401.13	c rational objective 126
2805.29/2812.75	c #Conflicts:     111000 | #Constraints:      10699
2805.29/2812.75	c #Conflicts:     112000 | #Constraints:      11699
2805.29/2812.75	c #Conflicts:     113000 | #Constraints:      12700
2805.29/2812.75	c #Conflicts:     114000 | #Constraints:      13701
2805.29/2812.75	c #Conflicts:     115000 | #Constraints:      14701
2805.29/2812.75	c #Conflicts:     116000 | #Constraints:      15701
2805.29/2812.75	c #Conflicts:     117000 | #Constraints:      16701
2805.29/2812.75	c INPROCESSING
2805.29/2812.75	c GARBAGE COLLECT
2805.29/2812.75	c rational objective 126
3227.53/3236.22	c #Conflicts:     118000 | #Constraints:      10908
3227.53/3236.22	c #Conflicts:     119000 | #Constraints:      11908
3227.53/3236.22	c #Conflicts:     120000 | #Constraints:      12908
3227.53/3236.22	c #Conflicts:     121000 | #Constraints:      13908
3227.53/3236.22	c #Conflicts:     122000 | #Constraints:      14908
3227.53/3236.22	c #Conflicts:     123000 | #Constraints:      15908
3227.53/3236.22	c #Conflicts:     124000 | #Constraints:      16908
3227.53/3236.22	c INPROCESSING
3227.53/3236.22	c GARBAGE COLLECT
3227.53/3236.22	c rational objective 126
3378.16/3387.31	c #Conflicts:     125000 | #Constraints:      10896
3378.16/3387.31	c #Conflicts:     126000 | #Constraints:      11896
3378.16/3387.31	c #Conflicts:     127000 | #Constraints:      12897
3378.16/3387.31	c #Conflicts:     128000 | #Constraints:      13898
3378.16/3387.31	c #Conflicts:     129000 | #Constraints:      14899
3378.16/3387.31	c #Conflicts:     130000 | #Constraints:      15899
3378.16/3387.31	c #Conflicts:     131000 | #Constraints:      16899
3378.16/3387.31	c INPROCESSING
3378.16/3387.31	c GARBAGE COLLECT
3378.16/3387.31	c rational objective 126
3470.28/3479.72	c #Conflicts:     132000 | #Constraints:      10701
3470.28/3479.72	c #Conflicts:     133000 | #Constraints:      11701
3470.28/3479.72	c #Conflicts:     134000 | #Constraints:      12701
3470.28/3479.72	c #Conflicts:     135000 | #Constraints:      13702
3470.28/3479.72	c #Conflicts:     136000 | #Constraints:      14702
3470.28/3479.72	c #Conflicts:     137000 | #Constraints:      15702
3470.28/3479.72	c #Conflicts:     138000 | #Constraints:      16703
3470.28/3479.72	c #Conflicts:     139000 | #Constraints:      17703
3470.28/3479.72	c INPROCESSING
3470.28/3479.72	c GARBAGE COLLECT
3470.28/3479.72	c rational objective 126
3600.09/3609.90	c #Conflicts:     140000 | #Constraints:      11305
3600.09/3609.90	c #Conflicts:     141000 | #Constraints:      12305
3600.09/3609.90	c #Conflicts:     142000 | #Constraints:      13305
3600.09/3609.90	c #Conflicts:     143000 | #Constraints:      14305
3600.09/3609.90	c #Conflicts:     144000 | #Constraints:      15305
3600.09/3609.90	c #Conflicts:     145000 | #Constraints:      16305
3600.09/3609.90	c #Conflicts:     146000 | #Constraints:      17305
3600.09/3609.90	c cpu time 3565.55 s
3600.09/3609.90	c deterministic time 292644431345 2.93e+11
3600.09/3609.90	c optimization time 125.166 s
3600.09/3609.90	c total solve time 3440.11 s
3600.09/3609.90	c core-guided solve time 0 s
3600.09/3609.90	c propagation time 2055.96 s
3600.09/3609.90	c conflict analysis time 860.959 s
3600.09/3609.90	c propagations 208503430
3600.09/3609.90	c resolve steps 645614
3600.09/3609.90	c decisions 29455786
3600.09/3609.90	c conflicts 146213
3600.09/3609.90	c restarts 381
3600.09/3609.90	c inprocessing phases 29
3600.09/3609.90	c garbage collections 29 ,( 100.00 )
3600.09/3609.90	c input clauses 1368 ,( 45.68 )
3600.09/3609.90	c input cardinalities 1368 ,( 45.68 )
3600.09/3609.90	c input general constraints 259 ,( 8.65 )
3600.09/3609.90	c input average constraint length 233.11
3600.09/3609.90	c input average constraint degree 49339.02
3600.09/3609.90	c learned clauses 2853 ,( 1.95 )
3600.09/3609.90	c learned cardinalities 296 ,( 0.20 )
3600.09/3609.90	c learned general constraints 143469 ,( 97.85 )
3600.09/3609.90	c learned average constraint length 18235.93
3600.09/3609.90	c learned average constraint degree 21812755033.00
3600.09/3609.90	c watched  CF 32, 64, 128, Arb: 50587 , 0 , 0 , 0
3600.09/3609.90	c counting CF 32, 64, 128, Arb: 93142 , 0 , 0 , 0
3600.09/3609.90	c watched   constraints 50587 ,( 35.20 ) 
3600.09/3609.90	c counting  constraints 93141 ,( 64.80 ) 
3600.09/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1806775 , 1339278 , 352850266 ,( 69889388 , 282960878 )
3600.09/3609.90	c gcd simplifications 2146
3600.09/3609.90	c detected cardinalities 6
3600.09/3609.90	c weakened non-implied lits 367112348
3600.09/3609.90	c weakened non-implying lits 388538
3600.09/3609.90	c original variables 175232
3600.09/3609.90	c clausal propagations 437301
3600.09/3609.90	c cardinality propagations 26083963
3600.09/3609.90	c watched propagations 1993471
3600.09/3609.90	c counting propagations 165455712
3600.09/3609.90	c watch lookups 18406951695
3600.09/3609.90	c watch backjump lookups 0
3600.09/3609.90	c watch checks 24631606975
3600.09/3609.90	c propagation checks 243048417625
3600.09/3609.90	c constraint additions 6081157491
3600.09/3609.90	c trail pops 238061539
3600.09/3609.90	c formula constraints 2994
3600.09/3609.90	c learned constraints 146178
3600.09/3609.90	c bound constraints 0
3600.09/3609.90	c core-guided constraints 0
3600.09/3609.90	c encountered formula constraints 468602
3600.09/3609.90	c encountered learned constraints 311485
3600.09/3609.90	c encountered bound constraints 0
3600.09/3609.90	c encountered core-guided constraints 0
3600.09/3609.90	c LP total time 854.932 s
3600.09/3609.90	c LP solve time 785.42 s
3600.09/3609.90	c LP constraints added 3373
3600.09/3609.90	c LP constraints removed 345
3600.09/3609.90	c LP pivots internal 153314
3600.09/3609.90	c LP pivots root 123489
3600.09/3609.90	c LP calls 55
3600.09/3609.90	c LP optimalities 13
3600.09/3609.90	c LP no pivot count 0
3600.09/3609.90	c LP infeasibilities 36
3600.09/3609.90	c LP valid Farkas constraints 35
3600.09/3609.90	c LP learned Farkas constraints 34
3600.09/3609.90	c LP basis resets 1
3600.09/3609.90	c LP cycling count 0
3600.09/3609.90	c LP singular count 0
3600.09/3609.90	c LP no primal count 0
3600.09/3609.90	c LP no farkas count 1
3600.09/3609.90	c LP other issue count 0
3600.09/3609.90	c LP Gomory cuts 371
3600.09/3609.90	c LP learned cuts 8
3600.09/3609.90	c LP deleted cuts 345
3600.09/3609.90	c LP encountered Gomory constraints 1
3600.09/3609.90	c LP encountered Farkas constraints 11105
3600.09/3609.90	c LP encountered learned Farkas constraints 600
3600.09/3609.90	c CG auxiliary variables introduced 1
3600.09/3609.90	c CG solutions found 0
3600.09/3609.90	c CG cores constructed 0
3600.09/3609.90	c CG core cardinality constraints returned 0
3600.09/3609.90	c CG unit cores 0
3600.09/3609.90	c CG single cores 0
3600.09/3609.90	c CG blocks removed during cardinality reduction 0
3600.09/3609.90	c CG first core best 0
3600.09/3609.90	c CG decision core best 0
3600.09/3609.90	c CG core reduction tie 0
3600.09/3609.90	c CG core degree average 0.00
3600.09/3609.90	c CG core slack average 0.00
3600.09/3609.90	c CG core upper bound improvements 0
3600.09/3609.90	c STR number of successful calls 0
3600.09/3609.90	c STR number of unsuccessful calls 0
3600.09/3609.90	c STR number of inconclusive calls 0
3600.09/3609.90	c STR number of successful attempts 0
3600.09/3609.90	c STR number of unsuccessful attempts 0
3600.09/3609.90	c STR number of inconclusive attempts 0
3600.09/3609.90	c STR average degree increase per successful call inf
3600.09/3609.90	c STR average degree increase per successful attempt inf
3600.09/3609.90	c STR total number of conflicts for successful attempts 0
3600.09/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.90	c STR average number of conflicts per successful attempt inf
3600.09/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.90	c AVG.sumWPerc 55.06 
3600.09/3609.90	c bigint constraints 0 
3600.09/3609.90	s UNKNOWN
3600.09/3609.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (56139 MiB free)
  memory of node 1: 64507 MiB (55147 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113915192/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=94492 memory=49444 CPUtime=0.09 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 7347 0 0 0 8 1 0 0 20 0 1 0 68142844 96759808 12361 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 23623 12361 1888 1147 0 11050 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98684 KiB
Current children cumulated memory: 52516 KiB

[startup+0.20583 s]*
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113901080/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=100680 memory=57592 CPUtime=0.19 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 9682 0 0 0 18 1 0 0 20 0 1 0 68142844 103096320 14398 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 25170 14398 1888 1147 0 12597 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104872 KiB
Current children cumulated memory: 60664 KiB

[startup+0.305742 s]*
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113834480/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=136820 memory=94800 CPUtime=0.29 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 19989 0 0 0 26 3 0 0 20 0 1 0 68142844 140103680 23700 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 34205 23700 2240 1147 0 21632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141012 KiB
Current children cumulated memory: 97872 KiB

[startup+0.700214 s]
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113733924/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=221708 memory=152232 CPUtime=0.68 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 30050 0 0 0 43 25 0 0 20 0 1 0 68142844 227028992 38058 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 55427 38058 2304 1147 0 42854 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 225900 KiB
Current children cumulated memory: 155304 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113648928/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=304920 memory=228028 CPUtime=1.48 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 42688 0 0 0 120 28 0 0 20 0 1 0 68142844 312238080 57007 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 76230 57007 2336 1147 0 63657 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 309112 KiB
Current children cumulated memory: 231100 KiB

[startup+3.10568 s]
/proc/loadavg: 4.12 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113614348/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=329660 memory=249836 CPUtime=3.08 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 47093 0 0 0 257 51 0 0 20 0 1 0 68142844 337571840 62459 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 82415 62459 2368 1147 0 69842 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 333852 KiB
Current children cumulated memory: 252908 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113539820/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=391124 memory=289192 CPUtime=6.26 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 48773 0 0 0 553 73 0 0 20 0 1 0 68142844 400510976 72298 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 97781 72298 2368 1147 0 85208 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 292264 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.07 5/269 73420
/proc/meminfo: memFree=113383192/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=462620 memory=341152 CPUtime=12.65 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 54666 0 0 0 1186 79 0 0 20 0 1 0 68142844 473722880 85288 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 115655 85288 2368 1147 0 103082 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 466812 KiB
Current children cumulated memory: 344224 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113296896/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=492476 memory=389052 CPUtime=25.41 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 62048 0 0 0 2431 110 0 0 20 0 1 0 68142844 504295424 97263 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 123119 97263 2368 1147 0 110546 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 496668 KiB
Current children cumulated memory: 392124 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.13 4.07 5/269 73421
/proc/meminfo: memFree=112966528/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=677380 memory=599688 CPUtime=50.95 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 88623 0 0 0 4951 144 0 0 20 0 1 0 68142844 693637120 149922 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 169345 149922 2368 1147 0 156772 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 681572 KiB
Current children cumulated memory: 602760 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.06 5/270 73426
/proc/meminfo: memFree=112010544/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=1082992 memory=934152 CPUtime=102.01 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 104307 0 0 0 10034 167 0 0 20 0 1 0 68142844 1108983808 233538 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 270748 233538 2368 1147 0 258175 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1087184 KiB
Current children cumulated memory: 937224 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/269 73428
/proc/meminfo: memFree=110175160/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=1537408 memory=1280816 CPUtime=161.83 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 130370 0 0 0 15990 193 0 0 20 0 1 0 68142844 1574305792 320204 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 384352 320204 2368 1147 0 371779 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1541600 KiB
Current children cumulated memory: 1283888 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/269 73431
/proc/meminfo: memFree=107838564/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=2179044 memory=1949756 CPUtime=221.68 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 283836 0 0 0 21805 363 0 0 20 0 1 0 68142844 2231341056 487439 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 544761 487439 2368 1147 0 532188 0

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

Current children cumulated memory: 22445904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 73676
/proc/meminfo: memFree=72861688/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26409504 memory=22442832 CPUtime=3153.84 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4861817 0 0 0 312302 3082 0 0 20 0 1 0 68142844 27043332096 5610708 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6602376 5610708 2464 1147 0 6589803 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 26413696 KiB
Current children cumulated memory: 22445904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 73677
/proc/meminfo: memFree=72410144/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26409504 memory=22443344 CPUtime=3213.66 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4862908 0 0 0 318249 3117 0 0 20 0 1 0 68142844 27043332096 5610836 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6602376 5610836 2464 1147 0 6589803 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 26413696 KiB
Current children cumulated memory: 22446416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 73683
/proc/meminfo: memFree=72336640/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26409504 memory=22443344 CPUtime=3273.48 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4864722 0 0 0 324131 3217 0 0 20 0 1 0 68142844 27043332096 5610836 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6602376 5610836 2464 1147 0 6589803 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 26413696 KiB
Current children cumulated memory: 22446416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 73685
/proc/meminfo: memFree=71973164/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26409504 memory=22443984 CPUtime=3333.3 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4866662 0 0 0 330076 3254 0 0 20 0 1 0 68142844 27043332096 5610996 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6602376 5610996 2464 1147 0 6589803 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 26413696 KiB
Current children cumulated memory: 22447056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73687
/proc/meminfo: memFree=71802864/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26409504 memory=22449616 CPUtime=3393.12 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4869955 0 0 0 335992 3320 0 0 20 0 1 0 68142844 27043332096 5612404 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6602376 5612404 2464 1147 0 6589803 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 26413696 KiB
Current children cumulated memory: 22452688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 73689
/proc/meminfo: memFree=71699260/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26468320 memory=22507728 CPUtime=3452.93 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4886064 0 0 0 341925 3368 0 0 20 0 1 0 68142844 27103559680 5626932 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6617080 5626932 2464 1147 0 6604507 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 26472512 KiB
Current children cumulated memory: 22510800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 73692
/proc/meminfo: memFree=71587292/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26532384 memory=22571816 CPUtime=3512.75 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4899953 0 0 0 347876 3399 0 0 20 0 1 0 68142844 27169161216 5642954 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6633096 5642954 2464 1147 0 6620523 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 26536576 KiB
Current children cumulated memory: 22574888 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 73694
/proc/meminfo: memFree=71441432/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26532384 memory=22571944 CPUtime=3572.57 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4901177 0 0 0 353818 3439 0 0 20 0 1 0 68142844 27169161216 5642986 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6633096 5642986 2464 1147 0 6620523 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 26536576 KiB
Current children cumulated memory: 22575016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73695
/proc/meminfo: memFree=71345984/131249996 swapFree=33010416/33010684
[pid=73418] ppid=73415 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73418/stat : 73418 (run-opt.sh) S 73415 73418 72970 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 68142844 4292608 768 18446744073709551615 93825076891648 93825077786181 140720357043104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93825078025232 93825078072976 93825087520768 140720357046637 140720357046760 140720357046760 140720357052362 0
/proc/73418/statm: 1048 768 704 219 0 110 0
[pid=73420] ppid=73418 vsize=26547804 memory=22583976 CPUtime=3600.09 cores=0,2
/proc/73420/stat : 73420 (roundingsat) R 73418 73418 72970 0 -1 4194304 4904885 0 0 0 356555 3454 0 0 20 0 1 0 68142844 27184951296 5645994 18446744073709551615 4227072 8923433 140733016395888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32256000 140733016402338 140733016402472 140733016402472 140733016408042 0
/proc/73420/statm: 6636951 5645994 2464 1147 0 6624378 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 26551996 KiB
Current children cumulated memory: 22587048 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001081 s, system=0.001066 s

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

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

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

[startup+3610.4 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 73695
/proc/meminfo: memFree=91126180/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002147 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 73695
/proc/meminfo: memFree=91126180/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002147 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.87
CPU time (s): 3601.06
CPU user time (s): 3565.66
CPU system time (s): 35.3988
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 26551996
Max. memory (cumulated for all children) (KiB): 22587048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.66
system time used= 35.3988
maximum resident set size= 22584232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4905267
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= 231
involuntary context switches= 8833


# summary of solver processes directly reported to runsolver:
#   pid: 73418,73420
#   total CPU time (s): 3601.06
#   total CPU user time (s): 3565.66
#   total CPU system time (s): 35.3988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19677 second user time and 17.9057 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-03 08:37:13
IDJOB=4509286
IDBENCH=158606
IDSOLVER=3350
FILE ID=nodeC030/4509286-1751524633
RUNJOBID= nodeC030-1751521021-72980
SLURM_JOB_ID= 9598643
Free space on /tmp= 432460 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509286-1751524633/watcher-4509286-1751524633 -o /tmp/evaluation-result-4509286-1751524633/solver-4509286-1751524633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72980 --watchdog 3760  run-opt.sh HOME/instance-4509286-1751524633.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1635870506

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113991928 kB
MemAvailable:   114697584 kB
Buffers:            2564 kB
Cached:          1497428 kB
SwapCached:           16 kB
Active:         15517712 kB
Inactive:        1053896 kB
Active(anon):   15085120 kB
Inactive(anon):     4548 kB
Active(file):     432592 kB
Inactive(file):  1049348 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29532 kB
Writeback:            44 kB
AnonPages:      15073728 kB
Mapped:           116516 kB
Shmem:             18048 kB
KReclaimable:     125508 kB
Slab:             214516 kB
SReclaimable:     125508 kB
SUnreclaim:        89008 kB
KernelStack:        4384 kB
PageTables:        34416 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   17735796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6488064 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432460 MiB
End job on nodeC030 at 2025-07-03 09:37:24