Trace number 4509277

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 2025-05-06? (TO) 3600.36 3612.38

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509277-1751517510/watcher-4509277-1751517510 -o /tmp/evaluation-result-4509277-1751517510/solver-4509277-1751517510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71169 --watchdog 3760 mixed-bag HOME/instance-4509277-1751517510.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100065 s]*
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=111217056/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=120564 memory=48216 CPUtime=0.09 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 9686 0 0 0 7 2 0 0 20 0 1 0 67429664 123457536 12054 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 30141 12054 2176 2842 0 12374 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 120564 KiB
Current children cumulated memory: 48216 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=111204776/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=132852 memory=55420 CPUtime=0.19 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 10473 0 0 0 17 2 0 0 20 0 1 0 67429664 136040448 13855 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 33213 13855 2176 2842 0 15446 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132852 KiB
Current children cumulated memory: 55420 KiB

[startup+0.305651 s]*
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=111204776/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=132852 memory=59544 CPUtime=0.29 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 10486 0 0 0 27 2 0 0 20 0 1 0 67429664 136040448 14886 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 33213 14886 2176 2842 0 15446 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132852 KiB
Current children cumulated memory: 59544 KiB

[startup+0.700182 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=111156004/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=267676 memory=177560 CPUtime=0.68 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 19460 0 0 0 62 6 0 0 20 0 1 0 67429664 274100224 44390 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 66919 44390 2304 2842 0 48613 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 267676 KiB
Current children cumulated memory: 177560 KiB

[startup+1.50017 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=111087008/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=283844 memory=199068 CPUtime=1.48 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 27599 0 0 0 140 8 0 0 20 0 1 0 67429664 290656256 49735 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 70961 49735 3712 2842 0 52655 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 283844 KiB
Current children cumulated memory: 199068 KiB

[startup+3.10557 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=110590652/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=776088 memory=682536 CPUtime=3.07 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 128768 0 0 0 283 24 0 0 20 0 1 0 67429664 794714112 170634 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 194022 170634 4064 2842 0 175716 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 776088 KiB
Current children cumulated memory: 682536 KiB

[startup+6.30016 s]
/proc/loadavg: 4.02 4.07 4.08 5/262 72560
/proc/meminfo: memFree=110688948/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=1169844 memory=1039228 CPUtime=6.26 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 186445 0 0 0 589 37 0 0 20 0 1 0 67429664 1197920256 259807 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 292461 259807 4096 2842 0 274155 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1169844 KiB
Current children cumulated memory: 1039228 KiB

[startup+12.7002 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110028696/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=1170868 memory=1040252 CPUtime=12.64 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 186757 0 0 0 1227 37 0 0 20 0 1 0 67429664 1198968832 260063 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 292717 260063 4096 2842 0 274411 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1170868 KiB
Current children cumulated memory: 1040252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.01 4.06 4.08 5/266 72597
/proc/meminfo: memFree=108391276/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=1170868 memory=1040252 CPUtime=25.4 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 186779 0 0 0 2502 38 0 0 20 0 1 0 67429664 1198968832 260063 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 292717 260063 4096 2842 0 274411 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1170868 KiB
Current children cumulated memory: 1040252 KiB

[startup+51.1053 s]
/proc/loadavg: 4.07 4.07 4.09 5/265 72598
/proc/meminfo: memFree=107187728/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=1859464 memory=1630960 CPUtime=50.91 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 312225 0 0 0 5034 57 0 0 20 0 1 0 67429664 1904091136 407740 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 464866 407740 4288 2842 0 446560 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1859464 KiB
Current children cumulated memory: 1630960 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 72602
/proc/meminfo: memFree=106513776/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2101408 memory=1854696 CPUtime=101.93 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 360756 0 0 0 10127 66 0 0 20 0 1 0 67429664 2151841792 463674 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 525352 463674 4288 2842 0 507046 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2101408 KiB
Current children cumulated memory: 1854696 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 72605
/proc/meminfo: memFree=106112056/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2237808 memory=1984636 CPUtime=161.7 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 390700 0 0 0 16098 72 0 0 20 0 1 0 67429664 2291515392 496159 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 559452 496159 4288 2842 0 541146 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 2237808 KiB
Current children cumulated memory: 1984636 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 72611
/proc/meminfo: memFree=105635648/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2323756 memory=2072800 CPUtime=221.49 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 406692 0 0 0 22074 75 0 0 20 0 1 0 67429664 2379526144 518200 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 580939 518200 4288 2842 0 562633 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 2323756 KiB
Current children cumulated memory: 2072800 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 72613
/proc/meminfo: memFree=105239380/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2716756 memory=2457940 CPUtime=281.28 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 568339 0 0 0 28029 99 0 0 20 0 1 0 67429664 2781958144 614485 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 679189 614485 4288 2842 0 660883 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 2716756 KiB
Current children cumulated memory: 2457940 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/267 72615
/proc/meminfo: memFree=105141100/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2600200 memory=2444300 CPUtime=341.09 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 573686 0 0 0 33758 351 0 0 20 0 1 0 67429664 2662604800 611075 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 650050 611075 4448 2842 0 631744 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 2600200 KiB
Current children cumulated memory: 2444300 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 72617
/proc/meminfo: memFree=104919596/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2732460 memory=2540116 CPUtime=400.89 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 576724 0 0 0 39462 627 0 0 20 0 1 0 67429664 2798039040 635029 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 683115 635029 4448 2842 0 664809 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 2732460 KiB
Current children cumulated memory: 2540116 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 72619
/proc/meminfo: memFree=104527624/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=2732460 memory=2606684 CPUtime=460.7 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 580613 0 0 0 45231 839 0 0 20 0 1 0 67429664 2798039040 651671 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 683115 651671 4448 2842 0 664809 0
Current children cumulated CPU time: 460.7 s

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

/proc/72551/statm: 1451310 1284068 4448 2842 0 1433004 0
Current children cumulated CPU time: 2912.54 s
Current children cumulated vsize: 5805240 KiB
Current children cumulated memory: 5136272 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/264 72754
/proc/meminfo: memFree=95823152/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5843968 memory=5174416 CPUtime=2972.34 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1020481 0 0 0 292687 4547 0 0 20 0 1 0 67429664 5984223232 1293604 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1460992 1293604 4448 2842 0 1442686 0
Current children cumulated CPU time: 2972.34 s
Current children cumulated vsize: 5843968 KiB
Current children cumulated memory: 5174416 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/267 72764
/proc/meminfo: memFree=95628692/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5890584 memory=5214608 CPUtime=3032.15 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1030570 0 0 0 298597 4618 0 0 20 0 1 0 67429664 6031958016 1303652 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1472646 1303652 4448 2842 0 1454340 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 5890584 KiB
Current children cumulated memory: 5214608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.14 4.12 5/266 72766
/proc/meminfo: memFree=95370976/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5892648 memory=5216400 CPUtime=3091.95 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1031221 0 0 0 304411 4784 0 0 20 0 1 0 67429664 6034071552 1304100 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1473162 1304100 4448 2842 0 1454856 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 5892648 KiB
Current children cumulated memory: 5216400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/266 72768
/proc/meminfo: memFree=94829344/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5915168 memory=5238416 CPUtime=3151.75 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1036853 0 0 0 310270 4905 0 0 20 0 1 0 67429664 6057132032 1309604 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1478792 1309604 4448 2842 0 1460486 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 5915168 KiB
Current children cumulated memory: 5238416 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/267 72773
/proc/meminfo: memFree=94136200/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5930464 memory=5252752 CPUtime=3211.56 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1040437 0 0 0 316137 5019 0 0 20 0 1 0 67429664 6072795136 1313188 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1482616 1313188 4448 2842 0 1464310 0
Current children cumulated CPU time: 3211.56 s
Current children cumulated vsize: 5930464 KiB
Current children cumulated memory: 5252752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/267 72775
/proc/meminfo: memFree=93769828/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5946764 memory=5268624 CPUtime=3271.36 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1044673 0 0 0 321982 5154 0 0 20 0 1 0 67429664 6089486336 1317156 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1486691 1317156 4448 2842 0 1468385 0
Current children cumulated CPU time: 3271.36 s
Current children cumulated vsize: 5946764 KiB
Current children cumulated memory: 5268624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/265 72777
/proc/meminfo: memFree=93260508/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5956920 memory=5278992 CPUtime=3331.16 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1047267 0 0 0 327943 5173 0 0 20 0 1 0 67429664 6099886080 1319748 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1489230 1319748 4448 2842 0 1470924 0
Current children cumulated CPU time: 3331.16 s
Current children cumulated vsize: 5956920 KiB
Current children cumulated memory: 5278992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 72780
/proc/meminfo: memFree=92902816/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5999600 memory=5316624 CPUtime=3390.97 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1056837 0 0 0 333815 5282 0 0 20 0 1 0 67429664 6143590400 1329156 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1499900 1329156 4448 2842 0 1481594 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 5999600 KiB
Current children cumulated memory: 5316624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 72782
/proc/meminfo: memFree=92541808/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5999600 memory=5316624 CPUtime=3450.76 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1056842 0 0 0 339620 5456 0 0 20 0 1 0 67429664 6143590400 1329156 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1499900 1329156 4448 2842 0 1481594 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 5999600 KiB
Current children cumulated memory: 5316624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 72784
/proc/meminfo: memFree=92038396/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=6038840 memory=5349136 CPUtime=3510.57 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1065135 0 0 0 345485 5572 0 0 20 0 1 0 67429664 6183772160 1337284 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1509710 1337284 4448 2842 0 1491404 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 6038840 KiB
Current children cumulated memory: 5349136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 72786
/proc/meminfo: memFree=91722624/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=6048276 memory=5356048 CPUtime=3570.36 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1066975 0 0 0 351274 5762 0 0 20 0 1 0 67429664 6193434624 1339012 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1512069 1339012 4448 2842 0 1493763 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 6048276 KiB
Current children cumulated memory: 5356048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.86 4.05 4.07 3/252 72849
/proc/meminfo: memFree=104211408/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=6051132 memory=5358736 CPUtime=3600.08 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1067650 0 0 0 354228 5780 0 0 20 0 1 0 67429664 6196359168 1339684 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1512783 1339684 4448 2842 0 1494477 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6051132 KiB
Current children cumulated memory: 5358736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3542.35 s, system=58.0059 s

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

[startup+3612.2 s]
/proc/loadavg: 3.86 4.05 4.07 3/252 72849
/proc/meminfo: memFree=104211408/131249996 swapFree=33010160/33010684
[pid=72551] ppid=72548 vsize=5446748 memory=4772640 CPUtime=3600.17 cores=5,7
/proc/72551/stat : 72551 (mixed-bag) R 72548 72551 71151 0 -1 4194304 1067667 0 0 0 354235 5782 0 0 20 0 1 0 67429664 5577469952 1193160 18446744073709551615 4235264 15874749 140724015210016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54439936 140724015212956 140724015213033 140724015213033 140724015218635 0
/proc/72551/statm: 1361687 1193160 4576 2842 0 1343381 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 5446748 KiB
Current children cumulated memory: 4772640 KiB

[startup+3612.3 s]*
/proc/loadavg: 3.86 4.05 4.07 3/252 72849
/proc/meminfo: memFree=107114132/131249996 swapFree=33010160/33010684
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.38
CPU time (s): 3600.36
CPU user time (s): 3542.35
CPU system time (s): 58.0059
CPU usage (%): 99.6672
Max. virtual memory (cumulated for all children) (KiB): 6051132
Max. memory (cumulated for all children) (KiB): 5358736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.35
system time used= 58.0059
maximum resident set size= 5359248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067684
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= 125
involuntary context switches= 20784


# summary of solver processes directly reported to runsolver:
#   pid: 72551
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3542.35
#   total CPU system time (s): 58.0059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51813 second user time and 15.9142 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 06:38:30
IDJOB=4509277
IDBENCH=158606
IDSOLVER=3340
FILE ID=nodeC032/4509277-1751517510
RUNJOBID= nodeC032-1751510282-71169
SLURM_JOB_ID= 9598610
Free space on /tmp= 430504 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4509277-1751517510/watcher-4509277-1751517510 -o /tmp/evaluation-result-4509277-1751517510/solver-4509277-1751517510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71169 --watchdog 3760  mixed-bag HOME/instance-4509277-1751517510.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=570018263

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111249976 kB
MemAvailable:   127662968 kB
Buffers:            2728 kB
Cached:         17092344 kB
SwapCached:           20 kB
Active:          2403248 kB
Inactive:       16722856 kB
Active(anon):    2045964 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 16719732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             57684 kB
Writeback:             0 kB
AnonPages:       2030888 kB
Mapped:           136768 kB
Shmem:             18048 kB
KReclaimable:     350428 kB
Slab:             443632 kB
SReclaimable:     350428 kB
SUnreclaim:        93204 kB
KernelStack:        4288 kB
PageTables:         7284 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2524440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    798720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430532 MiB
End job on nodeC032 at 2025-07-03 07:38:43