Trace number 4458282

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-19? (TO) 3600.02 3612.2

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458282-1721879544/watcher-4458282-1721879544 -o /tmp/evaluation-result-4458282-1721879544/solver-4458282-1721879544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217935 --watchdog 3760 pb-oll-rs HOME/instance-4458282-1721879544.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100081 s]*
/proc/loadavg: 4.15 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126643804/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=39920 memory=9456 CPUtime=0.09 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 583 0 0 0 9 0 0 0 20 0 1 0 24482951 40878080 2364 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 9980 2364 1456 291 0 1514 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 9456 KiB

[startup+0.205467 s]*
/proc/loadavg: 4.15 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126643124/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=40180 memory=9660 CPUtime=0.2 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 663 0 0 0 19 1 0 0 20 0 1 0 24482951 41144320 2415 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 10045 2415 1456 291 0 1579 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40180 KiB
Current children cumulated memory: 9660 KiB

[startup+0.304309 s]*
/proc/loadavg: 4.15 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126642004/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=40440 memory=9920 CPUtime=0.3 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 715 0 0 0 29 1 0 0 20 0 1 0 24482951 41410560 2480 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 10110 2480 1456 291 0 1644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 9920 KiB

[startup+0.700141 s]
/proc/loadavg: 4.15 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126641528/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=40960 memory=10556 CPUtime=0.69 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 847 0 0 0 67 2 0 0 20 0 1 0 24482951 41943040 2639 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 10240 2639 1456 291 0 1774 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 10556 KiB

[startup+1.50017 s]
/proc/loadavg: 4.15 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126638024/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=41960 memory=13572 CPUtime=1.48 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 1097 0 0 0 145 3 0 0 20 0 1 0 24482951 42967040 3393 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 10490 3393 1456 291 0 2024 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 13572 KiB

[startup+3.10542 s]
/proc/loadavg: 4.15 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126629100/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=43520 memory=15212 CPUtime=3.08 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 1506 0 0 0 303 5 0 0 20 0 1 0 24482951 44564480 3803 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 10880 3803 1471 291 0 2414 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 15212 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126620344/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=47540 memory=17136 CPUtime=6.27 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 1988 0 0 0 618 9 0 0 20 0 1 0 24482951 48680960 4284 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 11885 4284 1471 291 0 3419 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47540 KiB
Current children cumulated memory: 17136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.15 5/258 220131
/proc/meminfo: memFree=126610096/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=50004 memory=21176 CPUtime=12.65 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 3016 0 0 0 1250 15 0 0 20 0 1 0 24482951 51204096 5294 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 12501 5294 1471 291 0 4035 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 21176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.16 5/258 220133
/proc/meminfo: memFree=126571340/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=56640 memory=24912 CPUtime=25.4 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 3993 0 0 0 2516 24 0 0 20 0 1 0 24482951 57999360 6228 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 14160 6228 1471 291 0 5694 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 56640 KiB
Current children cumulated memory: 24912 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.15 5/258 220139
/proc/meminfo: memFree=126529104/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=60484 memory=30740 CPUtime=50.91 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 5020 0 0 0 5053 38 0 0 20 0 1 0 24482951 61935616 7685 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 15121 7685 1471 291 0 6655 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 60484 KiB
Current children cumulated memory: 30740 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/258 220148
/proc/meminfo: memFree=126508544/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=70176 memory=34848 CPUtime=101.92 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 6151 0 0 0 10130 62 0 0 20 0 1 0 24482951 71860224 8712 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 17544 8712 1471 291 0 9078 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 70176 KiB
Current children cumulated memory: 34848 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/257 220158
/proc/meminfo: memFree=126434832/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=73564 memory=39692 CPUtime=161.7 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 6965 0 0 0 16084 86 0 0 20 0 1 0 24482951 75329536 9923 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 18391 9923 1471 291 0 9925 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 73564 KiB
Current children cumulated memory: 39692 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/256 220550
/proc/meminfo: memFree=126398800/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=76284 memory=44428 CPUtime=221.48 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 7751 0 0 0 22040 108 0 0 20 0 1 0 24482951 78114816 11107 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 19071 11107 1471 291 0 10605 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 76284 KiB
Current children cumulated memory: 44428 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.14 6/256 220561
/proc/meminfo: memFree=126367176/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=90396 memory=48608 CPUtime=281.26 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 8874 0 0 0 28003 123 0 0 20 0 1 0 24482951 92565504 12152 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 22599 12152 1471 291 0 14133 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 48608 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/255 220572
/proc/meminfo: memFree=126327840/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=93476 memory=54996 CPUtime=341.05 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 10039 0 0 0 33970 135 0 0 20 0 1 0 24482951 95719424 13749 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 23369 13749 1471 291 0 14903 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 54996 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/258 220753
/proc/meminfo: memFree=126292816/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=96868 memory=59868 CPUtime=400.83 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 10789 0 0 0 39941 142 0 0 20 0 1 0 24482951 99192832 14967 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 24217 14967 1471 291 0 15751 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 96868 KiB
Current children cumulated memory: 59868 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 220763
/proc/meminfo: memFree=126260132/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=97344 memory=63252 CPUtime=460.6 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 10937 0 0 0 45902 158 0 0 20 0 1 0 24482951 99680256 15813 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 24336 15813 1471 291 0 15870 0

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

Current children cumulated memory: 104276 KiB

[startup+2862.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/254 221826
/proc/meminfo: memFree=125831460/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=140332 memory=104276 CPUtime=2852.56 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 17787 0 0 0 284847 409 0 0 20 0 1 0 24482951 143699968 26069 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35083 26069 1471 291 0 26617 0
Current children cumulated CPU time: 2852.56 s
Current children cumulated vsize: 140332 KiB
Current children cumulated memory: 104276 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/257 221841
/proc/meminfo: memFree=125830452/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=140332 memory=104280 CPUtime=2912.36 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 17835 0 0 0 290824 412 0 0 20 0 1 0 24482951 143699968 26070 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35083 26070 1471 291 0 26617 0
Current children cumulated CPU time: 2912.36 s
Current children cumulated vsize: 140332 KiB
Current children cumulated memory: 104280 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 221853
/proc/meminfo: memFree=125828808/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=141420 memory=104972 CPUtime=2972.16 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18073 0 0 0 296798 418 0 0 20 0 1 0 24482951 144814080 26243 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35355 26243 1471 291 0 26889 0
Current children cumulated CPU time: 2972.16 s
Current children cumulated vsize: 141420 KiB
Current children cumulated memory: 104972 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 221864
/proc/meminfo: memFree=125828096/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=141420 memory=104972 CPUtime=3031.96 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18116 0 0 0 302774 422 0 0 20 0 1 0 24482951 144814080 26243 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35355 26243 1471 291 0 26889 0
Current children cumulated CPU time: 3031.96 s
Current children cumulated vsize: 141420 KiB
Current children cumulated memory: 104972 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 221875
/proc/meminfo: memFree=125827440/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=141420 memory=104972 CPUtime=3091.77 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18162 0 0 0 308751 426 0 0 20 0 1 0 24482951 144814080 26243 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35355 26243 1471 291 0 26889 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 141420 KiB
Current children cumulated memory: 104972 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 221887
/proc/meminfo: memFree=125825844/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=141932 memory=105940 CPUtime=3151.57 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18316 0 0 0 314727 430 0 0 20 0 1 0 24482951 145338368 26485 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35483 26485 1471 291 0 27017 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 141932 KiB
Current children cumulated memory: 105940 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 221897
/proc/meminfo: memFree=125824280/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=141932 memory=106840 CPUtime=3211.38 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18365 0 0 0 320701 437 0 0 20 0 1 0 24482951 145338368 26710 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35483 26710 1471 291 0 27017 0
Current children cumulated CPU time: 3211.38 s
Current children cumulated vsize: 141932 KiB
Current children cumulated memory: 106840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/255 221908
/proc/meminfo: memFree=125823528/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=141932 memory=106840 CPUtime=3271.18 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18413 0 0 0 326678 440 0 0 20 0 1 0 24482951 145338368 26710 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35483 26710 1471 291 0 27017 0
Current children cumulated CPU time: 3271.18 s
Current children cumulated vsize: 141932 KiB
Current children cumulated memory: 106840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 221918
/proc/meminfo: memFree=125822224/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=142192 memory=107060 CPUtime=3330.99 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18533 0 0 0 332654 445 0 0 20 0 1 0 24482951 145604608 26765 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35548 26765 1471 291 0 27082 0
Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 142192 KiB
Current children cumulated memory: 107060 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/255 221929
/proc/meminfo: memFree=125820624/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=142192 memory=107060 CPUtime=3390.8 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18578 0 0 0 338631 449 0 0 20 0 1 0 24482951 145604608 26765 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35548 26765 1471 291 0 27082 0
Current children cumulated CPU time: 3390.8 s
Current children cumulated vsize: 142192 KiB
Current children cumulated memory: 107060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 221940
/proc/meminfo: memFree=125818800/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=142192 memory=107060 CPUtime=3450.6 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18624 0 0 0 344608 452 0 0 20 0 1 0 24482951 145604608 26765 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35548 26765 1471 291 0 27082 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 142192 KiB
Current children cumulated memory: 107060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 221954
/proc/meminfo: memFree=125816656/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=142936 memory=107244 CPUtime=3510.4 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18753 0 0 0 350585 455 0 0 20 0 1 0 24482951 146366464 26811 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35734 26811 1471 291 0 27268 0
Current children cumulated CPU time: 3510.4 s
Current children cumulated vsize: 142936 KiB
Current children cumulated memory: 107244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.19 4.12 5/256 221965
/proc/meminfo: memFree=125810880/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=143056 memory=107592 CPUtime=3570.2 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18873 0 0 0 356561 459 0 0 20 0 1 0 24482951 146489344 26898 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35764 26898 1471 291 0 27298 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 107592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.30 4.19 4.12 5/256 222109
/proc/meminfo: memFree=126212568/131524600 swapFree=131056028/131071996
[pid=220129] ppid=220126 vsize=143056 memory=107592 CPUtime=3600.01 cores=0,2
/proc/220129/stat : 220129 (pb-oll-rs) R 220126 220129 217925 0 -1 4194304 18876 0 0 0 359540 461 0 0 20 0 1 0 24482951 146489344 26898 134679101440 4194304 5384485 140723219834368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 7073792 140723219837975 140723219838052 140723219838052 140723219845067 0
/proc/220129/statm: 35764 26898 1471 291 0 27298 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 107592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.4 s, system=4.61782 s

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

Child status: 0

Real time (s): 3612.2
CPU time (s): 3600.02
CPU user time (s): 3595.4
CPU system time (s): 4.61782
CPU usage (%): 99.6628
Max. virtual memory (cumulated for all children) (KiB): 143300
Max. memory (cumulated for all children) (KiB): 107676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.4
system time used= 4.61782
maximum resident set size= 107676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18891
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= 25211


# summary of solver processes directly reported to runsolver:
#   pid: 220129
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3595.4
#   total CPU system time (s): 4.61782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63668 second user time and 17.0841 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-25 05:52:24
IDJOB=4458282
IDBENCH=177189
IDSOLVER=3082
FILE ID=nodeC016/4458282-1721879544
RUNJOBID= nodeC016-1721875931-217935
SLURM_JOB_ID= 8089230
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4458282-1721879544/watcher-4458282-1721879544 -o /tmp/evaluation-result-4458282-1721879544/solver-4458282-1721879544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217935 --watchdog 3760  pb-oll-rs HOME/instance-4458282-1721879544.opb

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

MD5SUM BENCH= 858e72f790302981bac4f28574add405
RANDOM SEED=1704549633

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126648680 kB
MemAvailable:   129567332 kB
Buffers:          290124 kB
Cached:          3310068 kB
SwapCached:          284 kB
Active:          2326684 kB
Inactive:        1654448 kB
Active(anon):       2432 kB
Inactive(anon):   430624 kB
Active(file):    2324252 kB
Inactive(file):  1223824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              8516 kB
Writeback:             0 kB
AnonPages:        380424 kB
Mapped:           108168 kB
Shmem:             52400 kB
KReclaimable:     420444 kB
Slab:             541148 kB
SReclaimable:     420444 kB
SUnreclaim:       120704 kB
KernelStack:        4156 kB
PageTables:         9996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     804140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC016 at 2024-07-25 06:52:37