Trace number 4529016

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-07-10? (TO) 3600.03 3611.12

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark24.4815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.09/0.16	c [STEP] preprocessing with Papilo
0.21/0.23	c [STEP] solving with SCIP
299.46/300.33	c [STEP] preprocessing done, loading into solver
299.46/300.37	c [STEP] solving
299.46/300.37	c #variables 6068 #constraints 21380
299.46/300.37	c SMALL=int, LARGE=long long
299.46/300.37	d SCIPUB 19
299.46/300.37	c bounds - >= 0 @ 299.308
299.46/300.37	c stratification level: 0
492.22/493.80	c bounds - >= 1 @ 299.352
492.22/493.80	c bounds - >= 2 @ 299.353
492.22/493.80	c bounds - >= 3 @ 299.354
492.22/493.80	c bounds - >= 4 @ 299.354
492.22/493.80	c bounds - >= 5 @ 299.355
492.22/493.80	c bounds - >= 6 @ 299.355
492.22/493.80	c #Conflicts:       1000 | #Constraints:      22391
492.22/493.80	c #Conflicts:       2000 | #Constraints:      23391
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:       3000 | #Constraints:      23390
492.22/493.80	c #Conflicts:       4000 | #Constraints:      24390
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:       5000 | #Constraints:      23799
492.22/493.80	c #Conflicts:       6000 | #Constraints:      24799
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:       7000 | #Constraints:      23804
492.22/493.80	c #Conflicts:       8000 | #Constraints:      24804
492.22/493.80	c #Conflicts:       9000 | #Constraints:      25804
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      10000 | #Constraints:      24521
492.22/493.80	c #Conflicts:      11000 | #Constraints:      25521
492.22/493.80	c #Conflicts:      12000 | #Constraints:      26521
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      13000 | #Constraints:      24990
492.22/493.80	c #Conflicts:      14000 | #Constraints:      25990
492.22/493.80	c #Conflicts:      15000 | #Constraints:      26990
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      16000 | #Constraints:      25220
492.22/493.80	c #Conflicts:      17000 | #Constraints:      26220
492.22/493.80	c #Conflicts:      18000 | #Constraints:      27220
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      19000 | #Constraints:      25239
492.22/493.80	c #Conflicts:      20000 | #Constraints:      26239
492.22/493.80	c #Conflicts:      21000 | #Constraints:      27239
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      22000 | #Constraints:      25036
492.22/493.80	c #Conflicts:      23000 | #Constraints:      26036
492.22/493.80	c #Conflicts:      24000 | #Constraints:      27036
492.22/493.80	c #Conflicts:      25000 | #Constraints:      28036
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      26000 | #Constraints:      25655
492.22/493.80	c #Conflicts:      27000 | #Constraints:      26655
492.22/493.80	c #Conflicts:      28000 | #Constraints:      27655
492.22/493.80	c #Conflicts:      29000 | #Constraints:      28655
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      30000 | #Constraints:      26064
492.22/493.80	c #Conflicts:      31000 | #Constraints:      27064
492.22/493.80	c #Conflicts:      32000 | #Constraints:      28064
492.22/493.80	c #Conflicts:      33000 | #Constraints:      29064
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      34000 | #Constraints:      26270
492.22/493.80	c #Conflicts:      35000 | #Constraints:      27270
492.22/493.80	c #Conflicts:      36000 | #Constraints:      28270
492.22/493.80	c #Conflicts:      37000 | #Constraints:      29270
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      38000 | #Constraints:      26284
492.22/493.80	c #Conflicts:      39000 | #Constraints:      27284
492.22/493.80	c #Conflicts:      40000 | #Constraints:      28284
492.22/493.80	c #Conflicts:      41000 | #Constraints:      29284
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      42000 | #Constraints:      26092
492.22/493.80	c #Conflicts:      43000 | #Constraints:      27092
492.22/493.80	c #Conflicts:      44000 | #Constraints:      28092
492.22/493.80	c #Conflicts:      45000 | #Constraints:      29092
492.22/493.80	c #Conflicts:      46000 | #Constraints:      30092
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      47000 | #Constraints:      26679
492.22/493.80	c #Conflicts:      48000 | #Constraints:      27679
492.22/493.80	c #Conflicts:      49000 | #Constraints:      28679
492.22/493.80	c #Conflicts:      50000 | #Constraints:      29679
492.22/493.80	c #Conflicts:      51000 | #Constraints:      30679
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      52000 | #Constraints:      27103
492.22/493.80	c #Conflicts:      53000 | #Constraints:      28103
492.22/493.80	c #Conflicts:      54000 | #Constraints:      29103
492.22/493.80	c #Conflicts:      55000 | #Constraints:      30103
492.22/493.80	c #Conflicts:      56000 | #Constraints:      31103
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      57000 | #Constraints:      27311
492.22/493.80	c #Conflicts:      58000 | #Constraints:      28311
492.22/493.80	c #Conflicts:      59000 | #Constraints:      29311
492.22/493.80	c #Conflicts:      60000 | #Constraints:      30311
492.22/493.80	c #Conflicts:      61000 | #Constraints:      31311
492.22/493.80	c INPROCESSING
492.22/493.80	c GARBAGE COLLECT
492.22/493.80	c #Conflicts:      62000 | #Constraints:      27305
492.22/493.80	c #Conflicts:      63000 | #Constraints:      28305
492.22/493.80	c #Conflicts:      64000 | #Constraints:      29305
492.22/493.80	c #Conflicts:      65000 | #Constraints:      30305
952.73/955.74	c #Conflicts:      66000 | #Constraints:      31305
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:      67000 | #Constraints:      27065
952.73/955.74	c #Conflicts:      68000 | #Constraints:      28065
952.73/955.74	c #Conflicts:      69000 | #Constraints:      29065
952.73/955.74	c #Conflicts:      70000 | #Constraints:      30065
952.73/955.74	c #Conflicts:      71000 | #Constraints:      31065
952.73/955.74	c #Conflicts:      72000 | #Constraints:      32065
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:      73000 | #Constraints:      27676
952.73/955.74	c #Conflicts:      74000 | #Constraints:      28676
952.73/955.74	c #Conflicts:      75000 | #Constraints:      29676
952.73/955.74	c #Conflicts:      76000 | #Constraints:      30676
952.73/955.74	c #Conflicts:      77000 | #Constraints:      31676
952.73/955.74	c #Conflicts:      78000 | #Constraints:      32676
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:      79000 | #Constraints:      28068
952.73/955.74	c #Conflicts:      80000 | #Constraints:      29068
952.73/955.74	c #Conflicts:      81000 | #Constraints:      30068
952.73/955.74	c #Conflicts:      82000 | #Constraints:      31068
952.73/955.74	c #Conflicts:      83000 | #Constraints:      32068
952.73/955.74	c #Conflicts:      84000 | #Constraints:      33068
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:      85000 | #Constraints:      28335
952.73/955.74	c #Conflicts:      86000 | #Constraints:      29335
952.73/955.74	c #Conflicts:      87000 | #Constraints:      30335
952.73/955.74	c #Conflicts:      88000 | #Constraints:      31335
952.73/955.74	c #Conflicts:      89000 | #Constraints:      32335
952.73/955.74	c #Conflicts:      90000 | #Constraints:      33335
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:      91000 | #Constraints:      28414
952.73/955.74	c #Conflicts:      92000 | #Constraints:      29414
952.73/955.74	c #Conflicts:      93000 | #Constraints:      30414
952.73/955.74	c #Conflicts:      94000 | #Constraints:      31414
952.73/955.74	c #Conflicts:      95000 | #Constraints:      32414
952.73/955.74	c #Conflicts:      96000 | #Constraints:      33414
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:      97000 | #Constraints:      28296
952.73/955.74	c #Conflicts:      98000 | #Constraints:      29296
952.73/955.74	c #Conflicts:      99000 | #Constraints:      30296
952.73/955.74	c #Conflicts:     100000 | #Constraints:      31296
952.73/955.74	c #Conflicts:     101000 | #Constraints:      32296
952.73/955.74	c #Conflicts:     102000 | #Constraints:      33296
952.73/955.74	c #Conflicts:     103000 | #Constraints:      34296
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:     104000 | #Constraints:      28949
952.73/955.74	c #Conflicts:     105000 | #Constraints:      29949
952.73/955.74	c #Conflicts:     106000 | #Constraints:      30949
952.73/955.74	c #Conflicts:     107000 | #Constraints:      31949
952.73/955.74	c #Conflicts:     108000 | #Constraints:      32949
952.73/955.74	c #Conflicts:     109000 | #Constraints:      33949
952.73/955.74	c #Conflicts:     110000 | #Constraints:      34949
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:     111000 | #Constraints:      29211
952.73/955.74	c #Conflicts:     112000 | #Constraints:      30211
952.73/955.74	c #Conflicts:     113000 | #Constraints:      31211
952.73/955.74	c #Conflicts:     114000 | #Constraints:      32211
952.73/955.74	c #Conflicts:     115000 | #Constraints:      33211
952.73/955.74	c #Conflicts:     116000 | #Constraints:      34211
952.73/955.74	c #Conflicts:     117000 | #Constraints:      35211
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:     118000 | #Constraints:      29526
952.73/955.74	c #Conflicts:     119000 | #Constraints:      30526
952.73/955.74	c #Conflicts:     120000 | #Constraints:      31526
952.73/955.74	c #Conflicts:     121000 | #Constraints:      32526
952.73/955.74	c #Conflicts:     122000 | #Constraints:      33526
952.73/955.74	c #Conflicts:     123000 | #Constraints:      34526
952.73/955.74	c #Conflicts:     124000 | #Constraints:      35526
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:     125000 | #Constraints:      29513
952.73/955.74	c #Conflicts:     126000 | #Constraints:      30513
952.73/955.74	c #Conflicts:     127000 | #Constraints:      31513
952.73/955.74	c #Conflicts:     128000 | #Constraints:      32513
952.73/955.74	c #Conflicts:     129000 | #Constraints:      33513
952.73/955.74	c #Conflicts:     130000 | #Constraints:      34513
952.73/955.74	c #Conflicts:     131000 | #Constraints:      35513
952.73/955.74	c INPROCESSING
952.73/955.74	c GARBAGE COLLECT
952.73/955.74	c #Conflicts:     132000 | #Constraints:      29399
952.73/955.74	c #Conflicts:     133000 | #Constraints:      30399
952.73/955.74	c #Conflicts:     134000 | #Constraints:      31399
952.73/955.74	c #Conflicts:     135000 | #Constraints:      32399
952.73/955.74	c #Conflicts:     136000 | #Constraints:      33399
952.73/955.74	c #Conflicts:     137000 | #Constraints:      34399
1555.24/1560.27	c #Conflicts:     138000 | #Constraints:      35399
1555.24/1560.27	c #Conflicts:     139000 | #Constraints:      36399
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     140000 | #Constraints:      30065
1555.24/1560.27	c #Conflicts:     141000 | #Constraints:      31065
1555.24/1560.27	c #Conflicts:     142000 | #Constraints:      32065
1555.24/1560.27	c #Conflicts:     143000 | #Constraints:      33065
1555.24/1560.27	c #Conflicts:     144000 | #Constraints:      34065
1555.24/1560.27	c #Conflicts:     145000 | #Constraints:      35065
1555.24/1560.27	c #Conflicts:     146000 | #Constraints:      36065
1555.24/1560.27	c #Conflicts:     147000 | #Constraints:      37065
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     148000 | #Constraints:      30332
1555.24/1560.27	c #Conflicts:     149000 | #Constraints:      31332
1555.24/1560.27	c #Conflicts:     150000 | #Constraints:      32332
1555.24/1560.27	c #Conflicts:     151000 | #Constraints:      33332
1555.24/1560.27	c #Conflicts:     152000 | #Constraints:      34332
1555.24/1560.27	c #Conflicts:     153000 | #Constraints:      35332
1555.24/1560.27	c #Conflicts:     154000 | #Constraints:      36332
1555.24/1560.27	c #Conflicts:     155000 | #Constraints:      37332
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     156000 | #Constraints:      30492
1555.24/1560.27	c #Conflicts:     157000 | #Constraints:      31492
1555.24/1560.27	c #Conflicts:     158000 | #Constraints:      32492
1555.24/1560.27	c #Conflicts:     159000 | #Constraints:      33492
1555.24/1560.27	c #Conflicts:     160000 | #Constraints:      34492
1555.24/1560.27	c #Conflicts:     161000 | #Constraints:      35492
1555.24/1560.27	c #Conflicts:     162000 | #Constraints:      36492
1555.24/1560.27	c #Conflicts:     163000 | #Constraints:      37492
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     164000 | #Constraints:      30578
1555.24/1560.27	c #Conflicts:     165000 | #Constraints:      31578
1555.24/1560.27	c #Conflicts:     166000 | #Constraints:      32578
1555.24/1560.27	c #Conflicts:     167000 | #Constraints:      33578
1555.24/1560.27	c #Conflicts:     168000 | #Constraints:      34578
1555.24/1560.27	c #Conflicts:     169000 | #Constraints:      35578
1555.24/1560.27	c #Conflicts:     170000 | #Constraints:      36578
1555.24/1560.27	c #Conflicts:     171000 | #Constraints:      37578
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     172000 | #Constraints:      30213
1555.24/1560.27	c #Conflicts:     173000 | #Constraints:      31213
1555.24/1560.27	c #Conflicts:     174000 | #Constraints:      32213
1555.24/1560.27	c #Conflicts:     175000 | #Constraints:      33213
1555.24/1560.27	c #Conflicts:     176000 | #Constraints:      34213
1555.24/1560.27	c #Conflicts:     177000 | #Constraints:      35213
1555.24/1560.27	c #Conflicts:     178000 | #Constraints:      36213
1555.24/1560.27	c #Conflicts:     179000 | #Constraints:      37213
1555.24/1560.27	c #Conflicts:     180000 | #Constraints:      38213
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     181000 | #Constraints:      30993
1555.24/1560.27	c #Conflicts:     182000 | #Constraints:      31993
1555.24/1560.27	c #Conflicts:     183000 | #Constraints:      32993
1555.24/1560.27	c #Conflicts:     184000 | #Constraints:      33993
1555.24/1560.27	c #Conflicts:     185000 | #Constraints:      34993
1555.24/1560.27	c #Conflicts:     186000 | #Constraints:      35993
1555.24/1560.27	c #Conflicts:     187000 | #Constraints:      36993
1555.24/1560.27	c #Conflicts:     188000 | #Constraints:      37993
1555.24/1560.27	c #Conflicts:     189000 | #Constraints:      38993
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     190000 | #Constraints:      31356
1555.24/1560.27	c #Conflicts:     191000 | #Constraints:      32356
1555.24/1560.27	c #Conflicts:     192000 | #Constraints:      33356
1555.24/1560.27	c #Conflicts:     193000 | #Constraints:      34356
1555.24/1560.27	c #Conflicts:     194000 | #Constraints:      35356
1555.24/1560.27	c #Conflicts:     195000 | #Constraints:      36356
1555.24/1560.27	c #Conflicts:     196000 | #Constraints:      37356
1555.24/1560.27	c #Conflicts:     197000 | #Constraints:      38356
1555.24/1560.27	c #Conflicts:     198000 | #Constraints:      39356
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     199000 | #Constraints:      31692
1555.24/1560.27	c #Conflicts:     200000 | #Constraints:      32692
1555.24/1560.27	c #Conflicts:     201000 | #Constraints:      33692
1555.24/1560.27	c #Conflicts:     202000 | #Constraints:      34692
1555.24/1560.27	c #Conflicts:     203000 | #Constraints:      35692
1555.24/1560.27	c #Conflicts:     204000 | #Constraints:      36692
1555.24/1560.27	c #Conflicts:     205000 | #Constraints:      37692
1555.24/1560.27	c #Conflicts:     206000 | #Constraints:      38692
1555.24/1560.27	c #Conflicts:     207000 | #Constraints:      39692
1555.24/1560.27	c INPROCESSING
1555.24/1560.27	c GARBAGE COLLECT
1555.24/1560.27	c #Conflicts:     208000 | #Constraints:      31479
1555.24/1560.27	c #Conflicts:     209000 | #Constraints:      32479
1555.24/1560.27	c #Conflicts:     210000 | #Constraints:      33479
2191.11/2198.00	c #Conflicts:     211000 | #Constraints:      34479
2191.11/2198.00	c #Conflicts:     212000 | #Constraints:      35479
2191.11/2198.00	c #Conflicts:     213000 | #Constraints:      36479
2191.11/2198.00	c #Conflicts:     214000 | #Constraints:      37479
2191.11/2198.00	c #Conflicts:     215000 | #Constraints:      38479
2191.11/2198.00	c #Conflicts:     216000 | #Constraints:      39479
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     217000 | #Constraints:      31188
2191.11/2198.00	c #Conflicts:     218000 | #Constraints:      32188
2191.11/2198.00	c #Conflicts:     219000 | #Constraints:      33188
2191.11/2198.00	c #Conflicts:     220000 | #Constraints:      34188
2191.11/2198.00	c #Conflicts:     221000 | #Constraints:      35188
2191.11/2198.00	c #Conflicts:     222000 | #Constraints:      36188
2191.11/2198.00	c #Conflicts:     223000 | #Constraints:      37188
2191.11/2198.00	c #Conflicts:     224000 | #Constraints:      38188
2191.11/2198.00	c #Conflicts:     225000 | #Constraints:      39188
2191.11/2198.00	c #Conflicts:     226000 | #Constraints:      40188
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     227000 | #Constraints:      31738
2191.11/2198.00	c #Conflicts:     228000 | #Constraints:      32738
2191.11/2198.00	c #Conflicts:     229000 | #Constraints:      33738
2191.11/2198.00	c #Conflicts:     230000 | #Constraints:      34738
2191.11/2198.00	c #Conflicts:     231000 | #Constraints:      35738
2191.11/2198.00	c #Conflicts:     232000 | #Constraints:      36738
2191.11/2198.00	c #Conflicts:     233000 | #Constraints:      37738
2191.11/2198.00	c #Conflicts:     234000 | #Constraints:      38738
2191.11/2198.00	c #Conflicts:     235000 | #Constraints:      39738
2191.11/2198.00	c #Conflicts:     236000 | #Constraints:      40738
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     237000 | #Constraints:      32243
2191.11/2198.00	c #Conflicts:     238000 | #Constraints:      33243
2191.11/2198.00	c #Conflicts:     239000 | #Constraints:      34243
2191.11/2198.00	c #Conflicts:     240000 | #Constraints:      35243
2191.11/2198.00	c #Conflicts:     241000 | #Constraints:      36243
2191.11/2198.00	c #Conflicts:     242000 | #Constraints:      37243
2191.11/2198.00	c #Conflicts:     243000 | #Constraints:      38243
2191.11/2198.00	c #Conflicts:     244000 | #Constraints:      39243
2191.11/2198.00	c #Conflicts:     245000 | #Constraints:      40243
2191.11/2198.00	c #Conflicts:     246000 | #Constraints:      41243
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     247000 | #Constraints:      32605
2191.11/2198.00	c #Conflicts:     248000 | #Constraints:      33605
2191.11/2198.00	c #Conflicts:     249000 | #Constraints:      34605
2191.11/2198.00	c #Conflicts:     250000 | #Constraints:      35605
2191.11/2198.00	c #Conflicts:     251000 | #Constraints:      36605
2191.11/2198.00	c #Conflicts:     252000 | #Constraints:      37605
2191.11/2198.00	c #Conflicts:     253000 | #Constraints:      38605
2191.11/2198.00	c #Conflicts:     254000 | #Constraints:      39605
2191.11/2198.00	c #Conflicts:     255000 | #Constraints:      40605
2191.11/2198.00	c #Conflicts:     256000 | #Constraints:      41605
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     257000 | #Constraints:      32463
2191.11/2198.00	c #Conflicts:     258000 | #Constraints:      33463
2191.11/2198.00	c #Conflicts:     259000 | #Constraints:      34463
2191.11/2198.00	c #Conflicts:     260000 | #Constraints:      35463
2191.11/2198.00	c #Conflicts:     261000 | #Constraints:      36463
2191.11/2198.00	c #Conflicts:     262000 | #Constraints:      37463
2191.11/2198.00	c #Conflicts:     263000 | #Constraints:      38463
2191.11/2198.00	c #Conflicts:     264000 | #Constraints:      39463
2191.11/2198.00	c #Conflicts:     265000 | #Constraints:      40463
2191.11/2198.00	c #Conflicts:     266000 | #Constraints:      41463
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     267000 | #Constraints:      32319
2191.11/2198.00	c #Conflicts:     268000 | #Constraints:      33319
2191.11/2198.00	c #Conflicts:     269000 | #Constraints:      34319
2191.11/2198.00	c #Conflicts:     270000 | #Constraints:      35319
2191.11/2198.00	c #Conflicts:     271000 | #Constraints:      36319
2191.11/2198.00	c #Conflicts:     272000 | #Constraints:      37319
2191.11/2198.00	c #Conflicts:     273000 | #Constraints:      38319
2191.11/2198.00	c #Conflicts:     274000 | #Constraints:      39319
2191.11/2198.00	c #Conflicts:     275000 | #Constraints:      40319
2191.11/2198.00	c #Conflicts:     276000 | #Constraints:      41319
2191.11/2198.00	c #Conflicts:     277000 | #Constraints:      42319
2191.11/2198.00	c INPROCESSING
2191.11/2198.00	c GARBAGE COLLECT
2191.11/2198.00	c #Conflicts:     278000 | #Constraints:      32899
2191.11/2198.00	c #Conflicts:     279000 | #Constraints:      33899
2191.11/2198.00	c #Conflicts:     280000 | #Constraints:      34899
2191.11/2198.00	c #Conflicts:     281000 | #Constraints:      35899
2191.11/2198.00	c #Conflicts:     282000 | #Constraints:      36899
2191.11/2198.00	c #Conflicts:     283000 | #Constraints:      37899
2191.11/2198.00	c #Conflicts:     284000 | #Constraints:      38899
2191.11/2198.00	c #Conflicts:     285000 | #Constraints:      39899
2869.31/2878.21	c #Conflicts:     286000 | #Constraints:      40899
2869.31/2878.21	c #Conflicts:     287000 | #Constraints:      41899
2869.31/2878.21	c #Conflicts:     288000 | #Constraints:      42899
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     289000 | #Constraints:      33475
2869.31/2878.21	c #Conflicts:     290000 | #Constraints:      34475
2869.31/2878.21	c #Conflicts:     291000 | #Constraints:      35475
2869.31/2878.21	c #Conflicts:     292000 | #Constraints:      36475
2869.31/2878.21	c #Conflicts:     293000 | #Constraints:      37475
2869.31/2878.21	c #Conflicts:     294000 | #Constraints:      38475
2869.31/2878.21	c #Conflicts:     295000 | #Constraints:      39475
2869.31/2878.21	c #Conflicts:     296000 | #Constraints:      40475
2869.31/2878.21	c #Conflicts:     297000 | #Constraints:      41475
2869.31/2878.21	c #Conflicts:     298000 | #Constraints:      42475
2869.31/2878.21	c #Conflicts:     299000 | #Constraints:      43475
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     300000 | #Constraints:      33578
2869.31/2878.21	c #Conflicts:     301000 | #Constraints:      34578
2869.31/2878.21	c #Conflicts:     302000 | #Constraints:      35578
2869.31/2878.21	c #Conflicts:     303000 | #Constraints:      36578
2869.31/2878.21	c #Conflicts:     304000 | #Constraints:      37578
2869.31/2878.21	c #Conflicts:     305000 | #Constraints:      38578
2869.31/2878.21	c #Conflicts:     306000 | #Constraints:      39578
2869.31/2878.21	c #Conflicts:     307000 | #Constraints:      40578
2869.31/2878.21	c #Conflicts:     308000 | #Constraints:      41578
2869.31/2878.21	c #Conflicts:     309000 | #Constraints:      42578
2869.31/2878.21	c #Conflicts:     310000 | #Constraints:      43578
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     311000 | #Constraints:      33624
2869.31/2878.21	c #Conflicts:     312000 | #Constraints:      34624
2869.31/2878.21	c #Conflicts:     313000 | #Constraints:      35624
2869.31/2878.21	c #Conflicts:     314000 | #Constraints:      36624
2869.31/2878.21	c #Conflicts:     315000 | #Constraints:      37624
2869.31/2878.21	c #Conflicts:     316000 | #Constraints:      38624
2869.31/2878.21	c #Conflicts:     317000 | #Constraints:      39624
2869.31/2878.21	c #Conflicts:     318000 | #Constraints:      40624
2869.31/2878.21	c #Conflicts:     319000 | #Constraints:      41624
2869.31/2878.21	c #Conflicts:     320000 | #Constraints:      42624
2869.31/2878.21	c #Conflicts:     321000 | #Constraints:      43624
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     322000 | #Constraints:      33335
2869.31/2878.21	c #Conflicts:     323000 | #Constraints:      34335
2869.31/2878.21	c #Conflicts:     324000 | #Constraints:      35335
2869.31/2878.21	c #Conflicts:     325000 | #Constraints:      36335
2869.31/2878.21	c #Conflicts:     326000 | #Constraints:      37335
2869.31/2878.21	c #Conflicts:     327000 | #Constraints:      38335
2869.31/2878.21	c #Conflicts:     328000 | #Constraints:      39335
2869.31/2878.21	c #Conflicts:     329000 | #Constraints:      40335
2869.31/2878.21	c #Conflicts:     330000 | #Constraints:      41335
2869.31/2878.21	c #Conflicts:     331000 | #Constraints:      42335
2869.31/2878.21	c #Conflicts:     332000 | #Constraints:      43335
2869.31/2878.21	c #Conflicts:     333000 | #Constraints:      44335
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     334000 | #Constraints:      33853
2869.31/2878.21	c #Conflicts:     335000 | #Constraints:      34853
2869.31/2878.21	c #Conflicts:     336000 | #Constraints:      35853
2869.31/2878.21	c #Conflicts:     337000 | #Constraints:      36853
2869.31/2878.21	c #Conflicts:     338000 | #Constraints:      37853
2869.31/2878.21	c #Conflicts:     339000 | #Constraints:      38853
2869.31/2878.21	c #Conflicts:     340000 | #Constraints:      39853
2869.31/2878.21	c #Conflicts:     341000 | #Constraints:      40853
2869.31/2878.21	c #Conflicts:     342000 | #Constraints:      41853
2869.31/2878.21	c #Conflicts:     343000 | #Constraints:      42853
2869.31/2878.21	c #Conflicts:     344000 | #Constraints:      43853
2869.31/2878.21	c #Conflicts:     345000 | #Constraints:      44853
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     346000 | #Constraints:      34171
2869.31/2878.21	c #Conflicts:     347000 | #Constraints:      35171
2869.31/2878.21	c #Conflicts:     348000 | #Constraints:      36171
2869.31/2878.21	c #Conflicts:     349000 | #Constraints:      37171
2869.31/2878.21	c #Conflicts:     350000 | #Constraints:      38171
2869.31/2878.21	c #Conflicts:     351000 | #Constraints:      39171
2869.31/2878.21	c #Conflicts:     352000 | #Constraints:      40171
2869.31/2878.21	c #Conflicts:     353000 | #Constraints:      41171
2869.31/2878.21	c #Conflicts:     354000 | #Constraints:      42171
2869.31/2878.21	c #Conflicts:     355000 | #Constraints:      43171
2869.31/2878.21	c #Conflicts:     356000 | #Constraints:      44171
2869.31/2878.21	c #Conflicts:     357000 | #Constraints:      45171
2869.31/2878.21	c INPROCESSING
2869.31/2878.21	c GARBAGE COLLECT
2869.31/2878.21	c #Conflicts:     358000 | #Constraints:      34605
2869.31/2878.21	c #Conflicts:     359000 | #Constraints:      35605
3581.75/3592.87	c #Conflicts:     360000 | #Constraints:      36605
3581.75/3592.87	c #Conflicts:     361000 | #Constraints:      37605
3581.75/3592.87	c #Conflicts:     362000 | #Constraints:      38605
3581.75/3592.87	c #Conflicts:     363000 | #Constraints:      39605
3581.75/3592.87	c #Conflicts:     364000 | #Constraints:      40605
3581.75/3592.87	c #Conflicts:     365000 | #Constraints:      41605
3581.75/3592.87	c #Conflicts:     366000 | #Constraints:      42605
3581.75/3592.87	c #Conflicts:     367000 | #Constraints:      43605
3581.75/3592.87	c #Conflicts:     368000 | #Constraints:      44605
3581.75/3592.87	c #Conflicts:     369000 | #Constraints:      45605
3581.75/3592.87	c INPROCESSING
3581.75/3592.87	c GARBAGE COLLECT
3581.75/3592.87	c #Conflicts:     370000 | #Constraints:      34661
3581.75/3592.87	c #Conflicts:     371000 | #Constraints:      35661
3581.75/3592.87	c #Conflicts:     372000 | #Constraints:      36661
3581.75/3592.87	c #Conflicts:     373000 | #Constraints:      37661
3581.75/3592.87	c #Conflicts:     374000 | #Constraints:      38661
3581.75/3592.87	c #Conflicts:     375000 | #Constraints:      39661
3581.75/3592.87	c #Conflicts:     376000 | #Constraints:      40661
3581.75/3592.87	c #Conflicts:     377000 | #Constraints:      41661
3581.75/3592.87	c #Conflicts:     378000 | #Constraints:      42661
3581.75/3592.87	c #Conflicts:     379000 | #Constraints:      43661
3581.75/3592.87	c #Conflicts:     380000 | #Constraints:      44661
3581.75/3592.87	c #Conflicts:     381000 | #Constraints:      45661
3581.75/3592.87	c INPROCESSING
3581.75/3592.87	c GARBAGE COLLECT
3581.75/3592.87	c #Conflicts:     382000 | #Constraints:      34503
3581.75/3592.87	c #Conflicts:     383000 | #Constraints:      35503
3581.75/3592.87	c #Conflicts:     384000 | #Constraints:      36503
3581.75/3592.87	c #Conflicts:     385000 | #Constraints:      37503
3581.75/3592.87	c #Conflicts:     386000 | #Constraints:      38503
3581.75/3592.87	c #Conflicts:     387000 | #Constraints:      39503
3581.75/3592.87	c #Conflicts:     388000 | #Constraints:      40503
3581.75/3592.87	c #Conflicts:     389000 | #Constraints:      41503
3581.75/3592.87	c #Conflicts:     390000 | #Constraints:      42503
3581.75/3592.87	c #Conflicts:     391000 | #Constraints:      43503
3581.75/3592.87	c #Conflicts:     392000 | #Constraints:      44503
3581.75/3592.87	c #Conflicts:     393000 | #Constraints:      45503
3581.75/3592.87	c #Conflicts:     394000 | #Constraints:      46503
3581.75/3592.87	c INPROCESSING
3581.75/3592.87	c GARBAGE COLLECT
3581.75/3592.87	c #Conflicts:     395000 | #Constraints:      35114
3581.75/3592.87	c #Conflicts:     396000 | #Constraints:      36114
3581.75/3592.87	c #Conflicts:     397000 | #Constraints:      37114
3581.75/3592.87	c #Conflicts:     398000 | #Constraints:      38114
3581.75/3592.87	c #Conflicts:     399000 | #Constraints:      39114
3581.75/3592.87	c #Conflicts:     400000 | #Constraints:      40114
3581.75/3592.87	c #Conflicts:     401000 | #Constraints:      41114
3581.75/3592.87	c #Conflicts:     402000 | #Constraints:      42114
3581.75/3592.87	c #Conflicts:     403000 | #Constraints:      43114
3581.75/3592.87	c #Conflicts:     404000 | #Constraints:      44114
3581.75/3592.87	c #Conflicts:     405000 | #Constraints:      45114
3581.75/3592.87	c #Conflicts:     406000 | #Constraints:      46114
3581.75/3592.87	c #Conflicts:     407000 | #Constraints:      47114
3581.75/3592.87	c INPROCESSING
3581.75/3592.87	c GARBAGE COLLECT
3581.75/3592.87	c #Conflicts:     408000 | #Constraints:      35592
3581.75/3592.87	c #Conflicts:     409000 | #Constraints:      36592
3581.75/3592.87	c #Conflicts:     410000 | #Constraints:      37592
3581.75/3592.87	c #Conflicts:     411000 | #Constraints:      38592
3581.75/3592.87	c #Conflicts:     412000 | #Constraints:      39592
3581.75/3592.87	c #Conflicts:     413000 | #Constraints:      40592
3581.75/3592.87	c #Conflicts:     414000 | #Constraints:      41592
3581.75/3592.87	c #Conflicts:     415000 | #Constraints:      42592
3581.75/3592.87	c #Conflicts:     416000 | #Constraints:      43592
3581.75/3592.87	c #Conflicts:     417000 | #Constraints:      44592
3581.75/3592.87	c #Conflicts:     418000 | #Constraints:      45592
3581.75/3592.87	c #Conflicts:     419000 | #Constraints:      46592
3581.75/3592.87	c #Conflicts:     420000 | #Constraints:      47592
3581.75/3592.87	c INPROCESSING
3581.75/3592.87	c GARBAGE COLLECT
3581.75/3592.87	c #Conflicts:     421000 | #Constraints:      35664
3581.75/3592.87	c #Conflicts:     422000 | #Constraints:      36664
3581.75/3592.87	c #Conflicts:     423000 | #Constraints:      37664
3581.75/3592.87	c #Conflicts:     424000 | #Constraints:      38664
3581.75/3592.87	c #Conflicts:     425000 | #Constraints:      39664
3581.75/3592.87	c #Conflicts:     426000 | #Constraints:      40664
3581.75/3592.87	c #Conflicts:     427000 | #Constraints:      41664
3581.75/3592.87	c #Conflicts:     428000 | #Constraints:      42664
3581.75/3592.87	c #Conflicts:     429000 | #Constraints:      43664
3581.75/3592.87	c #Conflicts:     430000 | #Constraints:      44664
3581.75/3592.87	c #Conflicts:     431000 | #Constraints:      45664
3581.75/3592.87	c #Conflicts:     432000 | #Constraints:      46664
3581.75/3592.87	c #Conflicts:     433000 | #Constraints:      47664
3581.75/3592.87	c INPROCESSING
3581.75/3592.87	c GARBAGE COLLECT
3581.75/3592.87	c #Conflicts:     434000 | #Constraints:      35488
3600.01/3611.12	c #Conflicts:     435000 | #Constraints:      36488
3600.01/3611.12	c #Conflicts:     436000 | #Constraints:      37488
3600.01/3611.12	c Program interrupted by user.
3600.01/3611.12	c cpu time 3593.65 s
3600.01/3611.12	c deterministic time 1161381339377 1.16e+12
3600.01/3611.12	c optimization time 24.5945 s
3600.01/3611.12	c total solve time 3269.75 s
3600.01/3611.12	c core-guided solve time 3269.75 s
3600.01/3611.12	c propagation time 2735.65 s
3600.01/3611.12	c conflict analysis time 527.506 s
3600.01/3611.12	c propagations 360275843
3600.01/3611.12	c resolve steps 12709867
3600.01/3611.12	c decisions 5352923
3600.01/3611.12	c conflicts 436150
3600.01/3611.12	c restarts 1021
3600.01/3611.12	c inprocessing phases 57
3600.01/3611.12	c input clauses 21380
3600.01/3611.12	c input cardinalities 7
3600.01/3611.12	c input general constraints 0
3600.01/3611.12	c input average constraint length 2.76
3600.01/3611.12	c input average constraint degree 1.06
3600.01/3611.12	c learned clauses 184720
3600.01/3611.12	c learned cardinalities 379
3600.01/3611.12	c learned general constraints 251055
3600.01/3611.12	c learned average constraint length 1593.84
3600.01/3611.12	c learned average constraint degree 2358216.03
3600.01/3611.12	c watched constraints 248685
3600.01/3611.12	c counting constraints 2370
3600.01/3611.12	c gcd simplifications 1825
3600.01/3611.12	c detected cardinalities 0
3600.01/3611.12	c weakened non-implied lits 64368659
3600.01/3611.12	c weakened non-implying lits 7983
3600.01/3611.12	c original variables 6076
3600.01/3611.12	c clausal propagations 291357470
3600.01/3611.12	c cardinality propagations 196384
3600.01/3611.12	c watched propagations 62128285
3600.01/3611.12	c counting propagations 6160317
3600.01/3611.12	c watch lookups 5588591717
3600.01/3611.12	c watch backjump lookups 3760132027
3600.01/3611.12	c watch checks 788749820581
3600.01/3611.12	c propagation checks 357170552342
3600.01/3611.12	c constraint additions 5380553597
3600.01/3611.12	c trail pops 366060346
3600.01/3611.12	c formula constraints 21380
3600.01/3611.12	c learned constraints 436154
3600.01/3611.12	c bound constraints 7
3600.01/3611.12	c core-guided constraints 0
3600.01/3611.12	c encountered formula constraints 7456314
3600.01/3611.12	c encountered learned constraints 5689702
3600.01/3611.12	c encountered bound constraints 1
3600.01/3611.12	c encountered core-guided constraints 0
3600.01/3611.12	c LP total time 0 s
3600.01/3611.12	c LP solve time 0 s
3600.01/3611.12	c LP constraints added 0
3600.01/3611.12	c LP constraints removed 0
3600.01/3611.12	c LP pivots internal 0
3600.01/3611.12	c LP pivots root 0
3600.01/3611.12	c LP calls 0
3600.01/3611.12	c LP optimalities 0
3600.01/3611.12	c LP no pivot count 0
3600.01/3611.12	c LP infeasibilities 0
3600.01/3611.12	c LP valid Farkas constraints 0
3600.01/3611.12	c LP learned Farkas constraints 0
3600.01/3611.12	c LP basis resets 0
3600.01/3611.12	c LP cycling count 0
3600.01/3611.12	c LP singular count 0
3600.01/3611.12	c LP no primal count 0
3600.01/3611.12	c LP no farkas count 0
3600.01/3611.12	c LP other issue count 0
3600.01/3611.12	c LP Gomory cuts 0
3600.01/3611.12	c LP learned cuts 0
3600.01/3611.12	c LP deleted cuts 0
3600.01/3611.12	c LP encountered Gomory constraints 0
3600.01/3611.12	c LP encountered Farkas constraints 0
3600.01/3611.12	c LP encountered learned Farkas constraints 0
3600.01/3611.12	c CG auxiliary variables introduced 0
3600.01/3611.12	c CG solutions found 0
3600.01/3611.12	c CG cores constructed 6
3600.01/3611.12	c CG core cardinality constraints returned 0
3600.01/3611.12	c CG unit cores 0
3600.01/3611.12	c CG single cores 6
3600.01/3611.12	c CG blocks removed during cardinality reduction 0
3600.01/3611.12	c CG first core best 0
3600.01/3611.12	c CG decision core best 0
3600.01/3611.12	c CG core reduction tie 0
3600.01/3611.12	c CG core degree average 1.00
3600.01/3611.12	c CG core slack average 57.50
3600.01/3611.12	c CG exhausted 0
3600.01/3611.12	c CG exhaust time 0 s
3600.01/3611.12	c CG trimmed 1
3600.01/3611.12	c CG trim time 0.000836 s
3600.01/3611.12	c CG minimized 0
3600.01/3611.12	c CG minimize time 0 s
3600.01/3611.12	c CG am1 prop time 0.000771 s
3600.01/3611.12	c CG # am1s reformulated 0
3600.01/3611.12	c CG lower bound derived from am1s 0
3600.01/3611.12	c CG # clausal cores 6
3600.01/3611.12	c CG # cardinality cores 0
3600.01/3611.12	c CG # pb cores 0
3600.01/3611.12	c CG # pb reforms 0
3600.01/3611.12	c CG # cores discarded because of pb reform 0
3600.01/3611.12	d LOWERBOUND 6
3600.01/3611.12	d NCORES 6
3600.01/3611.12	d NPBCORES 0
3600.01/3611.12	d NPBREFORM 0
3600.01/3611.12	d NTRIMMED 1
3600.01/3611.12	d NEXHAUSTED 0
3600.01/3611.12	d NAM1S 0
3600.01/3611.12	d AM1LB 0
3600.01/3611.12	c [Papilo Statistics]
3600.01/3611.12	c prepro time 0.0636841s
3600.01/3611.12	c # tsx applied 20
3600.01/3611.12	c # tsx conflicts 0
3600.01/3611.12	c # bound changes 5
3600.01/3611.12	c # side changes 8
3600.01/3611.12	c # coef changes 32
3600.01/3611.12	c # rounds 2
3600.01/3611.12	c # deted vars 9
3600.01/3611.12	c # deted constrs 21
3600.01/3611.12	c # consecutive rounds of only bound changes 0
3600.01/3611.12	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: 63837 MiB (62899 MiB free)
  memory of node 1: 64465 MiB (63552 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529016-1752258848/watcher-4529016-1752258848 -o /tmp/evaluation-result-4529016-1752258848/solver-4529016-1752258848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113061 --watchdog 3760 mixed-bag HOME/instance-4529016-1752258848.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=113104, runsolver pid=113100

[startup+0.100071 s]*
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129472804/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=83656 memory=12748 CPUtime=0.09 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 1773 0 1 0 8 1 0 0 20 0 1 0 141563979 85663744 3187 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 20914 3187 2176 2834 0 3666 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83656 KiB
Current children cumulated memory: 12748 KiB

[startup+0.213972 s]*
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129460328/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=102972 memory=24984 CPUtime=0.21 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 5401 0 3 0 18 3 0 0 20 0 1 0 141563979 105443328 6246 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 25743 6246 2336 2834 0 7948 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102972 KiB
Current children cumulated memory: 24984 KiB

[startup+0.313869 s]*
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129383656/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=134740 memory=63156 CPUtime=0.3 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 14055 0 3 0 24 6 0 0 20 0 1 0 141563979 137973760 15789 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 33685 15789 3968 2834 0 15890 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134740 KiB
Current children cumulated memory: 63156 KiB

[startup+0.70036 s]
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129265416/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=156064 memory=83248 CPUtime=0.67 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 21387 0 3 0 58 9 0 0 20 0 1 0 141563979 159809536 20812 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 39016 20812 4064 2834 0 21221 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 156064 KiB
Current children cumulated memory: 83248 KiB

[startup+1.50034 s]
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129078912/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=204308 memory=122544 CPUtime=1.47 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 31091 0 3 0 135 12 0 0 20 0 1 0 141563979 209211392 30636 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 51077 30636 4256 2834 0 33282 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 204308 KiB
Current children cumulated memory: 122544 KiB

[startup+3.11305 s]
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=128523656/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=261840 memory=180016 CPUtime=3.07 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 45480 0 3 0 292 15 0 0 20 0 1 0 141563979 268124160 45004 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 65460 45004 4288 2834 0 47665 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 261840 KiB
Current children cumulated memory: 180016 KiB

[startup+6.30032 s]
/proc/loadavg: 1.13 1.12 1.58 5/252 113120
/proc/meminfo: memFree=127047080/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=300396 memory=210096 CPUtime=6.25 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 52993 0 3 0 609 16 0 0 20 0 1 0 141563979 307605504 52524 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 75099 52524 4288 2834 0 57304 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 300396 KiB
Current children cumulated memory: 210096 KiB

[startup+12.7003 s]
/proc/loadavg: 1.36 1.17 1.59 5/249 113155
/proc/meminfo: memFree=128356480/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=311700 memory=213552 CPUtime=12.64 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 53883 0 3 0 1247 17 0 0 20 0 1 0 141563979 319180800 53388 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 77925 53388 4288 2834 0 60130 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 311700 KiB
Current children cumulated memory: 213552 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 1.31 1.63 5/252 113166
/proc/meminfo: memFree=125620404/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=366108 memory=267952 CPUtime=25.4 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 67484 0 3 0 2522 18 0 0 20 0 1 0 141563979 374894592 66988 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 91527 66988 4288 2834 0 73732 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 366108 KiB
Current children cumulated memory: 267952 KiB

[startup+51.1127 s]
/proc/loadavg: 2.71 1.54 1.70 5/251 113166
/proc/meminfo: memFree=117358204/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=366108 memory=268080 CPUtime=50.94 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 67511 0 3 0 5076 18 0 0 20 0 1 0 141563979 374894592 67020 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 91527 67020 4288 2834 0 73732 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 366108 KiB
Current children cumulated memory: 268080 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.95 1.83 5/252 113236
/proc/meminfo: memFree=128066124/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=366108 memory=268336 CPUtime=102 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 67589 0 3 0 10181 19 0 0 20 0 1 0 141563979 374894592 67084 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 91527 67084 4288 2834 0 73732 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 366108 KiB
Current children cumulated memory: 268336 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.36 1.98 5/254 113453
/proc/meminfo: memFree=120847916/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=366108 memory=271280 CPUtime=161.83 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 67629 0 3 0 16164 19 0 0 20 0 1 0 141563979 374894592 67820 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 91527 67820 4288 2834 0 73732 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 366108 KiB
Current children cumulated memory: 271280 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.68 2.12 5/254 113455
/proc/meminfo: memFree=116473104/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=368868 memory=279984 CPUtime=221.67 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 67735 0 3 0 22148 19 0 0 20 0 1 0 141563979 377720832 69996 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 92217 69996 4288 2834 0 74422 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 368868 KiB
Current children cumulated memory: 279984 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.93 2.24 5/256 113512
/proc/meminfo: memFree=119609276/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=403500 memory=323632 CPUtime=281.5 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 73907 0 3 0 28130 20 0 0 20 0 1 0 141563979 413184000 80908 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 100875 80908 4288 2834 0 83080 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 403500 KiB
Current children cumulated memory: 323632 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.36 5/254 113611
/proc/meminfo: memFree=127647764/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=437200 memory=376536 CPUtime=341.32 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 76124 0 3 0 34088 44 0 0 20 0 1 0 141563979 447692800 94134 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 109300 94134 4480 2834 0 91505 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 437200 KiB
Current children cumulated memory: 376536 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.34 2.48 5/253 113613
/proc/meminfo: memFree=127892176/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=468020 memory=388824 CPUtime=401.12 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 76641 0 3 0 40048 64 0 0 20 0 1 0 141563979 479252480 97206 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 117005 97206 4480 2834 0 99210 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 468020 KiB
Current children cumulated memory: 388824 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.47 2.58 5/253 113615
/proc/meminfo: memFree=127798216/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=468020 memory=399064 CPUtime=460.92 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 76705 0 3 0 46009 83 0 0 20 0 1 0 141563979 479252480 99766 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 117005 99766 4480 2834 0 99210 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 502892 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.11 4.02 5/249 113737
/proc/meminfo: memFree=127117440/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=502892 CPUtime=2913.28 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78325 0 3 0 290794 534 0 0 20 0 1 0 141563979 613883904 125723 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 125723 4480 2834 0 132079 0
Current children cumulated CPU time: 2913.28 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 502892 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/250 113740
/proc/meminfo: memFree=127103904/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=511100 CPUtime=2973.1 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78333 0 3 0 296764 546 0 0 20 0 1 0 141563979 613883904 127775 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 127775 4480 2834 0 132079 0
Current children cumulated CPU time: 2973.1 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 511100 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.01 5/251 113743
/proc/meminfo: memFree=127075468/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=511100 CPUtime=3032.92 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78333 0 3 0 302738 554 0 0 20 0 1 0 141563979 613883904 127775 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 127775 4480 2834 0 132079 0
Current children cumulated CPU time: 3032.92 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 511100 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/251 113747
/proc/meminfo: memFree=127075640/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=511100 CPUtime=3092.74 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78333 0 3 0 308710 564 0 0 20 0 1 0 141563979 613883904 127775 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 127775 4480 2834 0 132079 0
Current children cumulated CPU time: 3092.74 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 511100 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/251 113749
/proc/meminfo: memFree=127075688/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=511100 CPUtime=3152.56 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78333 0 3 0 314682 574 0 0 20 0 1 0 141563979 613883904 127775 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 127775 4480 2834 0 132079 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 511100 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/251 113755
/proc/meminfo: memFree=127071532/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3212.38 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78335 0 3 0 320654 584 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.15 4.04 5/251 113757
/proc/meminfo: memFree=127062968/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3272.2 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78335 0 3 0 326626 594 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.63 4.29 4.10 5/249 113758
/proc/meminfo: memFree=127014440/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3332.02 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78335 0 3 0 332600 602 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.55 4.31 4.11 5/249 113760
/proc/meminfo: memFree=126994012/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3391.83 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78335 0 3 0 338569 614 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.66 4.41 4.16 5/249 113762
/proc/meminfo: memFree=126994092/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3451.65 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78335 0 3 0 344544 621 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

[startup+3522.3 s]
/proc/loadavg: 5.56 4.70 4.28 5/249 113764
/proc/meminfo: memFree=126993816/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3511.46 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78399 0 3 0 350518 628 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.73 4.63 4.28 5/249 113766
/proc/meminfo: memFree=126993964/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3571.29 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78484 0 3 0 356496 633 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3571.29 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.44 4.57 4.27 5/249 113768
/proc/meminfo: memFree=126994160/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3600.01 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78486 0 3 0 359365 636 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.66 s, system=6.36672 s

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

[startup+3611.11 s]
/proc/loadavg: 4.44 4.57 4.27 5/249 113768
/proc/meminfo: memFree=126994160/131382120 swapFree=33010160/33010684
[pid=113104] ppid=113100 vsize=599496 memory=515196 CPUtime=3600.01 cores=4,6
/proc/113104/stat : 113104 (mixed-bag) R 113100 113104 113047 0 -1 4194304 78486 0 3 0 359365 636 0 0 20 0 1 0 141563979 613883904 128799 18446744073709551615 4235264 15840557 140727497732592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48226304 140727497738650 140727497738727 140727497738727 140727497744331 0
/proc/113104/statm: 149874 128799 4480 2834 0 132079 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 599496 KiB
Current children cumulated memory: 515196 KiB

Child status: 0

Real time (s): 3611.12
CPU time (s): 3600.03
CPU user time (s): 3593.66
CPU system time (s): 6.36672
CPU usage (%): 99.6928
Max. virtual memory (cumulated for all children) (KiB): 599496
Max. memory (cumulated for all children) (KiB): 515196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.66
system time used= 6.36672
maximum resident set size= 516092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78515
page faults= 3
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179
involuntary context switches= 1274


# summary of solver processes directly reported to runsolver:
#   pid: 113104
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3593.66
#   total CPU system time (s): 6.36672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3972 second user time and 34.3909 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-11 20:34:09
IDJOB=4529016
IDBENCH=148194
IDSOLVER=3386
FILE ID=nodeC008/4529016-1752258848
RUNJOBID= nodeC008-1752258848-113061
SLURM_JOB_ID= 9682616
Free space on /tmp= 432812 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529016-1752258848/watcher-4529016-1752258848 -o /tmp/evaluation-result-4529016-1752258848/solver-4529016-1752258848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113061 --watchdog 3760  mixed-bag HOME/instance-4529016-1752258848.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1090145543

nodeC008 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	: 0xb00001f
cpu MHz		: 1197.215
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 pti 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	: 6983.72
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		: 1197.656
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 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.389
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 pti 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	: 6983.72
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.212
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 pti 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	: 6983.72
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		: 1197.207
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 pti 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	: 6983.72
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		: 1197.213
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 pti 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	: 6983.72
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		: 3700.000
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 pti 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	: 6983.72
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		: 3700.000
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 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129486544 kB
MemAvailable:   129885192 kB
Buffers:            2128 kB
Cached:          1190328 kB
SwapCached:           16 kB
Active:           656340 kB
Inactive:         607460 kB
Active(anon):      55516 kB
Inactive(anon):    33748 kB
Active(file):     600824 kB
Inactive(file):   573712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             65784 kB
Writeback:             8 kB
AnonPages:         74396 kB
Mapped:           105196 kB
Shmem:             17920 kB
KReclaimable:     127480 kB
Slab:             215208 kB
SReclaimable:     127480 kB
SUnreclaim:        87728 kB
KernelStack:        3872 kB
PageTables:         2740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432568 MiB
End job on nodeC008 at 2025-07-11 21:34:20