Trace number 4545349

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 NameAnswerCPU timeWall clock time
roundingsat 63f22ad? (TO) 3600.1 3609.92

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-1.opb
MD5SUMecd2a3a27adff12226215cdbd4072e2c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark212.659
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100222
Total number of constraints145826
Number of constraints which are clauses32332
Number of constraints which are cardinality constraints (but not clauses)106
Number of constraints which are nor clauses,nor cardinality constraints113388
Minimum length of a constraint1
Maximum length of a constraint2712
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
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.68/0.74	c #variables 100222 #constraints 145422
968.78/971.34	c #Conflicts:       1000 | #Constraints:     146421
968.78/971.34	c #Conflicts:       2000 | #Constraints:     147421
968.78/971.34	c INPROCESSING
968.78/971.34	c #Conflicts:       3000 | #Constraints:     133779
968.78/971.34	c #Conflicts:       4000 | #Constraints:     134779
968.78/971.34	c #Conflicts:       5000 | #Constraints:     135779
968.78/971.34	c #Conflicts:       6000 | #Constraints:     136779
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:       7000 | #Constraints:     135413
968.78/971.34	c #Conflicts:       8000 | #Constraints:     136413
968.78/971.34	c #Conflicts:       9000 | #Constraints:     137413
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      10000 | #Constraints:     135587
968.78/971.34	c #Conflicts:      11000 | #Constraints:     136587
968.78/971.34	c #Conflicts:      12000 | #Constraints:     137587
968.78/971.34	c #Conflicts:      13000 | #Constraints:     138587
968.78/971.34	c #Conflicts:      14000 | #Constraints:     139587
968.78/971.34	c #Conflicts:      15000 | #Constraints:     140587
968.78/971.34	c #Conflicts:      16000 | #Constraints:     141587
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      17000 | #Constraints:     137629
968.78/971.34	c #Conflicts:      18000 | #Constraints:     138629
968.78/971.34	c #Conflicts:      19000 | #Constraints:     139629
968.78/971.34	c #Conflicts:      20000 | #Constraints:     140629
968.78/971.34	c #Conflicts:      21000 | #Constraints:     141629
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      22000 | #Constraints:     138048
968.78/971.34	c #Conflicts:      23000 | #Constraints:     139048
968.78/971.34	c #Conflicts:      24000 | #Constraints:     140048
968.78/971.34	c #Conflicts:      25000 | #Constraints:     141048
968.78/971.34	c #Conflicts:      26000 | #Constraints:     142048
968.78/971.34	c #Conflicts:      27000 | #Constraints:     143048
968.78/971.34	c #Conflicts:      28000 | #Constraints:     144048
968.78/971.34	c #Conflicts:      29000 | #Constraints:     145048
968.78/971.34	c #Conflicts:      30000 | #Constraints:     146048
968.78/971.34	c #Conflicts:      31000 | #Constraints:     147048
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      32000 | #Constraints:     140495
968.78/971.34	c #Conflicts:      33000 | #Constraints:     141495
968.78/971.34	c #Conflicts:      34000 | #Constraints:     142495
968.78/971.34	c #Conflicts:      35000 | #Constraints:     143495
968.78/971.34	c #Conflicts:      36000 | #Constraints:     144495
968.78/971.34	c #Conflicts:      37000 | #Constraints:     145495
968.78/971.34	c #Conflicts:      38000 | #Constraints:     146495
968.78/971.34	c #Conflicts:      39000 | #Constraints:     147495
968.78/971.34	c #Conflicts:      40000 | #Constraints:     148495
968.78/971.34	c #Conflicts:      41000 | #Constraints:     149495
968.78/971.34	c #Conflicts:      42000 | #Constraints:     150495
968.78/971.34	c #Conflicts:      43000 | #Constraints:     151495
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      44000 | #Constraints:     142650
968.78/971.34	c #Conflicts:      45000 | #Constraints:     143650
968.78/971.34	c #Conflicts:      46000 | #Constraints:     144650
968.78/971.34	c #Conflicts:      47000 | #Constraints:     145650
968.78/971.34	c #Conflicts:      48000 | #Constraints:     146650
968.78/971.34	c #Conflicts:      49000 | #Constraints:     147650
968.78/971.34	c #Conflicts:      50000 | #Constraints:     148650
968.78/971.34	c #Conflicts:      51000 | #Constraints:     149650
968.78/971.34	c #Conflicts:      52000 | #Constraints:     150650
968.78/971.34	c #Conflicts:      53000 | #Constraints:     151650
968.78/971.34	c #Conflicts:      54000 | #Constraints:     152650
968.78/971.34	c #Conflicts:      55000 | #Constraints:     153650
968.78/971.34	c #Conflicts:      56000 | #Constraints:     154650
968.78/971.34	c #Conflicts:      57000 | #Constraints:     155650
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      58000 | #Constraints:     144075
968.78/971.34	c #Conflicts:      59000 | #Constraints:     145075
968.78/971.34	c #Conflicts:      60000 | #Constraints:     146075
968.78/971.34	c #Conflicts:      61000 | #Constraints:     147075
968.78/971.34	c #Conflicts:      62000 | #Constraints:     148075
968.78/971.34	c #Conflicts:      63000 | #Constraints:     149075
968.78/971.34	c #Conflicts:      64000 | #Constraints:     150075
968.78/971.34	c #Conflicts:      65000 | #Constraints:     151075
968.78/971.34	c #Conflicts:      66000 | #Constraints:     152075
968.78/971.34	c #Conflicts:      67000 | #Constraints:     153075
968.78/971.34	c #Conflicts:      68000 | #Constraints:     154075
968.78/971.34	c #Conflicts:      69000 | #Constraints:     155075
968.78/971.34	c #Conflicts:      70000 | #Constraints:     156075
968.78/971.34	c #Conflicts:      71000 | #Constraints:     157075
968.78/971.34	c #Conflicts:      72000 | #Constraints:     158075
968.78/971.34	c #Conflicts:      73000 | #Constraints:     159075
968.78/971.34	c INPROCESSING
968.78/971.34	c GARBAGE COLLECT
968.78/971.34	c #Conflicts:      74000 | #Constraints:     145255
2860.58/2868.56	c #Conflicts:      75000 | #Constraints:     146255
2860.58/2868.56	c #Conflicts:      76000 | #Constraints:     147255
2860.58/2868.56	c #Conflicts:      77000 | #Constraints:     148255
2860.58/2868.56	c #Conflicts:      78000 | #Constraints:     149255
2860.58/2868.56	c #Conflicts:      79000 | #Constraints:     150255
2860.58/2868.56	c #Conflicts:      80000 | #Constraints:     151255
2860.58/2868.56	c #Conflicts:      81000 | #Constraints:     152255
2860.58/2868.56	c #Conflicts:      82000 | #Constraints:     153255
2860.58/2868.56	c #Conflicts:      83000 | #Constraints:     154255
2860.58/2868.56	c #Conflicts:      84000 | #Constraints:     155255
2860.58/2868.56	c #Conflicts:      85000 | #Constraints:     156255
2860.58/2868.56	c #Conflicts:      86000 | #Constraints:     157255
2860.58/2868.56	c #Conflicts:      87000 | #Constraints:     158255
2860.58/2868.56	c #Conflicts:      88000 | #Constraints:     159255
2860.58/2868.56	c #Conflicts:      89000 | #Constraints:     160255
2860.58/2868.56	c #Conflicts:      90000 | #Constraints:     161255
2860.58/2868.56	c #Conflicts:      91000 | #Constraints:     162255
2860.58/2868.56	c #Conflicts:      92000 | #Constraints:     163255
2860.58/2868.56	c INPROCESSING
2860.58/2868.56	c GARBAGE COLLECT
2860.58/2868.56	c #Conflicts:      93000 | #Constraints:     147544
2860.58/2868.56	c #Conflicts:      94000 | #Constraints:     148544
2860.58/2868.56	c #Conflicts:      95000 | #Constraints:     149544
2860.58/2868.56	c #Conflicts:      96000 | #Constraints:     150544
2860.58/2868.56	c #Conflicts:      97000 | #Constraints:     151544
2860.58/2868.56	c #Conflicts:      98000 | #Constraints:     152544
2860.58/2868.56	c #Conflicts:      99000 | #Constraints:     153544
2860.58/2868.56	c #Conflicts:     100000 | #Constraints:     154544
2860.58/2868.56	c #Conflicts:     101000 | #Constraints:     155544
2860.58/2868.56	c #Conflicts:     102000 | #Constraints:     156544
2860.58/2868.56	c #Conflicts:     103000 | #Constraints:     157544
2860.58/2868.56	c #Conflicts:     104000 | #Constraints:     158544
2860.58/2868.56	c #Conflicts:     105000 | #Constraints:     159544
2860.58/2868.56	c #Conflicts:     106000 | #Constraints:     160544
2860.58/2868.56	c #Conflicts:     107000 | #Constraints:     161544
2860.58/2868.56	c #Conflicts:     108000 | #Constraints:     162544
2860.58/2868.56	c #Conflicts:     109000 | #Constraints:     163544
2860.58/2868.56	c #Conflicts:     110000 | #Constraints:     164544
2860.58/2868.56	c #Conflicts:     111000 | #Constraints:     165544
2860.58/2868.56	c #Conflicts:     112000 | #Constraints:     166544
2860.58/2868.56	c INPROCESSING
2860.58/2868.56	c GARBAGE COLLECT
2860.58/2868.56	c #Conflicts:     113000 | #Constraints:     149170
2860.58/2868.56	c #Conflicts:     114000 | #Constraints:     150170
2860.58/2868.56	c #Conflicts:     115000 | #Constraints:     151170
2860.58/2868.56	c #Conflicts:     116000 | #Constraints:     152170
2860.58/2868.56	c #Conflicts:     117000 | #Constraints:     153170
2860.58/2868.56	c #Conflicts:     118000 | #Constraints:     154170
2860.58/2868.56	c #Conflicts:     119000 | #Constraints:     155170
2860.58/2868.56	c #Conflicts:     120000 | #Constraints:     156170
2860.58/2868.56	c #Conflicts:     121000 | #Constraints:     157170
2860.58/2868.56	c #Conflicts:     122000 | #Constraints:     158170
2860.58/2868.56	c #Conflicts:     123000 | #Constraints:     159170
2860.58/2868.56	c #Conflicts:     124000 | #Constraints:     160170
2860.58/2868.56	c #Conflicts:     125000 | #Constraints:     161170
2860.58/2868.56	c #Conflicts:     126000 | #Constraints:     162170
2860.58/2868.56	c #Conflicts:     127000 | #Constraints:     163170
2860.58/2868.56	c #Conflicts:     128000 | #Constraints:     164170
2860.58/2868.56	c #Conflicts:     129000 | #Constraints:     165170
2860.58/2868.56	c #Conflicts:     130000 | #Constraints:     166170
2860.58/2868.56	c #Conflicts:     131000 | #Constraints:     167170
2860.58/2868.56	c #Conflicts:     132000 | #Constraints:     168170
2860.58/2868.56	c #Conflicts:     133000 | #Constraints:     169170
2860.58/2868.56	c #Conflicts:     134000 | #Constraints:     170170
2860.58/2868.56	c INPROCESSING
2860.58/2868.56	c GARBAGE COLLECT
2860.58/2868.56	c #Conflicts:     135000 | #Constraints:     150901
2860.58/2868.56	c #Conflicts:     136000 | #Constraints:     151901
2860.58/2868.56	c #Conflicts:     137000 | #Constraints:     152901
2860.58/2868.56	c #Conflicts:     138000 | #Constraints:     153901
2860.58/2868.56	c #Conflicts:     139000 | #Constraints:     154901
2860.58/2868.56	c #Conflicts:     140000 | #Constraints:     155901
2860.58/2868.56	c #Conflicts:     141000 | #Constraints:     156901
2860.58/2868.56	c #Conflicts:     142000 | #Constraints:     157901
2860.58/2868.56	c #Conflicts:     143000 | #Constraints:     158901
2860.58/2868.56	c #Conflicts:     144000 | #Constraints:     159901
2860.58/2868.56	c #Conflicts:     145000 | #Constraints:     160901
2860.58/2868.56	c #Conflicts:     146000 | #Constraints:     161901
2860.58/2868.56	c #Conflicts:     147000 | #Constraints:     162901
2860.58/2868.56	c #Conflicts:     148000 | #Constraints:     163901
2860.58/2868.56	c #Conflicts:     149000 | #Constraints:     164901
2860.58/2868.56	c #Conflicts:     150000 | #Constraints:     165901
2860.58/2868.56	c #Conflicts:     151000 | #Constraints:     166901
3600.07/3609.90	c #Conflicts:     152000 | #Constraints:     167901
3600.07/3609.90	c #Conflicts:     153000 | #Constraints:     168901
3600.07/3609.90	c #Conflicts:     154000 | #Constraints:     169901
3600.07/3609.90	c #Conflicts:     155000 | #Constraints:     170901
3600.07/3609.90	c #Conflicts:     156000 | #Constraints:     171901
3600.07/3609.90	c #Conflicts:     157000 | #Constraints:     172901
3600.07/3609.90	c #Conflicts:     158000 | #Constraints:     173901
3600.07/3609.90	c INPROCESSING
3600.07/3609.90	c GARBAGE COLLECT
3600.07/3609.90	c #Conflicts:     159000 | #Constraints:     152147
3600.07/3609.90	c #Conflicts:     160000 | #Constraints:     153147
3600.07/3609.90	c #Conflicts:     161000 | #Constraints:     154147
3600.07/3609.90	c #Conflicts:     162000 | #Constraints:     155147
3600.07/3609.90	c #Conflicts:     163000 | #Constraints:     156147
3600.07/3609.90	c #Conflicts:     164000 | #Constraints:     157147
3600.07/3609.90	c #Conflicts:     165000 | #Constraints:     158147
3600.07/3609.90	c #Conflicts:     166000 | #Constraints:     159147
3600.07/3609.90	c #Conflicts:     167000 | #Constraints:     160147
3600.07/3609.90	c #Conflicts:     168000 | #Constraints:     161147
3600.07/3609.90	c #Conflicts:     169000 | #Constraints:     162147
3600.07/3609.90	c #Conflicts:     170000 | #Constraints:     163147
3600.07/3609.90	c #Conflicts:     171000 | #Constraints:     164147
3600.07/3609.90	c #Conflicts:     172000 | #Constraints:     165147
3600.07/3609.90	c #Conflicts:     173000 | #Constraints:     166147
3600.07/3609.90	c #Conflicts:     174000 | #Constraints:     167147
3600.07/3609.90	c #Conflicts:     175000 | #Constraints:     168147
3600.07/3609.90	c #Conflicts:     176000 | #Constraints:     169147
3600.07/3609.90	c #Conflicts:     177000 | #Constraints:     170147
3600.07/3609.90	c #Conflicts:     178000 | #Constraints:     171147
3600.07/3609.90	c #Conflicts:     179000 | #Constraints:     172147
3600.07/3609.90	c #Conflicts:     180000 | #Constraints:     173147
3600.07/3609.90	c cpu time 3597.23 s
3600.07/3609.90	c deterministic time 102643602385 1.03e+11
3600.07/3609.90	c optimization time 522.109 s
3600.07/3609.90	c total solve time 3074.58 s
3600.07/3609.90	c core-guided solve time 0 s
3600.07/3609.90	c propagation time 580.402 s
3600.07/3609.90	c conflict analysis time 2972.28 s
3600.07/3609.90	c propagations 643462850
3600.07/3609.90	c resolve steps 76630560
3600.07/3609.90	c decisions 1485610
3600.07/3609.90	c conflicts 180904
3600.07/3609.90	c restarts 505
3600.07/3609.90	c inprocessing phases 13
3600.07/3609.90	c garbage collections 12 ,( 92.31 )
3600.07/3609.90	c input clauses 35418 ,( 24.36 )
3600.07/3609.90	c input cardinalities 58 ,( 0.04 )
3600.07/3609.90	c input general constraints 109946 ,( 75.60 )
3600.07/3609.90	c input average constraint length 4.58
3600.07/3609.90	c input average constraint degree 17.78
3600.07/3609.90	c learned clauses 134790 ,( 74.51 )
3600.07/3609.90	c learned cardinalities 8425 ,( 4.66 )
3600.07/3609.90	c learned general constraints 37688 ,( 20.83 )
3600.07/3609.90	c learned average constraint length 4237.67
3600.07/3609.90	c learned average constraint degree 92978680.84
3600.07/3609.90	c watched  CF 32, 64, 128, Arb: 21461 , 0 , 0 , 0
3600.07/3609.90	c counting CF 32, 64, 128, Arb: 126173 , 0 , 0 , 0
3600.07/3609.90	c watched   constraints 21461 ,( 14.54 ) 
3600.07/3609.90	c counting  constraints 126173 ,( 85.46 ) 
3600.07/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 166176488 , 32561823 , 3553442092 ,( 127008039 , 3426434053 )
3600.07/3609.90	c gcd simplifications 8432
3600.07/3609.90	c detected cardinalities 436
3600.07/3609.90	c weakened non-implied lits 12097593
3600.07/3609.90	c weakened non-implying lits 784700
3600.07/3609.90	c original variables 100222
3600.07/3609.90	c clausal propagations 67888680
3600.07/3609.90	c cardinality propagations 3393441
3600.07/3609.90	c watched propagations 929774
3600.07/3609.90	c counting propagations 570896178
3600.07/3609.90	c watch lookups 21302526294
3600.07/3609.90	c watch backjump lookups 0
3600.07/3609.90	c watch checks 64806779394
3600.07/3609.90	c propagation checks 13535685400
3600.07/3609.90	c constraint additions 1708556054
3600.07/3609.90	c trail pops 645060972
3600.07/3609.90	c formula constraints 145422
3600.07/3609.90	c learned constraints 180903
3600.07/3609.90	c bound constraints 0
3600.07/3609.90	c core-guided constraints 0
3600.07/3609.90	c encountered formula constraints 74156590
3600.07/3609.90	c encountered learned constraints 2654874
3600.07/3609.90	c encountered bound constraints 0
3600.07/3609.90	c encountered core-guided constraints 0
3600.07/3609.90	c LP total time 17.2322 s
3600.07/3609.90	c LP solve time 17.04 s
3600.07/3609.90	c LP constraints added 145422
3600.07/3609.90	c LP constraints removed 0
3600.07/3609.90	c LP pivots internal 24810
3600.07/3609.90	c LP pivots root 21000
3600.07/3609.90	c LP calls 6
3600.07/3609.90	c LP optimalities 1
3600.07/3609.90	c LP no pivot count 0
3600.07/3609.90	c LP infeasibilities 0
3600.07/3609.90	c LP valid Farkas constraints 0
3600.07/3609.90	c LP learned Farkas constraints 0
3600.07/3609.90	c LP basis resets 0
3600.07/3609.90	c LP cycling count 0
3600.07/3609.90	c LP singular count 0
3600.07/3609.90	c LP no primal count 0
3600.07/3609.90	c LP no farkas count 0
3600.07/3609.90	c LP other issue count 0
3600.07/3609.90	c LP Gomory cuts 0
3600.07/3609.90	c LP learned cuts 0
3600.07/3609.90	c LP deleted cuts 0
3600.07/3609.90	c LP encountered Gomory constraints 0
3600.07/3609.90	c LP encountered Farkas constraints 0
3600.07/3609.90	c LP encountered learned Farkas constraints 0
3600.07/3609.90	c CG auxiliary variables introduced 0
3600.07/3609.90	c CG solutions found 0
3600.07/3609.90	c CG cores constructed 0
3600.07/3609.90	c CG core cardinality constraints returned 0
3600.07/3609.90	c CG unit cores 0
3600.07/3609.90	c CG single cores 0
3600.07/3609.90	c CG blocks removed during cardinality reduction 0
3600.07/3609.90	c CG first core best 0
3600.07/3609.90	c CG decision core best 0
3600.07/3609.90	c CG core reduction tie 0
3600.07/3609.90	c CG core degree average 0.00
3600.07/3609.90	c CG core slack average 0.00
3600.07/3609.90	c CG core upper bound improvements 0
3600.07/3609.90	c STR number of successful calls 0
3600.07/3609.90	c STR number of unsuccessful calls 0
3600.07/3609.90	c STR number of inconclusive calls 0
3600.07/3609.90	c STR number of successful attempts 0
3600.07/3609.90	c STR number of unsuccessful attempts 0
3600.07/3609.90	c STR number of inconclusive attempts 0
3600.07/3609.90	c STR average degree increase per successful call inf
3600.07/3609.90	c STR average degree increase per successful attempt inf
3600.07/3609.90	c STR total number of conflicts for successful attempts 0
3600.07/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.90	c STR average number of conflicts per successful attempt inf
3600.07/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.90	c AVG.sumWPerc 82.65 
3600.07/3609.90	c bigint constraints 0 
3600.07/3609.90	s UNKNOWN
3600.07/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 (61677 MiB free)
  memory of node 1: 64507 MiB (63341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545349-1753234746/watcher-4545349-1753234746 -o /tmp/evaluation-result-4545349-1753234746/solver-4545349-1753234746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753234342-162749 --watchdog 3760 run-dec.sh HOME/instance-4545349-1753234746.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=162916, runsolver pid=162913

[startup+0.100066 s]*
/proc/loadavg: 4.07 4.05 4.05 5/269 162918
/proc/meminfo: memFree=128002908/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=76308 memory=33724 CPUtime=0.09 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 4309 0 0 0 6 3 0 0 20 0 1 0 239152309 78139392 8431 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 19077 8431 1952 1147 0 6504 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80500 KiB
Current children cumulated memory: 36668 KiB

[startup+0.205768 s]*
/proc/loadavg: 4.06 4.04 4.04 5/269 162918
/proc/meminfo: memFree=128002908/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=82532 memory=39460 CPUtime=0.19 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 5890 0 0 0 14 5 0 0 20 0 1 0 239152309 84512768 9865 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 20633 9865 1952 1147 0 8060 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86724 KiB
Current children cumulated memory: 42404 KiB

[startup+0.30555 s]*
/proc/loadavg: 4.06 4.04 4.04 5/269 162918
/proc/meminfo: memFree=127999128/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=90784 memory=46080 CPUtime=0.29 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 7190 0 0 0 22 7 0 0 20 0 1 0 239152309 92962816 11520 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 22696 11520 1952 1147 0 10123 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94976 KiB
Current children cumulated memory: 49024 KiB

[startup+0.700208 s]
/proc/loadavg: 4.06 4.04 4.04 5/269 162918
/proc/meminfo: memFree=127946896/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=344636 memory=204968 CPUtime=0.68 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 18221 0 0 0 51 17 0 0 20 0 1 0 239152309 352907264 51242 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 86159 51242 2272 1147 0 73586 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 348828 KiB
Current children cumulated memory: 207912 KiB

[startup+1.50022 s]
/proc/loadavg: 4.06 4.04 4.04 5/269 162918
/proc/meminfo: memFree=127772292/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=371956 memory=255764 CPUtime=1.48 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 35206 0 0 0 126 22 0 0 20 0 1 0 239152309 380882944 63941 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 92989 63941 2304 1147 0 80416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 376148 KiB
Current children cumulated memory: 258708 KiB

[startup+3.10542 s]
/proc/loadavg: 4.06 4.04 4.04 5/269 162918
/proc/meminfo: memFree=127748164/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=371956 memory=260460 CPUtime=3.07 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 35289 0 0 0 284 23 0 0 20 0 1 0 239152309 380882944 65115 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 92989 65115 2368 1147 0 80416 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 376148 KiB
Current children cumulated memory: 263404 KiB

[startup+6.30022 s]
/proc/loadavg: 4.06 4.04 4.04 5/269 162918
/proc/meminfo: memFree=127748164/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=383632 memory=270288 CPUtime=6.26 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 35719 0 0 0 600 26 0 0 20 0 1 0 239152309 392839168 67572 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 95908 67572 2368 1147 0 83335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 387824 KiB
Current children cumulated memory: 273232 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.06 4.05 5/269 162918
/proc/meminfo: memFree=127721216/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=412488 memory=288076 CPUtime=12.64 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 38647 0 0 0 1237 27 0 0 20 0 1 0 239152309 422387712 72019 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 103122 72019 2368 1147 0 90549 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 416680 KiB
Current children cumulated memory: 291020 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.06 4.05 5/269 162918
/proc/meminfo: memFree=127688456/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=412488 memory=290628 CPUtime=25.41 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 38762 0 0 0 2513 28 0 0 20 0 1 0 239152309 422387712 72657 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 103122 72657 2368 1147 0 90549 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 416680 KiB
Current children cumulated memory: 293572 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.07 4.05 5/269 162919
/proc/meminfo: memFree=127615304/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=452076 memory=314700 CPUtime=50.94 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 41205 0 0 0 5061 33 0 0 20 0 1 0 239152309 462925824 78675 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 113019 78675 2368 1147 0 100446 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 456268 KiB
Current children cumulated memory: 317644 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.09 4.06 5/269 162927
/proc/meminfo: memFree=127525288/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=545592 memory=390548 CPUtime=102 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 48434 0 0 0 10154 46 0 0 20 0 1 0 239152309 558686208 97637 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 136398 97637 2368 1147 0 123825 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 549784 KiB
Current children cumulated memory: 393492 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.07 4.05 5/267 162975
/proc/meminfo: memFree=127549296/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=545592 memory=397832 CPUtime=161.84 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 49773 0 0 0 16131 53 0 0 20 0 1 0 239152309 558686208 99458 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 136398 99458 2368 1147 0 123825 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 549784 KiB
Current children cumulated memory: 400776 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.07 4.05 5/267 162977
/proc/meminfo: memFree=127432332/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=651088 memory=498424 CPUtime=221.7 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 57574 0 0 0 22107 63 0 0 20 0 1 0 239152309 666714112 124606 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 162772 124606 2368 1147 0 150199 0
Current children cumulated CPU time: 221.7 s

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

/proc/162918/statm: 401332 306565 2368 1147 0 388759 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 163135
/proc/meminfo: memFree=126017008/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1605328 memory=1226260 CPUtime=3153.67 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 119738 0 0 0 315106 261 0 0 20 0 1 0 239152309 1643855872 306565 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 401332 306565 2368 1147 0 388759 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 163321
/proc/meminfo: memFree=127107612/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1605328 memory=1226260 CPUtime=3213.52 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 119738 0 0 0 321087 265 0 0 20 0 1 0 239152309 1643855872 306565 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 401332 306565 2368 1147 0 388759 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 163369
/proc/meminfo: memFree=127066404/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1605328 memory=1226260 CPUtime=3273.35 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 119752 0 0 0 327067 268 0 0 20 0 1 0 239152309 1643855872 306565 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 401332 306565 2368 1147 0 388759 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 163372
/proc/meminfo: memFree=127031432/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1605328 memory=1226516 CPUtime=3333.18 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 119816 0 0 0 333048 270 0 0 20 0 1 0 239152309 1643855872 306629 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 401332 306629 2368 1147 0 388759 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229460 KiB

[startup+3402.3 s]
/proc/loadavg: 3.93 4.06 4.08 4/260 163404
/proc/meminfo: memFree=127058396/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1605328 memory=1226772 CPUtime=3393.02 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 120219 0 0 0 339028 274 0 0 20 0 1 0 239152309 1643855872 306693 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 401332 306693 2368 1147 0 388759 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229716 KiB

[startup+3462.3 s]
/proc/loadavg: 3.41 3.88 4.01 4/260 163406
/proc/meminfo: memFree=127039268/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1605328 memory=1226772 CPUtime=3452.86 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 120274 0 0 0 345009 277 0 0 20 0 1 0 239152309 1643855872 306693 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 401332 306693 2368 1147 0 388759 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 1609520 KiB
Current children cumulated memory: 1229716 KiB

[startup+3522.3 s]
/proc/loadavg: 3.20 3.73 3.95 4/260 163408
/proc/meminfo: memFree=126981668/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1608304 memory=1229716 CPUtime=3512.69 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 121031 0 0 0 350990 279 0 0 20 0 1 0 239152309 1646903296 307429 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 402076 307429 2368 1147 0 389503 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 1612496 KiB
Current children cumulated memory: 1232660 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.63 3.90 4/260 163410
/proc/meminfo: memFree=126834896/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1612028 memory=1233428 CPUtime=3572.53 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 121999 0 0 0 356971 282 0 0 20 0 1 0 239152309 1650716672 308357 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 403007 308357 2368 1147 0 390434 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 1616220 KiB
Current children cumulated memory: 1236372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 3.16 3.59 3.88 4/260 163411
/proc/meminfo: memFree=126815400/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1614188 memory=1235604 CPUtime=3600.07 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 122543 0 0 0 359723 284 0 0 20 0 1 0 239152309 1652928512 308901 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 403547 308901 2368 1147 0 390974 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1618380 KiB
Current children cumulated memory: 1238548 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3597.25 s, system=2.84769 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+3609.9 s]
/proc/loadavg: 3.16 3.59 3.88 4/260 163411
/proc/meminfo: memFree=126815400/131249996 swapFree=33003468/33010684
[pid=162916] ppid=162913 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/162916/stat : 162916 (run-dec.sh) S 162913 162916 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239152308 4292608 736 18446744073709551615 94191986929664 94191987824197 140733649968080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94191988063248 94191988110992 94192017510400 140733649975659 140733649975782 140733649975782 140733649981386 0
/proc/162916/statm: 1048 736 672 219 0 110 0
[pid=162918] ppid=162916 vsize=1614188 memory=1235604 CPUtime=3600.07 cores=5,7
/proc/162918/stat : 162918 (roundingsat) R 162916 162916 162736 0 -1 4194304 122543 0 0 0 359723 284 0 0 20 0 1 0 239152309 1652928512 308901 18446744073709551615 4227072 8923433 140735899070784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16822272 140735899077045 140735899077158 140735899077158 140735899082730 0
/proc/162918/statm: 403547 308901 2368 1147 0 390974 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1618380 KiB
Current children cumulated memory: 1238548 KiB

Child status: 2

Real time (s): 3609.92
CPU time (s): 3600.1
CPU user time (s): 3597.25
CPU system time (s): 2.84769
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 1618380
Max. memory (cumulated for all children) (KiB): 1238548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 2.84769
maximum resident set size= 1235860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122795
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= 220
involuntary context switches= 20102


# summary of solver processes directly reported to runsolver:
#   pid: 162916,162918
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.25
#   total CPU system time (s): 2.84769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15407 second user time and 15.1965 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-23 03:39:06
IDJOB=4545349
IDBENCH=180847
IDSOLVER=3349
FILE ID=nodeC021/4545349-1753234746
RUNJOBID= nodeC021-1753234342-162749
SLURM_JOB_ID= 9687855
Free space on /tmp= 432980 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-1.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545349-1753234746/watcher-4545349-1753234746 -o /tmp/evaluation-result-4545349-1753234746/solver-4545349-1753234746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753234342-162749 --watchdog 3760  run-dec.sh HOME/instance-4545349-1753234746.opb

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

MD5SUM BENCH= ecd2a3a27adff12226215cdbd4072e2c
RANDOM SEED=139503304

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128018688 kB
MemAvailable:   128851080 kB
Buffers:            1056 kB
Cached:          1568192 kB
SwapCached:           56 kB
Active:          1992584 kB
Inactive:         472636 kB
Active(anon):     879132 kB
Inactive(anon):    38496 kB
Active(file):    1113452 kB
Inactive(file):   434140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14336 kB
Writeback:             0 kB
AnonPages:        897552 kB
Mapped:           117456 kB
Shmem:             21656 kB
KReclaimable:     247680 kB
Slab:             343996 kB
SReclaimable:     247680 kB
SUnreclaim:        96316 kB
KernelStack:        4352 kB
PageTables:         5032 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1390440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC021 at 2025-07-23 04:39:16