Trace number 4515347

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-log 63f22ad? (TO) 3600.26 3611.72

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
MD5SUM3de1ff2182bb2a8df9b13aa693b03795
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7728.55
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169577
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1966
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
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 202
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 758
Number of bits of the biggest sum of numbers10
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.98/1.06	c #variables 167056 #constraints 169877
845.94/848.81	c #Conflicts:       1000 | #Constraints:     170876
845.94/848.81	c #Conflicts:       2000 | #Constraints:     171876
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:       3000 | #Constraints:     171608
845.94/848.81	c #Conflicts:       4000 | #Constraints:     172608
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:       5000 | #Constraints:     172026
845.94/848.81	c #Conflicts:       6000 | #Constraints:     173026
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:       7000 | #Constraints:     172041
845.94/848.81	c #Conflicts:       8000 | #Constraints:     173041
845.94/848.81	c #Conflicts:       9000 | #Constraints:     174041
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      10000 | #Constraints:     172754
845.94/848.81	c #Conflicts:      11000 | #Constraints:     173754
845.94/848.81	c #Conflicts:      12000 | #Constraints:     174754
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      13000 | #Constraints:     173211
845.94/848.81	c #Conflicts:      14000 | #Constraints:     174211
845.94/848.81	c #Conflicts:      15000 | #Constraints:     175211
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      16000 | #Constraints:     173453
845.94/848.81	c #Conflicts:      17000 | #Constraints:     174453
845.94/848.81	c #Conflicts:      18000 | #Constraints:     175453
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      19000 | #Constraints:     173477
845.94/848.81	c #Conflicts:      20000 | #Constraints:     174477
845.94/848.81	c #Conflicts:      21000 | #Constraints:     175477
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      22000 | #Constraints:     173282
845.94/848.81	c #Conflicts:      23000 | #Constraints:     174282
845.94/848.81	c #Conflicts:      24000 | #Constraints:     175282
845.94/848.81	c #Conflicts:      25000 | #Constraints:     176282
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      26000 | #Constraints:     173888
845.94/848.81	c #Conflicts:      27000 | #Constraints:     174888
845.94/848.81	c #Conflicts:      28000 | #Constraints:     175888
845.94/848.81	c #Conflicts:      29000 | #Constraints:     176888
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      30000 | #Constraints:     174282
845.94/848.81	c #Conflicts:      31000 | #Constraints:     175282
845.94/848.81	c #Conflicts:      32000 | #Constraints:     176282
845.94/848.81	c #Conflicts:      33000 | #Constraints:     177282
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      34000 | #Constraints:     174473
845.94/848.81	c #Conflicts:      35000 | #Constraints:     175473
845.94/848.81	c #Conflicts:      36000 | #Constraints:     176473
845.94/848.81	c #Conflicts:      37000 | #Constraints:     177473
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      38000 | #Constraints:     174465
845.94/848.81	c #Conflicts:      39000 | #Constraints:     175465
845.94/848.81	c #Conflicts:      40000 | #Constraints:     176465
845.94/848.81	c #Conflicts:      41000 | #Constraints:     177465
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      42000 | #Constraints:     174300
845.94/848.81	c #Conflicts:      43000 | #Constraints:     175300
845.94/848.81	c #Conflicts:      44000 | #Constraints:     176300
845.94/848.81	c #Conflicts:      45000 | #Constraints:     177300
845.94/848.81	c #Conflicts:      46000 | #Constraints:     178300
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      47000 | #Constraints:     174882
845.94/848.81	c #Conflicts:      48000 | #Constraints:     175882
845.94/848.81	c #Conflicts:      49000 | #Constraints:     176882
845.94/848.81	c #Conflicts:      50000 | #Constraints:     177882
845.94/848.81	c #Conflicts:      51000 | #Constraints:     178882
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      52000 | #Constraints:     175287
845.94/848.81	c #Conflicts:      53000 | #Constraints:     176287
845.94/848.81	c #Conflicts:      54000 | #Constraints:     177287
845.94/848.81	c #Conflicts:      55000 | #Constraints:     178287
845.94/848.81	c #Conflicts:      56000 | #Constraints:     179287
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      57000 | #Constraints:     175490
845.94/848.81	c #Conflicts:      58000 | #Constraints:     176490
845.94/848.81	c #Conflicts:      59000 | #Constraints:     177490
845.94/848.81	c #Conflicts:      60000 | #Constraints:     178490
845.94/848.81	c #Conflicts:      61000 | #Constraints:     179490
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      62000 | #Constraints:     175500
845.94/848.81	c #Conflicts:      63000 | #Constraints:     176500
845.94/848.81	c #Conflicts:      64000 | #Constraints:     177500
845.94/848.81	c #Conflicts:      65000 | #Constraints:     178500
845.94/848.81	c #Conflicts:      66000 | #Constraints:     179500
845.94/848.81	c INPROCESSING
845.94/848.81	c GARBAGE COLLECT
845.94/848.81	c #Conflicts:      67000 | #Constraints:     175299
845.94/848.81	c #Conflicts:      68000 | #Constraints:     176299
1989.98/1996.53	c #Conflicts:      69000 | #Constraints:     177299
1989.98/1996.53	c #Conflicts:      70000 | #Constraints:     178299
1989.98/1996.53	c #Conflicts:      71000 | #Constraints:     179299
1989.98/1996.53	c #Conflicts:      72000 | #Constraints:     180299
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:      73000 | #Constraints:     175905
1989.98/1996.53	c #Conflicts:      74000 | #Constraints:     176905
1989.98/1996.53	c #Conflicts:      75000 | #Constraints:     177905
1989.98/1996.53	c #Conflicts:      76000 | #Constraints:     178905
1989.98/1996.53	c #Conflicts:      77000 | #Constraints:     179905
1989.98/1996.53	c #Conflicts:      78000 | #Constraints:     180905
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:      79000 | #Constraints:     176302
1989.98/1996.53	c #Conflicts:      80000 | #Constraints:     177302
1989.98/1996.53	c #Conflicts:      81000 | #Constraints:     178302
1989.98/1996.53	c #Conflicts:      82000 | #Constraints:     179302
1989.98/1996.53	c #Conflicts:      83000 | #Constraints:     180302
1989.98/1996.53	c #Conflicts:      84000 | #Constraints:     181302
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:      85000 | #Constraints:     176508
1989.98/1996.53	c #Conflicts:      86000 | #Constraints:     177508
1989.98/1996.53	c #Conflicts:      87000 | #Constraints:     178508
1989.98/1996.53	c #Conflicts:      88000 | #Constraints:     179508
1989.98/1996.53	c #Conflicts:      89000 | #Constraints:     180508
1989.98/1996.53	c #Conflicts:      90000 | #Constraints:     181508
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:      91000 | #Constraints:     176511
1989.98/1996.53	c #Conflicts:      92000 | #Constraints:     177511
1989.98/1996.53	c #Conflicts:      93000 | #Constraints:     178511
1989.98/1996.53	c #Conflicts:      94000 | #Constraints:     179511
1989.98/1996.53	c #Conflicts:      95000 | #Constraints:     180511
1989.98/1996.53	c #Conflicts:      96000 | #Constraints:     181511
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:      97000 | #Constraints:     176313
1989.98/1996.53	c #Conflicts:      98000 | #Constraints:     177313
1989.98/1996.53	c #Conflicts:      99000 | #Constraints:     178313
1989.98/1996.53	c #Conflicts:     100000 | #Constraints:     179313
1989.98/1996.53	c #Conflicts:     101000 | #Constraints:     180313
1989.98/1996.53	c #Conflicts:     102000 | #Constraints:     181313
1989.98/1996.53	c #Conflicts:     103000 | #Constraints:     182313
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:     104000 | #Constraints:     176907
1989.98/1996.53	c #Conflicts:     105000 | #Constraints:     177907
1989.98/1996.53	c #Conflicts:     106000 | #Constraints:     178907
1989.98/1996.53	c #Conflicts:     107000 | #Constraints:     179907
1989.98/1996.53	c #Conflicts:     108000 | #Constraints:     180907
1989.98/1996.53	c #Conflicts:     109000 | #Constraints:     181907
1989.98/1996.53	c #Conflicts:     110000 | #Constraints:     182907
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:     111000 | #Constraints:     177320
1989.98/1996.53	c #Conflicts:     112000 | #Constraints:     178320
1989.98/1996.53	c #Conflicts:     113000 | #Constraints:     179320
1989.98/1996.53	c #Conflicts:     114000 | #Constraints:     180320
1989.98/1996.53	c #Conflicts:     115000 | #Constraints:     181320
1989.98/1996.53	c #Conflicts:     116000 | #Constraints:     182320
1989.98/1996.53	c #Conflicts:     117000 | #Constraints:     183320
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:     118000 | #Constraints:     177520
1989.98/1996.53	c #Conflicts:     119000 | #Constraints:     178520
1989.98/1996.53	c #Conflicts:     120000 | #Constraints:     179520
1989.98/1996.53	c #Conflicts:     121000 | #Constraints:     180520
1989.98/1996.53	c #Conflicts:     122000 | #Constraints:     181520
1989.98/1996.53	c #Conflicts:     123000 | #Constraints:     182520
1989.98/1996.53	c #Conflicts:     124000 | #Constraints:     183520
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:     125000 | #Constraints:     177522
1989.98/1996.53	c #Conflicts:     126000 | #Constraints:     178522
1989.98/1996.53	c #Conflicts:     127000 | #Constraints:     179522
1989.98/1996.53	c #Conflicts:     128000 | #Constraints:     180522
1989.98/1996.53	c #Conflicts:     129000 | #Constraints:     181522
1989.98/1996.53	c #Conflicts:     130000 | #Constraints:     182522
1989.98/1996.53	c #Conflicts:     131000 | #Constraints:     183522
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:     132000 | #Constraints:     177315
1989.98/1996.53	c #Conflicts:     133000 | #Constraints:     178315
1989.98/1996.53	c #Conflicts:     134000 | #Constraints:     179315
1989.98/1996.53	c #Conflicts:     135000 | #Constraints:     180315
1989.98/1996.53	c #Conflicts:     136000 | #Constraints:     181315
1989.98/1996.53	c #Conflicts:     137000 | #Constraints:     182315
1989.98/1996.53	c #Conflicts:     138000 | #Constraints:     183315
1989.98/1996.53	c #Conflicts:     139000 | #Constraints:     184315
1989.98/1996.53	c INPROCESSING
1989.98/1996.53	c GARBAGE COLLECT
1989.98/1996.53	c #Conflicts:     140000 | #Constraints:     177904
3600.05/3611.50	c #Conflicts:     141000 | #Constraints:     178904
3600.05/3611.50	c #Conflicts:     142000 | #Constraints:     179904
3600.05/3611.50	c #Conflicts:     143000 | #Constraints:     180904
3600.05/3611.50	c #Conflicts:     144000 | #Constraints:     181904
3600.05/3611.50	c #Conflicts:     145000 | #Constraints:     182904
3600.05/3611.50	c #Conflicts:     146000 | #Constraints:     183904
3600.05/3611.50	c #Conflicts:     147000 | #Constraints:     184904
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     148000 | #Constraints:     178313
3600.05/3611.50	c #Conflicts:     149000 | #Constraints:     179313
3600.05/3611.50	c #Conflicts:     150000 | #Constraints:     180313
3600.05/3611.50	c #Conflicts:     151000 | #Constraints:     181313
3600.05/3611.50	c #Conflicts:     152000 | #Constraints:     182313
3600.05/3611.50	c #Conflicts:     153000 | #Constraints:     183313
3600.05/3611.50	c #Conflicts:     154000 | #Constraints:     184313
3600.05/3611.50	c #Conflicts:     155000 | #Constraints:     185313
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     156000 | #Constraints:     178508
3600.05/3611.50	c #Conflicts:     157000 | #Constraints:     179508
3600.05/3611.50	c #Conflicts:     158000 | #Constraints:     180508
3600.05/3611.50	c #Conflicts:     159000 | #Constraints:     181508
3600.05/3611.50	c #Conflicts:     160000 | #Constraints:     182508
3600.05/3611.50	c #Conflicts:     161000 | #Constraints:     183508
3600.05/3611.50	c #Conflicts:     162000 | #Constraints:     184508
3600.05/3611.50	c #Conflicts:     163000 | #Constraints:     185508
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     164000 | #Constraints:     178511
3600.05/3611.50	c #Conflicts:     165000 | #Constraints:     179511
3600.05/3611.50	c #Conflicts:     166000 | #Constraints:     180511
3600.05/3611.50	c #Conflicts:     167000 | #Constraints:     181511
3600.05/3611.50	c #Conflicts:     168000 | #Constraints:     182512
3600.05/3611.50	c #Conflicts:     169000 | #Constraints:     183512
3600.05/3611.50	c #Conflicts:     170000 | #Constraints:     184512
3600.05/3611.50	c #Conflicts:     171000 | #Constraints:     185512
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     172000 | #Constraints:     178290
3600.05/3611.50	c #Conflicts:     173000 | #Constraints:     179290
3600.05/3611.50	c #Conflicts:     174000 | #Constraints:     180290
3600.05/3611.50	c #Conflicts:     175000 | #Constraints:     181290
3600.05/3611.50	c #Conflicts:     176000 | #Constraints:     182290
3600.05/3611.50	c #Conflicts:     177000 | #Constraints:     183290
3600.05/3611.50	c #Conflicts:     178000 | #Constraints:     184290
3600.05/3611.50	c #Conflicts:     179000 | #Constraints:     185290
3600.05/3611.50	c #Conflicts:     180000 | #Constraints:     186291
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     181000 | #Constraints:     178884
3600.05/3611.50	c #Conflicts:     182000 | #Constraints:     179884
3600.05/3611.50	c #Conflicts:     183000 | #Constraints:     180884
3600.05/3611.50	c #Conflicts:     184000 | #Constraints:     181884
3600.05/3611.50	c #Conflicts:     185000 | #Constraints:     182884
3600.05/3611.50	c #Conflicts:     186000 | #Constraints:     183884
3600.05/3611.50	c #Conflicts:     187000 | #Constraints:     184884
3600.05/3611.50	c #Conflicts:     188000 | #Constraints:     185884
3600.05/3611.50	c #Conflicts:     189000 | #Constraints:     186884
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     190000 | #Constraints:     179325
3600.05/3611.50	c #Conflicts:     191000 | #Constraints:     180326
3600.05/3611.50	c #Conflicts:     192000 | #Constraints:     181326
3600.05/3611.50	c #Conflicts:     193000 | #Constraints:     182326
3600.05/3611.50	c #Conflicts:     194000 | #Constraints:     183326
3600.05/3611.50	c #Conflicts:     195000 | #Constraints:     184326
3600.05/3611.50	c #Conflicts:     196000 | #Constraints:     185326
3600.05/3611.50	c #Conflicts:     197000 | #Constraints:     186326
3600.05/3611.50	c #Conflicts:     198000 | #Constraints:     187326
3600.05/3611.50	c INPROCESSING
3600.05/3611.50	c GARBAGE COLLECT
3600.05/3611.50	c #Conflicts:     199000 | #Constraints:     179516
3600.05/3611.50	c #Conflicts:     200000 | #Constraints:     180516
3600.05/3611.50	c #Conflicts:     201000 | #Constraints:     181516
3600.05/3611.50	c #Conflicts:     202000 | #Constraints:     182516
3600.05/3611.50	c #Conflicts:     203000 | #Constraints:     183516
3600.05/3611.50	c #Conflicts:     204000 | #Constraints:     184516
3600.05/3611.50	c cpu time 3580.11 s
3600.05/3611.50	c deterministic time 616980685352 6.17e+11
3600.05/3611.50	c optimization time 230.898 s
3600.05/3611.50	c total solve time 3348.39 s
3600.05/3611.50	c core-guided solve time 0 s
3600.05/3611.50	c propagation time 2326.89 s
3600.05/3611.50	c conflict analysis time 992.736 s
3600.05/3611.50	c propagations 124460273
3600.05/3611.50	c resolve steps 824381
3600.05/3611.50	c decisions 14659311
3600.05/3611.50	c conflicts 204027
3600.05/3611.50	c restarts 509
3600.05/3611.50	c inprocessing phases 36
3600.05/3611.50	c garbage collections 36 ,( 100.00 )
3600.05/3611.50	c input clauses 167355 ,( 98.52 )
3600.05/3611.50	c input cardinalities 1966 ,( 1.16 )
3600.05/3611.50	c input general constraints 556 ,( 0.33 )
3600.05/3611.50	c input average constraint length 5.89
3600.05/3611.50	c input average constraint degree 5.40
3600.05/3611.50	c learned clauses 27351 ,( 13.41 )
3600.05/3611.50	c learned cardinalities 16890 ,( 8.28 )
3600.05/3611.50	c learned general constraints 159788 ,( 78.32 )
3600.05/3611.50	c learned average constraint length 20050.60
3600.05/3611.50	c learned average constraint degree 228091647.94
3600.05/3611.50	c watched  CF 32, 64, 128, Arb: 159042 , 0 , 0 , 0
3600.05/3611.50	c counting CF 32, 64, 128, Arb: 1302 , 0 , 0 , 0
3600.05/3611.50	c watched   constraints 159042 ,( 99.19 ) 
3600.05/3611.50	c counting  constraints 1302 ,( 0.81 ) 
3600.05/3611.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 62169744 , 18854934 , 171380171 ,( 170149670 , 1230501 )
3600.05/3611.50	c gcd simplifications 2279
3600.05/3611.50	c detected cardinalities 17
3600.05/3611.50	c weakened non-implied lits 288299481
3600.05/3611.50	c weakened non-implying lits 24368
3600.05/3611.50	c original variables 167056
3600.05/3611.50	c clausal propagations 58341178
3600.05/3611.50	c cardinality propagations 27584869
3600.05/3611.50	c watched propagations 10164056
3600.05/3611.50	c counting propagations 24291533
3600.05/3611.50	c watch lookups 1081473167
3600.05/3611.50	c watch backjump lookups 0
3600.05/3611.50	c watch checks 490354070575
3600.05/3611.50	c propagation checks 115822211920
3600.05/3611.50	c constraint additions 9444606567
3600.05/3611.50	c trail pops 139161141
3600.05/3611.50	c formula constraints 169877
3600.05/3611.50	c learned constraints 204023
3600.05/3611.50	c bound constraints 0
3600.05/3611.50	c core-guided constraints 0
3600.05/3611.50	c encountered formula constraints 472540
3600.05/3611.50	c encountered learned constraints 555691
3600.05/3611.50	c encountered bound constraints 0
3600.05/3611.50	c encountered core-guided constraints 0
3600.05/3611.50	c LP total time 79.4952 s
3600.05/3611.50	c LP solve time 79.03 s
3600.05/3611.50	c LP constraints added 169877
3600.05/3611.50	c LP constraints removed 0
3600.05/3611.50	c LP pivots internal 21397
3600.05/3611.50	c LP pivots root 21000
3600.05/3611.50	c LP calls 9
3600.05/3611.50	c LP optimalities 1
3600.05/3611.50	c LP no pivot count 0
3600.05/3611.50	c LP infeasibilities 3
3600.05/3611.50	c LP valid Farkas constraints 3
3600.05/3611.50	c LP learned Farkas constraints 3
3600.05/3611.50	c LP basis resets 0
3600.05/3611.50	c LP cycling count 0
3600.05/3611.50	c LP singular count 0
3600.05/3611.50	c LP no primal count 0
3600.05/3611.50	c LP no farkas count 0
3600.05/3611.50	c LP other issue count 0
3600.05/3611.50	c LP Gomory cuts 0
3600.05/3611.50	c LP learned cuts 0
3600.05/3611.50	c LP deleted cuts 0
3600.05/3611.50	c LP encountered Gomory constraints 0
3600.05/3611.50	c LP encountered Farkas constraints 141
3600.05/3611.50	c LP encountered learned Farkas constraints 33
3600.05/3611.50	c CG auxiliary variables introduced 0
3600.05/3611.50	c CG solutions found 0
3600.05/3611.50	c CG cores constructed 0
3600.05/3611.50	c CG core cardinality constraints returned 0
3600.05/3611.50	c CG unit cores 0
3600.05/3611.50	c CG single cores 0
3600.05/3611.50	c CG blocks removed during cardinality reduction 0
3600.05/3611.50	c CG first core best 0
3600.05/3611.50	c CG decision core best 0
3600.05/3611.50	c CG core reduction tie 0
3600.05/3611.50	c CG core degree average 0.00
3600.05/3611.50	c CG core slack average 0.00
3600.05/3611.50	c CG core upper bound improvements 0
3600.05/3611.50	c STR number of successful calls 0
3600.05/3611.50	c STR number of unsuccessful calls 0
3600.05/3611.50	c STR number of inconclusive calls 0
3600.05/3611.50	c STR number of successful attempts 0
3600.05/3611.50	c STR number of unsuccessful attempts 0
3600.05/3611.50	c STR number of inconclusive attempts 0
3600.05/3611.50	c STR average degree increase per successful call inf
3600.05/3611.50	c STR average degree increase per successful attempt inf
3600.05/3611.50	c STR total number of conflicts for successful attempts 0
3600.05/3611.50	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.50	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.50	c STR average number of conflicts per successful attempt inf
3600.05/3611.50	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.50	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.50	c AVG.sumWPerc 14.04 
3600.05/3611.50	c bigint constraints 0 
3600.05/3611.50	s UNKNOWN
3600.05/3611.50	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 (56973 MiB free)
  memory of node 1: 64465 MiB (57209 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515347-1751222631/watcher-4515347-1751222631 -o /tmp/evaluation-result-4515347-1751222631/solver-4515347-1751222631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751218188-36402 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515347-1751222631.opb PROOFDIR/proof-4515347-1751222631 

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

solver pid=38283, runsolver pid=38280

[startup+0.100061 s]*
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116878652/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=93628 memory=48904 CPUtime=0.09 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 5880 0 0 0 7 2 0 0 20 0 1 0 37941849 95875072 12226 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 23407 12226 1952 1147 0 10834 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97820 KiB
Current children cumulated memory: 51976 KiB

[startup+0.206084 s]*
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116873044/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=97796 memory=54912 CPUtime=0.19 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 7083 0 0 0 15 4 0 0 20 0 1 0 37941849 100143104 13728 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 24449 13728 1952 1147 0 11876 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101988 KiB
Current children cumulated memory: 57984 KiB

[startup+0.306016 s]*
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116869916/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=101448 memory=58208 CPUtime=0.29 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 8027 0 0 0 22 7 0 0 20 0 1 0 37941849 103882752 14552 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 25362 14552 1952 1147 0 12789 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 105640 KiB
Current children cumulated memory: 61280 KiB

[startup+0.700195 s]
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116862356/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=156104 memory=110628 CPUtime=0.68 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 14297 0 0 0 53 15 0 0 20 0 1 0 37941849 159850496 27657 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 39026 27657 2176 1147 0 26453 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 160296 KiB
Current children cumulated memory: 113700 KiB

[startup+1.50021 s]
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116641184/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=456052 memory=347876 CPUtime=1.47 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 40875 0 0 0 121 26 0 0 20 0 1 0 37941849 466997248 86969 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 114013 86969 2240 1147 0 101440 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 460244 KiB
Current children cumulated memory: 350948 KiB

[startup+3.10573 s]
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116536288/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=463700 memory=355556 CPUtime=3.07 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 42810 0 0 0 281 26 0 0 20 0 1 0 37941849 474828800 88889 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 115925 88889 2240 1147 0 103352 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 467892 KiB
Current children cumulated memory: 358628 KiB

[startup+6.30015 s]
/proc/loadavg: 4.04 4.07 4.05 5/273 38285
/proc/meminfo: memFree=116447204/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=469344 memory=361280 CPUtime=6.26 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 43799 0 0 0 599 27 0 0 20 0 1 0 37941849 480608256 90320 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 117336 90320 2240 1147 0 104763 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 473536 KiB
Current children cumulated memory: 364352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.06 5/273 38285
/proc/meminfo: memFree=116195844/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=552456 memory=442504 CPUtime=12.65 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 49770 0 0 0 1221 44 0 0 20 0 1 0 37941849 565714944 110626 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 138114 110626 2304 1147 0 125541 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 556648 KiB
Current children cumulated memory: 445576 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.06 5/273 38285
/proc/meminfo: memFree=115505820/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=747496 memory=577520 CPUtime=25.41 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 66137 0 0 0 2465 76 0 0 20 0 1 0 37941849 765435904 144380 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 186874 144380 2304 1147 0 174301 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 751688 KiB
Current children cumulated memory: 580592 KiB

[startup+51.1061 s]
/proc/loadavg: 4.06 4.08 4.05 5/273 38286
/proc/meminfo: memFree=114450524/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=949952 memory=721304 CPUtime=50.95 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 84548 0 0 0 4954 141 0 0 20 0 1 0 37941849 972750848 180326 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 237488 180326 2304 1147 0 224915 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 954144 KiB
Current children cumulated memory: 724376 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.06 5/272 38287
/proc/meminfo: memFree=112263420/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=1280432 memory=973076 CPUtime=102 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 110222 0 0 0 9993 207 0 0 20 0 1 0 37941849 1311162368 243269 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 320108 243269 2304 1147 0 307535 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1284624 KiB
Current children cumulated memory: 976148 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/272 38289
/proc/meminfo: memFree=109965036/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=1428772 memory=1302452 CPUtime=161.82 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 144550 0 0 0 15935 247 0 0 20 0 1 0 37941849 1463062528 325613 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 357193 325613 2304 1147 0 344620 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1432964 KiB
Current children cumulated memory: 1305524 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.06 5/273 38295
/proc/meminfo: memFree=108675492/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=1473436 memory=1347212 CPUtime=221.65 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 152269 0 0 0 21830 335 0 0 20 0 1 0 37941849 1508798464 336803 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0

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

/proc/loadavg: 4.21 4.15 4.10 5/275 38830
/proc/meminfo: memFree=59260996/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=5406044 memory=5097780 CPUtime=3152.1 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 649262 0 0 0 313283 1927 0 0 20 0 1 0 37941849 5535789056 1274445 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1351511 1274445 2336 1147 0 1338938 0
Current children cumulated CPU time: 3152.1 s
Current children cumulated vsize: 5410236 KiB
Current children cumulated memory: 5100852 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.10 3/266 40253
/proc/meminfo: memFree=83346744/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=5428588 memory=5122484 CPUtime=3211.92 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 658120 0 0 0 319258 1934 0 0 20 0 1 0 37941849 5558874112 1280621 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1357147 1280621 2336 1147 0 1344574 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 5432780 KiB
Current children cumulated memory: 5125556 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/276 40574
/proc/meminfo: memFree=81845544/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=5609076 memory=5265844 CPUtime=3271.74 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 696199 0 0 0 325228 1946 0 0 20 0 1 0 37941849 5743693824 1316461 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1402269 1316461 2336 1147 0 1389696 0
Current children cumulated CPU time: 3271.74 s
Current children cumulated vsize: 5613268 KiB
Current children cumulated memory: 5268916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/270 40649
/proc/meminfo: memFree=115902632/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=5653032 memory=5409424 CPUtime=3331.55 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 708342 0 0 0 331199 1956 0 0 20 0 1 0 37941849 5788704768 1352356 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1413258 1352356 2336 1147 0 1400685 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 5657224 KiB
Current children cumulated memory: 5412496 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/274 40722
/proc/meminfo: memFree=116120072/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=7177240 memory=5581432 CPUtime=3391.41 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 716814 0 0 0 337169 1972 0 0 20 0 1 0 37941849 7349493760 1395358 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1794310 1395358 2336 1147 0 1781737 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 7181432 KiB
Current children cumulated memory: 5584504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.19 4.11 5/275 40771
/proc/meminfo: memFree=115688888/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=7177240 memory=5597176 CPUtime=3451.26 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 717027 0 0 0 343148 1978 0 0 20 0 1 0 37941849 7349493760 1399294 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1794310 1399294 2336 1147 0 1781737 0
Current children cumulated CPU time: 3451.26 s
Current children cumulated vsize: 7181432 KiB
Current children cumulated memory: 5600248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.24 4.14 5/263 40837
/proc/meminfo: memFree=115406080/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=7186628 memory=5606904 CPUtime=3511.09 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 758376 0 0 0 349123 1986 0 0 20 0 1 0 37941849 7359107072 1401726 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1796657 1401726 2336 1147 0 1784084 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 7190820 KiB
Current children cumulated memory: 5609976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.21 4.13 5/275 41104
/proc/meminfo: memFree=115242968/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=7188752 memory=5610744 CPUtime=3570.93 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 761594 0 0 0 355100 1993 0 0 20 0 1 0 37941849 7361282048 1402686 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1797188 1402686 2336 1147 0 1784615 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 7192944 KiB
Current children cumulated memory: 5613816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.15 4.20 4.13 5/276 41106
/proc/meminfo: memFree=114877240/131249992 swapFree=33010684/33010684
[pid=38283] ppid=38280 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/38283/stat : 38283 (run-dec-log.sh) S 38280 38283 36389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37941848 4292608 768 18446744073709551615 93863088115712 93863089010245 140729237295744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863089249296 93863089297040 93863114002432 140729237301537 140729237301732 140729237301732 140729237307334 0
/proc/38283/statm: 1048 768 704 219 0 110 0
[pid=38285] ppid=38283 vsize=7198088 memory=5620216 CPUtime=3600.05 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 36389 0 -1 4194304 763946 0 0 0 358010 1995 0 0 20 0 1 0 37941849 7370842112 1405054 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1799522 1405054 2336 1147 0 1786949 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 7202280 KiB
Current children cumulated memory: 5623288 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00209 s, system=0.00016 s

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

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

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

[startup+3611.6 s]*
/proc/loadavg: 4.15 4.20 4.13 5/275 41106
/proc/meminfo: memFree=116547240/131249992 swapFree=33010684/33010684
[pid=38285] ppid=38280 vsize=6710848 memory=3539616 CPUtime=3600.14 cores=5,7
/proc/38285/stat : 38285 (roundingsat) R 38280 38283 36389 0 -1 4194304 764002 0 0 0 358015 1999 0 0 20 0 1 0 37941849 6871908352 885416 18446744073709551615 4227072 8923433 140722938737520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17653760 140722938739047 140722938739240 140722938739240 140722938744810 0
/proc/38285/statm: 1677712 884904 2432 1147 0 1665139 0
Current cumulated CPU time of completed processes: 0.00225 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 6710848 KiB
Current children cumulated memory: 3539616 KiB

[startup+3611.71 s]*
/proc/loadavg: 4.15 4.20 4.13 5/275 41106
/proc/meminfo: memFree=120237804/131249992 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.00225 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.72
CPU time (s): 3600.26
CPU user time (s): 3580.17
CPU system time (s): 20.0907
CPU usage (%): 99.6829
Max. virtual memory (cumulated for all children) (KiB): 7202280
Max. memory (cumulated for all children) (KiB): 5623288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.17
system time used= 20.0907
maximum resident set size= 5620600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 764228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11337080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 685
involuntary context switches= 4856


# summary of solver processes directly reported to runsolver:
#   pid: 38283,38285
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3580.17
#   total CPU system time (s): 20.0907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63782 second user time and 17.6546 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 20:43:51
IDJOB=4515347
IDBENCH=164408
IDSOLVER=3352
FILE ID=nodeC025/4515347-1751222631
RUNJOBID= nodeC025-1751218188-36402
SLURM_JOB_ID= 9587666
Free space on /tmp= 432596 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515347-1751222631/watcher-4515347-1751222631 -o /tmp/evaluation-result-4515347-1751222631/solver-4515347-1751222631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751218188-36402 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515347-1751222631.opb PROOFDIR/proof-4515347-1751222631

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

MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=847542966

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.830
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.905
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		: 3597.973
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		: 3599.342
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.857
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.289
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		: 3548.084
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.826
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:        116923756 kB
MemAvailable:   121640900 kB
Buffers:            3280 kB
Cached:          5515296 kB
SwapCached:            0 kB
Active:          8473096 kB
Inactive:        5242596 kB
Active(anon):    8215220 kB
Inactive(anon):        0 kB
Active(file):     257876 kB
Inactive(file):  5242596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            244456 kB
Writeback:            16 kB
AnonPages:       8200252 kB
Mapped:           115692 kB
Shmem:             18084 kB
KReclaimable:     111820 kB
Slab:             206876 kB
SReclaimable:     111820 kB
SUnreclaim:        95056 kB
KernelStack:        4404 kB
PageTables:        19588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8900108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4839424 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= 433024 MiB
End job on nodeC025 at 2025-06-29 21:44:03