Trace number 4454713

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB54
LOWERBOUND132
NAM1S54
NCORES78
NEXHAUSTED0
NPBCORES64
NPBREFORM0
NTRIMMED2
SCIPUB196

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark182
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables478
Total number of constraints478
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
Number of bits of the biggest sum of numbers9
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.22	c RoundingSat 2
0.00/0.22	c branch 
0.00/0.22	c commit 
0.00/0.22	c with Papilo
0.00/0.22	c with SCIP
0.00/0.22	c [STEP] parsing instance
0.00/0.22	c [STEP] preprocessing with Papilo
0.00/0.26	c [STEP] solving with SCIP
299.32/300.36	c [STEP] preprocessing done, loading into solver
299.32/300.36	c [STEP] solving
299.32/300.36	c #variables 479 #constraints 478
299.32/300.36	c SMALL=int, LARGE=long long
299.32/300.36	d SCIPUB 196
299.32/300.36	c bounds - >= 0 @ 299.081
299.32/300.36	c stratification level: 0
319.27/320.35	c bounds - >= 55 @ 299.081
319.27/320.35	c bounds - >= 56 @ 299.081
319.27/320.35	c bounds - >= 57 @ 299.081
319.27/320.35	c bounds - >= 58 @ 299.081
319.27/320.35	c bounds - >= 59 @ 299.081
319.27/320.35	c bounds - >= 60 @ 299.081
319.27/320.35	c bounds - >= 61 @ 299.081
319.27/320.35	c bounds - >= 62 @ 299.081
319.27/320.35	c bounds - >= 63 @ 299.081
319.27/320.35	c bounds - >= 64 @ 299.081
319.27/320.35	c bounds - >= 65 @ 299.081
319.27/320.35	c bounds - >= 66 @ 299.081
319.27/320.35	c bounds - >= 67 @ 299.081
319.27/320.35	c bounds - >= 68 @ 299.081
319.27/320.35	c bounds - >= 69 @ 299.082
319.27/320.35	c bounds - >= 70 @ 299.082
319.27/320.35	c bounds - >= 71 @ 299.082
319.27/320.35	c bounds - >= 72 @ 299.082
319.27/320.35	c bounds - >= 73 @ 299.082
319.27/320.35	c bounds - >= 74 @ 299.082
319.27/320.35	c bounds - >= 75 @ 299.082
319.27/320.35	c bounds - >= 76 @ 299.082
319.27/320.35	c bounds - >= 77 @ 299.082
319.27/320.35	c bounds - >= 78 @ 299.083
319.27/320.35	c bounds - >= 79 @ 299.083
319.27/320.35	c bounds - >= 80 @ 299.083
319.27/320.35	c bounds - >= 81 @ 299.083
319.27/320.35	c bounds - >= 82 @ 299.083
319.27/320.35	c bounds - >= 83 @ 299.083
319.27/320.35	c bounds - >= 84 @ 299.083
319.27/320.35	c bounds - >= 85 @ 299.083
319.27/320.35	c bounds - >= 86 @ 299.084
319.27/320.35	c bounds - >= 87 @ 299.084
319.27/320.35	c bounds - >= 88 @ 299.084
319.27/320.35	c bounds - >= 89 @ 299.084
319.27/320.35	c bounds - >= 90 @ 299.084
319.27/320.35	c bounds - >= 91 @ 299.084
319.27/320.35	c bounds - >= 92 @ 299.084
319.27/320.35	c bounds - >= 93 @ 299.084
319.27/320.35	c bounds - >= 94 @ 299.084
319.27/320.35	c bounds - >= 95 @ 299.085
319.27/320.35	c bounds - >= 96 @ 299.085
319.27/320.35	c bounds - >= 97 @ 299.085
319.27/320.35	c bounds - >= 98 @ 299.085
319.27/320.35	c bounds - >= 99 @ 299.085
319.27/320.35	c bounds - >= 100 @ 299.085
319.27/320.35	c bounds - >= 101 @ 299.085
319.27/320.35	c bounds - >= 102 @ 299.085
319.27/320.35	c bounds - >= 103 @ 299.085
319.27/320.35	c bounds - >= 104 @ 299.085
319.27/320.35	c bounds - >= 105 @ 299.085
319.27/320.35	c bounds - >= 106 @ 299.085
319.27/320.35	c bounds - >= 107 @ 299.085
319.27/320.35	c bounds - >= 108 @ 299.085
319.27/320.35	c bounds - >= 109 @ 299.085
319.27/320.35	c bounds - >= 110 @ 299.085
319.27/320.35	c bounds - >= 111 @ 299.085
319.27/320.35	c bounds - >= 112 @ 299.085
319.27/320.35	c bounds - >= 113 @ 299.086
319.27/320.35	c bounds - >= 114 @ 299.086
319.27/320.35	c bounds - >= 115 @ 299.086
319.27/320.35	c bounds - >= 116 @ 299.086
319.27/320.35	c bounds - >= 117 @ 299.086
319.27/320.35	c bounds - >= 118 @ 299.086
319.27/320.35	c bounds - >= 119 @ 299.086
319.27/320.35	c bounds - >= 120 @ 299.086
319.27/320.35	c bounds - >= 121 @ 299.086
319.27/320.35	c bounds - >= 122 @ 299.086
319.27/320.35	c bounds - >= 123 @ 299.086
319.27/320.35	c bounds - >= 124 @ 299.086
319.27/320.35	c bounds - >= 125 @ 299.086
319.27/320.35	c bounds - >= 126 @ 299.086
319.27/320.35	c bounds - >= 127 @ 299.086
319.27/320.35	c bounds - >= 128 @ 299.086
319.27/320.35	c bounds - >= 129 @ 299.087
319.27/320.35	c bounds - >= 130 @ 299.087
319.27/320.35	c bounds - >= 131 @ 299.087
319.27/320.35	c bounds - >= 132 @ 299.087
319.27/320.35	c #Conflicts:       1000 | #Constraints:       1618
319.27/320.35	c #Conflicts:       2000 | #Constraints:       2618
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:       3000 | #Constraints:       2542
319.27/320.35	c #Conflicts:       4000 | #Constraints:       3542
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:       5000 | #Constraints:       2947
319.27/320.35	c #Conflicts:       6000 | #Constraints:       3947
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:       7000 | #Constraints:       2950
319.27/320.35	c #Conflicts:       8000 | #Constraints:       3950
319.27/320.35	c #Conflicts:       9000 | #Constraints:       4950
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      10000 | #Constraints:       3652
319.27/320.35	c #Conflicts:      11000 | #Constraints:       4652
319.27/320.35	c #Conflicts:      12000 | #Constraints:       5652
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      13000 | #Constraints:       4105
319.27/320.35	c #Conflicts:      14000 | #Constraints:       5105
319.27/320.35	c #Conflicts:      15000 | #Constraints:       6105
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      16000 | #Constraints:       4333
319.27/320.35	c #Conflicts:      17000 | #Constraints:       5333
319.27/320.35	c #Conflicts:      18000 | #Constraints:       6333
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      19000 | #Constraints:       4340
319.27/320.35	c #Conflicts:      20000 | #Constraints:       5340
319.27/320.35	c #Conflicts:      21000 | #Constraints:       6340
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      22000 | #Constraints:       4148
319.27/320.35	c #Conflicts:      23000 | #Constraints:       5148
319.27/320.35	c #Conflicts:      24000 | #Constraints:       6148
319.27/320.35	c #Conflicts:      25000 | #Constraints:       7148
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      26000 | #Constraints:       4748
319.27/320.35	c #Conflicts:      27000 | #Constraints:       5748
319.27/320.35	c #Conflicts:      28000 | #Constraints:       6748
319.27/320.35	c #Conflicts:      29000 | #Constraints:       7748
319.27/320.35	c INPROCESSING
319.27/320.35	c GARBAGE COLLECT
319.27/320.35	c #Conflicts:      30000 | #Constraints:       5143
319.27/320.35	c #Conflicts:      31000 | #Constraints:       6143
319.27/320.35	c #Conflicts:      32000 | #Constraints:       7143
436.69/438.01	c #Conflicts:      33000 | #Constraints:       8143
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      34000 | #Constraints:       5349
436.69/438.01	c #Conflicts:      35000 | #Constraints:       6349
436.69/438.01	c #Conflicts:      36000 | #Constraints:       7349
436.69/438.01	c #Conflicts:      37000 | #Constraints:       8349
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      38000 | #Constraints:       5349
436.69/438.01	c #Conflicts:      39000 | #Constraints:       6349
436.69/438.01	c #Conflicts:      40000 | #Constraints:       7349
436.69/438.01	c #Conflicts:      41000 | #Constraints:       8349
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      42000 | #Constraints:       5150
436.69/438.01	c #Conflicts:      43000 | #Constraints:       6150
436.69/438.01	c #Conflicts:      44000 | #Constraints:       7150
436.69/438.01	c #Conflicts:      45000 | #Constraints:       8150
436.69/438.01	c #Conflicts:      46000 | #Constraints:       9150
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      47000 | #Constraints:       5748
436.69/438.01	c #Conflicts:      48000 | #Constraints:       6748
436.69/438.01	c #Conflicts:      49000 | #Constraints:       7748
436.69/438.01	c #Conflicts:      50000 | #Constraints:       8748
436.69/438.01	c #Conflicts:      51000 | #Constraints:       9748
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      52000 | #Constraints:       6152
436.69/438.01	c #Conflicts:      53000 | #Constraints:       7152
436.69/438.01	c #Conflicts:      54000 | #Constraints:       8152
436.69/438.01	c #Conflicts:      55000 | #Constraints:       9152
436.69/438.01	c #Conflicts:      56000 | #Constraints:      10152
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      57000 | #Constraints:       6348
436.69/438.01	c #Conflicts:      58000 | #Constraints:       7348
436.69/438.01	c #Conflicts:      59000 | #Constraints:       8348
436.69/438.01	c #Conflicts:      60000 | #Constraints:       9348
436.69/438.01	c #Conflicts:      61000 | #Constraints:      10348
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      62000 | #Constraints:       6355
436.69/438.01	c #Conflicts:      63000 | #Constraints:       7355
436.69/438.01	c #Conflicts:      64000 | #Constraints:       8355
436.69/438.01	c #Conflicts:      65000 | #Constraints:       9355
436.69/438.01	c #Conflicts:      66000 | #Constraints:      10355
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      67000 | #Constraints:       6152
436.69/438.01	c #Conflicts:      68000 | #Constraints:       7152
436.69/438.01	c #Conflicts:      69000 | #Constraints:       8152
436.69/438.01	c #Conflicts:      70000 | #Constraints:       9152
436.69/438.01	c #Conflicts:      71000 | #Constraints:      10152
436.69/438.01	c #Conflicts:      72000 | #Constraints:      11152
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      73000 | #Constraints:       6752
436.69/438.01	c #Conflicts:      74000 | #Constraints:       7752
436.69/438.01	c #Conflicts:      75000 | #Constraints:       8752
436.69/438.01	c #Conflicts:      76000 | #Constraints:       9752
436.69/438.01	c #Conflicts:      77000 | #Constraints:      10752
436.69/438.01	c #Conflicts:      78000 | #Constraints:      11752
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      79000 | #Constraints:       7153
436.69/438.01	c #Conflicts:      80000 | #Constraints:       8153
436.69/438.01	c #Conflicts:      81000 | #Constraints:       9153
436.69/438.01	c #Conflicts:      82000 | #Constraints:      10153
436.69/438.01	c #Conflicts:      83000 | #Constraints:      11153
436.69/438.01	c #Conflicts:      84000 | #Constraints:      12153
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      85000 | #Constraints:       7354
436.69/438.01	c #Conflicts:      86000 | #Constraints:       8354
436.69/438.01	c #Conflicts:      87000 | #Constraints:       9354
436.69/438.01	c #Conflicts:      88000 | #Constraints:      10354
436.69/438.01	c #Conflicts:      89000 | #Constraints:      11354
436.69/438.01	c #Conflicts:      90000 | #Constraints:      12354
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      91000 | #Constraints:       7352
436.69/438.01	c #Conflicts:      92000 | #Constraints:       8352
436.69/438.01	c #Conflicts:      93000 | #Constraints:       9352
436.69/438.01	c #Conflicts:      94000 | #Constraints:      10352
436.69/438.01	c #Conflicts:      95000 | #Constraints:      11352
436.69/438.01	c #Conflicts:      96000 | #Constraints:      12352
436.69/438.01	c INPROCESSING
436.69/438.01	c GARBAGE COLLECT
436.69/438.01	c #Conflicts:      97000 | #Constraints:       7151
436.69/438.01	c #Conflicts:      98000 | #Constraints:       8151
436.69/438.01	c #Conflicts:      99000 | #Constraints:       9151
436.69/438.01	c #Conflicts:     100000 | #Constraints:      10151
436.69/438.01	c #Conflicts:     101000 | #Constraints:      11151
436.69/438.01	c #Conflicts:     102000 | #Constraints:      12151
616.14/617.90	c #Conflicts:     103000 | #Constraints:      13151
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     104000 | #Constraints:       7746
616.14/617.90	c #Conflicts:     105000 | #Constraints:       8746
616.14/617.90	c #Conflicts:     106000 | #Constraints:       9746
616.14/617.90	c #Conflicts:     107000 | #Constraints:      10746
616.14/617.90	c #Conflicts:     108000 | #Constraints:      11746
616.14/617.90	c #Conflicts:     109000 | #Constraints:      12746
616.14/617.90	c #Conflicts:     110000 | #Constraints:      13746
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     111000 | #Constraints:       8154
616.14/617.90	c #Conflicts:     112000 | #Constraints:       9154
616.14/617.90	c #Conflicts:     113000 | #Constraints:      10154
616.14/617.90	c #Conflicts:     114000 | #Constraints:      11154
616.14/617.90	c #Conflicts:     115000 | #Constraints:      12154
616.14/617.90	c #Conflicts:     116000 | #Constraints:      13154
616.14/617.90	c #Conflicts:     117000 | #Constraints:      14154
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     118000 | #Constraints:       8355
616.14/617.90	c #Conflicts:     119000 | #Constraints:       9355
616.14/617.90	c #Conflicts:     120000 | #Constraints:      10355
616.14/617.90	c #Conflicts:     121000 | #Constraints:      11355
616.14/617.90	c #Conflicts:     122000 | #Constraints:      12355
616.14/617.90	c #Conflicts:     123000 | #Constraints:      13355
616.14/617.90	c #Conflicts:     124000 | #Constraints:      14355
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     125000 | #Constraints:       8349
616.14/617.90	c #Conflicts:     126000 | #Constraints:       9349
616.14/617.90	c #Conflicts:     127000 | #Constraints:      10349
616.14/617.90	c #Conflicts:     128000 | #Constraints:      11349
616.14/617.90	c #Conflicts:     129000 | #Constraints:      12349
616.14/617.90	c #Conflicts:     130000 | #Constraints:      13349
616.14/617.90	c #Conflicts:     131000 | #Constraints:      14349
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     132000 | #Constraints:       8149
616.14/617.90	c #Conflicts:     133000 | #Constraints:       9149
616.14/617.90	c #Conflicts:     134000 | #Constraints:      10149
616.14/617.90	c #Conflicts:     135000 | #Constraints:      11149
616.14/617.90	c #Conflicts:     136000 | #Constraints:      12149
616.14/617.90	c #Conflicts:     137000 | #Constraints:      13149
616.14/617.90	c #Conflicts:     138000 | #Constraints:      14149
616.14/617.90	c #Conflicts:     139000 | #Constraints:      15149
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     140000 | #Constraints:       8747
616.14/617.90	c #Conflicts:     141000 | #Constraints:       9747
616.14/617.90	c #Conflicts:     142000 | #Constraints:      10747
616.14/617.90	c #Conflicts:     143000 | #Constraints:      11747
616.14/617.90	c #Conflicts:     144000 | #Constraints:      12747
616.14/617.90	c #Conflicts:     145000 | #Constraints:      13747
616.14/617.90	c #Conflicts:     146000 | #Constraints:      14747
616.14/617.90	c #Conflicts:     147000 | #Constraints:      15747
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     148000 | #Constraints:       9154
616.14/617.90	c #Conflicts:     149000 | #Constraints:      10154
616.14/617.90	c #Conflicts:     150000 | #Constraints:      11154
616.14/617.90	c #Conflicts:     151000 | #Constraints:      12154
616.14/617.90	c #Conflicts:     152000 | #Constraints:      13154
616.14/617.90	c #Conflicts:     153000 | #Constraints:      14154
616.14/617.90	c #Conflicts:     154000 | #Constraints:      15154
616.14/617.90	c #Conflicts:     155000 | #Constraints:      16154
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     156000 | #Constraints:       9352
616.14/617.90	c #Conflicts:     157000 | #Constraints:      10352
616.14/617.90	c #Conflicts:     158000 | #Constraints:      11352
616.14/617.90	c #Conflicts:     159000 | #Constraints:      12352
616.14/617.90	c #Conflicts:     160000 | #Constraints:      13352
616.14/617.90	c #Conflicts:     161000 | #Constraints:      14352
616.14/617.90	c #Conflicts:     162000 | #Constraints:      15352
616.14/617.90	c #Conflicts:     163000 | #Constraints:      16352
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     164000 | #Constraints:       9352
616.14/617.90	c #Conflicts:     165000 | #Constraints:      10352
616.14/617.90	c #Conflicts:     166000 | #Constraints:      11352
616.14/617.90	c #Conflicts:     167000 | #Constraints:      12352
616.14/617.90	c #Conflicts:     168000 | #Constraints:      13352
616.14/617.90	c #Conflicts:     169000 | #Constraints:      14352
616.14/617.90	c #Conflicts:     170000 | #Constraints:      15352
616.14/617.90	c #Conflicts:     171000 | #Constraints:      16352
616.14/617.90	c INPROCESSING
616.14/617.90	c GARBAGE COLLECT
616.14/617.90	c #Conflicts:     172000 | #Constraints:       9153
616.14/617.90	c #Conflicts:     173000 | #Constraints:      10153
616.14/617.90	c #Conflicts:     174000 | #Constraints:      11153
616.14/617.90	c #Conflicts:     175000 | #Constraints:      12153
838.70/841.05	c #Conflicts:     176000 | #Constraints:      13153
838.70/841.05	c #Conflicts:     177000 | #Constraints:      14153
838.70/841.05	c #Conflicts:     178000 | #Constraints:      15153
838.70/841.05	c #Conflicts:     179000 | #Constraints:      16153
838.70/841.05	c #Conflicts:     180000 | #Constraints:      17153
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     181000 | #Constraints:       9756
838.70/841.05	c #Conflicts:     182000 | #Constraints:      10756
838.70/841.05	c #Conflicts:     183000 | #Constraints:      11756
838.70/841.05	c #Conflicts:     184000 | #Constraints:      12756
838.70/841.05	c #Conflicts:     185000 | #Constraints:      13756
838.70/841.05	c #Conflicts:     186000 | #Constraints:      14756
838.70/841.05	c #Conflicts:     187000 | #Constraints:      15756
838.70/841.05	c #Conflicts:     188000 | #Constraints:      16756
838.70/841.05	c #Conflicts:     189000 | #Constraints:      17756
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     190000 | #Constraints:      10158
838.70/841.05	c #Conflicts:     191000 | #Constraints:      11158
838.70/841.05	c #Conflicts:     192000 | #Constraints:      12158
838.70/841.05	c #Conflicts:     193000 | #Constraints:      13158
838.70/841.05	c #Conflicts:     194000 | #Constraints:      14158
838.70/841.05	c #Conflicts:     195000 | #Constraints:      15158
838.70/841.05	c #Conflicts:     196000 | #Constraints:      16158
838.70/841.05	c #Conflicts:     197000 | #Constraints:      17158
838.70/841.05	c #Conflicts:     198000 | #Constraints:      18158
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     199000 | #Constraints:      10363
838.70/841.05	c #Conflicts:     200000 | #Constraints:      11363
838.70/841.05	c #Conflicts:     201000 | #Constraints:      12363
838.70/841.05	c #Conflicts:     202000 | #Constraints:      13363
838.70/841.05	c #Conflicts:     203000 | #Constraints:      14363
838.70/841.05	c #Conflicts:     204000 | #Constraints:      15363
838.70/841.05	c #Conflicts:     205000 | #Constraints:      16363
838.70/841.05	c #Conflicts:     206000 | #Constraints:      17363
838.70/841.05	c #Conflicts:     207000 | #Constraints:      18363
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     208000 | #Constraints:      10360
838.70/841.05	c #Conflicts:     209000 | #Constraints:      11360
838.70/841.05	c #Conflicts:     210000 | #Constraints:      12360
838.70/841.05	c #Conflicts:     211000 | #Constraints:      13360
838.70/841.05	c #Conflicts:     212000 | #Constraints:      14360
838.70/841.05	c #Conflicts:     213000 | #Constraints:      15360
838.70/841.05	c #Conflicts:     214000 | #Constraints:      16360
838.70/841.05	c #Conflicts:     215000 | #Constraints:      17360
838.70/841.05	c #Conflicts:     216000 | #Constraints:      18360
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     217000 | #Constraints:      10164
838.70/841.05	c #Conflicts:     218000 | #Constraints:      11164
838.70/841.05	c #Conflicts:     219000 | #Constraints:      12164
838.70/841.05	c #Conflicts:     220000 | #Constraints:      13164
838.70/841.05	c #Conflicts:     221000 | #Constraints:      14164
838.70/841.05	c #Conflicts:     222000 | #Constraints:      15164
838.70/841.05	c #Conflicts:     223000 | #Constraints:      16164
838.70/841.05	c #Conflicts:     224000 | #Constraints:      17164
838.70/841.05	c #Conflicts:     225000 | #Constraints:      18164
838.70/841.05	c #Conflicts:     226000 | #Constraints:      19164
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     227000 | #Constraints:      10768
838.70/841.05	c #Conflicts:     228000 | #Constraints:      11768
838.70/841.05	c #Conflicts:     229000 | #Constraints:      12768
838.70/841.05	c #Conflicts:     230000 | #Constraints:      13768
838.70/841.05	c #Conflicts:     231000 | #Constraints:      14768
838.70/841.05	c #Conflicts:     232000 | #Constraints:      15768
838.70/841.05	c #Conflicts:     233000 | #Constraints:      16768
838.70/841.05	c #Conflicts:     234000 | #Constraints:      17768
838.70/841.05	c #Conflicts:     235000 | #Constraints:      18768
838.70/841.05	c #Conflicts:     236000 | #Constraints:      19768
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     237000 | #Constraints:      11160
838.70/841.05	c #Conflicts:     238000 | #Constraints:      12160
838.70/841.05	c #Conflicts:     239000 | #Constraints:      13160
838.70/841.05	c #Conflicts:     240000 | #Constraints:      14160
838.70/841.05	c #Conflicts:     241000 | #Constraints:      15160
838.70/841.05	c #Conflicts:     242000 | #Constraints:      16160
838.70/841.05	c #Conflicts:     243000 | #Constraints:      17160
838.70/841.05	c #Conflicts:     244000 | #Constraints:      18160
838.70/841.05	c #Conflicts:     245000 | #Constraints:      19160
838.70/841.05	c #Conflicts:     246000 | #Constraints:      20160
838.70/841.05	c INPROCESSING
838.70/841.05	c GARBAGE COLLECT
838.70/841.05	c #Conflicts:     247000 | #Constraints:      11357
838.70/841.05	c #Conflicts:     248000 | #Constraints:      12357
1090.61/1093.54	c #Conflicts:     249000 | #Constraints:      13357
1090.61/1093.54	c #Conflicts:     250000 | #Constraints:      14357
1090.61/1093.54	c #Conflicts:     251000 | #Constraints:      15357
1090.61/1093.54	c #Conflicts:     252000 | #Constraints:      16357
1090.61/1093.54	c #Conflicts:     253000 | #Constraints:      17357
1090.61/1093.54	c #Conflicts:     254000 | #Constraints:      18357
1090.61/1093.54	c #Conflicts:     255000 | #Constraints:      19357
1090.61/1093.54	c #Conflicts:     256000 | #Constraints:      20357
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     257000 | #Constraints:      11353
1090.61/1093.54	c #Conflicts:     258000 | #Constraints:      12353
1090.61/1093.54	c #Conflicts:     259000 | #Constraints:      13353
1090.61/1093.54	c #Conflicts:     260000 | #Constraints:      14353
1090.61/1093.54	c #Conflicts:     261000 | #Constraints:      15353
1090.61/1093.54	c #Conflicts:     262000 | #Constraints:      16353
1090.61/1093.54	c #Conflicts:     263000 | #Constraints:      17353
1090.61/1093.54	c #Conflicts:     264000 | #Constraints:      18353
1090.61/1093.54	c #Conflicts:     265000 | #Constraints:      19353
1090.61/1093.54	c #Conflicts:     266000 | #Constraints:      20353
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     267000 | #Constraints:      11155
1090.61/1093.54	c #Conflicts:     268000 | #Constraints:      12155
1090.61/1093.54	c #Conflicts:     269000 | #Constraints:      13155
1090.61/1093.54	c #Conflicts:     270000 | #Constraints:      14155
1090.61/1093.54	c #Conflicts:     271000 | #Constraints:      15155
1090.61/1093.54	c #Conflicts:     272000 | #Constraints:      16155
1090.61/1093.54	c #Conflicts:     273000 | #Constraints:      17155
1090.61/1093.54	c #Conflicts:     274000 | #Constraints:      18155
1090.61/1093.54	c #Conflicts:     275000 | #Constraints:      19155
1090.61/1093.54	c #Conflicts:     276000 | #Constraints:      20155
1090.61/1093.54	c #Conflicts:     277000 | #Constraints:      21155
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     278000 | #Constraints:      11760
1090.61/1093.54	c #Conflicts:     279000 | #Constraints:      12760
1090.61/1093.54	c #Conflicts:     280000 | #Constraints:      13760
1090.61/1093.54	c #Conflicts:     281000 | #Constraints:      14760
1090.61/1093.54	c #Conflicts:     282000 | #Constraints:      15760
1090.61/1093.54	c #Conflicts:     283000 | #Constraints:      16760
1090.61/1093.54	c #Conflicts:     284000 | #Constraints:      17760
1090.61/1093.54	c #Conflicts:     285000 | #Constraints:      18760
1090.61/1093.54	c #Conflicts:     286000 | #Constraints:      19760
1090.61/1093.54	c #Conflicts:     287000 | #Constraints:      20760
1090.61/1093.54	c #Conflicts:     288000 | #Constraints:      21760
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     289000 | #Constraints:      12157
1090.61/1093.54	c #Conflicts:     290000 | #Constraints:      13157
1090.61/1093.54	c #Conflicts:     291000 | #Constraints:      14157
1090.61/1093.54	c #Conflicts:     292000 | #Constraints:      15157
1090.61/1093.54	c #Conflicts:     293000 | #Constraints:      16157
1090.61/1093.54	c #Conflicts:     294000 | #Constraints:      17157
1090.61/1093.54	c #Conflicts:     295000 | #Constraints:      18157
1090.61/1093.54	c #Conflicts:     296000 | #Constraints:      19157
1090.61/1093.54	c #Conflicts:     297000 | #Constraints:      20157
1090.61/1093.54	c #Conflicts:     298000 | #Constraints:      21157
1090.61/1093.54	c #Conflicts:     299000 | #Constraints:      22157
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     300000 | #Constraints:      12358
1090.61/1093.54	c #Conflicts:     301000 | #Constraints:      13358
1090.61/1093.54	c #Conflicts:     302000 | #Constraints:      14358
1090.61/1093.54	c #Conflicts:     303000 | #Constraints:      15358
1090.61/1093.54	c #Conflicts:     304000 | #Constraints:      16358
1090.61/1093.54	c #Conflicts:     305000 | #Constraints:      17358
1090.61/1093.54	c #Conflicts:     306000 | #Constraints:      18358
1090.61/1093.54	c #Conflicts:     307000 | #Constraints:      19358
1090.61/1093.54	c #Conflicts:     308000 | #Constraints:      20358
1090.61/1093.54	c #Conflicts:     309000 | #Constraints:      21358
1090.61/1093.54	c #Conflicts:     310000 | #Constraints:      22358
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     311000 | #Constraints:      12354
1090.61/1093.54	c #Conflicts:     312000 | #Constraints:      13354
1090.61/1093.54	c #Conflicts:     313000 | #Constraints:      14354
1090.61/1093.54	c #Conflicts:     314000 | #Constraints:      15354
1090.61/1093.54	c #Conflicts:     315000 | #Constraints:      16354
1090.61/1093.54	c #Conflicts:     316000 | #Constraints:      17354
1090.61/1093.54	c #Conflicts:     317000 | #Constraints:      18354
1090.61/1093.54	c #Conflicts:     318000 | #Constraints:      19354
1090.61/1093.54	c #Conflicts:     319000 | #Constraints:      20354
1090.61/1093.54	c #Conflicts:     320000 | #Constraints:      21354
1090.61/1093.54	c #Conflicts:     321000 | #Constraints:      22354
1090.61/1093.54	c INPROCESSING
1090.61/1093.54	c GARBAGE COLLECT
1090.61/1093.54	c #Conflicts:     322000 | #Constraints:      12158
1090.61/1093.54	c #Conflicts:     323000 | #Constraints:      13158
1408.25/1411.93	c #Conflicts:     324000 | #Constraints:      14158
1408.25/1411.93	c #Conflicts:     325000 | #Constraints:      15158
1408.25/1411.93	c #Conflicts:     326000 | #Constraints:      16158
1408.25/1411.93	c #Conflicts:     327000 | #Constraints:      17158
1408.25/1411.93	c #Conflicts:     328000 | #Constraints:      18158
1408.25/1411.93	c #Conflicts:     329000 | #Constraints:      19158
1408.25/1411.93	c #Conflicts:     330000 | #Constraints:      20158
1408.25/1411.93	c #Conflicts:     331000 | #Constraints:      21158
1408.25/1411.93	c #Conflicts:     332000 | #Constraints:      22158
1408.25/1411.93	c #Conflicts:     333000 | #Constraints:      23158
1408.25/1411.93	c INPROCESSING
1408.25/1411.93	c GARBAGE COLLECT
1408.25/1411.93	c #Conflicts:     334000 | #Constraints:      12754
1408.25/1411.93	c #Conflicts:     335000 | #Constraints:      13754
1408.25/1411.93	c #Conflicts:     336000 | #Constraints:      14754
1408.25/1411.93	c #Conflicts:     337000 | #Constraints:      15754
1408.25/1411.93	c #Conflicts:     338000 | #Constraints:      16754
1408.25/1411.93	c #Conflicts:     339000 | #Constraints:      17754
1408.25/1411.93	c #Conflicts:     340000 | #Constraints:      18754
1408.25/1411.93	c #Conflicts:     341000 | #Constraints:      19754
1408.25/1411.93	c #Conflicts:     342000 | #Constraints:      20754
1408.25/1411.93	c #Conflicts:     343000 | #Constraints:      21754
1408.25/1411.93	c #Conflicts:     344000 | #Constraints:      22754
1408.25/1411.93	c #Conflicts:     345000 | #Constraints:      23754
1408.25/1411.93	c INPROCESSING
1408.25/1411.93	c GARBAGE COLLECT
1408.25/1411.93	c #Conflicts:     346000 | #Constraints:      13152
1408.25/1411.93	c #Conflicts:     347000 | #Constraints:      14152
1408.25/1411.93	c #Conflicts:     348000 | #Constraints:      15152
1408.25/1411.93	c #Conflicts:     349000 | #Constraints:      16152
1408.25/1411.93	c #Conflicts:     350000 | #Constraints:      17152
1408.25/1411.93	c #Conflicts:     351000 | #Constraints:      18152
1408.25/1411.93	c #Conflicts:     352000 | #Constraints:      19152
1408.25/1411.93	c #Conflicts:     353000 | #Constraints:      20152
1408.25/1411.93	c #Conflicts:     354000 | #Constraints:      21152
1408.25/1411.93	c #Conflicts:     355000 | #Constraints:      22152
1408.25/1411.93	c #Conflicts:     356000 | #Constraints:      23152
1408.25/1411.93	c #Conflicts:     357000 | #Constraints:      24152
1408.25/1411.93	c INPROCESSING
1408.25/1411.93	c GARBAGE COLLECT
1408.25/1411.93	c #Conflicts:     358000 | #Constraints:      13353
1408.25/1411.93	c #Conflicts:     359000 | #Constraints:      14353
1408.25/1411.93	c #Conflicts:     360000 | #Constraints:      15353
1408.25/1411.93	c #Conflicts:     361000 | #Constraints:      16353
1408.25/1411.93	c #Conflicts:     362000 | #Constraints:      17353
1408.25/1411.93	c #Conflicts:     363000 | #Constraints:      18353
1408.25/1411.93	c #Conflicts:     364000 | #Constraints:      19353
1408.25/1411.93	c #Conflicts:     365000 | #Constraints:      20353
1408.25/1411.93	c #Conflicts:     366000 | #Constraints:      21353
1408.25/1411.93	c #Conflicts:     367000 | #Constraints:      22353
1408.25/1411.93	c #Conflicts:     368000 | #Constraints:      23353
1408.25/1411.93	c #Conflicts:     369000 | #Constraints:      24353
1408.25/1411.93	c INPROCESSING
1408.25/1411.93	c GARBAGE COLLECT
1408.25/1411.93	c #Conflicts:     370000 | #Constraints:      13349
1408.25/1411.93	c #Conflicts:     371000 | #Constraints:      14349
1408.25/1411.93	c #Conflicts:     372000 | #Constraints:      15349
1408.25/1411.93	c #Conflicts:     373000 | #Constraints:      16349
1408.25/1411.93	c #Conflicts:     374000 | #Constraints:      17349
1408.25/1411.93	c #Conflicts:     375000 | #Constraints:      18349
1408.25/1411.93	c #Conflicts:     376000 | #Constraints:      19349
1408.25/1411.93	c #Conflicts:     377000 | #Constraints:      20349
1408.25/1411.93	c #Conflicts:     378000 | #Constraints:      21349
1408.25/1411.93	c #Conflicts:     379000 | #Constraints:      22349
1408.25/1411.93	c #Conflicts:     380000 | #Constraints:      23349
1408.25/1411.93	c #Conflicts:     381000 | #Constraints:      24349
1408.25/1411.93	c INPROCESSING
1408.25/1411.93	c GARBAGE COLLECT
1408.25/1411.93	c #Conflicts:     382000 | #Constraints:      13147
1408.25/1411.93	c #Conflicts:     383000 | #Constraints:      14147
1408.25/1411.93	c #Conflicts:     384000 | #Constraints:      15147
1408.25/1411.93	c #Conflicts:     385000 | #Constraints:      16147
1408.25/1411.93	c #Conflicts:     386000 | #Constraints:      17147
1408.25/1411.93	c #Conflicts:     387000 | #Constraints:      18147
1408.25/1411.93	c #Conflicts:     388000 | #Constraints:      19147
1408.25/1411.93	c #Conflicts:     389000 | #Constraints:      20147
1408.25/1411.93	c #Conflicts:     390000 | #Constraints:      21147
1408.25/1411.93	c #Conflicts:     391000 | #Constraints:      22147
1408.25/1411.93	c #Conflicts:     392000 | #Constraints:      23147
1408.25/1411.93	c #Conflicts:     393000 | #Constraints:      24147
1408.25/1411.93	c #Conflicts:     394000 | #Constraints:      25147
1408.25/1411.93	c INPROCESSING
1408.25/1411.93	c GARBAGE COLLECT
1408.25/1411.93	c #Conflicts:     395000 | #Constraints:      13747
1408.25/1411.93	c #Conflicts:     396000 | #Constraints:      14747
1408.25/1411.93	c #Conflicts:     397000 | #Constraints:      15747
1408.25/1411.93	c #Conflicts:     398000 | #Constraints:      16747
1882.43/1887.23	c #Conflicts:     399000 | #Constraints:      17747
1882.43/1887.23	c #Conflicts:     400000 | #Constraints:      18747
1882.43/1887.23	c #Conflicts:     401000 | #Constraints:      19747
1882.43/1887.23	c #Conflicts:     402000 | #Constraints:      20747
1882.43/1887.23	c #Conflicts:     403000 | #Constraints:      21747
1882.43/1887.23	c #Conflicts:     404000 | #Constraints:      22747
1882.43/1887.23	c #Conflicts:     405000 | #Constraints:      23747
1882.43/1887.23	c #Conflicts:     406000 | #Constraints:      24747
1882.43/1887.23	c #Conflicts:     407000 | #Constraints:      25747
1882.43/1887.23	c INPROCESSING
1882.43/1887.23	c GARBAGE COLLECT
1882.43/1887.23	c #Conflicts:     408000 | #Constraints:      14147
1882.43/1887.23	c #Conflicts:     409000 | #Constraints:      15147
1882.43/1887.23	c #Conflicts:     410000 | #Constraints:      16147
1882.43/1887.23	c #Conflicts:     411000 | #Constraints:      17147
1882.43/1887.23	c #Conflicts:     412000 | #Constraints:      18147
1882.43/1887.23	c #Conflicts:     413000 | #Constraints:      19147
1882.43/1887.23	c #Conflicts:     414000 | #Constraints:      20147
1882.43/1887.23	c #Conflicts:     415000 | #Constraints:      21147
1882.43/1887.23	c #Conflicts:     416000 | #Constraints:      22147
1882.43/1887.23	c #Conflicts:     417000 | #Constraints:      23147
1882.43/1887.23	c #Conflicts:     418000 | #Constraints:      24147
1882.43/1887.23	c #Conflicts:     419000 | #Constraints:      25147
1882.43/1887.23	c #Conflicts:     420000 | #Constraints:      26147
1882.43/1887.23	c INPROCESSING
1882.43/1887.23	c GARBAGE COLLECT
1882.43/1887.23	c #Conflicts:     421000 | #Constraints:      14351
1882.43/1887.23	c #Conflicts:     422000 | #Constraints:      15351
1882.43/1887.23	c #Conflicts:     423000 | #Constraints:      16351
1882.43/1887.23	c #Conflicts:     424000 | #Constraints:      17351
1882.43/1887.23	c #Conflicts:     425000 | #Constraints:      18351
1882.43/1887.23	c #Conflicts:     426000 | #Constraints:      19351
1882.43/1887.23	c #Conflicts:     427000 | #Constraints:      20351
1882.43/1887.23	c #Conflicts:     428000 | #Constraints:      21351
1882.43/1887.23	c #Conflicts:     429000 | #Constraints:      22351
1882.43/1887.23	c #Conflicts:     430000 | #Constraints:      23351
1882.43/1887.23	c #Conflicts:     431000 | #Constraints:      24351
1882.43/1887.23	c #Conflicts:     432000 | #Constraints:      25351
1882.43/1887.23	c #Conflicts:     433000 | #Constraints:      26351
1882.43/1887.23	c INPROCESSING
1882.43/1887.23	c GARBAGE COLLECT
1882.43/1887.23	c #Conflicts:     434000 | #Constraints:      14356
1882.43/1887.23	c #Conflicts:     435000 | #Constraints:      15356
1882.43/1887.23	c #Conflicts:     436000 | #Constraints:      16356
1882.43/1887.23	c #Conflicts:     437000 | #Constraints:      17356
1882.43/1887.23	c #Conflicts:     438000 | #Constraints:      18356
1882.43/1887.23	c #Conflicts:     439000 | #Constraints:      19356
1882.43/1887.23	c #Conflicts:     440000 | #Constraints:      20356
1882.43/1887.23	c #Conflicts:     441000 | #Constraints:      21356
1882.43/1887.23	c #Conflicts:     442000 | #Constraints:      22356
1882.43/1887.23	c #Conflicts:     443000 | #Constraints:      23356
1882.43/1887.23	c #Conflicts:     444000 | #Constraints:      24356
1882.43/1887.23	c #Conflicts:     445000 | #Constraints:      25356
1882.43/1887.23	c #Conflicts:     446000 | #Constraints:      26356
1882.43/1887.23	c INPROCESSING
1882.43/1887.23	c GARBAGE COLLECT
1882.43/1887.23	c #Conflicts:     447000 | #Constraints:      14161
1882.43/1887.23	c #Conflicts:     448000 | #Constraints:      15161
1882.43/1887.23	c #Conflicts:     449000 | #Constraints:      16161
1882.43/1887.23	c #Conflicts:     450000 | #Constraints:      17161
1882.43/1887.23	c #Conflicts:     451000 | #Constraints:      18161
1882.43/1887.23	c #Conflicts:     452000 | #Constraints:      19161
1882.43/1887.23	c #Conflicts:     453000 | #Constraints:      20161
1882.43/1887.23	c #Conflicts:     454000 | #Constraints:      21161
1882.43/1887.23	c #Conflicts:     455000 | #Constraints:      22161
1882.43/1887.23	c #Conflicts:     456000 | #Constraints:      23161
1882.43/1887.23	c #Conflicts:     457000 | #Constraints:      24161
1882.43/1887.23	c #Conflicts:     458000 | #Constraints:      25161
1882.43/1887.23	c #Conflicts:     459000 | #Constraints:      26161
1882.43/1887.23	c #Conflicts:     460000 | #Constraints:      27161
1882.43/1887.23	c INPROCESSING
1882.43/1887.23	c GARBAGE COLLECT
1882.43/1887.23	c #Conflicts:     461000 | #Constraints:      14759
1882.43/1887.23	c #Conflicts:     462000 | #Constraints:      15759
1882.43/1887.23	c #Conflicts:     463000 | #Constraints:      16759
1882.43/1887.23	c #Conflicts:     464000 | #Constraints:      17759
1882.43/1887.23	c #Conflicts:     465000 | #Constraints:      18759
1882.43/1887.23	c #Conflicts:     466000 | #Constraints:      19759
1882.43/1887.23	c #Conflicts:     467000 | #Constraints:      20759
1882.43/1887.23	c #Conflicts:     468000 | #Constraints:      21759
1882.43/1887.23	c #Conflicts:     469000 | #Constraints:      22759
1882.43/1887.23	c #Conflicts:     470000 | #Constraints:      23759
1882.43/1887.23	c #Conflicts:     471000 | #Constraints:      24759
1882.43/1887.23	c #Conflicts:     472000 | #Constraints:      25759
1882.43/1887.23	c #Conflicts:     473000 | #Constraints:      26759
2295.53/2301.33	c #Conflicts:     474000 | #Constraints:      27759
2295.53/2301.33	c INPROCESSING
2295.53/2301.33	c GARBAGE COLLECT
2295.53/2301.33	c #Conflicts:     475000 | #Constraints:      15153
2295.53/2301.33	c #Conflicts:     476000 | #Constraints:      16153
2295.53/2301.33	c #Conflicts:     477000 | #Constraints:      17153
2295.53/2301.33	c #Conflicts:     478000 | #Constraints:      18153
2295.53/2301.33	c #Conflicts:     479000 | #Constraints:      19153
2295.53/2301.33	c #Conflicts:     480000 | #Constraints:      20153
2295.53/2301.33	c #Conflicts:     481000 | #Constraints:      21153
2295.53/2301.33	c #Conflicts:     482000 | #Constraints:      22153
2295.53/2301.33	c #Conflicts:     483000 | #Constraints:      23153
2295.53/2301.33	c #Conflicts:     484000 | #Constraints:      24153
2295.53/2301.33	c #Conflicts:     485000 | #Constraints:      25153
2295.53/2301.33	c #Conflicts:     486000 | #Constraints:      26153
2295.53/2301.33	c #Conflicts:     487000 | #Constraints:      27153
2295.53/2301.33	c #Conflicts:     488000 | #Constraints:      28153
2295.53/2301.33	c INPROCESSING
2295.53/2301.33	c GARBAGE COLLECT
2295.53/2301.33	c #Conflicts:     489000 | #Constraints:      15359
2295.53/2301.33	c #Conflicts:     490000 | #Constraints:      16359
2295.53/2301.33	c #Conflicts:     491000 | #Constraints:      17359
2295.53/2301.33	c #Conflicts:     492000 | #Constraints:      18359
2295.53/2301.33	c #Conflicts:     493000 | #Constraints:      19359
2295.53/2301.33	c #Conflicts:     494000 | #Constraints:      20359
2295.53/2301.33	c #Conflicts:     495000 | #Constraints:      21359
2295.53/2301.33	c #Conflicts:     496000 | #Constraints:      22359
2295.53/2301.33	c #Conflicts:     497000 | #Constraints:      23359
2295.53/2301.33	c #Conflicts:     498000 | #Constraints:      24359
2295.53/2301.33	c #Conflicts:     499000 | #Constraints:      25359
2295.53/2301.33	c #Conflicts:     500000 | #Constraints:      26359
2295.53/2301.33	c #Conflicts:     501000 | #Constraints:      27359
2295.53/2301.33	c #Conflicts:     502000 | #Constraints:      28359
2295.53/2301.33	c INPROCESSING
2295.53/2301.33	c GARBAGE COLLECT
2295.53/2301.33	c #Conflicts:     503000 | #Constraints:      15364
2295.53/2301.33	c #Conflicts:     504000 | #Constraints:      16364
2295.53/2301.33	c #Conflicts:     505000 | #Constraints:      17364
2295.53/2301.33	c #Conflicts:     506000 | #Constraints:      18364
2295.53/2301.33	c #Conflicts:     507000 | #Constraints:      19364
2295.53/2301.33	c #Conflicts:     508000 | #Constraints:      20364
2295.53/2301.33	c #Conflicts:     509000 | #Constraints:      21364
2295.53/2301.33	c #Conflicts:     510000 | #Constraints:      22364
2295.53/2301.33	c #Conflicts:     511000 | #Constraints:      23364
2295.53/2301.33	c #Conflicts:     512000 | #Constraints:      24364
2295.53/2301.33	c #Conflicts:     513000 | #Constraints:      25364
2295.53/2301.33	c #Conflicts:     514000 | #Constraints:      26364
2295.53/2301.33	c #Conflicts:     515000 | #Constraints:      27364
2295.53/2301.33	c #Conflicts:     516000 | #Constraints:      28364
2295.53/2301.33	c INPROCESSING
2295.53/2301.33	c GARBAGE COLLECT
2295.53/2301.33	c #Conflicts:     517000 | #Constraints:      15161
2295.53/2301.33	c #Conflicts:     518000 | #Constraints:      16161
2295.53/2301.33	c #Conflicts:     519000 | #Constraints:      17161
2295.53/2301.33	c #Conflicts:     520000 | #Constraints:      18161
2295.53/2301.33	c #Conflicts:     521000 | #Constraints:      19161
2295.53/2301.33	c #Conflicts:     522000 | #Constraints:      20161
2295.53/2301.33	c #Conflicts:     523000 | #Constraints:      21161
2295.53/2301.33	c #Conflicts:     524000 | #Constraints:      22161
2295.53/2301.33	c #Conflicts:     525000 | #Constraints:      23161
2295.53/2301.33	c #Conflicts:     526000 | #Constraints:      24161
2295.53/2301.33	c #Conflicts:     527000 | #Constraints:      25161
2295.53/2301.33	c #Conflicts:     528000 | #Constraints:      26161
2295.53/2301.33	c #Conflicts:     529000 | #Constraints:      27161
2295.53/2301.33	c #Conflicts:     530000 | #Constraints:      28161
2295.53/2301.33	c #Conflicts:     531000 | #Constraints:      29161
2295.53/2301.33	c INPROCESSING
2295.53/2301.33	c GARBAGE COLLECT
2295.53/2301.33	c #Conflicts:     532000 | #Constraints:      15755
2295.53/2301.33	c #Conflicts:     533000 | #Constraints:      16755
2295.53/2301.33	c #Conflicts:     534000 | #Constraints:      17755
2295.53/2301.33	c #Conflicts:     535000 | #Constraints:      18755
2295.53/2301.33	c #Conflicts:     536000 | #Constraints:      19755
2295.53/2301.33	c #Conflicts:     537000 | #Constraints:      20755
2295.53/2301.33	c #Conflicts:     538000 | #Constraints:      21755
2295.53/2301.33	c #Conflicts:     539000 | #Constraints:      22755
2295.53/2301.33	c #Conflicts:     540000 | #Constraints:      23755
2295.53/2301.33	c #Conflicts:     541000 | #Constraints:      24755
2295.53/2301.33	c #Conflicts:     542000 | #Constraints:      25755
2295.53/2301.33	c #Conflicts:     543000 | #Constraints:      26755
2295.53/2301.33	c #Conflicts:     544000 | #Constraints:      27755
2295.53/2301.33	c #Conflicts:     545000 | #Constraints:      28755
2295.53/2301.33	c #Conflicts:     546000 | #Constraints:      29755
2295.53/2301.33	c INPROCESSING
2295.53/2301.33	c GARBAGE COLLECT
2295.53/2301.33	c #Conflicts:     547000 | #Constraints:      16154
2295.53/2301.33	c #Conflicts:     548000 | #Constraints:      17154
2818.04/2825.16	c #Conflicts:     549000 | #Constraints:      18154
2818.04/2825.16	c #Conflicts:     550000 | #Constraints:      19154
2818.04/2825.16	c #Conflicts:     551000 | #Constraints:      20154
2818.04/2825.16	c #Conflicts:     552000 | #Constraints:      21154
2818.04/2825.16	c #Conflicts:     553000 | #Constraints:      22154
2818.04/2825.16	c #Conflicts:     554000 | #Constraints:      23154
2818.04/2825.16	c #Conflicts:     555000 | #Constraints:      24154
2818.04/2825.16	c #Conflicts:     556000 | #Constraints:      25154
2818.04/2825.16	c #Conflicts:     557000 | #Constraints:      26154
2818.04/2825.16	c #Conflicts:     558000 | #Constraints:      27154
2818.04/2825.16	c #Conflicts:     559000 | #Constraints:      28154
2818.04/2825.16	c #Conflicts:     560000 | #Constraints:      29154
2818.04/2825.16	c #Conflicts:     561000 | #Constraints:      30154
2818.04/2825.16	c INPROCESSING
2818.04/2825.16	c GARBAGE COLLECT
2818.04/2825.16	c #Conflicts:     562000 | #Constraints:      16352
2818.04/2825.16	c #Conflicts:     563000 | #Constraints:      17352
2818.04/2825.16	c #Conflicts:     564000 | #Constraints:      18352
2818.04/2825.16	c #Conflicts:     565000 | #Constraints:      19352
2818.04/2825.16	c #Conflicts:     566000 | #Constraints:      20352
2818.04/2825.16	c #Conflicts:     567000 | #Constraints:      21352
2818.04/2825.16	c #Conflicts:     568000 | #Constraints:      22352
2818.04/2825.16	c #Conflicts:     569000 | #Constraints:      23352
2818.04/2825.16	c #Conflicts:     570000 | #Constraints:      24352
2818.04/2825.16	c #Conflicts:     571000 | #Constraints:      25352
2818.04/2825.16	c #Conflicts:     572000 | #Constraints:      26352
2818.04/2825.16	c #Conflicts:     573000 | #Constraints:      27352
2818.04/2825.16	c #Conflicts:     574000 | #Constraints:      28352
2818.04/2825.16	c #Conflicts:     575000 | #Constraints:      29352
2818.04/2825.16	c #Conflicts:     576000 | #Constraints:      30352
2818.04/2825.16	c INPROCESSING
2818.04/2825.16	c GARBAGE COLLECT
2818.04/2825.16	c #Conflicts:     577000 | #Constraints:      16352
2818.04/2825.16	c #Conflicts:     578000 | #Constraints:      17352
2818.04/2825.16	c #Conflicts:     579000 | #Constraints:      18352
2818.04/2825.16	c #Conflicts:     580000 | #Constraints:      19352
2818.04/2825.16	c #Conflicts:     581000 | #Constraints:      20352
2818.04/2825.16	c #Conflicts:     582000 | #Constraints:      21352
2818.04/2825.16	c #Conflicts:     583000 | #Constraints:      22352
2818.04/2825.16	c #Conflicts:     584000 | #Constraints:      23352
2818.04/2825.16	c #Conflicts:     585000 | #Constraints:      24352
2818.04/2825.16	c #Conflicts:     586000 | #Constraints:      25352
2818.04/2825.16	c #Conflicts:     587000 | #Constraints:      26352
2818.04/2825.16	c #Conflicts:     588000 | #Constraints:      27352
2818.04/2825.16	c #Conflicts:     589000 | #Constraints:      28352
2818.04/2825.16	c #Conflicts:     590000 | #Constraints:      29352
2818.04/2825.16	c #Conflicts:     591000 | #Constraints:      30352
2818.04/2825.16	c INPROCESSING
2818.04/2825.16	c GARBAGE COLLECT
2818.04/2825.16	c #Conflicts:     592000 | #Constraints:      16156
2818.04/2825.16	c #Conflicts:     593000 | #Constraints:      17156
2818.04/2825.16	c #Conflicts:     594000 | #Constraints:      18156
2818.04/2825.16	c #Conflicts:     595000 | #Constraints:      19156
2818.04/2825.16	c #Conflicts:     596000 | #Constraints:      20156
2818.04/2825.16	c #Conflicts:     597000 | #Constraints:      21156
2818.04/2825.16	c #Conflicts:     598000 | #Constraints:      22156
2818.04/2825.16	c #Conflicts:     599000 | #Constraints:      23156
2818.04/2825.16	c #Conflicts:     600000 | #Constraints:      24156
2818.04/2825.16	c #Conflicts:     601000 | #Constraints:      25156
2818.04/2825.16	c #Conflicts:     602000 | #Constraints:      26156
2818.04/2825.16	c #Conflicts:     603000 | #Constraints:      27156
2818.04/2825.16	c #Conflicts:     604000 | #Constraints:      28156
2818.04/2825.16	c #Conflicts:     605000 | #Constraints:      29156
2818.04/2825.16	c #Conflicts:     606000 | #Constraints:      30156
2818.04/2825.16	c #Conflicts:     607000 | #Constraints:      31156
2818.04/2825.16	c INPROCESSING
2818.04/2825.16	c GARBAGE COLLECT
2818.04/2825.16	c #Conflicts:     608000 | #Constraints:      16757
2818.04/2825.16	c #Conflicts:     609000 | #Constraints:      17757
2818.04/2825.16	c #Conflicts:     610000 | #Constraints:      18757
2818.04/2825.16	c #Conflicts:     611000 | #Constraints:      19757
2818.04/2825.16	c #Conflicts:     612000 | #Constraints:      20757
2818.04/2825.16	c #Conflicts:     613000 | #Constraints:      21757
2818.04/2825.16	c #Conflicts:     614000 | #Constraints:      22757
2818.04/2825.16	c #Conflicts:     615000 | #Constraints:      23757
2818.04/2825.16	c #Conflicts:     616000 | #Constraints:      24757
2818.04/2825.16	c #Conflicts:     617000 | #Constraints:      25757
2818.04/2825.16	c #Conflicts:     618000 | #Constraints:      26757
2818.04/2825.16	c #Conflicts:     619000 | #Constraints:      27757
2818.04/2825.16	c #Conflicts:     620000 | #Constraints:      28757
2818.04/2825.16	c #Conflicts:     621000 | #Constraints:      29757
2818.04/2825.16	c #Conflicts:     622000 | #Constraints:      30757
2818.04/2825.16	c #Conflicts:     623000 | #Constraints:      31757
2818.04/2825.16	c INPROCESSING
2818.04/2825.16	c GARBAGE COLLECT
2818.04/2825.16	c #Conflicts:     624000 | #Constraints:      17155
3394.59/3403.29	c #Conflicts:     625000 | #Constraints:      18155
3394.59/3403.29	c #Conflicts:     626000 | #Constraints:      19155
3394.59/3403.29	c #Conflicts:     627000 | #Constraints:      20155
3394.59/3403.29	c #Conflicts:     628000 | #Constraints:      21155
3394.59/3403.29	c #Conflicts:     629000 | #Constraints:      22155
3394.59/3403.29	c #Conflicts:     630000 | #Constraints:      23155
3394.59/3403.29	c #Conflicts:     631000 | #Constraints:      24155
3394.59/3403.29	c #Conflicts:     632000 | #Constraints:      25155
3394.59/3403.29	c #Conflicts:     633000 | #Constraints:      26155
3394.59/3403.29	c #Conflicts:     634000 | #Constraints:      27155
3394.59/3403.29	c #Conflicts:     635000 | #Constraints:      28155
3394.59/3403.29	c #Conflicts:     636000 | #Constraints:      29155
3394.59/3403.29	c #Conflicts:     637000 | #Constraints:      30155
3394.59/3403.29	c #Conflicts:     638000 | #Constraints:      31155
3394.59/3403.29	c #Conflicts:     639000 | #Constraints:      32155
3394.59/3403.29	c INPROCESSING
3394.59/3403.29	c GARBAGE COLLECT
3394.59/3403.29	c #Conflicts:     640000 | #Constraints:      17354
3394.59/3403.29	c #Conflicts:     641000 | #Constraints:      18354
3394.59/3403.29	c #Conflicts:     642000 | #Constraints:      19354
3394.59/3403.29	c #Conflicts:     643000 | #Constraints:      20354
3394.59/3403.29	c #Conflicts:     644000 | #Constraints:      21354
3394.59/3403.29	c #Conflicts:     645000 | #Constraints:      22354
3394.59/3403.29	c #Conflicts:     646000 | #Constraints:      23354
3394.59/3403.29	c #Conflicts:     647000 | #Constraints:      24354
3394.59/3403.29	c #Conflicts:     648000 | #Constraints:      25354
3394.59/3403.29	c #Conflicts:     649000 | #Constraints:      26354
3394.59/3403.29	c #Conflicts:     650000 | #Constraints:      27354
3394.59/3403.29	c #Conflicts:     651000 | #Constraints:      28354
3394.59/3403.29	c #Conflicts:     652000 | #Constraints:      29354
3394.59/3403.29	c #Conflicts:     653000 | #Constraints:      30354
3394.59/3403.29	c #Conflicts:     654000 | #Constraints:      31354
3394.59/3403.29	c #Conflicts:     655000 | #Constraints:      32354
3394.59/3403.29	c INPROCESSING
3394.59/3403.29	c GARBAGE COLLECT
3394.59/3403.29	c #Conflicts:     656000 | #Constraints:      17354
3394.59/3403.29	c #Conflicts:     657000 | #Constraints:      18354
3394.59/3403.29	c #Conflicts:     658000 | #Constraints:      19354
3394.59/3403.29	c #Conflicts:     659000 | #Constraints:      20354
3394.59/3403.29	c #Conflicts:     660000 | #Constraints:      21354
3394.59/3403.29	c #Conflicts:     661000 | #Constraints:      22354
3394.59/3403.29	c #Conflicts:     662000 | #Constraints:      23354
3394.59/3403.29	c #Conflicts:     663000 | #Constraints:      24354
3394.59/3403.29	c #Conflicts:     664000 | #Constraints:      25354
3394.59/3403.29	c #Conflicts:     665000 | #Constraints:      26354
3394.59/3403.29	c #Conflicts:     666000 | #Constraints:      27354
3394.59/3403.29	c #Conflicts:     667000 | #Constraints:      28354
3394.59/3403.29	c #Conflicts:     668000 | #Constraints:      29354
3394.59/3403.29	c #Conflicts:     669000 | #Constraints:      30354
3394.59/3403.29	c #Conflicts:     670000 | #Constraints:      31354
3394.59/3403.29	c #Conflicts:     671000 | #Constraints:      32354
3394.59/3403.29	c INPROCESSING
3394.59/3403.29	c GARBAGE COLLECT
3394.59/3403.29	c #Conflicts:     672000 | #Constraints:      17153
3394.59/3403.29	c #Conflicts:     673000 | #Constraints:      18153
3394.59/3403.29	c #Conflicts:     674000 | #Constraints:      19153
3394.59/3403.29	c #Conflicts:     675000 | #Constraints:      20153
3394.59/3403.29	c #Conflicts:     676000 | #Constraints:      21153
3394.59/3403.29	c #Conflicts:     677000 | #Constraints:      22153
3394.59/3403.29	c #Conflicts:     678000 | #Constraints:      23153
3394.59/3403.29	c #Conflicts:     679000 | #Constraints:      24153
3394.59/3403.29	c #Conflicts:     680000 | #Constraints:      25153
3394.59/3403.29	c #Conflicts:     681000 | #Constraints:      26153
3394.59/3403.29	c #Conflicts:     682000 | #Constraints:      27153
3394.59/3403.29	c #Conflicts:     683000 | #Constraints:      28153
3394.59/3403.29	c #Conflicts:     684000 | #Constraints:      29153
3394.59/3403.29	c #Conflicts:     685000 | #Constraints:      30153
3394.59/3403.29	c #Conflicts:     686000 | #Constraints:      31153
3394.59/3403.29	c #Conflicts:     687000 | #Constraints:      32153
3394.59/3403.29	c #Conflicts:     688000 | #Constraints:      33153
3394.59/3403.29	c INPROCESSING
3394.59/3403.29	c GARBAGE COLLECT
3394.59/3403.29	c #Conflicts:     689000 | #Constraints:      17749
3394.59/3403.29	c #Conflicts:     690000 | #Constraints:      18749
3394.59/3403.29	c #Conflicts:     691000 | #Constraints:      19749
3394.59/3403.29	c #Conflicts:     692000 | #Constraints:      20749
3394.59/3403.29	c #Conflicts:     693000 | #Constraints:      21749
3394.59/3403.29	c #Conflicts:     694000 | #Constraints:      22749
3394.59/3403.29	c #Conflicts:     695000 | #Constraints:      23749
3394.59/3403.29	c #Conflicts:     696000 | #Constraints:      24749
3394.59/3403.29	c #Conflicts:     697000 | #Constraints:      25749
3394.59/3403.29	c #Conflicts:     698000 | #Constraints:      26749
3394.59/3403.29	c #Conflicts:     699000 | #Constraints:      27749
3394.59/3403.29	c #Conflicts:     700000 | #Constraints:      28749
3600.06/3609.20	c #Conflicts:     701000 | #Constraints:      29749
3600.06/3609.20	c #Conflicts:     702000 | #Constraints:      30749
3600.06/3609.20	c #Conflicts:     703000 | #Constraints:      31749
3600.06/3609.20	c #Conflicts:     704000 | #Constraints:      32749
3600.06/3609.20	c #Conflicts:     705000 | #Constraints:      33749
3600.06/3609.20	c INPROCESSING
3600.06/3609.20	c GARBAGE COLLECT
3600.06/3609.20	c #Conflicts:     706000 | #Constraints:      18152
3600.06/3609.20	c #Conflicts:     707000 | #Constraints:      19152
3600.06/3609.20	c #Conflicts:     708000 | #Constraints:      20152
3600.06/3609.20	c #Conflicts:     709000 | #Constraints:      21152
3600.06/3609.20	c #Conflicts:     710000 | #Constraints:      22152
3600.06/3609.20	c #Conflicts:     711000 | #Constraints:      23152
3600.06/3609.20	c #Conflicts:     712000 | #Constraints:      24152
3600.06/3609.20	c #Conflicts:     713000 | #Constraints:      25152
3600.06/3609.20	c #Conflicts:     714000 | #Constraints:      26152
3600.06/3609.20	c #Conflicts:     715000 | #Constraints:      27152
3600.06/3609.20	c #Conflicts:     716000 | #Constraints:      28152
3600.06/3609.20	c #Conflicts:     717000 | #Constraints:      29152
3600.06/3609.20	c #Conflicts:     718000 | #Constraints:      30152
3600.06/3609.20	c #Conflicts:     719000 | #Constraints:      31152
3600.06/3609.20	c #Conflicts:     720000 | #Constraints:      32152
3600.06/3609.20	c #Conflicts:     721000 | #Constraints:      33152
3600.06/3609.20	c #Conflicts:     722000 | #Constraints:      34152
3600.06/3609.20	c INPROCESSING
3600.06/3609.20	c GARBAGE COLLECT
3600.06/3609.20	c #Conflicts:     723000 | #Constraints:      18353
3600.06/3609.20	c #Conflicts:     724000 | #Constraints:      19353
3600.06/3609.20	c Program interrupted by user.
3600.06/3609.20	c cpu time 3590.9 s
3600.06/3609.20	c deterministic time 371888907911 3.72e+11
3600.06/3609.20	c optimization time 12.1986 s
3600.06/3609.20	c total solve time 3279.62 s
3600.06/3609.20	c core-guided solve time 3279.62 s
3600.06/3609.20	c propagation time 2953.45 s
3600.06/3609.20	c conflict analysis time 291.241 s
3600.06/3609.20	c propagations 48258041
3600.06/3609.20	c resolve steps 3487975
3600.06/3609.20	c decisions 5391963
3600.06/3609.20	c conflicts 724456
3600.06/3609.20	c restarts 1533
3600.06/3609.20	c inprocessing phases 76
3600.06/3609.20	c input clauses 58
3600.06/3609.20	c input cardinalities 79
3600.06/3609.20	c input general constraints 474
3600.06/3609.20	c input average constraint length 69.09
3600.06/3609.20	c input average constraint degree 34.80
3600.06/3609.20	c learned clauses 130103
3600.06/3609.20	c learned cardinalities 92
3600.06/3609.20	c learned general constraints 594268
3600.06/3609.20	c learned average constraint length 327.87
3600.06/3609.20	c learned average constraint degree 433506.20
3600.06/3609.20	c watched constraints 484621
3600.06/3609.20	c counting constraints 110121
3600.06/3609.20	c gcd simplifications 103824
3600.06/3609.20	c detected cardinalities 66
3600.06/3609.20	c weakened non-implied lits 19608279
3600.06/3609.20	c weakened non-implying lits 54909
3600.06/3609.20	c original variables 478
3600.06/3609.20	c clausal propagations 940421
3600.06/3609.20	c cardinality propagations 19686
3600.06/3609.20	c watched propagations 25401211
3600.06/3609.20	c counting propagations 21265539
3600.06/3609.20	c watch lookups 58955397732
3600.06/3609.20	c watch backjump lookups 56212508314
3600.06/3609.20	c watch checks 247631101606
3600.06/3609.20	c propagation checks 8250297710
3600.06/3609.20	c constraint additions 731578567
3600.06/3609.20	c trail pops 54373977
3600.06/3609.20	c formula constraints 478
3600.06/3609.20	c learned constraints 724463
3600.06/3609.20	c bound constraints 79
3600.06/3609.20	c core-guided constraints 54
3600.06/3609.20	c encountered formula constraints 2140631
3600.06/3609.20	c encountered learned constraints 1998907
3600.06/3609.20	c encountered bound constraints 501
3600.06/3609.20	c encountered core-guided constraints 72392
3600.06/3609.20	c LP total time 0 s
3600.06/3609.20	c LP solve time 0 s
3600.06/3609.20	c LP constraints added 0
3600.06/3609.20	c LP constraints removed 0
3600.06/3609.20	c LP pivots internal 0
3600.06/3609.20	c LP pivots root 0
3600.06/3609.20	c LP calls 0
3600.06/3609.20	c LP optimalities 0
3600.06/3609.20	c LP no pivot count 0
3600.06/3609.20	c LP infeasibilities 0
3600.06/3609.20	c LP valid Farkas constraints 0
3600.06/3609.20	c LP learned Farkas constraints 0
3600.06/3609.20	c LP basis resets 0
3600.06/3609.20	c LP cycling count 0
3600.06/3609.20	c LP singular count 0
3600.06/3609.20	c LP no primal count 0
3600.06/3609.20	c LP no farkas count 0
3600.06/3609.20	c LP other issue count 0
3600.06/3609.20	c LP Gomory cuts 0
3600.06/3609.20	c LP learned cuts 0
3600.06/3609.20	c LP deleted cuts 0
3600.06/3609.20	c LP encountered Gomory constraints 0
3600.06/3609.20	c LP encountered Farkas constraints 0
3600.06/3609.20	c LP encountered learned Farkas constraints 0
3600.06/3609.20	c CG auxiliary variables introduced 54
3600.06/3609.20	c CG solutions found 0
3600.06/3609.20	c CG cores constructed 78
3600.06/3609.20	c CG core cardinality constraints returned 0
3600.06/3609.20	c CG unit cores 0
3600.06/3609.20	c CG single cores 77
3600.06/3609.20	c CG blocks removed during cardinality reduction 0
3600.06/3609.20	c CG first core best 0
3600.06/3609.20	c CG decision core best 0
3600.06/3609.20	c CG core reduction tie 1
3600.06/3609.20	c CG core degree average 1.00
3600.06/3609.20	c CG core slack average 2.73
3600.06/3609.20	c CG exhausted 0
3600.06/3609.20	c CG exhaust time 0 s
3600.06/3609.20	c CG trimmed 2
3600.06/3609.20	c CG trim time 0.000347 s
3600.06/3609.20	c CG minimized 0
3600.06/3609.20	c CG minimize time 0 s
3600.06/3609.20	c CG am1 prop time 0.000342 s
3600.06/3609.20	c CG # am1s reformulated 54
3600.06/3609.20	c CG lower bound derived from am1s 54
3600.06/3609.20	c CG # clausal cores 15
3600.06/3609.20	c CG # cardinality cores 0
3600.06/3609.20	c CG # pb cores 64
3600.06/3609.20	c CG # pb reforms 0
3600.06/3609.20	c CG # cores discarded because of pb reform 0
3600.06/3609.20	d LOWERBOUND 132
3600.06/3609.20	d NCORES 78
3600.06/3609.20	d NPBCORES 64
3600.06/3609.20	d NPBREFORM 0
3600.06/3609.20	d NTRIMMED 2
3600.06/3609.20	d NEXHAUSTED 0
3600.06/3609.20	d NAM1S 54
3600.06/3609.20	d AM1LB 54
3600.06/3609.20	c [Papilo Statistics]
3600.06/3609.20	c prepro time 0.00144536s
3600.06/3609.20	c # tsx applied 19
3600.06/3609.20	c # tsx conflicts 0
3600.06/3609.20	c # bound changes 0
3600.06/3609.20	c # side changes 0
3600.06/3609.20	c # coef changes 36
3600.06/3609.20	c # rounds 3
3600.06/3609.20	c # deted vars 0
3600.06/3609.20	c # deted constrs 0
3600.06/3609.20	c # consecutive rounds of only bound changes 0
3600.06/3609.20	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62397 MiB free)
  memory of node 1: 64510 MiB (63060 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454713-1721468423/watcher-4454713-1721468423 -o /tmp/evaluation-result-4454713-1721468423/solver-4454713-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075792 --watchdog 3760 mixed-bag HOME/instance-4454713-1721468423.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1075848, runsolver pid=1075835

[startup+0.100094 s]*
/proc/loadavg: 1.15 1.25 2.16 4/260 1075856
/proc/meminfo: memFree=128466132/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=31728 memory=568 CPUtime=0 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) D 1075835 1075848 1075779 0 -1 4194304 85 0 0 0 0 0 0 0 20 0 1 0 199012030 32489472 142 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 0 0 0 0 17 7 0 0 8 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 7932 142 122 3002 0 1312 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 568 KiB

[startup+0.206408 s]*
/proc/loadavg: 1.15 1.25 2.16 3/260 1075856
/proc/meminfo: memFree=128463192/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=68472 memory=3220 CPUtime=0 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) D 1075835 1075848 1075779 0 -1 4194304 276 0 3 0 0 0 0 0 20 0 1 0 199012030 70115328 805 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 0 0 0 0 17 7 0 0 19 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 17118 805 714 3002 0 1406 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 3220 KiB

[startup+0.305358 s]*
/proc/loadavg: 1.15 1.25 2.16 6/260 1075856
/proc/meminfo: memFree=128400704/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=93120 memory=26228 CPUtime=0.04 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 3010 0 3 0 4 0 0 0 20 0 1 0 199012030 95354880 6557 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 23280 6557 4053 3002 0 7029 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 93120 KiB
Current children cumulated memory: 26228 KiB

[startup+0.700188 s]
/proc/loadavg: 1.15 1.25 2.16 7/260 1075856
/proc/meminfo: memFree=128376944/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=93780 memory=26560 CPUtime=0.43 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 3137 0 3 0 43 0 0 0 20 0 1 0 199012030 96030720 6640 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 23445 6640 4053 3002 0 7194 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 93780 KiB
Current children cumulated memory: 26560 KiB

[startup+1.50023 s]
/proc/loadavg: 1.15 1.25 2.16 8/260 1075856
/proc/meminfo: memFree=128346972/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=158408 memory=90720 CPUtime=1.23 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 20185 0 3 0 120 3 0 0 20 0 1 0 199012030 162209792 22680 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 39602 22680 4069 3002 0 23351 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 158408 KiB
Current children cumulated memory: 90720 KiB

[startup+3.10641 s]
/proc/loadavg: 1.38 1.30 2.17 8/260 1075856
/proc/meminfo: memFree=128171904/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=228420 memory=158156 CPUtime=2.83 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 37020 0 3 0 278 5 0 0 20 0 1 0 199012030 233902080 39539 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 57105 39539 4100 3002 0 40854 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 228420 KiB
Current children cumulated memory: 158156 KiB

[startup+6.30016 s]
/proc/loadavg: 1.38 1.30 2.17 7/260 1075856
/proc/meminfo: memFree=128066664/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=228108 memory=158740 CPUtime=6.01 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 37294 0 3 0 596 5 0 0 20 0 1 0 199012030 233582592 39685 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 57027 39685 4100 3002 0 40776 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 158740 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.34 2.18 8/260 1075858
/proc/meminfo: memFree=127937728/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=228108 memory=158740 CPUtime=12.4 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 37298 0 3 0 1235 5 0 0 20 0 1 0 199012030 233582592 39685 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 57027 39685 4100 3002 0 40776 0
Current children cumulated CPU time: 12.4 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 158740 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.48 2.21 8/260 1075859
/proc/meminfo: memFree=127859480/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=305332 memory=233976 CPUtime=25.17 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 56075 0 3 0 2508 9 0 0 20 0 1 0 199012030 312659968 58494 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 76333 58494 4100 3002 0 60082 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 305332 KiB
Current children cumulated memory: 233976 KiB

[startup+51.1064 s]
/proc/loadavg: 2.83 1.70 2.27 8/260 1075864
/proc/meminfo: memFree=127678196/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=319312 memory=247944 CPUtime=50.72 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 60631 0 3 0 5060 12 0 0 20 0 1 0 199012030 326975488 61986 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 79828 61986 4100 3002 0 63577 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 319312 KiB
Current children cumulated memory: 247944 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.07 2.36 8/260 1075872
/proc/meminfo: memFree=127619088/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=320332 memory=248732 CPUtime=101.79 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 60888 0 3 0 10162 17 0 0 20 0 1 0 199012030 328019968 62183 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 80083 62183 4100 3002 0 63832 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 320332 KiB
Current children cumulated memory: 248732 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.44 2.47 8/260 1075884
/proc/meminfo: memFree=127480508/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=337972 memory=266224 CPUtime=161.65 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 65441 0 3 0 16142 23 0 0 20 0 1 0 199012030 346083328 66556 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 84493 66556 4100 3002 0 68242 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 337972 KiB
Current children cumulated memory: 266224 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.75 2.58 8/260 1075894
/proc/meminfo: memFree=127362012/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=383508 memory=312100 CPUtime=221.5 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 77160 0 3 0 22121 29 0 0 20 0 1 0 199012030 392712192 78025 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 95877 78025 4100 3002 0 79626 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 383508 KiB
Current children cumulated memory: 312100 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.00 2.68 8/260 1075904
/proc/meminfo: memFree=127333448/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=383508 memory=312100 CPUtime=281.36 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 77176 0 3 0 28106 30 0 0 20 0 1 0 199012030 392712192 78025 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 95877 78025 4100 3002 0 79626 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 383508 KiB
Current children cumulated memory: 312100 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.21 2.77 8/254 1075915
/proc/meminfo: memFree=127620356/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=384388 memory=315136 CPUtime=341.21 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 79984 0 4 0 34036 85 0 0 20 0 1 0 199012030 393613312 78784 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 96097 78784 4228 3002 0 79846 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 315136 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.87 8/254 1075925
/proc/meminfo: memFree=127575512/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=384388 memory=319440 CPUtime=401.07 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 80082 0 4 0 39973 134 0 0 20 0 1 0 199012030 393613312 79860 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 96097 79860 4228 3002 0 79846 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 319440 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.52 2.94 8/254 1075935
/proc/meminfo: memFree=127532836/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=403356 memory=325544 CPUtime=460.92 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 80561 0 4 0 45924 168 0 0 20 0 1 0 199012030 413036544 81386 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 100839 81386 4228 3002 0 84588 0

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

Current children cumulated memory: 377976 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.07 8/258 1077330
/proc/meminfo: memFree=126892708/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=434176 memory=378660 CPUtime=2855.13 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 84739 0 4 0 284740 773 0 0 20 0 1 0 199012030 444596224 94665 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 108544 94665 4228 3002 0 92293 0
Current children cumulated CPU time: 2855.13 s
Current children cumulated vsize: 434176 KiB
Current children cumulated memory: 378660 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.08 8/259 1077509
/proc/meminfo: memFree=126879744/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=434176 memory=378660 CPUtime=2914.97 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 84843 0 4 0 290711 786 0 0 20 0 1 0 199012030 444596224 94665 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 108544 94665 4228 3002 0 92293 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 434176 KiB
Current children cumulated memory: 378660 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.08 9/258 1077519
/proc/meminfo: memFree=126869984/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=379976 CPUtime=2974.8 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85280 0 4 0 296683 797 0 0 20 0 1 0 199012030 495886336 94994 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 94994 4228 3002 0 104815 0
Current children cumulated CPU time: 2974.8 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 379976 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/259 1077590
/proc/meminfo: memFree=126866088/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=379976 CPUtime=3034.62 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85345 0 4 0 302649 813 0 0 20 0 1 0 199012030 495886336 94994 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 94994 4228 3002 0 104815 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 379976 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/259 1077600
/proc/meminfo: memFree=126858924/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=379980 CPUtime=3094.44 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85448 0 4 0 308622 822 0 0 20 0 1 0 199012030 495886336 94995 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 94995 4228 3002 0 104815 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 379980 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/258 1077611
/proc/meminfo: memFree=126853024/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=380532 CPUtime=3154.28 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85550 0 4 0 314594 834 0 0 20 0 1 0 199012030 495886336 95133 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95133 4228 3002 0 104815 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 380532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 8/257 1077623
/proc/meminfo: memFree=126851648/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=380532 CPUtime=3214.14 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85645 0 4 0 320567 847 0 0 20 0 1 0 199012030 495886336 95133 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95133 4228 3002 0 104815 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 380532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/257 1077633
/proc/meminfo: memFree=126840408/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=380532 CPUtime=3273.99 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85751 0 4 0 326541 858 0 0 20 0 1 0 199012030 495886336 95133 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95133 4228 3002 0 104815 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 380532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/255 1077643
/proc/meminfo: memFree=126826948/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=382580 CPUtime=3333.83 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85863 0 4 0 332514 869 0 0 20 0 1 0 199012030 495886336 95645 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95645 4228 3002 0 104815 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 382580 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/255 1077653
/proc/meminfo: memFree=126818416/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=382580 CPUtime=3393.69 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 85962 0 4 0 338488 881 0 0 20 0 1 0 199012030 495886336 95645 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95645 4228 3002 0 104815 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 382580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/255 1077664
/proc/meminfo: memFree=126796504/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=382580 CPUtime=3453.54 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 86072 0 4 0 344466 888 0 0 20 0 1 0 199012030 495886336 95645 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95645 4228 3002 0 104815 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 382580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 8/255 1077674
/proc/meminfo: memFree=126771964/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=382580 CPUtime=3513.38 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 86170 0 4 0 350438 900 0 0 20 0 1 0 199012030 495886336 95645 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95645 4228 3002 0 104815 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 382580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 9/255 1077685
/proc/meminfo: memFree=126749916/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=382580 CPUtime=3573.22 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 86282 0 4 0 356411 911 0 0 20 0 1 0 199012030 495886336 95645 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 95645 4228 3002 0 104815 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 382580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.15 4.12 4.09 7/253 1077689
/proc/meminfo: memFree=127151128/131524600 swapFree=131071996/131071996
[pid=1075848] ppid=1075835 vsize=484264 memory=384628 CPUtime=3600.06 cores=5,7
/proc/1075848/stat : 1075848 (mixed-bag) R 1075835 1075848 1075779 0 -1 4194304 86350 0 4 0 359089 917 0 0 20 0 1 0 199012030 495886336 96157 134679101440 4194304 16488053 140727074148560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25 0 0 18731784 18742840 24043520 140727074157589 140727074157666 140727074157666 140727074164683 0
/proc/1075848/statm: 121066 96157 4228 3002 0 104815 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 484264 KiB
Current children cumulated memory: 384628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.9 s, system=9.18013 s

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

Child status: 0

Real time (s): 3609.21
CPU time (s): 3600.08
CPU user time (s): 3590.9
CPU system time (s): 9.18013
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 484264
Max. memory (cumulated for all children) (KiB): 384628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.9
system time used= 9.18013
maximum resident set size= 385476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86389
page faults= 4
swaps= 0
block input operations= 696
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 1348


# summary of solver processes directly reported to runsolver:
#   pid: 1075848
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3590.9
#   total CPU system time (s): 9.18013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71148 second user time and 21.3317 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-20 11:40:35
IDJOB=4454713
IDBENCH=147538
IDSOLVER=3083
FILE ID=nodeC033/4454713-1721468423
RUNJOBID= nodeC033-1721468435-1075792
SLURM_JOB_ID= 7545724
Free space on /tmp= 890084 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454713-1721468423/watcher-4454713-1721468423 -o /tmp/evaluation-result-4454713-1721468423/solver-4454713-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075792 --watchdog 3760  mixed-bag HOME/instance-4454713-1721468423.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=809530252

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128469856 kB
MemAvailable:   129679140 kB
Buffers:          610292 kB
Cached:          1435940 kB
SwapCached:            0 kB
Active:          1114568 kB
Inactive:        1307276 kB
Active(anon):       1500 kB
Inactive(anon):   420664 kB
Active(file):    1113068 kB
Inactive(file):   886612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65068 kB
Writeback:             0 kB
AnonPages:        373572 kB
Mapped:           108072 kB
Shmem:             45908 kB
KReclaimable:      98500 kB
Slab:             212028 kB
SReclaimable:      98500 kB
SUnreclaim:       113528 kB
KernelStack:        3872 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     566724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72896 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC033 at 2024-07-20 12:40:45