Trace number 4502499

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.11 3609.82

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
MD5SUM72ec871846abb3454e8801b7da208130
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 benchmark-23764
Best CPU time to get the best result obtained on this benchmark1549.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4356
Total number of constraints100680
Number of constraints which are clauses100672
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint4355
Number of terms in the objective function 4313
Biggest coefficient in the objective function 428
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 469022
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1562976
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 10650988
Number of bits of the biggest sum of numbers24
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.56/0.66	c [STEP] preprocessing with Papilo
0.84/0.97	c [STEP] solving with SCIP
300.24/301.23	c [STEP] preprocessing done, loading into solver
300.33/301.39	c [STEP] solving
300.33/301.39	c #variables 4149 #constraints 90488
300.33/301.39	c SMALL=int, LARGE=long long
300.33/301.39	d SCIPUB -19678
300.33/301.39	c bounds - >= -300660 @ 300.021
300.33/301.39	c stratification level: 427
647.91/649.81	c bounds - >= -300233 @ 300.025
647.91/649.81	c #Conflicts:       1000 | #Constraints:      91489
647.91/649.81	c #Conflicts:       2000 | #Constraints:      92489
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:       3000 | #Constraints:      92501
647.91/649.81	c #Conflicts:       4000 | #Constraints:      93501
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:       5000 | #Constraints:      92910
647.91/649.81	c #Conflicts:       6000 | #Constraints:      93910
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:       7000 | #Constraints:      92909
647.91/649.81	c #Conflicts:       8000 | #Constraints:      93909
647.91/649.81	c #Conflicts:       9000 | #Constraints:      94909
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      10000 | #Constraints:      93603
647.91/649.81	c #Conflicts:      11000 | #Constraints:      94603
647.91/649.81	c #Conflicts:      12000 | #Constraints:      95603
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      13000 | #Constraints:      94065
647.91/649.81	c #Conflicts:      14000 | #Constraints:      95065
647.91/649.81	c #Conflicts:      15000 | #Constraints:      96065
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      16000 | #Constraints:      94285
647.91/649.81	c #Conflicts:      17000 | #Constraints:      95285
647.91/649.81	c #Conflicts:      18000 | #Constraints:      96285
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      19000 | #Constraints:      94298
647.91/649.81	c #Conflicts:      20000 | #Constraints:      95298
647.91/649.81	c #Conflicts:      21000 | #Constraints:      96298
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      22000 | #Constraints:      94107
647.91/649.81	c #Conflicts:      23000 | #Constraints:      95107
647.91/649.81	c #Conflicts:      24000 | #Constraints:      96107
647.91/649.81	c #Conflicts:      25000 | #Constraints:      97107
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      26000 | #Constraints:      94721
647.91/649.81	c #Conflicts:      27000 | #Constraints:      95721
647.91/649.81	c #Conflicts:      28000 | #Constraints:      96721
647.91/649.81	c #Conflicts:      29000 | #Constraints:      97721
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      30000 | #Constraints:      95112
647.91/649.81	c #Conflicts:      31000 | #Constraints:      96112
647.91/649.81	c #Conflicts:      32000 | #Constraints:      97112
647.91/649.81	c #Conflicts:      33000 | #Constraints:      98112
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      34000 | #Constraints:      95309
647.91/649.81	c #Conflicts:      35000 | #Constraints:      96309
647.91/649.81	c #Conflicts:      36000 | #Constraints:      97309
647.91/649.81	c #Conflicts:      37000 | #Constraints:      98309
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      38000 | #Constraints:      95305
647.91/649.81	c #Conflicts:      39000 | #Constraints:      96305
647.91/649.81	c #Conflicts:      40000 | #Constraints:      97305
647.91/649.81	c #Conflicts:      41000 | #Constraints:      98305
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      42000 | #Constraints:      95112
647.91/649.81	c #Conflicts:      43000 | #Constraints:      96112
647.91/649.81	c #Conflicts:      44000 | #Constraints:      97112
647.91/649.81	c #Conflicts:      45000 | #Constraints:      98112
647.91/649.81	c #Conflicts:      46000 | #Constraints:      99112
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      47000 | #Constraints:      95712
647.91/649.81	c #Conflicts:      48000 | #Constraints:      96712
647.91/649.81	c #Conflicts:      49000 | #Constraints:      97712
647.91/649.81	c #Conflicts:      50000 | #Constraints:      98712
647.91/649.81	c #Conflicts:      51000 | #Constraints:      99712
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      52000 | #Constraints:      96117
647.91/649.81	c #Conflicts:      53000 | #Constraints:      97117
647.91/649.81	c #Conflicts:      54000 | #Constraints:      98117
647.91/649.81	c #Conflicts:      55000 | #Constraints:      99117
647.91/649.81	c #Conflicts:      56000 | #Constraints:     100117
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      57000 | #Constraints:      96311
647.91/649.81	c #Conflicts:      58000 | #Constraints:      97311
647.91/649.81	c #Conflicts:      59000 | #Constraints:      98311
647.91/649.81	c #Conflicts:      60000 | #Constraints:      99311
647.91/649.81	c #Conflicts:      61000 | #Constraints:     100311
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      62000 | #Constraints:      96334
647.91/649.81	c #Conflicts:      63000 | #Constraints:      97334
647.91/649.81	c #Conflicts:      64000 | #Constraints:      98334
647.91/649.81	c #Conflicts:      65000 | #Constraints:      99334
647.91/649.81	c #Conflicts:      66000 | #Constraints:     100334
647.91/649.81	c INPROCESSING
647.91/649.81	c GARBAGE COLLECT
647.91/649.81	c #Conflicts:      67000 | #Constraints:      96124
937.34/940.07	c #Conflicts:      68000 | #Constraints:      97124
937.34/940.07	c #Conflicts:      69000 | #Constraints:      98124
937.34/940.07	c #Conflicts:      70000 | #Constraints:      99124
937.34/940.07	c #Conflicts:      71000 | #Constraints:     100124
937.34/940.07	c #Conflicts:      72000 | #Constraints:     101124
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:      73000 | #Constraints:      96720
937.34/940.07	c #Conflicts:      74000 | #Constraints:      97720
937.34/940.07	c #Conflicts:      75000 | #Constraints:      98720
937.34/940.07	c #Conflicts:      76000 | #Constraints:      99720
937.34/940.07	c #Conflicts:      77000 | #Constraints:     100720
937.34/940.07	c #Conflicts:      78000 | #Constraints:     101720
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:      79000 | #Constraints:      97123
937.34/940.07	c #Conflicts:      80000 | #Constraints:      98123
937.34/940.07	c #Conflicts:      81000 | #Constraints:      99123
937.34/940.07	c #Conflicts:      82000 | #Constraints:     100123
937.34/940.07	c #Conflicts:      83000 | #Constraints:     101123
937.34/940.07	c #Conflicts:      84000 | #Constraints:     102123
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:      85000 | #Constraints:      97338
937.34/940.07	c #Conflicts:      86000 | #Constraints:      98338
937.34/940.07	c #Conflicts:      87000 | #Constraints:      99338
937.34/940.07	c #Conflicts:      88000 | #Constraints:     100338
937.34/940.07	c #Conflicts:      89000 | #Constraints:     101338
937.34/940.07	c #Conflicts:      90000 | #Constraints:     102338
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:      91000 | #Constraints:      97331
937.34/940.07	c #Conflicts:      92000 | #Constraints:      98331
937.34/940.07	c #Conflicts:      93000 | #Constraints:      99331
937.34/940.07	c #Conflicts:      94000 | #Constraints:     100331
937.34/940.07	c #Conflicts:      95000 | #Constraints:     101331
937.34/940.07	c #Conflicts:      96000 | #Constraints:     102331
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:      97000 | #Constraints:      97130
937.34/940.07	c #Conflicts:      98000 | #Constraints:      98130
937.34/940.07	c #Conflicts:      99000 | #Constraints:      99130
937.34/940.07	c #Conflicts:     100000 | #Constraints:     100130
937.34/940.07	c #Conflicts:     101000 | #Constraints:     101130
937.34/940.07	c #Conflicts:     102000 | #Constraints:     102130
937.34/940.07	c #Conflicts:     103000 | #Constraints:     103130
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:     104000 | #Constraints:      97724
937.34/940.07	c #Conflicts:     105000 | #Constraints:      98724
937.34/940.07	c #Conflicts:     106000 | #Constraints:      99724
937.34/940.07	c #Conflicts:     107000 | #Constraints:     100724
937.34/940.07	c #Conflicts:     108000 | #Constraints:     101724
937.34/940.07	c #Conflicts:     109000 | #Constraints:     102724
937.34/940.07	c #Conflicts:     110000 | #Constraints:     103724
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:     111000 | #Constraints:      98119
937.34/940.07	c #Conflicts:     112000 | #Constraints:      99119
937.34/940.07	c #Conflicts:     113000 | #Constraints:     100119
937.34/940.07	c #Conflicts:     114000 | #Constraints:     101119
937.34/940.07	c #Conflicts:     115000 | #Constraints:     102119
937.34/940.07	c #Conflicts:     116000 | #Constraints:     103119
937.34/940.07	c #Conflicts:     117000 | #Constraints:     104119
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:     118000 | #Constraints:      98316
937.34/940.07	c #Conflicts:     119000 | #Constraints:      99316
937.34/940.07	c #Conflicts:     120000 | #Constraints:     100316
937.34/940.07	c #Conflicts:     121000 | #Constraints:     101316
937.34/940.07	c #Conflicts:     122000 | #Constraints:     102316
937.34/940.07	c #Conflicts:     123000 | #Constraints:     103316
937.34/940.07	c #Conflicts:     124000 | #Constraints:     104316
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:     125000 | #Constraints:      98329
937.34/940.07	c #Conflicts:     126000 | #Constraints:      99329
937.34/940.07	c #Conflicts:     127000 | #Constraints:     100329
937.34/940.07	c #Conflicts:     128000 | #Constraints:     101329
937.34/940.07	c #Conflicts:     129000 | #Constraints:     102329
937.34/940.07	c #Conflicts:     130000 | #Constraints:     103329
937.34/940.07	c #Conflicts:     131000 | #Constraints:     104329
937.34/940.07	c INPROCESSING
937.34/940.07	c GARBAGE COLLECT
937.34/940.07	c #Conflicts:     132000 | #Constraints:      98138
937.34/940.07	c #Conflicts:     133000 | #Constraints:      99138
937.34/940.07	c #Conflicts:     134000 | #Constraints:     100138
937.34/940.07	c #Conflicts:     135000 | #Constraints:     101138
937.34/940.07	c #Conflicts:     136000 | #Constraints:     102138
937.34/940.07	c #Conflicts:     137000 | #Constraints:     103138
937.34/940.07	c #Conflicts:     138000 | #Constraints:     104138
937.34/940.07	c #Conflicts:     139000 | #Constraints:     105138
937.34/940.07	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     140000 | #Constraints:      98734
1281.72/1285.32	c #Conflicts:     141000 | #Constraints:      99734
1281.72/1285.32	c #Conflicts:     142000 | #Constraints:     100734
1281.72/1285.32	c #Conflicts:     143000 | #Constraints:     101734
1281.72/1285.32	c #Conflicts:     144000 | #Constraints:     102734
1281.72/1285.32	c #Conflicts:     145000 | #Constraints:     103734
1281.72/1285.32	c #Conflicts:     146000 | #Constraints:     104734
1281.72/1285.32	c #Conflicts:     147000 | #Constraints:     105734
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     148000 | #Constraints:      99131
1281.72/1285.32	c #Conflicts:     149000 | #Constraints:     100131
1281.72/1285.32	c #Conflicts:     150000 | #Constraints:     101131
1281.72/1285.32	c #Conflicts:     151000 | #Constraints:     102131
1281.72/1285.32	c #Conflicts:     152000 | #Constraints:     103131
1281.72/1285.32	c #Conflicts:     153000 | #Constraints:     104131
1281.72/1285.32	c #Conflicts:     154000 | #Constraints:     105131
1281.72/1285.32	c #Conflicts:     155000 | #Constraints:     106131
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     156000 | #Constraints:      99332
1281.72/1285.32	c #Conflicts:     157000 | #Constraints:     100332
1281.72/1285.32	c #Conflicts:     158000 | #Constraints:     101332
1281.72/1285.32	c #Conflicts:     159000 | #Constraints:     102332
1281.72/1285.32	c #Conflicts:     160000 | #Constraints:     103332
1281.72/1285.32	c #Conflicts:     161000 | #Constraints:     104332
1281.72/1285.32	c #Conflicts:     162000 | #Constraints:     105332
1281.72/1285.32	c #Conflicts:     163000 | #Constraints:     106332
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     164000 | #Constraints:      99332
1281.72/1285.32	c #Conflicts:     165000 | #Constraints:     100332
1281.72/1285.32	c #Conflicts:     166000 | #Constraints:     101332
1281.72/1285.32	c #Conflicts:     167000 | #Constraints:     102332
1281.72/1285.32	c #Conflicts:     168000 | #Constraints:     103332
1281.72/1285.32	c #Conflicts:     169000 | #Constraints:     104332
1281.72/1285.32	c #Conflicts:     170000 | #Constraints:     105332
1281.72/1285.32	c #Conflicts:     171000 | #Constraints:     106332
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     172000 | #Constraints:      99126
1281.72/1285.32	c #Conflicts:     173000 | #Constraints:     100126
1281.72/1285.32	c #Conflicts:     174000 | #Constraints:     101126
1281.72/1285.32	c #Conflicts:     175000 | #Constraints:     102126
1281.72/1285.32	c #Conflicts:     176000 | #Constraints:     103126
1281.72/1285.32	c #Conflicts:     177000 | #Constraints:     104126
1281.72/1285.32	c #Conflicts:     178000 | #Constraints:     105126
1281.72/1285.32	c #Conflicts:     179000 | #Constraints:     106126
1281.72/1285.32	c #Conflicts:     180000 | #Constraints:     107126
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     181000 | #Constraints:      99722
1281.72/1285.32	c #Conflicts:     182000 | #Constraints:     100722
1281.72/1285.32	c #Conflicts:     183000 | #Constraints:     101722
1281.72/1285.32	c #Conflicts:     184000 | #Constraints:     102722
1281.72/1285.32	c #Conflicts:     185000 | #Constraints:     103722
1281.72/1285.32	c #Conflicts:     186000 | #Constraints:     104722
1281.72/1285.32	c #Conflicts:     187000 | #Constraints:     105722
1281.72/1285.32	c #Conflicts:     188000 | #Constraints:     106722
1281.72/1285.32	c #Conflicts:     189000 | #Constraints:     107722
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     190000 | #Constraints:     100125
1281.72/1285.32	c #Conflicts:     191000 | #Constraints:     101125
1281.72/1285.32	c #Conflicts:     192000 | #Constraints:     102125
1281.72/1285.32	c #Conflicts:     193000 | #Constraints:     103125
1281.72/1285.32	c #Conflicts:     194000 | #Constraints:     104125
1281.72/1285.32	c #Conflicts:     195000 | #Constraints:     105125
1281.72/1285.32	c #Conflicts:     196000 | #Constraints:     106125
1281.72/1285.32	c #Conflicts:     197000 | #Constraints:     107125
1281.72/1285.32	c #Conflicts:     198000 | #Constraints:     108125
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     199000 | #Constraints:     100339
1281.72/1285.32	c #Conflicts:     200000 | #Constraints:     101339
1281.72/1285.32	c #Conflicts:     201000 | #Constraints:     102339
1281.72/1285.32	c #Conflicts:     202000 | #Constraints:     103339
1281.72/1285.32	c #Conflicts:     203000 | #Constraints:     104339
1281.72/1285.32	c #Conflicts:     204000 | #Constraints:     105339
1281.72/1285.32	c #Conflicts:     205000 | #Constraints:     106339
1281.72/1285.32	c #Conflicts:     206000 | #Constraints:     107339
1281.72/1285.32	c #Conflicts:     207000 | #Constraints:     108339
1281.72/1285.32	c INPROCESSING
1281.72/1285.32	c GARBAGE COLLECT
1281.72/1285.32	c #Conflicts:     208000 | #Constraints:     100342
1281.72/1285.32	c #Conflicts:     209000 | #Constraints:     101342
1281.72/1285.32	c #Conflicts:     210000 | #Constraints:     102342
1281.72/1285.32	c #Conflicts:     211000 | #Constraints:     103342
1281.72/1285.32	c #Conflicts:     212000 | #Constraints:     104342
1281.72/1285.32	c #Conflicts:     213000 | #Constraints:     105342
1752.19/1757.01	c #Conflicts:     214000 | #Constraints:     106342
1752.19/1757.01	c #Conflicts:     215000 | #Constraints:     107342
1752.19/1757.01	c #Conflicts:     216000 | #Constraints:     108342
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     217000 | #Constraints:     100157
1752.19/1757.01	c #Conflicts:     218000 | #Constraints:     101157
1752.19/1757.01	c #Conflicts:     219000 | #Constraints:     102157
1752.19/1757.01	c #Conflicts:     220000 | #Constraints:     103157
1752.19/1757.01	c #Conflicts:     221000 | #Constraints:     104157
1752.19/1757.01	c #Conflicts:     222000 | #Constraints:     105157
1752.19/1757.01	c #Conflicts:     223000 | #Constraints:     106157
1752.19/1757.01	c #Conflicts:     224000 | #Constraints:     107157
1752.19/1757.01	c #Conflicts:     225000 | #Constraints:     108157
1752.19/1757.01	c #Conflicts:     226000 | #Constraints:     109157
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     227000 | #Constraints:     100768
1752.19/1757.01	c #Conflicts:     228000 | #Constraints:     101768
1752.19/1757.01	c #Conflicts:     229000 | #Constraints:     102768
1752.19/1757.01	c #Conflicts:     230000 | #Constraints:     103768
1752.19/1757.01	c #Conflicts:     231000 | #Constraints:     104768
1752.19/1757.01	c #Conflicts:     232000 | #Constraints:     105768
1752.19/1757.01	c #Conflicts:     233000 | #Constraints:     106768
1752.19/1757.01	c #Conflicts:     234000 | #Constraints:     107768
1752.19/1757.01	c #Conflicts:     235000 | #Constraints:     108768
1752.19/1757.01	c #Conflicts:     236000 | #Constraints:     109768
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     237000 | #Constraints:     101153
1752.19/1757.01	c #Conflicts:     238000 | #Constraints:     102153
1752.19/1757.01	c #Conflicts:     239000 | #Constraints:     103153
1752.19/1757.01	c #Conflicts:     240000 | #Constraints:     104153
1752.19/1757.01	c #Conflicts:     241000 | #Constraints:     105153
1752.19/1757.01	c #Conflicts:     242000 | #Constraints:     106153
1752.19/1757.01	c #Conflicts:     243000 | #Constraints:     107153
1752.19/1757.01	c #Conflicts:     244000 | #Constraints:     108153
1752.19/1757.01	c #Conflicts:     245000 | #Constraints:     109153
1752.19/1757.01	c #Conflicts:     246000 | #Constraints:     110153
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     247000 | #Constraints:     101349
1752.19/1757.01	c #Conflicts:     248000 | #Constraints:     102349
1752.19/1757.01	c #Conflicts:     249000 | #Constraints:     103349
1752.19/1757.01	c #Conflicts:     250000 | #Constraints:     104349
1752.19/1757.01	c #Conflicts:     251000 | #Constraints:     105349
1752.19/1757.01	c #Conflicts:     252000 | #Constraints:     106349
1752.19/1757.01	c #Conflicts:     253000 | #Constraints:     107349
1752.19/1757.01	c #Conflicts:     254000 | #Constraints:     108349
1752.19/1757.01	c #Conflicts:     255000 | #Constraints:     109349
1752.19/1757.01	c #Conflicts:     256000 | #Constraints:     110349
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     257000 | #Constraints:     101337
1752.19/1757.01	c #Conflicts:     258000 | #Constraints:     102337
1752.19/1757.01	c #Conflicts:     259000 | #Constraints:     103337
1752.19/1757.01	c #Conflicts:     260000 | #Constraints:     104337
1752.19/1757.01	c #Conflicts:     261000 | #Constraints:     105337
1752.19/1757.01	c #Conflicts:     262000 | #Constraints:     106337
1752.19/1757.01	c #Conflicts:     263000 | #Constraints:     107337
1752.19/1757.01	c #Conflicts:     264000 | #Constraints:     108337
1752.19/1757.01	c #Conflicts:     265000 | #Constraints:     109337
1752.19/1757.01	c #Conflicts:     266000 | #Constraints:     110337
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     267000 | #Constraints:     101136
1752.19/1757.01	c #Conflicts:     268000 | #Constraints:     102136
1752.19/1757.01	c #Conflicts:     269000 | #Constraints:     103136
1752.19/1757.01	c #Conflicts:     270000 | #Constraints:     104136
1752.19/1757.01	c #Conflicts:     271000 | #Constraints:     105136
1752.19/1757.01	c #Conflicts:     272000 | #Constraints:     106136
1752.19/1757.01	c #Conflicts:     273000 | #Constraints:     107136
1752.19/1757.01	c #Conflicts:     274000 | #Constraints:     108136
1752.19/1757.01	c #Conflicts:     275000 | #Constraints:     109136
1752.19/1757.01	c #Conflicts:     276000 | #Constraints:     110136
1752.19/1757.01	c #Conflicts:     277000 | #Constraints:     111136
1752.19/1757.01	c INPROCESSING
1752.19/1757.01	c GARBAGE COLLECT
1752.19/1757.01	c #Conflicts:     278000 | #Constraints:     101732
1752.19/1757.01	c #Conflicts:     279000 | #Constraints:     102732
1752.19/1757.01	c #Conflicts:     280000 | #Constraints:     103732
1752.19/1757.01	c #Conflicts:     281000 | #Constraints:     104732
1752.19/1757.01	c #Conflicts:     282000 | #Constraints:     105732
1752.19/1757.01	c #Conflicts:     283000 | #Constraints:     106732
1752.19/1757.01	c #Conflicts:     284000 | #Constraints:     107732
1752.19/1757.01	c #Conflicts:     285000 | #Constraints:     108732
1752.19/1757.01	c #Conflicts:     286000 | #Constraints:     109732
1752.19/1757.01	c #Conflicts:     287000 | #Constraints:     110732
2143.94/2149.86	c #Conflicts:     288000 | #Constraints:     111732
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     289000 | #Constraints:     102138
2143.94/2149.86	c #Conflicts:     290000 | #Constraints:     103138
2143.94/2149.86	c #Conflicts:     291000 | #Constraints:     104138
2143.94/2149.86	c #Conflicts:     292000 | #Constraints:     105138
2143.94/2149.86	c #Conflicts:     293000 | #Constraints:     106138
2143.94/2149.86	c #Conflicts:     294000 | #Constraints:     107138
2143.94/2149.86	c #Conflicts:     295000 | #Constraints:     108138
2143.94/2149.86	c #Conflicts:     296000 | #Constraints:     109138
2143.94/2149.86	c #Conflicts:     297000 | #Constraints:     110138
2143.94/2149.86	c #Conflicts:     298000 | #Constraints:     111138
2143.94/2149.86	c #Conflicts:     299000 | #Constraints:     112138
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     300000 | #Constraints:     102331
2143.94/2149.86	c #Conflicts:     301000 | #Constraints:     103331
2143.94/2149.86	c #Conflicts:     302000 | #Constraints:     104331
2143.94/2149.86	c #Conflicts:     303000 | #Constraints:     105331
2143.94/2149.86	c #Conflicts:     304000 | #Constraints:     106331
2143.94/2149.86	c #Conflicts:     305000 | #Constraints:     107331
2143.94/2149.86	c #Conflicts:     306000 | #Constraints:     108331
2143.94/2149.86	c #Conflicts:     307000 | #Constraints:     109331
2143.94/2149.86	c #Conflicts:     308000 | #Constraints:     110331
2143.94/2149.86	c #Conflicts:     309000 | #Constraints:     111331
2143.94/2149.86	c #Conflicts:     310000 | #Constraints:     112331
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     311000 | #Constraints:     102341
2143.94/2149.86	c #Conflicts:     312000 | #Constraints:     103341
2143.94/2149.86	c #Conflicts:     313000 | #Constraints:     104341
2143.94/2149.86	c #Conflicts:     314000 | #Constraints:     105341
2143.94/2149.86	c #Conflicts:     315000 | #Constraints:     106341
2143.94/2149.86	c #Conflicts:     316000 | #Constraints:     107341
2143.94/2149.86	c #Conflicts:     317000 | #Constraints:     108341
2143.94/2149.86	c #Conflicts:     318000 | #Constraints:     109341
2143.94/2149.86	c #Conflicts:     319000 | #Constraints:     110341
2143.94/2149.86	c #Conflicts:     320000 | #Constraints:     111341
2143.94/2149.86	c #Conflicts:     321000 | #Constraints:     112341
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     322000 | #Constraints:     102153
2143.94/2149.86	c #Conflicts:     323000 | #Constraints:     103153
2143.94/2149.86	c #Conflicts:     324000 | #Constraints:     104153
2143.94/2149.86	c #Conflicts:     325000 | #Constraints:     105153
2143.94/2149.86	c #Conflicts:     326000 | #Constraints:     106153
2143.94/2149.86	c #Conflicts:     327000 | #Constraints:     107153
2143.94/2149.86	c #Conflicts:     328000 | #Constraints:     108153
2143.94/2149.86	c #Conflicts:     329000 | #Constraints:     109153
2143.94/2149.86	c #Conflicts:     330000 | #Constraints:     110153
2143.94/2149.86	c #Conflicts:     331000 | #Constraints:     111153
2143.94/2149.86	c #Conflicts:     332000 | #Constraints:     112153
2143.94/2149.86	c #Conflicts:     333000 | #Constraints:     113153
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     334000 | #Constraints:     102762
2143.94/2149.86	c #Conflicts:     335000 | #Constraints:     103762
2143.94/2149.86	c #Conflicts:     336000 | #Constraints:     104762
2143.94/2149.86	c #Conflicts:     337000 | #Constraints:     105762
2143.94/2149.86	c #Conflicts:     338000 | #Constraints:     106762
2143.94/2149.86	c #Conflicts:     339000 | #Constraints:     107762
2143.94/2149.86	c #Conflicts:     340000 | #Constraints:     108762
2143.94/2149.86	c #Conflicts:     341000 | #Constraints:     109762
2143.94/2149.86	c #Conflicts:     342000 | #Constraints:     110762
2143.94/2149.86	c #Conflicts:     343000 | #Constraints:     111762
2143.94/2149.86	c #Conflicts:     344000 | #Constraints:     112762
2143.94/2149.86	c #Conflicts:     345000 | #Constraints:     113762
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     346000 | #Constraints:     103153
2143.94/2149.86	c #Conflicts:     347000 | #Constraints:     104153
2143.94/2149.86	c #Conflicts:     348000 | #Constraints:     105153
2143.94/2149.86	c #Conflicts:     349000 | #Constraints:     106153
2143.94/2149.86	c #Conflicts:     350000 | #Constraints:     107153
2143.94/2149.86	c #Conflicts:     351000 | #Constraints:     108153
2143.94/2149.86	c #Conflicts:     352000 | #Constraints:     109153
2143.94/2149.86	c #Conflicts:     353000 | #Constraints:     110153
2143.94/2149.86	c #Conflicts:     354000 | #Constraints:     111153
2143.94/2149.86	c #Conflicts:     355000 | #Constraints:     112153
2143.94/2149.86	c #Conflicts:     356000 | #Constraints:     113153
2143.94/2149.86	c #Conflicts:     357000 | #Constraints:     114153
2143.94/2149.86	c INPROCESSING
2143.94/2149.86	c GARBAGE COLLECT
2143.94/2149.86	c #Conflicts:     358000 | #Constraints:     103347
2143.94/2149.86	c #Conflicts:     359000 | #Constraints:     104347
2143.94/2149.86	c #Conflicts:     360000 | #Constraints:     105347
2143.94/2149.86	c #Conflicts:     361000 | #Constraints:     106347
2558.05/2565.10	c #Conflicts:     362000 | #Constraints:     107347
2558.05/2565.10	c #Conflicts:     363000 | #Constraints:     108347
2558.05/2565.10	c #Conflicts:     364000 | #Constraints:     109347
2558.05/2565.10	c #Conflicts:     365000 | #Constraints:     110347
2558.05/2565.10	c #Conflicts:     366000 | #Constraints:     111347
2558.05/2565.10	c #Conflicts:     367000 | #Constraints:     112347
2558.05/2565.10	c #Conflicts:     368000 | #Constraints:     113347
2558.05/2565.10	c #Conflicts:     369000 | #Constraints:     114347
2558.05/2565.10	c INPROCESSING
2558.05/2565.10	c GARBAGE COLLECT
2558.05/2565.10	c #Conflicts:     370000 | #Constraints:     103358
2558.05/2565.10	c #Conflicts:     371000 | #Constraints:     104358
2558.05/2565.10	c #Conflicts:     372000 | #Constraints:     105358
2558.05/2565.10	c #Conflicts:     373000 | #Constraints:     106358
2558.05/2565.10	c #Conflicts:     374000 | #Constraints:     107358
2558.05/2565.10	c #Conflicts:     375000 | #Constraints:     108358
2558.05/2565.10	c #Conflicts:     376000 | #Constraints:     109358
2558.05/2565.10	c #Conflicts:     377000 | #Constraints:     110358
2558.05/2565.10	c #Conflicts:     378000 | #Constraints:     111358
2558.05/2565.10	c #Conflicts:     379000 | #Constraints:     112358
2558.05/2565.10	c #Conflicts:     380000 | #Constraints:     113358
2558.05/2565.10	c #Conflicts:     381000 | #Constraints:     114358
2558.05/2565.10	c INPROCESSING
2558.05/2565.10	c GARBAGE COLLECT
2558.05/2565.10	c #Conflicts:     382000 | #Constraints:     103161
2558.05/2565.10	c #Conflicts:     383000 | #Constraints:     104161
2558.05/2565.10	c #Conflicts:     384000 | #Constraints:     105161
2558.05/2565.10	c #Conflicts:     385000 | #Constraints:     106161
2558.05/2565.10	c #Conflicts:     386000 | #Constraints:     107161
2558.05/2565.10	c #Conflicts:     387000 | #Constraints:     108161
2558.05/2565.10	c #Conflicts:     388000 | #Constraints:     109161
2558.05/2565.10	c #Conflicts:     389000 | #Constraints:     110161
2558.05/2565.10	c #Conflicts:     390000 | #Constraints:     111161
2558.05/2565.10	c #Conflicts:     391000 | #Constraints:     112161
2558.05/2565.10	c #Conflicts:     392000 | #Constraints:     113161
2558.05/2565.10	c #Conflicts:     393000 | #Constraints:     114161
2558.05/2565.10	c #Conflicts:     394000 | #Constraints:     115161
2558.05/2565.10	c INPROCESSING
2558.05/2565.10	c GARBAGE COLLECT
2558.05/2565.10	c #Conflicts:     395000 | #Constraints:     103761
2558.05/2565.10	c #Conflicts:     396000 | #Constraints:     104761
2558.05/2565.10	c #Conflicts:     397000 | #Constraints:     105761
2558.05/2565.10	c #Conflicts:     398000 | #Constraints:     106761
2558.05/2565.10	c #Conflicts:     399000 | #Constraints:     107761
2558.05/2565.10	c #Conflicts:     400000 | #Constraints:     108761
2558.05/2565.10	c #Conflicts:     401000 | #Constraints:     109761
2558.05/2565.10	c #Conflicts:     402000 | #Constraints:     110761
2558.05/2565.10	c #Conflicts:     403000 | #Constraints:     111761
2558.05/2565.10	c #Conflicts:     404000 | #Constraints:     112761
2558.05/2565.10	c #Conflicts:     405000 | #Constraints:     113761
2558.05/2565.10	c #Conflicts:     406000 | #Constraints:     114761
2558.05/2565.10	c #Conflicts:     407000 | #Constraints:     115761
2558.05/2565.10	c INPROCESSING
2558.05/2565.10	c GARBAGE COLLECT
2558.05/2565.10	c #Conflicts:     408000 | #Constraints:     104158
2558.05/2565.10	c #Conflicts:     409000 | #Constraints:     105158
2558.05/2565.10	c #Conflicts:     410000 | #Constraints:     106158
2558.05/2565.10	c #Conflicts:     411000 | #Constraints:     107158
2558.05/2565.10	c #Conflicts:     412000 | #Constraints:     108158
2558.05/2565.10	c #Conflicts:     413000 | #Constraints:     109158
2558.05/2565.10	c #Conflicts:     414000 | #Constraints:     110158
2558.05/2565.10	c #Conflicts:     415000 | #Constraints:     111158
2558.05/2565.10	c #Conflicts:     416000 | #Constraints:     112158
2558.05/2565.10	c #Conflicts:     417000 | #Constraints:     113158
2558.05/2565.10	c #Conflicts:     418000 | #Constraints:     114158
2558.05/2565.10	c #Conflicts:     419000 | #Constraints:     115158
2558.05/2565.10	c #Conflicts:     420000 | #Constraints:     116158
2558.05/2565.10	c INPROCESSING
2558.05/2565.10	c GARBAGE COLLECT
2558.05/2565.10	c #Conflicts:     421000 | #Constraints:     104358
2558.05/2565.10	c #Conflicts:     422000 | #Constraints:     105358
2558.05/2565.10	c #Conflicts:     423000 | #Constraints:     106358
2558.05/2565.10	c #Conflicts:     424000 | #Constraints:     107358
2558.05/2565.10	c #Conflicts:     425000 | #Constraints:     108358
2558.05/2565.10	c #Conflicts:     426000 | #Constraints:     109358
2558.05/2565.10	c #Conflicts:     427000 | #Constraints:     110358
2558.05/2565.10	c #Conflicts:     428000 | #Constraints:     111358
2558.05/2565.10	c #Conflicts:     429000 | #Constraints:     112358
2558.05/2565.10	c #Conflicts:     430000 | #Constraints:     113358
2558.05/2565.10	c #Conflicts:     431000 | #Constraints:     114358
2558.05/2565.10	c #Conflicts:     432000 | #Constraints:     115358
2558.05/2565.10	c #Conflicts:     433000 | #Constraints:     116358
2558.05/2565.10	c INPROCESSING
2558.05/2565.10	c GARBAGE COLLECT
2558.05/2565.10	c #Conflicts:     434000 | #Constraints:     104359
2558.05/2565.10	c #Conflicts:     435000 | #Constraints:     105359
2558.05/2565.10	c #Conflicts:     436000 | #Constraints:     106359
3600.09/3609.80	c #Conflicts:     437000 | #Constraints:     107359
3600.09/3609.80	c #Conflicts:     438000 | #Constraints:     108359
3600.09/3609.80	c #Conflicts:     439000 | #Constraints:     109359
3600.09/3609.80	c #Conflicts:     440000 | #Constraints:     110359
3600.09/3609.80	c #Conflicts:     441000 | #Constraints:     111359
3600.09/3609.80	c #Conflicts:     442000 | #Constraints:     112359
3600.09/3609.80	c #Conflicts:     443000 | #Constraints:     113359
3600.09/3609.80	c #Conflicts:     444000 | #Constraints:     114359
3600.09/3609.80	c #Conflicts:     445000 | #Constraints:     115359
3600.09/3609.80	c #Conflicts:     446000 | #Constraints:     116359
3600.09/3609.80	c INPROCESSING
3600.09/3609.80	c GARBAGE COLLECT
3600.09/3609.80	c #Conflicts:     447000 | #Constraints:     104162
3600.09/3609.80	c #Conflicts:     448000 | #Constraints:     105162
3600.09/3609.80	c #Conflicts:     449000 | #Constraints:     106162
3600.09/3609.80	c #Conflicts:     450000 | #Constraints:     107162
3600.09/3609.80	c #Conflicts:     451000 | #Constraints:     108162
3600.09/3609.80	c #Conflicts:     452000 | #Constraints:     109162
3600.09/3609.80	c #Conflicts:     453000 | #Constraints:     110162
3600.09/3609.80	c #Conflicts:     454000 | #Constraints:     111162
3600.09/3609.80	c #Conflicts:     455000 | #Constraints:     112162
3600.09/3609.80	c #Conflicts:     456000 | #Constraints:     113162
3600.09/3609.80	c #Conflicts:     457000 | #Constraints:     114162
3600.09/3609.80	c #Conflicts:     458000 | #Constraints:     115162
3600.09/3609.80	c #Conflicts:     459000 | #Constraints:     116162
3600.09/3609.80	c #Conflicts:     460000 | #Constraints:     117162
3600.09/3609.80	c INPROCESSING
3600.09/3609.80	c GARBAGE COLLECT
3600.09/3609.80	c #Conflicts:     461000 | #Constraints:     104764
3600.09/3609.80	c #Conflicts:     462000 | #Constraints:     105764
3600.09/3609.80	c #Conflicts:     463000 | #Constraints:     106764
3600.09/3609.80	c #Conflicts:     464000 | #Constraints:     107764
3600.09/3609.80	c #Conflicts:     465000 | #Constraints:     108764
3600.09/3609.80	c #Conflicts:     466000 | #Constraints:     109764
3600.09/3609.80	c #Conflicts:     467000 | #Constraints:     110764
3600.09/3609.80	c #Conflicts:     468000 | #Constraints:     111764
3600.09/3609.80	c #Conflicts:     469000 | #Constraints:     112764
3600.09/3609.80	c #Conflicts:     470000 | #Constraints:     113764
3600.09/3609.80	c #Conflicts:     471000 | #Constraints:     114764
3600.09/3609.80	c #Conflicts:     472000 | #Constraints:     115764
3600.09/3609.80	c #Conflicts:     473000 | #Constraints:     116764
3600.09/3609.80	c Program interrupted by user.
3600.09/3609.80	c cpu time 3594.02 s
3600.09/3609.80	c deterministic time 832257070962 8.32e+11
3600.09/3609.80	c optimization time 332.354 s
3600.09/3609.80	c total solve time 2961.65 s
3600.09/3609.80	c core-guided solve time 2961.65 s
3600.09/3609.80	c propagation time 2701.63 s
3600.09/3609.80	c conflict analysis time 533.089 s
3600.09/3609.80	c propagations 256442961
3600.09/3609.80	c resolve steps 6958119
3600.09/3609.80	c decisions 3637054
3600.09/3609.80	c conflicts 473877
3600.09/3609.80	c restarts 1022
3600.09/3609.80	c inprocessing phases 59
3600.09/3609.80	c input clauses 90480
3600.09/3609.80	c input cardinalities 0
3600.09/3609.80	c input general constraints 10
3600.09/3609.80	c input average constraint length 2.46
3600.09/3609.80	c input average constraint degree 613.70
3600.09/3609.80	c learned clauses 266357
3600.09/3609.80	c learned cardinalities 0
3600.09/3609.80	c learned general constraints 207519
3600.09/3609.80	c learned average constraint length 2129.16
3600.09/3609.80	c learned average constraint degree 69200978.72
3600.09/3609.80	c watched constraints 198251
3600.09/3609.80	c counting constraints 9278
3600.09/3609.80	c gcd simplifications 85948
3600.09/3609.80	c detected cardinalities 0
3600.09/3609.80	c weakened non-implied lits 427393317
3600.09/3609.80	c weakened non-implying lits 1638764
3600.09/3609.80	c original variables 4356
3600.09/3609.80	c clausal propagations 67111177
3600.09/3609.80	c cardinality propagations 0
3600.09/3609.80	c watched propagations 63442621
3600.09/3609.80	c counting propagations 124927967
3600.09/3609.80	c watch lookups 5794576412
3600.09/3609.80	c watch backjump lookups 4438862812
3600.09/3609.80	c watch checks 749987283434
3600.09/3609.80	c propagation checks 67565647045
3600.09/3609.80	c constraint additions 3950071192
3600.09/3609.80	c trail pops 260550051
3600.09/3609.80	c formula constraints 90488
3600.09/3609.80	c learned constraints 473876
3600.09/3609.80	c bound constraints 2
3600.09/3609.80	c core-guided constraints 0
3600.09/3609.80	c encountered formula constraints 6157592
3600.09/3609.80	c encountered learned constraints 1274014
3600.09/3609.80	c encountered bound constraints 390
3600.09/3609.80	c encountered core-guided constraints 0
3600.09/3609.80	c LP total time 0 s
3600.09/3609.80	c LP solve time 0 s
3600.09/3609.80	c LP constraints added 0
3600.09/3609.80	c LP constraints removed 0
3600.09/3609.80	c LP pivots internal 0
3600.09/3609.80	c LP pivots root 0
3600.09/3609.80	c LP calls 0
3600.09/3609.80	c LP optimalities 0
3600.09/3609.80	c LP no pivot count 0
3600.09/3609.80	c LP infeasibilities 0
3600.09/3609.80	c LP valid Farkas constraints 0
3600.09/3609.80	c LP learned Farkas constraints 0
3600.09/3609.80	c LP basis resets 0
3600.09/3609.80	c LP cycling count 0
3600.09/3609.80	c LP singular count 0
3600.09/3609.80	c LP no primal count 0
3600.09/3609.80	c LP no farkas count 0
3600.09/3609.80	c LP other issue count 0
3600.09/3609.80	c LP Gomory cuts 0
3600.09/3609.80	c LP learned cuts 0
3600.09/3609.80	c LP deleted cuts 0
3600.09/3609.80	c LP encountered Gomory constraints 0
3600.09/3609.80	c LP encountered Farkas constraints 0
3600.09/3609.80	c LP encountered learned Farkas constraints 0
3600.09/3609.80	c CG auxiliary variables introduced 0
3600.09/3609.80	c CG solutions found 0
3600.09/3609.80	c CG cores constructed 1
3600.09/3609.80	c CG core cardinality constraints returned 0
3600.09/3609.80	c CG unit cores 0
3600.09/3609.80	c CG single cores 1
3600.09/3609.80	c CG blocks removed during cardinality reduction 0
3600.09/3609.80	c CG first core best 0
3600.09/3609.80	c CG decision core best 0
3600.09/3609.80	c CG core reduction tie 0
3600.09/3609.80	c CG core degree average 1.00
3600.09/3609.80	c CG core slack average 1.00
3600.09/3609.80	c CG exhausted 0
3600.09/3609.80	c CG exhaust time 0 s
3600.09/3609.80	c CG trimmed 0
3600.09/3609.80	c CG trim time 0.000134 s
3600.09/3609.80	c CG minimized 0
3600.09/3609.80	c CG minimize time 0 s
3600.09/3609.80	c CG am1 prop time 0.000616 s
3600.09/3609.80	c CG # am1s reformulated 0
3600.09/3609.80	c CG lower bound derived from am1s 0
3600.09/3609.80	c CG # clausal cores 1
3600.09/3609.80	c CG # cardinality cores 0
3600.09/3609.80	c CG # pb cores 0
3600.09/3609.80	c CG # pb reforms 0
3600.09/3609.80	c CG # cores discarded because of pb reform 0
3600.09/3609.80	d LOWERBOUND -300233
3600.09/3609.80	d NCORES 1
3600.09/3609.80	d NPBCORES 0
3600.09/3609.80	d NPBREFORM 0
3600.09/3609.80	d NTRIMMED 0
3600.09/3609.80	d NEXHAUSTED 0
3600.09/3609.80	d NAM1S 0
3600.09/3609.80	d AM1LB 0
3600.09/3609.80	c [Papilo Statistics]
3600.09/3609.80	c prepro time 0.312271s
3600.09/3609.80	c # tsx applied 4
3600.09/3609.80	c # tsx conflicts 0
3600.09/3609.80	c # bound changes 208
3600.09/3609.80	c # side changes 0
3600.09/3609.80	c # coef changes 0
3600.09/3609.80	c # rounds 2
3600.09/3609.80	c # deted vars 208
3600.09/3609.80	c # deted constrs 10192
3600.09/3609.80	c # consecutive rounds of only bound changes 0
3600.09/3609.81	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: 63794 MiB (63017 MiB free)
  memory of node 1: 64507 MiB (57393 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502499-1751469849/watcher-4502499-1751469849 -o /tmp/evaluation-result-4502499-1751469849/solver-4502499-1751469849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751466235-69388 --watchdog 3760 mixed-bag HOME/instance-4502499-1751469849.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=69747, runsolver pid=69744

[startup+0.100065 s]*
/proc/loadavg: 4.13 4.09 4.03 6/249 69748
/proc/meminfo: memFree=123301036/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=90512 memory=12932 CPUtime=0.08 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 2504 0 0 0 7 1 0 0 20 0 1 0 62664646 92684288 3233 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 22628 3233 2144 2842 0 4861 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90512 KiB
Current children cumulated memory: 12932 KiB

[startup+0.213066 s]*
/proc/loadavg: 4.13 4.09 4.03 4/248 69748
/proc/meminfo: memFree=123298992/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=92560 memory=15196 CPUtime=0.17 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 3078 0 0 0 16 1 0 0 20 0 1 0 62664646 94781440 3799 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 23140 3799 2144 2842 0 5373 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 92560 KiB
Current children cumulated memory: 15196 KiB

[startup+0.312482 s]*
/proc/loadavg: 4.13 4.09 4.03 5/246 69749
/proc/meminfo: memFree=123298992/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=92560 memory=17244 CPUtime=0.27 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 3619 0 0 0 26 1 0 0 20 0 1 0 62664646 94781440 4311 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 23140 4311 2144 2842 0 5373 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 92560 KiB
Current children cumulated memory: 17244 KiB

[startup+0.700312 s]
/proc/loadavg: 4.13 4.09 4.03 4/246 69761
/proc/meminfo: memFree=123307876/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=146252 memory=65100 CPUtime=0.65 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 11507 0 0 0 60 5 0 0 20 0 1 0 62664646 149762048 16275 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 36563 16275 2208 2842 0 18257 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 146252 KiB
Current children cumulated memory: 65100 KiB

[startup+1.50034 s]
/proc/loadavg: 4.13 4.09 4.03 5/250 69779
/proc/meminfo: memFree=123272924/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=253444 memory=177292 CPUtime=1.44 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 39557 0 0 0 132 12 0 0 20 0 1 0 62664646 259526656 44323 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 63361 44323 4032 2842 0 45055 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 253444 KiB
Current children cumulated memory: 177292 KiB

[startup+3.11256 s]
/proc/loadavg: 4.13 4.09 4.03 5/251 69810
/proc/meminfo: memFree=123046748/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=309576 memory=231828 CPUtime=3.05 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 57962 0 0 0 288 17 0 0 20 0 1 0 62664646 317005824 57957 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 77394 57957 4064 2842 0 59088 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 309576 KiB
Current children cumulated memory: 231828 KiB

[startup+6.30032 s]
/proc/loadavg: 4.12 4.09 4.03 5/248 69845
/proc/meminfo: memFree=123031752/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=309576 memory=231828 CPUtime=6.22 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 57997 0 0 0 605 17 0 0 20 0 1 0 62664646 317005824 57957 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 77394 57957 4064 2842 0 59088 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 309576 KiB
Current children cumulated memory: 231828 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122393840/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=309576 memory=231828 CPUtime=12.6 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 58003 0 0 0 1243 17 0 0 20 0 1 0 62664646 317005824 57957 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 77394 57957 4064 2842 0 59088 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 309576 KiB
Current children cumulated memory: 231828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.10 4.03 5/251 69856
/proc/meminfo: memFree=119382300/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=783220 memory=671496 CPUtime=25.36 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 95807 0 0 0 2506 30 0 0 20 0 1 0 62664646 802017280 167874 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 195805 167874 4256 2842 0 177499 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 783220 KiB
Current children cumulated memory: 671496 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 69856
/proc/meminfo: memFree=117749732/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=783220 memory=671624 CPUtime=50.89 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 95814 0 0 0 5059 30 0 0 20 0 1 0 62664646 802017280 167906 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 195805 167906 4288 2842 0 177499 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 783220 KiB
Current children cumulated memory: 671624 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/250 69902
/proc/meminfo: memFree=119339156/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=826800 memory=705172 CPUtime=101.93 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 103192 0 0 0 10162 31 0 0 20 0 1 0 62664646 846643200 176293 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 206700 176293 4288 2842 0 188394 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 826800 KiB
Current children cumulated memory: 705172 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/250 69997
/proc/meminfo: memFree=119310080/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=916448 memory=796948 CPUtime=161.77 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 125836 0 0 0 16142 35 0 0 20 0 1 0 62664646 938442752 199237 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 229112 199237 4288 2842 0 210806 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 916448 KiB
Current children cumulated memory: 796948 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/250 70043
/proc/meminfo: memFree=117620120/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=916448 memory=801428 CPUtime=221.59 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 125856 0 0 0 22124 35 0 0 20 0 1 0 62664646 938442752 200357 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 229112 200357 4288 2842 0 210806 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 916448 KiB
Current children cumulated memory: 801428 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/250 70045
/proc/meminfo: memFree=116343760/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=916448 memory=803860 CPUtime=281.4 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 125870 0 0 0 28105 35 0 0 20 0 1 0 62664646 938442752 200965 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 229112 200965 4288 2842 0 210806 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 916448 KiB
Current children cumulated memory: 803860 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/250 70047
/proc/meminfo: memFree=118541336/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=688940 memory=591512 CPUtime=341.22 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 129164 0 0 0 34066 56 0 0 20 0 1 0 62664646 705474560 147878 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 172235 147878 4448 2842 0 153929 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 688940 KiB
Current children cumulated memory: 591512 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/250 70050
/proc/meminfo: memFree=118388380/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=770328 memory=637624 CPUtime=401.06 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 129882 0 0 0 40032 74 0 0 20 0 1 0 62664646 788815872 159406 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 192582 159406 4448 2842 0 174276 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 770328 KiB
Current children cumulated memory: 637624 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/250 70057
/proc/meminfo: memFree=117811472/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=770328 memory=637624 CPUtime=460.89 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 129928 0 0 0 46003 86 0 0 20 0 1 0 62664646 788815872 159406 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 192582 159406 4448 2842 0 174276 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 885128 KiB

[startup+2862.3 s]
/proc/loadavg: 4.62 4.39 4.22 5/250 70183
/proc/meminfo: memFree=110609128/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=917896 CPUtime=2854.57 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132232 0 0 0 284913 544 0 0 20 0 1 0 62664646 1144332288 229474 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 229474 4448 2842 0 261072 0
Current children cumulated CPU time: 2854.57 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 917896 KiB

[startup+2922.3 s]
/proc/loadavg: 4.29 4.33 4.21 5/251 70186
/proc/meminfo: memFree=110572604/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=948616 CPUtime=2914.41 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132272 0 0 0 290894 547 0 0 20 0 1 0 62664646 1144332288 237154 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 237154 4448 2842 0 261072 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 948616 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.28 4.19 5/251 70188
/proc/meminfo: memFree=110084412/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=2974.25 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132291 0 0 0 296869 556 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.24 4.18 5/251 70190
/proc/meminfo: memFree=110020128/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3034.08 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132291 0 0 0 302848 560 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.23 4.18 5/251 70192
/proc/meminfo: memFree=109991108/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3093.92 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132291 0 0 0 308828 564 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/251 70195
/proc/meminfo: memFree=109983648/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3153.76 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132291 0 0 0 314809 567 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/252 70200
/proc/meminfo: memFree=109829772/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3213.61 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132291 0 0 0 320790 571 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.15 4.16 5/252 70203
/proc/meminfo: memFree=109824468/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3273.45 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132292 0 0 0 326768 577 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/252 70205
/proc/meminfo: memFree=109816944/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3333.29 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132384 0 0 0 332741 588 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/252 70207
/proc/meminfo: memFree=109748252/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3393.13 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132467 0 0 0 338718 595 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/252 70213
/proc/meminfo: memFree=109742244/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3452.97 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132469 0 0 0 344698 599 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/252 70215
/proc/meminfo: memFree=109703740/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3512.81 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132469 0 0 0 350679 602 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/252 70218
/proc/meminfo: memFree=109670164/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=960904 CPUtime=3572.66 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132469 0 0 0 356660 606 0 0 20 0 1 0 62664646 1144332288 240226 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 240226 4448 2842 0 261072 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 960904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.13 4.15 5/252 70219
/proc/meminfo: memFree=109644152/131382116 swapFree=33010684/33010684
[pid=69747] ppid=69744 vsize=1117512 memory=975240 CPUtime=3600.09 cores=4,6
/proc/69747/stat : 69747 (mixed-bag) R 69744 69747 69377 0 -1 4194304 132481 0 0 0 359402 607 0 0 20 0 1 0 62664646 1144332288 243810 18446744073709551615 4235264 15874749 140723146687056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41193472 140723146693020 140723146693097 140723146693097 140723146698699 0
/proc/69747/statm: 279378 243810 4448 2842 0 261072 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1117512 KiB
Current children cumulated memory: 975240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.03 s, system=6.08267 s

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

Child status: 0

Real time (s): 3609.82
CPU time (s): 3600.11
CPU user time (s): 3594.03
CPU system time (s): 6.08267
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 1117512
Max. memory (cumulated for all children) (KiB): 975240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.03
system time used= 6.08267
maximum resident set size= 976264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132513
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= 172
involuntary context switches= 1362


# summary of solver processes directly reported to runsolver:
#   pid: 69747
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3594.03
#   total CPU system time (s): 6.08267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5193 second user time and 34.3436 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 17:24:09
IDJOB=4502499
IDBENCH=155347
IDSOLVER=3340
FILE ID=nodeC011/4502499-1751469849
RUNJOBID= nodeC011-1751466235-69388
SLURM_JOB_ID= 9598483
Free space on /tmp= 430700 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502499-1751469849/watcher-4502499-1751469849 -o /tmp/evaluation-result-4502499-1751469849/solver-4502499-1751469849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751466235-69388 --watchdog 3760  mixed-bag HOME/instance-4502499-1751469849.opb

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

MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=2123325542

nodeC011 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		: 2594.125
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	: 6984.20
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.198
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	: 6984.20
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.699
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	: 6984.20
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		: 1198.064
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	: 6984.20
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		: 1995.899
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	: 6984.20
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		: 3661.852
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        123300940 kB
MemAvailable:   124964524 kB
Buffers:            3276 kB
Cached:          2466636 kB
SwapCached:            0 kB
Active:          5425132 kB
Inactive:        2038800 kB
Active(anon):    5009876 kB
Inactive(anon):     2104 kB
Active(file):     415256 kB
Inactive(file):  2036696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20516 kB
Writeback:             0 kB
AnonPages:       4995176 kB
Mapped:           116648 kB
Shmem:             17960 kB
KReclaimable:     102132 kB
Slab:             187040 kB
SReclaimable:     102132 kB
SUnreclaim:        84908 kB
KernelStack:        4016 kB
PageTables:        12952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5798896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    983040 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430628 MiB
End job on nodeC011 at 2025-07-02 18:24:19