Trace number 4458268

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-07-02? (TO) 3600.04 3611.5

DiagnosticValue
AM1LB0
LOWERBOUND-51539607551
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
MD5SUM858e72f790302981bac4f28574add405
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 benchmark0
Best CPU time to get the best result obtained on this benchmark0.145801
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2016
Total number of constraints2988
Number of constraints which are clauses1944
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1044
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 72
Biggest coefficient in the objective function 34359738368
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 137438953470
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 34359738368
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 137438953470
Number of bits of the biggest sum of numbers37
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.01	c [STEP] solving
0.00/0.01	c #variables 2016 #constraints 4032
0.00/0.01	c SMALL=long long, LARGE=int128
0.00/0.01	c bounds - >= -68719476735 @ 0.004866
0.00/0.01	c stratification level: 17179869184
91.69/92.07	c bounds - >= -51539607551 @ 0.005069
91.69/92.07	c #Conflicts:       1000 | #Constraints:       5033
91.69/92.07	c #Conflicts:       2000 | #Constraints:       6033
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:       3000 | #Constraints:       6080
91.69/92.07	c #Conflicts:       4000 | #Constraints:       7080
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:       5000 | #Constraints:       6524
91.69/92.07	c #Conflicts:       6000 | #Constraints:       7524
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:       7000 | #Constraints:       6557
91.69/92.07	c #Conflicts:       8000 | #Constraints:       7557
91.69/92.07	c #Conflicts:       9000 | #Constraints:       8557
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      10000 | #Constraints:       7282
91.69/92.07	c #Conflicts:      11000 | #Constraints:       8282
91.69/92.07	c #Conflicts:      12000 | #Constraints:       9282
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      13000 | #Constraints:       7747
91.69/92.07	c #Conflicts:      14000 | #Constraints:       8747
91.69/92.07	c #Conflicts:      15000 | #Constraints:       9747
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      16000 | #Constraints:       7984
91.69/92.07	c #Conflicts:      17000 | #Constraints:       8984
91.69/92.07	c #Conflicts:      18000 | #Constraints:       9984
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      19000 | #Constraints:       8023
91.69/92.07	c #Conflicts:      20000 | #Constraints:       9023
91.69/92.07	c #Conflicts:      21000 | #Constraints:      10023
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      22000 | #Constraints:       7837
91.69/92.07	c #Conflicts:      23000 | #Constraints:       8837
91.69/92.07	c #Conflicts:      24000 | #Constraints:       9837
91.69/92.07	c #Conflicts:      25000 | #Constraints:      10837
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      26000 | #Constraints:       8460
91.69/92.07	c #Conflicts:      27000 | #Constraints:       9460
91.69/92.07	c #Conflicts:      28000 | #Constraints:      10460
91.69/92.07	c #Conflicts:      29000 | #Constraints:      11460
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      30000 | #Constraints:       8863
91.69/92.07	c #Conflicts:      31000 | #Constraints:       9863
91.69/92.07	c #Conflicts:      32000 | #Constraints:      10863
91.69/92.07	c #Conflicts:      33000 | #Constraints:      11863
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      34000 | #Constraints:       9064
91.69/92.07	c #Conflicts:      35000 | #Constraints:      10064
91.69/92.07	c #Conflicts:      36000 | #Constraints:      11064
91.69/92.07	c #Conflicts:      37000 | #Constraints:      12064
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      38000 | #Constraints:       9082
91.69/92.07	c #Conflicts:      39000 | #Constraints:      10082
91.69/92.07	c #Conflicts:      40000 | #Constraints:      11082
91.69/92.07	c #Conflicts:      41000 | #Constraints:      12082
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      42000 | #Constraints:       8885
91.69/92.07	c #Conflicts:      43000 | #Constraints:       9885
91.69/92.07	c #Conflicts:      44000 | #Constraints:      10885
91.69/92.07	c #Conflicts:      45000 | #Constraints:      11885
91.69/92.07	c #Conflicts:      46000 | #Constraints:      12885
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      47000 | #Constraints:       9489
91.69/92.07	c #Conflicts:      48000 | #Constraints:      10489
91.69/92.07	c #Conflicts:      49000 | #Constraints:      11489
91.69/92.07	c #Conflicts:      50000 | #Constraints:      12489
91.69/92.07	c #Conflicts:      51000 | #Constraints:      13489
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      52000 | #Constraints:       9910
91.69/92.07	c #Conflicts:      53000 | #Constraints:      10910
91.69/92.07	c #Conflicts:      54000 | #Constraints:      11910
91.69/92.07	c #Conflicts:      55000 | #Constraints:      12910
91.69/92.07	c #Conflicts:      56000 | #Constraints:      13910
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      57000 | #Constraints:      10106
91.69/92.07	c #Conflicts:      58000 | #Constraints:      11106
91.69/92.07	c #Conflicts:      59000 | #Constraints:      12106
91.69/92.07	c #Conflicts:      60000 | #Constraints:      13106
91.69/92.07	c #Conflicts:      61000 | #Constraints:      14106
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      62000 | #Constraints:      10120
91.69/92.07	c #Conflicts:      63000 | #Constraints:      11120
91.69/92.07	c #Conflicts:      64000 | #Constraints:      12120
91.69/92.07	c #Conflicts:      65000 | #Constraints:      13120
91.69/92.07	c #Conflicts:      66000 | #Constraints:      14120
91.69/92.07	c INPROCESSING
91.69/92.07	c GARBAGE COLLECT
91.69/92.07	c #Conflicts:      67000 | #Constraints:       9940
331.25/332.48	c #Conflicts:      68000 | #Constraints:      10940
331.25/332.48	c #Conflicts:      69000 | #Constraints:      11940
331.25/332.48	c #Conflicts:      70000 | #Constraints:      12940
331.25/332.48	c #Conflicts:      71000 | #Constraints:      13940
331.25/332.48	c #Conflicts:      72000 | #Constraints:      14940
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:      73000 | #Constraints:      10529
331.25/332.48	c #Conflicts:      74000 | #Constraints:      11529
331.25/332.48	c #Conflicts:      75000 | #Constraints:      12529
331.25/332.48	c #Conflicts:      76000 | #Constraints:      13529
331.25/332.48	c #Conflicts:      77000 | #Constraints:      14529
331.25/332.48	c #Conflicts:      78000 | #Constraints:      15529
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:      79000 | #Constraints:      10931
331.25/332.48	c #Conflicts:      80000 | #Constraints:      11931
331.25/332.48	c #Conflicts:      81000 | #Constraints:      12931
331.25/332.48	c #Conflicts:      82000 | #Constraints:      13931
331.25/332.48	c #Conflicts:      83000 | #Constraints:      14931
331.25/332.48	c #Conflicts:      84000 | #Constraints:      15931
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:      85000 | #Constraints:      11123
331.25/332.48	c #Conflicts:      86000 | #Constraints:      12123
331.25/332.48	c #Conflicts:      87000 | #Constraints:      13123
331.25/332.48	c #Conflicts:      88000 | #Constraints:      14123
331.25/332.48	c #Conflicts:      89000 | #Constraints:      15123
331.25/332.48	c #Conflicts:      90000 | #Constraints:      16123
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:      91000 | #Constraints:      11136
331.25/332.48	c #Conflicts:      92000 | #Constraints:      12136
331.25/332.48	c #Conflicts:      93000 | #Constraints:      13136
331.25/332.48	c #Conflicts:      94000 | #Constraints:      14136
331.25/332.48	c #Conflicts:      95000 | #Constraints:      15136
331.25/332.48	c #Conflicts:      96000 | #Constraints:      16136
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:      97000 | #Constraints:      10947
331.25/332.48	c #Conflicts:      98000 | #Constraints:      11947
331.25/332.48	c #Conflicts:      99000 | #Constraints:      12947
331.25/332.48	c #Conflicts:     100000 | #Constraints:      13947
331.25/332.48	c #Conflicts:     101000 | #Constraints:      14947
331.25/332.48	c #Conflicts:     102000 | #Constraints:      15947
331.25/332.48	c #Conflicts:     103000 | #Constraints:      16947
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:     104000 | #Constraints:      11546
331.25/332.48	c #Conflicts:     105000 | #Constraints:      12546
331.25/332.48	c #Conflicts:     106000 | #Constraints:      13546
331.25/332.48	c #Conflicts:     107000 | #Constraints:      14546
331.25/332.48	c #Conflicts:     108000 | #Constraints:      15546
331.25/332.48	c #Conflicts:     109000 | #Constraints:      16546
331.25/332.48	c #Conflicts:     110000 | #Constraints:      17546
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:     111000 | #Constraints:      11971
331.25/332.48	c #Conflicts:     112000 | #Constraints:      12971
331.25/332.48	c #Conflicts:     113000 | #Constraints:      13971
331.25/332.48	c #Conflicts:     114000 | #Constraints:      14971
331.25/332.48	c #Conflicts:     115000 | #Constraints:      15971
331.25/332.48	c #Conflicts:     116000 | #Constraints:      16971
331.25/332.48	c #Conflicts:     117000 | #Constraints:      17971
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:     118000 | #Constraints:      12157
331.25/332.48	c #Conflicts:     119000 | #Constraints:      13157
331.25/332.48	c #Conflicts:     120000 | #Constraints:      14157
331.25/332.48	c #Conflicts:     121000 | #Constraints:      15157
331.25/332.48	c #Conflicts:     122000 | #Constraints:      16157
331.25/332.48	c #Conflicts:     123000 | #Constraints:      17157
331.25/332.48	c #Conflicts:     124000 | #Constraints:      18157
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:     125000 | #Constraints:      12140
331.25/332.48	c #Conflicts:     126000 | #Constraints:      13140
331.25/332.48	c #Conflicts:     127000 | #Constraints:      14140
331.25/332.48	c #Conflicts:     128000 | #Constraints:      15140
331.25/332.48	c #Conflicts:     129000 | #Constraints:      16140
331.25/332.48	c #Conflicts:     130000 | #Constraints:      17140
331.25/332.48	c #Conflicts:     131000 | #Constraints:      18140
331.25/332.48	c INPROCESSING
331.25/332.48	c GARBAGE COLLECT
331.25/332.48	c #Conflicts:     132000 | #Constraints:      11934
331.25/332.48	c #Conflicts:     133000 | #Constraints:      12934
331.25/332.48	c #Conflicts:     134000 | #Constraints:      13934
331.25/332.48	c #Conflicts:     135000 | #Constraints:      14934
331.25/332.48	c #Conflicts:     136000 | #Constraints:      15934
331.25/332.48	c #Conflicts:     137000 | #Constraints:      16934
331.25/332.48	c #Conflicts:     138000 | #Constraints:      17934
331.25/332.48	c #Conflicts:     139000 | #Constraints:      18934
331.25/332.48	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     140000 | #Constraints:      12546
785.93/788.64	c #Conflicts:     141000 | #Constraints:      13546
785.93/788.64	c #Conflicts:     142000 | #Constraints:      14546
785.93/788.64	c #Conflicts:     143000 | #Constraints:      15546
785.93/788.64	c #Conflicts:     144000 | #Constraints:      16546
785.93/788.64	c #Conflicts:     145000 | #Constraints:      17546
785.93/788.64	c #Conflicts:     146000 | #Constraints:      18546
785.93/788.64	c #Conflicts:     147000 | #Constraints:      19546
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     148000 | #Constraints:      12957
785.93/788.64	c #Conflicts:     149000 | #Constraints:      13957
785.93/788.64	c #Conflicts:     150000 | #Constraints:      14957
785.93/788.64	c #Conflicts:     151000 | #Constraints:      15957
785.93/788.64	c #Conflicts:     152000 | #Constraints:      16957
785.93/788.64	c #Conflicts:     153000 | #Constraints:      17957
785.93/788.64	c #Conflicts:     154000 | #Constraints:      18957
785.93/788.64	c #Conflicts:     155000 | #Constraints:      19957
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     156000 | #Constraints:      13163
785.93/788.64	c #Conflicts:     157000 | #Constraints:      14163
785.93/788.64	c #Conflicts:     158000 | #Constraints:      15163
785.93/788.64	c #Conflicts:     159000 | #Constraints:      16163
785.93/788.64	c #Conflicts:     160000 | #Constraints:      17163
785.93/788.64	c #Conflicts:     161000 | #Constraints:      18163
785.93/788.64	c #Conflicts:     162000 | #Constraints:      19163
785.93/788.64	c #Conflicts:     163000 | #Constraints:      20163
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     164000 | #Constraints:      13149
785.93/788.64	c #Conflicts:     165000 | #Constraints:      14149
785.93/788.64	c #Conflicts:     166000 | #Constraints:      15149
785.93/788.64	c #Conflicts:     167000 | #Constraints:      16149
785.93/788.64	c #Conflicts:     168000 | #Constraints:      17149
785.93/788.64	c #Conflicts:     169000 | #Constraints:      18149
785.93/788.64	c #Conflicts:     170000 | #Constraints:      19149
785.93/788.64	c #Conflicts:     171000 | #Constraints:      20149
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     172000 | #Constraints:      12957
785.93/788.64	c #Conflicts:     173000 | #Constraints:      13957
785.93/788.64	c #Conflicts:     174000 | #Constraints:      14957
785.93/788.64	c #Conflicts:     175000 | #Constraints:      15957
785.93/788.64	c #Conflicts:     176000 | #Constraints:      16957
785.93/788.64	c #Conflicts:     177000 | #Constraints:      17957
785.93/788.64	c #Conflicts:     178000 | #Constraints:      18957
785.93/788.64	c #Conflicts:     179000 | #Constraints:      19957
785.93/788.64	c #Conflicts:     180000 | #Constraints:      20957
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     181000 | #Constraints:      13566
785.93/788.64	c #Conflicts:     182000 | #Constraints:      14566
785.93/788.64	c #Conflicts:     183000 | #Constraints:      15566
785.93/788.64	c #Conflicts:     184000 | #Constraints:      16566
785.93/788.64	c #Conflicts:     185000 | #Constraints:      17566
785.93/788.64	c #Conflicts:     186000 | #Constraints:      18566
785.93/788.64	c #Conflicts:     187000 | #Constraints:      19566
785.93/788.64	c #Conflicts:     188000 | #Constraints:      20566
785.93/788.64	c #Conflicts:     189000 | #Constraints:      21566
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     190000 | #Constraints:      13970
785.93/788.64	c #Conflicts:     191000 | #Constraints:      14970
785.93/788.64	c #Conflicts:     192000 | #Constraints:      15970
785.93/788.64	c #Conflicts:     193000 | #Constraints:      16970
785.93/788.64	c #Conflicts:     194000 | #Constraints:      17970
785.93/788.64	c #Conflicts:     195000 | #Constraints:      18970
785.93/788.64	c #Conflicts:     196000 | #Constraints:      19970
785.93/788.64	c #Conflicts:     197000 | #Constraints:      20970
785.93/788.64	c #Conflicts:     198000 | #Constraints:      21970
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     199000 | #Constraints:      14165
785.93/788.64	c #Conflicts:     200000 | #Constraints:      15165
785.93/788.64	c #Conflicts:     201000 | #Constraints:      16165
785.93/788.64	c #Conflicts:     202000 | #Constraints:      17165
785.93/788.64	c #Conflicts:     203000 | #Constraints:      18165
785.93/788.64	c #Conflicts:     204000 | #Constraints:      19165
785.93/788.64	c #Conflicts:     205000 | #Constraints:      20165
785.93/788.64	c #Conflicts:     206000 | #Constraints:      21165
785.93/788.64	c #Conflicts:     207000 | #Constraints:      22165
785.93/788.64	c INPROCESSING
785.93/788.64	c GARBAGE COLLECT
785.93/788.64	c #Conflicts:     208000 | #Constraints:      14163
785.93/788.64	c #Conflicts:     209000 | #Constraints:      15163
785.93/788.64	c #Conflicts:     210000 | #Constraints:      16163
785.93/788.64	c #Conflicts:     211000 | #Constraints:      17163
785.93/788.64	c #Conflicts:     212000 | #Constraints:      18163
785.93/788.64	c #Conflicts:     213000 | #Constraints:      19163
1401.77/1406.48	c #Conflicts:     214000 | #Constraints:      20163
1401.77/1406.48	c #Conflicts:     215000 | #Constraints:      21163
1401.77/1406.48	c #Conflicts:     216000 | #Constraints:      22163
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     217000 | #Constraints:      13987
1401.77/1406.48	c #Conflicts:     218000 | #Constraints:      14987
1401.77/1406.48	c #Conflicts:     219000 | #Constraints:      15987
1401.77/1406.48	c #Conflicts:     220000 | #Constraints:      16987
1401.77/1406.48	c #Conflicts:     221000 | #Constraints:      17987
1401.77/1406.48	c #Conflicts:     222000 | #Constraints:      18987
1401.77/1406.48	c #Conflicts:     223000 | #Constraints:      19987
1401.77/1406.48	c #Conflicts:     224000 | #Constraints:      20987
1401.77/1406.48	c #Conflicts:     225000 | #Constraints:      21987
1401.77/1406.48	c #Conflicts:     226000 | #Constraints:      22987
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     227000 | #Constraints:      14598
1401.77/1406.48	c #Conflicts:     228000 | #Constraints:      15598
1401.77/1406.48	c #Conflicts:     229000 | #Constraints:      16598
1401.77/1406.48	c #Conflicts:     230000 | #Constraints:      17598
1401.77/1406.48	c #Conflicts:     231000 | #Constraints:      18598
1401.77/1406.48	c #Conflicts:     232000 | #Constraints:      19598
1401.77/1406.48	c #Conflicts:     233000 | #Constraints:      20598
1401.77/1406.48	c #Conflicts:     234000 | #Constraints:      21598
1401.77/1406.48	c #Conflicts:     235000 | #Constraints:      22598
1401.77/1406.48	c #Conflicts:     236000 | #Constraints:      23598
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     237000 | #Constraints:      14978
1401.77/1406.48	c #Conflicts:     238000 | #Constraints:      15978
1401.77/1406.48	c #Conflicts:     239000 | #Constraints:      16978
1401.77/1406.48	c #Conflicts:     240000 | #Constraints:      17978
1401.77/1406.48	c #Conflicts:     241000 | #Constraints:      18978
1401.77/1406.48	c #Conflicts:     242000 | #Constraints:      19978
1401.77/1406.48	c #Conflicts:     243000 | #Constraints:      20978
1401.77/1406.48	c #Conflicts:     244000 | #Constraints:      21978
1401.77/1406.48	c #Conflicts:     245000 | #Constraints:      22978
1401.77/1406.48	c #Conflicts:     246000 | #Constraints:      23978
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     247000 | #Constraints:      15199
1401.77/1406.48	c #Conflicts:     248000 | #Constraints:      16199
1401.77/1406.48	c #Conflicts:     249000 | #Constraints:      17199
1401.77/1406.48	c #Conflicts:     250000 | #Constraints:      18199
1401.77/1406.48	c #Conflicts:     251000 | #Constraints:      19199
1401.77/1406.48	c #Conflicts:     252000 | #Constraints:      20199
1401.77/1406.48	c #Conflicts:     253000 | #Constraints:      21199
1401.77/1406.48	c #Conflicts:     254000 | #Constraints:      22199
1401.77/1406.48	c #Conflicts:     255000 | #Constraints:      23199
1401.77/1406.48	c #Conflicts:     256000 | #Constraints:      24199
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     257000 | #Constraints:      15192
1401.77/1406.48	c #Conflicts:     258000 | #Constraints:      16192
1401.77/1406.48	c #Conflicts:     259000 | #Constraints:      17192
1401.77/1406.48	c #Conflicts:     260000 | #Constraints:      18192
1401.77/1406.48	c #Conflicts:     261000 | #Constraints:      19192
1401.77/1406.48	c #Conflicts:     262000 | #Constraints:      20192
1401.77/1406.48	c #Conflicts:     263000 | #Constraints:      21192
1401.77/1406.48	c #Conflicts:     264000 | #Constraints:      22192
1401.77/1406.48	c #Conflicts:     265000 | #Constraints:      23192
1401.77/1406.48	c #Conflicts:     266000 | #Constraints:      24192
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     267000 | #Constraints:      14990
1401.77/1406.48	c #Conflicts:     268000 | #Constraints:      15990
1401.77/1406.48	c #Conflicts:     269000 | #Constraints:      16990
1401.77/1406.48	c #Conflicts:     270000 | #Constraints:      17990
1401.77/1406.48	c #Conflicts:     271000 | #Constraints:      18990
1401.77/1406.48	c #Conflicts:     272000 | #Constraints:      19990
1401.77/1406.48	c #Conflicts:     273000 | #Constraints:      20990
1401.77/1406.48	c #Conflicts:     274000 | #Constraints:      21990
1401.77/1406.48	c #Conflicts:     275000 | #Constraints:      22990
1401.77/1406.48	c #Conflicts:     276000 | #Constraints:      23990
1401.77/1406.48	c #Conflicts:     277000 | #Constraints:      24990
1401.77/1406.48	c INPROCESSING
1401.77/1406.48	c GARBAGE COLLECT
1401.77/1406.48	c #Conflicts:     278000 | #Constraints:      15601
1401.77/1406.48	c #Conflicts:     279000 | #Constraints:      16601
1401.77/1406.48	c #Conflicts:     280000 | #Constraints:      17601
1401.77/1406.48	c #Conflicts:     281000 | #Constraints:      18601
1401.77/1406.48	c #Conflicts:     282000 | #Constraints:      19601
1401.77/1406.48	c #Conflicts:     283000 | #Constraints:      20601
1401.77/1406.48	c #Conflicts:     284000 | #Constraints:      21601
1401.77/1406.48	c #Conflicts:     285000 | #Constraints:      22601
1401.77/1406.48	c #Conflicts:     286000 | #Constraints:      23601
1401.77/1406.48	c #Conflicts:     287000 | #Constraints:      24601
2188.77/2195.95	c #Conflicts:     288000 | #Constraints:      25601
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     289000 | #Constraints:      16012
2188.77/2195.95	c #Conflicts:     290000 | #Constraints:      17012
2188.77/2195.95	c #Conflicts:     291000 | #Constraints:      18012
2188.77/2195.95	c #Conflicts:     292000 | #Constraints:      19012
2188.77/2195.95	c #Conflicts:     293000 | #Constraints:      20012
2188.77/2195.95	c #Conflicts:     294000 | #Constraints:      21012
2188.77/2195.95	c #Conflicts:     295000 | #Constraints:      22012
2188.77/2195.95	c #Conflicts:     296000 | #Constraints:      23012
2188.77/2195.95	c #Conflicts:     297000 | #Constraints:      24012
2188.77/2195.95	c #Conflicts:     298000 | #Constraints:      25012
2188.77/2195.95	c #Conflicts:     299000 | #Constraints:      26012
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     300000 | #Constraints:      16212
2188.77/2195.95	c #Conflicts:     301000 | #Constraints:      17212
2188.77/2195.95	c #Conflicts:     302000 | #Constraints:      18212
2188.77/2195.95	c #Conflicts:     303000 | #Constraints:      19212
2188.77/2195.95	c #Conflicts:     304000 | #Constraints:      20212
2188.77/2195.95	c #Conflicts:     305000 | #Constraints:      21212
2188.77/2195.95	c #Conflicts:     306000 | #Constraints:      22212
2188.77/2195.95	c #Conflicts:     307000 | #Constraints:      23212
2188.77/2195.95	c #Conflicts:     308000 | #Constraints:      24212
2188.77/2195.95	c #Conflicts:     309000 | #Constraints:      25212
2188.77/2195.95	c #Conflicts:     310000 | #Constraints:      26212
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     311000 | #Constraints:      16218
2188.77/2195.95	c #Conflicts:     312000 | #Constraints:      17218
2188.77/2195.95	c #Conflicts:     313000 | #Constraints:      18218
2188.77/2195.95	c #Conflicts:     314000 | #Constraints:      19218
2188.77/2195.95	c #Conflicts:     315000 | #Constraints:      20218
2188.77/2195.95	c #Conflicts:     316000 | #Constraints:      21218
2188.77/2195.95	c #Conflicts:     317000 | #Constraints:      22218
2188.77/2195.95	c #Conflicts:     318000 | #Constraints:      23218
2188.77/2195.95	c #Conflicts:     319000 | #Constraints:      24218
2188.77/2195.95	c #Conflicts:     320000 | #Constraints:      25218
2188.77/2195.95	c #Conflicts:     321000 | #Constraints:      26218
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     322000 | #Constraints:      16006
2188.77/2195.95	c #Conflicts:     323000 | #Constraints:      17006
2188.77/2195.95	c #Conflicts:     324000 | #Constraints:      18006
2188.77/2195.95	c #Conflicts:     325000 | #Constraints:      19006
2188.77/2195.95	c #Conflicts:     326000 | #Constraints:      20006
2188.77/2195.95	c #Conflicts:     327000 | #Constraints:      21006
2188.77/2195.95	c #Conflicts:     328000 | #Constraints:      22006
2188.77/2195.95	c #Conflicts:     329000 | #Constraints:      23006
2188.77/2195.95	c #Conflicts:     330000 | #Constraints:      24006
2188.77/2195.95	c #Conflicts:     331000 | #Constraints:      25006
2188.77/2195.95	c #Conflicts:     332000 | #Constraints:      26006
2188.77/2195.95	c #Conflicts:     333000 | #Constraints:      27006
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     334000 | #Constraints:      16601
2188.77/2195.95	c #Conflicts:     335000 | #Constraints:      17601
2188.77/2195.95	c #Conflicts:     336000 | #Constraints:      18601
2188.77/2195.95	c #Conflicts:     337000 | #Constraints:      19601
2188.77/2195.95	c #Conflicts:     338000 | #Constraints:      20601
2188.77/2195.95	c #Conflicts:     339000 | #Constraints:      21601
2188.77/2195.95	c #Conflicts:     340000 | #Constraints:      22601
2188.77/2195.95	c #Conflicts:     341000 | #Constraints:      23601
2188.77/2195.95	c #Conflicts:     342000 | #Constraints:      24601
2188.77/2195.95	c #Conflicts:     343000 | #Constraints:      25601
2188.77/2195.95	c #Conflicts:     344000 | #Constraints:      26601
2188.77/2195.95	c #Conflicts:     345000 | #Constraints:      27601
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     346000 | #Constraints:      17012
2188.77/2195.95	c #Conflicts:     347000 | #Constraints:      18012
2188.77/2195.95	c #Conflicts:     348000 | #Constraints:      19012
2188.77/2195.95	c #Conflicts:     349000 | #Constraints:      20012
2188.77/2195.95	c #Conflicts:     350000 | #Constraints:      21012
2188.77/2195.95	c #Conflicts:     351000 | #Constraints:      22012
2188.77/2195.95	c #Conflicts:     352000 | #Constraints:      23012
2188.77/2195.95	c #Conflicts:     353000 | #Constraints:      24012
2188.77/2195.95	c #Conflicts:     354000 | #Constraints:      25012
2188.77/2195.95	c #Conflicts:     355000 | #Constraints:      26012
2188.77/2195.95	c #Conflicts:     356000 | #Constraints:      27012
2188.77/2195.95	c #Conflicts:     357000 | #Constraints:      28012
2188.77/2195.95	c INPROCESSING
2188.77/2195.95	c GARBAGE COLLECT
2188.77/2195.95	c #Conflicts:     358000 | #Constraints:      17207
2188.77/2195.95	c #Conflicts:     359000 | #Constraints:      18207
2188.77/2195.95	c #Conflicts:     360000 | #Constraints:      19207
2188.77/2195.95	c #Conflicts:     361000 | #Constraints:      20207
3275.24/3285.89	c #Conflicts:     362000 | #Constraints:      21207
3275.24/3285.89	c #Conflicts:     363000 | #Constraints:      22207
3275.24/3285.89	c #Conflicts:     364000 | #Constraints:      23207
3275.24/3285.89	c #Conflicts:     365000 | #Constraints:      24207
3275.24/3285.89	c #Conflicts:     366000 | #Constraints:      25207
3275.24/3285.89	c #Conflicts:     367000 | #Constraints:      26207
3275.24/3285.89	c #Conflicts:     368000 | #Constraints:      27207
3275.24/3285.89	c #Conflicts:     369000 | #Constraints:      28207
3275.24/3285.89	c INPROCESSING
3275.24/3285.89	c GARBAGE COLLECT
3275.24/3285.89	c #Conflicts:     370000 | #Constraints:      17205
3275.24/3285.89	c #Conflicts:     371000 | #Constraints:      18205
3275.24/3285.89	c #Conflicts:     372000 | #Constraints:      19205
3275.24/3285.89	c #Conflicts:     373000 | #Constraints:      20205
3275.24/3285.89	c #Conflicts:     374000 | #Constraints:      21205
3275.24/3285.89	c #Conflicts:     375000 | #Constraints:      22205
3275.24/3285.89	c #Conflicts:     376000 | #Constraints:      23205
3275.24/3285.89	c #Conflicts:     377000 | #Constraints:      24205
3275.24/3285.89	c #Conflicts:     378000 | #Constraints:      25205
3275.24/3285.89	c #Conflicts:     379000 | #Constraints:      26205
3275.24/3285.89	c #Conflicts:     380000 | #Constraints:      27205
3275.24/3285.89	c #Conflicts:     381000 | #Constraints:      28205
3275.24/3285.89	c INPROCESSING
3275.24/3285.89	c GARBAGE COLLECT
3275.24/3285.89	c #Conflicts:     382000 | #Constraints:      17021
3275.24/3285.89	c #Conflicts:     383000 | #Constraints:      18021
3275.24/3285.89	c #Conflicts:     384000 | #Constraints:      19021
3275.24/3285.89	c #Conflicts:     385000 | #Constraints:      20021
3275.24/3285.89	c #Conflicts:     386000 | #Constraints:      21021
3275.24/3285.89	c #Conflicts:     387000 | #Constraints:      22021
3275.24/3285.89	c #Conflicts:     388000 | #Constraints:      23021
3275.24/3285.89	c #Conflicts:     389000 | #Constraints:      24021
3275.24/3285.89	c #Conflicts:     390000 | #Constraints:      25021
3275.24/3285.89	c #Conflicts:     391000 | #Constraints:      26021
3275.24/3285.89	c #Conflicts:     392000 | #Constraints:      27021
3275.24/3285.89	c #Conflicts:     393000 | #Constraints:      28021
3275.24/3285.89	c #Conflicts:     394000 | #Constraints:      29021
3275.24/3285.89	c INPROCESSING
3275.24/3285.89	c GARBAGE COLLECT
3275.24/3285.89	c #Conflicts:     395000 | #Constraints:      17645
3275.24/3285.89	c #Conflicts:     396000 | #Constraints:      18645
3275.24/3285.89	c #Conflicts:     397000 | #Constraints:      19645
3275.24/3285.89	c #Conflicts:     398000 | #Constraints:      20645
3275.24/3285.89	c #Conflicts:     399000 | #Constraints:      21645
3275.24/3285.89	c #Conflicts:     400000 | #Constraints:      22645
3275.24/3285.89	c #Conflicts:     401000 | #Constraints:      23645
3275.24/3285.89	c #Conflicts:     402000 | #Constraints:      24645
3275.24/3285.89	c #Conflicts:     403000 | #Constraints:      25645
3275.24/3285.89	c #Conflicts:     404000 | #Constraints:      26645
3275.24/3285.89	c #Conflicts:     405000 | #Constraints:      27645
3275.24/3285.89	c #Conflicts:     406000 | #Constraints:      28645
3275.24/3285.89	c #Conflicts:     407000 | #Constraints:      29645
3275.24/3285.89	c INPROCESSING
3275.24/3285.89	c GARBAGE COLLECT
3275.24/3285.89	c #Conflicts:     408000 | #Constraints:      18040
3275.24/3285.89	c #Conflicts:     409000 | #Constraints:      19040
3275.24/3285.89	c #Conflicts:     410000 | #Constraints:      20040
3275.24/3285.89	c #Conflicts:     411000 | #Constraints:      21040
3275.24/3285.89	c #Conflicts:     412000 | #Constraints:      22040
3275.24/3285.89	c #Conflicts:     413000 | #Constraints:      23040
3275.24/3285.89	c #Conflicts:     414000 | #Constraints:      24040
3275.24/3285.89	c #Conflicts:     415000 | #Constraints:      25040
3275.24/3285.89	c #Conflicts:     416000 | #Constraints:      26040
3275.24/3285.89	c #Conflicts:     417000 | #Constraints:      27040
3275.24/3285.89	c #Conflicts:     418000 | #Constraints:      28040
3275.24/3285.89	c #Conflicts:     419000 | #Constraints:      29040
3275.24/3285.89	c #Conflicts:     420000 | #Constraints:      30040
3275.24/3285.89	c INPROCESSING
3275.24/3285.89	c GARBAGE COLLECT
3275.24/3285.89	c #Conflicts:     421000 | #Constraints:      18241
3275.24/3285.89	c #Conflicts:     422000 | #Constraints:      19241
3275.24/3285.89	c #Conflicts:     423000 | #Constraints:      20241
3275.24/3285.89	c #Conflicts:     424000 | #Constraints:      21241
3275.24/3285.89	c #Conflicts:     425000 | #Constraints:      22241
3275.24/3285.89	c #Conflicts:     426000 | #Constraints:      23241
3275.24/3285.89	c #Conflicts:     427000 | #Constraints:      24241
3275.24/3285.89	c #Conflicts:     428000 | #Constraints:      25241
3275.24/3285.89	c #Conflicts:     429000 | #Constraints:      26241
3275.24/3285.89	c #Conflicts:     430000 | #Constraints:      27241
3275.24/3285.89	c #Conflicts:     431000 | #Constraints:      28241
3275.24/3285.89	c #Conflicts:     432000 | #Constraints:      29241
3275.24/3285.89	c #Conflicts:     433000 | #Constraints:      30241
3275.24/3285.89	c INPROCESSING
3275.24/3285.89	c GARBAGE COLLECT
3275.24/3285.89	c #Conflicts:     434000 | #Constraints:      18239
3275.24/3285.89	c #Conflicts:     435000 | #Constraints:      19239
3275.24/3285.89	c #Conflicts:     436000 | #Constraints:      20239
3600.02/3611.50	c #Conflicts:     437000 | #Constraints:      21239
3600.02/3611.50	c #Conflicts:     438000 | #Constraints:      22239
3600.02/3611.50	c #Conflicts:     439000 | #Constraints:      23239
3600.02/3611.50	c #Conflicts:     440000 | #Constraints:      24239
3600.02/3611.50	c #Conflicts:     441000 | #Constraints:      25239
3600.02/3611.50	c #Conflicts:     442000 | #Constraints:      26239
3600.02/3611.50	c #Conflicts:     443000 | #Constraints:      27239
3600.02/3611.50	c #Conflicts:     444000 | #Constraints:      28239
3600.02/3611.50	c #Conflicts:     445000 | #Constraints:      29239
3600.02/3611.50	c #Conflicts:     446000 | #Constraints:      30239
3600.02/3611.50	c INPROCESSING
3600.02/3611.50	c GARBAGE COLLECT
3600.02/3611.50	c #Conflicts:     447000 | #Constraints:      18038
3600.02/3611.50	c #Conflicts:     448000 | #Constraints:      19038
3600.02/3611.50	c #Conflicts:     449000 | #Constraints:      20038
3600.02/3611.50	c #Conflicts:     450000 | #Constraints:      21038
3600.02/3611.50	c #Conflicts:     451000 | #Constraints:      22038
3600.02/3611.50	c #Conflicts:     452000 | #Constraints:      23038
3600.02/3611.50	c #Conflicts:     453000 | #Constraints:      24038
3600.02/3611.50	c #Conflicts:     454000 | #Constraints:      25038
3600.02/3611.50	c #Conflicts:     455000 | #Constraints:      26038
3600.02/3611.50	c #Conflicts:     456000 | #Constraints:      27038
3600.02/3611.50	c #Conflicts:     457000 | #Constraints:      28038
3600.02/3611.50	c #Conflicts:     458000 | #Constraints:      29038
3600.02/3611.50	c #Conflicts:     459000 | #Constraints:      30038
3600.02/3611.50	c #Conflicts:     460000 | #Constraints:      31038
3600.02/3611.50	c INPROCESSING
3600.02/3611.50	c GARBAGE COLLECT
3600.02/3611.50	c #Conflicts:     461000 | #Constraints:      18623
3600.02/3611.50	c #Conflicts:     462000 | #Constraints:      19623
3600.02/3611.50	c #Conflicts:     463000 | #Constraints:      20623
3600.02/3611.50	c #Conflicts:     464000 | #Constraints:      21623
3600.02/3611.50	c #Conflicts:     465000 | #Constraints:      22623
3600.02/3611.50	c #Conflicts:     466000 | #Constraints:      23623
3600.02/3611.50	c Program interrupted by user.
3600.02/3611.50	c cpu time 3595.58 s
3600.02/3611.50	c deterministic time 322360194205 3.22e+11
3600.02/3611.50	c optimization time 45.2504 s
3600.02/3611.50	c total solve time 3550.32 s
3600.02/3611.50	c core-guided solve time 3550.32 s
3600.02/3611.50	c propagation time 3147.83 s
3600.02/3611.50	c conflict analysis time 432.822 s
3600.02/3611.50	c propagations 216048053
3600.02/3611.50	c resolve steps 27085303
3600.02/3611.50	c decisions 2124532
3600.02/3611.50	c conflicts 466048
3600.02/3611.50	c restarts 1022
3600.02/3611.50	c inprocessing phases 59
3600.02/3611.50	c input clauses 2808
3600.02/3611.50	c input cardinalities 0
3600.02/3611.50	c input general constraints 1225
3600.02/3611.50	c input average constraint length 3.07
3600.02/3611.50	c input average constraint degree 4259825.35
3600.02/3611.50	c learned clauses 74716
3600.02/3611.50	c learned cardinalities 39
3600.02/3611.50	c learned general constraints 391294
3600.02/3611.50	c learned average constraint length 288.20
3600.02/3611.50	c learned average constraint degree 367189847.95
3600.02/3611.50	c watched constraints 389078
3600.02/3611.50	c counting constraints 3441
3600.02/3611.50	c gcd simplifications 25378
3600.02/3611.50	c detected cardinalities 0
3600.02/3611.50	c weakened non-implied lits 10729803
3600.02/3611.50	c weakened non-implying lits 217569
3600.02/3611.50	c original variables 2016
3600.02/3611.50	c clausal propagations 90995169
3600.02/3611.50	c cardinality propagations 5818
3600.02/3611.50	c watched propagations 32787192
3600.02/3611.50	c counting propagations 92092388
3600.02/3611.50	c watch lookups 64766242956
3600.02/3611.50	c watch backjump lookups 59635445341
3600.02/3611.50	c watch checks 147946672870
3600.02/3611.50	c propagation checks 48951699588
3600.02/3611.50	c constraint additions 623322868
3600.02/3611.50	c trail pops 218637996
3600.02/3611.50	c formula constraints 4032
3600.02/3611.50	c learned constraints 466049
3600.02/3611.50	c bound constraints 1
3600.02/3611.50	c core-guided constraints 0
3600.02/3611.50	c encountered formula constraints 20039142
3600.02/3611.50	c encountered learned constraints 7512209
3600.02/3611.50	c encountered bound constraints 0
3600.02/3611.50	c encountered core-guided constraints 0
3600.02/3611.50	c LP total time 0 s
3600.02/3611.50	c LP solve time 0 s
3600.02/3611.50	c LP constraints added 0
3600.02/3611.50	c LP constraints removed 0
3600.02/3611.50	c LP pivots internal 0
3600.02/3611.50	c LP pivots root 0
3600.02/3611.50	c LP calls 0
3600.02/3611.50	c LP optimalities 0
3600.02/3611.50	c LP no pivot count 0
3600.02/3611.50	c LP infeasibilities 0
3600.02/3611.50	c LP valid Farkas constraints 0
3600.02/3611.50	c LP learned Farkas constraints 0
3600.02/3611.50	c LP basis resets 0
3600.02/3611.50	c LP cycling count 0
3600.02/3611.50	c LP singular count 0
3600.02/3611.50	c LP no primal count 0
3600.02/3611.50	c LP no farkas count 0
3600.02/3611.50	c LP other issue count 0
3600.02/3611.50	c LP Gomory cuts 0
3600.02/3611.50	c LP learned cuts 0
3600.02/3611.50	c LP deleted cuts 0
3600.02/3611.50	c LP encountered Gomory constraints 0
3600.02/3611.50	c LP encountered Farkas constraints 0
3600.02/3611.50	c LP encountered learned Farkas constraints 0
3600.02/3611.50	c CG auxiliary variables introduced 0
3600.02/3611.50	c CG solutions found 0
3600.02/3611.50	c CG cores constructed 1
3600.02/3611.50	c CG core cardinality constraints returned 0
3600.02/3611.50	c CG unit cores 0
3600.02/3611.50	c CG single cores 1
3600.02/3611.50	c CG blocks removed during cardinality reduction 0
3600.02/3611.50	c CG first core best 0
3600.02/3611.50	c CG decision core best 0
3600.02/3611.50	c CG core reduction tie 0
3600.02/3611.50	c CG core degree average 1.00
3600.02/3611.50	c CG core slack average 3.00
3600.02/3611.50	c CG exhausted 0
3600.02/3611.50	c CG exhaust time 0 s
3600.02/3611.50	c CG trimmed 0
3600.02/3611.50	c CG trim time 1.6e-05 s
3600.02/3611.50	c CG minimized 0
3600.02/3611.50	c CG minimize time 0 s
3600.02/3611.50	c CG am1 prop time 1.7e-05 s
3600.02/3611.50	c CG # am1s reformulated 0
3600.02/3611.50	c CG lower bound derived from am1s 0
3600.02/3611.50	c CG # clausal cores 1
3600.02/3611.50	c CG # cardinality cores 0
3600.02/3611.50	c CG # pb cores 0
3600.02/3611.50	c CG # pb reforms 0
3600.02/3611.50	c CG # cores discarded because of pb reform 0
3600.02/3611.50	d LOWERBOUND -51539607551
3600.02/3611.50	d NCORES 1
3600.02/3611.50	d NPBCORES 0
3600.02/3611.50	d NPBREFORM 0
3600.02/3611.50	d NTRIMMED 0
3600.02/3611.50	d NEXHAUSTED 0
3600.02/3611.50	d NAM1S 0
3600.02/3611.50	d AM1LB 0
3600.02/3611.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57310 MiB free)
  memory of node 1: 64510 MiB (54103 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458268-1721872774/watcher-4458268-1721872774 -o /tmp/evaluation-result-4458268-1721872774/solver-4458268-1721872774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256776 --watchdog 3760 pb-oll-rs HOME/instance-4458268-1721872774.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=261935, runsolver pid=261932

[startup+0.100096 s]*
/proc/loadavg: 4.18 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114085712/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=39656 memory=7348 CPUtime=0.1 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 570 0 0 0 9 1 0 0 20 0 1 0 23266837 40607744 1837 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 9914 1837 1437 291 0 1448 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 7348 KiB

[startup+0.212702 s]*
/proc/loadavg: 4.18 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114085376/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=39788 memory=7612 CPUtime=0.21 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 642 0 0 0 20 1 0 0 20 0 1 0 23266837 40742912 1903 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 9947 1903 1437 291 0 1481 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 7612 KiB

[startup+0.3123 s]*
/proc/loadavg: 4.18 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114084704/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=39920 memory=7876 CPUtime=0.31 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 709 0 0 0 30 1 0 0 20 0 1 0 23266837 40878080 1969 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 9980 1969 1437 291 0 1514 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 7876 KiB

[startup+0.700286 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114084156/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=40308 memory=10784 CPUtime=0.69 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 925 0 0 0 67 2 0 0 20 0 1 0 23266837 41275392 2696 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 10077 2696 1437 291 0 1611 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 10784 KiB

[startup+1.5003 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114081128/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=41092 memory=11432 CPUtime=1.48 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 1105 0 0 0 145 3 0 0 20 0 1 0 23266837 42078208 2858 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 10273 2858 1437 291 0 1807 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41092 KiB
Current children cumulated memory: 11432 KiB

[startup+3.1124 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114078840/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=42856 memory=14092 CPUtime=3.09 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 1744 0 0 0 304 5 0 0 20 0 1 0 23266837 43884544 3523 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 10714 3523 1437 291 0 2248 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42856 KiB
Current children cumulated memory: 14092 KiB

[startup+6.30029 s]
/proc/loadavg: 4.17 4.15 4.16 5/243 261936
/proc/meminfo: memFree=114076296/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=47300 memory=16552 CPUtime=6.26 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 2370 0 0 0 618 8 0 0 20 0 1 0 23266837 48435200 4138 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 11825 4138 1452 291 0 3359 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47300 KiB
Current children cumulated memory: 16552 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.15 4.16 5/243 261938
/proc/meminfo: memFree=114069624/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=50004 memory=21100 CPUtime=12.65 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 3521 0 0 0 1251 14 0 0 20 0 1 0 23266837 51204096 5275 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 12501 5275 1452 291 0 4035 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 21100 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 261939
/proc/meminfo: memFree=114057092/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=56640 memory=26208 CPUtime=25.4 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 4345 0 0 0 2517 23 0 0 20 0 1 0 23266837 57999360 6552 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 14160 6552 1452 291 0 5694 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 56640 KiB
Current children cumulated memory: 26208 KiB

[startup+51.1129 s]
/proc/loadavg: 4.13 4.14 4.16 5/244 261947
/proc/meminfo: memFree=114042664/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=60484 memory=30312 CPUtime=50.92 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 5358 0 0 0 5058 34 0 0 20 0 1 0 23266837 61935616 7578 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 15121 7578 1452 291 0 6655 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 60484 KiB
Current children cumulated memory: 30312 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 261966
/proc/meminfo: memFree=114036120/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=70176 memory=35984 CPUtime=101.94 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 6395 0 0 0 10139 55 0 0 20 0 1 0 23266837 71860224 8996 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 17544 8996 1452 291 0 9078 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 70176 KiB
Current children cumulated memory: 35984 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 261977
/proc/meminfo: memFree=114022476/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=73564 memory=40700 CPUtime=161.75 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 7212 0 0 0 16101 74 0 0 20 0 1 0 23266837 75329536 10175 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 18391 10175 1452 291 0 9925 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 73564 KiB
Current children cumulated memory: 40700 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/240 261988
/proc/meminfo: memFree=114008696/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=76284 memory=45328 CPUtime=221.54 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 7973 0 0 0 22066 88 0 0 20 0 1 0 23266837 78114816 11332 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 19071 11332 1452 291 0 10605 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 76284 KiB
Current children cumulated memory: 45328 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/240 261999
/proc/meminfo: memFree=113989828/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=90396 memory=48536 CPUtime=281.34 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 8858 0 0 0 28031 103 0 0 20 0 1 0 23266837 92565504 12134 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 22599 12134 1452 291 0 14133 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 48536 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/241 262010
/proc/meminfo: memFree=113976008/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=93476 memory=53824 CPUtime=341.12 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 9751 0 0 0 33996 116 0 0 20 0 1 0 23266837 95719424 13456 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 23369 13456 1452 291 0 14903 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 53824 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/239 262020
/proc/meminfo: memFree=113958920/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=96868 memory=60744 CPUtime=400.9 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 10508 0 0 0 39965 125 0 0 20 0 1 0 23266837 99192832 15186 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 24217 15186 1452 291 0 15751 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 96868 KiB
Current children cumulated memory: 60744 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/239 262030
/proc/meminfo: memFree=113929932/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=97344 memory=61212 CPUtime=460.7 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 10650 0 0 0 45931 139 0 0 20 0 1 0 23266837 99680256 15303 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 24336 15303 1452 291 0 15870 0

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

Current children cumulated memory: 102772 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/238 263090
/proc/meminfo: memFree=113586632/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=140332 memory=102772 CPUtime=2912.87 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 17555 0 0 0 290894 393 0 0 20 0 1 0 23266837 143699968 25693 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35083 25693 1452 291 0 26617 0
Current children cumulated CPU time: 2912.87 s
Current children cumulated vsize: 140332 KiB
Current children cumulated memory: 102772 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/238 263100
/proc/meminfo: memFree=113586044/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=140332 memory=102772 CPUtime=2972.69 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 17598 0 0 0 296872 397 0 0 20 0 1 0 23266837 143699968 25693 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35083 25693 1452 291 0 26617 0
Current children cumulated CPU time: 2972.69 s
Current children cumulated vsize: 140332 KiB
Current children cumulated memory: 102772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.21 4.17 4.16 5/240 263115
/proc/meminfo: memFree=113583200/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=141176 memory=105100 CPUtime=3032.5 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 17766 0 0 0 302851 399 0 0 20 0 1 0 23266837 144564224 26275 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35294 26275 1452 291 0 26828 0
Current children cumulated CPU time: 3032.5 s
Current children cumulated vsize: 141176 KiB
Current children cumulated memory: 105100 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/240 263126
/proc/meminfo: memFree=113580868/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=141420 memory=106980 CPUtime=3092.3 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 17898 0 0 0 308826 404 0 0 20 0 1 0 23266837 144814080 26745 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35355 26745 1452 291 0 26889 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 141420 KiB
Current children cumulated memory: 106980 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/240 263137
/proc/meminfo: memFree=113579412/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=141420 memory=106980 CPUtime=3152.12 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 17940 0 0 0 314803 409 0 0 20 0 1 0 23266837 144814080 26745 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35355 26745 1452 291 0 26889 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 141420 KiB
Current children cumulated memory: 106980 KiB

[startup+3222.3 s]
/proc/loadavg: 3.64 4.02 4.11 4/233 263179
/proc/meminfo: memFree=113911200/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=141420 memory=106980 CPUtime=3211.93 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 17986 0 0 0 320781 412 0 0 20 0 1 0 23266837 144814080 26745 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35355 26745 1452 291 0 26889 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 141420 KiB
Current children cumulated memory: 106980 KiB

[startup+3282.3 s]
/proc/loadavg: 2.76 3.70 3.99 3/226 263219
/proc/meminfo: memFree=114177960/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=141932 memory=107332 CPUtime=3271.75 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18151 0 0 0 326759 416 0 0 20 0 1 0 23266837 145338368 26833 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35483 26833 1452 291 0 27017 0
Current children cumulated CPU time: 3271.75 s
Current children cumulated vsize: 141932 KiB
Current children cumulated memory: 107332 KiB

[startup+3342.3 s]
/proc/loadavg: 1.91 3.30 3.83 2/219 263644
/proc/meminfo: memFree=114291528/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=141932 memory=108148 CPUtime=3331.57 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18195 0 0 0 332734 423 0 0 20 0 1 0 23266837 145338368 27037 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35483 27037 1452 291 0 27017 0
Current children cumulated CPU time: 3331.57 s
Current children cumulated vsize: 141932 KiB
Current children cumulated memory: 108148 KiB

[startup+3402.3 s]
/proc/loadavg: 1.47 2.91 3.66 2/219 263655
/proc/meminfo: memFree=114291732/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=142072 memory=108148 CPUtime=3391.4 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18244 0 0 0 338714 426 0 0 20 0 1 0 23266837 145481728 27037 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35518 27037 1452 291 0 27052 0
Current children cumulated CPU time: 3391.4 s
Current children cumulated vsize: 142072 KiB
Current children cumulated memory: 108148 KiB

[startup+3462.3 s]
/proc/loadavg: 1.26 2.59 3.51 2/219 263665
/proc/meminfo: memFree=114291304/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=142192 memory=108368 CPUtime=3451.24 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18367 0 0 0 344690 434 0 0 20 0 1 0 23266837 145604608 27092 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35548 27092 1452 291 0 27082 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 142192 KiB
Current children cumulated memory: 108368 KiB

[startup+3522.3 s]
/proc/loadavg: 1.19 2.33 3.36 2/219 263843
/proc/meminfo: memFree=114290800/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=142192 memory=108368 CPUtime=3511.07 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18413 0 0 0 350669 438 0 0 20 0 1 0 23266837 145604608 27092 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35548 27092 1452 291 0 27082 0
Current children cumulated CPU time: 3511.07 s
Current children cumulated vsize: 142192 KiB
Current children cumulated memory: 108368 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 2.10 3.21 2/219 263853
/proc/meminfo: memFree=114290200/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=143056 memory=108896 CPUtime=3570.9 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18623 0 0 0 356648 442 0 0 20 0 1 0 23266837 146489344 27224 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35764 27224 1452 291 0 27298 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 108896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 1.14 2.01 3.14 2/219 263860
/proc/meminfo: memFree=114290100/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=143056 memory=108896 CPUtime=3600.02 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18663 0 0 0 359557 445 0 0 20 0 1 0 23266837 146489344 27224 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35764 27224 1452 291 0 27298 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 108896 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.58 s, system=4.45548 s

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

[startup+3611.5 s]
/proc/loadavg: 1.14 2.01 3.14 2/219 263860
/proc/meminfo: memFree=114290100/131655788 swapFree=131061124/131071996
[pid=261935] ppid=261932 vsize=143056 memory=108896 CPUtime=3600.02 cores=0,2
/proc/261935/stat : 261935 (pb-oll-rs) R 261932 261935 256766 0 -1 4194304 18663 0 0 0 359557 445 0 0 20 0 1 0 23266837 146489344 27224 134679101440 4194304 5384005 140731029958464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 24748032 140731029963803 140731029963880 140731029963880 140731029970891 0
/proc/261935/statm: 35764 27224 1452 291 0 27298 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 108896 KiB

Child status: 0

Real time (s): 3611.5
CPU time (s): 3600.04
CPU user time (s): 3595.58
CPU system time (s): 4.45548
CPU usage (%): 99.6825
Max. virtual memory (cumulated for all children) (KiB): 143056
Max. memory (cumulated for all children) (KiB): 108896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.58
system time used= 4.45548
maximum resident set size= 108992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18678
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= 38
involuntary context switches= 24645


# summary of solver processes directly reported to runsolver:
#   pid: 261935
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3595.58
#   total CPU system time (s): 4.45548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5332 second user time and 33.1594 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 03:59:34
IDJOB=4458268
IDBENCH=177189
IDSOLVER=3067
FILE ID=nodeC005/4458268-1721872774
RUNJOBID= nodeC005-1721865124-256776
SLURM_JOB_ID= 8089204
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458268-1721872774/watcher-4458268-1721872774 -o /tmp/evaluation-result-4458268-1721872774/solver-4458268-1721872774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256776 --watchdog 3760  pb-oll-rs HOME/instance-4458268-1721872774.opb

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

MD5SUM BENCH= 858e72f790302981bac4f28574add405
RANDOM SEED=1828274084

nodeC005.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		: 3491.609
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 3593.180
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114087788 kB
MemAvailable:   129645416 kB
Buffers:          282696 kB
Cached:         16050316 kB
SwapCached:          620 kB
Active:          2535968 kB
Inactive:       14373556 kB
Active(anon):       1616 kB
Inactive(anon):   628176 kB
Active(file):    2534352 kB
Inactive(file): 13745380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              2080 kB
Writeback:            20 kB
AnonPages:        576132 kB
Mapped:           122548 kB
Shmem:             53264 kB
KReclaimable:     235852 kB
Slab:             346812 kB
SReclaimable:     235852 kB
SUnreclaim:       110960 kB
KernelStack:        3888 kB
PageTables:        10492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     901752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    364544 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-25 04:59:46