Trace number 4517578

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
pb-oll-rs-2024 2025-05-06OPT1 24.3706 24.4368

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
MD5SUMfc6c22edea63d6bf282da0f44295fc1a
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 benchmark0.164575
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables245
Total number of constraints4485
Number of constraints which are clauses4475
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint11
Number of terms in the objective function 10
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 10
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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 [STEP] parsing instance
0.00/0.02	c [STEP] solving
0.00/0.02	c #variables 245 #constraints 4485
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= 0 @ 0.010042
0.00/0.02	c stratification level: 0
2.68/2.73	c #Conflicts:       1000 | #Constraints:       5484
2.68/2.73	c #Conflicts:       2000 | #Constraints:       6484
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:       3000 | #Constraints:       6494
2.68/2.73	c #Conflicts:       4000 | #Constraints:       7494
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:       5000 | #Constraints:       6908
2.68/2.73	c #Conflicts:       6000 | #Constraints:       7908
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:       7000 | #Constraints:       6922
2.68/2.73	c #Conflicts:       8000 | #Constraints:       7922
2.68/2.73	c #Conflicts:       9000 | #Constraints:       8922
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      10000 | #Constraints:       7624
2.68/2.73	c #Conflicts:      11000 | #Constraints:       8624
2.68/2.73	c #Conflicts:      12000 | #Constraints:       9624
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      13000 | #Constraints:       8082
2.68/2.73	c #Conflicts:      14000 | #Constraints:       9082
2.68/2.73	c #Conflicts:      15000 | #Constraints:      10082
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      16000 | #Constraints:       8313
2.68/2.73	c #Conflicts:      17000 | #Constraints:       9313
2.68/2.73	c #Conflicts:      18000 | #Constraints:      10313
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      19000 | #Constraints:       8334
2.68/2.73	c #Conflicts:      20000 | #Constraints:       9334
2.68/2.73	c #Conflicts:      21000 | #Constraints:      10334
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      22000 | #Constraints:       8147
2.68/2.73	c #Conflicts:      23000 | #Constraints:       9147
2.68/2.73	c #Conflicts:      24000 | #Constraints:      10147
2.68/2.73	c #Conflicts:      25000 | #Constraints:      11147
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      26000 | #Constraints:       8750
2.68/2.73	c #Conflicts:      27000 | #Constraints:       9750
2.68/2.73	c #Conflicts:      28000 | #Constraints:      10750
2.68/2.73	c #Conflicts:      29000 | #Constraints:      11750
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      30000 | #Constraints:       9152
2.68/2.73	c #Conflicts:      31000 | #Constraints:      10152
2.68/2.73	c #Conflicts:      32000 | #Constraints:      11152
2.68/2.73	c #Conflicts:      33000 | #Constraints:      12152
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      34000 | #Constraints:       9352
2.68/2.73	c #Conflicts:      35000 | #Constraints:      10352
2.68/2.73	c #Conflicts:      36000 | #Constraints:      11352
2.68/2.73	c #Conflicts:      37000 | #Constraints:      12352
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      38000 | #Constraints:       9357
2.68/2.73	c #Conflicts:      39000 | #Constraints:      10357
2.68/2.73	c #Conflicts:      40000 | #Constraints:      11357
2.68/2.73	c #Conflicts:      41000 | #Constraints:      12357
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      42000 | #Constraints:       9164
2.68/2.73	c #Conflicts:      43000 | #Constraints:      10164
2.68/2.73	c #Conflicts:      44000 | #Constraints:      11164
2.68/2.73	c #Conflicts:      45000 | #Constraints:      12164
2.68/2.73	c #Conflicts:      46000 | #Constraints:      13164
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      47000 | #Constraints:       9762
2.68/2.73	c #Conflicts:      48000 | #Constraints:      10762
2.68/2.73	c #Conflicts:      49000 | #Constraints:      11762
2.68/2.73	c #Conflicts:      50000 | #Constraints:      12762
2.68/2.73	c #Conflicts:      51000 | #Constraints:      13762
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      52000 | #Constraints:      10168
2.68/2.73	c #Conflicts:      53000 | #Constraints:      11168
2.68/2.73	c #Conflicts:      54000 | #Constraints:      12168
2.68/2.73	c #Conflicts:      55000 | #Constraints:      13168
2.68/2.73	c #Conflicts:      56000 | #Constraints:      14168
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      57000 | #Constraints:      10365
2.68/2.73	c #Conflicts:      58000 | #Constraints:      11365
2.68/2.73	c #Conflicts:      59000 | #Constraints:      12365
2.68/2.73	c #Conflicts:      60000 | #Constraints:      13365
2.68/2.73	c #Conflicts:      61000 | #Constraints:      14365
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      62000 | #Constraints:      10369
2.68/2.73	c #Conflicts:      63000 | #Constraints:      11369
2.68/2.73	c #Conflicts:      64000 | #Constraints:      12369
2.68/2.73	c #Conflicts:      65000 | #Constraints:      13369
2.68/2.73	c #Conflicts:      66000 | #Constraints:      14369
2.68/2.73	c INPROCESSING
2.68/2.73	c GARBAGE COLLECT
2.68/2.73	c #Conflicts:      67000 | #Constraints:      10171
2.68/2.73	c #Conflicts:      68000 | #Constraints:      11171
6.07/6.17	c #Conflicts:      69000 | #Constraints:      12171
6.07/6.17	c #Conflicts:      70000 | #Constraints:      13171
6.07/6.17	c #Conflicts:      71000 | #Constraints:      14171
6.07/6.17	c #Conflicts:      72000 | #Constraints:      15171
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      73000 | #Constraints:      10766
6.07/6.17	c #Conflicts:      74000 | #Constraints:      11766
6.07/6.17	c #Conflicts:      75000 | #Constraints:      12766
6.07/6.17	c #Conflicts:      76000 | #Constraints:      13766
6.07/6.17	c #Conflicts:      77000 | #Constraints:      14766
6.07/6.17	c #Conflicts:      78000 | #Constraints:      15766
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      79000 | #Constraints:      11171
6.07/6.17	c #Conflicts:      80000 | #Constraints:      12171
6.07/6.17	c #Conflicts:      81000 | #Constraints:      13171
6.07/6.17	c #Conflicts:      82000 | #Constraints:      14171
6.07/6.17	c #Conflicts:      83000 | #Constraints:      15171
6.07/6.17	c #Conflicts:      84000 | #Constraints:      16171
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      85000 | #Constraints:      11371
6.07/6.17	c #Conflicts:      86000 | #Constraints:      12371
6.07/6.17	c #Conflicts:      87000 | #Constraints:      13371
6.07/6.17	c #Conflicts:      88000 | #Constraints:      14371
6.07/6.17	c #Conflicts:      89000 | #Constraints:      15371
6.07/6.17	c #Conflicts:      90000 | #Constraints:      16371
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      91000 | #Constraints:      11372
6.07/6.17	c #Conflicts:      92000 | #Constraints:      12372
6.07/6.17	c #Conflicts:      93000 | #Constraints:      13372
6.07/6.17	c #Conflicts:      94000 | #Constraints:      14372
6.07/6.17	c #Conflicts:      95000 | #Constraints:      15372
6.07/6.17	c #Conflicts:      96000 | #Constraints:      16372
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      97000 | #Constraints:      11176
6.07/6.17	c #Conflicts:      98000 | #Constraints:      12176
6.07/6.17	c #Conflicts:      99000 | #Constraints:      13176
6.07/6.17	c #Conflicts:     100000 | #Constraints:      14176
6.07/6.17	c #Conflicts:     101000 | #Constraints:      15176
6.07/6.17	c #Conflicts:     102000 | #Constraints:      16176
6.07/6.17	c #Conflicts:     103000 | #Constraints:      17176
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:     104000 | #Constraints:      11773
6.07/6.17	c #Conflicts:     105000 | #Constraints:      12773
6.07/6.17	c #Conflicts:     106000 | #Constraints:      13773
6.07/6.17	c #Conflicts:     107000 | #Constraints:      14773
6.07/6.17	c #Conflicts:     108000 | #Constraints:      15773
6.07/6.17	c #Conflicts:     109000 | #Constraints:      16773
6.07/6.17	c #Conflicts:     110000 | #Constraints:      17773
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:     111000 | #Constraints:      12175
6.07/6.17	c #Conflicts:     112000 | #Constraints:      13175
6.07/6.17	c #Conflicts:     113000 | #Constraints:      14175
6.07/6.17	c #Conflicts:     114000 | #Constraints:      15175
6.07/6.17	c #Conflicts:     115000 | #Constraints:      16175
6.07/6.17	c #Conflicts:     116000 | #Constraints:      17175
6.07/6.17	c #Conflicts:     117000 | #Constraints:      18175
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:     118000 | #Constraints:      12373
6.07/6.17	c #Conflicts:     119000 | #Constraints:      13373
6.07/6.17	c #Conflicts:     120000 | #Constraints:      14373
6.07/6.17	c #Conflicts:     121000 | #Constraints:      15373
6.07/6.17	c #Conflicts:     122000 | #Constraints:      16373
6.07/6.17	c #Conflicts:     123000 | #Constraints:      17373
6.07/6.17	c #Conflicts:     124000 | #Constraints:      18373
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:     125000 | #Constraints:      12373
6.07/6.17	c #Conflicts:     126000 | #Constraints:      13373
6.07/6.17	c #Conflicts:     127000 | #Constraints:      14373
6.07/6.17	c #Conflicts:     128000 | #Constraints:      15373
6.07/6.17	c #Conflicts:     129000 | #Constraints:      16373
6.07/6.17	c #Conflicts:     130000 | #Constraints:      17373
6.07/6.17	c #Conflicts:     131000 | #Constraints:      18373
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:     132000 | #Constraints:      12169
6.07/6.17	c #Conflicts:     133000 | #Constraints:      13169
6.07/6.17	c #Conflicts:     134000 | #Constraints:      14169
6.07/6.17	c #Conflicts:     135000 | #Constraints:      15169
6.07/6.17	c #Conflicts:     136000 | #Constraints:      16169
6.07/6.17	c #Conflicts:     137000 | #Constraints:      17169
6.07/6.17	c #Conflicts:     138000 | #Constraints:      18169
6.07/6.17	c #Conflicts:     139000 | #Constraints:      19169
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:     140000 | #Constraints:      12767
9.97/10.07	c #Conflicts:     141000 | #Constraints:      13767
9.97/10.07	c #Conflicts:     142000 | #Constraints:      14767
9.97/10.07	c #Conflicts:     143000 | #Constraints:      15767
9.97/10.07	c #Conflicts:     144000 | #Constraints:      16767
9.97/10.07	c #Conflicts:     145000 | #Constraints:      17767
9.97/10.07	c #Conflicts:     146000 | #Constraints:      18767
9.97/10.07	c #Conflicts:     147000 | #Constraints:      19767
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     148000 | #Constraints:      13177
9.97/10.07	c #Conflicts:     149000 | #Constraints:      14177
9.97/10.07	c #Conflicts:     150000 | #Constraints:      15177
9.97/10.07	c #Conflicts:     151000 | #Constraints:      16177
9.97/10.07	c #Conflicts:     152000 | #Constraints:      17177
9.97/10.07	c #Conflicts:     153000 | #Constraints:      18177
9.97/10.07	c #Conflicts:     154000 | #Constraints:      19177
9.97/10.07	c #Conflicts:     155000 | #Constraints:      20177
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     156000 | #Constraints:      13376
9.97/10.07	c #Conflicts:     157000 | #Constraints:      14376
9.97/10.07	c #Conflicts:     158000 | #Constraints:      15376
9.97/10.07	c #Conflicts:     159000 | #Constraints:      16376
9.97/10.07	c #Conflicts:     160000 | #Constraints:      17376
9.97/10.07	c #Conflicts:     161000 | #Constraints:      18376
9.97/10.07	c #Conflicts:     162000 | #Constraints:      19376
9.97/10.07	c #Conflicts:     163000 | #Constraints:      20376
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     164000 | #Constraints:      13374
9.97/10.07	c #Conflicts:     165000 | #Constraints:      14374
9.97/10.07	c #Conflicts:     166000 | #Constraints:      15374
9.97/10.07	c #Conflicts:     167000 | #Constraints:      16374
9.97/10.07	c #Conflicts:     168000 | #Constraints:      17374
9.97/10.07	c #Conflicts:     169000 | #Constraints:      18374
9.97/10.07	c #Conflicts:     170000 | #Constraints:      19374
9.97/10.07	c #Conflicts:     171000 | #Constraints:      20374
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     172000 | #Constraints:      13172
9.97/10.07	c #Conflicts:     173000 | #Constraints:      14172
9.97/10.07	c #Conflicts:     174000 | #Constraints:      15172
9.97/10.07	c #Conflicts:     175000 | #Constraints:      16172
9.97/10.07	c #Conflicts:     176000 | #Constraints:      17172
9.97/10.07	c #Conflicts:     177000 | #Constraints:      18172
9.97/10.07	c #Conflicts:     178000 | #Constraints:      19172
9.97/10.07	c #Conflicts:     179000 | #Constraints:      20172
9.97/10.07	c #Conflicts:     180000 | #Constraints:      21172
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     181000 | #Constraints:      13771
9.97/10.07	c #Conflicts:     182000 | #Constraints:      14771
9.97/10.07	c #Conflicts:     183000 | #Constraints:      15771
9.97/10.07	c #Conflicts:     184000 | #Constraints:      16771
9.97/10.07	c #Conflicts:     185000 | #Constraints:      17771
9.97/10.07	c #Conflicts:     186000 | #Constraints:      18771
9.97/10.07	c #Conflicts:     187000 | #Constraints:      19771
9.97/10.07	c #Conflicts:     188000 | #Constraints:      20771
9.97/10.07	c #Conflicts:     189000 | #Constraints:      21771
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     190000 | #Constraints:      14175
9.97/10.07	c #Conflicts:     191000 | #Constraints:      15175
9.97/10.07	c #Conflicts:     192000 | #Constraints:      16175
9.97/10.07	c #Conflicts:     193000 | #Constraints:      17175
9.97/10.07	c #Conflicts:     194000 | #Constraints:      18175
9.97/10.07	c #Conflicts:     195000 | #Constraints:      19175
9.97/10.07	c #Conflicts:     196000 | #Constraints:      20175
9.97/10.07	c #Conflicts:     197000 | #Constraints:      21175
9.97/10.07	c #Conflicts:     198000 | #Constraints:      22175
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     199000 | #Constraints:      14377
9.97/10.07	c #Conflicts:     200000 | #Constraints:      15377
9.97/10.07	c #Conflicts:     201000 | #Constraints:      16377
9.97/10.07	c #Conflicts:     202000 | #Constraints:      17377
9.97/10.07	c #Conflicts:     203000 | #Constraints:      18377
9.97/10.07	c #Conflicts:     204000 | #Constraints:      19377
9.97/10.07	c #Conflicts:     205000 | #Constraints:      20377
9.97/10.07	c #Conflicts:     206000 | #Constraints:      21377
9.97/10.07	c #Conflicts:     207000 | #Constraints:      22377
9.97/10.07	c INPROCESSING
9.97/10.07	c GARBAGE COLLECT
9.97/10.07	c #Conflicts:     208000 | #Constraints:      14379
9.97/10.07	c #Conflicts:     209000 | #Constraints:      15379
9.97/10.07	c #Conflicts:     210000 | #Constraints:      16379
9.97/10.07	c #Conflicts:     211000 | #Constraints:      17379
9.97/10.07	c #Conflicts:     212000 | #Constraints:      18379
9.97/10.07	c #Conflicts:     213000 | #Constraints:      19379
14.75/14.86	c #Conflicts:     214000 | #Constraints:      20379
14.75/14.86	c #Conflicts:     215000 | #Constraints:      21379
14.75/14.86	c #Conflicts:     216000 | #Constraints:      22379
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     217000 | #Constraints:      14177
14.75/14.86	c #Conflicts:     218000 | #Constraints:      15177
14.75/14.86	c #Conflicts:     219000 | #Constraints:      16177
14.75/14.86	c #Conflicts:     220000 | #Constraints:      17177
14.75/14.86	c #Conflicts:     221000 | #Constraints:      18177
14.75/14.86	c #Conflicts:     222000 | #Constraints:      19177
14.75/14.86	c #Conflicts:     223000 | #Constraints:      20177
14.75/14.86	c #Conflicts:     224000 | #Constraints:      21177
14.75/14.86	c #Conflicts:     225000 | #Constraints:      22177
14.75/14.86	c #Conflicts:     226000 | #Constraints:      23177
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     227000 | #Constraints:      14775
14.75/14.86	c #Conflicts:     228000 | #Constraints:      15775
14.75/14.86	c #Conflicts:     229000 | #Constraints:      16775
14.75/14.86	c #Conflicts:     230000 | #Constraints:      17775
14.75/14.86	c #Conflicts:     231000 | #Constraints:      18775
14.75/14.86	c #Conflicts:     232000 | #Constraints:      19775
14.75/14.86	c #Conflicts:     233000 | #Constraints:      20775
14.75/14.86	c #Conflicts:     234000 | #Constraints:      21775
14.75/14.86	c #Conflicts:     235000 | #Constraints:      22775
14.75/14.86	c #Conflicts:     236000 | #Constraints:      23775
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     237000 | #Constraints:      15172
14.75/14.86	c #Conflicts:     238000 | #Constraints:      16172
14.75/14.86	c #Conflicts:     239000 | #Constraints:      17172
14.75/14.86	c #Conflicts:     240000 | #Constraints:      18172
14.75/14.86	c #Conflicts:     241000 | #Constraints:      19172
14.75/14.86	c #Conflicts:     242000 | #Constraints:      20172
14.75/14.86	c #Conflicts:     243000 | #Constraints:      21172
14.75/14.86	c #Conflicts:     244000 | #Constraints:      22172
14.75/14.86	c #Conflicts:     245000 | #Constraints:      23172
14.75/14.86	c #Conflicts:     246000 | #Constraints:      24172
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     247000 | #Constraints:      15377
14.75/14.86	c #Conflicts:     248000 | #Constraints:      16377
14.75/14.86	c #Conflicts:     249000 | #Constraints:      17377
14.75/14.86	c #Conflicts:     250000 | #Constraints:      18377
14.75/14.86	c #Conflicts:     251000 | #Constraints:      19377
14.75/14.86	c #Conflicts:     252000 | #Constraints:      20377
14.75/14.86	c #Conflicts:     253000 | #Constraints:      21377
14.75/14.86	c #Conflicts:     254000 | #Constraints:      22377
14.75/14.86	c #Conflicts:     255000 | #Constraints:      23377
14.75/14.86	c #Conflicts:     256000 | #Constraints:      24377
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     257000 | #Constraints:      15376
14.75/14.86	c #Conflicts:     258000 | #Constraints:      16376
14.75/14.86	c #Conflicts:     259000 | #Constraints:      17376
14.75/14.86	c #Conflicts:     260000 | #Constraints:      18376
14.75/14.86	c #Conflicts:     261000 | #Constraints:      19376
14.75/14.86	c #Conflicts:     262000 | #Constraints:      20376
14.75/14.86	c #Conflicts:     263000 | #Constraints:      21376
14.75/14.86	c #Conflicts:     264000 | #Constraints:      22376
14.75/14.86	c #Conflicts:     265000 | #Constraints:      23376
14.75/14.86	c #Conflicts:     266000 | #Constraints:      24376
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     267000 | #Constraints:      15179
14.75/14.86	c #Conflicts:     268000 | #Constraints:      16179
14.75/14.86	c #Conflicts:     269000 | #Constraints:      17179
14.75/14.86	c #Conflicts:     270000 | #Constraints:      18179
14.75/14.86	c #Conflicts:     271000 | #Constraints:      19179
14.75/14.86	c #Conflicts:     272000 | #Constraints:      20179
14.75/14.86	c #Conflicts:     273000 | #Constraints:      21179
14.75/14.86	c #Conflicts:     274000 | #Constraints:      22179
14.75/14.86	c #Conflicts:     275000 | #Constraints:      23179
14.75/14.86	c #Conflicts:     276000 | #Constraints:      24179
14.75/14.86	c #Conflicts:     277000 | #Constraints:      25179
14.75/14.86	c INPROCESSING
14.75/14.86	c GARBAGE COLLECT
14.75/14.86	c #Conflicts:     278000 | #Constraints:      15782
14.75/14.86	c #Conflicts:     279000 | #Constraints:      16782
14.75/14.86	c #Conflicts:     280000 | #Constraints:      17782
14.75/14.86	c #Conflicts:     281000 | #Constraints:      18782
14.75/14.86	c #Conflicts:     282000 | #Constraints:      19782
14.75/14.86	c #Conflicts:     283000 | #Constraints:      20782
14.75/14.86	c #Conflicts:     284000 | #Constraints:      21782
14.75/14.86	c #Conflicts:     285000 | #Constraints:      22782
14.75/14.86	c #Conflicts:     286000 | #Constraints:      23782
14.75/14.86	c #Conflicts:     287000 | #Constraints:      24782
14.75/14.86	c #Conflicts:     288000 | #Constraints:      25782
19.73/19.83	c INPROCESSING
19.73/19.83	c GARBAGE COLLECT
19.73/19.83	c #Conflicts:     289000 | #Constraints:      16183
19.73/19.83	c #Conflicts:     290000 | #Constraints:      17183
19.73/19.83	c #Conflicts:     291000 | #Constraints:      18183
19.73/19.83	c #Conflicts:     292000 | #Constraints:      19183
19.73/19.83	c #Conflicts:     293000 | #Constraints:      20183
19.73/19.83	c #Conflicts:     294000 | #Constraints:      21183
19.73/19.83	c #Conflicts:     295000 | #Constraints:      22183
19.73/19.83	c #Conflicts:     296000 | #Constraints:      23183
19.73/19.83	c #Conflicts:     297000 | #Constraints:      24183
19.73/19.83	c #Conflicts:     298000 | #Constraints:      25183
19.73/19.83	c #Conflicts:     299000 | #Constraints:      26183
19.73/19.83	c INPROCESSING
19.73/19.83	c GARBAGE COLLECT
19.73/19.83	c #Conflicts:     300000 | #Constraints:      16382
19.73/19.83	c #Conflicts:     301000 | #Constraints:      17382
19.73/19.83	c #Conflicts:     302000 | #Constraints:      18382
19.73/19.83	c #Conflicts:     303000 | #Constraints:      19382
19.73/19.83	c #Conflicts:     304000 | #Constraints:      20382
19.73/19.83	c #Conflicts:     305000 | #Constraints:      21382
19.73/19.83	c #Conflicts:     306000 | #Constraints:      22382
19.73/19.84	c #Conflicts:     307000 | #Constraints:      23382
19.73/19.84	c #Conflicts:     308000 | #Constraints:      24382
19.73/19.84	c #Conflicts:     309000 | #Constraints:      25382
19.73/19.84	c #Conflicts:     310000 | #Constraints:      26382
19.73/19.84	c INPROCESSING
19.73/19.84	c GARBAGE COLLECT
19.73/19.84	c #Conflicts:     311000 | #Constraints:      16382
19.73/19.84	c #Conflicts:     312000 | #Constraints:      17382
19.73/19.84	c #Conflicts:     313000 | #Constraints:      18382
19.73/19.84	c #Conflicts:     314000 | #Constraints:      19382
19.73/19.84	c #Conflicts:     315000 | #Constraints:      20382
19.73/19.84	c #Conflicts:     316000 | #Constraints:      21382
19.73/19.84	c #Conflicts:     317000 | #Constraints:      22382
19.73/19.84	c #Conflicts:     318000 | #Constraints:      23382
19.73/19.84	c #Conflicts:     319000 | #Constraints:      24382
19.73/19.84	c #Conflicts:     320000 | #Constraints:      25382
19.73/19.84	c #Conflicts:     321000 | #Constraints:      26382
19.73/19.84	c INPROCESSING
19.73/19.84	c GARBAGE COLLECT
19.73/19.84	c #Conflicts:     322000 | #Constraints:      16184
19.73/19.84	c #Conflicts:     323000 | #Constraints:      17184
19.73/19.84	c #Conflicts:     324000 | #Constraints:      18184
19.73/19.84	c #Conflicts:     325000 | #Constraints:      19184
19.73/19.84	c #Conflicts:     326000 | #Constraints:      20184
19.73/19.84	c #Conflicts:     327000 | #Constraints:      21184
19.73/19.84	c #Conflicts:     328000 | #Constraints:      22184
19.73/19.84	c #Conflicts:     329000 | #Constraints:      23184
19.73/19.84	c #Conflicts:     330000 | #Constraints:      24184
19.73/19.84	c #Conflicts:     331000 | #Constraints:      25184
19.73/19.84	c #Conflicts:     332000 | #Constraints:      26184
19.73/19.84	c #Conflicts:     333000 | #Constraints:      27184
19.73/19.84	c INPROCESSING
19.73/19.84	c GARBAGE COLLECT
19.73/19.84	c #Conflicts:     334000 | #Constraints:      16787
19.73/19.84	c #Conflicts:     335000 | #Constraints:      17787
19.73/19.84	c #Conflicts:     336000 | #Constraints:      18787
19.73/19.84	c #Conflicts:     337000 | #Constraints:      19787
19.73/19.84	c #Conflicts:     338000 | #Constraints:      20787
19.73/19.84	c #Conflicts:     339000 | #Constraints:      21787
19.73/19.84	c #Conflicts:     340000 | #Constraints:      22787
19.73/19.84	c #Conflicts:     341000 | #Constraints:      23787
19.73/19.84	c #Conflicts:     342000 | #Constraints:      24787
19.73/19.84	c #Conflicts:     343000 | #Constraints:      25787
19.73/19.84	c #Conflicts:     344000 | #Constraints:      26787
19.73/19.84	c #Conflicts:     345000 | #Constraints:      27787
19.73/19.84	c INPROCESSING
19.73/19.84	c GARBAGE COLLECT
19.73/19.84	c #Conflicts:     346000 | #Constraints:      17187
19.73/19.84	c #Conflicts:     347000 | #Constraints:      18187
19.73/19.84	c #Conflicts:     348000 | #Constraints:      19187
19.73/19.84	c #Conflicts:     349000 | #Constraints:      20187
19.73/19.84	c #Conflicts:     350000 | #Constraints:      21187
19.73/19.84	c #Conflicts:     351000 | #Constraints:      22187
19.73/19.84	c #Conflicts:     352000 | #Constraints:      23187
19.73/19.84	c #Conflicts:     353000 | #Constraints:      24187
19.73/19.84	c #Conflicts:     354000 | #Constraints:      25187
19.73/19.84	c #Conflicts:     355000 | #Constraints:      26187
19.73/19.84	c #Conflicts:     356000 | #Constraints:      27187
19.73/19.84	c #Conflicts:     357000 | #Constraints:      28187
19.73/19.84	c INPROCESSING
19.73/19.84	c GARBAGE COLLECT
19.73/19.84	c #Conflicts:     358000 | #Constraints:      17390
19.73/19.84	c #Conflicts:     359000 | #Constraints:      18390
19.73/19.84	c #Conflicts:     360000 | #Constraints:      19390
19.73/19.84	c #Conflicts:     361000 | #Constraints:      20390
19.73/19.84	c #Conflicts:     362000 | #Constraints:      21390
24.33/24.43	c #Conflicts:     363000 | #Constraints:      22390
24.33/24.43	c #Conflicts:     364000 | #Constraints:      23390
24.33/24.43	c #Conflicts:     365000 | #Constraints:      24390
24.33/24.43	c #Conflicts:     366000 | #Constraints:      25390
24.33/24.43	c #Conflicts:     367000 | #Constraints:      26390
24.33/24.43	c #Conflicts:     368000 | #Constraints:      27390
24.33/24.43	c #Conflicts:     369000 | #Constraints:      28390
24.33/24.43	c INPROCESSING
24.33/24.43	c GARBAGE COLLECT
24.33/24.43	c #Conflicts:     370000 | #Constraints:      17390
24.33/24.43	c #Conflicts:     371000 | #Constraints:      18390
24.33/24.43	c #Conflicts:     372000 | #Constraints:      19390
24.33/24.43	c #Conflicts:     373000 | #Constraints:      20390
24.33/24.43	c #Conflicts:     374000 | #Constraints:      21390
24.33/24.43	c #Conflicts:     375000 | #Constraints:      22390
24.33/24.43	c #Conflicts:     376000 | #Constraints:      23390
24.33/24.43	c #Conflicts:     377000 | #Constraints:      24390
24.33/24.43	c #Conflicts:     378000 | #Constraints:      25390
24.33/24.43	c #Conflicts:     379000 | #Constraints:      26390
24.33/24.43	c #Conflicts:     380000 | #Constraints:      27390
24.33/24.43	c #Conflicts:     381000 | #Constraints:      28390
24.33/24.43	c INPROCESSING
24.33/24.43	c GARBAGE COLLECT
24.33/24.43	c #Conflicts:     382000 | #Constraints:      17193
24.33/24.43	c #Conflicts:     383000 | #Constraints:      18193
24.33/24.43	c #Conflicts:     384000 | #Constraints:      19193
24.33/24.43	c #Conflicts:     385000 | #Constraints:      20193
24.33/24.43	c #Conflicts:     386000 | #Constraints:      21193
24.33/24.43	c #Conflicts:     387000 | #Constraints:      22193
24.33/24.43	c #Conflicts:     388000 | #Constraints:      23193
24.33/24.43	c #Conflicts:     389000 | #Constraints:      24193
24.33/24.43	c #Conflicts:     390000 | #Constraints:      25193
24.33/24.43	c #Conflicts:     391000 | #Constraints:      26193
24.33/24.43	c #Conflicts:     392000 | #Constraints:      27193
24.33/24.43	c #Conflicts:     393000 | #Constraints:      28193
24.33/24.43	c #Conflicts:     394000 | #Constraints:      29193
24.33/24.43	c INPROCESSING
24.33/24.43	c GARBAGE COLLECT
24.33/24.43	c #Conflicts:     395000 | #Constraints:      17794
24.33/24.43	c #Conflicts:     396000 | #Constraints:      18794
24.33/24.43	c #Conflicts:     397000 | #Constraints:      19794
24.33/24.43	c #Conflicts:     398000 | #Constraints:      20794
24.33/24.43	c #Conflicts:     399000 | #Constraints:      21794
24.33/24.43	c #Conflicts:     400000 | #Constraints:      22794
24.33/24.43	c #Conflicts:     401000 | #Constraints:      23794
24.33/24.43	c #Conflicts:     402000 | #Constraints:      24794
24.33/24.43	c #Conflicts:     403000 | #Constraints:      25794
24.33/24.43	c #Conflicts:     404000 | #Constraints:      26794
24.33/24.43	c #Conflicts:     405000 | #Constraints:      27794
24.33/24.43	c #Conflicts:     406000 | #Constraints:      28794
24.33/24.43	c #Conflicts:     407000 | #Constraints:      29794
24.33/24.43	c INPROCESSING
24.33/24.43	c GARBAGE COLLECT
24.33/24.43	c #Conflicts:     408000 | #Constraints:      18197
24.33/24.43	c #Conflicts:     409000 | #Constraints:      19197
24.33/24.43	c #Conflicts:     410000 | #Constraints:      20197
24.33/24.43	c #Conflicts:     411000 | #Constraints:      21197
24.33/24.43	c #Conflicts:     412000 | #Constraints:      22197
24.33/24.43	c #Conflicts:     413000 | #Constraints:      23197
24.33/24.43	c #Conflicts:     414000 | #Constraints:      24197
24.33/24.43	c #Conflicts:     415000 | #Constraints:      25197
24.33/24.43	c #Conflicts:     416000 | #Constraints:      26197
24.33/24.43	c #Conflicts:     417000 | #Constraints:      27197
24.33/24.43	c #Conflicts:     418000 | #Constraints:      28197
24.33/24.43	c #Conflicts:     419000 | #Constraints:      29197
24.33/24.43	c #Conflicts:     420000 | #Constraints:      30197
24.33/24.43	c INPROCESSING
24.33/24.43	c GARBAGE COLLECT
24.33/24.43	c bounds - >= 1 @ 23.4018
24.33/24.43	c finalizing WCE round: reformulating cores
24.33/24.43	c Input conflict
24.33/24.43	c bounds 1 >= 1 @ 23.4033
24.33/24.43	d SOLVEDBY oll
24.33/24.43	c cpu time 23.4033 s
24.33/24.43	c deterministic time 1737146505 1.74e+09
24.33/24.43	c optimization time 0.000679 s
24.33/24.43	c total solve time 23.3926 s
24.33/24.43	c core-guided solve time 23.3926 s
24.33/24.43	c propagation time 14.8674 s
24.33/24.43	c conflict analysis time 6.90147 s
24.33/24.43	c propagations 6447291
24.33/24.43	c resolve steps 3136320
24.33/24.43	c decisions 535908
24.33/24.43	c conflicts 420285
24.33/24.43	c restarts 1019
24.33/24.43	c inprocessing phases 56
24.33/24.43	c input clauses 4476
24.33/24.43	c input cardinalities 14
24.33/24.43	c input general constraints 0
24.33/24.43	c input average constraint length 3.06
24.33/24.43	c input average constraint degree 1.02
24.33/24.43	c learned clauses 419113
24.33/24.43	c learned cardinalities 127
24.33/24.43	c learned general constraints 1045
24.33/24.43	c learned average constraint length 62.73
24.33/24.43	c learned average constraint degree 1.08
24.33/24.43	c watched constraints 1012
24.33/24.43	c counting constraints 33
24.33/24.43	c gcd simplifications 5
24.33/24.43	c detected cardinalities 1
24.33/24.43	c weakened non-implied lits 51239
24.33/24.43	c weakened non-implying lits 38
24.33/24.43	c original variables 245
24.33/24.43	c clausal propagations 5953282
24.33/24.43	c cardinality propagations 59491
24.33/24.43	c watched propagations 12693
24.33/24.43	c counting propagations 1346
24.33/24.43	c watch lookups 310498989
24.33/24.43	c watch backjump lookups 263316
24.33/24.43	c watch checks 1329672478
24.33/24.43	c propagation checks 9189907
24.33/24.43	c constraint additions 73135140
24.33/24.43	c trail pops 7403475
24.33/24.43	c formula constraints 4485
24.33/24.43	c learned constraints 420285
24.33/24.43	c bound constraints 3
24.33/24.43	c core-guided constraints 2
24.33/24.43	c encountered formula constraints 1943778
24.33/24.43	c encountered learned constraints 1612827
24.33/24.43	c encountered bound constraints 1
24.33/24.43	c encountered core-guided constraints 0
24.33/24.43	c LP total time 0 s
24.33/24.43	c LP solve time 0 s
24.33/24.43	c LP constraints added 0
24.33/24.43	c LP constraints removed 0
24.33/24.43	c LP pivots internal 0
24.33/24.43	c LP pivots root 0
24.33/24.43	c LP calls 0
24.33/24.43	c LP optimalities 0
24.33/24.43	c LP no pivot count 0
24.33/24.43	c LP infeasibilities 0
24.33/24.43	c LP valid Farkas constraints 0
24.33/24.43	c LP learned Farkas constraints 0
24.33/24.43	c LP basis resets 0
24.33/24.43	c LP cycling count 0
24.33/24.43	c LP singular count 0
24.33/24.43	c LP no primal count 0
24.33/24.43	c LP no farkas count 0
24.33/24.43	c LP other issue count 0
24.33/24.43	c LP Gomory cuts 0
24.33/24.43	c LP learned cuts 0
24.33/24.43	c LP deleted cuts 0
24.33/24.43	c LP encountered Gomory constraints 0
24.33/24.43	c LP encountered Farkas constraints 0
24.33/24.43	c LP encountered learned Farkas constraints 0
24.33/24.43	c CG auxiliary variables introduced 1
24.33/24.43	c CG solutions found 1
24.33/24.43	c CG cores constructed 1
24.33/24.43	c CG core cardinality constraints returned 0
24.33/24.43	c CG unit cores 0
24.33/24.43	c CG single cores 1
24.33/24.43	c CG blocks removed during cardinality reduction 0
24.33/24.43	c CG first core best 0
24.33/24.43	c CG decision core best 0
24.33/24.43	c CG core reduction tie 0
24.33/24.43	c CG core degree average 1.00
24.33/24.43	c CG core slack average 9.00
24.33/24.43	c CG exhausted 0
24.33/24.43	c CG exhaust time 0.000265 s
24.33/24.43	c CG trimmed 0
24.33/24.43	c CG trim time 3.6e-05 s
24.33/24.43	c CG minimized 0
24.33/24.43	c CG minimize time 0 s
24.33/24.43	c CG am1 prop time 1.4e-05 s
24.33/24.43	c CG # am1s reformulated 0
24.33/24.43	c CG lower bound derived from am1s 0
24.33/24.43	c CG # clausal cores 1
24.33/24.43	c CG # cardinality cores 0
24.33/24.43	c CG # pb cores 0
24.33/24.43	c CG # pb reforms 0
24.33/24.43	c CG # cores discarded because of pb reform 0
24.33/24.43	d LOWERBOUND 1
24.33/24.43	d NCORES 1
24.33/24.43	d NPBCORES 0
24.33/24.43	d NPBREFORM 0
24.33/24.43	d NTRIMMED 0
24.33/24.43	d NEXHAUSTED 0
24.33/24.43	d NAM1S 0
24.33/24.43	d AM1LB 0
24.33/24.43	o 1
24.33/24.43	s OPTIMUM FOUND
24.33/24.43	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245

Verifier Data 

OK	1

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: 63708 MiB (62058 MiB free)
  memory of node 1: 64465 MiB (63609 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517578-1751531770/watcher-4517578-1751531770 -o /tmp/evaluation-result-4517578-1751531770/solver-4517578-1751531770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76849 --watchdog 3760 pb-oll-rs HOME/instance-4517578-1751531770.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=77355, runsolver pid=77352

[startup+0.100062 s]*
/proc/loadavg: 4.13 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684336/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=20476 memory=8804 CPUtime=0.09 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 531 0 0 0 8 1 0 0 20 0 1 0 68854480 20967424 2201 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5119 2201 1376 243 0 1368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20476 KiB
Current children cumulated memory: 8804 KiB

[startup+0.205728 s]*
/proc/loadavg: 4.13 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684336/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=20608 memory=8932 CPUtime=0.19 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 571 0 0 0 18 1 0 0 20 0 1 0 68854480 21102592 2233 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5152 2233 1376 243 0 1401 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20608 KiB
Current children cumulated memory: 8932 KiB

[startup+0.305594 s]*
/proc/loadavg: 4.13 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684336/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=20740 memory=8932 CPUtime=0.29 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 598 0 0 0 27 2 0 0 20 0 1 0 68854480 21237760 2233 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5185 2233 1376 243 0 1434 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20740 KiB
Current children cumulated memory: 8932 KiB

[startup+0.700176 s]
/proc/loadavg: 4.13 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684336/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=21060 memory=9316 CPUtime=0.67 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 681 0 0 0 63 4 0 0 20 0 1 0 68854480 21565440 2329 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5265 2329 1376 243 0 1514 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21060 KiB
Current children cumulated memory: 9316 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684588/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=21564 memory=9828 CPUtime=1.48 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 798 0 0 0 138 10 0 0 20 0 1 0 68854480 22081536 2457 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5391 2457 1376 243 0 1640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21564 KiB
Current children cumulated memory: 9828 KiB

[startup+3.10545 s]
/proc/loadavg: 4.12 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684588/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=22036 memory=12336 CPUtime=3.08 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 921 0 0 0 291 17 0 0 20 0 1 0 68854480 22564864 3084 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5509 3084 1376 243 0 1758 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22036 KiB
Current children cumulated memory: 12336 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128684040/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=22836 memory=13208 CPUtime=6.27 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 1444 0 0 0 596 31 0 0 20 0 1 0 68854480 23384064 3302 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 5709 3302 1376 243 0 1958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 22836 KiB
Current children cumulated memory: 13208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128683284/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=26624 memory=14616 CPUtime=12.65 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 2157 0 0 0 1208 57 0 0 20 0 1 0 68854480 27262976 3654 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 6656 3654 1376 243 0 2905 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 26624 KiB
Current children cumulated memory: 14616 KiB

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

# cumulated CPU time of all completed processes:  user=23.4048 s, system=0.965741 s

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

[startup+12.8002 s]
/proc/loadavg: 4.11 4.08 4.11 5/263 77356
/proc/meminfo: memFree=128683284/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=26692 memory=14744 CPUtime=12.75 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 2219 0 0 0 1218 57 0 0 20 0 1 0 68854480 27332608 3686 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 6673 3686 1376 243 0 2922 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 26692 KiB
Current children cumulated memory: 14744 KiB

[startup+19.2002 s]
/proc/loadavg: 4.09 4.07 4.11 5/263 77357
/proc/meminfo: memFree=128669864/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=27232 memory=16408 CPUtime=19.14 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 2870 0 0 0 1833 81 0 0 20 0 1 0 68854480 27885568 4102 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 6808 4102 1376 243 0 3057 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 27232 KiB
Current children cumulated memory: 16408 KiB

[startup+22.4002 s]
/proc/loadavg: 4.09 4.07 4.11 5/263 77357
/proc/meminfo: memFree=128669108/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=27816 memory=17688 CPUtime=22.33 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 3339 0 0 0 2143 90 0 0 20 0 1 0 68854480 28483584 4422 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 6954 4422 1376 243 0 3203 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 27816 KiB
Current children cumulated memory: 17688 KiB

[startup+23.2002 s]
/proc/loadavg: 4.09 4.07 4.11 5/263 77357
/proc/meminfo: memFree=128668116/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=27816 memory=17688 CPUtime=23.13 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 3339 0 0 0 2220 93 0 0 20 0 1 0 68854480 28483584 4422 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 6954 4422 1376 243 0 3203 0
Current children cumulated CPU time: 23.13 s
Current children cumulated vsize: 27816 KiB
Current children cumulated memory: 17688 KiB

[startup+24.0002 s]*
/proc/loadavg: 4.09 4.07 4.11 5/263 77357
/proc/meminfo: memFree=128668116/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=27816 memory=17944 CPUtime=23.93 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 3424 0 0 0 2298 95 0 0 20 0 1 0 68854480 28483584 4486 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 6954 4486 1376 243 0 3203 0
Current children cumulated CPU time: 23.93 s
Current children cumulated vsize: 27816 KiB
Current children cumulated memory: 17944 KiB

[startup+24.4001 s]
/proc/loadavg: 4.09 4.07 4.11 5/263 77357
/proc/meminfo: memFree=128668116/131249996 swapFree=33006296/33010684
[pid=77355] ppid=77352 vsize=32236 memory=18072 CPUtime=24.33 cores=5,7
/proc/77355/stat : 77355 (pb-oll-rs) R 77352 77355 76836 0 -1 4194304 3508 0 0 0 2337 96 0 0 20 0 1 0 68854480 33009664 4518 18446744073709551615 4218880 5211445 140722842217136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36311040 140722842220956 140722842221033 140722842221033 140722842226635 0
/proc/77355/statm: 8059 4518 1376 243 0 4308 0
Current children cumulated CPU time: 24.33 s
Current children cumulated vsize: 32236 KiB
Current children cumulated memory: 18072 KiB

Child status: 0

Real time (s): 24.4368
CPU time (s): 24.3706
CPU user time (s): 23.4048
CPU system time (s): 0.965741
CPU usage (%): 99.7291
Max. virtual memory (cumulated for all children) (KiB): 32236
Max. memory (cumulated for all children) (KiB): 18072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4048
system time used= 0.965741
maximum resident set size= 18584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3628
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= 82
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 77355
#   total CPU time (s): 24.3706
#   total CPU user time (s): 23.4048
#   total CPU system time (s): 0.965741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046608 second user time and 0.147989 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-03 10:36:10
IDJOB=4517578
IDBENCH=176126
IDSOLVER=3345
FILE ID=nodeC015/4517578-1751531770
RUNJOBID= nodeC015-1751530924-76849
SLURM_JOB_ID= 9598673
Free space on /tmp= 432364 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=10-t=9.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517578-1751531770/watcher-4517578-1751531770 -o /tmp/evaluation-result-4517578-1751531770/solver-4517578-1751531770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76849 --watchdog 3760  pb-oll-rs HOME/instance-4517578-1751531770.opb

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

MD5SUM BENCH= fc6c22edea63d6bf282da0f44295fc1a
RANDOM SEED=2040663639

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128684496 kB
MemAvailable:   129299764 kB
Buffers:            1508 kB
Cached:          1398908 kB
SwapCached:         3880 kB
Active:           733320 kB
Inactive:        1161056 kB
Active(anon):     459304 kB
Inactive(anon):    48808 kB
Active(file):     274016 kB
Inactive(file):  1112248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1772 kB
Writeback:             0 kB
AnonPages:        490176 kB
Mapped:           103992 kB
Shmem:             14152 kB
KReclaimable:     136488 kB
Slab:             226852 kB
SReclaimable:     136488 kB
SUnreclaim:        90364 kB
KernelStack:        4288 kB
PageTables:         3928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     885172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432360 MiB
End job on nodeC015 at 2025-07-03 10:36:35