Trace number 4545351

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-ls 63f22ad? (TO) 3600.04 3609.04

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.67/0.76	c #variables 100222 #constraints 145422
969.51/972.09	c #Conflicts:       1000 | #Constraints:     146421
969.51/972.09	c #Conflicts:       2000 | #Constraints:     147421
969.51/972.09	c INPROCESSING
969.51/972.09	c #Conflicts:       3000 | #Constraints:     133766
969.51/972.09	c #Conflicts:       4000 | #Constraints:     134766
969.51/972.09	c #Conflicts:       5000 | #Constraints:     135766
969.51/972.09	c #Conflicts:       6000 | #Constraints:     136766
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:       7000 | #Constraints:     135393
969.51/972.09	c #Conflicts:       8000 | #Constraints:     136393
969.51/972.09	c #Conflicts:       9000 | #Constraints:     137393
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:      10000 | #Constraints:     135512
969.51/972.09	c #Conflicts:      11000 | #Constraints:     136512
969.51/972.09	c #Conflicts:      12000 | #Constraints:     137512
969.51/972.09	c #Conflicts:      13000 | #Constraints:     138512
969.51/972.09	c #Conflicts:      14000 | #Constraints:     139512
969.51/972.09	c #Conflicts:      15000 | #Constraints:     140512
969.51/972.09	c #Conflicts:      16000 | #Constraints:     141512
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:      17000 | #Constraints:     137485
969.51/972.09	c #Conflicts:      18000 | #Constraints:     138485
969.51/972.09	c #Conflicts:      19000 | #Constraints:     139485
969.51/972.09	c #Conflicts:      20000 | #Constraints:     140485
969.51/972.09	c #Conflicts:      21000 | #Constraints:     141485
969.51/972.09	c #Conflicts:      22000 | #Constraints:     142485
969.51/972.09	c #Conflicts:      23000 | #Constraints:     143485
969.51/972.09	c #Conflicts:      24000 | #Constraints:     144485
969.51/972.09	c #Conflicts:      25000 | #Constraints:     145485
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:      26000 | #Constraints:     139210
969.51/972.09	c #Conflicts:      27000 | #Constraints:     140210
969.51/972.09	c #Conflicts:      28000 | #Constraints:     141210
969.51/972.09	c #Conflicts:      29000 | #Constraints:     142210
969.51/972.09	c #Conflicts:      30000 | #Constraints:     143210
969.51/972.09	c #Conflicts:      31000 | #Constraints:     144210
969.51/972.09	c #Conflicts:      32000 | #Constraints:     145210
969.51/972.09	c #Conflicts:      33000 | #Constraints:     146210
969.51/972.09	c #Conflicts:      34000 | #Constraints:     147210
969.51/972.09	c #Conflicts:      35000 | #Constraints:     148210
969.51/972.09	c #Conflicts:      36000 | #Constraints:     149210
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:      37000 | #Constraints:     140982
969.51/972.09	c #Conflicts:      38000 | #Constraints:     141982
969.51/972.09	c #Conflicts:      39000 | #Constraints:     142982
969.51/972.09	c #Conflicts:      40000 | #Constraints:     143982
969.51/972.09	c #Conflicts:      41000 | #Constraints:     144982
969.51/972.09	c #Conflicts:      42000 | #Constraints:     145982
969.51/972.09	c #Conflicts:      43000 | #Constraints:     146982
969.51/972.09	c #Conflicts:      44000 | #Constraints:     147982
969.51/972.09	c #Conflicts:      45000 | #Constraints:     148982
969.51/972.09	c #Conflicts:      46000 | #Constraints:     149982
969.51/972.09	c #Conflicts:      47000 | #Constraints:     150982
969.51/972.09	c #Conflicts:      48000 | #Constraints:     151982
969.51/972.09	c #Conflicts:      49000 | #Constraints:     152982
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:      50000 | #Constraints:     142304
969.51/972.09	c #Conflicts:      51000 | #Constraints:     143304
969.51/972.09	c #Conflicts:      52000 | #Constraints:     144304
969.51/972.09	c #Conflicts:      53000 | #Constraints:     145304
969.51/972.09	c #Conflicts:      54000 | #Constraints:     146304
969.51/972.09	c #Conflicts:      55000 | #Constraints:     147304
969.51/972.09	c #Conflicts:      56000 | #Constraints:     148304
969.51/972.09	c #Conflicts:      57000 | #Constraints:     149304
969.51/972.09	c #Conflicts:      58000 | #Constraints:     150304
969.51/972.09	c #Conflicts:      59000 | #Constraints:     151304
969.51/972.09	c #Conflicts:      60000 | #Constraints:     152304
969.51/972.09	c #Conflicts:      61000 | #Constraints:     153304
969.51/972.09	c #Conflicts:      62000 | #Constraints:     154304
969.51/972.09	c #Conflicts:      63000 | #Constraints:     155304
969.51/972.09	c #Conflicts:      64000 | #Constraints:     156304
969.51/972.09	c INPROCESSING
969.51/972.09	c GARBAGE COLLECT
969.51/972.09	c #Conflicts:      65000 | #Constraints:     143213
969.51/972.09	c #Conflicts:      66000 | #Constraints:     144213
969.51/972.09	c #Conflicts:      67000 | #Constraints:     145213
969.51/972.09	c #Conflicts:      68000 | #Constraints:     146213
969.51/972.09	c #Conflicts:      69000 | #Constraints:     147213
969.51/972.09	c #Conflicts:      70000 | #Constraints:     148213
969.51/972.09	c #Conflicts:      71000 | #Constraints:     149213
969.51/972.09	c #Conflicts:      72000 | #Constraints:     150213
969.51/972.09	c #Conflicts:      73000 | #Constraints:     151213
969.51/972.09	c #Conflicts:      74000 | #Constraints:     152213
969.51/972.09	c #Conflicts:      75000 | #Constraints:     153213
2662.20/2669.14	c #Conflicts:      76000 | #Constraints:     154213
2662.20/2669.14	c #Conflicts:      77000 | #Constraints:     155213
2662.20/2669.14	c #Conflicts:      78000 | #Constraints:     156213
2662.20/2669.14	c #Conflicts:      79000 | #Constraints:     157213
2662.20/2669.14	c #Conflicts:      80000 | #Constraints:     158213
2662.20/2669.14	c #Conflicts:      81000 | #Constraints:     159213
2662.20/2669.14	c INPROCESSING
2662.20/2669.14	c GARBAGE COLLECT
2662.20/2669.14	c #Conflicts:      82000 | #Constraints:     144113
2662.20/2669.14	c #Conflicts:      83000 | #Constraints:     145113
2662.20/2669.14	c #Conflicts:      84000 | #Constraints:     146113
2662.20/2669.14	c #Conflicts:      85000 | #Constraints:     147113
2662.20/2669.14	c #Conflicts:      86000 | #Constraints:     148113
2662.20/2669.14	c #Conflicts:      87000 | #Constraints:     149113
2662.20/2669.14	c #Conflicts:      88000 | #Constraints:     150113
2662.20/2669.14	c #Conflicts:      89000 | #Constraints:     151113
2662.20/2669.14	c #Conflicts:      90000 | #Constraints:     152113
2662.20/2669.14	c #Conflicts:      91000 | #Constraints:     153113
2662.20/2669.14	c #Conflicts:      92000 | #Constraints:     154113
2662.20/2669.14	c #Conflicts:      93000 | #Constraints:     155113
2662.20/2669.14	c #Conflicts:      94000 | #Constraints:     156113
2662.20/2669.14	c #Conflicts:      95000 | #Constraints:     157113
2662.20/2669.14	c #Conflicts:      96000 | #Constraints:     158113
2662.20/2669.14	c #Conflicts:      97000 | #Constraints:     159113
2662.20/2669.14	c #Conflicts:      98000 | #Constraints:     160113
2662.20/2669.14	c #Conflicts:      99000 | #Constraints:     161113
2662.20/2669.14	c #Conflicts:     100000 | #Constraints:     162113
2662.20/2669.14	c #Conflicts:     101000 | #Constraints:     163113
2662.20/2669.14	c INPROCESSING
2662.20/2669.14	c GARBAGE COLLECT
2662.20/2669.14	c #Conflicts:     102000 | #Constraints:     146633
2662.20/2669.14	c #Conflicts:     103000 | #Constraints:     147633
2662.20/2669.14	c #Conflicts:     104000 | #Constraints:     148633
2662.20/2669.14	c #Conflicts:     105000 | #Constraints:     149633
2662.20/2669.14	c #Conflicts:     106000 | #Constraints:     150633
2662.20/2669.14	c #Conflicts:     107000 | #Constraints:     151633
2662.20/2669.14	c #Conflicts:     108000 | #Constraints:     152633
2662.20/2669.14	c #Conflicts:     109000 | #Constraints:     153633
2662.20/2669.14	c #Conflicts:     110000 | #Constraints:     154633
2662.20/2669.14	c #Conflicts:     111000 | #Constraints:     155633
2662.20/2669.14	c #Conflicts:     112000 | #Constraints:     156633
2662.20/2669.14	c #Conflicts:     113000 | #Constraints:     157633
2662.20/2669.14	c #Conflicts:     114000 | #Constraints:     158633
2662.20/2669.14	c #Conflicts:     115000 | #Constraints:     159633
2662.20/2669.14	c #Conflicts:     116000 | #Constraints:     160633
2662.20/2669.14	c #Conflicts:     117000 | #Constraints:     161633
2662.20/2669.14	c #Conflicts:     118000 | #Constraints:     162633
2662.20/2669.14	c #Conflicts:     119000 | #Constraints:     163633
2662.20/2669.14	c #Conflicts:     120000 | #Constraints:     164633
2662.20/2669.14	c #Conflicts:     121000 | #Constraints:     165633
2662.20/2669.14	c #Conflicts:     122000 | #Constraints:     166633
2662.20/2669.14	c INPROCESSING
2662.20/2669.14	c GARBAGE COLLECT
2662.20/2669.14	c #Conflicts:     123000 | #Constraints:     147502
2662.20/2669.14	c #Conflicts:     124000 | #Constraints:     148502
2662.20/2669.14	c #Conflicts:     125000 | #Constraints:     149502
2662.20/2669.14	c #Conflicts:     126000 | #Constraints:     150502
2662.20/2669.14	c #Conflicts:     127000 | #Constraints:     151502
2662.20/2669.14	c #Conflicts:     128000 | #Constraints:     152502
2662.20/2669.14	c #Conflicts:     129000 | #Constraints:     153502
2662.20/2669.14	c #Conflicts:     130000 | #Constraints:     154502
2662.20/2669.14	c #Conflicts:     131000 | #Constraints:     155502
2662.20/2669.14	c #Conflicts:     132000 | #Constraints:     156502
2662.20/2669.14	c #Conflicts:     133000 | #Constraints:     157502
2662.20/2669.14	c #Conflicts:     134000 | #Constraints:     158502
2662.20/2669.14	c #Conflicts:     135000 | #Constraints:     159502
2662.20/2669.14	c #Conflicts:     136000 | #Constraints:     160502
2662.20/2669.14	c #Conflicts:     137000 | #Constraints:     161502
2662.20/2669.14	c #Conflicts:     138000 | #Constraints:     162502
2662.20/2669.14	c #Conflicts:     139000 | #Constraints:     163502
2662.20/2669.14	c #Conflicts:     140000 | #Constraints:     164502
2662.20/2669.14	c #Conflicts:     141000 | #Constraints:     165502
2662.20/2669.14	c #Conflicts:     142000 | #Constraints:     166502
2662.20/2669.14	c #Conflicts:     143000 | #Constraints:     167502
2662.20/2669.14	c #Conflicts:     144000 | #Constraints:     168502
2662.20/2669.14	c #Conflicts:     145000 | #Constraints:     169502
2662.20/2669.14	c INPROCESSING
2662.20/2669.14	c GARBAGE COLLECT
2662.20/2669.14	c #Conflicts:     146000 | #Constraints:     148129
2662.20/2669.14	c #Conflicts:     147000 | #Constraints:     149129
2662.20/2669.14	c #Conflicts:     148000 | #Constraints:     150129
2662.20/2669.14	c #Conflicts:     149000 | #Constraints:     151129
2662.20/2669.14	c #Conflicts:     150000 | #Constraints:     152129
2662.20/2669.14	c #Conflicts:     151000 | #Constraints:     153129
3600.00/3609.00	c #Conflicts:     152000 | #Constraints:     154129
3600.00/3609.00	c #Conflicts:     153000 | #Constraints:     155129
3600.00/3609.00	c #Conflicts:     154000 | #Constraints:     156129
3600.00/3609.00	c #Conflicts:     155000 | #Constraints:     157129
3600.00/3609.00	c #Conflicts:     156000 | #Constraints:     158129
3600.00/3609.00	c #Conflicts:     157000 | #Constraints:     159129
3600.00/3609.00	c #Conflicts:     158000 | #Constraints:     160129
3600.00/3609.00	c #Conflicts:     159000 | #Constraints:     161129
3600.00/3609.00	c #Conflicts:     160000 | #Constraints:     162129
3600.00/3609.00	c #Conflicts:     161000 | #Constraints:     163129
3600.00/3609.00	c #Conflicts:     162000 | #Constraints:     164129
3600.00/3609.00	c #Conflicts:     163000 | #Constraints:     165129
3600.00/3609.00	c #Conflicts:     164000 | #Constraints:     166129
3600.00/3609.00	c #Conflicts:     165000 | #Constraints:     167129
3600.00/3609.00	c #Conflicts:     166000 | #Constraints:     168129
3600.00/3609.00	c #Conflicts:     167000 | #Constraints:     169129
3600.00/3609.00	c #Conflicts:     168000 | #Constraints:     170129
3600.00/3609.00	c #Conflicts:     169000 | #Constraints:     171129
3600.00/3609.00	c #Conflicts:     170000 | #Constraints:     172129
3600.00/3609.00	c INPROCESSING
3600.00/3609.00	c GARBAGE COLLECT
3600.00/3609.00	c #Conflicts:     171000 | #Constraints:     149831
3600.00/3609.00	c #Conflicts:     172000 | #Constraints:     150831
3600.00/3609.00	c #Conflicts:     173000 | #Constraints:     151831
3600.00/3609.00	c #Conflicts:     174000 | #Constraints:     152831
3600.00/3609.00	c #Conflicts:     175000 | #Constraints:     153831
3600.00/3609.00	c #Conflicts:     176000 | #Constraints:     154831
3600.00/3609.00	c #Conflicts:     177000 | #Constraints:     155831
3600.00/3609.00	c #Conflicts:     178000 | #Constraints:     156831
3600.00/3609.00	c #Conflicts:     179000 | #Constraints:     157831
3600.00/3609.00	c #Conflicts:     180000 | #Constraints:     158831
3600.00/3609.00	c #Conflicts:     181000 | #Constraints:     159831
3600.00/3609.00	c #Conflicts:     182000 | #Constraints:     160831
3600.00/3609.00	c #Conflicts:     183000 | #Constraints:     161831
3600.00/3609.00	c #Conflicts:     184000 | #Constraints:     162831
3600.00/3609.00	c #Conflicts:     185000 | #Constraints:     163831
3600.00/3609.00	c #Conflicts:     186000 | #Constraints:     164831
3600.00/3609.00	c #Conflicts:     187000 | #Constraints:     165831
3600.00/3609.00	c #Conflicts:     188000 | #Constraints:     166831
3600.00/3609.00	c #Conflicts:     189000 | #Constraints:     167831
3600.00/3609.00	c #Conflicts:     190000 | #Constraints:     168831
3600.00/3609.00	c #Conflicts:     191000 | #Constraints:     169831
3600.00/3609.00	c cpu time 3597.19 s
3600.00/3609.00	c deterministic time 107626018131 1.08e+11
3600.00/3609.00	c optimization time 468.449 s
3600.00/3609.00	c total solve time 3128.17 s
3600.00/3609.00	c core-guided solve time 0 s
3600.00/3609.00	c propagation time 588.357 s
3600.00/3609.00	c conflict analysis time 2883.02 s
3600.00/3609.00	c propagations 645483291
3600.00/3609.00	c resolve steps 77712654
3600.00/3609.00	c decisions 1588231
3600.00/3609.00	c conflicts 191083
3600.00/3609.00	c restarts 508
3600.00/3609.00	c inprocessing phases 13
3600.00/3609.00	c garbage collections 12 ,( 92.31 )
3600.00/3609.00	c input clauses 35418 ,( 24.36 )
3600.00/3609.00	c input cardinalities 58 ,( 0.04 )
3600.00/3609.00	c input general constraints 109946 ,( 75.60 )
3600.00/3609.00	c input average constraint length 4.58
3600.00/3609.00	c input average constraint degree 17.78
3600.00/3609.00	c learned clauses 140553 ,( 73.56 )
3600.00/3609.00	c learned cardinalities 8966 ,( 4.69 )
3600.00/3609.00	c learned general constraints 41563 ,( 21.75 )
3600.00/3609.00	c learned average constraint length 4124.45
3600.00/3609.00	c learned average constraint degree 107307098.77
3600.00/3609.00	c watched  CF 32, 64, 128, Arb: 23249 , 0 , 0 , 0
3600.00/3609.00	c counting CF 32, 64, 128, Arb: 128260 , 0 , 0 , 0
3600.00/3609.00	c watched   constraints 23249 ,( 15.34 ) 
3600.00/3609.00	c counting  constraints 128260 ,( 84.66 ) 
3600.00/3609.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 166961902 , 33627034 , 3680319766 ,( 144682244 , 3535637522 )
3600.00/3609.00	c gcd simplifications 8660
3600.00/3609.00	c detected cardinalities 497
3600.00/3609.00	c weakened non-implied lits 12620441
3600.00/3609.00	c weakened non-implying lits 994295
3600.00/3609.00	c original variables 100222
3600.00/3609.00	c clausal propagations 70063615
3600.00/3609.00	c cardinality propagations 3538711
3600.00/3609.00	c watched propagations 1008874
3600.00/3609.00	c counting propagations 570495545
3600.00/3609.00	c watch lookups 21483777224
3600.00/3609.00	c watch backjump lookups 0
3600.00/3609.00	c watch checks 68089811427
3600.00/3609.00	c propagation checks 14995007876
3600.00/3609.00	c constraint additions 1763119163
3600.00/3609.00	c trail pops 647178224
3600.00/3609.00	c formula constraints 145422
3600.00/3609.00	c learned constraints 191082
3600.00/3609.00	c bound constraints 0
3600.00/3609.00	c core-guided constraints 0
3600.00/3609.00	c encountered formula constraints 75114732
3600.00/3609.00	c encountered learned constraints 2789005
3600.00/3609.00	c encountered bound constraints 0
3600.00/3609.00	c encountered core-guided constraints 0
3600.00/3609.00	c LP total time 19.51 s
3600.00/3609.00	c LP solve time 19.34 s
3600.00/3609.00	c LP constraints added 145422
3600.00/3609.00	c LP constraints removed 0
3600.00/3609.00	c LP pivots internal 31694
3600.00/3609.00	c LP pivots root 21000
3600.00/3609.00	c LP calls 7
3600.00/3609.00	c LP optimalities 2
3600.00/3609.00	c LP no pivot count 0
3600.00/3609.00	c LP infeasibilities 0
3600.00/3609.00	c LP valid Farkas constraints 0
3600.00/3609.00	c LP learned Farkas constraints 0
3600.00/3609.00	c LP basis resets 0
3600.00/3609.00	c LP cycling count 0
3600.00/3609.00	c LP singular count 0
3600.00/3609.00	c LP no primal count 0
3600.00/3609.00	c LP no farkas count 0
3600.00/3609.00	c LP other issue count 0
3600.00/3609.00	c LP Gomory cuts 0
3600.00/3609.00	c LP learned cuts 0
3600.00/3609.00	c LP deleted cuts 0
3600.00/3609.00	c LP encountered Gomory constraints 0
3600.00/3609.00	c LP encountered Farkas constraints 0
3600.00/3609.00	c LP encountered learned Farkas constraints 0
3600.00/3609.00	c CG auxiliary variables introduced 0
3600.00/3609.00	c CG solutions found 0
3600.00/3609.00	c CG cores constructed 0
3600.00/3609.00	c CG core cardinality constraints returned 0
3600.00/3609.00	c CG unit cores 0
3600.00/3609.00	c CG single cores 0
3600.00/3609.00	c CG blocks removed during cardinality reduction 0
3600.00/3609.00	c CG first core best 0
3600.00/3609.00	c CG decision core best 0
3600.00/3609.00	c CG core reduction tie 0
3600.00/3609.00	c CG core degree average 0.00
3600.00/3609.00	c CG core slack average 0.00
3600.00/3609.00	c CG core upper bound improvements 0
3600.00/3609.00	c STR number of successful calls 0
3600.00/3609.00	c STR number of unsuccessful calls 0
3600.00/3609.00	c STR number of inconclusive calls 0
3600.00/3609.00	c STR number of successful attempts 0
3600.00/3609.00	c STR number of unsuccessful attempts 0
3600.00/3609.00	c STR number of inconclusive attempts 0
3600.00/3609.00	c STR average degree increase per successful call inf
3600.00/3609.00	c STR average degree increase per successful attempt inf
3600.00/3609.00	c STR total number of conflicts for successful attempts 0
3600.00/3609.00	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.00	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.00	c STR average number of conflicts per successful attempt inf
3600.00/3609.00	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.00	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.00	c AVG.sumWPerc 81.81 
3600.00/3609.00	c bigint constraints 0 
3600.00/3609.00	s UNKNOWN
3600.00/3609.00	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62277 MiB free)
  memory of node 1: 64465 MiB (63316 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545351-1753235080/watcher-4545351-1753235080 -o /tmp/evaluation-result-4545351-1753235080/solver-4545351-1753235080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753234903-218326 --watchdog 3760 run-dec-ls.sh HOME/instance-4545351-1753235080.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=218483, runsolver pid=218480
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.14 4.09 4.09 5/270 218485
/proc/meminfo: memFree=128572528/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=90040 memory=43812 CPUtime=0.08 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 7147 0 0 0 5 3 0 0 20 0 1 0 239186820 92200960 10953 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 22510 10953 2048 1147 0 9937 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 94232 KiB
Current children cumulated memory: 46884 KiB

[startup+0.205817 s]*
/proc/loadavg: 4.13 4.09 4.09 5/270 218485
/proc/meminfo: memFree=128560432/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=104540 memory=58384 CPUtime=0.18 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 10437 0 0 0 12 6 0 0 20 0 1 0 239186820 107048960 14596 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 26135 14596 2048 1147 0 13562 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 108732 KiB
Current children cumulated memory: 61456 KiB

[startup+0.3057 s]*
/proc/loadavg: 4.13 4.09 4.09 5/270 218486
/proc/meminfo: memFree=128545564/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=121004 memory=71896 CPUtime=0.29 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 14223 0 0 0 21 8 0 0 20 0 1 0 239186820 123908096 17974 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 30251 17974 2048 1147 0 17678 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125196 KiB
Current children cumulated memory: 74968 KiB

[startup+0.700207 s]
/proc/loadavg: 4.13 4.09 4.09 5/270 218486
/proc/meminfo: memFree=128508580/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=386004 memory=205132 CPUtime=0.67 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 28613 0 0 0 51 16 0 0 20 0 1 0 239186820 395268096 51283 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 96501 51283 2304 1147 0 83928 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 390196 KiB
Current children cumulated memory: 208204 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 4.09 4.09 5/270 218486
/proc/meminfo: memFree=128313064/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=414124 memory=297568 CPUtime=1.47 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 44169 0 0 0 126 21 0 0 20 0 1 0 239186820 424062976 74392 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 103531 74392 2336 1147 0 90958 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 418316 KiB
Current children cumulated memory: 300640 KiB

[startup+3.10565 s]
/proc/loadavg: 4.13 4.09 4.09 5/270 218486
/proc/meminfo: memFree=128295408/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=414124 memory=297568 CPUtime=3.07 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 44175 0 0 0 286 21 0 0 20 0 1 0 239186820 424062976 74392 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 103531 74392 2336 1147 0 90958 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 418316 KiB
Current children cumulated memory: 300640 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 218486
/proc/meminfo: memFree=128295912/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=414124 memory=297568 CPUtime=6.26 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 44186 0 0 0 605 21 0 0 20 0 1 0 239186820 424062976 74392 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 103531 74392 2336 1147 0 90958 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 418316 KiB
Current children cumulated memory: 300640 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 218486
/proc/meminfo: memFree=128292584/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=422736 memory=307400 CPUtime=12.64 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 46109 0 0 0 1241 23 0 0 20 0 1 0 239186820 432881664 76850 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 105684 76850 2400 1147 0 93111 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 426928 KiB
Current children cumulated memory: 310472 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/269 218486
/proc/meminfo: memFree=128278052/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=444344 memory=334372 CPUtime=25.41 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 49297 0 0 0 2514 27 0 0 20 0 1 0 239186820 455008256 83593 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 111086 83593 2400 1147 0 98513 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 448536 KiB
Current children cumulated memory: 337444 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 218486
/proc/meminfo: memFree=128233024/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=473128 memory=357608 CPUtime=50.94 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 52025 0 0 0 5063 31 0 0 20 0 1 0 239186820 484483072 89402 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 118282 89402 2400 1147 0 105709 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 477320 KiB
Current children cumulated memory: 360680 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 218493
/proc/meminfo: memFree=128136864/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=594800 memory=444956 CPUtime=101.99 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 60611 0 0 0 10158 41 0 0 20 0 1 0 239186820 609075200 111239 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 148700 111239 2400 1147 0 136127 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 598992 KiB
Current children cumulated memory: 448028 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 218540
/proc/meminfo: memFree=128089372/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=598736 memory=448156 CPUtime=161.82 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 61442 0 0 0 16132 50 0 0 20 0 1 0 239186820 613105664 112039 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 149684 112039 2400 1147 0 137111 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 602928 KiB
Current children cumulated memory: 451228 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 218542
/proc/meminfo: memFree=128011996/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=602364 memory=490444 CPUtime=221.66 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 63852 0 0 0 22109 57 0 0 20 0 1 0 239186820 616820736 122611 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 150591 122611 2400 1147 0 138018 0

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

/proc/218485/statm: 412420 301077 2400 1147 0 399847 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 1653872 KiB
Current children cumulated memory: 1207380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 218684
/proc/meminfo: memFree=126585084/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1658584 memory=1225636 CPUtime=3094.41 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 132756 0 0 0 309180 261 0 0 20 0 1 0 239186820 1698390016 306409 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 414646 306409 2400 1147 0 402073 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 1662776 KiB
Current children cumulated memory: 1228708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 218690
/proc/meminfo: memFree=126502480/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667308 memory=1260352 CPUtime=3154.26 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 134836 0 0 0 315163 263 0 0 20 0 1 0 239186820 1707323392 315088 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416827 315088 2400 1147 0 404254 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 1671500 KiB
Current children cumulated memory: 1263424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 218692
/proc/meminfo: memFree=126494372/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667308 memory=1260352 CPUtime=3214.13 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 134836 0 0 0 321146 267 0 0 20 0 1 0 239186820 1707323392 315088 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416827 315088 2400 1147 0 404254 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 1671500 KiB
Current children cumulated memory: 1263424 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 218694
/proc/meminfo: memFree=126498384/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667308 memory=1260480 CPUtime=3273.99 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 134847 0 0 0 327129 270 0 0 20 0 1 0 239186820 1707323392 315120 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416827 315120 2400 1147 0 404254 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 1671500 KiB
Current children cumulated memory: 1263552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 218696
/proc/meminfo: memFree=126498252/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667308 memory=1260480 CPUtime=3333.86 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 134847 0 0 0 333112 274 0 0 20 0 1 0 239186820 1707323392 315120 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416827 315120 2400 1147 0 404254 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 1671500 KiB
Current children cumulated memory: 1263552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 218698
/proc/meminfo: memFree=126495116/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667308 memory=1260864 CPUtime=3393.72 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 135034 0 0 0 339096 276 0 0 20 0 1 0 239186820 1707323392 315216 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416827 315216 2400 1147 0 404254 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 1671500 KiB
Current children cumulated memory: 1263936 KiB

[startup+3462.3 s]
/proc/loadavg: 3.32 3.92 4.03 3/255 218762
/proc/meminfo: memFree=127923708/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667308 memory=1260864 CPUtime=3453.59 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 135327 0 0 0 345082 277 0 0 20 0 1 0 239186820 1707323392 315216 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416827 315216 2400 1147 0 404254 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 1671500 KiB
Current children cumulated memory: 1263936 KiB

[startup+3522.3 s]
/proc/loadavg: 2.79 3.67 3.93 3/255 218764
/proc/meminfo: memFree=127923848/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1667440 memory=1261120 CPUtime=3513.46 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 135407 0 0 0 351068 278 0 0 20 0 1 0 239186820 1707458560 315280 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 416860 315280 2400 1147 0 404287 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 1671632 KiB
Current children cumulated memory: 1264192 KiB

[startup+3582.3 s]
/proc/loadavg: 2.35 3.38 3.81 3/255 218766
/proc/meminfo: memFree=127923484/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1670016 memory=1263680 CPUtime=3573.34 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 136090 0 0 0 357054 280 0 0 20 0 1 0 239186820 1710096384 315920 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 417504 315920 2400 1147 0 404931 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 1674208 KiB
Current children cumulated memory: 1266752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 2.23 3.26 3.76 3/255 218766
/proc/meminfo: memFree=127923484/131249992 swapFree=33003724/33010684
[pid=218483] ppid=218480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/218483/stat : 218483 (run-dec-ls.sh) S 218480 218483 218313 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239186819 4292608 768 18446744073709551615 94467729219584 94467730114117 140735243382016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94467730353168 94467730400912 94467761262592 140735243389285 140735243389411 140735243389411 140735243395015 0
/proc/218483/statm: 1048 768 704 219 0 110 0
[pid=218485] ppid=218483 vsize=1672140 memory=1265856 CPUtime=3600 cores=5,7
/proc/218485/stat : 218485 (roundingsat) R 218483 218483 218313 0 -1 4194304 136624 0 0 0 359719 281 0 0 20 0 1 0 239186820 1712271360 316464 18446744073709551615 4227072 8923433 140724067650832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17072128 140724067658142 140724067658278 140724067658278 140724067663850 0
/proc/218485/statm: 418035 316464 2400 1147 0 405462 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1676332 KiB
Current children cumulated memory: 1268928 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000636 s, system=0.001454 s

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

# cumulated CPU time of all completed processes:  user=3597.22 s, system=2.82479 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

Child status: 2

Real time (s): 3609.04
CPU time (s): 3600.04
CPU user time (s): 3597.22
CPU system time (s): 2.82479
CPU usage (%): 99.7506
Max. virtual memory (cumulated for all children) (KiB): 1676332
Max. memory (cumulated for all children) (KiB): 1268928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.22
system time used= 2.82479
maximum resident set size= 1266240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136893
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= 224
involuntary context switches= 2849


# summary of solver processes directly reported to runsolver:
#   pid: 218483,218485
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.22
#   total CPU system time (s): 2.82479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34811 second user time and 16.2668 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 03:44:41
IDJOB=4545351
IDBENCH=180847
IDSOLVER=3353
FILE ID=nodeC025/4545351-1753235080
RUNJOBID= nodeC025-1753234903-218326
SLURM_JOB_ID= 9687865
Free space on /tmp= 431820 MiB

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

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

MD5SUM BENCH= ecd2a3a27adff12226215cdbd4072e2c
RANDOM SEED=1723456518

nodeC025 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.797
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.67
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.822
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.67
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		: 3605.778
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.67
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		: 3597.442
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.67
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.856
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.67
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		: 3599.840
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.67
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		: 3598.191
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.67
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.466
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        128607752 kB
MemAvailable:   128867184 kB
Buffers:            2128 kB
Cached:          1003080 kB
SwapCached:         2132 kB
Active:          1533428 kB
Inactive:         348420 kB
Active(anon):     870628 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   320808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14332 kB
Writeback:             0 kB
AnonPages:        874688 kB
Mapped:           117000 kB
Shmem:             21600 kB
KReclaimable:     230128 kB
Slab:             327440 kB
SReclaimable:     230128 kB
SUnreclaim:        97312 kB
KernelStack:        4368 kB
PageTables:         5064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1300860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431840 MiB
End job on nodeC025 at 2025-07-23 04:44:50