Trace number 4457955

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-02Wrong UNSAT 824.847 827.481

DiagnosticValue
AM1LB0
AM1LB0
LOWERBOUND0
LOWERBOUND0
NAM1S0
NAM1S0
NCORES0
NCORES0
NEXHAUSTED0
NEXHAUSTED0
NPBCORES0
NPBCORES0
NPBREFORM0
NPBREFORM0
NTRIMMED0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
MD5SUM21ed527d50cb70bf3fbdba517cab1d1c
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 benchmark1
Best CPU time to get the best result obtained on this benchmark70.6884
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3004
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 751
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 751
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 751
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.00/0.02	c [STEP] preprocessing with Papilo
0.00/0.02	c Papilo could not simplify the problem
0.00/0.02	c [STEP] solving with SCIP
298.90/300.22	c [STEP] preprocessing done, loading into solver
298.90/300.22	c [STEP] solving
298.90/300.22	c #variables 3005 #constraints 1502
298.90/300.22	c SMALL=int, LARGE=long long
298.90/300.22	c bounds - >= 0 @ 298.657
298.90/300.22	c stratification level: 0
449.79/451.53	c #Conflicts:       1000 | #Constraints:       2502
449.79/451.53	c #Conflicts:       2000 | #Constraints:       3502
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:       3000 | #Constraints:       3528
449.79/451.53	c #Conflicts:       4000 | #Constraints:       4528
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:       5000 | #Constraints:       3954
449.79/451.53	c #Conflicts:       6000 | #Constraints:       4954
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:       7000 | #Constraints:       3968
449.79/451.53	c #Conflicts:       8000 | #Constraints:       4968
449.79/451.53	c #Conflicts:       9000 | #Constraints:       5968
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      10000 | #Constraints:       4676
449.79/451.53	c #Conflicts:      11000 | #Constraints:       5676
449.79/451.53	c #Conflicts:      12000 | #Constraints:       6676
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      13000 | #Constraints:       5126
449.79/451.53	c #Conflicts:      14000 | #Constraints:       6126
449.79/451.53	c #Conflicts:      15000 | #Constraints:       7126
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      16000 | #Constraints:       5344
449.79/451.53	c #Conflicts:      17000 | #Constraints:       6344
449.79/451.53	c #Conflicts:      18000 | #Constraints:       7344
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      19000 | #Constraints:       5352
449.79/451.53	c #Conflicts:      20000 | #Constraints:       6352
449.79/451.53	c #Conflicts:      21000 | #Constraints:       7352
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      22000 | #Constraints:       5148
449.79/451.53	c #Conflicts:      23000 | #Constraints:       6148
449.79/451.53	c #Conflicts:      24000 | #Constraints:       7148
449.79/451.53	c #Conflicts:      25000 | #Constraints:       8148
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      26000 | #Constraints:       5749
449.79/451.53	c #Conflicts:      27000 | #Constraints:       6749
449.79/451.53	c #Conflicts:      28000 | #Constraints:       7749
449.79/451.53	c #Conflicts:      29000 | #Constraints:       8749
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      30000 | #Constraints:       6148
449.79/451.53	c #Conflicts:      31000 | #Constraints:       7148
449.79/451.53	c #Conflicts:      32000 | #Constraints:       8148
449.79/451.53	c #Conflicts:      33000 | #Constraints:       9148
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      34000 | #Constraints:       6345
449.79/451.53	c #Conflicts:      35000 | #Constraints:       7345
449.79/451.53	c #Conflicts:      36000 | #Constraints:       8345
449.79/451.53	c #Conflicts:      37000 | #Constraints:       9345
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      38000 | #Constraints:       6355
449.79/451.53	c #Conflicts:      39000 | #Constraints:       7355
449.79/451.53	c #Conflicts:      40000 | #Constraints:       8355
449.79/451.53	c #Conflicts:      41000 | #Constraints:       9355
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      42000 | #Constraints:       6156
449.79/451.53	c #Conflicts:      43000 | #Constraints:       7156
449.79/451.53	c #Conflicts:      44000 | #Constraints:       8156
449.79/451.53	c #Conflicts:      45000 | #Constraints:       9156
449.79/451.53	c #Conflicts:      46000 | #Constraints:      10156
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      47000 | #Constraints:       6746
449.79/451.53	c #Conflicts:      48000 | #Constraints:       7746
449.79/451.53	c #Conflicts:      49000 | #Constraints:       8746
449.79/451.53	c #Conflicts:      50000 | #Constraints:       9746
449.79/451.53	c #Conflicts:      51000 | #Constraints:      10746
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      52000 | #Constraints:       7141
449.79/451.53	c #Conflicts:      53000 | #Constraints:       8141
449.79/451.53	c #Conflicts:      54000 | #Constraints:       9141
449.79/451.53	c #Conflicts:      55000 | #Constraints:      10141
449.79/451.53	c #Conflicts:      56000 | #Constraints:      11141
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      57000 | #Constraints:       7341
449.79/451.53	c #Conflicts:      58000 | #Constraints:       8341
449.79/451.53	c #Conflicts:      59000 | #Constraints:       9341
449.79/451.53	c #Conflicts:      60000 | #Constraints:      10341
449.79/451.53	c #Conflicts:      61000 | #Constraints:      11341
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      62000 | #Constraints:       7337
449.79/451.53	c #Conflicts:      63000 | #Constraints:       8337
449.79/451.53	c #Conflicts:      64000 | #Constraints:       9337
449.79/451.53	c #Conflicts:      65000 | #Constraints:      10337
449.79/451.53	c #Conflicts:      66000 | #Constraints:      11337
449.79/451.53	c INPROCESSING
449.79/451.53	c GARBAGE COLLECT
449.79/451.53	c #Conflicts:      67000 | #Constraints:       7137
449.79/451.53	c #Conflicts:      68000 | #Constraints:       8137
712.85/715.20	c #Conflicts:      69000 | #Constraints:       9137
712.85/715.20	c #Conflicts:      70000 | #Constraints:      10137
712.85/715.20	c #Conflicts:      71000 | #Constraints:      11137
712.85/715.20	c #Conflicts:      72000 | #Constraints:      12137
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:      73000 | #Constraints:       7734
712.85/715.20	c #Conflicts:      74000 | #Constraints:       8734
712.85/715.20	c #Conflicts:      75000 | #Constraints:       9734
712.85/715.20	c #Conflicts:      76000 | #Constraints:      10734
712.85/715.20	c #Conflicts:      77000 | #Constraints:      11734
712.85/715.20	c #Conflicts:      78000 | #Constraints:      12734
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:      79000 | #Constraints:       8137
712.85/715.20	c #Conflicts:      80000 | #Constraints:       9137
712.85/715.20	c #Conflicts:      81000 | #Constraints:      10137
712.85/715.20	c #Conflicts:      82000 | #Constraints:      11137
712.85/715.20	c #Conflicts:      83000 | #Constraints:      12137
712.85/715.20	c #Conflicts:      84000 | #Constraints:      13137
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:      85000 | #Constraints:       8337
712.85/715.20	c #Conflicts:      86000 | #Constraints:       9337
712.85/715.20	c #Conflicts:      87000 | #Constraints:      10337
712.85/715.20	c #Conflicts:      88000 | #Constraints:      11337
712.85/715.20	c #Conflicts:      89000 | #Constraints:      12337
712.85/715.20	c #Conflicts:      90000 | #Constraints:      13337
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:      91000 | #Constraints:       8336
712.85/715.20	c #Conflicts:      92000 | #Constraints:       9336
712.85/715.20	c #Conflicts:      93000 | #Constraints:      10336
712.85/715.20	c #Conflicts:      94000 | #Constraints:      11336
712.85/715.20	c #Conflicts:      95000 | #Constraints:      12336
712.85/715.20	c #Conflicts:      96000 | #Constraints:      13336
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:      97000 | #Constraints:       8140
712.85/715.20	c #Conflicts:      98000 | #Constraints:       9140
712.85/715.20	c #Conflicts:      99000 | #Constraints:      10140
712.85/715.20	c #Conflicts:     100000 | #Constraints:      11140
712.85/715.20	c #Conflicts:     101000 | #Constraints:      12140
712.85/715.20	c #Conflicts:     102000 | #Constraints:      13140
712.85/715.20	c #Conflicts:     103000 | #Constraints:      14140
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:     104000 | #Constraints:       8740
712.85/715.20	c #Conflicts:     105000 | #Constraints:       9740
712.85/715.20	c #Conflicts:     106000 | #Constraints:      10740
712.85/715.20	c #Conflicts:     107000 | #Constraints:      11740
712.85/715.20	c #Conflicts:     108000 | #Constraints:      12740
712.85/715.20	c #Conflicts:     109000 | #Constraints:      13740
712.85/715.20	c #Conflicts:     110000 | #Constraints:      14740
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:     111000 | #Constraints:       9138
712.85/715.20	c #Conflicts:     112000 | #Constraints:      10138
712.85/715.20	c #Conflicts:     113000 | #Constraints:      11138
712.85/715.20	c #Conflicts:     114000 | #Constraints:      12138
712.85/715.20	c #Conflicts:     115000 | #Constraints:      13138
712.85/715.20	c #Conflicts:     116000 | #Constraints:      14138
712.85/715.20	c #Conflicts:     117000 | #Constraints:      15138
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:     118000 | #Constraints:       9340
712.85/715.20	c #Conflicts:     119000 | #Constraints:      10340
712.85/715.20	c #Conflicts:     120000 | #Constraints:      11340
712.85/715.20	c #Conflicts:     121000 | #Constraints:      12340
712.85/715.20	c #Conflicts:     122000 | #Constraints:      13340
712.85/715.20	c #Conflicts:     123000 | #Constraints:      14340
712.85/715.20	c #Conflicts:     124000 | #Constraints:      15340
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:     125000 | #Constraints:       9337
712.85/715.20	c #Conflicts:     126000 | #Constraints:      10337
712.85/715.20	c #Conflicts:     127000 | #Constraints:      11337
712.85/715.20	c #Conflicts:     128000 | #Constraints:      12337
712.85/715.20	c #Conflicts:     129000 | #Constraints:      13337
712.85/715.20	c #Conflicts:     130000 | #Constraints:      14337
712.85/715.20	c #Conflicts:     131000 | #Constraints:      15337
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:     132000 | #Constraints:       9133
712.85/715.20	c #Conflicts:     133000 | #Constraints:      10133
712.85/715.20	c #Conflicts:     134000 | #Constraints:      11133
712.85/715.20	c #Conflicts:     135000 | #Constraints:      12133
712.85/715.20	c #Conflicts:     136000 | #Constraints:      13133
712.85/715.20	c #Conflicts:     137000 | #Constraints:      14133
712.85/715.20	c #Conflicts:     138000 | #Constraints:      15133
712.85/715.20	c #Conflicts:     139000 | #Constraints:      16133
712.85/715.20	c INPROCESSING
712.85/715.20	c GARBAGE COLLECT
712.85/715.20	c #Conflicts:     140000 | #Constraints:       9738
808.41/811.02	c #Conflicts:     141000 | #Constraints:      10738
808.41/811.02	c #Conflicts:     142000 | #Constraints:      11738
808.41/811.02	c #Conflicts:     143000 | #Constraints:      12738
808.41/811.02	c #Conflicts:     144000 | #Constraints:      13738
808.41/811.02	c #Conflicts:     145000 | #Constraints:      14738
808.41/811.02	c #Conflicts:     146000 | #Constraints:      15738
808.41/811.02	c #Conflicts:     147000 | #Constraints:      16738
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     148000 | #Constraints:      10140
808.41/811.02	c #Conflicts:     149000 | #Constraints:      11140
808.41/811.02	c #Conflicts:     150000 | #Constraints:      12140
808.41/811.02	c #Conflicts:     151000 | #Constraints:      13140
808.41/811.02	c #Conflicts:     152000 | #Constraints:      14140
808.41/811.02	c #Conflicts:     153000 | #Constraints:      15140
808.41/811.02	c #Conflicts:     154000 | #Constraints:      16140
808.41/811.02	c #Conflicts:     155000 | #Constraints:      17140
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     156000 | #Constraints:      10338
808.41/811.02	c #Conflicts:     157000 | #Constraints:      11338
808.41/811.02	c #Conflicts:     158000 | #Constraints:      12338
808.41/811.02	c #Conflicts:     159000 | #Constraints:      13338
808.41/811.02	c #Conflicts:     160000 | #Constraints:      14338
808.41/811.02	c #Conflicts:     161000 | #Constraints:      15338
808.41/811.02	c #Conflicts:     162000 | #Constraints:      16338
808.41/811.02	c #Conflicts:     163000 | #Constraints:      17338
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     164000 | #Constraints:      10333
808.41/811.02	c #Conflicts:     165000 | #Constraints:      11333
808.41/811.02	c #Conflicts:     166000 | #Constraints:      12333
808.41/811.02	c #Conflicts:     167000 | #Constraints:      13333
808.41/811.02	c #Conflicts:     168000 | #Constraints:      14333
808.41/811.02	c #Conflicts:     169000 | #Constraints:      15333
808.41/811.02	c #Conflicts:     170000 | #Constraints:      16333
808.41/811.02	c #Conflicts:     171000 | #Constraints:      17333
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     172000 | #Constraints:      10130
808.41/811.02	c #Conflicts:     173000 | #Constraints:      11130
808.41/811.02	c #Conflicts:     174000 | #Constraints:      12130
808.41/811.02	c #Conflicts:     175000 | #Constraints:      13130
808.41/811.02	c #Conflicts:     176000 | #Constraints:      14130
808.41/811.02	c #Conflicts:     177000 | #Constraints:      15130
808.41/811.02	c #Conflicts:     178000 | #Constraints:      16130
808.41/811.02	c #Conflicts:     179000 | #Constraints:      17130
808.41/811.02	c #Conflicts:     180000 | #Constraints:      18130
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     181000 | #Constraints:      10734
808.41/811.02	c #Conflicts:     182000 | #Constraints:      11734
808.41/811.02	c #Conflicts:     183000 | #Constraints:      12734
808.41/811.02	c #Conflicts:     184000 | #Constraints:      13734
808.41/811.02	c #Conflicts:     185000 | #Constraints:      14734
808.41/811.02	c #Conflicts:     186000 | #Constraints:      15734
808.41/811.02	c #Conflicts:     187000 | #Constraints:      16734
808.41/811.02	c #Conflicts:     188000 | #Constraints:      17734
808.41/811.02	c #Conflicts:     189000 | #Constraints:      18734
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     190000 | #Constraints:      11138
808.41/811.02	c #Conflicts:     191000 | #Constraints:      12138
808.41/811.02	c #Conflicts:     192000 | #Constraints:      13138
808.41/811.02	c #Conflicts:     193000 | #Constraints:      14138
808.41/811.02	c #Conflicts:     194000 | #Constraints:      15138
808.41/811.02	c #Conflicts:     195000 | #Constraints:      16138
808.41/811.02	c #Conflicts:     196000 | #Constraints:      17138
808.41/811.02	c #Conflicts:     197000 | #Constraints:      18138
808.41/811.02	c #Conflicts:     198000 | #Constraints:      19138
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     199000 | #Constraints:      11333
808.41/811.02	c #Conflicts:     200000 | #Constraints:      12333
808.41/811.02	c #Conflicts:     201000 | #Constraints:      13333
808.41/811.02	c #Conflicts:     202000 | #Constraints:      14333
808.41/811.02	c #Conflicts:     203000 | #Constraints:      15333
808.41/811.02	c #Conflicts:     204000 | #Constraints:      16333
808.41/811.02	c #Conflicts:     205000 | #Constraints:      17333
808.41/811.02	c #Conflicts:     206000 | #Constraints:      18333
808.41/811.02	c #Conflicts:     207000 | #Constraints:      19333
808.41/811.02	c INPROCESSING
808.41/811.02	c GARBAGE COLLECT
808.41/811.02	c #Conflicts:     208000 | #Constraints:      11334
808.41/811.02	c #Conflicts:     209000 | #Constraints:      12334
808.41/811.02	c #Conflicts:     210000 | #Constraints:      13334
808.41/811.02	c #Conflicts:     211000 | #Constraints:      14334
808.41/811.02	c #Conflicts:     212000 | #Constraints:      15334
808.41/811.02	c #Conflicts:     213000 | #Constraints:      16334
824.76/827.47	c #Conflicts:     214000 | #Constraints:      17334
824.76/827.47	c #Conflicts:     215000 | #Constraints:      18334
824.76/827.47	c #Conflicts:     216000 | #Constraints:      19334
824.76/827.47	c INPROCESSING
824.76/827.47	c GARBAGE COLLECT
824.76/827.47	c #Conflicts:     217000 | #Constraints:      11137
824.76/827.47	c #Conflicts:     218000 | #Constraints:      12137
824.76/827.47	c #Conflicts:     219000 | #Constraints:      13137
824.76/827.47	c #Conflicts:     220000 | #Constraints:      14137
824.76/827.47	c #Conflicts:     221000 | #Constraints:      15137
824.76/827.47	c #Conflicts:     222000 | #Constraints:      16137
824.76/827.47	c #Conflicts:     223000 | #Constraints:      17137
824.76/827.47	c #Conflicts:     224000 | #Constraints:      18137
824.76/827.47	c #Conflicts:     225000 | #Constraints:      19137
824.76/827.47	c #Conflicts:     226000 | #Constraints:      20137
824.76/827.47	c INPROCESSING
824.76/827.47	c GARBAGE COLLECT
824.76/827.47	c #Conflicts:     227000 | #Constraints:      11739
824.76/827.47	c #Conflicts:     228000 | #Constraints:      12739
824.76/827.47	c #Conflicts:     229000 | #Constraints:      13739
824.76/827.47	c #Conflicts:     230000 | #Constraints:      14739
824.76/827.47	c #Conflicts:     231000 | #Constraints:      15739
824.76/827.47	c #Conflicts:     232000 | #Constraints:      16739
824.76/827.47	c #Conflicts:     233000 | #Constraints:      17739
824.76/827.47	c #Conflicts:     234000 | #Constraints:      18739
824.76/827.47	c #Conflicts:     235000 | #Constraints:      19739
824.76/827.47	c #Conflicts:     236000 | #Constraints:      20739
824.76/827.47	c INPROCESSING
824.76/827.47	c GARBAGE COLLECT
824.76/827.47	c #Conflicts:     237000 | #Constraints:      12141
824.76/827.47	c #Conflicts:     238000 | #Constraints:      13141
824.76/827.47	c #Conflicts:     239000 | #Constraints:      14141
824.76/827.47	c #Conflicts:     240000 | #Constraints:      15141
824.76/827.47	c #Conflicts:     241000 | #Constraints:      16141
824.76/827.47	c #Conflicts:     242000 | #Constraints:      17141
824.76/827.47	c #Conflicts:     243000 | #Constraints:      18141
824.76/827.47	c #Conflicts:     244000 | #Constraints:      19141
824.76/827.47	c #Conflicts:     245000 | #Constraints:      20141
824.76/827.47	c #Conflicts:     246000 | #Constraints:      21141
824.76/827.47	c INPROCESSING
824.76/827.47	c GARBAGE COLLECT
824.76/827.47	d SOLVEDBY oll
824.76/827.47	c cpu time 817.847 s
824.76/827.47	c deterministic time 132259539336 1.32e+11
824.76/827.47	c optimization time 0.000361 s
824.76/827.47	c total solve time 519.189 s
824.76/827.47	c core-guided solve time 519.189 s
824.76/827.47	c propagation time 474.922 s
824.76/827.47	c conflict analysis time 34.4069 s
824.76/827.47	c propagations 17662157
824.76/827.47	c resolve steps 915612
824.76/827.47	c decisions 8128828
824.76/827.47	c conflicts 246298
824.76/827.47	c restarts 572
824.76/827.47	c inprocessing phases 41
824.76/827.47	c input clauses 0
824.76/827.47	c input cardinalities 1503
824.76/827.47	c input general constraints 0
824.76/827.47	c input average constraint length 7.50
824.76/827.47	c input average constraint degree 4.00
824.76/827.47	c learned clauses 44531
824.76/827.47	c learned cardinalities 453
824.76/827.47	c learned general constraints 201313
824.76/827.47	c learned average constraint length 585.39
824.76/827.47	c learned average constraint degree 1375.57
824.76/827.47	c watched constraints 194444
824.76/827.47	c counting constraints 6869
824.76/827.47	c gcd simplifications 701
824.76/827.47	c detected cardinalities 7
824.76/827.47	c weakened non-implied lits 8533736
824.76/827.47	c weakened non-implying lits 772
824.76/827.47	c original variables 3004
824.76/827.47	c clausal propagations 37287
824.76/827.47	c cardinality propagations 9740370
824.76/827.47	c watched propagations 5465747
824.76/827.47	c counting propagations 2258979
824.76/827.47	c watch lookups 2677814916
824.76/827.47	c watch backjump lookups 2192947942
824.76/827.47	c watch checks 117829281934
824.76/827.47	c propagation checks 9158442249
824.76/827.47	c constraint additions 349224801
824.76/827.47	c trail pops 26036508
824.76/827.47	c formula constraints 1502
824.76/827.47	c learned constraints 246297
824.76/827.47	c bound constraints 1
824.76/827.47	c core-guided constraints 0
824.76/827.47	c encountered formula constraints 577630
824.76/827.47	c encountered learned constraints 584280
824.76/827.47	c encountered bound constraints 0
824.76/827.47	c encountered core-guided constraints 0
824.76/827.47	c LP total time 0 s
824.76/827.47	c LP solve time 0 s
824.76/827.47	c LP constraints added 0
824.76/827.47	c LP constraints removed 0
824.76/827.47	c LP pivots internal 0
824.76/827.47	c LP pivots root 0
824.76/827.47	c LP calls 0
824.76/827.47	c LP optimalities 0
824.76/827.47	c LP no pivot count 0
824.76/827.47	c LP infeasibilities 0
824.76/827.47	c LP valid Farkas constraints 0
824.76/827.47	c LP learned Farkas constraints 0
824.76/827.47	c LP basis resets 0
824.76/827.47	c LP cycling count 0
824.76/827.47	c LP singular count 0
824.76/827.47	c LP no primal count 0
824.76/827.47	c LP no farkas count 0
824.76/827.47	c LP other issue count 0
824.76/827.47	c LP Gomory cuts 0
824.76/827.47	c LP learned cuts 0
824.76/827.47	c LP deleted cuts 0
824.76/827.47	c LP encountered Gomory constraints 0
824.76/827.47	c LP encountered Farkas constraints 0
824.76/827.47	c LP encountered learned Farkas constraints 0
824.76/827.47	c CG auxiliary variables introduced 0
824.76/827.47	c CG solutions found 0
824.76/827.47	c CG cores constructed 0
824.76/827.47	c CG core cardinality constraints returned 0
824.76/827.47	c CG unit cores 0
824.76/827.47	c CG single cores 0
824.76/827.47	c CG blocks removed during cardinality reduction 0
824.76/827.47	c CG first core best 0
824.76/827.47	c CG decision core best 0
824.76/827.47	c CG core reduction tie 0
824.76/827.47	c CG core degree average 0.00
824.76/827.47	c CG core slack average 0.00
824.76/827.47	c CG exhausted 0
824.76/827.47	c CG exhaust time 0 s
824.76/827.47	c CG trimmed 0
824.76/827.47	c CG trim time 0 s
824.76/827.47	c CG minimized 0
824.76/827.47	c CG minimize time 0 s
824.76/827.47	c CG am1 prop time 0 s
824.76/827.47	c CG # am1s reformulated 0
824.76/827.47	c CG lower bound derived from am1s 0
824.76/827.47	c CG # clausal cores 0
824.76/827.47	c CG # cardinality cores 0
824.76/827.47	c CG # pb cores 0
824.76/827.47	c CG # pb reforms 0
824.76/827.47	c CG # cores discarded because of pb reform 0
824.76/827.47	d LOWERBOUND 0
824.76/827.47	d NCORES 0
824.76/827.47	d NPBCORES 0
824.76/827.47	d NPBREFORM 0
824.76/827.47	d NTRIMMED 0
824.76/827.47	d NEXHAUSTED 0
824.76/827.47	d NAM1S 0
824.76/827.47	d AM1LB 0
824.76/827.47	c [Papilo Statistics]
824.76/827.47	c prepro time 0.00602969s
824.76/827.47	c # tsx applied 0
824.76/827.47	c # tsx conflicts 0
824.76/827.47	c # bound changes 0
824.76/827.47	c # side changes 0
824.76/827.47	c # coef changes 0
824.76/827.47	c # rounds 1
824.76/827.47	c # deted vars 0
824.76/827.47	c # deted constrs 0
824.76/827.47	c # consecutive rounds of only bound changes 0
824.76/827.47	c cpu time 817.847 s
824.76/827.47	c deterministic time 132259539336 1.32e+11
824.76/827.47	c optimization time 0.000415 s
824.76/827.47	c total solve time 519.189 s
824.76/827.47	c core-guided solve time 519.189 s
824.76/827.47	c propagation time 474.922 s
824.76/827.47	c conflict analysis time 34.4069 s
824.76/827.47	c propagations 17662157
824.76/827.47	c resolve steps 915612
824.76/827.47	c decisions 8128828
824.76/827.47	c conflicts 246298
824.76/827.47	c restarts 572
824.76/827.47	c inprocessing phases 41
824.76/827.47	c input clauses 0
824.76/827.47	c input cardinalities 1503
824.76/827.47	c input general constraints 0
824.76/827.47	c input average constraint length 7.50
824.76/827.47	c input average constraint degree 4.00
824.76/827.47	c learned clauses 44531
824.76/827.47	c learned cardinalities 453
824.76/827.47	c learned general constraints 201313
824.76/827.47	c learned average constraint length 585.39
824.76/827.47	c learned average constraint degree 1375.57
824.76/827.47	c watched constraints 194444
824.76/827.47	c counting constraints 6869
824.76/827.47	c gcd simplifications 701
824.76/827.47	c detected cardinalities 7
824.76/827.47	c weakened non-implied lits 8533736
824.76/827.47	c weakened non-implying lits 772
824.76/827.47	c original variables 3004
824.76/827.47	c clausal propagations 37287
824.76/827.47	c cardinality propagations 9740370
824.76/827.47	c watched propagations 5465747
824.76/827.47	c counting propagations 2258979
824.76/827.47	c watch lookups 2677814916
824.76/827.47	c watch backjump lookups 2192947942
824.76/827.47	c watch checks 117829281934
824.76/827.47	c propagation checks 9158442249
824.76/827.47	c constraint additions 349224801
824.76/827.47	c trail pops 26036508
824.76/827.47	c formula constraints 1502
824.76/827.47	c learned constraints 246297
824.76/827.47	c bound constraints 1
824.76/827.47	c core-guided constraints 0
824.76/827.47	c encountered formula constraints 577630
824.76/827.47	c encountered learned constraints 584280
824.76/827.47	c encountered bound constraints 0
824.76/827.47	c encountered core-guided constraints 0
824.76/827.47	c LP total time 0 s
824.76/827.47	c LP solve time 0 s
824.76/827.47	c LP constraints added 0
824.76/827.47	c LP constraints removed 0
824.76/827.47	c LP pivots internal 0
824.76/827.47	c LP pivots root 0
824.76/827.47	c LP calls 0
824.76/827.47	c LP optimalities 0
824.76/827.47	c LP no pivot count 0
824.76/827.47	c LP infeasibilities 0
824.76/827.47	c LP valid Farkas constraints 0
824.76/827.47	c LP learned Farkas constraints 0
824.76/827.47	c LP basis resets 0
824.76/827.47	c LP cycling count 0
824.76/827.47	c LP singular count 0
824.76/827.47	c LP no primal count 0
824.76/827.47	c LP no farkas count 0
824.76/827.47	c LP other issue count 0
824.76/827.47	c LP Gomory cuts 0
824.76/827.47	c LP learned cuts 0
824.76/827.47	c LP deleted cuts 0
824.76/827.47	c LP encountered Gomory constraints 0
824.76/827.47	c LP encountered Farkas constraints 0
824.76/827.47	c LP encountered learned Farkas constraints 0
824.76/827.47	c CG auxiliary variables introduced 0
824.76/827.47	c CG solutions found 0
824.76/827.47	c CG cores constructed 0
824.76/827.47	c CG core cardinality constraints returned 0
824.76/827.47	c CG unit cores 0
824.76/827.47	c CG single cores 0
824.76/827.47	c CG blocks removed during cardinality reduction 0
824.76/827.48	c CG first core best 0
824.76/827.48	c CG decision core best 0
824.76/827.48	c CG core reduction tie 0
824.76/827.48	c CG core degree average 0.00
824.76/827.48	c CG core slack average 0.00
824.76/827.48	c CG exhausted 0
824.76/827.48	c CG exhaust time 0 s
824.76/827.48	c CG trimmed 0
824.76/827.48	c CG trim time 0 s
824.76/827.48	c CG minimized 0
824.76/827.48	c CG minimize time 0 s
824.76/827.48	c CG am1 prop time 0 s
824.76/827.48	c CG # am1s reformulated 0
824.76/827.48	c CG lower bound derived from am1s 0
824.76/827.48	c CG # clausal cores 0
824.76/827.48	c CG # cardinality cores 0
824.76/827.48	c CG # pb cores 0
824.76/827.48	c CG # pb reforms 0
824.76/827.48	c CG # cores discarded because of pb reform 0
824.76/827.48	d LOWERBOUND 0
824.76/827.48	d NCORES 0
824.76/827.48	d NPBCORES 0
824.76/827.48	d NPBREFORM 0
824.76/827.48	d NTRIMMED 0
824.76/827.48	d NEXHAUSTED 0
824.76/827.48	d NAM1S 0
824.76/827.48	d AM1LB 0
824.76/827.48	c [Papilo Statistics]
824.76/827.48	c prepro time 0.00602969s
824.76/827.48	c # tsx applied 0
824.76/827.48	c # tsx conflicts 0
824.76/827.48	c # bound changes 0
824.76/827.48	c # side changes 0
824.76/827.48	c # coef changes 0
824.76/827.48	c # rounds 1
824.76/827.48	c # deted vars 0
824.76/827.48	c # deted constrs 0
824.76/827.48	c # consecutive rounds of only bound changes 0
824.76/827.48	s UNSATISFIABLE

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: 64096 MiB (60786 MiB free)
  memory of node 1: 64473 MiB (59645 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457955-1721865126/watcher-4457955-1721865126 -o /tmp/evaluation-result-4457955-1721865126/solver-4457955-1721865126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207854 --watchdog 3760 mixed-bag HOME/instance-4457955-1721865126.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=208377, runsolver pid=208374

[startup+0.100899 s]*
/proc/loadavg: 0.39 0.15 0.11 4/245 208378
/proc/meminfo: memFree=123298216/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=103508 memory=31252 CPUtime=0.1 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 4588 0 0 0 9 1 0 0 20 0 1 0 22501592 105992192 7813 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 25877 7813 3816 3002 0 9628 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 103508 KiB
Current children cumulated memory: 31252 KiB

[startup+0.213797 s]*
/proc/loadavg: 0.39 0.15 0.11 5/244 208392
/proc/meminfo: memFree=123291964/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=104616 memory=32436 CPUtime=0.21 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 5182 0 0 0 20 1 0 0 20 0 1 0 22501592 107126784 8109 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 26154 8109 3825 3002 0 9905 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104616 KiB
Current children cumulated memory: 32436 KiB

[startup+0.312783 s]*
/proc/loadavg: 0.39 0.15 0.11 5/244 208392
/proc/meminfo: memFree=123284200/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=109004 memory=37424 CPUtime=0.3 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 6366 0 0 0 29 1 0 0 20 0 1 0 22501592 111620096 9356 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 27251 9356 4001 3002 0 11002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109004 KiB
Current children cumulated memory: 37424 KiB

[startup+0.700335 s]
/proc/loadavg: 0.39 0.15 0.11 5/241 208414
/proc/meminfo: memFree=123270328/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=117492 memory=44884 CPUtime=0.68 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 9358 0 0 0 66 2 0 0 20 0 1 0 22501592 120311808 11221 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 29373 11221 4048 3002 0 13124 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117492 KiB
Current children cumulated memory: 44884 KiB

[startup+1.50031 s]
/proc/loadavg: 0.39 0.15 0.11 5/247 208424
/proc/meminfo: memFree=123228396/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=125028 memory=53328 CPUtime=1.48 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 11473 0 0 0 145 3 0 0 20 0 1 0 22501592 128028672 13332 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 31257 13332 4048 3002 0 15008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125028 KiB
Current children cumulated memory: 53328 KiB

[startup+3.11251 s]
/proc/loadavg: 0.39 0.15 0.11 5/247 208424
/proc/meminfo: memFree=123165364/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=150356 memory=78132 CPUtime=3.08 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 17651 0 0 0 304 4 0 0 20 0 1 0 22501592 153964544 19533 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 37589 19533 4048 3002 0 21340 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150356 KiB
Current children cumulated memory: 78132 KiB

[startup+6.30026 s]
/proc/loadavg: 0.68 0.21 0.13 5/247 208426
/proc/meminfo: memFree=123140088/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=151252 memory=79908 CPUtime=6.25 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 19455 0 0 0 621 4 0 0 20 0 1 0 22501592 154882048 19977 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 37813 19977 4048 3002 0 21564 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 151252 KiB
Current children cumulated memory: 79908 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 0.27 0.15 5/247 208426
/proc/meminfo: memFree=123055060/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=189264 memory=117672 CPUtime=12.63 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 30686 0 0 0 1256 7 0 0 20 0 1 0 22501592 193806336 29418 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 47316 29418 4048 3002 0 31067 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 189264 KiB
Current children cumulated memory: 117672 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 0.47 0.22 5/247 208429
/proc/meminfo: memFree=122976028/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=199752 memory=128216 CPUtime=25.37 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 33316 0 0 0 2530 7 0 0 20 0 1 0 22501592 204546048 32054 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 49938 32054 4048 3002 0 33689 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 199752 KiB
Current children cumulated memory: 128216 KiB

[startup+51.1122 s]
/proc/loadavg: 2.54 0.77 0.33 5/247 208432
/proc/meminfo: memFree=122867048/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=242528 memory=170204 CPUtime=50.88 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 48710 0 0 0 5075 13 0 0 20 0 1 0 22501592 248348672 42551 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 60632 42551 4048 3002 0 44383 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 242528 KiB
Current children cumulated memory: 170204 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.29 0.53 5/247 208440
/proc/meminfo: memFree=122683596/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=272696 memory=200588 CPUtime=101.85 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 57727 0 0 0 10166 19 0 0 20 0 1 0 22501592 279240704 50147 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 68174 50147 4048 3002 0 51925 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 272696 KiB
Current children cumulated memory: 200588 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.80 0.75 5/247 208450
/proc/meminfo: memFree=122488748/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=335192 memory=260144 CPUtime=161.59 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 75174 0 0 0 16138 21 0 0 20 0 1 0 22501592 343236608 65036 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 83798 65036 4048 3002 0 67549 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 335192 KiB
Current children cumulated memory: 260144 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.97 5/249 208845
/proc/meminfo: memFree=122388944/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=387780 memory=313372 CPUtime=221.34 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 90241 0 0 0 22110 24 0 0 20 0 1 0 22501592 397086720 78343 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 96945 78343 4048 3002 0 80696 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 387780 KiB
Current children cumulated memory: 313372 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.58 1.17 5/247 208855
/proc/meminfo: memFree=122229420/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=431904 memory=357996 CPUtime=281.08 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 102690 0 0 0 28082 26 0 0 20 0 1 0 22501592 442269696 89499 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 107976 89499 4048 3002 0 91727 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 431904 KiB
Current children cumulated memory: 357996 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 2.88 1.36 5/244 209372
/proc/meminfo: memFree=122776832/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=457464 memory=382300 CPUtime=340.88 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 108451 0 0 0 34005 83 0 0 20 0 1 0 22501592 468443136 95575 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 114366 95575 4174 3002 0 98117 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 457464 KiB
Current children cumulated memory: 382300 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 3.11 1.54 5/244 209551
/proc/meminfo: memFree=122685964/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=457464 memory=393556 CPUtime=400.71 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 108505 0 0 0 39937 134 0 0 20 0 1 0 22501592 468443136 98389 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 114366 98389 4174 3002 0 98117 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 457464 KiB
Current children cumulated memory: 393556 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.29 1.70 6/244 209561
/proc/meminfo: memFree=122648424/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=399776 CPUtime=460.56 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109080 0 0 0 45877 179 0 0 20 0 1 0 22501592 500002816 99944 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 99944 4174 3002 0 105822 0
Current children cumulated CPU time: 460.56 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 399776 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 3.44 1.85 5/244 209571
/proc/meminfo: memFree=122614392/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=403584 CPUtime=520.41 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109145 0 0 0 51828 213 0 0 20 0 1 0 22501592 500002816 100896 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 100896 4174 3002 0 105822 0
Current children cumulated CPU time: 520.41 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 403584 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 3.58 2.00 5/244 209598
/proc/meminfo: memFree=122569328/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=407828 CPUtime=580.25 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109247 0 0 0 57799 226 0 0 20 0 1 0 22501592 500002816 101957 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 101957 4174 3002 0 105822 0
Current children cumulated CPU time: 580.25 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 407828 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 3.67 2.13 5/243 209610
/proc/meminfo: memFree=122539836/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=411860 CPUtime=640.12 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109336 0 0 0 63712 300 0 0 20 0 1 0 22501592 500002816 102965 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 102965 4174 3002 0 105822 0
Current children cumulated CPU time: 640.12 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 411860 KiB

[startup+702.3 s]
/proc/loadavg: 4.13 3.76 2.26 5/242 209620
/proc/meminfo: memFree=122503104/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=411860 CPUtime=699.98 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109427 0 0 0 69611 387 0 0 20 0 1 0 22501592 500002816 102965 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 102965 4174 3002 0 105822 0
Current children cumulated CPU time: 699.98 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 411860 KiB

[startup+762.3 s]
/proc/loadavg: 4.15 3.84 2.39 5/242 209630
/proc/meminfo: memFree=122477212/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=759.83 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109530 0 0 0 75529 454 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 759.83 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

[startup+822.3 s]
/proc/loadavg: 4.10 3.89 2.49 5/242 209642
/proc/meminfo: memFree=122453596/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=819.67 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109607 0 0 0 81318 649 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 819.67 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

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

# cumulated CPU time of all completed processes:  user=817.853 s, system=6.9944 s

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

[startup+822.4 s]
/proc/loadavg: 4.10 3.89 2.49 5/242 209642
/proc/meminfo: memFree=122453596/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=819.77 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109608 0 0 0 81327 650 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 819.77 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

[startup+825.6 s]
/proc/loadavg: 4.10 3.89 2.50 5/242 209643
/proc/meminfo: memFree=122453144/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=822.96 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109608 0 0 0 81619 677 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 822.96 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

[startup+826.4 s]
/proc/loadavg: 4.10 3.89 2.50 6/242 209643
/proc/meminfo: memFree=122453088/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=823.76 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109608 0 0 0 81690 686 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 823.76 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

[startup+827.2 s]
/proc/loadavg: 4.10 3.89 2.50 5/241 209643
/proc/meminfo: memFree=122452968/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=824.56 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109608 0 0 0 81760 696 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 824.56 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

[startup+827.4 s]
/proc/loadavg: 4.10 3.89 2.50 5/241 209643
/proc/meminfo: memFree=122452968/131655788 swapFree=131071472/131071996
[pid=208377] ppid=208374 vsize=488284 memory=413908 CPUtime=824.76 cores=5,7
/proc/208377/stat : 208377 (mixed-bag) R 208374 208377 207841 0 -1 4194304 109608 0 0 0 81777 699 0 0 20 0 1 0 22501592 500002816 103477 134679101440 4194304 16487941 140730060277680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 38330368 140730060284951 140730060285028 140730060285028 140730060292043 0
/proc/208377/statm: 122071 103477 4174 3002 0 105822 0
Current children cumulated CPU time: 824.76 s
Current children cumulated vsize: 488284 KiB
Current children cumulated memory: 413908 KiB

Child status: 0

Real time (s): 827.481
CPU time (s): 824.847
CPU user time (s): 817.853
CPU system time (s): 6.9944
CPU usage (%): 99.6817
Max. virtual memory (cumulated for all children) (KiB): 488284
Max. memory (cumulated for all children) (KiB): 413908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.853
system time used= 6.9944
maximum resident set size= 413908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109629
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= 51
involuntary context switches= 626


# summary of solver processes directly reported to runsolver:
#   pid: 208377
#   total CPU time (s): 824.847
#   total CPU user time (s): 817.853
#   total CPU system time (s): 6.9944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9673 second user time and 7.85885 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-25 01:52:06
IDJOB=4457955
IDBENCH=177055
IDSOLVER=3066
FILE ID=nodeC004/4457955-1721865126
RUNJOBID= nodeC004-1721865123-207854
SLURM_JOB_ID= 8089202
Free space on /tmp= 723744 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457955-1721865126/watcher-4457955-1721865126 -o /tmp/evaluation-result-4457955-1721865126/solver-4457955-1721865126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207854 --watchdog 3760  mixed-bag HOME/instance-4457955-1721865126.opb

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

MD5SUM BENCH= 21ed527d50cb70bf3fbdba517cab1d1c
RANDOM SEED=636077171

nodeC004.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		: 3492.066
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	: 6984.13
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.326
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.36
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.598
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	: 6984.13
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.281
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.36
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.279
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	: 6984.13
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.280
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.36
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.911
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	: 6984.13
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.453
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123325468 kB
MemAvailable:   129860568 kB
Buffers:          286432 kB
Cached:          7043080 kB
SwapCached:           60 kB
Active:          2610460 kB
Inactive:        5087884 kB
Active(anon):       1404 kB
Inactive(anon):   421284 kB
Active(file):    2609056 kB
Inactive(file):  4666600 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             65292 kB
Writeback:             4 kB
AnonPages:        366896 kB
Mapped:           137244 kB
Shmem:             53860 kB
KReclaimable:     199288 kB
Slab:             311344 kB
SReclaimable:     199288 kB
SUnreclaim:       112056 kB
KernelStack:        3920 kB
PageTables:        10436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     878992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC004 at 2024-07-25 02:05:54