Trace number 4515346

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat 63f22ad? (TO) 3600.21 3612.19

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
1.47/1.53	c #variables 167056 #constraints 169877
672.09/674.71	c #Conflicts:       1000 | #Constraints:     170876
672.09/674.71	c #Conflicts:       2000 | #Constraints:     171876
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:       3000 | #Constraints:     171608
672.09/674.71	c #Conflicts:       4000 | #Constraints:     172608
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:       5000 | #Constraints:     172026
672.09/674.71	c #Conflicts:       6000 | #Constraints:     173026
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:       7000 | #Constraints:     172041
672.09/674.71	c #Conflicts:       8000 | #Constraints:     173041
672.09/674.71	c #Conflicts:       9000 | #Constraints:     174041
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      10000 | #Constraints:     172754
672.09/674.71	c #Conflicts:      11000 | #Constraints:     173754
672.09/674.71	c #Conflicts:      12000 | #Constraints:     174754
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      13000 | #Constraints:     173211
672.09/674.71	c #Conflicts:      14000 | #Constraints:     174211
672.09/674.71	c #Conflicts:      15000 | #Constraints:     175211
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      16000 | #Constraints:     173453
672.09/674.71	c #Conflicts:      17000 | #Constraints:     174453
672.09/674.71	c #Conflicts:      18000 | #Constraints:     175453
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      19000 | #Constraints:     173477
672.09/674.71	c #Conflicts:      20000 | #Constraints:     174477
672.09/674.71	c #Conflicts:      21000 | #Constraints:     175477
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      22000 | #Constraints:     173282
672.09/674.71	c #Conflicts:      23000 | #Constraints:     174282
672.09/674.71	c #Conflicts:      24000 | #Constraints:     175282
672.09/674.71	c #Conflicts:      25000 | #Constraints:     176282
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      26000 | #Constraints:     173888
672.09/674.71	c #Conflicts:      27000 | #Constraints:     174888
672.09/674.71	c #Conflicts:      28000 | #Constraints:     175888
672.09/674.71	c #Conflicts:      29000 | #Constraints:     176888
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      30000 | #Constraints:     174282
672.09/674.71	c #Conflicts:      31000 | #Constraints:     175282
672.09/674.71	c #Conflicts:      32000 | #Constraints:     176282
672.09/674.71	c #Conflicts:      33000 | #Constraints:     177282
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      34000 | #Constraints:     174473
672.09/674.71	c #Conflicts:      35000 | #Constraints:     175473
672.09/674.71	c #Conflicts:      36000 | #Constraints:     176473
672.09/674.71	c #Conflicts:      37000 | #Constraints:     177473
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      38000 | #Constraints:     174465
672.09/674.71	c #Conflicts:      39000 | #Constraints:     175465
672.09/674.71	c #Conflicts:      40000 | #Constraints:     176465
672.09/674.71	c #Conflicts:      41000 | #Constraints:     177465
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      42000 | #Constraints:     174300
672.09/674.71	c #Conflicts:      43000 | #Constraints:     175300
672.09/674.71	c #Conflicts:      44000 | #Constraints:     176300
672.09/674.71	c #Conflicts:      45000 | #Constraints:     177300
672.09/674.71	c #Conflicts:      46000 | #Constraints:     178300
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      47000 | #Constraints:     174882
672.09/674.71	c #Conflicts:      48000 | #Constraints:     175882
672.09/674.71	c #Conflicts:      49000 | #Constraints:     176882
672.09/674.71	c #Conflicts:      50000 | #Constraints:     177882
672.09/674.71	c #Conflicts:      51000 | #Constraints:     178882
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      52000 | #Constraints:     175287
672.09/674.71	c #Conflicts:      53000 | #Constraints:     176287
672.09/674.71	c #Conflicts:      54000 | #Constraints:     177287
672.09/674.71	c #Conflicts:      55000 | #Constraints:     178287
672.09/674.71	c #Conflicts:      56000 | #Constraints:     179287
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      57000 | #Constraints:     175490
672.09/674.71	c #Conflicts:      58000 | #Constraints:     176490
672.09/674.71	c #Conflicts:      59000 | #Constraints:     177490
672.09/674.71	c #Conflicts:      60000 | #Constraints:     178490
672.09/674.71	c #Conflicts:      61000 | #Constraints:     179490
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      62000 | #Constraints:     175500
672.09/674.71	c #Conflicts:      63000 | #Constraints:     176500
672.09/674.71	c #Conflicts:      64000 | #Constraints:     177500
672.09/674.71	c #Conflicts:      65000 | #Constraints:     178500
672.09/674.71	c #Conflicts:      66000 | #Constraints:     179500
672.09/674.71	c INPROCESSING
672.09/674.71	c GARBAGE COLLECT
672.09/674.71	c #Conflicts:      67000 | #Constraints:     175299
672.09/674.71	c #Conflicts:      68000 | #Constraints:     176299
1676.68/1682.21	c #Conflicts:      69000 | #Constraints:     177299
1676.68/1682.21	c #Conflicts:      70000 | #Constraints:     178299
1676.68/1682.21	c #Conflicts:      71000 | #Constraints:     179299
1676.68/1682.21	c #Conflicts:      72000 | #Constraints:     180299
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:      73000 | #Constraints:     175905
1676.68/1682.21	c #Conflicts:      74000 | #Constraints:     176905
1676.68/1682.21	c #Conflicts:      75000 | #Constraints:     177905
1676.68/1682.21	c #Conflicts:      76000 | #Constraints:     178905
1676.68/1682.21	c #Conflicts:      77000 | #Constraints:     179905
1676.68/1682.21	c #Conflicts:      78000 | #Constraints:     180905
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:      79000 | #Constraints:     176302
1676.68/1682.21	c #Conflicts:      80000 | #Constraints:     177302
1676.68/1682.21	c #Conflicts:      81000 | #Constraints:     178302
1676.68/1682.21	c #Conflicts:      82000 | #Constraints:     179302
1676.68/1682.21	c #Conflicts:      83000 | #Constraints:     180302
1676.68/1682.21	c #Conflicts:      84000 | #Constraints:     181302
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:      85000 | #Constraints:     176508
1676.68/1682.21	c #Conflicts:      86000 | #Constraints:     177508
1676.68/1682.21	c #Conflicts:      87000 | #Constraints:     178508
1676.68/1682.21	c #Conflicts:      88000 | #Constraints:     179508
1676.68/1682.21	c #Conflicts:      89000 | #Constraints:     180508
1676.68/1682.21	c #Conflicts:      90000 | #Constraints:     181508
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:      91000 | #Constraints:     176511
1676.68/1682.21	c #Conflicts:      92000 | #Constraints:     177511
1676.68/1682.21	c #Conflicts:      93000 | #Constraints:     178511
1676.68/1682.21	c #Conflicts:      94000 | #Constraints:     179511
1676.68/1682.21	c #Conflicts:      95000 | #Constraints:     180511
1676.68/1682.21	c #Conflicts:      96000 | #Constraints:     181511
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:      97000 | #Constraints:     176313
1676.68/1682.21	c #Conflicts:      98000 | #Constraints:     177313
1676.68/1682.21	c #Conflicts:      99000 | #Constraints:     178313
1676.68/1682.21	c #Conflicts:     100000 | #Constraints:     179313
1676.68/1682.21	c #Conflicts:     101000 | #Constraints:     180313
1676.68/1682.21	c #Conflicts:     102000 | #Constraints:     181313
1676.68/1682.21	c #Conflicts:     103000 | #Constraints:     182313
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:     104000 | #Constraints:     176907
1676.68/1682.21	c #Conflicts:     105000 | #Constraints:     177907
1676.68/1682.21	c #Conflicts:     106000 | #Constraints:     178907
1676.68/1682.21	c #Conflicts:     107000 | #Constraints:     179907
1676.68/1682.21	c #Conflicts:     108000 | #Constraints:     180907
1676.68/1682.21	c #Conflicts:     109000 | #Constraints:     181907
1676.68/1682.21	c #Conflicts:     110000 | #Constraints:     182907
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:     111000 | #Constraints:     177320
1676.68/1682.21	c #Conflicts:     112000 | #Constraints:     178320
1676.68/1682.21	c #Conflicts:     113000 | #Constraints:     179320
1676.68/1682.21	c #Conflicts:     114000 | #Constraints:     180320
1676.68/1682.21	c #Conflicts:     115000 | #Constraints:     181320
1676.68/1682.21	c #Conflicts:     116000 | #Constraints:     182320
1676.68/1682.21	c #Conflicts:     117000 | #Constraints:     183320
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:     118000 | #Constraints:     177520
1676.68/1682.21	c #Conflicts:     119000 | #Constraints:     178520
1676.68/1682.21	c #Conflicts:     120000 | #Constraints:     179520
1676.68/1682.21	c #Conflicts:     121000 | #Constraints:     180520
1676.68/1682.21	c #Conflicts:     122000 | #Constraints:     181520
1676.68/1682.21	c #Conflicts:     123000 | #Constraints:     182520
1676.68/1682.21	c #Conflicts:     124000 | #Constraints:     183520
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:     125000 | #Constraints:     177522
1676.68/1682.21	c #Conflicts:     126000 | #Constraints:     178522
1676.68/1682.21	c #Conflicts:     127000 | #Constraints:     179522
1676.68/1682.21	c #Conflicts:     128000 | #Constraints:     180522
1676.68/1682.21	c #Conflicts:     129000 | #Constraints:     181522
1676.68/1682.21	c #Conflicts:     130000 | #Constraints:     182522
1676.68/1682.21	c #Conflicts:     131000 | #Constraints:     183522
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:     132000 | #Constraints:     177315
1676.68/1682.21	c #Conflicts:     133000 | #Constraints:     178315
1676.68/1682.21	c #Conflicts:     134000 | #Constraints:     179315
1676.68/1682.21	c #Conflicts:     135000 | #Constraints:     180315
1676.68/1682.21	c #Conflicts:     136000 | #Constraints:     181315
1676.68/1682.21	c #Conflicts:     137000 | #Constraints:     182315
1676.68/1682.21	c #Conflicts:     138000 | #Constraints:     183315
1676.68/1682.21	c #Conflicts:     139000 | #Constraints:     184315
1676.68/1682.21	c INPROCESSING
1676.68/1682.21	c GARBAGE COLLECT
1676.68/1682.21	c #Conflicts:     140000 | #Constraints:     177904
3411.77/3423.20	c #Conflicts:     141000 | #Constraints:     178904
3411.77/3423.20	c #Conflicts:     142000 | #Constraints:     179904
3411.77/3423.20	c #Conflicts:     143000 | #Constraints:     180904
3411.77/3423.20	c #Conflicts:     144000 | #Constraints:     181904
3411.77/3423.20	c #Conflicts:     145000 | #Constraints:     182904
3411.77/3423.20	c #Conflicts:     146000 | #Constraints:     183904
3411.77/3423.20	c #Conflicts:     147000 | #Constraints:     184904
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     148000 | #Constraints:     178313
3411.77/3423.20	c #Conflicts:     149000 | #Constraints:     179313
3411.77/3423.20	c #Conflicts:     150000 | #Constraints:     180313
3411.77/3423.20	c #Conflicts:     151000 | #Constraints:     181313
3411.77/3423.20	c #Conflicts:     152000 | #Constraints:     182313
3411.77/3423.20	c #Conflicts:     153000 | #Constraints:     183313
3411.77/3423.20	c #Conflicts:     154000 | #Constraints:     184313
3411.77/3423.20	c #Conflicts:     155000 | #Constraints:     185313
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     156000 | #Constraints:     178508
3411.77/3423.20	c #Conflicts:     157000 | #Constraints:     179508
3411.77/3423.20	c #Conflicts:     158000 | #Constraints:     180508
3411.77/3423.20	c #Conflicts:     159000 | #Constraints:     181508
3411.77/3423.20	c #Conflicts:     160000 | #Constraints:     182508
3411.77/3423.20	c #Conflicts:     161000 | #Constraints:     183508
3411.77/3423.20	c #Conflicts:     162000 | #Constraints:     184508
3411.77/3423.20	c #Conflicts:     163000 | #Constraints:     185508
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     164000 | #Constraints:     178511
3411.77/3423.20	c #Conflicts:     165000 | #Constraints:     179511
3411.77/3423.20	c #Conflicts:     166000 | #Constraints:     180511
3411.77/3423.20	c #Conflicts:     167000 | #Constraints:     181511
3411.77/3423.20	c #Conflicts:     168000 | #Constraints:     182512
3411.77/3423.20	c #Conflicts:     169000 | #Constraints:     183512
3411.77/3423.20	c #Conflicts:     170000 | #Constraints:     184512
3411.77/3423.20	c #Conflicts:     171000 | #Constraints:     185512
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     172000 | #Constraints:     178290
3411.77/3423.20	c #Conflicts:     173000 | #Constraints:     179290
3411.77/3423.20	c #Conflicts:     174000 | #Constraints:     180290
3411.77/3423.20	c #Conflicts:     175000 | #Constraints:     181290
3411.77/3423.20	c #Conflicts:     176000 | #Constraints:     182290
3411.77/3423.20	c #Conflicts:     177000 | #Constraints:     183290
3411.77/3423.20	c #Conflicts:     178000 | #Constraints:     184290
3411.77/3423.20	c #Conflicts:     179000 | #Constraints:     185290
3411.77/3423.20	c #Conflicts:     180000 | #Constraints:     186291
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     181000 | #Constraints:     178884
3411.77/3423.20	c #Conflicts:     182000 | #Constraints:     179884
3411.77/3423.20	c #Conflicts:     183000 | #Constraints:     180884
3411.77/3423.20	c #Conflicts:     184000 | #Constraints:     181884
3411.77/3423.20	c #Conflicts:     185000 | #Constraints:     182884
3411.77/3423.20	c #Conflicts:     186000 | #Constraints:     183884
3411.77/3423.20	c #Conflicts:     187000 | #Constraints:     184884
3411.77/3423.20	c #Conflicts:     188000 | #Constraints:     185884
3411.77/3423.20	c #Conflicts:     189000 | #Constraints:     186884
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     190000 | #Constraints:     179325
3411.77/3423.20	c #Conflicts:     191000 | #Constraints:     180326
3411.77/3423.20	c #Conflicts:     192000 | #Constraints:     181326
3411.77/3423.20	c #Conflicts:     193000 | #Constraints:     182326
3411.77/3423.20	c #Conflicts:     194000 | #Constraints:     183326
3411.77/3423.20	c #Conflicts:     195000 | #Constraints:     184326
3411.77/3423.20	c #Conflicts:     196000 | #Constraints:     185326
3411.77/3423.20	c #Conflicts:     197000 | #Constraints:     186326
3411.77/3423.20	c #Conflicts:     198000 | #Constraints:     187326
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     199000 | #Constraints:     179516
3411.77/3423.20	c #Conflicts:     200000 | #Constraints:     180516
3411.77/3423.20	c #Conflicts:     201000 | #Constraints:     181516
3411.77/3423.20	c #Conflicts:     202000 | #Constraints:     182516
3411.77/3423.20	c #Conflicts:     203000 | #Constraints:     183516
3411.77/3423.20	c #Conflicts:     204000 | #Constraints:     184516
3411.77/3423.20	c #Conflicts:     205000 | #Constraints:     185516
3411.77/3423.20	c #Conflicts:     206000 | #Constraints:     186516
3411.77/3423.20	c #Conflicts:     207000 | #Constraints:     187516
3411.77/3423.20	c INPROCESSING
3411.77/3423.20	c GARBAGE COLLECT
3411.77/3423.20	c #Conflicts:     208000 | #Constraints:     179529
3411.77/3423.20	c #Conflicts:     209000 | #Constraints:     180529
3411.77/3423.20	c #Conflicts:     210000 | #Constraints:     181529
3411.77/3423.20	c #Conflicts:     211000 | #Constraints:     182529
3411.77/3423.20	c #Conflicts:     212000 | #Constraints:     183529
3411.77/3423.20	c #Conflicts:     213000 | #Constraints:     184529
3562.53/3574.41	c #Conflicts:     214000 | #Constraints:     185530
3562.53/3574.41	c #Conflicts:     215000 | #Constraints:     186530
3562.53/3574.41	c #Conflicts:     216000 | #Constraints:     187530
3562.53/3574.41	c INPROCESSING
3562.53/3574.41	c GARBAGE COLLECT
3562.53/3574.41	c rational objective 488.25
3600.03/3612.01	c #Conflicts:     217000 | #Constraints:     179325
3600.03/3612.01	c #Conflicts:     218000 | #Constraints:     180325
3600.03/3612.01	c cpu time 3583.65 s
3600.03/3612.01	c deterministic time 707264210028 7.07e+11
3600.03/3612.01	c optimization time 22.3181 s
3600.03/3612.01	c total solve time 3560.17 s
3600.03/3612.01	c core-guided solve time 0 s
3600.03/3612.01	c propagation time 2379.75 s
3600.03/3612.01	c conflict analysis time 875.965 s
3600.03/3612.01	c propagations 129146837
3600.03/3612.01	c resolve steps 873866
3600.03/3612.01	c decisions 14902079
3600.03/3612.01	c conflicts 218829
3600.03/3612.01	c restarts 510
3600.03/3612.01	c inprocessing phases 38
3600.03/3612.01	c garbage collections 38 ,( 100.00 )
3600.03/3612.01	c input clauses 167355 ,( 98.52 )
3600.03/3612.01	c input cardinalities 1966 ,( 1.16 )
3600.03/3612.01	c input general constraints 556 ,( 0.33 )
3600.03/3612.01	c input average constraint length 5.89
3600.03/3612.01	c input average constraint degree 5.40
3600.03/3612.01	c learned clauses 27975 ,( 12.78 )
3600.03/3612.01	c learned cardinalities 17229 ,( 7.87 )
3600.03/3612.01	c learned general constraints 173635 ,( 79.34 )
3600.03/3612.01	c learned average constraint length 20140.38
3600.03/3612.01	c learned average constraint degree 253126496.12
3600.03/3612.01	c watched  CF 32, 64, 128, Arb: 172372 , 0 , 0 , 0
3600.03/3612.01	c counting CF 32, 64, 128, Arb: 1819 , 0 , 0 , 0
3600.03/3612.01	c watched   constraints 172372 ,( 98.96 ) 
3600.03/3612.01	c counting  constraints 1819 ,( 1.04 ) 
3600.03/3612.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 62648627 , 19640214 , 194140105 ,( 192525263 , 1614842 )
3600.03/3612.01	c gcd simplifications 2318
3600.03/3612.01	c detected cardinalities 18
3600.03/3612.01	c weakened non-implied lits 309629027
3600.03/3612.01	c weakened non-implying lits 25250
3600.03/3612.01	c original variables 167056
3600.03/3612.01	c clausal propagations 58672993
3600.03/3612.01	c cardinality propagations 29044474
3600.03/3612.01	c watched propagations 11079733
3600.03/3612.01	c counting propagations 26054028
3600.03/3612.01	c watch lookups 1206020420
3600.03/3612.01	c watch backjump lookups 0
3600.03/3612.01	c watch checks 564181328723
3600.03/3612.01	c propagation checks 131345400269
3600.03/3612.01	c constraint additions 10243237944
3600.03/3612.01	c trail pops 144118686
3600.03/3612.01	c formula constraints 169877
3600.03/3612.01	c learned constraints 218824
3600.03/3612.01	c bound constraints 0
3600.03/3612.01	c core-guided constraints 0
3600.03/3612.01	c encountered formula constraints 496290
3600.03/3612.01	c encountered learned constraints 596215
3600.03/3612.01	c encountered bound constraints 0
3600.03/3612.01	c encountered core-guided constraints 0
3600.03/3612.01	c LP total time 165.113 s
3600.03/3612.01	c LP solve time 149.58 s
3600.03/3612.01	c LP constraints added 169877
3600.03/3612.01	c LP constraints removed 0
3600.03/3612.01	c LP pivots internal 23461
3600.03/3612.01	c LP pivots root 31608
3600.03/3612.01	c LP calls 11
3600.03/3612.01	c LP optimalities 2
3600.03/3612.01	c LP no pivot count 0
3600.03/3612.01	c LP infeasibilities 4
3600.03/3612.01	c LP valid Farkas constraints 4
3600.03/3612.01	c LP learned Farkas constraints 4
3600.03/3612.01	c LP basis resets 0
3600.03/3612.01	c LP cycling count 0
3600.03/3612.01	c LP singular count 0
3600.03/3612.01	c LP no primal count 0
3600.03/3612.01	c LP no farkas count 0
3600.03/3612.01	c LP other issue count 0
3600.03/3612.01	c LP Gomory cuts 7
3600.03/3612.01	c LP learned cuts 29
3600.03/3612.01	c LP deleted cuts 0
3600.03/3612.01	c LP encountered Gomory constraints 0
3600.03/3612.01	c LP encountered Farkas constraints 152
3600.03/3612.01	c LP encountered learned Farkas constraints 34
3600.03/3612.01	c CG auxiliary variables introduced 0
3600.03/3612.01	c CG solutions found 0
3600.03/3612.01	c CG cores constructed 0
3600.03/3612.01	c CG core cardinality constraints returned 0
3600.03/3612.01	c CG unit cores 0
3600.03/3612.01	c CG single cores 0
3600.03/3612.01	c CG blocks removed during cardinality reduction 0
3600.03/3612.01	c CG first core best 0
3600.03/3612.01	c CG decision core best 0
3600.03/3612.01	c CG core reduction tie 0
3600.03/3612.01	c CG core degree average 0.00
3600.03/3612.01	c CG core slack average 0.00
3600.03/3612.01	c CG core upper bound improvements 0
3600.03/3612.01	c STR number of successful calls 0
3600.03/3612.01	c STR number of unsuccessful calls 0
3600.03/3612.01	c STR number of inconclusive calls 0
3600.03/3612.01	c STR number of successful attempts 0
3600.03/3612.01	c STR number of unsuccessful attempts 0
3600.03/3612.01	c STR number of inconclusive attempts 0
3600.03/3612.01	c STR average degree increase per successful call inf
3600.03/3612.01	c STR average degree increase per successful attempt inf
3600.03/3612.01	c STR total number of conflicts for successful attempts 0
3600.03/3612.01	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3612.01	c STR total number of conflicts for inconclusive attempts 0
3600.03/3612.01	c STR average number of conflicts per successful attempt inf
3600.03/3612.01	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3612.01	c STR average number of conflicts per inconclusive attempt inf
3600.03/3612.01	c AVG.sumWPerc 14.47 
3600.03/3612.01	c bigint constraints 0 
3600.03/3612.01	s UNKNOWN
3600.03/3612.01	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62995 MiB free)
  memory of node 1: 64465 MiB (63801 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=35876, runsolver pid=35873

[startup+0.100111 s]*
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129801132/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=88912 memory=44108 CPUtime=0.08 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 4710 0 0 0 6 2 0 0 20 0 1 0 38932208 91045888 11027 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 22228 11027 1920 1147 0 9655 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93104 KiB
Current children cumulated memory: 47180 KiB

[startup+0.214416 s]*
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129768748/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=92984 memory=48076 CPUtime=0.2 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 5710 0 0 0 17 3 0 0 20 0 1 0 38932208 95215616 12019 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 23246 12019 1920 1147 0 10673 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97176 KiB
Current children cumulated memory: 51148 KiB

[startup+0.313977 s]*
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129768748/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=94196 memory=49356 CPUtime=0.3 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 6042 0 0 0 24 6 0 0 20 0 1 0 38932208 96456704 12339 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 23549 12339 1920 1147 0 10976 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98388 KiB
Current children cumulated memory: 52428 KiB

[startup+0.700368 s]
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129768748/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=101244 memory=56052 CPUtime=0.67 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 7465 0 0 0 49 18 0 0 20 0 1 0 38932208 103673856 14013 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 25311 14013 1920 1147 0 12738 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 105436 KiB
Current children cumulated memory: 59124 KiB

[startup+1.50042 s]
/proc/loadavg: 1.71 2.68 3.02 5/254 35878
/proc/meminfo: memFree=129752116/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=313168 memory=214940 CPUtime=1.47 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 22562 0 0 0 113 34 0 0 20 0 1 0 38932208 320684032 53735 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 78292 53735 2272 1147 0 65719 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 317360 KiB
Current children cumulated memory: 218012 KiB

[startup+3.11299 s]
/proc/loadavg: 1.71 2.68 3.02 5/254 35878
/proc/meminfo: memFree=129408020/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=454988 memory=349740 CPUtime=3.07 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 43777 0 0 0 268 39 0 0 20 0 1 0 38932208 465907712 87435 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 113747 87435 2304 1147 0 101174 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 459180 KiB
Current children cumulated memory: 352812 KiB

[startup+6.30039 s]
/proc/loadavg: 1.89 2.70 3.03 5/254 35878
/proc/meminfo: memFree=129332464/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=462000 memory=355984 CPUtime=6.26 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 44867 0 0 0 586 40 0 0 20 0 1 0 38932208 473088000 88996 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 115500 88996 2304 1147 0 102927 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 466192 KiB
Current children cumulated memory: 359056 KiB

[startup+12.7004 s]
/proc/loadavg: 2.06 2.72 3.03 6/255 35925
/proc/meminfo: memFree=129283540/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=543836 memory=440288 CPUtime=12.63 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 51094 0 0 0 1204 59 0 0 20 0 1 0 38932208 556888064 110072 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 135959 110072 2368 1147 0 123386 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 548028 KiB
Current children cumulated memory: 443360 KiB

[startup+25.5004 s]
/proc/loadavg: 2.44 2.78 3.05 5/250 35979
/proc/meminfo: memFree=129129436/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=770864 memory=622164 CPUtime=25.37 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 76119 0 0 0 2432 105 0 0 20 0 1 0 38932208 789364736 155541 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 192716 155541 2368 1147 0 180143 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 775056 KiB
Current children cumulated memory: 625236 KiB

[startup+51.1131 s]
/proc/loadavg: 3.23 2.95 3.10 5/255 36294
/proc/meminfo: memFree=128742156/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=946696 memory=718888 CPUtime=50.81 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 87549 0 0 0 4905 176 0 0 20 0 1 0 38932208 969416704 179722 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 236674 179722 2368 1147 0 224101 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 950888 KiB
Current children cumulated memory: 721960 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 3.10 3.14 4/250 37498
/proc/meminfo: memFree=128126740/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=1348328 memory=1228904 CPUtime=101.57 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 128727 0 0 0 9901 256 0 0 20 0 1 0 38932208 1380687872 307226 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 337082 307226 2368 1147 0 324509 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 1352520 KiB
Current children cumulated memory: 1231976 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.29 3.21 5/255 37905
/proc/meminfo: memFree=127715324/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=1440752 memory=1318348 CPUtime=161.27 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 147555 0 0 0 15800 327 0 0 20 0 1 0 38932208 1475330048 329587 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 360188 329587 2368 1147 0 347615 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 1444944 KiB
Current children cumulated memory: 1321420 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.46 3.27 5/256 38004
/proc/meminfo: memFree=127358944/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=1524572 memory=1401584 CPUtime=221.06 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 167944 0 0 0 21708 398 0 0 20 0 1 0 38932208 1561161728 350396 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 381143 350396 2368 1147 0 368570 0
Current children cumulated CPU time: 221.06 s

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

[pid=35878] ppid=35876 vsize=7165948 memory=5627036 CPUtime=3091.89 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 752138 0 0 0 307661 1528 0 0 20 0 1 0 38932208 7337930752 1406759 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1791487 1406759 2400 1147 0 1778914 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 7170140 KiB
Current children cumulated memory: 5630108 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 38574
/proc/meminfo: memFree=116811988/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7167592 memory=5634332 CPUtime=3151.7 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 752868 0 0 0 313639 1531 0 0 20 0 1 0 38932208 7339614208 1408583 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1791898 1408583 2400 1147 0 1779325 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 7171784 KiB
Current children cumulated memory: 5637404 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 38576
/proc/meminfo: memFree=116765404/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7190800 memory=5656988 CPUtime=3211.5 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 759108 0 0 0 319615 1535 0 0 20 0 1 0 38932208 7363379200 1414247 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1797700 1414247 2400 1147 0 1785127 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 7194992 KiB
Current children cumulated memory: 5660060 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 38582
/proc/meminfo: memFree=116663348/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7354604 memory=5771804 CPUtime=3271.3 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 787947 0 0 0 325583 1547 0 0 20 0 1 0 38932208 7531114496 1442951 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1838651 1442951 2400 1147 0 1826078 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 7358796 KiB
Current children cumulated memory: 5774876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 38584
/proc/meminfo: memFree=116667284/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7361072 memory=5778032 CPUtime=3331.12 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 789749 0 0 0 331557 1555 0 0 20 0 1 0 38932208 7537737728 1444508 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1840268 1444508 2400 1147 0 1827695 0
Current children cumulated CPU time: 3331.12 s
Current children cumulated vsize: 7365264 KiB
Current children cumulated memory: 5781104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 38586
/proc/meminfo: memFree=116577520/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7453220 memory=5860464 CPUtime=3390.94 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 811178 0 0 0 337526 1568 0 0 20 0 1 0 38932208 7632097280 1465116 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1863305 1465116 2400 1147 0 1850732 0
Current children cumulated CPU time: 3390.94 s
Current children cumulated vsize: 7457412 KiB
Current children cumulated memory: 5863536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 38588
/proc/meminfo: memFree=116391228/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7638228 memory=6023568 CPUtime=3450.74 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 848465 0 0 0 343492 1582 0 0 20 0 1 0 38932208 7821545472 1505892 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1909557 1505892 2400 1147 0 1896984 0
Current children cumulated CPU time: 3450.74 s
Current children cumulated vsize: 7642420 KiB
Current children cumulated memory: 6026640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 38590
/proc/meminfo: memFree=116341276/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7700516 memory=6074168 CPUtime=3510.57 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 860561 0 0 0 349459 1598 0 0 20 0 1 0 38932208 7885328384 1518542 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1925129 1518542 2400 1147 0 1912556 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 7704708 KiB
Current children cumulated memory: 6077240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 38592
/proc/meminfo: memFree=116202312/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7792792 memory=6174208 CPUtime=3570.4 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 882296 0 0 0 355413 1627 0 0 20 0 1 0 38932208 7979819008 1543552 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1948198 1543552 2400 1147 0 1935625 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 7796984 KiB
Current children cumulated memory: 6177280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.10 4.11 4.09 5/252 38605
/proc/meminfo: memFree=122946760/131382112 swapFree=33010684/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/35876/stat : 35876 (run-dec.sh) S 35873 35876 35802 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38932207 4292608 768 18446744073709551615 93972272328704 93972273223237 140730890865344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93972273462288 93972273510032 93972286787584 140730890873197 140730890873320 140730890873320 140730890878922 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=35878] ppid=35876 vsize=7921376 memory=6302720 CPUtime=3600.03 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35876 35876 35802 0 -1 4194304 915037 0 0 0 358365 1638 0 0 20 0 1 0 38932208 8111489024 1575680 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 1980344 1575680 2400 1147 0 1967771 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7925568 KiB
Current children cumulated memory: 6305792 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3583.71 s, system=16.5007 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+3612.12 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 38607
/proc/meminfo: memFree=125989224/131382112 swapFree=33010684/33010684
[pid=35878] ppid=35873 vsize=3633140 memory=2956348 CPUtime=3600.15 cores=1,3
/proc/35878/stat : 35878 (roundingsat) R 35873 35876 35802 0 -1 4194304 915064 0 0 0 358371 1644 0 0 20 0 1 0 38932208 3720335360 740111 18446744073709551615 4227072 8923433 140728426868480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26030080 140728426871223 140728426871336 140728426871336 140728426876906 0
/proc/35878/statm: 908285 739599 2464 1147 0 895712 0
Current cumulated CPU time of completed processes: 0.005069 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 3633140 KiB
Current children cumulated memory: 2956348 KiB

Child status: 2

Real time (s): 3612.19
CPU time (s): 3600.21
CPU user time (s): 3583.71
CPU system time (s): 16.5007
CPU usage (%): 99.6686
Max. virtual memory (cumulated for all children) (KiB): 7925568
Max. memory (cumulated for all children) (KiB): 6305792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.71
system time used= 16.5007
maximum resident set size= 6302976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915284
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= 235
involuntary context switches= 3858


# summary of solver processes directly reported to runsolver:
#   pid: 35876,35878
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3583.71
#   total CPU system time (s): 16.5007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2206 second user time and 36.6553 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 23:28:51
IDJOB=4515346
IDBENCH=164408
IDSOLVER=3349
FILE ID=nodeC007/4515346-1751232530
RUNJOBID= nodeC007-1751232530-35817
SLURM_JOB_ID= 9587709
Free space on /tmp= 432980 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515346-1751232530/watcher-4515346-1751232530 -o /tmp/evaluation-result-4515346-1751232530/solver-4515346-1751232530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35817 --watchdog 3760  run-dec.sh HOME/instance-4515346-1751232530.opb

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

MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=984989378

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129858792 kB
MemAvailable:   129883988 kB
Buffers:            3280 kB
Cached:           834524 kB
SwapCached:            0 kB
Active:           359420 kB
Inactive:         589196 kB
Active(anon):     128776 kB
Inactive(anon):        0 kB
Active(file):     230644 kB
Inactive(file):   589196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             41884 kB
Writeback:             0 kB
AnonPages:        113972 kB
Mapped:           112524 kB
Shmem:             17960 kB
KReclaimable:      89964 kB
Slab:             172132 kB
SReclaimable:      89964 kB
SUnreclaim:        82168 kB
KernelStack:        4032 kB
PageTables:         3132 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     454096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC007 at 2025-06-30 00:29:03