Trace number 4454943

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-19? (TO) 3600.07 3609.21

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB3567229

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_8.opb
MD5SUMfedf74999185e25725fdda881cf70966
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4574247
Best CPU time to get the best result obtained on this benchmark3587.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 150743150652
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 150743150652
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.09/0.12	c [STEP] preprocessing with Papilo
0.09/0.18	c [STEP] solving with SCIP
299.42/300.27	c [STEP] preprocessing done, loading into solver
299.52/300.30	c [STEP] solving
299.52/300.30	c #variables 10101 #constraints 10408
299.52/300.30	c SMALL=int, LARGE=long long
299.52/300.30	d SCIPUB 3567229
299.52/300.30	c bounds - >= -100 @ 299.378
299.52/300.30	c stratification level: 3543122
573.54/575.02	c #Conflicts:       1000 | #Constraints:      11408
573.54/575.02	c #Conflicts:       2000 | #Constraints:      12408
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:       3000 | #Constraints:       8589
573.54/575.02	c #Conflicts:       4000 | #Constraints:       9589
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:       5000 | #Constraints:       9002
573.54/575.02	c #Conflicts:       6000 | #Constraints:      10002
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:       7000 | #Constraints:       9030
573.54/575.02	c #Conflicts:       8000 | #Constraints:      10030
573.54/575.02	c #Conflicts:       9000 | #Constraints:      11030
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      10000 | #Constraints:       9725
573.54/575.02	c #Conflicts:      11000 | #Constraints:      10725
573.54/575.02	c #Conflicts:      12000 | #Constraints:      11725
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      13000 | #Constraints:      10173
573.54/575.02	c #Conflicts:      14000 | #Constraints:      11173
573.54/575.02	c #Conflicts:      15000 | #Constraints:      12173
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      16000 | #Constraints:      10452
573.54/575.02	c #Conflicts:      17000 | #Constraints:      11452
573.54/575.02	c #Conflicts:      18000 | #Constraints:      12452
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      19000 | #Constraints:      10456
573.54/575.02	c #Conflicts:      20000 | #Constraints:      11456
573.54/575.02	c #Conflicts:      21000 | #Constraints:      12456
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      22000 | #Constraints:      10301
573.54/575.02	c #Conflicts:      23000 | #Constraints:      11301
573.54/575.02	c #Conflicts:      24000 | #Constraints:      12301
573.54/575.02	c #Conflicts:      25000 | #Constraints:      13301
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      26000 | #Constraints:      10919
573.54/575.02	c #Conflicts:      27000 | #Constraints:      11919
573.54/575.02	c #Conflicts:      28000 | #Constraints:      12919
573.54/575.02	c #Conflicts:      29000 | #Constraints:      13919
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      30000 | #Constraints:      11330
573.54/575.02	c #Conflicts:      31000 | #Constraints:      12330
573.54/575.02	c #Conflicts:      32000 | #Constraints:      13330
573.54/575.02	c #Conflicts:      33000 | #Constraints:      14330
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      34000 | #Constraints:      11534
573.54/575.02	c #Conflicts:      35000 | #Constraints:      12534
573.54/575.02	c #Conflicts:      36000 | #Constraints:      13534
573.54/575.02	c #Conflicts:      37000 | #Constraints:      14534
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      38000 | #Constraints:      11564
573.54/575.02	c #Conflicts:      39000 | #Constraints:      12564
573.54/575.02	c #Conflicts:      40000 | #Constraints:      13564
573.54/575.02	c #Conflicts:      41000 | #Constraints:      14564
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      42000 | #Constraints:      11341
573.54/575.02	c #Conflicts:      43000 | #Constraints:      12341
573.54/575.02	c #Conflicts:      44000 | #Constraints:      13341
573.54/575.02	c #Conflicts:      45000 | #Constraints:      14341
573.54/575.02	c #Conflicts:      46000 | #Constraints:      15341
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      47000 | #Constraints:      12029
573.54/575.02	c #Conflicts:      48000 | #Constraints:      13029
573.54/575.02	c #Conflicts:      49000 | #Constraints:      14029
573.54/575.02	c #Conflicts:      50000 | #Constraints:      15029
573.54/575.02	c #Conflicts:      51000 | #Constraints:      16029
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      52000 | #Constraints:      12409
573.54/575.02	c #Conflicts:      53000 | #Constraints:      13409
573.54/575.02	c #Conflicts:      54000 | #Constraints:      14409
573.54/575.02	c #Conflicts:      55000 | #Constraints:      15409
573.54/575.02	c #Conflicts:      56000 | #Constraints:      16409
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      57000 | #Constraints:      12583
573.54/575.02	c #Conflicts:      58000 | #Constraints:      13583
573.54/575.02	c #Conflicts:      59000 | #Constraints:      14583
573.54/575.02	c #Conflicts:      60000 | #Constraints:      15583
573.54/575.02	c #Conflicts:      61000 | #Constraints:      16583
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      62000 | #Constraints:      12596
573.54/575.02	c #Conflicts:      63000 | #Constraints:      13596
573.54/575.02	c #Conflicts:      64000 | #Constraints:      14596
573.54/575.02	c #Conflicts:      65000 | #Constraints:      15596
573.54/575.02	c #Conflicts:      66000 | #Constraints:      16596
573.54/575.02	c INPROCESSING
573.54/575.02	c GARBAGE COLLECT
573.54/575.02	c #Conflicts:      67000 | #Constraints:      12522
573.54/575.02	c #Conflicts:      68000 | #Constraints:      13522
1029.57/1032.20	c #Conflicts:      69000 | #Constraints:      14522
1029.57/1032.20	c #Conflicts:      70000 | #Constraints:      15522
1029.57/1032.20	c #Conflicts:      71000 | #Constraints:      16522
1029.57/1032.20	c #Conflicts:      72000 | #Constraints:      17522
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:      73000 | #Constraints:      13118
1029.57/1032.20	c #Conflicts:      74000 | #Constraints:      14118
1029.57/1032.20	c #Conflicts:      75000 | #Constraints:      15118
1029.57/1032.20	c #Conflicts:      76000 | #Constraints:      16118
1029.57/1032.20	c #Conflicts:      77000 | #Constraints:      17118
1029.57/1032.20	c #Conflicts:      78000 | #Constraints:      18118
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:      79000 | #Constraints:      13536
1029.57/1032.20	c #Conflicts:      80000 | #Constraints:      14536
1029.57/1032.20	c #Conflicts:      81000 | #Constraints:      15536
1029.57/1032.20	c #Conflicts:      82000 | #Constraints:      16536
1029.57/1032.20	c #Conflicts:      83000 | #Constraints:      17536
1029.57/1032.20	c #Conflicts:      84000 | #Constraints:      18536
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:      85000 | #Constraints:      13633
1029.57/1032.20	c #Conflicts:      86000 | #Constraints:      14633
1029.57/1032.20	c #Conflicts:      87000 | #Constraints:      15633
1029.57/1032.20	c #Conflicts:      88000 | #Constraints:      16633
1029.57/1032.20	c #Conflicts:      89000 | #Constraints:      17633
1029.57/1032.20	c #Conflicts:      90000 | #Constraints:      18633
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:      91000 | #Constraints:      13672
1029.57/1032.20	c #Conflicts:      92000 | #Constraints:      14672
1029.57/1032.20	c #Conflicts:      93000 | #Constraints:      15672
1029.57/1032.20	c #Conflicts:      94000 | #Constraints:      16672
1029.57/1032.20	c #Conflicts:      95000 | #Constraints:      17672
1029.57/1032.20	c #Conflicts:      96000 | #Constraints:      18672
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:      97000 | #Constraints:      13467
1029.57/1032.20	c #Conflicts:      98000 | #Constraints:      14467
1029.57/1032.20	c #Conflicts:      99000 | #Constraints:      15467
1029.57/1032.20	c #Conflicts:     100000 | #Constraints:      16467
1029.57/1032.20	c #Conflicts:     101000 | #Constraints:      17467
1029.57/1032.20	c #Conflicts:     102000 | #Constraints:      18467
1029.57/1032.20	c #Conflicts:     103000 | #Constraints:      19467
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:     104000 | #Constraints:      14125
1029.57/1032.20	c #Conflicts:     105000 | #Constraints:      15125
1029.57/1032.20	c #Conflicts:     106000 | #Constraints:      16125
1029.57/1032.20	c #Conflicts:     107000 | #Constraints:      17125
1029.57/1032.20	c #Conflicts:     108000 | #Constraints:      18125
1029.57/1032.20	c #Conflicts:     109000 | #Constraints:      19125
1029.57/1032.20	c #Conflicts:     110000 | #Constraints:      20125
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:     111000 | #Constraints:      14588
1029.57/1032.20	c #Conflicts:     112000 | #Constraints:      15588
1029.57/1032.20	c #Conflicts:     113000 | #Constraints:      16588
1029.57/1032.20	c #Conflicts:     114000 | #Constraints:      17588
1029.57/1032.20	c #Conflicts:     115000 | #Constraints:      18588
1029.57/1032.20	c #Conflicts:     116000 | #Constraints:      19588
1029.57/1032.20	c #Conflicts:     117000 | #Constraints:      20588
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:     118000 | #Constraints:      14665
1029.57/1032.20	c #Conflicts:     119000 | #Constraints:      15665
1029.57/1032.20	c #Conflicts:     120000 | #Constraints:      16665
1029.57/1032.20	c #Conflicts:     121000 | #Constraints:      17665
1029.57/1032.20	c #Conflicts:     122000 | #Constraints:      18665
1029.57/1032.20	c #Conflicts:     123000 | #Constraints:      19665
1029.57/1032.20	c #Conflicts:     124000 | #Constraints:      20665
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:     125000 | #Constraints:      14675
1029.57/1032.20	c #Conflicts:     126000 | #Constraints:      15675
1029.57/1032.20	c #Conflicts:     127000 | #Constraints:      16675
1029.57/1032.20	c #Conflicts:     128000 | #Constraints:      17675
1029.57/1032.20	c #Conflicts:     129000 | #Constraints:      18675
1029.57/1032.20	c #Conflicts:     130000 | #Constraints:      19675
1029.57/1032.20	c #Conflicts:     131000 | #Constraints:      20675
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:     132000 | #Constraints:      14447
1029.57/1032.20	c #Conflicts:     133000 | #Constraints:      15447
1029.57/1032.20	c #Conflicts:     134000 | #Constraints:      16447
1029.57/1032.20	c #Conflicts:     135000 | #Constraints:      17447
1029.57/1032.20	c #Conflicts:     136000 | #Constraints:      18447
1029.57/1032.20	c #Conflicts:     137000 | #Constraints:      19447
1029.57/1032.20	c #Conflicts:     138000 | #Constraints:      20447
1029.57/1032.20	c #Conflicts:     139000 | #Constraints:      21447
1029.57/1032.20	c INPROCESSING
1029.57/1032.20	c GARBAGE COLLECT
1029.57/1032.20	c #Conflicts:     140000 | #Constraints:      15018
1900.14/1905.00	c #Conflicts:     141000 | #Constraints:      16018
1900.14/1905.00	c #Conflicts:     142000 | #Constraints:      17018
1900.14/1905.00	c #Conflicts:     143000 | #Constraints:      18018
1900.14/1905.00	c #Conflicts:     144000 | #Constraints:      19018
1900.14/1905.00	c #Conflicts:     145000 | #Constraints:      20018
1900.14/1905.00	c #Conflicts:     146000 | #Constraints:      21018
1900.14/1905.00	c #Conflicts:     147000 | #Constraints:      22018
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     148000 | #Constraints:      15607
1900.14/1905.00	c #Conflicts:     149000 | #Constraints:      16607
1900.14/1905.00	c #Conflicts:     150000 | #Constraints:      17607
1900.14/1905.00	c #Conflicts:     151000 | #Constraints:      18607
1900.14/1905.00	c #Conflicts:     152000 | #Constraints:      19607
1900.14/1905.00	c #Conflicts:     153000 | #Constraints:      20607
1900.14/1905.00	c #Conflicts:     154000 | #Constraints:      21607
1900.14/1905.00	c #Conflicts:     155000 | #Constraints:      22607
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     156000 | #Constraints:      15732
1900.14/1905.00	c #Conflicts:     157000 | #Constraints:      16732
1900.14/1905.00	c #Conflicts:     158000 | #Constraints:      17732
1900.14/1905.00	c #Conflicts:     159000 | #Constraints:      18732
1900.14/1905.00	c #Conflicts:     160000 | #Constraints:      19732
1900.14/1905.00	c #Conflicts:     161000 | #Constraints:      20732
1900.14/1905.00	c #Conflicts:     162000 | #Constraints:      21732
1900.14/1905.00	c #Conflicts:     163000 | #Constraints:      22732
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     164000 | #Constraints:      15824
1900.14/1905.00	c #Conflicts:     165000 | #Constraints:      16824
1900.14/1905.00	c #Conflicts:     166000 | #Constraints:      17824
1900.14/1905.00	c #Conflicts:     167000 | #Constraints:      18824
1900.14/1905.00	c #Conflicts:     168000 | #Constraints:      19824
1900.14/1905.00	c #Conflicts:     169000 | #Constraints:      20824
1900.14/1905.00	c #Conflicts:     170000 | #Constraints:      21824
1900.14/1905.00	c #Conflicts:     171000 | #Constraints:      22824
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     172000 | #Constraints:      15720
1900.14/1905.00	c #Conflicts:     173000 | #Constraints:      16720
1900.14/1905.00	c #Conflicts:     174000 | #Constraints:      17720
1900.14/1905.00	c #Conflicts:     175000 | #Constraints:      18720
1900.14/1905.00	c #Conflicts:     176000 | #Constraints:      19720
1900.14/1905.00	c #Conflicts:     177000 | #Constraints:      20720
1900.14/1905.00	c #Conflicts:     178000 | #Constraints:      21720
1900.14/1905.00	c #Conflicts:     179000 | #Constraints:      22720
1900.14/1905.00	c #Conflicts:     180000 | #Constraints:      23720
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     181000 | #Constraints:      16193
1900.14/1905.00	c #Conflicts:     182000 | #Constraints:      17193
1900.14/1905.00	c #Conflicts:     183000 | #Constraints:      18193
1900.14/1905.00	c #Conflicts:     184000 | #Constraints:      19193
1900.14/1905.00	c #Conflicts:     185000 | #Constraints:      20193
1900.14/1905.00	c #Conflicts:     186000 | #Constraints:      21193
1900.14/1905.00	c #Conflicts:     187000 | #Constraints:      22193
1900.14/1905.00	c #Conflicts:     188000 | #Constraints:      23193
1900.14/1905.00	c #Conflicts:     189000 | #Constraints:      24193
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     190000 | #Constraints:      16461
1900.14/1905.00	c #Conflicts:     191000 | #Constraints:      17461
1900.14/1905.00	c #Conflicts:     192000 | #Constraints:      18461
1900.14/1905.00	c #Conflicts:     193000 | #Constraints:      19461
1900.14/1905.00	c #Conflicts:     194000 | #Constraints:      20461
1900.14/1905.00	c #Conflicts:     195000 | #Constraints:      21461
1900.14/1905.00	c #Conflicts:     196000 | #Constraints:      22461
1900.14/1905.00	c #Conflicts:     197000 | #Constraints:      23461
1900.14/1905.00	c #Conflicts:     198000 | #Constraints:      24461
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     199000 | #Constraints:      16909
1900.14/1905.00	c #Conflicts:     200000 | #Constraints:      17909
1900.14/1905.00	c #Conflicts:     201000 | #Constraints:      18909
1900.14/1905.00	c #Conflicts:     202000 | #Constraints:      19909
1900.14/1905.00	c #Conflicts:     203000 | #Constraints:      20909
1900.14/1905.00	c #Conflicts:     204000 | #Constraints:      21909
1900.14/1905.00	c #Conflicts:     205000 | #Constraints:      22909
1900.14/1905.00	c #Conflicts:     206000 | #Constraints:      23909
1900.14/1905.00	c #Conflicts:     207000 | #Constraints:      24909
1900.14/1905.00	c INPROCESSING
1900.14/1905.00	c GARBAGE COLLECT
1900.14/1905.00	c #Conflicts:     208000 | #Constraints:      16805
1900.14/1905.00	c #Conflicts:     209000 | #Constraints:      17805
1900.14/1905.00	c #Conflicts:     210000 | #Constraints:      18805
1900.14/1905.00	c #Conflicts:     211000 | #Constraints:      19805
1900.14/1905.00	c #Conflicts:     212000 | #Constraints:      20805
1900.14/1905.00	c #Conflicts:     213000 | #Constraints:      21805
2505.29/2511.73	c #Conflicts:     214000 | #Constraints:      22805
2505.29/2511.73	c #Conflicts:     215000 | #Constraints:      23805
2505.29/2511.73	c #Conflicts:     216000 | #Constraints:      24805
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     217000 | #Constraints:      16524
2505.29/2511.73	c #Conflicts:     218000 | #Constraints:      17524
2505.29/2511.73	c #Conflicts:     219000 | #Constraints:      18524
2505.29/2511.73	c #Conflicts:     220000 | #Constraints:      19524
2505.29/2511.73	c #Conflicts:     221000 | #Constraints:      20524
2505.29/2511.73	c #Conflicts:     222000 | #Constraints:      21524
2505.29/2511.73	c #Conflicts:     223000 | #Constraints:      22524
2505.29/2511.73	c #Conflicts:     224000 | #Constraints:      23524
2505.29/2511.73	c #Conflicts:     225000 | #Constraints:      24524
2505.29/2511.73	c #Conflicts:     226000 | #Constraints:      25524
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     227000 | #Constraints:      17104
2505.29/2511.73	c #Conflicts:     228000 | #Constraints:      18104
2505.29/2511.73	c #Conflicts:     229000 | #Constraints:      19104
2505.29/2511.73	c #Conflicts:     230000 | #Constraints:      20104
2505.29/2511.73	c #Conflicts:     231000 | #Constraints:      21104
2505.29/2511.73	c #Conflicts:     232000 | #Constraints:      22104
2505.29/2511.73	c #Conflicts:     233000 | #Constraints:      23104
2505.29/2511.73	c #Conflicts:     234000 | #Constraints:      24104
2505.29/2511.73	c #Conflicts:     235000 | #Constraints:      25104
2505.29/2511.73	c #Conflicts:     236000 | #Constraints:      26104
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     237000 | #Constraints:      17548
2505.29/2511.73	c #Conflicts:     238000 | #Constraints:      18548
2505.29/2511.73	c #Conflicts:     239000 | #Constraints:      19548
2505.29/2511.73	c #Conflicts:     240000 | #Constraints:      20548
2505.29/2511.73	c #Conflicts:     241000 | #Constraints:      21548
2505.29/2511.73	c #Conflicts:     242000 | #Constraints:      22548
2505.29/2511.73	c #Conflicts:     243000 | #Constraints:      23548
2505.29/2511.73	c #Conflicts:     244000 | #Constraints:      24548
2505.29/2511.73	c #Conflicts:     245000 | #Constraints:      25548
2505.29/2511.73	c #Conflicts:     246000 | #Constraints:      26548
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     247000 | #Constraints:      17656
2505.29/2511.73	c #Conflicts:     248000 | #Constraints:      18656
2505.29/2511.73	c #Conflicts:     249000 | #Constraints:      19656
2505.29/2511.73	c #Conflicts:     250000 | #Constraints:      20656
2505.29/2511.73	c #Conflicts:     251000 | #Constraints:      21656
2505.29/2511.73	c #Conflicts:     252000 | #Constraints:      22656
2505.29/2511.73	c #Conflicts:     253000 | #Constraints:      23656
2505.29/2511.73	c #Conflicts:     254000 | #Constraints:      24656
2505.29/2511.73	c #Conflicts:     255000 | #Constraints:      25656
2505.29/2511.73	c #Conflicts:     256000 | #Constraints:      26656
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     257000 | #Constraints:      17759
2505.29/2511.73	c #Conflicts:     258000 | #Constraints:      18759
2505.29/2511.73	c #Conflicts:     259000 | #Constraints:      19759
2505.29/2511.73	c #Conflicts:     260000 | #Constraints:      20759
2505.29/2511.73	c #Conflicts:     261000 | #Constraints:      21759
2505.29/2511.73	c #Conflicts:     262000 | #Constraints:      22759
2505.29/2511.73	c #Conflicts:     263000 | #Constraints:      23759
2505.29/2511.73	c #Conflicts:     264000 | #Constraints:      24759
2505.29/2511.73	c #Conflicts:     265000 | #Constraints:      25759
2505.29/2511.73	c #Conflicts:     266000 | #Constraints:      26759
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     267000 | #Constraints:      17517
2505.29/2511.73	c #Conflicts:     268000 | #Constraints:      18517
2505.29/2511.73	c #Conflicts:     269000 | #Constraints:      19517
2505.29/2511.73	c #Conflicts:     270000 | #Constraints:      20517
2505.29/2511.73	c #Conflicts:     271000 | #Constraints:      21517
2505.29/2511.73	c #Conflicts:     272000 | #Constraints:      22517
2505.29/2511.73	c #Conflicts:     273000 | #Constraints:      23517
2505.29/2511.73	c #Conflicts:     274000 | #Constraints:      24517
2505.29/2511.73	c #Conflicts:     275000 | #Constraints:      25517
2505.29/2511.73	c #Conflicts:     276000 | #Constraints:      26517
2505.29/2511.73	c #Conflicts:     277000 | #Constraints:      27517
2505.29/2511.73	c INPROCESSING
2505.29/2511.73	c GARBAGE COLLECT
2505.29/2511.73	c #Conflicts:     278000 | #Constraints:      18074
2505.29/2511.73	c #Conflicts:     279000 | #Constraints:      19074
2505.29/2511.73	c #Conflicts:     280000 | #Constraints:      20074
2505.29/2511.73	c #Conflicts:     281000 | #Constraints:      21074
2505.29/2511.73	c #Conflicts:     282000 | #Constraints:      22074
2505.29/2511.73	c #Conflicts:     283000 | #Constraints:      23074
2505.29/2511.73	c #Conflicts:     284000 | #Constraints:      24074
2505.29/2511.73	c #Conflicts:     285000 | #Constraints:      25074
2505.29/2511.73	c #Conflicts:     286000 | #Constraints:      26074
2505.29/2511.73	c #Conflicts:     287000 | #Constraints:      27074
2505.29/2511.73	c #Conflicts:     288000 | #Constraints:      28074
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     289000 | #Constraints:      18503
3089.78/3097.78	c #Conflicts:     290000 | #Constraints:      19503
3089.78/3097.78	c #Conflicts:     291000 | #Constraints:      20503
3089.78/3097.78	c #Conflicts:     292000 | #Constraints:      21503
3089.78/3097.78	c #Conflicts:     293000 | #Constraints:      22503
3089.78/3097.78	c #Conflicts:     294000 | #Constraints:      23503
3089.78/3097.78	c #Conflicts:     295000 | #Constraints:      24503
3089.78/3097.78	c #Conflicts:     296000 | #Constraints:      25503
3089.78/3097.78	c #Conflicts:     297000 | #Constraints:      26503
3089.78/3097.78	c #Conflicts:     298000 | #Constraints:      27503
3089.78/3097.78	c #Conflicts:     299000 | #Constraints:      28503
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     300000 | #Constraints:      18617
3089.78/3097.78	c #Conflicts:     301000 | #Constraints:      19617
3089.78/3097.78	c #Conflicts:     302000 | #Constraints:      20617
3089.78/3097.78	c #Conflicts:     303000 | #Constraints:      21617
3089.78/3097.78	c #Conflicts:     304000 | #Constraints:      22617
3089.78/3097.78	c #Conflicts:     305000 | #Constraints:      23617
3089.78/3097.78	c #Conflicts:     306000 | #Constraints:      24617
3089.78/3097.78	c #Conflicts:     307000 | #Constraints:      25617
3089.78/3097.78	c #Conflicts:     308000 | #Constraints:      26617
3089.78/3097.78	c #Conflicts:     309000 | #Constraints:      27617
3089.78/3097.78	c #Conflicts:     310000 | #Constraints:      28617
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     311000 | #Constraints:      18769
3089.78/3097.78	c #Conflicts:     312000 | #Constraints:      19769
3089.78/3097.78	c #Conflicts:     313000 | #Constraints:      20769
3089.78/3097.78	c #Conflicts:     314000 | #Constraints:      21769
3089.78/3097.78	c #Conflicts:     315000 | #Constraints:      22769
3089.78/3097.78	c #Conflicts:     316000 | #Constraints:      23769
3089.78/3097.78	c #Conflicts:     317000 | #Constraints:      24769
3089.78/3097.78	c #Conflicts:     318000 | #Constraints:      25769
3089.78/3097.78	c #Conflicts:     319000 | #Constraints:      26769
3089.78/3097.78	c #Conflicts:     320000 | #Constraints:      27769
3089.78/3097.78	c #Conflicts:     321000 | #Constraints:      28769
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     322000 | #Constraints:      18661
3089.78/3097.78	c #Conflicts:     323000 | #Constraints:      19661
3089.78/3097.78	c #Conflicts:     324000 | #Constraints:      20661
3089.78/3097.78	c #Conflicts:     325000 | #Constraints:      21661
3089.78/3097.78	c #Conflicts:     326000 | #Constraints:      22661
3089.78/3097.78	c #Conflicts:     327000 | #Constraints:      23661
3089.78/3097.78	c #Conflicts:     328000 | #Constraints:      24661
3089.78/3097.78	c #Conflicts:     329000 | #Constraints:      25661
3089.78/3097.78	c #Conflicts:     330000 | #Constraints:      26661
3089.78/3097.78	c #Conflicts:     331000 | #Constraints:      27661
3089.78/3097.78	c #Conflicts:     332000 | #Constraints:      28661
3089.78/3097.78	c #Conflicts:     333000 | #Constraints:      29661
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     334000 | #Constraints:      19156
3089.78/3097.78	c #Conflicts:     335000 | #Constraints:      20156
3089.78/3097.78	c #Conflicts:     336000 | #Constraints:      21156
3089.78/3097.78	c #Conflicts:     337000 | #Constraints:      22156
3089.78/3097.78	c #Conflicts:     338000 | #Constraints:      23156
3089.78/3097.78	c #Conflicts:     339000 | #Constraints:      24156
3089.78/3097.78	c #Conflicts:     340000 | #Constraints:      25156
3089.78/3097.78	c #Conflicts:     341000 | #Constraints:      26156
3089.78/3097.78	c #Conflicts:     342000 | #Constraints:      27156
3089.78/3097.78	c #Conflicts:     343000 | #Constraints:      28156
3089.78/3097.78	c #Conflicts:     344000 | #Constraints:      29156
3089.78/3097.78	c #Conflicts:     345000 | #Constraints:      30156
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     346000 | #Constraints:      19683
3089.78/3097.78	c #Conflicts:     347000 | #Constraints:      20683
3089.78/3097.78	c #Conflicts:     348000 | #Constraints:      21683
3089.78/3097.78	c #Conflicts:     349000 | #Constraints:      22683
3089.78/3097.78	c #Conflicts:     350000 | #Constraints:      23683
3089.78/3097.78	c #Conflicts:     351000 | #Constraints:      24683
3089.78/3097.78	c #Conflicts:     352000 | #Constraints:      25683
3089.78/3097.78	c #Conflicts:     353000 | #Constraints:      26683
3089.78/3097.78	c #Conflicts:     354000 | #Constraints:      27683
3089.78/3097.78	c #Conflicts:     355000 | #Constraints:      28683
3089.78/3097.78	c #Conflicts:     356000 | #Constraints:      29683
3089.78/3097.78	c #Conflicts:     357000 | #Constraints:      30683
3089.78/3097.78	c INPROCESSING
3089.78/3097.78	c GARBAGE COLLECT
3089.78/3097.78	c #Conflicts:     358000 | #Constraints:      19649
3089.78/3097.78	c #Conflicts:     359000 | #Constraints:      20649
3089.78/3097.78	c #Conflicts:     360000 | #Constraints:      21649
3089.78/3097.78	c #Conflicts:     361000 | #Constraints:      22649
3089.78/3097.78	c #Conflicts:     362000 | #Constraints:      23649
3569.93/3579.07	c #Conflicts:     363000 | #Constraints:      24649
3569.93/3579.07	c #Conflicts:     364000 | #Constraints:      25649
3569.93/3579.07	c #Conflicts:     365000 | #Constraints:      26649
3569.93/3579.07	c #Conflicts:     366000 | #Constraints:      27649
3569.93/3579.07	c #Conflicts:     367000 | #Constraints:      28649
3569.93/3579.07	c #Conflicts:     368000 | #Constraints:      29649
3569.93/3579.07	c #Conflicts:     369000 | #Constraints:      30649
3569.93/3579.07	c INPROCESSING
3569.93/3579.07	c GARBAGE COLLECT
3569.93/3579.07	c #Conflicts:     370000 | #Constraints:      19622
3569.93/3579.07	c #Conflicts:     371000 | #Constraints:      20622
3569.93/3579.07	c #Conflicts:     372000 | #Constraints:      21622
3569.93/3579.07	c #Conflicts:     373000 | #Constraints:      22622
3569.93/3579.07	c #Conflicts:     374000 | #Constraints:      23622
3569.93/3579.07	c #Conflicts:     375000 | #Constraints:      24622
3569.93/3579.07	c #Conflicts:     376000 | #Constraints:      25622
3569.93/3579.07	c #Conflicts:     377000 | #Constraints:      26622
3569.93/3579.07	c #Conflicts:     378000 | #Constraints:      27622
3569.93/3579.07	c #Conflicts:     379000 | #Constraints:      28622
3569.93/3579.07	c #Conflicts:     380000 | #Constraints:      29622
3569.93/3579.07	c #Conflicts:     381000 | #Constraints:      30622
3569.93/3579.07	c INPROCESSING
3569.93/3579.07	c GARBAGE COLLECT
3569.93/3579.07	c #Conflicts:     382000 | #Constraints:      19662
3569.93/3579.07	c #Conflicts:     383000 | #Constraints:      20662
3569.93/3579.07	c #Conflicts:     384000 | #Constraints:      21662
3569.93/3579.07	c #Conflicts:     385000 | #Constraints:      22662
3569.93/3579.07	c #Conflicts:     386000 | #Constraints:      23662
3569.93/3579.07	c #Conflicts:     387000 | #Constraints:      24662
3569.93/3579.07	c #Conflicts:     388000 | #Constraints:      25662
3569.93/3579.07	c #Conflicts:     389000 | #Constraints:      26662
3569.93/3579.07	c #Conflicts:     390000 | #Constraints:      27662
3569.93/3579.07	c #Conflicts:     391000 | #Constraints:      28662
3569.93/3579.07	c #Conflicts:     392000 | #Constraints:      29662
3569.93/3579.07	c #Conflicts:     393000 | #Constraints:      30662
3569.93/3579.07	c #Conflicts:     394000 | #Constraints:      31662
3569.93/3579.07	c INPROCESSING
3569.93/3579.07	c GARBAGE COLLECT
3569.93/3579.07	c #Conflicts:     395000 | #Constraints:      20215
3569.93/3579.07	c #Conflicts:     396000 | #Constraints:      21215
3569.93/3579.07	c #Conflicts:     397000 | #Constraints:      22215
3569.93/3579.07	c #Conflicts:     398000 | #Constraints:      23215
3569.93/3579.07	c #Conflicts:     399000 | #Constraints:      24215
3569.93/3579.07	c #Conflicts:     400000 | #Constraints:      25215
3569.93/3579.07	c #Conflicts:     401000 | #Constraints:      26215
3569.93/3579.07	c #Conflicts:     402000 | #Constraints:      27215
3569.93/3579.07	c #Conflicts:     403000 | #Constraints:      28215
3569.93/3579.07	c #Conflicts:     404000 | #Constraints:      29215
3569.93/3579.07	c #Conflicts:     405000 | #Constraints:      30215
3569.93/3579.07	c #Conflicts:     406000 | #Constraints:      31215
3569.93/3579.07	c #Conflicts:     407000 | #Constraints:      32215
3569.93/3579.07	c INPROCESSING
3569.93/3579.07	c GARBAGE COLLECT
3569.93/3579.07	c #Conflicts:     408000 | #Constraints:      20482
3569.93/3579.07	c #Conflicts:     409000 | #Constraints:      21482
3569.93/3579.07	c #Conflicts:     410000 | #Constraints:      22482
3569.93/3579.07	c #Conflicts:     411000 | #Constraints:      23482
3569.93/3579.07	c #Conflicts:     412000 | #Constraints:      24482
3569.93/3579.07	c #Conflicts:     413000 | #Constraints:      25482
3569.93/3579.07	c #Conflicts:     414000 | #Constraints:      26482
3569.93/3579.07	c #Conflicts:     415000 | #Constraints:      27482
3569.93/3579.07	c #Conflicts:     416000 | #Constraints:      28482
3569.93/3579.07	c #Conflicts:     417000 | #Constraints:      29482
3569.93/3579.07	c #Conflicts:     418000 | #Constraints:      30482
3569.93/3579.07	c #Conflicts:     419000 | #Constraints:      31482
3569.93/3579.07	c #Conflicts:     420000 | #Constraints:      32482
3569.93/3579.07	c INPROCESSING
3569.93/3579.07	c GARBAGE COLLECT
3569.93/3579.07	c #Conflicts:     421000 | #Constraints:      20763
3569.93/3579.07	c #Conflicts:     422000 | #Constraints:      21763
3569.93/3579.07	c #Conflicts:     423000 | #Constraints:      22763
3569.93/3579.07	c #Conflicts:     424000 | #Constraints:      23763
3569.93/3579.07	c #Conflicts:     425000 | #Constraints:      24763
3569.93/3579.07	c #Conflicts:     426000 | #Constraints:      25763
3569.93/3579.07	c #Conflicts:     427000 | #Constraints:      26763
3569.93/3579.07	c #Conflicts:     428000 | #Constraints:      27763
3569.93/3579.07	c #Conflicts:     429000 | #Constraints:      28763
3569.93/3579.07	c #Conflicts:     430000 | #Constraints:      29763
3569.93/3579.07	c #Conflicts:     431000 | #Constraints:      30763
3569.93/3579.07	c #Conflicts:     432000 | #Constraints:      31763
3569.93/3579.07	c #Conflicts:     433000 | #Constraints:      32763
3569.93/3579.07	c INPROCESSING
3569.93/3579.07	c GARBAGE COLLECT
3569.93/3579.07	c #Conflicts:     434000 | #Constraints:      20720
3569.93/3579.07	c #Conflicts:     435000 | #Constraints:      21720
3569.93/3579.07	c #Conflicts:     436000 | #Constraints:      22720
3569.93/3579.07	c #Conflicts:     437000 | #Constraints:      23720
3600.06/3609.20	c #Conflicts:     438000 | #Constraints:      24720
3600.06/3609.20	c #Conflicts:     439000 | #Constraints:      25720
3600.06/3609.20	c #Conflicts:     440000 | #Constraints:      26720
3600.06/3609.20	c #Conflicts:     441000 | #Constraints:      27720
3600.06/3609.20	c #Conflicts:     442000 | #Constraints:      28720
3600.06/3609.20	c #Conflicts:     443000 | #Constraints:      29720
3600.06/3609.20	c Program interrupted by user.
3600.06/3609.20	c cpu time 3595.62 s
3600.06/3609.20	c deterministic time 259182825178 2.59e+11
3600.06/3609.20	c optimization time 45.9391 s
3600.06/3609.20	c total solve time 3250.31 s
3600.06/3609.20	c core-guided solve time 3250.31 s
3600.06/3609.20	c propagation time 1650.21 s
3600.06/3609.20	c conflict analysis time 1590.22 s
3600.06/3609.20	c propagations 467151026
3600.06/3609.20	c resolve steps 28330359
3600.06/3609.20	c decisions 1881305
3600.06/3609.20	c conflicts 443167
3600.06/3609.20	c restarts 1021
3600.06/3609.20	c inprocessing phases 57
3600.06/3609.20	c input clauses 5151
3600.06/3609.20	c input cardinalities 7
3600.06/3609.20	c input general constraints 5251
3600.06/3609.20	c input average constraint length 10.59
3600.06/3609.20	c input average constraint degree 14481662.86
3600.06/3609.20	c learned clauses 213629
3600.06/3609.20	c learned cardinalities 218
3600.06/3609.20	c learned general constraints 229319
3600.06/3609.20	c learned average constraint length 1767.49
3600.06/3609.20	c learned average constraint degree 287151412.09
3600.06/3609.20	c watched constraints 144214
3600.06/3609.20	c counting constraints 90356
3600.06/3609.20	c gcd simplifications 39328
3600.06/3609.20	c detected cardinalities 10
3600.06/3609.20	c weakened non-implied lits 267127696
3600.06/3609.20	c weakened non-implying lits 1130481
3600.06/3609.20	c original variables 20200
3600.06/3609.20	c clausal propagations 382422768
3600.06/3609.20	c cardinality propagations 2035349
3600.06/3609.20	c watched propagations 3094644
3600.06/3609.20	c counting propagations 78914602
3600.06/3609.20	c watch lookups 44686599749
3600.06/3609.20	c watch backjump lookups 43448508079
3600.06/3609.20	c watch checks 112933153811
3600.06/3609.20	c propagation checks 52657538251
3600.06/3609.20	c constraint additions 4518526744
3600.06/3609.20	c trail pops 469466212
3600.06/3609.20	c formula constraints 10408
3600.06/3609.20	c learned constraints 443166
3600.06/3609.20	c bound constraints 1
3600.06/3609.20	c core-guided constraints 0
3600.06/3609.20	c encountered formula constraints 24460213
3600.06/3609.20	c encountered learned constraints 4277651
3600.06/3609.20	c encountered bound constraints 35662
3600.06/3609.20	c encountered core-guided constraints 0
3600.06/3609.20	c LP total time 0 s
3600.06/3609.20	c LP solve time 0 s
3600.06/3609.20	c LP constraints added 0
3600.06/3609.20	c LP constraints removed 0
3600.06/3609.20	c LP pivots internal 0
3600.06/3609.20	c LP pivots root 0
3600.06/3609.20	c LP calls 0
3600.06/3609.20	c LP optimalities 0
3600.06/3609.20	c LP no pivot count 0
3600.06/3609.20	c LP infeasibilities 0
3600.06/3609.20	c LP valid Farkas constraints 0
3600.06/3609.20	c LP learned Farkas constraints 0
3600.06/3609.20	c LP basis resets 0
3600.06/3609.20	c LP cycling count 0
3600.06/3609.20	c LP singular count 0
3600.06/3609.20	c LP no primal count 0
3600.06/3609.20	c LP no farkas count 0
3600.06/3609.20	c LP other issue count 0
3600.06/3609.20	c LP Gomory cuts 0
3600.06/3609.20	c LP learned cuts 0
3600.06/3609.20	c LP deleted cuts 0
3600.06/3609.20	c LP encountered Gomory constraints 0
3600.06/3609.20	c LP encountered Farkas constraints 0
3600.06/3609.20	c LP encountered learned Farkas constraints 0
3600.06/3609.20	c CG auxiliary variables introduced 0
3600.06/3609.20	c CG solutions found 0
3600.06/3609.20	c CG cores constructed 0
3600.06/3609.20	c CG core cardinality constraints returned 0
3600.06/3609.20	c CG unit cores 0
3600.06/3609.20	c CG single cores 0
3600.06/3609.20	c CG blocks removed during cardinality reduction 0
3600.06/3609.20	c CG first core best 0
3600.06/3609.20	c CG decision core best 0
3600.06/3609.20	c CG core reduction tie 0
3600.06/3609.20	c CG core degree average 0.00
3600.06/3609.20	c CG core slack average 0.00
3600.06/3609.20	c CG exhausted 0
3600.06/3609.20	c CG exhaust time 0 s
3600.06/3609.20	c CG trimmed 0
3600.06/3609.20	c CG trim time 0 s
3600.06/3609.20	c CG minimized 0
3600.06/3609.20	c CG minimize time 0 s
3600.06/3609.20	c CG am1 prop time 7.4e-05 s
3600.06/3609.20	c CG # am1s reformulated 0
3600.06/3609.20	c CG lower bound derived from am1s 0
3600.06/3609.20	c CG # clausal cores 0
3600.06/3609.20	c CG # cardinality cores 0
3600.06/3609.20	c CG # pb cores 0
3600.06/3609.20	c CG # pb reforms 0
3600.06/3609.20	c CG # cores discarded because of pb reform 0
3600.06/3609.20	d LOWERBOUND 0
3600.06/3609.20	d NCORES 0
3600.06/3609.20	d NPBCORES 0
3600.06/3609.20	d NPBREFORM 0
3600.06/3609.20	d NTRIMMED 0
3600.06/3609.20	d NEXHAUSTED 0
3600.06/3609.20	d NAM1S 0
3600.06/3609.20	d AM1LB 0
3600.06/3609.20	c [Papilo Statistics]
3600.06/3609.20	c prepro time 0.0668011s
3600.06/3609.20	c # tsx applied 25150
3600.06/3609.20	c # tsx conflicts 0
3600.06/3609.20	c # bound changes 200
3600.06/3609.20	c # side changes 4950
3600.06/3609.20	c # coef changes 64350
3600.06/3609.20	c # rounds 3
3600.06/3609.20	c # deted vars 10100
3600.06/3609.20	c # deted constrs 19802
3600.06/3609.20	c # consecutive rounds of only bound changes 0
3600.06/3609.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 (57524 MiB free)
  memory of node 1: 64510 MiB (61101 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454943-1721473688/watcher-4454943-1721473688 -o /tmp/evaluation-result-4454943-1721473688/solver-4454943-1721473688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079551 --watchdog 3760 mixed-bag HOME/instance-4454943-1721473688.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1085353, runsolver pid=1085350

[startup+0.100203 s]*
/proc/loadavg: 4.14 4.14 4.14 5/254 1085354
/proc/meminfo: memFree=121461452/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=87144 memory=19576 CPUtime=0.09 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 4801 0 0 0 9 0 0 0 20 0 1 0 199530618 89235456 4894 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 21786 4894 1718 3002 0 6074 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87144 KiB
Current children cumulated memory: 19576 KiB

[startup+0.205583 s]*
/proc/loadavg: 4.14 4.14 4.14 5/254 1085354
/proc/meminfo: memFree=121424312/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=135172 memory=68612 CPUtime=0.19 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 17126 0 0 0 17 2 0 0 20 0 1 0 199530618 138416128 17153 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 33793 17153 3727 3002 0 17542 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 135172 KiB
Current children cumulated memory: 68612 KiB

[startup+0.30561 s]*
/proc/loadavg: 4.14 4.14 4.14 5/254 1085354
/proc/meminfo: memFree=121395272/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=160048 memory=92420 CPUtime=0.3 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 25401 0 0 0 26 4 0 0 20 0 1 0 199530618 163889152 23105 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 40012 23105 3855 3002 0 23761 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 160048 KiB
Current children cumulated memory: 92420 KiB

[startup+0.700247 s]
/proc/loadavg: 4.14 4.14 4.14 5/254 1085354
/proc/meminfo: memFree=121374776/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=212304 memory=140896 CPUtime=0.68 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 35058 0 0 0 63 5 0 0 20 0 1 0 199530618 217399296 35224 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 53076 35224 3887 3002 0 36825 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212304 KiB
Current children cumulated memory: 140896 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.14 4.14 5/254 1085354
/proc/meminfo: memFree=121304688/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=273656 memory=187588 CPUtime=1.49 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 47428 0 0 0 141 8 0 0 20 0 1 0 199530618 280223744 46897 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 68414 46897 4079 3002 0 52163 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 273656 KiB
Current children cumulated memory: 187588 KiB

[startup+3.10551 s]
/proc/loadavg: 4.13 4.14 4.14 5/254 1085356
/proc/meminfo: memFree=121300088/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=274092 memory=188116 CPUtime=3.09 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 47611 0 0 0 301 8 0 0 20 0 1 0 199530618 280670208 47029 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 68523 47029 4079 3002 0 52272 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 274092 KiB
Current children cumulated memory: 188116 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.14 4.14 5/254 1085356
/proc/meminfo: memFree=121298360/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=276792 memory=189964 CPUtime=6.27 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 48020 0 0 0 619 8 0 0 20 0 1 0 199530618 283435008 47491 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 69198 47491 4079 3002 0 52947 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 276792 KiB
Current children cumulated memory: 189964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.14 5/254 1085356
/proc/meminfo: memFree=121244480/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=288392 memory=201064 CPUtime=12.66 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 51059 0 0 0 1257 9 0 0 20 0 1 0 199530618 295313408 50266 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 72098 50266 4095 3002 0 55847 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 288392 KiB
Current children cumulated memory: 201064 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.13 5/254 1085359
/proc/meminfo: memFree=121180616/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=317444 memory=221840 CPUtime=25.43 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 56522 0 0 0 2533 10 0 0 20 0 1 0 199530618 325062656 55460 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 79361 55460 4095 3002 0 63110 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 317444 KiB
Current children cumulated memory: 221840 KiB

[startup+51.1055 s]
/proc/loadavg: 4.21 4.15 4.14 5/254 1085362
/proc/meminfo: memFree=120905588/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=359700 memory=263676 CPUtime=50.97 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 67024 0 0 0 5085 12 0 0 20 0 1 0 199530618 368332800 65919 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 89925 65919 4095 3002 0 73674 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 359700 KiB
Current children cumulated memory: 263676 KiB

[startup+102.3 s]
/proc/loadavg: 4.38 4.21 4.17 6/254 1085370
/proc/meminfo: memFree=120405504/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=392568 memory=293932 CPUtime=102.03 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 74642 0 0 0 10189 14 0 0 20 0 1 0 199530618 401989632 73483 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 98142 73483 4095 3002 0 81891 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 392568 KiB
Current children cumulated memory: 293932 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.20 4.17 5/257 1085386
/proc/meminfo: memFree=120233592/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=392568 memory=293932 CPUtime=161.88 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 74646 0 0 0 16174 14 0 0 20 0 1 0 199530618 401989632 73483 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 98142 73483 4095 3002 0 81891 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 392568 KiB
Current children cumulated memory: 293932 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/257 1085396
/proc/meminfo: memFree=120011312/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=392568 memory=293932 CPUtime=221.72 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 74650 0 0 0 22158 14 0 0 20 0 1 0 199530618 401989632 73483 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 98142 73483 4095 3002 0 81891 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 392568 KiB
Current children cumulated memory: 293932 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/257 1085406
/proc/meminfo: memFree=119524832/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=392568 memory=294792 CPUtime=281.57 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 74846 0 0 0 28143 14 0 0 20 0 1 0 199530618 401989632 73698 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 98142 73698 4127 3002 0 81891 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 392568 KiB
Current children cumulated memory: 294792 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/257 1085417
/proc/meminfo: memFree=119240260/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=423544 memory=324024 CPUtime=341.41 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 79602 0 0 0 34110 31 0 0 20 0 1 0 199530618 433709056 81006 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 105886 81006 4238 3002 0 89635 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 423544 KiB
Current children cumulated memory: 324024 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/257 1085428
/proc/meminfo: memFree=119102280/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=423544 memory=324204 CPUtime=401.26 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 79660 0 0 0 40078 48 0 0 20 0 1 0 199530618 433709056 81051 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 105886 81051 4238 3002 0 89635 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 423544 KiB
Current children cumulated memory: 324204 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/254 1085438
/proc/meminfo: memFree=118822388/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=423544 memory=329036 CPUtime=461.11 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 79845 0 0 0 46048 63 0 0 20 0 1 0 199530618 433709056 82259 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 105886 82259 4238 3002 0 89635 0

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

Current children cumulated memory: 449224 KiB

[startup+2862.3 s]
/proc/loadavg: 4.29 4.17 4.11 5/257 1086868
/proc/meminfo: memFree=112505852/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=449224 CPUtime=2854.99 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83606 0 0 0 285156 343 0 0 20 0 1 0 199530618 568340480 112306 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 112306 4238 3002 0 122504 0
Current children cumulated CPU time: 2854.99 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 449224 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 1086878
/proc/meminfo: memFree=112329836/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=463604 CPUtime=2914.84 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83659 0 0 0 291132 352 0 0 20 0 1 0 199530618 568340480 115901 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 115901 4238 3002 0 122504 0
Current children cumulated CPU time: 2914.84 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 463604 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 1086889
/proc/meminfo: memFree=112286796/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=463716 CPUtime=2974.68 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83743 0 0 0 297109 359 0 0 20 0 1 0 199530618 568340480 115929 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 115929 4238 3002 0 122504 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 463716 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1087067
/proc/meminfo: memFree=112015480/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=463716 CPUtime=3034.53 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83763 0 0 0 303085 368 0 0 20 0 1 0 199530618 568340480 115929 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 115929 4238 3002 0 122504 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 463716 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1087077
/proc/meminfo: memFree=111939372/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=463852 CPUtime=3094.37 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83824 0 0 0 309058 379 0 0 20 0 1 0 199530618 568340480 115963 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 115963 4238 3002 0 122504 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 463852 KiB

[startup+3162.3 s]
/proc/loadavg: 4.52 4.22 4.13 5/256 1087102
/proc/meminfo: memFree=111895488/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=463908 CPUtime=3154.2 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83893 0 0 0 315034 386 0 0 20 0 1 0 199530618 568340480 115977 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 115977 4238 3002 0 122504 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 463908 KiB

[startup+3222.3 s]
/proc/loadavg: 3.24 3.95 4.04 3/235 1087205
/proc/meminfo: memFree=126809496/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=463908 CPUtime=3214.06 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 83937 0 0 0 321010 396 0 0 20 0 1 0 199530618 568340480 115977 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 115977 4238 3002 0 122504 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 463908 KiB

[startup+3282.3 s]
/proc/loadavg: 1.87 3.43 3.85 2/235 1087215
/proc/meminfo: memFree=126808720/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=464500 CPUtime=3273.9 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 84020 0 0 0 326986 404 0 0 20 0 1 0 199530618 568340480 116125 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 116125 4238 3002 0 122504 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 464500 KiB

[startup+3342.3 s]
/proc/loadavg: 1.38 3.00 3.68 2/237 1087231
/proc/meminfo: memFree=126803000/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=470108 CPUtime=3333.74 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 84153 0 0 0 332961 413 0 0 20 0 1 0 199530618 568340480 117527 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 117527 4238 3002 0 122504 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 470108 KiB

[startup+3402.3 s]
/proc/loadavg: 1.19 2.65 3.51 2/237 1087242
/proc/meminfo: memFree=126801380/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=470320 CPUtime=3393.58 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 84410 0 0 0 338937 421 0 0 20 0 1 0 199530618 568340480 117580 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 117580 4238 3002 0 122504 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 470320 KiB

[startup+3462.3 s]
/proc/loadavg: 1.18 2.38 3.36 2/236 1087252
/proc/meminfo: memFree=126802356/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=470320 CPUtime=3453.45 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 84587 0 0 0 344918 427 0 0 20 0 1 0 199530618 568340480 117580 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 117580 4238 3002 0 122504 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 470320 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 2.14 3.22 2/236 1087262
/proc/meminfo: memFree=126800056/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=472352 CPUtime=3513.33 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 84773 0 0 0 350898 435 0 0 20 0 1 0 199530618 568340480 118088 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 118088 4238 3002 0 122504 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 472352 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.94 3.08 2/237 1087274
/proc/meminfo: memFree=126799780/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=472352 CPUtime=3573.21 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 84975 0 0 0 356880 441 0 0 20 0 1 0 199530618 568340480 118088 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 118088 4238 3002 0 122504 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 472352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 1.11 1.87 3.02 2/237 1087279
/proc/meminfo: memFree=126799632/131524600 swapFree=131071996/131071996
[pid=1085353] ppid=1085350 vsize=555020 memory=472352 CPUtime=3600.06 cores=5,7
/proc/1085353/stat : 1085353 (mixed-bag) R 1085350 1085353 1079538 0 -1 4194304 85124 0 0 0 359562 444 0 0 20 0 1 0 199530618 568340480 118088 134679101440 4194304 16488053 140733256319648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30224384 140733256324117 140733256324194 140733256324194 140733256331211 0
/proc/1085353/statm: 138755 118088 4238 3002 0 122504 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 555020 KiB
Current children cumulated memory: 472352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.63 s, system=4.44761 s

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

Child status: 0

Real time (s): 3609.21
CPU time (s): 3600.07
CPU user time (s): 3595.63
CPU system time (s): 4.44761
CPU usage (%): 99.747
Max. virtual memory (cumulated for all children) (KiB): 555020
Max. memory (cumulated for all children) (KiB): 472352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.63
system time used= 4.44761
maximum resident set size= 473204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85146
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= 106
involuntary context switches= 1513


# summary of solver processes directly reported to runsolver:
#   pid: 1085353
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.63
#   total CPU system time (s): 4.44761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83519 second user time and 17.0339 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-20 13:08:20
IDJOB=4454943
IDBENCH=155604
IDSOLVER=3083
FILE ID=nodeC017/4454943-1721473688
RUNJOBID= nodeC017-1721465999-1079551
SLURM_JOB_ID= 7545717
Free space on /tmp= 889952 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat100_4_32_8.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454943-1721473688/watcher-4454943-1721473688 -o /tmp/evaluation-result-4454943-1721473688/solver-4454943-1721473688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079551 --watchdog 3760  mixed-bag HOME/instance-4454943-1721473688.opb

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

MD5SUM BENCH= fedf74999185e25725fdda881cf70966
RANDOM SEED=188275181

nodeC017.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		: 3668.154
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.46
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		: 3666.714
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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.127
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.46
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.152
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	: 7006.99
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		: 3668.150
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.46
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		: 3666.352
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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.081
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.46
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		: 3664.657
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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121473412 kB
MemAvailable:   124138056 kB
Buffers:          610984 kB
Cached:          2877740 kB
SwapCached:            0 kB
Active:          1398648 kB
Inactive:        7977820 kB
Active(anon):       1568 kB
Inactive(anon):  5932080 kB
Active(file):    1397080 kB
Inactive(file):  2045740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17868 kB
Writeback:             0 kB
AnonPages:       5887780 kB
Mapped:           142276 kB
Shmem:             45912 kB
KReclaimable:     122944 kB
Slab:             239348 kB
SReclaimable:     122944 kB
SUnreclaim:       116404 kB
KernelStack:        4144 kB
PageTables:        21620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7188720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1177600 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:      305876 kB
DirectMap2M:    43507712 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC017 at 2024-07-20 14:08:30