Trace number 4454655

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-07-19? (TO) 3600.04 3610.04

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB1570506683

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUMf5b507fec305347e12cc700790213fb8
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 benchmark2807154740
Best CPU time to get the best result obtained on this benchmark87.1436
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.51/0.56	c [STEP] preprocessing with Papilo
0.60/0.67	c [STEP] solving with SCIP
300.04/300.84	c [STEP] preprocessing done, loading into solver
300.04/300.89	c [STEP] solving
300.04/300.89	c #variables 10895 #constraints 823
300.04/300.89	c SMALL=long long, LARGE=int128
300.04/300.89	d SCIPUB 1570506683
300.04/300.89	c bounds - >= 0 @ 299.892
300.04/300.89	c stratification level: 557798170
915.61/918.21	c #Conflicts:       1000 | #Constraints:       1823
915.61/918.21	c #Conflicts:       2000 | #Constraints:       2823
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:       3000 | #Constraints:       2830
915.61/918.21	c #Conflicts:       4000 | #Constraints:       3830
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:       5000 | #Constraints:       3234
915.61/918.21	c #Conflicts:       6000 | #Constraints:       4234
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:       7000 | #Constraints:       3238
915.61/918.21	c #Conflicts:       8000 | #Constraints:       4238
915.61/918.21	c #Conflicts:       9000 | #Constraints:       5238
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      10000 | #Constraints:       3944
915.61/918.21	c #Conflicts:      11000 | #Constraints:       4944
915.61/918.21	c #Conflicts:      12000 | #Constraints:       5944
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      13000 | #Constraints:       4398
915.61/918.21	c #Conflicts:      14000 | #Constraints:       5398
915.61/918.21	c #Conflicts:      15000 | #Constraints:       6398
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      16000 | #Constraints:       4625
915.61/918.21	c #Conflicts:      17000 | #Constraints:       5625
915.61/918.21	c #Conflicts:      18000 | #Constraints:       6625
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      19000 | #Constraints:       4649
915.61/918.21	c #Conflicts:      20000 | #Constraints:       5649
915.61/918.21	c #Conflicts:      21000 | #Constraints:       6649
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      22000 | #Constraints:       4452
915.61/918.21	c #Conflicts:      23000 | #Constraints:       5452
915.61/918.21	c #Conflicts:      24000 | #Constraints:       6452
915.61/918.21	c #Conflicts:      25000 | #Constraints:       7452
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      26000 | #Constraints:       5054
915.61/918.21	c #Conflicts:      27000 | #Constraints:       6054
915.61/918.21	c #Conflicts:      28000 | #Constraints:       7054
915.61/918.21	c #Conflicts:      29000 | #Constraints:       8054
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      30000 | #Constraints:       5447
915.61/918.21	c #Conflicts:      31000 | #Constraints:       6447
915.61/918.21	c #Conflicts:      32000 | #Constraints:       7447
915.61/918.21	c #Conflicts:      33000 | #Constraints:       8447
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      34000 | #Constraints:       5644
915.61/918.21	c #Conflicts:      35000 | #Constraints:       6644
915.61/918.21	c #Conflicts:      36000 | #Constraints:       7644
915.61/918.21	c #Conflicts:      37000 | #Constraints:       8644
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      38000 | #Constraints:       5655
915.61/918.21	c #Conflicts:      39000 | #Constraints:       6655
915.61/918.21	c #Conflicts:      40000 | #Constraints:       7655
915.61/918.21	c #Conflicts:      41000 | #Constraints:       8655
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      42000 | #Constraints:       5457
915.61/918.21	c #Conflicts:      43000 | #Constraints:       6457
915.61/918.21	c #Conflicts:      44000 | #Constraints:       7457
915.61/918.21	c #Conflicts:      45000 | #Constraints:       8457
915.61/918.21	c #Conflicts:      46000 | #Constraints:       9457
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      47000 | #Constraints:       6059
915.61/918.21	c #Conflicts:      48000 | #Constraints:       7059
915.61/918.21	c #Conflicts:      49000 | #Constraints:       8059
915.61/918.21	c #Conflicts:      50000 | #Constraints:       9059
915.61/918.21	c #Conflicts:      51000 | #Constraints:      10059
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      52000 | #Constraints:       6455
915.61/918.21	c #Conflicts:      53000 | #Constraints:       7455
915.61/918.21	c #Conflicts:      54000 | #Constraints:       8455
915.61/918.21	c #Conflicts:      55000 | #Constraints:       9455
915.61/918.21	c #Conflicts:      56000 | #Constraints:      10455
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      57000 | #Constraints:       6648
915.61/918.21	c #Conflicts:      58000 | #Constraints:       7648
915.61/918.21	c #Conflicts:      59000 | #Constraints:       8648
915.61/918.21	c #Conflicts:      60000 | #Constraints:       9648
915.61/918.21	c #Conflicts:      61000 | #Constraints:      10648
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      62000 | #Constraints:       6655
915.61/918.21	c #Conflicts:      63000 | #Constraints:       7655
915.61/918.21	c #Conflicts:      64000 | #Constraints:       8655
915.61/918.21	c #Conflicts:      65000 | #Constraints:       9655
915.61/918.21	c #Conflicts:      66000 | #Constraints:      10655
915.61/918.21	c INPROCESSING
915.61/918.21	c GARBAGE COLLECT
915.61/918.21	c #Conflicts:      67000 | #Constraints:       6461
915.61/918.21	c #Conflicts:      68000 | #Constraints:       7461
2383.75/2390.25	c #Conflicts:      69000 | #Constraints:       8461
2383.75/2390.25	c #Conflicts:      70000 | #Constraints:       9461
2383.75/2390.25	c #Conflicts:      71000 | #Constraints:      10461
2383.75/2390.25	c #Conflicts:      72000 | #Constraints:      11461
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:      73000 | #Constraints:       7065
2383.75/2390.25	c #Conflicts:      74000 | #Constraints:       8065
2383.75/2390.25	c #Conflicts:      75000 | #Constraints:       9065
2383.75/2390.25	c #Conflicts:      76000 | #Constraints:      10065
2383.75/2390.25	c #Conflicts:      77000 | #Constraints:      11065
2383.75/2390.25	c #Conflicts:      78000 | #Constraints:      12065
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:      79000 | #Constraints:       7470
2383.75/2390.25	c #Conflicts:      80000 | #Constraints:       8470
2383.75/2390.25	c #Conflicts:      81000 | #Constraints:       9470
2383.75/2390.25	c #Conflicts:      82000 | #Constraints:      10470
2383.75/2390.25	c #Conflicts:      83000 | #Constraints:      11470
2383.75/2390.25	c #Conflicts:      84000 | #Constraints:      12470
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:      85000 | #Constraints:       7679
2383.75/2390.25	c #Conflicts:      86000 | #Constraints:       8679
2383.75/2390.25	c #Conflicts:      87000 | #Constraints:       9679
2383.75/2390.25	c #Conflicts:      88000 | #Constraints:      10679
2383.75/2390.25	c #Conflicts:      89000 | #Constraints:      11679
2383.75/2390.25	c #Conflicts:      90000 | #Constraints:      12679
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:      91000 | #Constraints:       7641
2383.75/2390.25	c #Conflicts:      92000 | #Constraints:       8641
2383.75/2390.25	c #Conflicts:      93000 | #Constraints:       9641
2383.75/2390.25	c #Conflicts:      94000 | #Constraints:      10641
2383.75/2390.25	c #Conflicts:      95000 | #Constraints:      11641
2383.75/2390.25	c #Conflicts:      96000 | #Constraints:      12641
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:      97000 | #Constraints:       7381
2383.75/2390.25	c #Conflicts:      98000 | #Constraints:       8381
2383.75/2390.25	c #Conflicts:      99000 | #Constraints:       9381
2383.75/2390.25	c #Conflicts:     100000 | #Constraints:      10381
2383.75/2390.25	c #Conflicts:     101000 | #Constraints:      11381
2383.75/2390.25	c #Conflicts:     102000 | #Constraints:      12381
2383.75/2390.25	c #Conflicts:     103000 | #Constraints:      13381
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:     104000 | #Constraints:       8017
2383.75/2390.25	c #Conflicts:     105000 | #Constraints:       9017
2383.75/2390.25	c #Conflicts:     106000 | #Constraints:      10017
2383.75/2390.25	c #Conflicts:     107000 | #Constraints:      11017
2383.75/2390.25	c #Conflicts:     108000 | #Constraints:      12017
2383.75/2390.25	c #Conflicts:     109000 | #Constraints:      13017
2383.75/2390.25	c #Conflicts:     110000 | #Constraints:      14017
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:     111000 | #Constraints:       8412
2383.75/2390.25	c #Conflicts:     112000 | #Constraints:       9412
2383.75/2390.25	c #Conflicts:     113000 | #Constraints:      10412
2383.75/2390.25	c #Conflicts:     114000 | #Constraints:      11412
2383.75/2390.25	c #Conflicts:     115000 | #Constraints:      12412
2383.75/2390.25	c #Conflicts:     116000 | #Constraints:      13412
2383.75/2390.25	c #Conflicts:     117000 | #Constraints:      14412
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:     118000 | #Constraints:       8345
2383.75/2390.25	c #Conflicts:     119000 | #Constraints:       9345
2383.75/2390.25	c #Conflicts:     120000 | #Constraints:      10345
2383.75/2390.25	c #Conflicts:     121000 | #Constraints:      11345
2383.75/2390.25	c #Conflicts:     122000 | #Constraints:      12345
2383.75/2390.25	c #Conflicts:     123000 | #Constraints:      13345
2383.75/2390.25	c #Conflicts:     124000 | #Constraints:      14345
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:     125000 | #Constraints:       8389
2383.75/2390.25	c #Conflicts:     126000 | #Constraints:       9389
2383.75/2390.25	c #Conflicts:     127000 | #Constraints:      10389
2383.75/2390.25	c #Conflicts:     128000 | #Constraints:      11389
2383.75/2390.25	c #Conflicts:     129000 | #Constraints:      12389
2383.75/2390.25	c #Conflicts:     130000 | #Constraints:      13389
2383.75/2390.25	c #Conflicts:     131000 | #Constraints:      14389
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:     132000 | #Constraints:       8274
2383.75/2390.25	c #Conflicts:     133000 | #Constraints:       9274
2383.75/2390.25	c #Conflicts:     134000 | #Constraints:      10274
2383.75/2390.25	c #Conflicts:     135000 | #Constraints:      11274
2383.75/2390.25	c #Conflicts:     136000 | #Constraints:      12274
2383.75/2390.25	c #Conflicts:     137000 | #Constraints:      13274
2383.75/2390.25	c #Conflicts:     138000 | #Constraints:      14274
2383.75/2390.25	c #Conflicts:     139000 | #Constraints:      15274
2383.75/2390.25	c INPROCESSING
2383.75/2390.25	c GARBAGE COLLECT
2383.75/2390.25	c #Conflicts:     140000 | #Constraints:       8967
3600.00/3610.02	c #Conflicts:     141000 | #Constraints:       9967
3600.00/3610.02	c #Conflicts:     142000 | #Constraints:      10967
3600.00/3610.02	c #Conflicts:     143000 | #Constraints:      11967
3600.00/3610.02	c #Conflicts:     144000 | #Constraints:      12967
3600.00/3610.02	c #Conflicts:     145000 | #Constraints:      13967
3600.00/3610.02	c #Conflicts:     146000 | #Constraints:      14967
3600.00/3610.02	c #Conflicts:     147000 | #Constraints:      15967
3600.00/3610.02	c INPROCESSING
3600.00/3610.02	c GARBAGE COLLECT
3600.00/3610.02	c #Conflicts:     148000 | #Constraints:       9423
3600.00/3610.02	c #Conflicts:     149000 | #Constraints:      10423
3600.00/3610.02	c #Conflicts:     150000 | #Constraints:      11423
3600.00/3610.02	c #Conflicts:     151000 | #Constraints:      12423
3600.00/3610.02	c #Conflicts:     152000 | #Constraints:      13423
3600.00/3610.02	c #Conflicts:     153000 | #Constraints:      14423
3600.00/3610.02	c #Conflicts:     154000 | #Constraints:      15423
3600.00/3610.02	c #Conflicts:     155000 | #Constraints:      16423
3600.00/3610.02	c INPROCESSING
3600.00/3610.02	c GARBAGE COLLECT
3600.00/3610.02	c #Conflicts:     156000 | #Constraints:       9652
3600.00/3610.02	c #Conflicts:     157000 | #Constraints:      10652
3600.00/3610.02	c #Conflicts:     158000 | #Constraints:      11652
3600.00/3610.02	c #Conflicts:     159000 | #Constraints:      12652
3600.00/3610.02	c #Conflicts:     160000 | #Constraints:      13652
3600.00/3610.02	c #Conflicts:     161000 | #Constraints:      14652
3600.00/3610.02	c #Conflicts:     162000 | #Constraints:      15652
3600.00/3610.02	c #Conflicts:     163000 | #Constraints:      16652
3600.00/3610.02	c INPROCESSING
3600.00/3610.02	c GARBAGE COLLECT
3600.00/3610.02	c #Conflicts:     164000 | #Constraints:       9686
3600.00/3610.02	c #Conflicts:     165000 | #Constraints:      10686
3600.00/3610.02	c #Conflicts:     166000 | #Constraints:      11686
3600.00/3610.02	c #Conflicts:     167000 | #Constraints:      12686
3600.00/3610.02	c #Conflicts:     168000 | #Constraints:      13686
3600.00/3610.02	c #Conflicts:     169000 | #Constraints:      14686
3600.00/3610.02	c #Conflicts:     170000 | #Constraints:      15686
3600.00/3610.02	c #Conflicts:     171000 | #Constraints:      16686
3600.00/3610.02	c INPROCESSING
3600.00/3610.02	c GARBAGE COLLECT
3600.00/3610.02	c #Conflicts:     172000 | #Constraints:       9487
3600.00/3610.02	c #Conflicts:     173000 | #Constraints:      10487
3600.00/3610.02	c #Conflicts:     174000 | #Constraints:      11487
3600.00/3610.02	c #Conflicts:     175000 | #Constraints:      12487
3600.00/3610.02	c #Conflicts:     176000 | #Constraints:      13487
3600.00/3610.02	c #Conflicts:     177000 | #Constraints:      14487
3600.00/3610.02	c #Conflicts:     178000 | #Constraints:      15487
3600.00/3610.02	c #Conflicts:     179000 | #Constraints:      16487
3600.00/3610.02	c #Conflicts:     180000 | #Constraints:      17487
3600.00/3610.02	c INPROCESSING
3600.00/3610.02	c GARBAGE COLLECT
3600.00/3610.02	c #Conflicts:     181000 | #Constraints:      10086
3600.00/3610.02	c #Conflicts:     182000 | #Constraints:      11086
3600.00/3610.02	c #Conflicts:     183000 | #Constraints:      12086
3600.00/3610.02	c #Conflicts:     184000 | #Constraints:      13086
3600.00/3610.02	c #Conflicts:     185000 | #Constraints:      14086
3600.00/3610.02	c #Conflicts:     186000 | #Constraints:      15086
3600.00/3610.02	c #Conflicts:     187000 | #Constraints:      16086
3600.00/3610.02	c #Conflicts:     188000 | #Constraints:      17086
3600.00/3610.02	c Program interrupted by user.
3600.00/3610.02	c cpu time 3579.72 s
3600.00/3610.02	c deterministic time 1226264583025 1.23e+12
3600.00/3610.02	c optimization time 199.59 s
3600.00/3610.02	c total solve time 3080.24 s
3600.00/3610.02	c core-guided solve time 3080.24 s
3600.00/3610.02	c propagation time 2698.74 s
3600.00/3610.02	c conflict analysis time 454.714 s
3600.00/3610.02	c propagations 299931496
3600.00/3610.02	c resolve steps 561933
3600.00/3610.02	c decisions 23993964
3600.00/3610.02	c conflicts 188769
3600.00/3610.02	c restarts 508
3600.00/3610.02	c inprocessing phases 34
3600.00/3610.02	c input clauses 20
3600.00/3610.02	c input cardinalities 624
3600.00/3610.02	c input general constraints 180
3600.00/3610.02	c input average constraint length 393.37
3600.00/3610.02	c input average constraint degree 3688229319.26
3600.00/3610.02	c learned clauses 1745
3600.00/3610.02	c learned cardinalities 386
3600.00/3610.02	c learned general constraints 186638
3600.00/3610.02	c learned average constraint length 6094.10
3600.00/3610.02	c learned average constraint degree 232915271581.63
3600.00/3610.02	c watched constraints 2424
3600.00/3610.02	c counting constraints 184394
3600.00/3610.02	c gcd simplifications 1097
3600.00/3610.02	c detected cardinalities 246
3600.00/3610.02	c weakened non-implied lits 361352538
3600.00/3610.02	c weakened non-implying lits 93516
3600.00/3610.02	c original variables 10894
3600.00/3610.02	c clausal propagations 38583
3600.00/3610.02	c cardinality propagations 582935
3600.00/3610.02	c watched propagations 243437
3600.00/3610.02	c counting propagations 293953690
3600.00/3610.02	c watch lookups 10844314363
3600.00/3610.02	c watch backjump lookups 10843435725
3600.00/3610.02	c watch checks 6210212532
3600.00/3610.02	c propagation checks 1193075613976
3600.00/3610.02	c constraint additions 4642977262
3600.00/3610.02	c trail pops 324103706
3600.00/3610.02	c formula constraints 823
3600.00/3610.02	c learned constraints 188769
3600.00/3610.02	c bound constraints 1
3600.00/3610.02	c core-guided constraints 0
3600.00/3610.02	c encountered formula constraints 125023
3600.00/3610.02	c encountered learned constraints 621122
3600.00/3610.02	c encountered bound constraints 4557
3600.00/3610.02	c encountered core-guided constraints 0
3600.00/3610.02	c LP total time 0 s
3600.00/3610.02	c LP solve time 0 s
3600.00/3610.02	c LP constraints added 0
3600.00/3610.02	c LP constraints removed 0
3600.00/3610.02	c LP pivots internal 0
3600.00/3610.02	c LP pivots root 0
3600.00/3610.02	c LP calls 0
3600.00/3610.02	c LP optimalities 0
3600.00/3610.02	c LP no pivot count 0
3600.00/3610.02	c LP infeasibilities 0
3600.00/3610.02	c LP valid Farkas constraints 0
3600.00/3610.02	c LP learned Farkas constraints 0
3600.00/3610.02	c LP basis resets 0
3600.00/3610.02	c LP cycling count 0
3600.00/3610.02	c LP singular count 0
3600.00/3610.02	c LP no primal count 0
3600.00/3610.02	c LP no farkas count 0
3600.00/3610.02	c LP other issue count 0
3600.00/3610.02	c LP Gomory cuts 0
3600.00/3610.02	c LP learned cuts 0
3600.00/3610.02	c LP deleted cuts 0
3600.00/3610.02	c LP encountered Gomory constraints 0
3600.00/3610.02	c LP encountered Farkas constraints 0
3600.00/3610.02	c LP encountered learned Farkas constraints 0
3600.00/3610.02	c CG auxiliary variables introduced 0
3600.00/3610.02	c CG solutions found 0
3600.00/3610.02	c CG cores constructed 0
3600.00/3610.02	c CG core cardinality constraints returned 0
3600.00/3610.02	c CG unit cores 0
3600.00/3610.02	c CG single cores 0
3600.00/3610.02	c CG blocks removed during cardinality reduction 0
3600.00/3610.02	c CG first core best 0
3600.00/3610.02	c CG decision core best 0
3600.00/3610.02	c CG core reduction tie 0
3600.00/3610.02	c CG core degree average 0.00
3600.00/3610.02	c CG core slack average 0.00
3600.00/3610.02	c CG exhausted 0
3600.00/3610.02	c CG exhaust time 0 s
3600.00/3610.02	c CG trimmed 0
3600.00/3610.02	c CG trim time 0 s
3600.00/3610.02	c CG minimized 0
3600.00/3610.02	c CG minimize time 0 s
3600.00/3610.02	c CG am1 prop time 0.000786 s
3600.00/3610.02	c CG # am1s reformulated 0
3600.00/3610.02	c CG lower bound derived from am1s 0
3600.00/3610.02	c CG # clausal cores 0
3600.00/3610.02	c CG # cardinality cores 0
3600.00/3610.02	c CG # pb cores 0
3600.00/3610.02	c CG # pb reforms 0
3600.00/3610.02	c CG # cores discarded because of pb reform 0
3600.00/3610.02	d LOWERBOUND 0
3600.00/3610.02	d NCORES 0
3600.00/3610.02	d NPBCORES 0
3600.00/3610.02	d NPBREFORM 0
3600.00/3610.02	d NTRIMMED 0
3600.00/3610.02	d NEXHAUSTED 0
3600.00/3610.02	d NAM1S 0
3600.00/3610.02	d AM1LB 0
3600.00/3610.02	c [Papilo Statistics]
3600.00/3610.02	c prepro time 0.109751s
3600.00/3610.02	c # tsx applied 2
3600.00/3610.02	c # tsx conflicts 0
3600.00/3610.02	c # bound changes 0
3600.00/3610.02	c # side changes 1
3600.00/3610.02	c # coef changes 0
3600.00/3610.02	c # rounds 2
3600.00/3610.02	c # deted vars 0
3600.00/3610.02	c # deted constrs 2
3600.00/3610.02	c # consecutive rounds of only bound changes 0
3600.00/3610.03	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: 64059 MiB (61514 MiB free)
  memory of node 1: 64510 MiB (60074 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454655-1721444844/watcher-4454655-1721444844 -o /tmp/evaluation-result-4454655-1721444844/solver-4454655-1721444844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032728 --watchdog 3760 mixed-bag HOME/instance-4454655-1721444844.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1032780, runsolver pid=1032777

[startup+0.100762 s]*
/proc/loadavg: 1.70 2.75 3.10 7/239 1032785
/proc/meminfo: memFree=124483756/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=78256 memory=12236 CPUtime=0.1 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 2591 0 0 0 9 1 0 0 20 0 1 0 196643646 80134144 3059 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 19564 3059 1626 3002 0 3852 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 12236 KiB

[startup+0.213321 s]*
/proc/loadavg: 1.70 2.75 3.10 7/242 1032791
/proc/meminfo: memFree=124450924/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=89088 memory=16624 CPUtime=0.22 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 3692 0 0 0 20 2 0 0 20 0 1 0 196643646 91226112 4156 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 22272 4156 1626 3002 0 6560 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 89088 KiB
Current children cumulated memory: 16624 KiB

[startup+0.314033 s]*
/proc/loadavg: 1.70 2.75 3.10 7/242 1032791
/proc/meminfo: memFree=124428824/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=84988 memory=18672 CPUtime=0.31 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 3695 0 0 0 29 2 0 0 20 0 1 0 196643646 87027712 4668 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 21247 4668 1626 3002 0 5535 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84988 KiB
Current children cumulated memory: 18672 KiB

[startup+0.700344 s]
/proc/loadavg: 1.70 2.75 3.10 7/242 1032791
/proc/meminfo: memFree=124385312/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=142592 memory=69872 CPUtime=0.68 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 10563 0 0 0 63 5 0 0 20 0 1 0 196643646 146014208 17468 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 35648 17468 3635 3002 0 19397 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142592 KiB
Current children cumulated memory: 69872 KiB

[startup+1.50036 s]
/proc/loadavg: 1.70 2.75 3.10 7/242 1032791
/proc/meminfo: memFree=124220844/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=234784 memory=151728 CPUtime=1.48 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 31545 0 0 0 137 11 0 0 20 0 1 0 196643646 240418816 37932 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 58696 37932 3779 3002 0 42445 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 234784 KiB
Current children cumulated memory: 151728 KiB

[startup+3.11263 s]
/proc/loadavg: 1.88 2.78 3.11 7/242 1032791
/proc/meminfo: memFree=123876844/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=336128 memory=235108 CPUtime=3.09 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 49931 0 0 0 294 15 0 0 20 0 1 0 196643646 344195072 58777 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 84032 58777 3969 3002 0 67781 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 336128 KiB
Current children cumulated memory: 235108 KiB

[startup+6.3003 s]
/proc/loadavg: 1.88 2.78 3.11 7/242 1032793
/proc/meminfo: memFree=123788648/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=337088 memory=235868 CPUtime=6.27 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 50180 0 0 0 612 15 0 0 20 0 1 0 196643646 345178112 58967 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 84272 58967 3969 3002 0 68021 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 337088 KiB
Current children cumulated memory: 235868 KiB

[startup+12.7003 s]
/proc/loadavg: 2.21 2.82 3.12 7/242 1032793
/proc/meminfo: memFree=123574588/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=382992 memory=281804 CPUtime=12.66 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 55511 0 0 0 1250 16 0 0 20 0 1 0 196643646 392183808 70451 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 95748 70451 4001 3002 0 79497 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 382992 KiB
Current children cumulated memory: 281804 KiB

[startup+25.5003 s]
/proc/loadavg: 2.48 2.86 3.13 7/242 1032796
/proc/meminfo: memFree=123446552/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=389172 memory=288704 CPUtime=25.43 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 56236 0 0 0 2527 16 0 0 20 0 1 0 196643646 398512128 72176 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 97293 72176 4001 3002 0 81042 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 389172 KiB
Current children cumulated memory: 288704 KiB

[startup+51.1129 s]
/proc/loadavg: 3.06 2.96 3.16 7/242 1032799
/proc/meminfo: memFree=123244728/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=436976 memory=336740 CPUtime=50.98 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 68260 0 0 0 5079 19 0 0 20 0 1 0 196643646 447463424 84185 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 109244 84185 4031 3002 0 92993 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 436976 KiB
Current children cumulated memory: 336740 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 3.16 3.21 7/242 1032807
/proc/meminfo: memFree=122947084/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=436976 memory=338112 CPUtime=102.03 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 68607 0 0 0 10184 19 0 0 20 0 1 0 196643646 447463424 84528 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 109244 84528 4031 3002 0 92993 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 436976 KiB
Current children cumulated memory: 338112 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.33 3.27 7/242 1032817
/proc/meminfo: memFree=122747572/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=468476 memory=367464 CPUtime=161.89 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 74950 0 0 0 16168 21 0 0 20 0 1 0 196643646 479719424 91866 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 117119 91866 4031 3002 0 100868 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 468476 KiB
Current children cumulated memory: 367464 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.48 3.33 7/245 1032833
/proc/meminfo: memFree=122432272/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=502156 memory=402036 CPUtime=221.74 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 81573 0 0 0 22152 22 0 0 20 0 1 0 196643646 514207744 100509 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 125539 100509 4079 3002 0 109288 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 502156 KiB
Current children cumulated memory: 402036 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.59 3.38 7/245 1032843
/proc/meminfo: memFree=122164404/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=502156 memory=402300 CPUtime=281.58 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 81657 0 0 0 28136 22 0 0 20 0 1 0 196643646 514207744 100575 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 125539 100575 4079 3002 0 109288 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 502156 KiB
Current children cumulated memory: 402300 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.70 3.43 7/244 1032853
/proc/meminfo: memFree=121727244/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=849452 memory=686820 CPUtime=341.43 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 100219 0 0 0 34023 120 0 0 20 0 1 0 196643646 869838848 171705 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 212363 171705 4222 3002 0 196112 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 849452 KiB
Current children cumulated memory: 686820 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.77 3.47 7/244 1032865
/proc/meminfo: memFree=121335964/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=1001536 memory=886348 CPUtime=401.28 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 130727 0 0 0 39897 231 0 0 20 0 1 0 196643646 1025572864 221587 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 250384 221587 4222 3002 0 234133 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 1001536 KiB
Current children cumulated memory: 886348 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.85 3.52 7/244 1032875
/proc/meminfo: memFree=121204036/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=1279300 memory=991964 CPUtime=461.13 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 146469 0 0 0 45776 337 0 0 20 0 1 0 196643646 1310003200 247991 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 319825 247991 4222 3002 0 303574 0

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

Current children cumulated memory: 2319432 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.12 7/243 1033922
/proc/meminfo: memFree=117992576/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=2854.5 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 345702 0 0 0 283492 1958 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 2854.5 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.12 7/243 1034316
/proc/meminfo: memFree=117957004/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=2914.32 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 346409 0 0 0 289468 1964 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 2914.32 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.11 7/243 1034326
/proc/meminfo: memFree=117922812/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=2974.14 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 347295 0 0 0 295445 1969 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.10 7/243 1034336
/proc/meminfo: memFree=117882148/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3033.96 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 348399 0 0 0 301423 1973 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.10 7/245 1034517
/proc/meminfo: memFree=117828296/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3093.78 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 349103 0 0 0 307401 1977 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.10 7/245 1034527
/proc/meminfo: memFree=117801972/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3153.61 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 349953 0 0 0 313379 1982 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/243 1034550
/proc/meminfo: memFree=117791000/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3213.43 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 350923 0 0 0 319357 1986 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/243 1034560
/proc/meminfo: memFree=117778572/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3273.26 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 351624 0 0 0 325335 1991 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/243 1034571
/proc/meminfo: memFree=117765788/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3333.09 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 352458 0 0 0 331307 2002 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/241 1034582
/proc/meminfo: memFree=117754320/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3392.91 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 353298 0 0 0 337282 2009 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/241 1034592
/proc/meminfo: memFree=117726772/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3452.73 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 354186 0 0 0 343257 2016 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 7/241 1034603
/proc/meminfo: memFree=117706104/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321068 CPUtime=3512.55 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 355044 0 0 0 349233 2022 0 0 20 0 1 0 196643646 2648858624 580267 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580267 4222 3002 0 630443 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/241 1034613
/proc/meminfo: memFree=117677332/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321072 CPUtime=3572.37 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 355910 0 0 0 355211 2026 0 0 20 0 1 0 196643646 2648858624 580268 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580268 4222 3002 0 630443 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.15 4.12 4.09 7/241 1034618
/proc/meminfo: memFree=117676172/131655788 swapFree=131071996/131071996
[pid=1032780] ppid=1032777 vsize=2586776 memory=2321336 CPUtime=3600 cores=4,6
/proc/1032780/stat : 1032780 (mixed-bag) R 1032777 1032780 1032717 0 -1 4194304 356342 0 0 0 357971 2029 0 0 20 0 1 0 196643646 2648858624 580334 134679101440 4194304 16488053 140729218410608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 32186368 140729218413589 140729218413666 140729218413666 140729218420683 0
/proc/1032780/statm: 646694 580334 4222 3002 0 630443 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2586776 KiB
Current children cumulated memory: 2321336 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.73 s, system=20.3072 s

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

Child status: 0

Real time (s): 3610.04
CPU time (s): 3600.04
CPU user time (s): 3579.73
CPU system time (s): 20.3072
CPU usage (%): 99.7229
Max. virtual memory (cumulated for all children) (KiB): 2586776
Max. memory (cumulated for all children) (KiB): 2321336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.73
system time used= 20.3072
maximum resident set size= 2321812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356560
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= 243
involuntary context switches= 2635


# summary of solver processes directly reported to runsolver:
#   pid: 1032780
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3579.73
#   total CPU system time (s): 20.3072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8902 second user time and 36.8496 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-20 05:07:35
IDJOB=4454655
IDBENCH=146793
IDSOLVER=3083
FILE ID=nodeC010/4454655-1721444844
RUNJOBID= nodeC010-1721444855-1032728
SLURM_JOB_ID= 7545660
Free space on /tmp= 723756 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454655-1721444844/watcher-4454655-1721444844 -o /tmp/evaluation-result-4454655-1721444844/solver-4454655-1721444844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032728 --watchdog 3760  mixed-bag HOME/instance-4454655-1721444844.opb

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

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=1374343265

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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.359
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.174
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.174
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.185
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.172
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.185
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.279
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.174
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124518468 kB
MemAvailable:   129842284 kB
Buffers:          539536 kB
Cached:          5572472 kB
SwapCached:            0 kB
Active:          1066632 kB
Inactive:        5385412 kB
Active(anon):       1340 kB
Inactive(anon):   385604 kB
Active(file):    1065292 kB
Inactive(file):  4999808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             66516 kB
Writeback:            20 kB
AnonPages:        341108 kB
Mapped:           108000 kB
Shmem:             45896 kB
KReclaimable:     197492 kB
Slab:             313036 kB
SReclaimable:     197492 kB
SUnreclaim:       115544 kB
KernelStack:        3520 kB
PageTables:         9560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     743984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC010 at 2024-07-20 06:07:46