Trace number 4455013

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.31 3612.33

DiagnosticValue
AM1LB8
LOWERBOUND125
NAM1S1
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB129

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
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 benchmark126
Best CPU time to get the best result obtained on this benchmark1995.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
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
1.00/1.03	c [STEP] preprocessing with Papilo
1.88/1.95	c [STEP] solving with SCIP
303.52/304.60	c [STEP] preprocessing done, loading into solver
303.71/304.76	c [STEP] solving
303.71/304.76	c #variables 174616 #constraints 2994
303.71/304.76	c SMALL=int, LARGE=long long
303.71/304.76	d SCIPUB 129
303.71/304.76	c bounds - >= 0 @ 302.934
303.71/304.76	c stratification level: 0
609.89/611.91	c bounds - >= 125 @ 302.947
609.89/611.91	c #Conflicts:       1000 | #Constraints:       3995
609.89/611.91	c #Conflicts:       2000 | #Constraints:       4995
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:       3000 | #Constraints:       5011
609.89/611.91	c #Conflicts:       4000 | #Constraints:       6011
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:       5000 | #Constraints:       5435
609.89/611.91	c #Conflicts:       6000 | #Constraints:       6435
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:       7000 | #Constraints:       5438
609.89/611.91	c #Conflicts:       8000 | #Constraints:       6438
609.89/611.91	c #Conflicts:       9000 | #Constraints:       7438
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      10000 | #Constraints:       6146
609.89/611.91	c #Conflicts:      11000 | #Constraints:       7146
609.89/611.91	c #Conflicts:      12000 | #Constraints:       8146
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      13000 | #Constraints:       6603
609.89/611.91	c #Conflicts:      14000 | #Constraints:       7603
609.89/611.91	c #Conflicts:      15000 | #Constraints:       8603
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      16000 | #Constraints:       6829
609.89/611.91	c #Conflicts:      17000 | #Constraints:       7829
609.89/611.91	c #Conflicts:      18000 | #Constraints:       8829
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      19000 | #Constraints:       6846
609.89/611.91	c #Conflicts:      20000 | #Constraints:       7846
609.89/611.91	c #Conflicts:      21000 | #Constraints:       8846
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      22000 | #Constraints:       6644
609.89/611.91	c #Conflicts:      23000 | #Constraints:       7644
609.89/611.91	c #Conflicts:      24000 | #Constraints:       8644
609.89/611.91	c #Conflicts:      25000 | #Constraints:       9644
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      26000 | #Constraints:       7240
609.89/611.91	c #Conflicts:      27000 | #Constraints:       8240
609.89/611.91	c #Conflicts:      28000 | #Constraints:       9240
609.89/611.91	c #Conflicts:      29000 | #Constraints:      10240
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      30000 | #Constraints:       7640
609.89/611.91	c #Conflicts:      31000 | #Constraints:       8640
609.89/611.91	c #Conflicts:      32000 | #Constraints:       9640
609.89/611.91	c #Conflicts:      33000 | #Constraints:      10640
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      34000 | #Constraints:       7846
609.89/611.91	c #Conflicts:      35000 | #Constraints:       8846
609.89/611.91	c #Conflicts:      36000 | #Constraints:       9846
609.89/611.91	c #Conflicts:      37000 | #Constraints:      10846
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      38000 | #Constraints:       7850
609.89/611.91	c #Conflicts:      39000 | #Constraints:       8850
609.89/611.91	c #Conflicts:      40000 | #Constraints:       9850
609.89/611.91	c #Conflicts:      41000 | #Constraints:      10850
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      42000 | #Constraints:       7651
609.89/611.91	c #Conflicts:      43000 | #Constraints:       8651
609.89/611.91	c #Conflicts:      44000 | #Constraints:       9651
609.89/611.91	c #Conflicts:      45000 | #Constraints:      10651
609.89/611.91	c #Conflicts:      46000 | #Constraints:      11651
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      47000 | #Constraints:       8238
609.89/611.91	c #Conflicts:      48000 | #Constraints:       9238
609.89/611.91	c #Conflicts:      49000 | #Constraints:      10238
609.89/611.91	c #Conflicts:      50000 | #Constraints:      11238
609.89/611.91	c #Conflicts:      51000 | #Constraints:      12238
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      52000 | #Constraints:       8638
609.89/611.91	c #Conflicts:      53000 | #Constraints:       9638
609.89/611.91	c #Conflicts:      54000 | #Constraints:      10638
609.89/611.91	c #Conflicts:      55000 | #Constraints:      11638
609.89/611.91	c #Conflicts:      56000 | #Constraints:      12638
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      57000 | #Constraints:       8837
609.89/611.91	c #Conflicts:      58000 | #Constraints:       9837
609.89/611.91	c #Conflicts:      59000 | #Constraints:      10837
609.89/611.91	c #Conflicts:      60000 | #Constraints:      11837
609.89/611.91	c #Conflicts:      61000 | #Constraints:      12837
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      62000 | #Constraints:       8848
609.89/611.91	c #Conflicts:      63000 | #Constraints:       9848
609.89/611.91	c #Conflicts:      64000 | #Constraints:      10848
609.89/611.91	c #Conflicts:      65000 | #Constraints:      11848
609.89/611.91	c #Conflicts:      66000 | #Constraints:      12848
609.89/611.91	c INPROCESSING
609.89/611.91	c GARBAGE COLLECT
609.89/611.91	c #Conflicts:      67000 | #Constraints:       8659
1056.61/1060.16	c #Conflicts:      68000 | #Constraints:       9659
1056.61/1060.16	c #Conflicts:      69000 | #Constraints:      10659
1056.61/1060.16	c #Conflicts:      70000 | #Constraints:      11659
1056.61/1060.16	c #Conflicts:      71000 | #Constraints:      12659
1056.61/1060.16	c #Conflicts:      72000 | #Constraints:      13659
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:      73000 | #Constraints:       9251
1056.61/1060.16	c #Conflicts:      74000 | #Constraints:      10251
1056.61/1060.16	c #Conflicts:      75000 | #Constraints:      11251
1056.61/1060.16	c #Conflicts:      76000 | #Constraints:      12251
1056.61/1060.16	c #Conflicts:      77000 | #Constraints:      13251
1056.61/1060.16	c #Conflicts:      78000 | #Constraints:      14251
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:      79000 | #Constraints:       9646
1056.61/1060.16	c #Conflicts:      80000 | #Constraints:      10646
1056.61/1060.16	c #Conflicts:      81000 | #Constraints:      11646
1056.61/1060.16	c #Conflicts:      82000 | #Constraints:      12646
1056.61/1060.16	c #Conflicts:      83000 | #Constraints:      13646
1056.61/1060.16	c #Conflicts:      84000 | #Constraints:      14646
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:      85000 | #Constraints:       9853
1056.61/1060.16	c #Conflicts:      86000 | #Constraints:      10853
1056.61/1060.16	c #Conflicts:      87000 | #Constraints:      11853
1056.61/1060.16	c #Conflicts:      88000 | #Constraints:      12853
1056.61/1060.16	c #Conflicts:      89000 | #Constraints:      13853
1056.61/1060.16	c #Conflicts:      90000 | #Constraints:      14853
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:      91000 | #Constraints:       9852
1056.61/1060.16	c #Conflicts:      92000 | #Constraints:      10852
1056.61/1060.16	c #Conflicts:      93000 | #Constraints:      11852
1056.61/1060.16	c #Conflicts:      94000 | #Constraints:      12852
1056.61/1060.16	c #Conflicts:      95000 | #Constraints:      13852
1056.61/1060.16	c #Conflicts:      96000 | #Constraints:      14852
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:      97000 | #Constraints:       9658
1056.61/1060.16	c #Conflicts:      98000 | #Constraints:      10658
1056.61/1060.16	c #Conflicts:      99000 | #Constraints:      11658
1056.61/1060.16	c #Conflicts:     100000 | #Constraints:      12658
1056.61/1060.16	c #Conflicts:     101000 | #Constraints:      13658
1056.61/1060.16	c #Conflicts:     102000 | #Constraints:      14658
1056.61/1060.16	c #Conflicts:     103000 | #Constraints:      15658
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:     104000 | #Constraints:      10250
1056.61/1060.16	c #Conflicts:     105000 | #Constraints:      11250
1056.61/1060.16	c #Conflicts:     106000 | #Constraints:      12250
1056.61/1060.16	c #Conflicts:     107000 | #Constraints:      13250
1056.61/1060.16	c #Conflicts:     108000 | #Constraints:      14250
1056.61/1060.16	c #Conflicts:     109000 | #Constraints:      15250
1056.61/1060.16	c #Conflicts:     110000 | #Constraints:      16250
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:     111000 | #Constraints:      10658
1056.61/1060.16	c #Conflicts:     112000 | #Constraints:      11658
1056.61/1060.16	c #Conflicts:     113000 | #Constraints:      12658
1056.61/1060.16	c #Conflicts:     114000 | #Constraints:      13658
1056.61/1060.16	c #Conflicts:     115000 | #Constraints:      14658
1056.61/1060.16	c #Conflicts:     116000 | #Constraints:      15658
1056.61/1060.16	c #Conflicts:     117000 | #Constraints:      16658
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:     118000 | #Constraints:      10848
1056.61/1060.16	c #Conflicts:     119000 | #Constraints:      11848
1056.61/1060.16	c #Conflicts:     120000 | #Constraints:      12848
1056.61/1060.16	c #Conflicts:     121000 | #Constraints:      13848
1056.61/1060.16	c #Conflicts:     122000 | #Constraints:      14848
1056.61/1060.16	c #Conflicts:     123000 | #Constraints:      15848
1056.61/1060.16	c #Conflicts:     124000 | #Constraints:      16848
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:     125000 | #Constraints:      10850
1056.61/1060.16	c #Conflicts:     126000 | #Constraints:      11850
1056.61/1060.16	c #Conflicts:     127000 | #Constraints:      12850
1056.61/1060.16	c #Conflicts:     128000 | #Constraints:      13850
1056.61/1060.16	c #Conflicts:     129000 | #Constraints:      14850
1056.61/1060.16	c #Conflicts:     130000 | #Constraints:      15850
1056.61/1060.16	c #Conflicts:     131000 | #Constraints:      16850
1056.61/1060.16	c INPROCESSING
1056.61/1060.16	c GARBAGE COLLECT
1056.61/1060.16	c #Conflicts:     132000 | #Constraints:      10644
1056.61/1060.16	c #Conflicts:     133000 | #Constraints:      11644
1056.61/1060.16	c #Conflicts:     134000 | #Constraints:      12644
1056.61/1060.16	c #Conflicts:     135000 | #Constraints:      13644
1056.61/1060.16	c #Conflicts:     136000 | #Constraints:      14644
1056.61/1060.16	c #Conflicts:     137000 | #Constraints:      15644
1056.61/1060.16	c #Conflicts:     138000 | #Constraints:      16644
1056.61/1060.16	c #Conflicts:     139000 | #Constraints:      17644
1056.61/1060.16	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     140000 | #Constraints:      11250
1597.17/1602.58	c #Conflicts:     141000 | #Constraints:      12250
1597.17/1602.58	c #Conflicts:     142000 | #Constraints:      13250
1597.17/1602.58	c #Conflicts:     143000 | #Constraints:      14250
1597.17/1602.58	c #Conflicts:     144000 | #Constraints:      15250
1597.17/1602.58	c #Conflicts:     145000 | #Constraints:      16250
1597.17/1602.58	c #Conflicts:     146000 | #Constraints:      17250
1597.17/1602.58	c #Conflicts:     147000 | #Constraints:      18250
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     148000 | #Constraints:      11646
1597.17/1602.58	c #Conflicts:     149000 | #Constraints:      12646
1597.17/1602.58	c #Conflicts:     150000 | #Constraints:      13646
1597.17/1602.58	c #Conflicts:     151000 | #Constraints:      14646
1597.17/1602.58	c #Conflicts:     152000 | #Constraints:      15646
1597.17/1602.58	c #Conflicts:     153000 | #Constraints:      16646
1597.17/1602.58	c #Conflicts:     154000 | #Constraints:      17646
1597.17/1602.58	c #Conflicts:     155000 | #Constraints:      18646
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     156000 | #Constraints:      11847
1597.17/1602.58	c #Conflicts:     157000 | #Constraints:      12847
1597.17/1602.58	c #Conflicts:     158000 | #Constraints:      13847
1597.17/1602.58	c #Conflicts:     159000 | #Constraints:      14847
1597.17/1602.58	c #Conflicts:     160000 | #Constraints:      15847
1597.17/1602.58	c #Conflicts:     161000 | #Constraints:      16847
1597.17/1602.58	c #Conflicts:     162000 | #Constraints:      17847
1597.17/1602.58	c #Conflicts:     163000 | #Constraints:      18847
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     164000 | #Constraints:      11848
1597.17/1602.58	c #Conflicts:     165000 | #Constraints:      12848
1597.17/1602.58	c #Conflicts:     166000 | #Constraints:      13848
1597.17/1602.58	c #Conflicts:     167000 | #Constraints:      14848
1597.17/1602.58	c #Conflicts:     168000 | #Constraints:      15848
1597.17/1602.58	c #Conflicts:     169000 | #Constraints:      16848
1597.17/1602.58	c #Conflicts:     170000 | #Constraints:      17848
1597.17/1602.58	c #Conflicts:     171000 | #Constraints:      18848
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     172000 | #Constraints:      11646
1597.17/1602.58	c #Conflicts:     173000 | #Constraints:      12646
1597.17/1602.58	c #Conflicts:     174000 | #Constraints:      13646
1597.17/1602.58	c #Conflicts:     175000 | #Constraints:      14646
1597.17/1602.58	c #Conflicts:     176000 | #Constraints:      15646
1597.17/1602.58	c #Conflicts:     177000 | #Constraints:      16646
1597.17/1602.58	c #Conflicts:     178000 | #Constraints:      17646
1597.17/1602.58	c #Conflicts:     179000 | #Constraints:      18646
1597.17/1602.58	c #Conflicts:     180000 | #Constraints:      19646
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     181000 | #Constraints:      12241
1597.17/1602.58	c #Conflicts:     182000 | #Constraints:      13241
1597.17/1602.58	c #Conflicts:     183000 | #Constraints:      14241
1597.17/1602.58	c #Conflicts:     184000 | #Constraints:      15241
1597.17/1602.58	c #Conflicts:     185000 | #Constraints:      16241
1597.17/1602.58	c #Conflicts:     186000 | #Constraints:      17241
1597.17/1602.58	c #Conflicts:     187000 | #Constraints:      18241
1597.17/1602.58	c #Conflicts:     188000 | #Constraints:      19241
1597.17/1602.58	c #Conflicts:     189000 | #Constraints:      20241
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     190000 | #Constraints:      12648
1597.17/1602.58	c #Conflicts:     191000 | #Constraints:      13648
1597.17/1602.58	c #Conflicts:     192000 | #Constraints:      14648
1597.17/1602.58	c #Conflicts:     193000 | #Constraints:      15648
1597.17/1602.58	c #Conflicts:     194000 | #Constraints:      16648
1597.17/1602.58	c #Conflicts:     195000 | #Constraints:      17648
1597.17/1602.58	c #Conflicts:     196000 | #Constraints:      18648
1597.17/1602.58	c #Conflicts:     197000 | #Constraints:      19648
1597.17/1602.58	c #Conflicts:     198000 | #Constraints:      20648
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     199000 | #Constraints:      12851
1597.17/1602.58	c #Conflicts:     200000 | #Constraints:      13851
1597.17/1602.58	c #Conflicts:     201000 | #Constraints:      14851
1597.17/1602.58	c #Conflicts:     202000 | #Constraints:      15851
1597.17/1602.58	c #Conflicts:     203000 | #Constraints:      16851
1597.17/1602.58	c #Conflicts:     204000 | #Constraints:      17851
1597.17/1602.58	c #Conflicts:     205000 | #Constraints:      18851
1597.17/1602.58	c #Conflicts:     206000 | #Constraints:      19851
1597.17/1602.58	c #Conflicts:     207000 | #Constraints:      20851
1597.17/1602.58	c INPROCESSING
1597.17/1602.58	c GARBAGE COLLECT
1597.17/1602.58	c #Conflicts:     208000 | #Constraints:      12850
1597.17/1602.58	c #Conflicts:     209000 | #Constraints:      13850
1597.17/1602.58	c #Conflicts:     210000 | #Constraints:      14850
1597.17/1602.58	c #Conflicts:     211000 | #Constraints:      15850
1597.17/1602.58	c #Conflicts:     212000 | #Constraints:      16850
1597.17/1602.58	c #Conflicts:     213000 | #Constraints:      17850
2401.69/2409.71	c #Conflicts:     214000 | #Constraints:      18850
2401.69/2409.71	c #Conflicts:     215000 | #Constraints:      19850
2401.69/2409.71	c #Conflicts:     216000 | #Constraints:      20850
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     217000 | #Constraints:      12660
2401.69/2409.71	c #Conflicts:     218000 | #Constraints:      13660
2401.69/2409.71	c #Conflicts:     219000 | #Constraints:      14660
2401.69/2409.71	c #Conflicts:     220000 | #Constraints:      15660
2401.69/2409.71	c #Conflicts:     221000 | #Constraints:      16660
2401.69/2409.71	c #Conflicts:     222000 | #Constraints:      17660
2401.69/2409.71	c #Conflicts:     223000 | #Constraints:      18660
2401.69/2409.71	c #Conflicts:     224000 | #Constraints:      19660
2401.69/2409.71	c #Conflicts:     225000 | #Constraints:      20660
2401.69/2409.71	c #Conflicts:     226000 | #Constraints:      21660
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     227000 | #Constraints:      13272
2401.69/2409.71	c #Conflicts:     228000 | #Constraints:      14272
2401.69/2409.71	c #Conflicts:     229000 | #Constraints:      15272
2401.69/2409.71	c #Conflicts:     230000 | #Constraints:      16272
2401.69/2409.71	c #Conflicts:     231000 | #Constraints:      17272
2401.69/2409.71	c #Conflicts:     232000 | #Constraints:      18272
2401.69/2409.71	c #Conflicts:     233000 | #Constraints:      19272
2401.69/2409.71	c #Conflicts:     234000 | #Constraints:      20272
2401.69/2409.71	c #Conflicts:     235000 | #Constraints:      21272
2401.69/2409.71	c #Conflicts:     236000 | #Constraints:      22272
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     237000 | #Constraints:      13664
2401.69/2409.71	c #Conflicts:     238000 | #Constraints:      14664
2401.69/2409.71	c #Conflicts:     239000 | #Constraints:      15664
2401.69/2409.71	c #Conflicts:     240000 | #Constraints:      16664
2401.69/2409.71	c #Conflicts:     241000 | #Constraints:      17664
2401.69/2409.71	c #Conflicts:     242000 | #Constraints:      18664
2401.69/2409.71	c #Conflicts:     243000 | #Constraints:      19664
2401.69/2409.71	c #Conflicts:     244000 | #Constraints:      20664
2401.69/2409.71	c #Conflicts:     245000 | #Constraints:      21664
2401.69/2409.71	c #Conflicts:     246000 | #Constraints:      22664
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     247000 | #Constraints:      13871
2401.69/2409.71	c #Conflicts:     248000 | #Constraints:      14871
2401.69/2409.71	c #Conflicts:     249000 | #Constraints:      15871
2401.69/2409.71	c #Conflicts:     250000 | #Constraints:      16871
2401.69/2409.71	c #Conflicts:     251000 | #Constraints:      17871
2401.69/2409.71	c #Conflicts:     252000 | #Constraints:      18871
2401.69/2409.71	c #Conflicts:     253000 | #Constraints:      19871
2401.69/2409.71	c #Conflicts:     254000 | #Constraints:      20871
2401.69/2409.71	c #Conflicts:     255000 | #Constraints:      21871
2401.69/2409.71	c #Conflicts:     256000 | #Constraints:      22871
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     257000 | #Constraints:      13858
2401.69/2409.71	c #Conflicts:     258000 | #Constraints:      14858
2401.69/2409.71	c #Conflicts:     259000 | #Constraints:      15858
2401.69/2409.71	c #Conflicts:     260000 | #Constraints:      16858
2401.69/2409.71	c #Conflicts:     261000 | #Constraints:      17858
2401.69/2409.71	c #Conflicts:     262000 | #Constraints:      18858
2401.69/2409.71	c #Conflicts:     263000 | #Constraints:      19858
2401.69/2409.71	c #Conflicts:     264000 | #Constraints:      20858
2401.69/2409.71	c #Conflicts:     265000 | #Constraints:      21858
2401.69/2409.71	c #Conflicts:     266000 | #Constraints:      22858
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     267000 | #Constraints:      13666
2401.69/2409.71	c #Conflicts:     268000 | #Constraints:      14666
2401.69/2409.71	c #Conflicts:     269000 | #Constraints:      15666
2401.69/2409.71	c #Conflicts:     270000 | #Constraints:      16666
2401.69/2409.71	c #Conflicts:     271000 | #Constraints:      17666
2401.69/2409.71	c #Conflicts:     272000 | #Constraints:      18666
2401.69/2409.71	c #Conflicts:     273000 | #Constraints:      19666
2401.69/2409.71	c #Conflicts:     274000 | #Constraints:      20666
2401.69/2409.71	c #Conflicts:     275000 | #Constraints:      21666
2401.69/2409.71	c #Conflicts:     276000 | #Constraints:      22666
2401.69/2409.71	c #Conflicts:     277000 | #Constraints:      23666
2401.69/2409.71	c INPROCESSING
2401.69/2409.71	c GARBAGE COLLECT
2401.69/2409.71	c #Conflicts:     278000 | #Constraints:      14253
2401.69/2409.71	c #Conflicts:     279000 | #Constraints:      15253
2401.69/2409.71	c #Conflicts:     280000 | #Constraints:      16253
2401.69/2409.71	c #Conflicts:     281000 | #Constraints:      17253
2401.69/2409.71	c #Conflicts:     282000 | #Constraints:      18253
2401.69/2409.71	c #Conflicts:     283000 | #Constraints:      19253
2401.69/2409.71	c #Conflicts:     284000 | #Constraints:      20253
2401.69/2409.71	c #Conflicts:     285000 | #Constraints:      21253
2401.69/2409.71	c #Conflicts:     286000 | #Constraints:      22253
2401.69/2409.71	c #Conflicts:     287000 | #Constraints:      23253
3175.01/3185.60	c #Conflicts:     288000 | #Constraints:      24253
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     289000 | #Constraints:      14647
3175.01/3185.60	c #Conflicts:     290000 | #Constraints:      15647
3175.01/3185.60	c #Conflicts:     291000 | #Constraints:      16647
3175.01/3185.60	c #Conflicts:     292000 | #Constraints:      17647
3175.01/3185.60	c #Conflicts:     293000 | #Constraints:      18647
3175.01/3185.60	c #Conflicts:     294000 | #Constraints:      19647
3175.01/3185.60	c #Conflicts:     295000 | #Constraints:      20647
3175.01/3185.60	c #Conflicts:     296000 | #Constraints:      21647
3175.01/3185.60	c #Conflicts:     297000 | #Constraints:      22647
3175.01/3185.60	c #Conflicts:     298000 | #Constraints:      23647
3175.01/3185.60	c #Conflicts:     299000 | #Constraints:      24647
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     300000 | #Constraints:      14844
3175.01/3185.60	c #Conflicts:     301000 | #Constraints:      15844
3175.01/3185.60	c #Conflicts:     302000 | #Constraints:      16844
3175.01/3185.60	c #Conflicts:     303000 | #Constraints:      17844
3175.01/3185.60	c #Conflicts:     304000 | #Constraints:      18844
3175.01/3185.60	c #Conflicts:     305000 | #Constraints:      19844
3175.01/3185.60	c #Conflicts:     306000 | #Constraints:      20844
3175.01/3185.60	c #Conflicts:     307000 | #Constraints:      21844
3175.01/3185.60	c #Conflicts:     308000 | #Constraints:      22844
3175.01/3185.60	c #Conflicts:     309000 | #Constraints:      23844
3175.01/3185.60	c #Conflicts:     310000 | #Constraints:      24844
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     311000 | #Constraints:      14854
3175.01/3185.60	c #Conflicts:     312000 | #Constraints:      15854
3175.01/3185.60	c #Conflicts:     313000 | #Constraints:      16854
3175.01/3185.60	c #Conflicts:     314000 | #Constraints:      17854
3175.01/3185.60	c #Conflicts:     315000 | #Constraints:      18854
3175.01/3185.60	c #Conflicts:     316000 | #Constraints:      19854
3175.01/3185.60	c #Conflicts:     317000 | #Constraints:      20854
3175.01/3185.60	c #Conflicts:     318000 | #Constraints:      21854
3175.01/3185.60	c #Conflicts:     319000 | #Constraints:      22854
3175.01/3185.60	c #Conflicts:     320000 | #Constraints:      23854
3175.01/3185.60	c #Conflicts:     321000 | #Constraints:      24854
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     322000 | #Constraints:      14662
3175.01/3185.60	c #Conflicts:     323000 | #Constraints:      15662
3175.01/3185.60	c #Conflicts:     324000 | #Constraints:      16662
3175.01/3185.60	c #Conflicts:     325000 | #Constraints:      17662
3175.01/3185.60	c #Conflicts:     326000 | #Constraints:      18662
3175.01/3185.60	c #Conflicts:     327000 | #Constraints:      19662
3175.01/3185.60	c #Conflicts:     328000 | #Constraints:      20662
3175.01/3185.60	c #Conflicts:     329000 | #Constraints:      21662
3175.01/3185.60	c #Conflicts:     330000 | #Constraints:      22662
3175.01/3185.60	c #Conflicts:     331000 | #Constraints:      23662
3175.01/3185.60	c #Conflicts:     332000 | #Constraints:      24662
3175.01/3185.60	c #Conflicts:     333000 | #Constraints:      25662
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     334000 | #Constraints:      15263
3175.01/3185.60	c #Conflicts:     335000 | #Constraints:      16263
3175.01/3185.60	c #Conflicts:     336000 | #Constraints:      17263
3175.01/3185.60	c #Conflicts:     337000 | #Constraints:      18263
3175.01/3185.60	c #Conflicts:     338000 | #Constraints:      19263
3175.01/3185.60	c #Conflicts:     339000 | #Constraints:      20263
3175.01/3185.60	c #Conflicts:     340000 | #Constraints:      21263
3175.01/3185.60	c #Conflicts:     341000 | #Constraints:      22263
3175.01/3185.60	c #Conflicts:     342000 | #Constraints:      23263
3175.01/3185.60	c #Conflicts:     343000 | #Constraints:      24263
3175.01/3185.60	c #Conflicts:     344000 | #Constraints:      25263
3175.01/3185.60	c #Conflicts:     345000 | #Constraints:      26263
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     346000 | #Constraints:      15648
3175.01/3185.60	c #Conflicts:     347000 | #Constraints:      16648
3175.01/3185.60	c #Conflicts:     348000 | #Constraints:      17648
3175.01/3185.60	c #Conflicts:     349000 | #Constraints:      18648
3175.01/3185.60	c #Conflicts:     350000 | #Constraints:      19648
3175.01/3185.60	c #Conflicts:     351000 | #Constraints:      20648
3175.01/3185.60	c #Conflicts:     352000 | #Constraints:      21648
3175.01/3185.60	c #Conflicts:     353000 | #Constraints:      22648
3175.01/3185.60	c #Conflicts:     354000 | #Constraints:      23648
3175.01/3185.60	c #Conflicts:     355000 | #Constraints:      24648
3175.01/3185.60	c #Conflicts:     356000 | #Constraints:      25648
3175.01/3185.60	c #Conflicts:     357000 | #Constraints:      26648
3175.01/3185.60	c INPROCESSING
3175.01/3185.60	c GARBAGE COLLECT
3175.01/3185.60	c #Conflicts:     358000 | #Constraints:      15842
3175.01/3185.60	c #Conflicts:     359000 | #Constraints:      16842
3175.01/3185.60	c #Conflicts:     360000 | #Constraints:      17842
3175.01/3185.60	c #Conflicts:     361000 | #Constraints:      18842
3600.08/3612.11	c #Conflicts:     362000 | #Constraints:      19842
3600.08/3612.11	c #Conflicts:     363000 | #Constraints:      20842
3600.08/3612.11	c #Conflicts:     364000 | #Constraints:      21842
3600.08/3612.11	c #Conflicts:     365000 | #Constraints:      22842
3600.08/3612.11	c #Conflicts:     366000 | #Constraints:      23842
3600.08/3612.11	c #Conflicts:     367000 | #Constraints:      24842
3600.08/3612.11	c #Conflicts:     368000 | #Constraints:      25842
3600.08/3612.11	c #Conflicts:     369000 | #Constraints:      26842
3600.08/3612.11	c INPROCESSING
3600.08/3612.11	c GARBAGE COLLECT
3600.08/3612.11	c #Conflicts:     370000 | #Constraints:      15850
3600.08/3612.11	c #Conflicts:     371000 | #Constraints:      16850
3600.08/3612.11	c #Conflicts:     372000 | #Constraints:      17850
3600.08/3612.11	c #Conflicts:     373000 | #Constraints:      18850
3600.08/3612.11	c #Conflicts:     374000 | #Constraints:      19850
3600.08/3612.11	c #Conflicts:     375000 | #Constraints:      20850
3600.08/3612.11	c #Conflicts:     376000 | #Constraints:      21850
3600.08/3612.11	c #Conflicts:     377000 | #Constraints:      22850
3600.08/3612.11	c #Conflicts:     378000 | #Constraints:      23850
3600.08/3612.11	c #Conflicts:     379000 | #Constraints:      24850
3600.08/3612.11	c #Conflicts:     380000 | #Constraints:      25850
3600.08/3612.11	c #Conflicts:     381000 | #Constraints:      26850
3600.08/3612.11	c INPROCESSING
3600.08/3612.11	c GARBAGE COLLECT
3600.08/3612.11	c #Conflicts:     382000 | #Constraints:      15650
3600.08/3612.11	c #Conflicts:     383000 | #Constraints:      16650
3600.08/3612.11	c #Conflicts:     384000 | #Constraints:      17650
3600.08/3612.11	c #Conflicts:     385000 | #Constraints:      18650
3600.08/3612.11	c #Conflicts:     386000 | #Constraints:      19650
3600.08/3612.11	c #Conflicts:     387000 | #Constraints:      20650
3600.08/3612.11	c #Conflicts:     388000 | #Constraints:      21650
3600.08/3612.11	c #Conflicts:     389000 | #Constraints:      22650
3600.08/3612.11	c #Conflicts:     390000 | #Constraints:      23650
3600.08/3612.11	c #Conflicts:     391000 | #Constraints:      24650
3600.08/3612.11	c #Conflicts:     392000 | #Constraints:      25650
3600.08/3612.11	c #Conflicts:     393000 | #Constraints:      26650
3600.08/3612.11	c #Conflicts:     394000 | #Constraints:      27650
3600.08/3612.11	c INPROCESSING
3600.08/3612.11	c GARBAGE COLLECT
3600.08/3612.11	c #Conflicts:     395000 | #Constraints:      16256
3600.08/3612.11	c #Conflicts:     396000 | #Constraints:      17256
3600.08/3612.11	c #Conflicts:     397000 | #Constraints:      18256
3600.08/3612.11	c #Conflicts:     398000 | #Constraints:      19256
3600.08/3612.11	c #Conflicts:     399000 | #Constraints:      20256
3600.08/3612.11	c #Conflicts:     400000 | #Constraints:      21256
3600.08/3612.11	c #Conflicts:     401000 | #Constraints:      22256
3600.08/3612.11	c #Conflicts:     402000 | #Constraints:      23256
3600.08/3612.11	c #Conflicts:     403000 | #Constraints:      24256
3600.08/3612.11	c #Conflicts:     404000 | #Constraints:      25256
3600.08/3612.11	c #Conflicts:     405000 | #Constraints:      26256
3600.08/3612.11	c #Conflicts:     406000 | #Constraints:      27256
3600.08/3612.11	c #Conflicts:     407000 | #Constraints:      28256
3600.08/3612.11	c INPROCESSING
3600.08/3612.11	c GARBAGE COLLECT
3600.08/3612.11	c #Conflicts:     408000 | #Constraints:      16653
3600.08/3612.11	c #Conflicts:     409000 | #Constraints:      17653
3600.08/3612.11	c #Conflicts:     410000 | #Constraints:      18653
3600.08/3612.11	c #Conflicts:     411000 | #Constraints:      19653
3600.08/3612.11	c #Conflicts:     412000 | #Constraints:      20653
3600.08/3612.11	c #Conflicts:     413000 | #Constraints:      21653
3600.08/3612.11	c #Conflicts:     414000 | #Constraints:      22653
3600.08/3612.11	c #Conflicts:     415000 | #Constraints:      23653
3600.08/3612.11	c #Conflicts:     416000 | #Constraints:      24653
3600.08/3612.11	c #Conflicts:     417000 | #Constraints:      25653
3600.08/3612.11	c Program interrupted by user.
3600.08/3612.11	c cpu time 3537.53 s
3600.08/3612.11	c deterministic time 482610443796 4.83e+11
3600.08/3612.11	c optimization time 92.7524 s
3600.08/3612.11	c total solve time 3141.84 s
3600.08/3612.11	c core-guided solve time 3141.84 s
3600.08/3612.11	c propagation time 2121.57 s
3600.08/3612.11	c conflict analysis time 794.703 s
3600.08/3612.11	c propagations 344989393
3600.08/3612.11	c resolve steps 2068036
3600.08/3612.11	c decisions 78110870
3600.08/3612.11	c conflicts 417638
3600.08/3612.11	c restarts 1019
3600.08/3612.11	c inprocessing phases 55
3600.08/3612.11	c input clauses 1369
3600.08/3612.11	c input cardinalities 1369
3600.08/3612.11	c input general constraints 258
3600.08/3612.11	c input average constraint length 232.62
3600.08/3612.11	c input average constraint degree 48970.04
3600.08/3612.11	c learned clauses 8757
3600.08/3612.11	c learned cardinalities 605
3600.08/3612.11	c learned general constraints 408275
3600.08/3612.11	c learned average constraint length 5635.90
3600.08/3612.11	c learned average constraint degree 36546180.09
3600.08/3612.11	c watched constraints 250121
3600.08/3612.11	c counting constraints 158412
3600.08/3612.11	c gcd simplifications 5409
3600.08/3612.11	c detected cardinalities 28
3600.08/3612.11	c weakened non-implied lits 296594880
3600.08/3612.11	c weakened non-implying lits 75357
3600.08/3612.11	c original variables 175232
3600.08/3612.11	c clausal propagations 1491468
3600.08/3612.11	c cardinality propagations 42406334
3600.08/3612.11	c watched propagations 26720781
3600.08/3612.11	c counting propagations 272273767
3600.08/3612.11	c watch lookups 11749292544
3600.08/3612.11	c watch backjump lookups 11605648280
3600.08/3612.11	c watch checks 371652459924
3600.08/3612.11	c propagation checks 80461996136
3600.08/3612.11	c constraint additions 6294586561
3600.08/3612.11	c trail pops 423360087
3600.08/3612.11	c formula constraints 2994
3600.08/3612.11	c learned constraints 417637
3600.08/3612.11	c bound constraints 1
3600.08/3612.11	c core-guided constraints 1
3600.08/3612.11	c encountered formula constraints 1480676
3600.08/3612.11	c encountered learned constraints 1004960
3600.08/3612.11	c encountered bound constraints 0
3600.08/3612.11	c encountered core-guided constraints 38
3600.08/3612.11	c LP total time 0 s
3600.08/3612.11	c LP solve time 0 s
3600.08/3612.11	c LP constraints added 0
3600.08/3612.11	c LP constraints removed 0
3600.08/3612.11	c LP pivots internal 0
3600.08/3612.11	c LP pivots root 0
3600.08/3612.11	c LP calls 0
3600.08/3612.11	c LP optimalities 0
3600.08/3612.11	c LP no pivot count 0
3600.08/3612.11	c LP infeasibilities 0
3600.08/3612.11	c LP valid Farkas constraints 0
3600.08/3612.11	c LP learned Farkas constraints 0
3600.08/3612.11	c LP basis resets 0
3600.08/3612.11	c LP cycling count 0
3600.08/3612.11	c LP singular count 0
3600.08/3612.11	c LP no primal count 0
3600.08/3612.11	c LP no farkas count 0
3600.08/3612.11	c LP other issue count 0
3600.08/3612.11	c LP Gomory cuts 0
3600.08/3612.11	c LP learned cuts 0
3600.08/3612.11	c LP deleted cuts 0
3600.08/3612.11	c LP encountered Gomory constraints 0
3600.08/3612.11	c LP encountered Farkas constraints 0
3600.08/3612.11	c LP encountered learned Farkas constraints 0
3600.08/3612.11	c CG auxiliary variables introduced 1
3600.08/3612.11	c CG solutions found 0
3600.08/3612.11	c CG cores constructed 1
3600.08/3612.11	c CG core cardinality constraints returned 1
3600.08/3612.11	c CG unit cores 0
3600.08/3612.11	c CG single cores 1
3600.08/3612.11	c CG blocks removed during cardinality reduction 0
3600.08/3612.11	c CG first core best 0
3600.08/3612.11	c CG decision core best 0
3600.08/3612.11	c CG core reduction tie 0
3600.08/3612.11	c CG core degree average 117.00
3600.08/3612.11	c CG core slack average 2.00
3600.08/3612.11	c CG exhausted 0
3600.08/3612.11	c CG exhaust time 0 s
3600.08/3612.11	c CG trimmed 0
3600.08/3612.11	c CG trim time 0.000278 s
3600.08/3612.11	c CG minimized 0
3600.08/3612.11	c CG minimize time 0 s
3600.08/3612.11	c CG am1 prop time 0.004878 s
3600.08/3612.11	c CG # am1s reformulated 1
3600.08/3612.11	c CG lower bound derived from am1s 8
3600.08/3612.11	c CG # clausal cores 0
3600.08/3612.11	c CG # cardinality cores 1
3600.08/3612.11	c CG # pb cores 0
3600.08/3612.11	c CG # pb reforms 0
3600.08/3612.11	c CG # cores discarded because of pb reform 0
3600.08/3612.11	d LOWERBOUND 125
3600.08/3612.11	d NCORES 1
3600.08/3612.11	d NPBCORES 0
3600.08/3612.11	d NPBREFORM 0
3600.08/3612.11	d NTRIMMED 0
3600.08/3612.11	d NEXHAUSTED 0
3600.08/3612.11	d NAM1S 1
3600.08/3612.11	d AM1LB 8
3600.08/3612.11	c [Papilo Statistics]
3600.08/3612.11	c prepro time 0.909773s
3600.08/3612.11	c # tsx applied 2603
3600.08/3612.11	c # tsx conflicts 0
3600.08/3612.11	c # bound changes 617
3600.08/3612.11	c # side changes 1369
3600.08/3612.11	c # coef changes 0
3600.08/3612.11	c # rounds 3
3600.08/3612.11	c # deted vars 617
3600.08/3612.11	c # deted constrs 1368
3600.08/3612.11	c # consecutive rounds of only bound changes 0
3600.17/3612.26	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455013-1721478924/watcher-4455013-1721478924 -o /tmp/evaluation-result-4455013-1721478924/solver-4455013-1721478924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052939 --watchdog 3760 mixed-bag HOME/instance-4455013-1721478924.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1057019, runsolver pid=1057016

[startup+0.100624 s]*
/proc/loadavg: 4.12 4.12 4.11 5/241 1057020
/proc/meminfo: memFree=127354752/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=110248 memory=43780 CPUtime=0.1 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 9084 0 0 0 8 2 0 0 20 0 1 0 200051951 112893952 10945 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 27562 10945 1640 3002 0 11850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110248 KiB
Current children cumulated memory: 43780 KiB

[startup+0.209267 s]*
/proc/loadavg: 4.12 4.12 4.11 5/241 1057020
/proc/meminfo: memFree=127352748/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=112296 memory=46160 CPUtime=0.21 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 9682 0 0 0 19 2 0 0 20 0 1 0 200051951 114991104 11540 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 28074 11540 1640 3002 0 12362 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112296 KiB
Current children cumulated memory: 46160 KiB

[startup+0.313218 s]*
/proc/loadavg: 4.12 4.12 4.11 5/241 1057020
/proc/meminfo: memFree=127348680/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=116392 memory=49748 CPUtime=0.31 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 10039 0 0 0 29 2 0 0 20 0 1 0 200051951 119185408 12437 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 29098 12437 1640 3002 0 13386 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116392 KiB
Current children cumulated memory: 49748 KiB

[startup+0.700326 s]
/proc/loadavg: 4.12 4.12 4.11 5/241 1057020
/proc/meminfo: memFree=127344556/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=124584 memory=57960 CPUtime=0.68 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 10573 0 0 0 65 3 0 0 20 0 1 0 200051951 127574016 14490 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 31146 14490 1640 3002 0 15434 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124584 KiB
Current children cumulated memory: 57960 KiB

[startup+1.50033 s]
/proc/loadavg: 4.11 4.12 4.11 5/241 1057020
/proc/meminfo: memFree=127290148/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=259408 memory=176332 CPUtime=1.48 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 18530 0 0 0 141 7 0 0 20 0 1 0 200051951 265633792 44083 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 64852 44083 1856 3002 0 48601 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 259408 KiB
Current children cumulated memory: 176332 KiB

[startup+3.11307 s]
/proc/loadavg: 4.11 4.12 4.11 5/241 1057022
/proc/meminfo: memFree=126723476/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=767820 memory=682292 CPUtime=3.08 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 127897 0 0 0 286 22 0 0 20 0 1 0 200051951 786247680 170573 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 191955 170573 3803 3002 0 175704 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 767820 KiB
Current children cumulated memory: 682292 KiB

[startup+6.3003 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 1057086
/proc/meminfo: memFree=126355524/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=1161576 memory=1040844 CPUtime=6.26 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 184985 0 0 0 592 34 0 0 20 0 1 0 200051951 1189453824 260211 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 290394 260211 3835 3002 0 274143 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1161576 KiB
Current children cumulated memory: 1040844 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 1057133
/proc/meminfo: memFree=125555492/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=1162600 memory=1041764 CPUtime=12.64 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 185261 0 0 0 1230 34 0 0 20 0 1 0 200051951 1190502400 260441 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 290650 260441 3835 3002 0 274399 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1162600 KiB
Current children cumulated memory: 1041764 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.10 5/243 1057136
/proc/meminfo: memFree=124808700/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=1162600 memory=1041868 CPUtime=25.4 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 185335 0 0 0 2505 35 0 0 20 0 1 0 200051951 1190502400 260467 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 290650 260467 3835 3002 0 274399 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1162600 KiB
Current children cumulated memory: 1041868 KiB

[startup+51.1128 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 1057139
/proc/meminfo: memFree=123329292/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=1851208 memory=1634372 CPUtime=50.94 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 307882 0 0 0 5041 53 0 0 20 0 1 0 200051951 1895636992 408593 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 462802 408593 4037 3002 0 446551 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1851208 KiB
Current children cumulated memory: 1634372 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 1057149
/proc/meminfo: memFree=122866696/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2048264 memory=1809792 CPUtime=101.96 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 344875 0 0 0 10137 59 0 0 20 0 1 0 200051951 2097422336 452448 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 512066 452448 4053 3002 0 495815 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2048264 KiB
Current children cumulated memory: 1809792 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/243 1057159
/proc/meminfo: memFree=122551056/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2230028 memory=1986808 CPUtime=161.76 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 385134 0 0 0 16111 65 0 0 20 0 1 0 200051951 2283548672 496702 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 557507 496702 4053 3002 0 541256 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2230028 KiB
Current children cumulated memory: 1986808 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 1057216
/proc/meminfo: memFree=123134944/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2315208 memory=2075972 CPUtime=221.58 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 401872 0 0 0 22090 68 0 0 20 0 1 0 200051951 2370772992 518993 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 578802 518993 4053 3002 0 562551 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2315208 KiB
Current children cumulated memory: 2075972 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/243 1057271
/proc/meminfo: memFree=122651044/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2708488 memory=2462348 CPUtime=281.38 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 512406 0 0 0 28054 84 0 0 20 0 1 0 200051951 2773491712 615587 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 677122 615587 4084 3002 0 660871 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 2708488 KiB
Current children cumulated memory: 2462348 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/243 1057285
/proc/meminfo: memFree=122641176/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2591932 memory=2444828 CPUtime=341.19 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 517724 0 0 0 33766 353 0 0 20 0 1 0 200051951 2654138368 611207 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 647983 611207 4212 3002 0 631732 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 2591932 KiB
Current children cumulated memory: 2444828 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/243 1057295
/proc/meminfo: memFree=122231548/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2724192 memory=2555624 CPUtime=400.99 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 524071 0 0 0 39460 639 0 0 20 0 1 0 200051951 2789572608 638906 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 681048 638906 4212 3002 0 664797 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 2724192 KiB
Current children cumulated memory: 2555624 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/244 1057308
/proc/meminfo: memFree=122107776/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=2724192 memory=2610172 CPUtime=460.79 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 526072 0 0 0 45210 869 0 0 20 0 1 0 200051951 2789572608 652543 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 681048 652543 4212 3002 0 664797 0

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

/proc/1057019/statm: 1457221 1291376 4212 3002 0 1440970 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 5828884 KiB
Current children cumulated memory: 5165504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.18 5/244 1058330
/proc/meminfo: memFree=111662728/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5881196 memory=5210692 CPUtime=2972.38 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 986044 0 0 0 292341 4897 0 0 20 0 1 0 200051951 6022344704 1302673 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1470299 1302673 4212 3002 0 1454048 0
Current children cumulated CPU time: 2972.38 s
Current children cumulated vsize: 5881196 KiB
Current children cumulated memory: 5210692 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/243 1058724
/proc/meminfo: memFree=111505456/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5882784 memory=5212180 CPUtime=3032.19 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 987310 0 0 0 298094 5125 0 0 20 0 1 0 200051951 6023970816 1303045 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1470696 1303045 4212 3002 0 1454445 0
Current children cumulated CPU time: 3032.19 s
Current children cumulated vsize: 5882784 KiB
Current children cumulated memory: 5212180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.18 5/243 1058734
/proc/meminfo: memFree=111369548/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5906368 memory=5234744 CPUtime=3091.98 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 993928 0 0 0 303954 5244 0 0 20 0 1 0 200051951 6048120832 1308686 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1476592 1308686 4212 3002 0 1460341 0
Current children cumulated CPU time: 3091.98 s
Current children cumulated vsize: 5906368 KiB
Current children cumulated memory: 5234744 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/243 1058744
/proc/meminfo: memFree=111334980/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5920160 memory=5247592 CPUtime=3151.79 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 997418 0 0 0 309807 5372 0 0 20 0 1 0 200051951 6062243840 1311898 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1480040 1311898 4212 3002 0 1463789 0
Current children cumulated CPU time: 3151.79 s
Current children cumulated vsize: 5920160 KiB
Current children cumulated memory: 5247592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/246 1058926
/proc/meminfo: memFree=111319316/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5923568 memory=5250804 CPUtime=3211.59 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 998844 0 0 0 315609 5550 0 0 20 0 1 0 200051951 6065733632 1312701 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1480892 1312701 4212 3002 0 1464641 0
Current children cumulated CPU time: 3211.59 s
Current children cumulated vsize: 5923568 KiB
Current children cumulated memory: 5250804 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/246 1058936
/proc/meminfo: memFree=111280464/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5946416 memory=5273032 CPUtime=3271.38 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1004795 0 0 0 321560 5578 0 0 20 0 1 0 200051951 6089129984 1318258 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1486604 1318258 4212 3002 0 1470353 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 5946416 KiB
Current children cumulated memory: 5273032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/246 1059003
/proc/meminfo: memFree=111167264/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5990204 memory=5311932 CPUtime=3331.17 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1014813 0 0 0 327455 5662 0 0 20 0 1 0 200051951 6133968896 1327983 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1497551 1327983 4212 3002 0 1481300 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 5990204 KiB
Current children cumulated memory: 5311932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/247 1059016
/proc/meminfo: memFree=111018600/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5990476 memory=5312376 CPUtime=3390.98 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1016201 0 0 0 333244 5854 0 0 20 0 1 0 200051951 6134247424 1328094 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1497619 1328094 4212 3002 0 1481368 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 5990476 KiB
Current children cumulated memory: 5312376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/247 1059027
/proc/meminfo: memFree=110641616/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=6029168 memory=5344092 CPUtime=3450.78 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1024568 0 0 0 339101 5977 0 0 20 0 1 0 200051951 6173868032 1336023 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1507292 1336023 4212 3002 0 1491041 0
Current children cumulated CPU time: 3450.78 s
Current children cumulated vsize: 6029168 KiB
Current children cumulated memory: 5344092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.17 4.17 5/245 1059038
/proc/meminfo: memFree=110434580/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=6039632 memory=5351684 CPUtime=3510.58 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1026759 0 0 0 344904 6154 0 0 20 0 1 0 200051951 6184583168 1337921 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1509908 1337921 4212 3002 0 1493657 0
Current children cumulated CPU time: 3510.58 s
Current children cumulated vsize: 6039632 KiB
Current children cumulated memory: 5351684 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/246 1059049
/proc/meminfo: memFree=110135472/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=6052496 memory=5363652 CPUtime=3570.37 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1030297 0 0 0 350794 6243 0 0 20 0 1 0 200051951 6197755904 1340913 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1513124 1340913 4212 3002 0 1496873 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 6052496 KiB
Current children cumulated memory: 5363652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.99 4.12 4.15 4/237 1059086
/proc/meminfo: memFree=117447448/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=6070628 memory=5380716 CPUtime=3600.08 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1034903 0 0 0 353753 6255 0 0 20 0 1 0 200051951 6216323072 1345179 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1517657 1345179 4212 3002 0 1501406 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6070628 KiB
Current children cumulated memory: 5380716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3537.6 s, system=62.7108 s

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

[startup+3612.2 s]
/proc/loadavg: 3.99 4.12 4.15 4/237 1059086
/proc/meminfo: memFree=117447448/131655788 swapFree=131071996/131071996
[pid=1057019] ppid=1057016 vsize=5437576 memory=4845792 CPUtime=3600.17 cores=0,2
/proc/1057019/stat : 1057019 (mixed-bag) R 1057016 1057019 1052929 0 -1 4194304 1034950 0 0 0 353759 6258 0 0 20 0 1 0 200051951 5568077824 1211448 134679101440 4194304 16488053 140723707861568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34574336 140723707868181 140723707868258 140723707868258 140723707875275 0
/proc/1057019/statm: 1359394 1211448 4328 3002 0 1343143 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 5437576 KiB
Current children cumulated memory: 4845792 KiB

[startup+3612.3 s]*
/proc/loadavg: 3.99 4.12 4.15 4/237 1059086
/proc/meminfo: memFree=121137008/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3612.33
CPU time (s): 3600.31
CPU user time (s): 3537.6
CPU system time (s): 62.7108
CPU usage (%): 99.6671
Max. virtual memory (cumulated for all children) (KiB): 6070628
Max. memory (cumulated for all children) (KiB): 5380716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.6
system time used= 62.7108
maximum resident set size= 5380716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1034964
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= 22
involuntary context switches= 24654


# summary of solver processes directly reported to runsolver:
#   pid: 1057019
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3537.6
#   total CPU system time (s): 62.7108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2482 second user time and 36.5288 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-20 14:35:35
IDJOB=4455013
IDBENCH=158606
IDSOLVER=3083
FILE ID=nodeC009/4455013-1721478924
RUNJOBID= nodeC009-1721471695-1052939
SLURM_JOB_ID= 7545739
Free space on /tmp= 723364 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455013-1721478924/watcher-4455013-1721478924 -o /tmp/evaluation-result-4455013-1721478924/solver-4455013-1721478924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052939 --watchdog 3760  mixed-bag HOME/instance-4455013-1721478924.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1925400595

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127392664 kB
MemAvailable:   128797376 kB
Buffers:          609992 kB
Cached:          1633608 kB
SwapCached:            0 kB
Active:          1539464 kB
Inactive:        2153552 kB
Active(anon):       1460 kB
Inactive(anon):  1493880 kB
Active(file):    1538004 kB
Inactive(file):   659672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             75708 kB
Writeback:           136 kB
AnonPages:       1449448 kB
Mapped:           118828 kB
Shmem:             45892 kB
KReclaimable:      94136 kB
Slab:             196840 kB
SReclaimable:      94136 kB
SUnreclaim:       102704 kB
KernelStack:        3872 kB
PageTables:        12208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1907872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62560 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC009 at 2024-07-20 15:35:48