Trace number 4435397

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-02? (TO) 3600.03 3613.41

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

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.09/0.20	c [STEP] preprocessing with Papilo
0.20/0.26	c [STEP] solving with SCIP
299.24/300.39	c [STEP] preprocessing done, loading into solver
299.34/300.44	c [STEP] solving
299.34/300.44	c #variables 10895 #constraints 823
299.34/300.44	c SMALL=long long, LARGE=int128
299.34/300.44	c bounds - >= 0 @ 299.239
299.34/300.44	c stratification level: 557798170
899.27/902.49	c #Conflicts:       1000 | #Constraints:       1823
899.27/902.49	c #Conflicts:       2000 | #Constraints:       2823
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:       3000 | #Constraints:       2830
899.27/902.49	c #Conflicts:       4000 | #Constraints:       3830
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:       5000 | #Constraints:       3234
899.27/902.49	c #Conflicts:       6000 | #Constraints:       4234
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:       7000 | #Constraints:       3238
899.27/902.49	c #Conflicts:       8000 | #Constraints:       4238
899.27/902.49	c #Conflicts:       9000 | #Constraints:       5238
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      10000 | #Constraints:       3944
899.27/902.49	c #Conflicts:      11000 | #Constraints:       4944
899.27/902.49	c #Conflicts:      12000 | #Constraints:       5944
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      13000 | #Constraints:       4398
899.27/902.49	c #Conflicts:      14000 | #Constraints:       5398
899.27/902.49	c #Conflicts:      15000 | #Constraints:       6398
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      16000 | #Constraints:       4625
899.27/902.49	c #Conflicts:      17000 | #Constraints:       5625
899.27/902.49	c #Conflicts:      18000 | #Constraints:       6625
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      19000 | #Constraints:       4649
899.27/902.49	c #Conflicts:      20000 | #Constraints:       5649
899.27/902.49	c #Conflicts:      21000 | #Constraints:       6649
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      22000 | #Constraints:       4452
899.27/902.49	c #Conflicts:      23000 | #Constraints:       5452
899.27/902.49	c #Conflicts:      24000 | #Constraints:       6452
899.27/902.49	c #Conflicts:      25000 | #Constraints:       7452
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      26000 | #Constraints:       5054
899.27/902.49	c #Conflicts:      27000 | #Constraints:       6054
899.27/902.49	c #Conflicts:      28000 | #Constraints:       7054
899.27/902.49	c #Conflicts:      29000 | #Constraints:       8054
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      30000 | #Constraints:       5447
899.27/902.49	c #Conflicts:      31000 | #Constraints:       6447
899.27/902.49	c #Conflicts:      32000 | #Constraints:       7447
899.27/902.49	c #Conflicts:      33000 | #Constraints:       8447
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      34000 | #Constraints:       5644
899.27/902.49	c #Conflicts:      35000 | #Constraints:       6644
899.27/902.49	c #Conflicts:      36000 | #Constraints:       7644
899.27/902.49	c #Conflicts:      37000 | #Constraints:       8644
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      38000 | #Constraints:       5655
899.27/902.49	c #Conflicts:      39000 | #Constraints:       6655
899.27/902.49	c #Conflicts:      40000 | #Constraints:       7655
899.27/902.49	c #Conflicts:      41000 | #Constraints:       8655
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      42000 | #Constraints:       5457
899.27/902.49	c #Conflicts:      43000 | #Constraints:       6457
899.27/902.49	c #Conflicts:      44000 | #Constraints:       7457
899.27/902.49	c #Conflicts:      45000 | #Constraints:       8457
899.27/902.49	c #Conflicts:      46000 | #Constraints:       9457
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      47000 | #Constraints:       6059
899.27/902.49	c #Conflicts:      48000 | #Constraints:       7059
899.27/902.49	c #Conflicts:      49000 | #Constraints:       8059
899.27/902.49	c #Conflicts:      50000 | #Constraints:       9059
899.27/902.49	c #Conflicts:      51000 | #Constraints:      10059
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      52000 | #Constraints:       6455
899.27/902.49	c #Conflicts:      53000 | #Constraints:       7455
899.27/902.49	c #Conflicts:      54000 | #Constraints:       8455
899.27/902.49	c #Conflicts:      55000 | #Constraints:       9455
899.27/902.49	c #Conflicts:      56000 | #Constraints:      10455
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      57000 | #Constraints:       6648
899.27/902.49	c #Conflicts:      58000 | #Constraints:       7648
899.27/902.49	c #Conflicts:      59000 | #Constraints:       8648
899.27/902.49	c #Conflicts:      60000 | #Constraints:       9648
899.27/902.49	c #Conflicts:      61000 | #Constraints:      10648
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      62000 | #Constraints:       6655
899.27/902.49	c #Conflicts:      63000 | #Constraints:       7655
899.27/902.49	c #Conflicts:      64000 | #Constraints:       8655
899.27/902.49	c #Conflicts:      65000 | #Constraints:       9655
899.27/902.49	c #Conflicts:      66000 | #Constraints:      10655
899.27/902.49	c INPROCESSING
899.27/902.49	c GARBAGE COLLECT
899.27/902.49	c #Conflicts:      67000 | #Constraints:       6461
899.27/902.49	c #Conflicts:      68000 | #Constraints:       7461
2314.72/2323.17	c #Conflicts:      69000 | #Constraints:       8461
2314.72/2323.17	c #Conflicts:      70000 | #Constraints:       9461
2314.72/2323.17	c #Conflicts:      71000 | #Constraints:      10461
2314.72/2323.17	c #Conflicts:      72000 | #Constraints:      11461
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:      73000 | #Constraints:       7065
2314.72/2323.17	c #Conflicts:      74000 | #Constraints:       8065
2314.72/2323.17	c #Conflicts:      75000 | #Constraints:       9065
2314.72/2323.17	c #Conflicts:      76000 | #Constraints:      10065
2314.72/2323.17	c #Conflicts:      77000 | #Constraints:      11065
2314.72/2323.17	c #Conflicts:      78000 | #Constraints:      12065
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:      79000 | #Constraints:       7470
2314.72/2323.17	c #Conflicts:      80000 | #Constraints:       8470
2314.72/2323.17	c #Conflicts:      81000 | #Constraints:       9470
2314.72/2323.17	c #Conflicts:      82000 | #Constraints:      10470
2314.72/2323.17	c #Conflicts:      83000 | #Constraints:      11470
2314.72/2323.17	c #Conflicts:      84000 | #Constraints:      12470
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:      85000 | #Constraints:       7679
2314.72/2323.17	c #Conflicts:      86000 | #Constraints:       8679
2314.72/2323.17	c #Conflicts:      87000 | #Constraints:       9679
2314.72/2323.17	c #Conflicts:      88000 | #Constraints:      10679
2314.72/2323.17	c #Conflicts:      89000 | #Constraints:      11679
2314.72/2323.17	c #Conflicts:      90000 | #Constraints:      12679
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:      91000 | #Constraints:       7641
2314.72/2323.17	c #Conflicts:      92000 | #Constraints:       8641
2314.72/2323.17	c #Conflicts:      93000 | #Constraints:       9641
2314.72/2323.17	c #Conflicts:      94000 | #Constraints:      10641
2314.72/2323.17	c #Conflicts:      95000 | #Constraints:      11641
2314.72/2323.17	c #Conflicts:      96000 | #Constraints:      12641
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:      97000 | #Constraints:       7381
2314.72/2323.17	c #Conflicts:      98000 | #Constraints:       8381
2314.72/2323.17	c #Conflicts:      99000 | #Constraints:       9381
2314.72/2323.17	c #Conflicts:     100000 | #Constraints:      10381
2314.72/2323.17	c #Conflicts:     101000 | #Constraints:      11381
2314.72/2323.17	c #Conflicts:     102000 | #Constraints:      12381
2314.72/2323.17	c #Conflicts:     103000 | #Constraints:      13381
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:     104000 | #Constraints:       8017
2314.72/2323.17	c #Conflicts:     105000 | #Constraints:       9017
2314.72/2323.17	c #Conflicts:     106000 | #Constraints:      10017
2314.72/2323.17	c #Conflicts:     107000 | #Constraints:      11017
2314.72/2323.17	c #Conflicts:     108000 | #Constraints:      12017
2314.72/2323.17	c #Conflicts:     109000 | #Constraints:      13017
2314.72/2323.17	c #Conflicts:     110000 | #Constraints:      14017
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:     111000 | #Constraints:       8412
2314.72/2323.17	c #Conflicts:     112000 | #Constraints:       9412
2314.72/2323.17	c #Conflicts:     113000 | #Constraints:      10412
2314.72/2323.17	c #Conflicts:     114000 | #Constraints:      11412
2314.72/2323.17	c #Conflicts:     115000 | #Constraints:      12412
2314.72/2323.17	c #Conflicts:     116000 | #Constraints:      13412
2314.72/2323.17	c #Conflicts:     117000 | #Constraints:      14412
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:     118000 | #Constraints:       8345
2314.72/2323.17	c #Conflicts:     119000 | #Constraints:       9345
2314.72/2323.17	c #Conflicts:     120000 | #Constraints:      10345
2314.72/2323.17	c #Conflicts:     121000 | #Constraints:      11345
2314.72/2323.17	c #Conflicts:     122000 | #Constraints:      12345
2314.72/2323.17	c #Conflicts:     123000 | #Constraints:      13345
2314.72/2323.17	c #Conflicts:     124000 | #Constraints:      14345
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:     125000 | #Constraints:       8389
2314.72/2323.17	c #Conflicts:     126000 | #Constraints:       9389
2314.72/2323.17	c #Conflicts:     127000 | #Constraints:      10389
2314.72/2323.17	c #Conflicts:     128000 | #Constraints:      11389
2314.72/2323.17	c #Conflicts:     129000 | #Constraints:      12389
2314.72/2323.17	c #Conflicts:     130000 | #Constraints:      13389
2314.72/2323.17	c #Conflicts:     131000 | #Constraints:      14389
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:     132000 | #Constraints:       8274
2314.72/2323.17	c #Conflicts:     133000 | #Constraints:       9274
2314.72/2323.17	c #Conflicts:     134000 | #Constraints:      10274
2314.72/2323.17	c #Conflicts:     135000 | #Constraints:      11274
2314.72/2323.17	c #Conflicts:     136000 | #Constraints:      12274
2314.72/2323.17	c #Conflicts:     137000 | #Constraints:      13274
2314.72/2323.17	c #Conflicts:     138000 | #Constraints:      14274
2314.72/2323.17	c #Conflicts:     139000 | #Constraints:      15274
2314.72/2323.17	c INPROCESSING
2314.72/2323.17	c GARBAGE COLLECT
2314.72/2323.17	c #Conflicts:     140000 | #Constraints:       8967
3600.01/3613.40	c #Conflicts:     141000 | #Constraints:       9967
3600.01/3613.40	c #Conflicts:     142000 | #Constraints:      10967
3600.01/3613.40	c #Conflicts:     143000 | #Constraints:      11967
3600.01/3613.40	c #Conflicts:     144000 | #Constraints:      12967
3600.01/3613.40	c #Conflicts:     145000 | #Constraints:      13967
3600.01/3613.40	c #Conflicts:     146000 | #Constraints:      14967
3600.01/3613.40	c #Conflicts:     147000 | #Constraints:      15967
3600.01/3613.40	c INPROCESSING
3600.01/3613.40	c GARBAGE COLLECT
3600.01/3613.40	c #Conflicts:     148000 | #Constraints:       9423
3600.01/3613.40	c #Conflicts:     149000 | #Constraints:      10423
3600.01/3613.40	c #Conflicts:     150000 | #Constraints:      11423
3600.01/3613.40	c #Conflicts:     151000 | #Constraints:      12423
3600.01/3613.40	c #Conflicts:     152000 | #Constraints:      13423
3600.01/3613.40	c #Conflicts:     153000 | #Constraints:      14423
3600.01/3613.40	c #Conflicts:     154000 | #Constraints:      15423
3600.01/3613.40	c #Conflicts:     155000 | #Constraints:      16423
3600.01/3613.40	c INPROCESSING
3600.01/3613.40	c GARBAGE COLLECT
3600.01/3613.40	c #Conflicts:     156000 | #Constraints:       9652
3600.01/3613.40	c #Conflicts:     157000 | #Constraints:      10652
3600.01/3613.40	c #Conflicts:     158000 | #Constraints:      11652
3600.01/3613.40	c #Conflicts:     159000 | #Constraints:      12652
3600.01/3613.40	c #Conflicts:     160000 | #Constraints:      13652
3600.01/3613.40	c #Conflicts:     161000 | #Constraints:      14652
3600.01/3613.40	c #Conflicts:     162000 | #Constraints:      15652
3600.01/3613.40	c #Conflicts:     163000 | #Constraints:      16652
3600.01/3613.40	c INPROCESSING
3600.01/3613.40	c GARBAGE COLLECT
3600.01/3613.40	c #Conflicts:     164000 | #Constraints:       9686
3600.01/3613.40	c #Conflicts:     165000 | #Constraints:      10686
3600.01/3613.40	c #Conflicts:     166000 | #Constraints:      11686
3600.01/3613.40	c #Conflicts:     167000 | #Constraints:      12686
3600.01/3613.40	c #Conflicts:     168000 | #Constraints:      13686
3600.01/3613.40	c #Conflicts:     169000 | #Constraints:      14686
3600.01/3613.40	c #Conflicts:     170000 | #Constraints:      15686
3600.01/3613.40	c #Conflicts:     171000 | #Constraints:      16686
3600.01/3613.40	c INPROCESSING
3600.01/3613.40	c GARBAGE COLLECT
3600.01/3613.40	c #Conflicts:     172000 | #Constraints:       9487
3600.01/3613.40	c #Conflicts:     173000 | #Constraints:      10487
3600.01/3613.40	c #Conflicts:     174000 | #Constraints:      11487
3600.01/3613.40	c #Conflicts:     175000 | #Constraints:      12487
3600.01/3613.40	c #Conflicts:     176000 | #Constraints:      13487
3600.01/3613.40	c #Conflicts:     177000 | #Constraints:      14487
3600.01/3613.40	c #Conflicts:     178000 | #Constraints:      15487
3600.01/3613.40	c #Conflicts:     179000 | #Constraints:      16487
3600.01/3613.40	c #Conflicts:     180000 | #Constraints:      17487
3600.01/3613.40	c INPROCESSING
3600.01/3613.40	c GARBAGE COLLECT
3600.01/3613.40	c #Conflicts:     181000 | #Constraints:      10086
3600.01/3613.40	c #Conflicts:     182000 | #Constraints:      11086
3600.01/3613.40	c #Conflicts:     183000 | #Constraints:      12086
3600.01/3613.40	c #Conflicts:     184000 | #Constraints:      13086
3600.01/3613.40	c #Conflicts:     185000 | #Constraints:      14086
3600.01/3613.40	c #Conflicts:     186000 | #Constraints:      15086
3600.01/3613.40	c #Conflicts:     187000 | #Constraints:      16086
3600.01/3613.40	c #Conflicts:     188000 | #Constraints:      17086
3600.01/3613.40	c #Conflicts:     189000 | #Constraints:      18086
3600.01/3613.40	c INPROCESSING
3600.01/3613.40	c GARBAGE COLLECT
3600.01/3613.40	c #Conflicts:     190000 | #Constraints:      10496
3600.01/3613.40	c #Conflicts:     191000 | #Constraints:      11496
3600.01/3613.40	c #Conflicts:     192000 | #Constraints:      12496
3600.01/3613.40	c #Conflicts:     193000 | #Constraints:      13496
3600.01/3613.40	c #Conflicts:     194000 | #Constraints:      14496
3600.01/3613.40	c #Conflicts:     195000 | #Constraints:      15496
3600.01/3613.40	c #Conflicts:     196000 | #Constraints:      16496
3600.01/3613.40	c #Conflicts:     197000 | #Constraints:      17496
3600.01/3613.40	c Program interrupted by user.
3600.01/3613.40	c cpu time 3579.42 s
3600.01/3613.40	c deterministic time 1295988893042 1.30e+12
3600.01/3613.40	c optimization time 121.125 s
3600.01/3613.40	c total solve time 3159.06 s
3600.01/3613.40	c core-guided solve time 3159.06 s
3600.01/3613.40	c propagation time 2700.91 s
3600.01/3613.40	c conflict analysis time 452.454 s
3600.01/3613.40	c propagations 308120734
3600.01/3613.40	c resolve steps 593740
3600.01/3613.40	c decisions 24079521
3600.01/3613.40	c conflicts 197094
3600.01/3613.40	c restarts 509
3600.01/3613.40	c inprocessing phases 35
3600.01/3613.40	c input clauses 20
3600.01/3613.40	c input cardinalities 624
3600.01/3613.40	c input general constraints 180
3600.01/3613.40	c input average constraint length 393.37
3600.01/3613.40	c input average constraint degree 3688229319.26
3600.01/3613.40	c learned clauses 2246
3600.01/3613.40	c learned cardinalities 484
3600.01/3613.40	c learned general constraints 194363
3600.01/3613.40	c learned average constraint length 5933.28
3600.01/3613.40	c learned average constraint degree 227533030959.10
3600.01/3613.40	c watched constraints 2802
3600.01/3613.40	c counting constraints 191741
3600.01/3613.40	c gcd simplifications 1322
3600.01/3613.40	c detected cardinalities 318
3600.01/3613.40	c weakened non-implied lits 372019245
3600.01/3613.40	c weakened non-implying lits 97693
3600.01/3613.40	c original variables 10894
3600.01/3613.40	c clausal propagations 40474
3600.01/3613.40	c cardinality propagations 594521
3600.01/3613.40	c watched propagations 252795
3600.01/3613.40	c counting propagations 302025098
3600.01/3613.40	c watch lookups 11129913579
3600.01/3613.40	c watch backjump lookups 11128548884
3600.01/3613.40	c watch checks 6422003611
3600.01/3613.40	c propagation checks 1261864910840
3600.01/3613.40	c constraint additions 4778929374
3600.01/3613.40	c trail pops 332386498
3600.01/3613.40	c formula constraints 823
3600.01/3613.40	c learned constraints 197093
3600.01/3613.40	c bound constraints 1
3600.01/3613.40	c core-guided constraints 0
3600.01/3613.40	c encountered formula constraints 129532
3600.01/3613.40	c encountered learned constraints 656733
3600.01/3613.40	c encountered bound constraints 4569
3600.01/3613.40	c encountered core-guided constraints 0
3600.01/3613.40	c LP total time 0 s
3600.01/3613.40	c LP solve time 0 s
3600.01/3613.40	c LP constraints added 0
3600.01/3613.40	c LP constraints removed 0
3600.01/3613.40	c LP pivots internal 0
3600.01/3613.40	c LP pivots root 0
3600.01/3613.40	c LP calls 0
3600.01/3613.40	c LP optimalities 0
3600.01/3613.40	c LP no pivot count 0
3600.01/3613.40	c LP infeasibilities 0
3600.01/3613.40	c LP valid Farkas constraints 0
3600.01/3613.40	c LP learned Farkas constraints 0
3600.01/3613.40	c LP basis resets 0
3600.01/3613.40	c LP cycling count 0
3600.01/3613.40	c LP singular count 0
3600.01/3613.40	c LP no primal count 0
3600.01/3613.40	c LP no farkas count 0
3600.01/3613.40	c LP other issue count 0
3600.01/3613.40	c LP Gomory cuts 0
3600.01/3613.40	c LP learned cuts 0
3600.01/3613.40	c LP deleted cuts 0
3600.01/3613.40	c LP encountered Gomory constraints 0
3600.01/3613.40	c LP encountered Farkas constraints 0
3600.01/3613.40	c LP encountered learned Farkas constraints 0
3600.01/3613.40	c CG auxiliary variables introduced 0
3600.01/3613.40	c CG solutions found 0
3600.01/3613.40	c CG cores constructed 0
3600.01/3613.40	c CG core cardinality constraints returned 0
3600.01/3613.40	c CG unit cores 0
3600.01/3613.40	c CG single cores 0
3600.01/3613.40	c CG blocks removed during cardinality reduction 0
3600.01/3613.40	c CG first core best 0
3600.01/3613.40	c CG decision core best 0
3600.01/3613.40	c CG core reduction tie 0
3600.01/3613.40	c CG core degree average 0.00
3600.01/3613.40	c CG core slack average 0.00
3600.01/3613.40	c CG exhausted 0
3600.01/3613.40	c CG exhaust time 0 s
3600.01/3613.40	c CG trimmed 0
3600.01/3613.40	c CG trim time 0 s
3600.01/3613.40	c CG minimized 0
3600.01/3613.40	c CG minimize time 0 s
3600.01/3613.40	c CG am1 prop time 0.000911 s
3600.01/3613.40	c CG # am1s reformulated 0
3600.01/3613.40	c CG lower bound derived from am1s 0
3600.01/3613.40	c CG # clausal cores 0
3600.01/3613.40	c CG # cardinality cores 0
3600.01/3613.40	c CG # pb cores 0
3600.01/3613.40	c CG # pb reforms 0
3600.01/3613.40	c CG # cores discarded because of pb reform 0
3600.01/3613.40	d LOWERBOUND 0
3600.01/3613.40	d NCORES 0
3600.01/3613.40	d NPBCORES 0
3600.01/3613.40	d NPBREFORM 0
3600.01/3613.40	d NTRIMMED 0
3600.01/3613.40	d NEXHAUSTED 0
3600.01/3613.40	d NAM1S 0
3600.01/3613.40	d AM1LB 0
3600.01/3613.40	c [Papilo Statistics]
3600.01/3613.40	c prepro time 0.0558914s
3600.01/3613.40	c # tsx applied 2
3600.01/3613.40	c # tsx conflicts 0
3600.01/3613.40	c # bound changes 0
3600.01/3613.40	c # side changes 1
3600.01/3613.40	c # coef changes 0
3600.01/3613.40	c # rounds 2
3600.01/3613.40	c # deted vars 0
3600.01/3613.40	c # deted constrs 2
3600.01/3613.40	c # consecutive rounds of only bound changes 0
3600.01/3613.40	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: 63968 MiB (59688 MiB free)
  memory of node 1: 64473 MiB (61722 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435397-1721068162/watcher-4435397-1721068162 -o /tmp/evaluation-result-4435397-1721068162/solver-4435397-1721068162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809294 --watchdog 3760 mixed-bag HOME/instance-4435397-1721068162.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=814626, runsolver pid=814623
Current StackSize limit: 8192 KiB


[startup+0.100334 s]*
/proc/loadavg: 4.13 4.13 4.14 5/257 814627
/proc/meminfo: memFree=124313660/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=84980 memory=17672 CPUtime=0.09 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 3432 0 0 0 8 1 0 0 20 0 1 0 158981135 87019520 4418 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 21245 4418 1639 3002 0 5535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84980 KiB
Current children cumulated memory: 17672 KiB

[startup+0.205673 s]*
/proc/loadavg: 4.13 4.13 4.14 5/257 814627
/proc/meminfo: memFree=124282840/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=134428 memory=53364 CPUtime=0.2 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 7652 0 0 0 18 2 0 0 20 0 1 0 158981135 137654272 13275 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 33607 13341 1761 3002 0 17358 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 134428 KiB
Current children cumulated memory: 53364 KiB

[startup+0.305784 s]*
/proc/loadavg: 4.13 4.13 4.14 5/257 814627
/proc/meminfo: memFree=124248676/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=168916 memory=94116 CPUtime=0.29 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 15542 0 0 0 26 3 0 0 20 0 1 0 158981135 172969984 23529 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 42229 23529 3707 3002 0 25980 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 168916 KiB
Current children cumulated memory: 94116 KiB

[startup+0.700241 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 814627
/proc/meminfo: memFree=124197332/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=233888 memory=152076 CPUtime=0.69 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 30456 0 0 0 63 6 0 0 20 0 1 0 158981135 239501312 38019 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 58472 38019 3819 3002 0 42223 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 233888 KiB
Current children cumulated memory: 152076 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 814627
/proc/meminfo: memFree=124185696/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=257820 memory=162604 CPUtime=1.48 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 32692 0 0 0 142 6 0 0 20 0 1 0 158981135 264007680 40651 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 64455 40651 3835 3002 0 48206 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 257820 KiB
Current children cumulated memory: 162604 KiB

[startup+3.10558 s]
/proc/loadavg: 4.20 4.14 4.15 5/257 814628
/proc/meminfo: memFree=124101960/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=336120 memory=234996 CPUtime=3.08 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 49398 0 0 0 300 8 0 0 20 0 1 0 158981135 344186880 58749 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 84030 58749 4005 3002 0 67781 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 336120 KiB
Current children cumulated memory: 234996 KiB

[startup+6.30022 s]
/proc/loadavg: 4.20 4.14 4.15 5/257 814628
/proc/meminfo: memFree=124096016/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=337080 memory=235972 CPUtime=6.26 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 49650 0 0 0 618 8 0 0 20 0 1 0 158981135 345169920 58993 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 84270 58993 4005 3002 0 68021 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 337080 KiB
Current children cumulated memory: 235972 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.15 5/257 814630
/proc/meminfo: memFree=124046432/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=382984 memory=281892 CPUtime=12.65 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 54985 0 0 0 1255 10 0 0 20 0 1 0 158981135 392175616 70473 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 95746 70473 4037 3002 0 79497 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 382984 KiB
Current children cumulated memory: 281892 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.14 5/257 814631
/proc/meminfo: memFree=124027600/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=389164 memory=288784 CPUtime=25.41 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 55709 0 0 0 2531 10 0 0 20 0 1 0 158981135 398503936 72196 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 97291 72196 4037 3002 0 81042 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 389164 KiB
Current children cumulated memory: 288784 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.14 4.15 5/258 814692
/proc/meminfo: memFree=123949404/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=436968 memory=336816 CPUtime=50.92 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 67740 0 0 0 5081 11 0 0 20 0 1 0 158981135 447455232 84204 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 109242 84204 4068 3002 0 92993 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 436968 KiB
Current children cumulated memory: 336816 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/258 814703
/proc/meminfo: memFree=123906088/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=436968 memory=338512 CPUtime=101.93 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 68099 0 0 0 10182 11 0 0 20 0 1 0 158981135 447455232 84628 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 109242 84628 4068 3002 0 92993 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 436968 KiB
Current children cumulated memory: 338512 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/258 814713
/proc/meminfo: memFree=123798196/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=468468 memory=380732 CPUtime=161.72 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 74523 0 0 0 16160 12 0 0 20 0 1 0 158981135 479711232 95183 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 117117 95183 4068 3002 0 100868 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 468468 KiB
Current children cumulated memory: 380732 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/259 814725
/proc/meminfo: memFree=123708616/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=502148 memory=422504 CPUtime=221.51 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 81225 0 0 0 22138 13 0 0 20 0 1 0 158981135 514199552 105626 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 125537 105626 4116 3002 0 109288 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 502148 KiB
Current children cumulated memory: 422504 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/258 814736
/proc/meminfo: memFree=123656696/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=502148 memory=422840 CPUtime=281.3 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 81458 0 0 0 28117 13 0 0 20 0 1 0 158981135 514199552 105710 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 125537 105710 4116 3002 0 109288 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 502148 KiB
Current children cumulated memory: 422840 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/258 814746
/proc/meminfo: memFree=123343732/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=849444 memory=700308 CPUtime=341.1 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 96737 0 0 0 34003 107 0 0 20 0 1 0 158981135 869830656 175077 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 212361 175077 4244 3002 0 196112 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 849444 KiB
Current children cumulated memory: 700308 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.14 5/255 814756
/proc/meminfo: memFree=123104832/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=1001528 memory=892912 CPUtime=400.89 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 125608 0 0 0 39875 214 0 0 20 0 1 0 158981135 1025564672 223228 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 250382 223228 4244 3002 0 234133 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 1001528 KiB
Current children cumulated memory: 892912 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/255 814766
/proc/meminfo: memFree=122949204/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=1279292 memory=998252 CPUtime=460.69 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 141291 0 0 0 45746 323 0 0 20 0 1 0 158981135 1309995008 249563 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 319823 249563 4244 3002 0 303574 0

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

Current children cumulated memory: 2298136 KiB

[startup+2862.3 s]
/proc/loadavg: 1.05 1.18 2.04 2/234 815866
/proc/meminfo: memFree=126040796/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2317564 CPUtime=2851.74 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 359988 0 0 0 283200 1974 0 0 20 0 1 0 158981135 2648850432 579391 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 579391 4244 3002 0 630443 0
Current children cumulated CPU time: 2851.74 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2317564 KiB

[startup+2922.3 s]
/proc/loadavg: 1.06 1.16 1.97 2/234 815877
/proc/meminfo: memFree=126011968/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2345808 CPUtime=2911.5 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 360852 0 0 0 289170 1980 0 0 20 0 1 0 158981135 2648850432 586452 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 586452 4244 3002 0 630443 0
Current children cumulated CPU time: 2911.5 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2345808 KiB

[startup+2982.3 s]
/proc/loadavg: 1.12 1.16 1.92 2/233 815887
/proc/meminfo: memFree=125992040/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=2971.26 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 361774 0 0 0 295141 1985 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 2971.26 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3042.3 s]
/proc/loadavg: 1.10 1.14 1.87 2/235 815901
/proc/meminfo: memFree=125992672/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3031.03 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 362562 0 0 0 301111 1992 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3031.03 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.13 1.81 2/235 815912
/proc/meminfo: memFree=125992372/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3090.81 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 363566 0 0 0 307084 1997 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3090.81 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3162.3 s]
/proc/loadavg: 1.09 1.12 1.77 2/235 815922
/proc/meminfo: memFree=125992000/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3150.58 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 364617 0 0 0 313055 2003 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3150.58 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.11 1.72 2/235 815933
/proc/meminfo: memFree=125991916/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3210.35 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 365585 0 0 0 319023 2012 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3210.35 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3282.3 s]
/proc/loadavg: 1.14 1.12 1.69 2/235 815945
/proc/meminfo: memFree=125991120/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3270.13 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 366416 0 0 0 324988 2025 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3270.13 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.11 1.64 2/238 816343
/proc/meminfo: memFree=125989960/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3329.91 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 367372 0 0 0 330959 2032 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3329.91 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3402.3 s]
/proc/loadavg: 1.23 1.14 1.62 2/238 816354
/proc/meminfo: memFree=125990392/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3389.69 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 368323 0 0 0 336932 2037 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3389.69 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.12 1.58 2/238 816365
/proc/meminfo: memFree=125990100/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3449.47 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 369388 0 0 0 342904 2043 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3449.47 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.11 1.55 2/238 816544
/proc/meminfo: memFree=125990220/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3509.25 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 370431 0 0 0 348876 2049 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3509.25 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.12 1.52 2/238 816555
/proc/meminfo: memFree=125989704/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3569.02 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 371235 0 0 0 354847 2055 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3569.02 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 1.15 1.12 1.51 2/238 816559
/proc/meminfo: memFree=125989692/131524600 swapFree=131071996/131071996
[pid=814626] ppid=814623 vsize=2586768 memory=2363516 CPUtime=3600.01 cores=0,2
/proc/814626/stat : 814626 (mixed-bag) R 814623 814626 809284 0 -1 4194304 371721 0 0 0 357941 2060 0 0 20 0 1 0 158981135 2648850432 590879 134679101440 4194304 16487941 140732555073680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55308288 140732555080727 140732555080804 140732555080804 140732555087819 0
/proc/814626/statm: 646692 590879 4244 3002 0 630443 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2586768 KiB
Current children cumulated memory: 2363516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.42 s, system=20.6153 s

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

Child status: 0

Real time (s): 3613.41
CPU time (s): 3600.03
CPU user time (s): 3579.42
CPU system time (s): 20.6153
CPU usage (%): 99.6298
Max. virtual memory (cumulated for all children) (KiB): 2586768
Max. memory (cumulated for all children) (KiB): 2363516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.42
system time used= 20.6153
maximum resident set size= 2363908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371978
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= 117
involuntary context switches= 25465


# summary of solver processes directly reported to runsolver:
#   pid: 814626
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3579.42
#   total CPU system time (s): 20.6153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.38304 second user time and 14.4437 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-15 20:29:34
IDJOB=4435397
IDBENCH=146793
IDSOLVER=3066
FILE ID=nodeC023/4435397-1721068162
RUNJOBID= nodeC023-1721058927-809294
SLURM_JOB_ID= 7505494
Free space on /tmp= 890024 MiB

SOLVER NAME= mixed-bag 2024-07-02
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-4435397-1721068162/watcher-4435397-1721068162 -o /tmp/evaluation-result-4435397-1721068162/solver-4435397-1721068162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809294 --watchdog 3760  mixed-bag HOME/instance-4435397-1721068162.opb

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

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=509106522

nodeC023.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	: 0xb00002a
cpu MHz		: 3667.059
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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		: 3689.110
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
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		: 3659.939
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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		: 3600.129
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
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		: 3685.356
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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		: 3689.127
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
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		: 3618.835
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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.973
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124325440 kB
MemAvailable:   125728856 kB
Buffers:          378936 kB
Cached:          1852852 kB
SwapCached:            0 kB
Active:           714696 kB
Inactive:        5864748 kB
Active(anon):       1596 kB
Inactive(anon):  4383816 kB
Active(file):     713100 kB
Inactive(file):  1480932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19236 kB
Writeback:             0 kB
AnonPages:       4345044 kB
Mapped:           130068 kB
Shmem:             37720 kB
KReclaimable:      98416 kB
Slab:             204728 kB
SReclaimable:      98416 kB
SUnreclaim:       106312 kB
KernelStack:        4140 kB
PageTables:        19080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5661348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2523136 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:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC023 at 2024-07-15 21:29:48