Trace number 4528860

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10? (TO) 3600.06 3612.5

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM9da0f014fb9cbd107dd1b5ea973ba0c7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1086940160
Best CPU time to get the best result obtained on this benchmark2471.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.00/0.07	c [STEP] preprocessing with Papilo
0.07/0.11	c [STEP] solving with SCIP
299.24/300.21	c [STEP] preprocessing done, loading into solver
299.24/300.22	c [STEP] solving
299.24/300.22	c #variables 5539 #constraints 2116
299.24/300.22	c SMALL=int, LARGE=long long
299.24/300.22	d SCIPUB 1073741824
299.24/300.22	c bounds - >= 0 @ 299.182
299.24/300.22	c stratification level: 0
494.07/495.69	c bounds - >= 16384 @ 299.182
494.07/495.69	c bounds - >= 32768 @ 299.183
494.07/495.69	c bounds - >= 65536 @ 299.183
494.07/495.69	c bounds - >= 131072 @ 299.184
494.07/495.69	c bounds - >= 262144 @ 299.194
494.07/495.69	c bounds - >= 524288 @ 299.2
494.07/495.69	c bounds - >= 1048576 @ 299.21
494.07/495.69	c bounds - >= 2097152 @ 299.24
494.07/495.69	c #Conflicts:       1000 | #Constraints:       3123
494.07/495.69	c #Conflicts:       2000 | #Constraints:       4123
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:       3000 | #Constraints:       4106
494.07/495.69	c #Conflicts:       4000 | #Constraints:       5106
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:       5000 | #Constraints:       4530
494.07/495.69	c #Conflicts:       6000 | #Constraints:       5530
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:       7000 | #Constraints:       4554
494.07/495.69	c #Conflicts:       8000 | #Constraints:       5554
494.07/495.69	c #Conflicts:       9000 | #Constraints:       6554
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c bounds - >= 2097153 @ 309.703
494.07/495.69	c #Conflicts:      10000 | #Constraints:       5279
494.07/495.69	c bounds - >= 2097154 @ 310.521
494.07/495.69	c #Conflicts:      11000 | #Constraints:       6280
494.07/495.69	c bounds - >= 2097156 @ 311.646
494.07/495.69	c #Conflicts:      12000 | #Constraints:       7281
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c bounds - >= 2097160 @ 312.752
494.07/495.69	c #Conflicts:      13000 | #Constraints:       5739
494.07/495.69	c bounds - >= 2097168 @ 313.488
494.07/495.69	c bounds - >= 2097184 @ 314.409
494.07/495.69	c #Conflicts:      14000 | #Constraints:       6741
494.07/495.69	c bounds - >= 2097216 @ 315.465
494.07/495.69	c #Conflicts:      15000 | #Constraints:       7742
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c bounds - >= 2097280 @ 316.613
494.07/495.69	c bounds - >= 2097408 @ 317.348
494.07/495.69	c #Conflicts:      16000 | #Constraints:       5961
494.07/495.69	c bounds - >= 2097664 @ 318.24
494.07/495.69	c bounds - >= 2098176 @ 318.996
494.07/495.69	c #Conflicts:      17000 | #Constraints:       6963
494.07/495.69	c bounds - >= 2099200 @ 319.61
494.07/495.69	c bounds - >= 2101248 @ 320.283
494.07/495.69	c bounds - >= 2105344 @ 320.848
494.07/495.69	c #Conflicts:      18000 | #Constraints:       7966
494.07/495.69	c bounds - >= 4194304 @ 321.608
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      19000 | #Constraints:       5954
494.07/495.69	c #Conflicts:      20000 | #Constraints:       6954
494.07/495.69	c #Conflicts:      21000 | #Constraints:       7954
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      22000 | #Constraints:       5773
494.07/495.69	c #Conflicts:      23000 | #Constraints:       6773
494.07/495.69	c #Conflicts:      24000 | #Constraints:       7773
494.07/495.69	c #Conflicts:      25000 | #Constraints:       8773
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      26000 | #Constraints:       6388
494.07/495.69	c #Conflicts:      27000 | #Constraints:       7388
494.07/495.69	c #Conflicts:      28000 | #Constraints:       8388
494.07/495.69	c #Conflicts:      29000 | #Constraints:       9388
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      30000 | #Constraints:       6807
494.07/495.69	c #Conflicts:      31000 | #Constraints:       7807
494.07/495.69	c #Conflicts:      32000 | #Constraints:       8807
494.07/495.69	c #Conflicts:      33000 | #Constraints:       9807
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      34000 | #Constraints:       7004
494.07/495.69	c #Conflicts:      35000 | #Constraints:       8004
494.07/495.69	c #Conflicts:      36000 | #Constraints:       9004
494.07/495.69	c #Conflicts:      37000 | #Constraints:      10004
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      38000 | #Constraints:       7013
494.07/495.69	c #Conflicts:      39000 | #Constraints:       8013
494.07/495.69	c #Conflicts:      40000 | #Constraints:       9013
494.07/495.69	c #Conflicts:      41000 | #Constraints:      10013
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      42000 | #Constraints:       6826
494.07/495.69	c #Conflicts:      43000 | #Constraints:       7826
494.07/495.69	c #Conflicts:      44000 | #Constraints:       8826
494.07/495.69	c #Conflicts:      45000 | #Constraints:       9826
494.07/495.69	c #Conflicts:      46000 | #Constraints:      10826
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      47000 | #Constraints:       7417
494.07/495.69	c #Conflicts:      48000 | #Constraints:       8417
494.07/495.69	c #Conflicts:      49000 | #Constraints:       9417
494.07/495.69	c #Conflicts:      50000 | #Constraints:      10417
494.07/495.69	c #Conflicts:      51000 | #Constraints:      11417
494.07/495.69	c INPROCESSING
494.07/495.69	c GARBAGE COLLECT
494.07/495.69	c #Conflicts:      52000 | #Constraints:       7818
494.07/495.69	c #Conflicts:      53000 | #Constraints:       8818
494.07/495.69	c #Conflicts:      54000 | #Constraints:       9818
494.07/495.69	c #Conflicts:      55000 | #Constraints:      10818
494.07/495.69	c #Conflicts:      56000 | #Constraints:      11818
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:      57000 | #Constraints:       8004
2727.19/2736.56	c #Conflicts:      58000 | #Constraints:       9004
2727.19/2736.56	c #Conflicts:      59000 | #Constraints:      10004
2727.19/2736.56	c #Conflicts:      60000 | #Constraints:      11004
2727.19/2736.56	c #Conflicts:      61000 | #Constraints:      12004
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:      62000 | #Constraints:       8015
2727.19/2736.56	c #Conflicts:      63000 | #Constraints:       9015
2727.19/2736.56	c #Conflicts:      64000 | #Constraints:      10015
2727.19/2736.56	c #Conflicts:      65000 | #Constraints:      11015
2727.19/2736.56	c #Conflicts:      66000 | #Constraints:      12015
2727.19/2736.56	c #Conflicts:      67000 | #Constraints:      13015
2727.19/2736.56	c #Conflicts:      68000 | #Constraints:      14015
2727.19/2736.56	c #Conflicts:      69000 | #Constraints:      15015
2727.19/2736.56	c #Conflicts:      70000 | #Constraints:      16015
2727.19/2736.56	c #Conflicts:      71000 | #Constraints:      17015
2727.19/2736.56	c #Conflicts:      72000 | #Constraints:      18015
2727.19/2736.56	c #Conflicts:      73000 | #Constraints:      19015
2727.19/2736.56	c #Conflicts:      74000 | #Constraints:      20015
2727.19/2736.56	c #Conflicts:      75000 | #Constraints:      21015
2727.19/2736.56	c #Conflicts:      76000 | #Constraints:      22015
2727.19/2736.56	c #Conflicts:      77000 | #Constraints:      23015
2727.19/2736.56	c #Conflicts:      78000 | #Constraints:      24015
2727.19/2736.56	c #Conflicts:      79000 | #Constraints:      25015
2727.19/2736.56	c #Conflicts:      80000 | #Constraints:      26015
2727.19/2736.56	c #Conflicts:      81000 | #Constraints:      27015
2727.19/2736.56	c #Conflicts:      82000 | #Constraints:      28015
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:      83000 | #Constraints:      15703
2727.19/2736.56	c #Conflicts:      84000 | #Constraints:      16703
2727.19/2736.56	c #Conflicts:      85000 | #Constraints:      17703
2727.19/2736.56	c #Conflicts:      86000 | #Constraints:      18703
2727.19/2736.56	c #Conflicts:      87000 | #Constraints:      19703
2727.19/2736.56	c #Conflicts:      88000 | #Constraints:      20703
2727.19/2736.56	c #Conflicts:      89000 | #Constraints:      21703
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:      90000 | #Constraints:      12817
2727.19/2736.56	c #Conflicts:      91000 | #Constraints:      13817
2727.19/2736.56	c #Conflicts:      92000 | #Constraints:      14817
2727.19/2736.56	c #Conflicts:      93000 | #Constraints:      15817
2727.19/2736.56	c #Conflicts:      94000 | #Constraints:      16817
2727.19/2736.56	c #Conflicts:      95000 | #Constraints:      17817
2727.19/2736.56	c #Conflicts:      96000 | #Constraints:      18817
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:      97000 | #Constraints:      11528
2727.19/2736.56	c #Conflicts:      98000 | #Constraints:      12528
2727.19/2736.56	c #Conflicts:      99000 | #Constraints:      13528
2727.19/2736.56	c #Conflicts:     100000 | #Constraints:      14528
2727.19/2736.56	c #Conflicts:     101000 | #Constraints:      15528
2727.19/2736.56	c #Conflicts:     102000 | #Constraints:      16528
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:     103000 | #Constraints:       9930
2727.19/2736.56	c #Conflicts:     104000 | #Constraints:      10930
2727.19/2736.56	c #Conflicts:     105000 | #Constraints:      11930
2727.19/2736.56	c #Conflicts:     106000 | #Constraints:      12930
2727.19/2736.56	c #Conflicts:     107000 | #Constraints:      13930
2727.19/2736.56	c #Conflicts:     108000 | #Constraints:      14930
2727.19/2736.56	c #Conflicts:     109000 | #Constraints:      15930
2727.19/2736.56	c #Conflicts:     110000 | #Constraints:      16930
2727.19/2736.56	c #Conflicts:     111000 | #Constraints:      17930
2727.19/2736.56	c #Conflicts:     112000 | #Constraints:      18930
2727.19/2736.56	c #Conflicts:     113000 | #Constraints:      19930
2727.19/2736.56	c #Conflicts:     114000 | #Constraints:      20930
2727.19/2736.56	c #Conflicts:     115000 | #Constraints:      21930
2727.19/2736.56	c #Conflicts:     116000 | #Constraints:      22930
2727.19/2736.56	c #Conflicts:     117000 | #Constraints:      23930
2727.19/2736.56	c #Conflicts:     118000 | #Constraints:      24930
2727.19/2736.56	c #Conflicts:     119000 | #Constraints:      25930
2727.19/2736.56	c #Conflicts:     120000 | #Constraints:      26930
2727.19/2736.56	c #Conflicts:     121000 | #Constraints:      27930
2727.19/2736.56	c #Conflicts:     122000 | #Constraints:      28930
2727.19/2736.56	c #Conflicts:     123000 | #Constraints:      29930
2727.19/2736.56	c #Conflicts:     124000 | #Constraints:      30930
2727.19/2736.56	c #Conflicts:     125000 | #Constraints:      31930
2727.19/2736.56	c #Conflicts:     126000 | #Constraints:      32930
2727.19/2736.56	c #Conflicts:     127000 | #Constraints:      33930
2727.19/2736.56	c #Conflicts:     128000 | #Constraints:      34930
2727.19/2736.56	c #Conflicts:     129000 | #Constraints:      35930
2727.19/2736.56	c INPROCESSING
2727.19/2736.56	c GARBAGE COLLECT
2727.19/2736.56	c #Conflicts:     130000 | #Constraints:      19696
3600.05/3612.50	c #Conflicts:     131000 | #Constraints:      20696
3600.05/3612.50	c #Conflicts:     132000 | #Constraints:      21696
3600.05/3612.50	c #Conflicts:     133000 | #Constraints:      22696
3600.05/3612.50	c #Conflicts:     134000 | #Constraints:      23696
3600.05/3612.50	c #Conflicts:     135000 | #Constraints:      24696
3600.05/3612.50	c #Conflicts:     136000 | #Constraints:      25696
3600.05/3612.50	c #Conflicts:     137000 | #Constraints:      26696
3600.05/3612.50	c #Conflicts:     138000 | #Constraints:      27696
3600.05/3612.50	c INPROCESSING
3600.05/3612.50	c GARBAGE COLLECT
3600.05/3612.50	c #Conflicts:     139000 | #Constraints:      15982
3600.05/3612.50	c #Conflicts:     140000 | #Constraints:      16982
3600.05/3612.50	c #Conflicts:     141000 | #Constraints:      17982
3600.05/3612.50	c #Conflicts:     142000 | #Constraints:      18982
3600.05/3612.50	c #Conflicts:     143000 | #Constraints:      19982
3600.05/3612.50	c #Conflicts:     144000 | #Constraints:      20982
3600.05/3612.50	c #Conflicts:     145000 | #Constraints:      21982
3600.05/3612.50	c #Conflicts:     146000 | #Constraints:      22982
3600.05/3612.50	c INPROCESSING
3600.05/3612.50	c GARBAGE COLLECT
3600.05/3612.50	c #Conflicts:     147000 | #Constraints:      13420
3600.05/3612.50	c #Conflicts:     148000 | #Constraints:      14420
3600.05/3612.50	c #Conflicts:     149000 | #Constraints:      15420
3600.05/3612.50	c #Conflicts:     150000 | #Constraints:      16420
3600.05/3612.50	c #Conflicts:     151000 | #Constraints:      17420
3600.05/3612.50	c #Conflicts:     152000 | #Constraints:      18420
3600.05/3612.50	c #Conflicts:     153000 | #Constraints:      19420
3600.05/3612.50	c #Conflicts:     154000 | #Constraints:      20420
3600.05/3612.50	c #Conflicts:     155000 | #Constraints:      21420
3600.05/3612.50	c INPROCESSING
3600.05/3612.50	c GARBAGE COLLECT
3600.05/3612.50	c #Conflicts:     156000 | #Constraints:      12844
3600.05/3612.50	c #Conflicts:     157000 | #Constraints:      13844
3600.05/3612.50	c #Conflicts:     158000 | #Constraints:      14844
3600.05/3612.50	c Program interrupted by user.
3600.05/3612.50	c cpu time 3588.35 s
3600.05/3612.50	c deterministic time 318878798755 3.19e+11
3600.05/3612.50	c optimization time 49.0148 s
3600.05/3612.50	c total solve time 3240.16 s
3600.05/3612.50	c core-guided solve time 3240.16 s
3600.05/3612.50	c propagation time 3195.01 s
3600.05/3612.50	c conflict analysis time 78.6615 s
3600.05/3612.50	c propagations 74684825
3600.05/3612.50	c resolve steps 967231
3600.05/3612.50	c decisions 8903021
3600.05/3612.50	c conflicts 158086
3600.05/3612.50	c restarts 427
3600.05/3612.50	c inprocessing phases 25
3600.05/3612.50	c input clauses 596
3600.05/3612.50	c input cardinalities 107
3600.05/3612.50	c input general constraints 1436
3600.05/3612.50	c input average constraint length 29.35
3600.05/3612.50	c input average constraint degree 287966.33
3600.05/3612.50	c learned clauses 10355
3600.05/3612.50	c learned cardinalities 123
3600.05/3612.50	c learned general constraints 147608
3600.05/3612.50	c learned average constraint length 459.99
3600.05/3612.50	c learned average constraint degree 39575896.80
3600.05/3612.50	c watched constraints 147178
3600.05/3612.50	c counting constraints 1866
3600.05/3612.50	c gcd simplifications 3085
3600.05/3612.50	c detected cardinalities 21
3600.05/3612.50	c weakened non-implied lits 942228
3600.05/3612.50	c weakened non-implying lits 4997
3600.05/3612.50	c original variables 8902
3600.05/3612.50	c clausal propagations 10438941
3600.05/3612.50	c cardinality propagations 2544670
3600.05/3612.50	c watched propagations 43629177
3600.05/3612.50	c counting propagations 18047078
3600.05/3612.50	c watch lookups 60659202206
3600.05/3612.50	c watch backjump lookups 59827946205
3600.05/3612.50	c watch checks 179934842166
3600.05/3612.50	c propagation checks 18018764267
3600.05/3612.50	c constraint additions 270710461
3600.05/3612.50	c trail pops 83745603
3600.05/3612.50	c formula constraints 2116
3600.05/3612.50	c learned constraints 158086
3600.05/3612.50	c bound constraints 23
3600.05/3612.50	c core-guided constraints 0
3600.05/3612.50	c encountered formula constraints 394702
3600.05/3612.50	c encountered learned constraints 730615
3600.05/3612.50	c encountered bound constraints 0
3600.05/3612.50	c encountered core-guided constraints 0
3600.05/3612.50	c LP total time 0 s
3600.05/3612.50	c LP solve time 0 s
3600.05/3612.50	c LP constraints added 0
3600.05/3612.50	c LP constraints removed 0
3600.05/3612.50	c LP pivots internal 0
3600.05/3612.50	c LP pivots root 0
3600.05/3612.50	c LP calls 0
3600.05/3612.50	c LP optimalities 0
3600.05/3612.50	c LP no pivot count 0
3600.05/3612.50	c LP infeasibilities 0
3600.05/3612.50	c LP valid Farkas constraints 0
3600.05/3612.50	c LP learned Farkas constraints 0
3600.05/3612.50	c LP basis resets 0
3600.05/3612.50	c LP cycling count 0
3600.05/3612.50	c LP singular count 0
3600.05/3612.50	c LP no primal count 0
3600.05/3612.50	c LP no farkas count 0
3600.05/3612.50	c LP other issue count 0
3600.05/3612.50	c LP Gomory cuts 0
3600.05/3612.50	c LP learned cuts 0
3600.05/3612.50	c LP deleted cuts 0
3600.05/3612.50	c LP encountered Gomory constraints 0
3600.05/3612.50	c LP encountered Farkas constraints 0
3600.05/3612.50	c LP encountered learned Farkas constraints 0
3600.05/3612.50	c CG auxiliary variables introduced 0
3600.05/3612.50	c CG solutions found 0
3600.05/3612.50	c CG cores constructed 23
3600.05/3612.50	c CG core cardinality constraints returned 0
3600.05/3612.50	c CG unit cores 0
3600.05/3612.50	c CG single cores 23
3600.05/3612.50	c CG blocks removed during cardinality reduction 0
3600.05/3612.50	c CG first core best 0
3600.05/3612.50	c CG decision core best 0
3600.05/3612.50	c CG core reduction tie 0
3600.05/3612.50	c CG core degree average 1.00
3600.05/3612.50	c CG core slack average 13.13
3600.05/3612.50	c CG exhausted 0
3600.05/3612.50	c CG exhaust time 0 s
3600.05/3612.50	c CG trimmed 0
3600.05/3612.50	c CG trim time 0.014103 s
3600.05/3612.50	c CG minimized 0
3600.05/3612.50	c CG minimize time 0 s
3600.05/3612.50	c CG am1 prop time 1.2e-05 s
3600.05/3612.50	c CG # am1s reformulated 0
3600.05/3612.50	c CG lower bound derived from am1s 0
3600.05/3612.50	c CG # clausal cores 23
3600.05/3612.50	c CG # cardinality cores 0
3600.05/3612.50	c CG # pb cores 0
3600.05/3612.50	c CG # pb reforms 0
3600.05/3612.50	c CG # cores discarded because of pb reform 0
3600.05/3612.50	d LOWERBOUND 4194304
3600.05/3612.50	d NCORES 23
3600.05/3612.50	d NPBCORES 0
3600.05/3612.50	d NPBREFORM 0
3600.05/3612.50	d NTRIMMED 0
3600.05/3612.50	d NEXHAUSTED 0
3600.05/3612.50	d NAM1S 0
3600.05/3612.50	d AM1LB 0
3600.05/3612.50	c [Papilo Statistics]
3600.05/3612.50	c prepro time 0.0368713s
3600.05/3612.50	c # tsx applied 9108
3600.05/3612.50	c # tsx conflicts 125
3600.05/3612.50	c # bound changes 3341
3600.05/3612.50	c # side changes 1224
3600.05/3612.50	c # coef changes 12312
3600.05/3612.50	c # rounds 9
3600.05/3612.50	c # deted vars 3364
3600.05/3612.50	c # deted constrs 922
3600.05/3612.50	c # consecutive rounds of only bound changes 0
3600.05/3612.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528860-1752256148/watcher-4528860-1752256148 -o /tmp/evaluation-result-4528860-1752256148/solver-4528860-1752256148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121308 --watchdog 3760 mixed-bag HOME/instance-4528860-1752256148.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100062 s]*
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128692988/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=105068 memory=26240 CPUtime=0.07 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 5066 0 2 0 7 0 0 0 20 0 1 0 141292669 107589632 6560 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 26267 6560 2272 2834 0 8472 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 105068 KiB
Current children cumulated memory: 26240 KiB

[startup+0.205525 s]*
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128641736/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=132588 memory=58880 CPUtime=0.18 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 11605 0 2 0 17 1 0 0 20 0 1 0 141292669 135770112 14720 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 33147 14720 4000 2834 0 15352 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 132588 KiB
Current children cumulated memory: 58880 KiB

[startup+0.305486 s]*
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128541892/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=150384 memory=74264 CPUtime=0.28 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 14514 0 2 0 26 2 0 0 20 0 1 0 141292669 153993216 18566 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 37596 18566 4032 2834 0 19801 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 150384 KiB
Current children cumulated memory: 74264 KiB

[startup+0.700166 s]
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128424644/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=198628 memory=111640 CPUtime=0.67 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 23709 0 2 0 64 3 0 0 20 0 1 0 141292669 203395072 27910 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 49657 27910 4224 2834 0 31862 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 111640 KiB

[startup+1.50016 s]
/proc/loadavg: 3.43 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128361396/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=201824 memory=115096 CPUtime=1.46 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 24526 0 2 0 143 3 0 0 20 0 1 0 141292669 206667776 28774 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 50456 28774 4288 2834 0 32661 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 201824 KiB
Current children cumulated memory: 115096 KiB

[startup+3.10539 s]
/proc/loadavg: 3.43 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128117108/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=202060 memory=115352 CPUtime=3.06 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 24596 0 2 0 303 3 0 0 20 0 1 0 141292669 206909440 28838 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 50515 28838 4288 2834 0 32720 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 202060 KiB
Current children cumulated memory: 115352 KiB

[startup+6.30015 s]
/proc/loadavg: 3.48 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128065348/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=228620 memory=139928 CPUtime=6.25 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 30720 0 2 0 621 4 0 0 20 0 1 0 141292669 234106880 34982 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 57155 34982 4320 2834 0 39360 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 228620 KiB
Current children cumulated memory: 139928 KiB

[startup+12.7002 s]
/proc/loadavg: 3.60 3.98 4.04 5/266 121367
/proc/meminfo: memFree=127996996/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=228620 memory=141720 CPUtime=12.63 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 31156 0 2 0 1259 4 0 0 20 0 1 0 141292669 234106880 35430 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 57155 35430 4320 2834 0 39360 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 228620 KiB
Current children cumulated memory: 141720 KiB

[startup+25.5002 s]
/proc/loadavg: 3.74 4.00 4.05 5/266 121368
/proc/meminfo: memFree=127840432/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=238112 memory=151448 CPUtime=25.39 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 33591 0 2 0 2534 5 0 0 20 0 1 0 141292669 243826688 37862 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 59528 37862 4320 2834 0 41733 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 238112 KiB
Current children cumulated memory: 151448 KiB

[startup+51.1054 s]
/proc/loadavg: 3.85 4.00 4.05 5/266 121369
/proc/meminfo: memFree=127712928/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=243924 memory=157464 CPUtime=50.91 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 35112 0 2 0 5086 5 0 0 20 0 1 0 141292669 249778176 39366 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 60981 39366 4320 2834 0 43186 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 243924 KiB
Current children cumulated memory: 157464 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 4.01 4.05 5/265 121371
/proc/meminfo: memFree=127557288/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=246828 memory=160408 CPUtime=101.95 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 35831 0 2 0 10190 5 0 0 20 0 1 0 141292669 252751872 40102 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 61707 40102 4320 2834 0 43912 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 246828 KiB
Current children cumulated memory: 160408 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.04 4.05 5/265 121373
/proc/meminfo: memFree=127426308/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=261292 memory=174232 CPUtime=161.76 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 39303 0 2 0 16171 5 0 0 20 0 1 0 141292669 267563008 43558 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 65323 43558 4320 2834 0 47528 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 261292 KiB
Current children cumulated memory: 174232 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.05 5/266 121376
/proc/meminfo: memFree=127277544/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=293728 memory=204816 CPUtime=221.58 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 48134 0 2 0 22151 7 0 0 20 0 1 0 141292669 300777472 51204 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 73432 51204 4320 2834 0 55637 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 293728 KiB
Current children cumulated memory: 204816 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.07 4.06 5/266 121378
/proc/meminfo: memFree=127256628/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=302496 memory=226960 CPUtime=281.4 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 50808 0 2 0 28132 8 0 0 20 0 1 0 141292669 309755904 56740 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 75624 56740 4352 2834 0 57829 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 302496 KiB
Current children cumulated memory: 226960 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.07 4.06 5/265 121380
/proc/meminfo: memFree=126209376/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=308064 memory=232808 CPUtime=341.21 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 52770 0 2 0 34044 77 0 0 20 0 1 0 141292669 315457536 58202 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 77016 58202 4512 2834 0 59221 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 308064 KiB
Current children cumulated memory: 232808 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.05 4.05 5/265 121390
/proc/meminfo: memFree=125384660/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=308064 memory=243304 CPUtime=401.03 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 52889 0 2 0 39951 152 0 0 20 0 1 0 141292669 315457536 60826 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 77016 60826 4512 2834 0 59221 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 308064 KiB
Current children cumulated memory: 243304 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.07 4.06 5/265 121392
/proc/meminfo: memFree=125028268/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=308064 memory=247400 CPUtime=460.87 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 52892 0 2 0 45879 208 0 0 20 0 1 0 141292669 315457536 61850 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 77016 61850 4512 2834 0 59221 0

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

Current children cumulated memory: 352556 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 121529
/proc/meminfo: memFree=118980140/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=497440 memory=352556 CPUtime=2912.32 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55713 0 2 0 290289 943 0 0 20 0 1 0 141292669 509378560 88139 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124360 88139 4512 2834 0 106565 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 497440 KiB
Current children cumulated memory: 352556 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 121531
/proc/meminfo: memFree=118931232/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=497440 memory=352556 CPUtime=2972.1 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55713 0 2 0 296254 956 0 0 20 0 1 0 141292669 509378560 88139 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124360 88139 4512 2834 0 106565 0
Current children cumulated CPU time: 2972.1 s
Current children cumulated vsize: 497440 KiB
Current children cumulated memory: 352556 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 121534
/proc/meminfo: memFree=118932224/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=497952 memory=352812 CPUtime=3031.89 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55779 0 2 0 302223 966 0 0 20 0 1 0 141292669 509902848 88203 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124488 88203 4512 2834 0 106693 0
Current children cumulated CPU time: 3031.89 s
Current children cumulated vsize: 497952 KiB
Current children cumulated memory: 352812 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 121537
/proc/meminfo: memFree=118891652/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3091.67 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55979 0 2 0 308187 980 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3091.67 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 121539
/proc/meminfo: memFree=118867192/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3151.46 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55979 0 2 0 314144 1002 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3151.46 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 121542
/proc/meminfo: memFree=118644476/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3211.25 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55979 0 2 0 320105 1020 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3211.25 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 121544
/proc/meminfo: memFree=118433692/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3271.03 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55979 0 2 0 326067 1036 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 121547
/proc/meminfo: memFree=118381096/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3330.82 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 55979 0 2 0 332031 1051 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3330.82 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 121556
/proc/meminfo: memFree=118269236/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3390.61 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 56073 0 2 0 337985 1076 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3390.61 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/265 121558
/proc/meminfo: memFree=118242476/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3450.39 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 56073 0 2 0 343939 1100 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3450.39 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 121560
/proc/meminfo: memFree=118222076/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3510.18 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 56073 0 2 0 349897 1121 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 121563
/proc/meminfo: memFree=118004264/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3569.96 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 56073 0 2 0 355845 1151 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3569.96 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.20 4.13 4.10 2/257 121641
/proc/meminfo: memFree=128360416/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3600.05 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 56073 0 2 0 358835 1170 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

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

[startup+3612.5 s]
# the end of solver process 121352 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3588.36 s, system=11.7042 s

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

[startup+3612.5 s]
/proc/loadavg: 4.20 4.13 4.10 2/257 121641
/proc/meminfo: memFree=128360416/131250000 swapFree=33010416/33010684
[pid=121352] ppid=121342 vsize=499488 memory=353708 CPUtime=3600.05 cores=0,2
/proc/121352/stat : 121352 (mixed-bag) R 121342 121352 121298 0 -1 4194304 56073 0 2 0 358835 1170 0 0 20 0 1 0 141292669 511475712 88427 18446744073709551615 4235264 15840557 140727297344672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 41111552 140727297350042 140727297350119 140727297350119 140727297355723 0
/proc/121352/statm: 124872 88427 4512 2834 0 107077 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 499488 KiB
Current children cumulated memory: 353708 KiB

Child status: 0

Real time (s): 3612.5
CPU time (s): 3600.06
CPU user time (s): 3588.36
CPU system time (s): 11.7042
CPU usage (%): 99.6555
Max. virtual memory (cumulated for all children) (KiB): 499488
Max. memory (cumulated for all children) (KiB): 353708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.36
system time used= 11.7042
maximum resident set size= 354348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56098
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 22050


# summary of solver processes directly reported to runsolver:
#   pid: 121352
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3588.36
#   total CPU system time (s): 11.7042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68128 second user time and 15.6431 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 19:49:08
IDJOB=4528860
IDBENCH=146805
IDSOLVER=3386
FILE ID=nodeC018/4528860-1752256148
RUNJOBID= nodeC018-1752256148-121308
SLURM_JOB_ID= 9682594
Free space on /tmp= 432572 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528860-1752256148/watcher-4528860-1752256148 -o /tmp/evaluation-result-4528860-1752256148/solver-4528860-1752256148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121308 --watchdog 3760  mixed-bag HOME/instance-4528860-1752256148.opb

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

MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7
RANDOM SEED=823707792

nodeC018 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.344
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.66
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.919
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.66
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		: 3535.895
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.66
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		: 3554.706
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.66
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.822
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.66
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		: 2927.431
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.66
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		: 3373.687
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.66
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.828
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128733024 kB
MemAvailable:   129693300 kB
Buffers:            2128 kB
Cached:          1721568 kB
SwapCached:           32 kB
Active:           599252 kB
Inactive:        1192736 kB
Active(anon):      86048 kB
Inactive(anon):      288 kB
Active(file):     513204 kB
Inactive(file):  1192448 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61568 kB
Writeback:             0 kB
AnonPages:         71628 kB
Mapped:           105356 kB
Shmem:             18044 kB
KReclaimable:     187328 kB
Slab:             280672 kB
SReclaimable:     187328 kB
SUnreclaim:        93344 kB
KernelStack:        3972 kB
PageTables:         2712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432512 MiB
End job on nodeC018 at 2025-07-11 20:49:21