Trace number 4459374

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
pb-oll-rs 2024-07-19SAT (TO)401 3600.11 3609.5

DiagnosticValue
AM1LB0
LOWERBOUND43
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
MD5SUMca6d41f9aded18c9e4512660dff57e08
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark378
Best CPU time to get the best result obtained on this benchmark18.2111
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.08	c [STEP] solving
0.00/0.08	c #variables 1520 #constraints 29078
0.00/0.08	c SMALL=int, LARGE=long long
0.00/0.08	c bounds - >= 0 @ 0.060513
0.00/0.08	c stratification level: 81
0.00/0.08	c bounds 664 >= 0 @ 0.061149
0.00/0.08	c stratification level: 78
0.00/0.09	c bounds 657 >= 0 @ 0.068614
0.00/0.09	c stratification level: 74
0.00/0.09	c bounds 653 >= 0 @ 0.069799
0.00/0.09	c stratification level: 73
0.00/0.09	c bounds 652 >= 0 @ 0.074054
0.00/0.09	c stratification level: 71
0.00/0.10	c bounds 631 >= 0 @ 0.075043
0.00/0.10	c stratification level: 70
0.09/0.10	c bounds 626 >= 0 @ 0.07598
0.09/0.10	c stratification level: 67
0.09/0.10	c bounds 593 >= 0 @ 0.077545
0.09/0.10	c stratification level: 66
0.09/0.11	c bounds 572 >= 0 @ 0.078229
0.09/0.11	c stratification level: 65
0.09/0.11	c bounds 563 >= 0 @ 0.080435
0.09/0.11	c stratification level: 62
0.09/0.13	c bounds 544 >= 0 @ 0.103445
0.09/0.13	c stratification level: 61
0.09/0.13	c bounds 527 >= 0 @ 0.10599
0.09/0.13	c stratification level: 60
0.09/0.14	c bounds 519 >= 0 @ 0.106582
0.09/0.14	c stratification level: 58
0.09/0.14	c bounds 518 >= 0 @ 0.108402
0.09/0.14	c stratification level: 56
0.09/0.15	c bounds 517 >= 0 @ 0.117235
0.09/0.15	c stratification level: 55
0.28/0.34	c bounds 506 >= 0 @ 0.284773
0.28/0.34	c stratification level: 54
0.28/0.36	c bounds 500 >= 0 @ 0.308257
0.28/0.36	c stratification level: 53
0.28/0.39	c #Conflicts:       1000 | #Constraints:      30093
0.28/0.39	c bounds 488 >= 0 @ 0.335177
0.28/0.39	c stratification level: 52
0.28/0.39	c bounds 485 >= 0 @ 0.337021
0.28/0.39	c stratification level: 51
1.25/1.37	c #Conflicts:       2000 | #Constraints:      31095
1.25/1.37	c INPROCESSING
1.25/1.37	c GARBAGE COLLECT
1.25/1.37	c #Conflicts:       3000 | #Constraints:      31099
1.25/1.37	c bounds 480 >= 0 @ 1.26979
1.25/1.37	c stratification level: 50
1.25/1.39	c bounds 470 >= 0 @ 1.28574
1.25/1.39	c stratification level: 49
1.35/1.45	c bounds 469 >= 0 @ 1.34894
1.35/1.45	c stratification level: 48
1.35/1.45	c bounds 438 >= 0 @ 1.35236
1.35/1.45	c stratification level: 47
12.41/12.57	c #Conflicts:       4000 | #Constraints:      32103
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:       5000 | #Constraints:      31517
12.41/12.57	c #Conflicts:       6000 | #Constraints:      32517
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:       7000 | #Constraints:      31524
12.41/12.57	c #Conflicts:       8000 | #Constraints:      32524
12.41/12.57	c #Conflicts:       9000 | #Constraints:      33524
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:      10000 | #Constraints:      32224
12.41/12.57	c #Conflicts:      11000 | #Constraints:      33224
12.41/12.57	c #Conflicts:      12000 | #Constraints:      34224
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:      13000 | #Constraints:      32676
12.41/12.57	c #Conflicts:      14000 | #Constraints:      33676
12.41/12.57	c #Conflicts:      15000 | #Constraints:      34676
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:      16000 | #Constraints:      32913
12.41/12.57	c #Conflicts:      17000 | #Constraints:      33913
12.41/12.57	c #Conflicts:      18000 | #Constraints:      34913
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:      19000 | #Constraints:      32933
12.41/12.57	c #Conflicts:      20000 | #Constraints:      33933
12.41/12.57	c #Conflicts:      21000 | #Constraints:      34933
12.41/12.57	c INPROCESSING
12.41/12.57	c GARBAGE COLLECT
12.41/12.57	c #Conflicts:      22000 | #Constraints:      32739
12.41/12.57	c bounds 429 >= 0 @ 12.2644
12.41/12.57	c stratification level: 46
12.41/12.58	c bounds 426 >= 0 @ 12.2702
12.41/12.58	c stratification level: 45
12.41/12.59	c bounds 420 >= 0 @ 12.281
12.41/12.59	c stratification level: 43
76.15/76.45	c bounds 420 >= 43 @ 12.2836
76.15/76.45	c #Conflicts:      23000 | #Constraints:      33744
76.15/76.45	c #Conflicts:      24000 | #Constraints:      34744
76.15/76.45	c #Conflicts:      25000 | #Constraints:      35744
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      26000 | #Constraints:      33334
76.15/76.45	c #Conflicts:      27000 | #Constraints:      34334
76.15/76.45	c #Conflicts:      28000 | #Constraints:      35334
76.15/76.45	c #Conflicts:      29000 | #Constraints:      36334
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      30000 | #Constraints:      33739
76.15/76.45	c #Conflicts:      31000 | #Constraints:      34739
76.15/76.45	c #Conflicts:      32000 | #Constraints:      35739
76.15/76.45	c #Conflicts:      33000 | #Constraints:      36739
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      34000 | #Constraints:      33946
76.15/76.45	c #Conflicts:      35000 | #Constraints:      34946
76.15/76.45	c #Conflicts:      36000 | #Constraints:      35946
76.15/76.45	c #Conflicts:      37000 | #Constraints:      36946
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      38000 | #Constraints:      33959
76.15/76.45	c #Conflicts:      39000 | #Constraints:      34959
76.15/76.45	c #Conflicts:      40000 | #Constraints:      35959
76.15/76.45	c #Conflicts:      41000 | #Constraints:      36959
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      42000 | #Constraints:      33761
76.15/76.45	c #Conflicts:      43000 | #Constraints:      34761
76.15/76.45	c #Conflicts:      44000 | #Constraints:      35761
76.15/76.45	c #Conflicts:      45000 | #Constraints:      36761
76.15/76.45	c #Conflicts:      46000 | #Constraints:      37761
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      47000 | #Constraints:      34353
76.15/76.45	c #Conflicts:      48000 | #Constraints:      35353
76.15/76.45	c #Conflicts:      49000 | #Constraints:      36353
76.15/76.45	c #Conflicts:      50000 | #Constraints:      37353
76.15/76.45	c #Conflicts:      51000 | #Constraints:      38353
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      52000 | #Constraints:      34760
76.15/76.45	c #Conflicts:      53000 | #Constraints:      35760
76.15/76.45	c #Conflicts:      54000 | #Constraints:      36760
76.15/76.45	c #Conflicts:      55000 | #Constraints:      37760
76.15/76.45	c #Conflicts:      56000 | #Constraints:      38760
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      57000 | #Constraints:      34954
76.15/76.45	c #Conflicts:      58000 | #Constraints:      35954
76.15/76.45	c #Conflicts:      59000 | #Constraints:      36954
76.15/76.45	c #Conflicts:      60000 | #Constraints:      37954
76.15/76.45	c #Conflicts:      61000 | #Constraints:      38954
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      62000 | #Constraints:      34958
76.15/76.45	c #Conflicts:      63000 | #Constraints:      35958
76.15/76.45	c #Conflicts:      64000 | #Constraints:      36958
76.15/76.45	c #Conflicts:      65000 | #Constraints:      37958
76.15/76.45	c #Conflicts:      66000 | #Constraints:      38958
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      67000 | #Constraints:      34758
76.15/76.45	c #Conflicts:      68000 | #Constraints:      35758
76.15/76.45	c #Conflicts:      69000 | #Constraints:      36758
76.15/76.45	c #Conflicts:      70000 | #Constraints:      37758
76.15/76.45	c #Conflicts:      71000 | #Constraints:      38758
76.15/76.45	c #Conflicts:      72000 | #Constraints:      39758
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      73000 | #Constraints:      35350
76.15/76.45	c #Conflicts:      74000 | #Constraints:      36350
76.15/76.45	c #Conflicts:      75000 | #Constraints:      37350
76.15/76.45	c #Conflicts:      76000 | #Constraints:      38350
76.15/76.45	c #Conflicts:      77000 | #Constraints:      39350
76.15/76.45	c #Conflicts:      78000 | #Constraints:      40350
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      79000 | #Constraints:      35752
76.15/76.45	c #Conflicts:      80000 | #Constraints:      36752
76.15/76.45	c #Conflicts:      81000 | #Constraints:      37752
76.15/76.45	c #Conflicts:      82000 | #Constraints:      38752
76.15/76.45	c #Conflicts:      83000 | #Constraints:      39752
76.15/76.45	c #Conflicts:      84000 | #Constraints:      40752
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      85000 | #Constraints:      35968
76.15/76.45	c #Conflicts:      86000 | #Constraints:      36968
76.15/76.45	c #Conflicts:      87000 | #Constraints:      37968
76.15/76.45	c #Conflicts:      88000 | #Constraints:      38968
76.15/76.45	c #Conflicts:      89000 | #Constraints:      39968
76.15/76.45	c #Conflicts:      90000 | #Constraints:      40968
76.15/76.45	c INPROCESSING
76.15/76.45	c GARBAGE COLLECT
76.15/76.45	c #Conflicts:      91000 | #Constraints:      35960
76.15/76.45	c #Conflicts:      92000 | #Constraints:      36960
168.40/168.99	c #Conflicts:      93000 | #Constraints:      37960
168.40/168.99	c #Conflicts:      94000 | #Constraints:      38960
168.40/168.99	c #Conflicts:      95000 | #Constraints:      39960
168.40/168.99	c #Conflicts:      96000 | #Constraints:      40960
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:      97000 | #Constraints:      35777
168.40/168.99	c #Conflicts:      98000 | #Constraints:      36777
168.40/168.99	c #Conflicts:      99000 | #Constraints:      37777
168.40/168.99	c #Conflicts:     100000 | #Constraints:      38777
168.40/168.99	c #Conflicts:     101000 | #Constraints:      39777
168.40/168.99	c #Conflicts:     102000 | #Constraints:      40777
168.40/168.99	c #Conflicts:     103000 | #Constraints:      41777
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     104000 | #Constraints:      36372
168.40/168.99	c #Conflicts:     105000 | #Constraints:      37372
168.40/168.99	c #Conflicts:     106000 | #Constraints:      38372
168.40/168.99	c #Conflicts:     107000 | #Constraints:      39372
168.40/168.99	c #Conflicts:     108000 | #Constraints:      40372
168.40/168.99	c #Conflicts:     109000 | #Constraints:      41372
168.40/168.99	c #Conflicts:     110000 | #Constraints:      42372
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     111000 | #Constraints:      36768
168.40/168.99	c #Conflicts:     112000 | #Constraints:      37768
168.40/168.99	c #Conflicts:     113000 | #Constraints:      38768
168.40/168.99	c #Conflicts:     114000 | #Constraints:      39768
168.40/168.99	c #Conflicts:     115000 | #Constraints:      40768
168.40/168.99	c #Conflicts:     116000 | #Constraints:      41768
168.40/168.99	c #Conflicts:     117000 | #Constraints:      42768
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     118000 | #Constraints:      36967
168.40/168.99	c #Conflicts:     119000 | #Constraints:      37967
168.40/168.99	c #Conflicts:     120000 | #Constraints:      38967
168.40/168.99	c #Conflicts:     121000 | #Constraints:      39967
168.40/168.99	c #Conflicts:     122000 | #Constraints:      40967
168.40/168.99	c #Conflicts:     123000 | #Constraints:      41967
168.40/168.99	c #Conflicts:     124000 | #Constraints:      42967
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     125000 | #Constraints:      36954
168.40/168.99	c #Conflicts:     126000 | #Constraints:      37954
168.40/168.99	c #Conflicts:     127000 | #Constraints:      38954
168.40/168.99	c #Conflicts:     128000 | #Constraints:      39954
168.40/168.99	c #Conflicts:     129000 | #Constraints:      40954
168.40/168.99	c #Conflicts:     130000 | #Constraints:      41954
168.40/168.99	c #Conflicts:     131000 | #Constraints:      42954
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     132000 | #Constraints:      36765
168.40/168.99	c #Conflicts:     133000 | #Constraints:      37765
168.40/168.99	c #Conflicts:     134000 | #Constraints:      38765
168.40/168.99	c #Conflicts:     135000 | #Constraints:      39765
168.40/168.99	c #Conflicts:     136000 | #Constraints:      40765
168.40/168.99	c #Conflicts:     137000 | #Constraints:      41765
168.40/168.99	c #Conflicts:     138000 | #Constraints:      42765
168.40/168.99	c #Conflicts:     139000 | #Constraints:      43765
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     140000 | #Constraints:      37370
168.40/168.99	c #Conflicts:     141000 | #Constraints:      38370
168.40/168.99	c #Conflicts:     142000 | #Constraints:      39370
168.40/168.99	c #Conflicts:     143000 | #Constraints:      40370
168.40/168.99	c #Conflicts:     144000 | #Constraints:      41370
168.40/168.99	c #Conflicts:     145000 | #Constraints:      42370
168.40/168.99	c #Conflicts:     146000 | #Constraints:      43370
168.40/168.99	c #Conflicts:     147000 | #Constraints:      44370
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     148000 | #Constraints:      37772
168.40/168.99	c #Conflicts:     149000 | #Constraints:      38772
168.40/168.99	c #Conflicts:     150000 | #Constraints:      39772
168.40/168.99	c #Conflicts:     151000 | #Constraints:      40772
168.40/168.99	c #Conflicts:     152000 | #Constraints:      41772
168.40/168.99	c #Conflicts:     153000 | #Constraints:      42772
168.40/168.99	c #Conflicts:     154000 | #Constraints:      43772
168.40/168.99	c #Conflicts:     155000 | #Constraints:      44772
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     156000 | #Constraints:      37978
168.40/168.99	c #Conflicts:     157000 | #Constraints:      38978
168.40/168.99	c #Conflicts:     158000 | #Constraints:      39978
168.40/168.99	c #Conflicts:     159000 | #Constraints:      40978
168.40/168.99	c #Conflicts:     160000 | #Constraints:      41978
168.40/168.99	c #Conflicts:     161000 | #Constraints:      42978
168.40/168.99	c #Conflicts:     162000 | #Constraints:      43978
168.40/168.99	c #Conflicts:     163000 | #Constraints:      44978
168.40/168.99	c INPROCESSING
168.40/168.99	c GARBAGE COLLECT
168.40/168.99	c #Conflicts:     164000 | #Constraints:      37982
238.51/239.28	c #Conflicts:     165000 | #Constraints:      38982
238.51/239.28	c #Conflicts:     166000 | #Constraints:      39982
238.51/239.28	c #Conflicts:     167000 | #Constraints:      40982
238.51/239.28	c #Conflicts:     168000 | #Constraints:      41982
238.51/239.28	c #Conflicts:     169000 | #Constraints:      42982
238.51/239.28	c #Conflicts:     170000 | #Constraints:      43982
238.51/239.28	c #Conflicts:     171000 | #Constraints:      44982
238.51/239.28	c INPROCESSING
238.51/239.28	c GARBAGE COLLECT
238.51/239.28	c #Conflicts:     172000 | #Constraints:      37778
238.51/239.28	c #Conflicts:     173000 | #Constraints:      38778
238.51/239.28	c #Conflicts:     174000 | #Constraints:      39778
238.51/239.28	c #Conflicts:     175000 | #Constraints:      40778
238.51/239.28	c #Conflicts:     176000 | #Constraints:      41778
238.51/239.28	c #Conflicts:     177000 | #Constraints:      42778
238.51/239.28	c #Conflicts:     178000 | #Constraints:      43778
238.51/239.28	c #Conflicts:     179000 | #Constraints:      44778
238.51/239.28	c #Conflicts:     180000 | #Constraints:      45778
238.51/239.28	c INPROCESSING
238.51/239.28	c GARBAGE COLLECT
238.51/239.28	c #Conflicts:     181000 | #Constraints:      38379
238.51/239.28	c #Conflicts:     182000 | #Constraints:      39379
238.51/239.28	c #Conflicts:     183000 | #Constraints:      40379
238.51/239.28	c #Conflicts:     184000 | #Constraints:      41379
238.51/239.28	c #Conflicts:     185000 | #Constraints:      42379
238.51/239.28	c #Conflicts:     186000 | #Constraints:      43379
238.51/239.28	c #Conflicts:     187000 | #Constraints:      44379
238.51/239.28	c #Conflicts:     188000 | #Constraints:      45379
238.51/239.28	c #Conflicts:     189000 | #Constraints:      46379
238.51/239.28	c INPROCESSING
238.51/239.28	c GARBAGE COLLECT
238.51/239.28	c #Conflicts:     190000 | #Constraints:      38775
238.51/239.28	c #Conflicts:     191000 | #Constraints:      39775
238.51/239.28	c #Conflicts:     192000 | #Constraints:      40775
238.51/239.28	c #Conflicts:     193000 | #Constraints:      41775
238.51/239.28	c #Conflicts:     194000 | #Constraints:      42775
238.51/239.28	c #Conflicts:     195000 | #Constraints:      43775
238.51/239.28	c #Conflicts:     196000 | #Constraints:      44775
238.51/239.28	c #Conflicts:     197000 | #Constraints:      45775
238.51/239.28	c #Conflicts:     198000 | #Constraints:      46775
238.51/239.28	c INPROCESSING
238.51/239.28	c GARBAGE COLLECT
238.51/239.28	c #Conflicts:     199000 | #Constraints:      38975
238.51/239.28	c #Conflicts:     200000 | #Constraints:      39975
238.51/239.28	c #Conflicts:     201000 | #Constraints:      40975
238.51/239.28	c #Conflicts:     202000 | #Constraints:      41975
238.51/239.28	c #Conflicts:     203000 | #Constraints:      42975
238.51/239.28	c #Conflicts:     204000 | #Constraints:      43975
238.51/239.28	c #Conflicts:     205000 | #Constraints:      44975
238.51/239.28	c #Conflicts:     206000 | #Constraints:      45975
238.51/239.28	c #Conflicts:     207000 | #Constraints:      46975
238.51/239.28	c INPROCESSING
238.51/239.28	c GARBAGE COLLECT
238.51/239.28	c #Conflicts:     208000 | #Constraints:      38978
238.51/239.28	c #Conflicts:     209000 | #Constraints:      39978
238.51/239.28	c #Conflicts:     210000 | #Constraints:      40978
238.51/239.28	c #Conflicts:     211000 | #Constraints:      41978
238.51/239.28	c #Conflicts:     212000 | #Constraints:      42978
238.51/239.28	c #Conflicts:     213000 | #Constraints:      43978
238.51/239.28	c #Conflicts:     214000 | #Constraints:      44978
238.51/239.28	c finalizing WCE round: reformulating cores
343.43/344.44	c bounds 414 >= 43 @ 237.897
343.43/344.44	c #Conflicts:     215000 | #Constraints:      45981
343.43/344.44	c #Conflicts:     216000 | #Constraints:      46981
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     217000 | #Constraints:      38776
343.43/344.44	c #Conflicts:     218000 | #Constraints:      39776
343.43/344.44	c #Conflicts:     219000 | #Constraints:      40776
343.43/344.44	c #Conflicts:     220000 | #Constraints:      41776
343.43/344.44	c #Conflicts:     221000 | #Constraints:      42776
343.43/344.44	c #Conflicts:     222000 | #Constraints:      43776
343.43/344.44	c #Conflicts:     223000 | #Constraints:      44776
343.43/344.44	c #Conflicts:     224000 | #Constraints:      45776
343.43/344.44	c #Conflicts:     225000 | #Constraints:      46776
343.43/344.44	c #Conflicts:     226000 | #Constraints:      47776
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     227000 | #Constraints:      39377
343.43/344.44	c #Conflicts:     228000 | #Constraints:      40377
343.43/344.44	c #Conflicts:     229000 | #Constraints:      41377
343.43/344.44	c #Conflicts:     230000 | #Constraints:      42377
343.43/344.44	c #Conflicts:     231000 | #Constraints:      43377
343.43/344.44	c #Conflicts:     232000 | #Constraints:      44377
343.43/344.44	c #Conflicts:     233000 | #Constraints:      45377
343.43/344.44	c #Conflicts:     234000 | #Constraints:      46377
343.43/344.44	c #Conflicts:     235000 | #Constraints:      47377
343.43/344.44	c #Conflicts:     236000 | #Constraints:      48377
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     237000 | #Constraints:      39781
343.43/344.44	c #Conflicts:     238000 | #Constraints:      40781
343.43/344.44	c #Conflicts:     239000 | #Constraints:      41781
343.43/344.44	c #Conflicts:     240000 | #Constraints:      42781
343.43/344.44	c #Conflicts:     241000 | #Constraints:      43781
343.43/344.44	c #Conflicts:     242000 | #Constraints:      44781
343.43/344.44	c #Conflicts:     243000 | #Constraints:      45781
343.43/344.44	c #Conflicts:     244000 | #Constraints:      46781
343.43/344.44	c #Conflicts:     245000 | #Constraints:      47781
343.43/344.44	c #Conflicts:     246000 | #Constraints:      48781
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     247000 | #Constraints:      39984
343.43/344.44	c #Conflicts:     248000 | #Constraints:      40984
343.43/344.44	c #Conflicts:     249000 | #Constraints:      41984
343.43/344.44	c #Conflicts:     250000 | #Constraints:      42984
343.43/344.44	c #Conflicts:     251000 | #Constraints:      43984
343.43/344.44	c #Conflicts:     252000 | #Constraints:      44984
343.43/344.44	c #Conflicts:     253000 | #Constraints:      45984
343.43/344.44	c #Conflicts:     254000 | #Constraints:      46984
343.43/344.44	c #Conflicts:     255000 | #Constraints:      47984
343.43/344.44	c #Conflicts:     256000 | #Constraints:      48984
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     257000 | #Constraints:      39974
343.43/344.44	c #Conflicts:     258000 | #Constraints:      40974
343.43/344.44	c #Conflicts:     259000 | #Constraints:      41974
343.43/344.44	c #Conflicts:     260000 | #Constraints:      42974
343.43/344.44	c #Conflicts:     261000 | #Constraints:      43974
343.43/344.44	c #Conflicts:     262000 | #Constraints:      44974
343.43/344.44	c #Conflicts:     263000 | #Constraints:      45974
343.43/344.44	c #Conflicts:     264000 | #Constraints:      46974
343.43/344.44	c #Conflicts:     265000 | #Constraints:      47974
343.43/344.44	c #Conflicts:     266000 | #Constraints:      48974
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     267000 | #Constraints:      39781
343.43/344.44	c #Conflicts:     268000 | #Constraints:      40781
343.43/344.44	c #Conflicts:     269000 | #Constraints:      41781
343.43/344.44	c #Conflicts:     270000 | #Constraints:      42781
343.43/344.44	c #Conflicts:     271000 | #Constraints:      43781
343.43/344.44	c #Conflicts:     272000 | #Constraints:      44781
343.43/344.44	c #Conflicts:     273000 | #Constraints:      45781
343.43/344.44	c #Conflicts:     274000 | #Constraints:      46781
343.43/344.44	c #Conflicts:     275000 | #Constraints:      47781
343.43/344.44	c #Conflicts:     276000 | #Constraints:      48781
343.43/344.44	c #Conflicts:     277000 | #Constraints:      49781
343.43/344.44	c INPROCESSING
343.43/344.44	c GARBAGE COLLECT
343.43/344.44	c #Conflicts:     278000 | #Constraints:      40380
343.43/344.44	c #Conflicts:     279000 | #Constraints:      41380
343.43/344.44	c #Conflicts:     280000 | #Constraints:      42380
343.43/344.44	c #Conflicts:     281000 | #Constraints:      43380
343.43/344.44	c #Conflicts:     282000 | #Constraints:      44380
343.43/344.44	c #Conflicts:     283000 | #Constraints:      45380
343.43/344.44	c #Conflicts:     284000 | #Constraints:      46380
343.43/344.44	c #Conflicts:     285000 | #Constraints:      47380
343.43/344.44	c #Conflicts:     286000 | #Constraints:      48380
343.43/344.44	c #Conflicts:     287000 | #Constraints:      49380
343.43/344.44	c #Conflicts:     288000 | #Constraints:      50380
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     289000 | #Constraints:      40785
441.26/442.58	c #Conflicts:     290000 | #Constraints:      41785
441.26/442.58	c #Conflicts:     291000 | #Constraints:      42785
441.26/442.58	c #Conflicts:     292000 | #Constraints:      43785
441.26/442.58	c #Conflicts:     293000 | #Constraints:      44785
441.26/442.58	c #Conflicts:     294000 | #Constraints:      45785
441.26/442.58	c #Conflicts:     295000 | #Constraints:      46785
441.26/442.58	c #Conflicts:     296000 | #Constraints:      47785
441.26/442.58	c #Conflicts:     297000 | #Constraints:      48785
441.26/442.58	c #Conflicts:     298000 | #Constraints:      49785
441.26/442.58	c #Conflicts:     299000 | #Constraints:      50785
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     300000 | #Constraints:      40981
441.26/442.58	c #Conflicts:     301000 | #Constraints:      41981
441.26/442.58	c #Conflicts:     302000 | #Constraints:      42981
441.26/442.58	c #Conflicts:     303000 | #Constraints:      43981
441.26/442.58	c #Conflicts:     304000 | #Constraints:      44981
441.26/442.58	c #Conflicts:     305000 | #Constraints:      45981
441.26/442.58	c #Conflicts:     306000 | #Constraints:      46981
441.26/442.58	c #Conflicts:     307000 | #Constraints:      47981
441.26/442.58	c #Conflicts:     308000 | #Constraints:      48981
441.26/442.58	c #Conflicts:     309000 | #Constraints:      49981
441.26/442.58	c #Conflicts:     310000 | #Constraints:      50981
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     311000 | #Constraints:      40979
441.26/442.58	c #Conflicts:     312000 | #Constraints:      41979
441.26/442.58	c #Conflicts:     313000 | #Constraints:      42979
441.26/442.58	c #Conflicts:     314000 | #Constraints:      43979
441.26/442.58	c #Conflicts:     315000 | #Constraints:      44979
441.26/442.58	c #Conflicts:     316000 | #Constraints:      45979
441.26/442.58	c #Conflicts:     317000 | #Constraints:      46979
441.26/442.58	c #Conflicts:     318000 | #Constraints:      47979
441.26/442.58	c #Conflicts:     319000 | #Constraints:      48979
441.26/442.58	c #Conflicts:     320000 | #Constraints:      49979
441.26/442.58	c #Conflicts:     321000 | #Constraints:      50979
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     322000 | #Constraints:      40796
441.26/442.58	c #Conflicts:     323000 | #Constraints:      41796
441.26/442.58	c #Conflicts:     324000 | #Constraints:      42796
441.26/442.58	c #Conflicts:     325000 | #Constraints:      43796
441.26/442.58	c #Conflicts:     326000 | #Constraints:      44796
441.26/442.58	c #Conflicts:     327000 | #Constraints:      45796
441.26/442.58	c #Conflicts:     328000 | #Constraints:      46796
441.26/442.58	c #Conflicts:     329000 | #Constraints:      47796
441.26/442.58	c #Conflicts:     330000 | #Constraints:      48796
441.26/442.58	c #Conflicts:     331000 | #Constraints:      49796
441.26/442.58	c #Conflicts:     332000 | #Constraints:      50796
441.26/442.58	c #Conflicts:     333000 | #Constraints:      51796
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     334000 | #Constraints:      41393
441.26/442.58	c #Conflicts:     335000 | #Constraints:      42393
441.26/442.58	c #Conflicts:     336000 | #Constraints:      43393
441.26/442.58	c #Conflicts:     337000 | #Constraints:      44393
441.26/442.58	c #Conflicts:     338000 | #Constraints:      45393
441.26/442.58	c #Conflicts:     339000 | #Constraints:      46393
441.26/442.58	c #Conflicts:     340000 | #Constraints:      47393
441.26/442.58	c #Conflicts:     341000 | #Constraints:      48393
441.26/442.58	c #Conflicts:     342000 | #Constraints:      49393
441.26/442.58	c #Conflicts:     343000 | #Constraints:      50393
441.26/442.58	c #Conflicts:     344000 | #Constraints:      51393
441.26/442.58	c #Conflicts:     345000 | #Constraints:      52393
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     346000 | #Constraints:      41781
441.26/442.58	c #Conflicts:     347000 | #Constraints:      42781
441.26/442.58	c #Conflicts:     348000 | #Constraints:      43781
441.26/442.58	c #Conflicts:     349000 | #Constraints:      44781
441.26/442.58	c #Conflicts:     350000 | #Constraints:      45781
441.26/442.58	c #Conflicts:     351000 | #Constraints:      46781
441.26/442.58	c #Conflicts:     352000 | #Constraints:      47781
441.26/442.58	c #Conflicts:     353000 | #Constraints:      48781
441.26/442.58	c #Conflicts:     354000 | #Constraints:      49781
441.26/442.58	c #Conflicts:     355000 | #Constraints:      50781
441.26/442.58	c #Conflicts:     356000 | #Constraints:      51781
441.26/442.58	c #Conflicts:     357000 | #Constraints:      52781
441.26/442.58	c INPROCESSING
441.26/442.58	c GARBAGE COLLECT
441.26/442.58	c #Conflicts:     358000 | #Constraints:      41989
441.26/442.58	c #Conflicts:     359000 | #Constraints:      42989
441.26/442.58	c #Conflicts:     360000 | #Constraints:      43989
441.26/442.58	c #Conflicts:     361000 | #Constraints:      44989
441.26/442.58	c #Conflicts:     362000 | #Constraints:      45989
441.26/442.58	c #Conflicts:     363000 | #Constraints:      46989
553.93/555.57	c #Conflicts:     364000 | #Constraints:      47989
553.93/555.57	c #Conflicts:     365000 | #Constraints:      48989
553.93/555.57	c #Conflicts:     366000 | #Constraints:      49989
553.93/555.57	c #Conflicts:     367000 | #Constraints:      50989
553.93/555.57	c #Conflicts:     368000 | #Constraints:      51989
553.93/555.57	c #Conflicts:     369000 | #Constraints:      52989
553.93/555.57	c INPROCESSING
553.93/555.57	c GARBAGE COLLECT
553.93/555.57	c #Conflicts:     370000 | #Constraints:      42000
553.93/555.57	c #Conflicts:     371000 | #Constraints:      43000
553.93/555.57	c #Conflicts:     372000 | #Constraints:      44000
553.93/555.57	c #Conflicts:     373000 | #Constraints:      45000
553.93/555.57	c #Conflicts:     374000 | #Constraints:      46000
553.93/555.57	c #Conflicts:     375000 | #Constraints:      47000
553.93/555.57	c #Conflicts:     376000 | #Constraints:      48000
553.93/555.57	c #Conflicts:     377000 | #Constraints:      49000
553.93/555.57	c #Conflicts:     378000 | #Constraints:      50000
553.93/555.57	c #Conflicts:     379000 | #Constraints:      51000
553.93/555.57	c #Conflicts:     380000 | #Constraints:      52000
553.93/555.57	c #Conflicts:     381000 | #Constraints:      53000
553.93/555.57	c INPROCESSING
553.93/555.57	c GARBAGE COLLECT
553.93/555.57	c #Conflicts:     382000 | #Constraints:      41801
553.93/555.57	c #Conflicts:     383000 | #Constraints:      42801
553.93/555.57	c #Conflicts:     384000 | #Constraints:      43801
553.93/555.57	c #Conflicts:     385000 | #Constraints:      44801
553.93/555.57	c #Conflicts:     386000 | #Constraints:      45801
553.93/555.57	c #Conflicts:     387000 | #Constraints:      46801
553.93/555.57	c #Conflicts:     388000 | #Constraints:      47801
553.93/555.57	c #Conflicts:     389000 | #Constraints:      48801
553.93/555.57	c #Conflicts:     390000 | #Constraints:      49801
553.93/555.57	c #Conflicts:     391000 | #Constraints:      50801
553.93/555.57	c #Conflicts:     392000 | #Constraints:      51801
553.93/555.57	c #Conflicts:     393000 | #Constraints:      52801
553.93/555.57	c #Conflicts:     394000 | #Constraints:      53801
553.93/555.57	c INPROCESSING
553.93/555.57	c GARBAGE COLLECT
553.93/555.57	c #Conflicts:     395000 | #Constraints:      42403
553.93/555.57	c #Conflicts:     396000 | #Constraints:      43403
553.93/555.57	c #Conflicts:     397000 | #Constraints:      44403
553.93/555.57	c #Conflicts:     398000 | #Constraints:      45403
553.93/555.57	c #Conflicts:     399000 | #Constraints:      46403
553.93/555.57	c #Conflicts:     400000 | #Constraints:      47403
553.93/555.57	c #Conflicts:     401000 | #Constraints:      48403
553.93/555.57	c #Conflicts:     402000 | #Constraints:      49403
553.93/555.57	c #Conflicts:     403000 | #Constraints:      50403
553.93/555.57	c #Conflicts:     404000 | #Constraints:      51403
553.93/555.57	c #Conflicts:     405000 | #Constraints:      52403
553.93/555.57	c #Conflicts:     406000 | #Constraints:      53403
553.93/555.57	c #Conflicts:     407000 | #Constraints:      54403
553.93/555.57	c INPROCESSING
553.93/555.57	c GARBAGE COLLECT
553.93/555.57	c #Conflicts:     408000 | #Constraints:      42793
553.93/555.57	c #Conflicts:     409000 | #Constraints:      43793
553.93/555.57	c #Conflicts:     410000 | #Constraints:      44793
553.93/555.57	c #Conflicts:     411000 | #Constraints:      45793
553.93/555.57	c #Conflicts:     412000 | #Constraints:      46793
553.93/555.57	c #Conflicts:     413000 | #Constraints:      47793
553.93/555.57	c #Conflicts:     414000 | #Constraints:      48793
553.93/555.57	c #Conflicts:     415000 | #Constraints:      49793
553.93/555.57	c #Conflicts:     416000 | #Constraints:      50793
553.93/555.57	c #Conflicts:     417000 | #Constraints:      51793
553.93/555.57	c #Conflicts:     418000 | #Constraints:      52793
553.93/555.57	c #Conflicts:     419000 | #Constraints:      53793
553.93/555.57	c #Conflicts:     420000 | #Constraints:      54793
553.93/555.57	c INPROCESSING
553.93/555.57	c GARBAGE COLLECT
553.93/555.57	c #Conflicts:     421000 | #Constraints:      42983
553.93/555.57	c #Conflicts:     422000 | #Constraints:      43983
553.93/555.57	c #Conflicts:     423000 | #Constraints:      44983
553.93/555.57	c #Conflicts:     424000 | #Constraints:      45983
553.93/555.57	c #Conflicts:     425000 | #Constraints:      46983
553.93/555.57	c #Conflicts:     426000 | #Constraints:      47983
553.93/555.57	c #Conflicts:     427000 | #Constraints:      48983
553.93/555.57	c #Conflicts:     428000 | #Constraints:      49983
553.93/555.57	c #Conflicts:     429000 | #Constraints:      50983
553.93/555.57	c #Conflicts:     430000 | #Constraints:      51983
553.93/555.57	c #Conflicts:     431000 | #Constraints:      52983
553.93/555.57	c #Conflicts:     432000 | #Constraints:      53983
553.93/555.57	c #Conflicts:     433000 | #Constraints:      54983
553.93/555.57	c INPROCESSING
553.93/555.57	c GARBAGE COLLECT
553.93/555.57	c #Conflicts:     434000 | #Constraints:      42996
553.93/555.57	c #Conflicts:     435000 | #Constraints:      43996
553.93/555.57	c #Conflicts:     436000 | #Constraints:      44996
553.93/555.57	c #Conflicts:     437000 | #Constraints:      45996
553.93/555.57	c #Conflicts:     438000 | #Constraints:      46996
682.94/684.94	c #Conflicts:     439000 | #Constraints:      47996
682.94/684.94	c #Conflicts:     440000 | #Constraints:      48996
682.94/684.94	c #Conflicts:     441000 | #Constraints:      49996
682.94/684.94	c #Conflicts:     442000 | #Constraints:      50996
682.94/684.94	c #Conflicts:     443000 | #Constraints:      51996
682.94/684.94	c #Conflicts:     444000 | #Constraints:      52996
682.94/684.94	c #Conflicts:     445000 | #Constraints:      53996
682.94/684.94	c #Conflicts:     446000 | #Constraints:      54996
682.94/684.94	c INPROCESSING
682.94/684.94	c GARBAGE COLLECT
682.94/684.94	c #Conflicts:     447000 | #Constraints:      42797
682.94/684.94	c #Conflicts:     448000 | #Constraints:      43797
682.94/684.94	c #Conflicts:     449000 | #Constraints:      44797
682.94/684.94	c #Conflicts:     450000 | #Constraints:      45797
682.94/684.94	c #Conflicts:     451000 | #Constraints:      46797
682.94/684.94	c #Conflicts:     452000 | #Constraints:      47797
682.94/684.94	c #Conflicts:     453000 | #Constraints:      48797
682.94/684.94	c #Conflicts:     454000 | #Constraints:      49797
682.94/684.94	c #Conflicts:     455000 | #Constraints:      50797
682.94/684.94	c #Conflicts:     456000 | #Constraints:      51797
682.94/684.94	c #Conflicts:     457000 | #Constraints:      52797
682.94/684.94	c #Conflicts:     458000 | #Constraints:      53797
682.94/684.94	c #Conflicts:     459000 | #Constraints:      54797
682.94/684.94	c #Conflicts:     460000 | #Constraints:      55797
682.94/684.94	c INPROCESSING
682.94/684.94	c GARBAGE COLLECT
682.94/684.94	c #Conflicts:     461000 | #Constraints:      43401
682.94/684.94	c #Conflicts:     462000 | #Constraints:      44401
682.94/684.94	c #Conflicts:     463000 | #Constraints:      45401
682.94/684.94	c #Conflicts:     464000 | #Constraints:      46401
682.94/684.94	c #Conflicts:     465000 | #Constraints:      47401
682.94/684.94	c #Conflicts:     466000 | #Constraints:      48401
682.94/684.94	c #Conflicts:     467000 | #Constraints:      49401
682.94/684.94	c #Conflicts:     468000 | #Constraints:      50401
682.94/684.94	c #Conflicts:     469000 | #Constraints:      51401
682.94/684.94	c #Conflicts:     470000 | #Constraints:      52401
682.94/684.94	c #Conflicts:     471000 | #Constraints:      53401
682.94/684.94	c #Conflicts:     472000 | #Constraints:      54401
682.94/684.94	c #Conflicts:     473000 | #Constraints:      55401
682.94/684.94	c #Conflicts:     474000 | #Constraints:      56401
682.94/684.94	c INPROCESSING
682.94/684.94	c GARBAGE COLLECT
682.94/684.94	c #Conflicts:     475000 | #Constraints:      43789
682.94/684.94	c #Conflicts:     476000 | #Constraints:      44789
682.94/684.94	c #Conflicts:     477000 | #Constraints:      45789
682.94/684.94	c #Conflicts:     478000 | #Constraints:      46789
682.94/684.94	c #Conflicts:     479000 | #Constraints:      47789
682.94/684.94	c #Conflicts:     480000 | #Constraints:      48789
682.94/684.94	c #Conflicts:     481000 | #Constraints:      49789
682.94/684.94	c #Conflicts:     482000 | #Constraints:      50789
682.94/684.94	c #Conflicts:     483000 | #Constraints:      51789
682.94/684.94	c #Conflicts:     484000 | #Constraints:      52789
682.94/684.94	c #Conflicts:     485000 | #Constraints:      53789
682.94/684.94	c #Conflicts:     486000 | #Constraints:      54789
682.94/684.94	c #Conflicts:     487000 | #Constraints:      55789
682.94/684.94	c #Conflicts:     488000 | #Constraints:      56789
682.94/684.94	c INPROCESSING
682.94/684.94	c GARBAGE COLLECT
682.94/684.94	c #Conflicts:     489000 | #Constraints:      44002
682.94/684.94	c #Conflicts:     490000 | #Constraints:      45002
682.94/684.94	c #Conflicts:     491000 | #Constraints:      46002
682.94/684.94	c #Conflicts:     492000 | #Constraints:      47002
682.94/684.94	c #Conflicts:     493000 | #Constraints:      48002
682.94/684.94	c #Conflicts:     494000 | #Constraints:      49002
682.94/684.94	c #Conflicts:     495000 | #Constraints:      50002
682.94/684.94	c #Conflicts:     496000 | #Constraints:      51002
682.94/684.94	c #Conflicts:     497000 | #Constraints:      52002
682.94/684.94	c #Conflicts:     498000 | #Constraints:      53002
682.94/684.94	c #Conflicts:     499000 | #Constraints:      54002
682.94/684.94	c #Conflicts:     500000 | #Constraints:      55002
682.94/684.94	c #Conflicts:     501000 | #Constraints:      56002
682.94/684.94	c #Conflicts:     502000 | #Constraints:      57002
682.94/684.94	c INPROCESSING
682.94/684.94	c GARBAGE COLLECT
682.94/684.94	c #Conflicts:     503000 | #Constraints:      44015
682.94/684.94	c #Conflicts:     504000 | #Constraints:      45015
682.94/684.94	c #Conflicts:     505000 | #Constraints:      46015
682.94/684.94	c #Conflicts:     506000 | #Constraints:      47015
682.94/684.94	c #Conflicts:     507000 | #Constraints:      48015
682.94/684.94	c #Conflicts:     508000 | #Constraints:      49015
682.94/684.94	c #Conflicts:     509000 | #Constraints:      50015
682.94/684.94	c #Conflicts:     510000 | #Constraints:      51015
682.94/684.94	c #Conflicts:     511000 | #Constraints:      52015
682.94/684.94	c #Conflicts:     512000 | #Constraints:      53015
682.94/684.94	c #Conflicts:     513000 | #Constraints:      54015
809.37/811.73	c #Conflicts:     514000 | #Constraints:      55015
809.37/811.73	c #Conflicts:     515000 | #Constraints:      56015
809.37/811.73	c #Conflicts:     516000 | #Constraints:      57015
809.37/811.73	c INPROCESSING
809.37/811.73	c GARBAGE COLLECT
809.37/811.73	c #Conflicts:     517000 | #Constraints:      43810
809.37/811.73	c #Conflicts:     518000 | #Constraints:      44810
809.37/811.73	c #Conflicts:     519000 | #Constraints:      45810
809.37/811.73	c #Conflicts:     520000 | #Constraints:      46810
809.37/811.73	c #Conflicts:     521000 | #Constraints:      47810
809.37/811.73	c #Conflicts:     522000 | #Constraints:      48810
809.37/811.73	c #Conflicts:     523000 | #Constraints:      49810
809.37/811.73	c #Conflicts:     524000 | #Constraints:      50810
809.37/811.73	c #Conflicts:     525000 | #Constraints:      51810
809.37/811.73	c #Conflicts:     526000 | #Constraints:      52810
809.37/811.73	c #Conflicts:     527000 | #Constraints:      53810
809.37/811.73	c #Conflicts:     528000 | #Constraints:      54810
809.37/811.73	c #Conflicts:     529000 | #Constraints:      55810
809.37/811.73	c #Conflicts:     530000 | #Constraints:      56810
809.37/811.73	c #Conflicts:     531000 | #Constraints:      57810
809.37/811.73	c INPROCESSING
809.37/811.73	c GARBAGE COLLECT
809.37/811.73	c #Conflicts:     532000 | #Constraints:      44400
809.37/811.73	c #Conflicts:     533000 | #Constraints:      45400
809.37/811.73	c #Conflicts:     534000 | #Constraints:      46400
809.37/811.73	c #Conflicts:     535000 | #Constraints:      47400
809.37/811.73	c #Conflicts:     536000 | #Constraints:      48400
809.37/811.73	c #Conflicts:     537000 | #Constraints:      49400
809.37/811.73	c #Conflicts:     538000 | #Constraints:      50400
809.37/811.73	c #Conflicts:     539000 | #Constraints:      51400
809.37/811.73	c #Conflicts:     540000 | #Constraints:      52400
809.37/811.73	c #Conflicts:     541000 | #Constraints:      53400
809.37/811.73	c #Conflicts:     542000 | #Constraints:      54400
809.37/811.73	c #Conflicts:     543000 | #Constraints:      55400
809.37/811.73	c #Conflicts:     544000 | #Constraints:      56400
809.37/811.73	c #Conflicts:     545000 | #Constraints:      57400
809.37/811.73	c #Conflicts:     546000 | #Constraints:      58400
809.37/811.73	c INPROCESSING
809.37/811.73	c GARBAGE COLLECT
809.37/811.73	c #Conflicts:     547000 | #Constraints:      44801
809.37/811.73	c #Conflicts:     548000 | #Constraints:      45801
809.37/811.73	c #Conflicts:     549000 | #Constraints:      46801
809.37/811.73	c #Conflicts:     550000 | #Constraints:      47801
809.37/811.73	c #Conflicts:     551000 | #Constraints:      48801
809.37/811.73	c #Conflicts:     552000 | #Constraints:      49801
809.37/811.73	c #Conflicts:     553000 | #Constraints:      50801
809.37/811.73	c #Conflicts:     554000 | #Constraints:      51801
809.37/811.73	c #Conflicts:     555000 | #Constraints:      52801
809.37/811.73	c #Conflicts:     556000 | #Constraints:      53801
809.37/811.73	c #Conflicts:     557000 | #Constraints:      54801
809.37/811.73	c #Conflicts:     558000 | #Constraints:      55801
809.37/811.73	c #Conflicts:     559000 | #Constraints:      56801
809.37/811.73	c #Conflicts:     560000 | #Constraints:      57801
809.37/811.73	c #Conflicts:     561000 | #Constraints:      58801
809.37/811.73	c INPROCESSING
809.37/811.73	c GARBAGE COLLECT
809.37/811.73	c #Conflicts:     562000 | #Constraints:      44998
809.37/811.73	c #Conflicts:     563000 | #Constraints:      45998
809.37/811.73	c #Conflicts:     564000 | #Constraints:      46998
809.37/811.73	c #Conflicts:     565000 | #Constraints:      47998
809.37/811.73	c #Conflicts:     566000 | #Constraints:      48998
809.37/811.73	c #Conflicts:     567000 | #Constraints:      49998
809.37/811.73	c #Conflicts:     568000 | #Constraints:      50998
809.37/811.73	c #Conflicts:     569000 | #Constraints:      51998
809.37/811.73	c #Conflicts:     570000 | #Constraints:      52998
809.37/811.73	c #Conflicts:     571000 | #Constraints:      53998
809.37/811.73	c #Conflicts:     572000 | #Constraints:      54998
809.37/811.73	c #Conflicts:     573000 | #Constraints:      55998
809.37/811.73	c #Conflicts:     574000 | #Constraints:      56998
809.37/811.73	c #Conflicts:     575000 | #Constraints:      57998
809.37/811.73	c #Conflicts:     576000 | #Constraints:      58998
809.37/811.73	c INPROCESSING
809.37/811.73	c GARBAGE COLLECT
809.37/811.73	c #Conflicts:     577000 | #Constraints:      44998
809.37/811.73	c #Conflicts:     578000 | #Constraints:      45998
809.37/811.73	c #Conflicts:     579000 | #Constraints:      46998
809.37/811.73	c #Conflicts:     580000 | #Constraints:      47998
809.37/811.73	c #Conflicts:     581000 | #Constraints:      48998
809.37/811.73	c #Conflicts:     582000 | #Constraints:      49998
809.37/811.73	c #Conflicts:     583000 | #Constraints:      50998
809.37/811.73	c #Conflicts:     584000 | #Constraints:      51998
809.37/811.73	c bounds 405 >= 43 @ 804.896
809.37/811.73	c stratification level: 42
961.50/964.35	c #Conflicts:     585000 | #Constraints:      52999
961.50/964.35	c #Conflicts:     586000 | #Constraints:      53999
961.50/964.35	c #Conflicts:     587000 | #Constraints:      54999
961.50/964.35	c #Conflicts:     588000 | #Constraints:      55999
961.50/964.35	c #Conflicts:     589000 | #Constraints:      56999
961.50/964.35	c #Conflicts:     590000 | #Constraints:      57999
961.50/964.35	c #Conflicts:     591000 | #Constraints:      58999
961.50/964.35	c INPROCESSING
961.50/964.35	c GARBAGE COLLECT
961.50/964.35	c #Conflicts:     592000 | #Constraints:      44794
961.50/964.35	c #Conflicts:     593000 | #Constraints:      45794
961.50/964.35	c #Conflicts:     594000 | #Constraints:      46794
961.50/964.35	c #Conflicts:     595000 | #Constraints:      47794
961.50/964.35	c #Conflicts:     596000 | #Constraints:      48794
961.50/964.35	c #Conflicts:     597000 | #Constraints:      49794
961.50/964.35	c #Conflicts:     598000 | #Constraints:      50794
961.50/964.35	c #Conflicts:     599000 | #Constraints:      51794
961.50/964.35	c #Conflicts:     600000 | #Constraints:      52794
961.50/964.35	c #Conflicts:     601000 | #Constraints:      53794
961.50/964.35	c #Conflicts:     602000 | #Constraints:      54794
961.50/964.35	c #Conflicts:     603000 | #Constraints:      55794
961.50/964.35	c #Conflicts:     604000 | #Constraints:      56794
961.50/964.35	c #Conflicts:     605000 | #Constraints:      57794
961.50/964.35	c #Conflicts:     606000 | #Constraints:      58794
961.50/964.35	c #Conflicts:     607000 | #Constraints:      59794
961.50/964.35	c INPROCESSING
961.50/964.35	c GARBAGE COLLECT
961.50/964.35	c #Conflicts:     608000 | #Constraints:      45398
961.50/964.35	c #Conflicts:     609000 | #Constraints:      46398
961.50/964.35	c #Conflicts:     610000 | #Constraints:      47398
961.50/964.35	c #Conflicts:     611000 | #Constraints:      48398
961.50/964.35	c #Conflicts:     612000 | #Constraints:      49398
961.50/964.35	c #Conflicts:     613000 | #Constraints:      50398
961.50/964.35	c #Conflicts:     614000 | #Constraints:      51398
961.50/964.35	c #Conflicts:     615000 | #Constraints:      52398
961.50/964.35	c #Conflicts:     616000 | #Constraints:      53398
961.50/964.35	c #Conflicts:     617000 | #Constraints:      54398
961.50/964.35	c #Conflicts:     618000 | #Constraints:      55398
961.50/964.35	c #Conflicts:     619000 | #Constraints:      56398
961.50/964.35	c #Conflicts:     620000 | #Constraints:      57398
961.50/964.35	c #Conflicts:     621000 | #Constraints:      58398
961.50/964.35	c #Conflicts:     622000 | #Constraints:      59398
961.50/964.35	c #Conflicts:     623000 | #Constraints:      60398
961.50/964.35	c INPROCESSING
961.50/964.35	c GARBAGE COLLECT
961.50/964.35	c #Conflicts:     624000 | #Constraints:      45801
961.50/964.35	c #Conflicts:     625000 | #Constraints:      46801
961.50/964.35	c #Conflicts:     626000 | #Constraints:      47801
961.50/964.35	c #Conflicts:     627000 | #Constraints:      48801
961.50/964.35	c #Conflicts:     628000 | #Constraints:      49801
961.50/964.35	c #Conflicts:     629000 | #Constraints:      50801
961.50/964.35	c #Conflicts:     630000 | #Constraints:      51801
961.50/964.35	c #Conflicts:     631000 | #Constraints:      52801
961.50/964.35	c #Conflicts:     632000 | #Constraints:      53801
961.50/964.35	c #Conflicts:     633000 | #Constraints:      54801
961.50/964.35	c #Conflicts:     634000 | #Constraints:      55801
961.50/964.35	c #Conflicts:     635000 | #Constraints:      56801
961.50/964.35	c #Conflicts:     636000 | #Constraints:      57801
961.50/964.35	c #Conflicts:     637000 | #Constraints:      58801
961.50/964.35	c #Conflicts:     638000 | #Constraints:      59801
961.50/964.35	c #Conflicts:     639000 | #Constraints:      60801
961.50/964.35	c INPROCESSING
961.50/964.35	c GARBAGE COLLECT
961.50/964.35	c #Conflicts:     640000 | #Constraints:      46001
961.50/964.35	c #Conflicts:     641000 | #Constraints:      47001
961.50/964.35	c #Conflicts:     642000 | #Constraints:      48001
961.50/964.35	c #Conflicts:     643000 | #Constraints:      49001
961.50/964.35	c #Conflicts:     644000 | #Constraints:      50001
961.50/964.35	c #Conflicts:     645000 | #Constraints:      51001
961.50/964.35	c #Conflicts:     646000 | #Constraints:      52001
961.50/964.35	c #Conflicts:     647000 | #Constraints:      53001
961.50/964.35	c #Conflicts:     648000 | #Constraints:      54001
961.50/964.35	c #Conflicts:     649000 | #Constraints:      55001
961.50/964.35	c #Conflicts:     650000 | #Constraints:      56001
961.50/964.35	c #Conflicts:     651000 | #Constraints:      57001
961.50/964.35	c #Conflicts:     652000 | #Constraints:      58001
961.50/964.35	c #Conflicts:     653000 | #Constraints:      59001
961.50/964.35	c #Conflicts:     654000 | #Constraints:      60001
961.50/964.35	c #Conflicts:     655000 | #Constraints:      61001
961.50/964.35	c INPROCESSING
961.50/964.35	c GARBAGE COLLECT
961.50/964.35	c #Conflicts:     656000 | #Constraints:      46008
961.50/964.35	c #Conflicts:     657000 | #Constraints:      47008
961.50/964.35	c #Conflicts:     658000 | #Constraints:      48008
961.50/964.35	c #Conflicts:     659000 | #Constraints:      49008
961.50/964.35	c #Conflicts:     660000 | #Constraints:      50008
1138.73/1142.19	c #Conflicts:     661000 | #Constraints:      51008
1138.73/1142.19	c #Conflicts:     662000 | #Constraints:      52008
1138.73/1142.19	c #Conflicts:     663000 | #Constraints:      53008
1138.73/1142.19	c #Conflicts:     664000 | #Constraints:      54008
1138.73/1142.19	c #Conflicts:     665000 | #Constraints:      55008
1138.73/1142.19	c #Conflicts:     666000 | #Constraints:      56008
1138.73/1142.19	c #Conflicts:     667000 | #Constraints:      57008
1138.73/1142.19	c #Conflicts:     668000 | #Constraints:      58008
1138.73/1142.19	c #Conflicts:     669000 | #Constraints:      59008
1138.73/1142.19	c #Conflicts:     670000 | #Constraints:      60008
1138.73/1142.19	c #Conflicts:     671000 | #Constraints:      61008
1138.73/1142.19	c INPROCESSING
1138.73/1142.19	c GARBAGE COLLECT
1138.73/1142.19	c #Conflicts:     672000 | #Constraints:      45801
1138.73/1142.19	c #Conflicts:     673000 | #Constraints:      46801
1138.73/1142.19	c #Conflicts:     674000 | #Constraints:      47801
1138.73/1142.19	c #Conflicts:     675000 | #Constraints:      48801
1138.73/1142.19	c #Conflicts:     676000 | #Constraints:      49801
1138.73/1142.19	c #Conflicts:     677000 | #Constraints:      50801
1138.73/1142.19	c #Conflicts:     678000 | #Constraints:      51801
1138.73/1142.19	c #Conflicts:     679000 | #Constraints:      52801
1138.73/1142.19	c #Conflicts:     680000 | #Constraints:      53801
1138.73/1142.19	c #Conflicts:     681000 | #Constraints:      54801
1138.73/1142.19	c #Conflicts:     682000 | #Constraints:      55801
1138.73/1142.19	c #Conflicts:     683000 | #Constraints:      56801
1138.73/1142.19	c #Conflicts:     684000 | #Constraints:      57801
1138.73/1142.19	c #Conflicts:     685000 | #Constraints:      58801
1138.73/1142.19	c #Conflicts:     686000 | #Constraints:      59801
1138.73/1142.19	c #Conflicts:     687000 | #Constraints:      60801
1138.73/1142.19	c #Conflicts:     688000 | #Constraints:      61801
1138.73/1142.19	c INPROCESSING
1138.73/1142.19	c GARBAGE COLLECT
1138.73/1142.19	c #Conflicts:     689000 | #Constraints:      46393
1138.73/1142.19	c #Conflicts:     690000 | #Constraints:      47393
1138.73/1142.19	c #Conflicts:     691000 | #Constraints:      48393
1138.73/1142.19	c #Conflicts:     692000 | #Constraints:      49393
1138.73/1142.19	c #Conflicts:     693000 | #Constraints:      50393
1138.73/1142.19	c #Conflicts:     694000 | #Constraints:      51393
1138.73/1142.19	c #Conflicts:     695000 | #Constraints:      52393
1138.73/1142.19	c #Conflicts:     696000 | #Constraints:      53393
1138.73/1142.19	c #Conflicts:     697000 | #Constraints:      54393
1138.73/1142.19	c #Conflicts:     698000 | #Constraints:      55393
1138.73/1142.19	c #Conflicts:     699000 | #Constraints:      56393
1138.73/1142.19	c #Conflicts:     700000 | #Constraints:      57393
1138.73/1142.19	c #Conflicts:     701000 | #Constraints:      58393
1138.73/1142.19	c #Conflicts:     702000 | #Constraints:      59393
1138.73/1142.19	c #Conflicts:     703000 | #Constraints:      60393
1138.73/1142.19	c #Conflicts:     704000 | #Constraints:      61393
1138.73/1142.19	c #Conflicts:     705000 | #Constraints:      62393
1138.73/1142.19	c INPROCESSING
1138.73/1142.19	c GARBAGE COLLECT
1138.73/1142.19	c #Conflicts:     706000 | #Constraints:      46796
1138.73/1142.19	c #Conflicts:     707000 | #Constraints:      47796
1138.73/1142.19	c #Conflicts:     708000 | #Constraints:      48796
1138.73/1142.19	c #Conflicts:     709000 | #Constraints:      49796
1138.73/1142.19	c #Conflicts:     710000 | #Constraints:      50796
1138.73/1142.19	c #Conflicts:     711000 | #Constraints:      51796
1138.73/1142.19	c #Conflicts:     712000 | #Constraints:      52796
1138.73/1142.19	c #Conflicts:     713000 | #Constraints:      53796
1138.73/1142.19	c #Conflicts:     714000 | #Constraints:      54796
1138.73/1142.19	c #Conflicts:     715000 | #Constraints:      55796
1138.73/1142.19	c #Conflicts:     716000 | #Constraints:      56796
1138.73/1142.19	c #Conflicts:     717000 | #Constraints:      57796
1138.73/1142.19	c #Conflicts:     718000 | #Constraints:      58796
1138.73/1142.19	c #Conflicts:     719000 | #Constraints:      59796
1138.73/1142.19	c #Conflicts:     720000 | #Constraints:      60796
1138.73/1142.19	c #Conflicts:     721000 | #Constraints:      61796
1138.73/1142.19	c #Conflicts:     722000 | #Constraints:      62796
1138.73/1142.19	c INPROCESSING
1138.73/1142.19	c GARBAGE COLLECT
1138.73/1142.19	c #Conflicts:     723000 | #Constraints:      46999
1138.73/1142.19	c #Conflicts:     724000 | #Constraints:      47999
1138.73/1142.19	c #Conflicts:     725000 | #Constraints:      48999
1138.73/1142.19	c #Conflicts:     726000 | #Constraints:      49999
1138.73/1142.19	c #Conflicts:     727000 | #Constraints:      50999
1138.73/1142.19	c #Conflicts:     728000 | #Constraints:      51999
1138.73/1142.19	c #Conflicts:     729000 | #Constraints:      52999
1138.73/1142.19	c #Conflicts:     730000 | #Constraints:      53999
1138.73/1142.19	c #Conflicts:     731000 | #Constraints:      54999
1138.73/1142.19	c #Conflicts:     732000 | #Constraints:      55999
1138.73/1142.19	c #Conflicts:     733000 | #Constraints:      56999
1138.73/1142.19	c #Conflicts:     734000 | #Constraints:      57999
1138.73/1142.19	c #Conflicts:     735000 | #Constraints:      58999
1138.73/1142.19	c #Conflicts:     736000 | #Constraints:      59999
1338.98/1343.10	c #Conflicts:     737000 | #Constraints:      60999
1338.98/1343.10	c #Conflicts:     738000 | #Constraints:      61999
1338.98/1343.10	c #Conflicts:     739000 | #Constraints:      62999
1338.98/1343.10	c INPROCESSING
1338.98/1343.10	c GARBAGE COLLECT
1338.98/1343.10	c #Conflicts:     740000 | #Constraints:      46997
1338.98/1343.10	c #Conflicts:     741000 | #Constraints:      47997
1338.98/1343.10	c #Conflicts:     742000 | #Constraints:      48997
1338.98/1343.10	c #Conflicts:     743000 | #Constraints:      49997
1338.98/1343.10	c #Conflicts:     744000 | #Constraints:      50997
1338.98/1343.10	c #Conflicts:     745000 | #Constraints:      51997
1338.98/1343.10	c #Conflicts:     746000 | #Constraints:      52997
1338.98/1343.10	c #Conflicts:     747000 | #Constraints:      53997
1338.98/1343.10	c #Conflicts:     748000 | #Constraints:      54997
1338.98/1343.10	c #Conflicts:     749000 | #Constraints:      55997
1338.98/1343.10	c #Conflicts:     750000 | #Constraints:      56997
1338.98/1343.10	c #Conflicts:     751000 | #Constraints:      57997
1338.98/1343.10	c #Conflicts:     752000 | #Constraints:      58997
1338.98/1343.10	c #Conflicts:     753000 | #Constraints:      59997
1338.98/1343.10	c #Conflicts:     754000 | #Constraints:      60997
1338.98/1343.10	c #Conflicts:     755000 | #Constraints:      61997
1338.98/1343.10	c #Conflicts:     756000 | #Constraints:      62997
1338.98/1343.10	c INPROCESSING
1338.98/1343.10	c GARBAGE COLLECT
1338.98/1343.10	c #Conflicts:     757000 | #Constraints:      46805
1338.98/1343.10	c #Conflicts:     758000 | #Constraints:      47805
1338.98/1343.10	c #Conflicts:     759000 | #Constraints:      48805
1338.98/1343.10	c #Conflicts:     760000 | #Constraints:      49805
1338.98/1343.10	c #Conflicts:     761000 | #Constraints:      50805
1338.98/1343.10	c #Conflicts:     762000 | #Constraints:      51805
1338.98/1343.10	c #Conflicts:     763000 | #Constraints:      52805
1338.98/1343.10	c #Conflicts:     764000 | #Constraints:      53805
1338.98/1343.10	c #Conflicts:     765000 | #Constraints:      54805
1338.98/1343.10	c #Conflicts:     766000 | #Constraints:      55805
1338.98/1343.10	c #Conflicts:     767000 | #Constraints:      56805
1338.98/1343.10	c #Conflicts:     768000 | #Constraints:      57805
1338.98/1343.10	c #Conflicts:     769000 | #Constraints:      58805
1338.98/1343.10	c #Conflicts:     770000 | #Constraints:      59805
1338.98/1343.10	c #Conflicts:     771000 | #Constraints:      60805
1338.98/1343.10	c #Conflicts:     772000 | #Constraints:      61805
1338.98/1343.10	c #Conflicts:     773000 | #Constraints:      62805
1338.98/1343.10	c #Conflicts:     774000 | #Constraints:      63805
1338.98/1343.10	c INPROCESSING
1338.98/1343.10	c GARBAGE COLLECT
1338.98/1343.10	c #Conflicts:     775000 | #Constraints:      47397
1338.98/1343.10	c #Conflicts:     776000 | #Constraints:      48397
1338.98/1343.10	c #Conflicts:     777000 | #Constraints:      49397
1338.98/1343.10	c #Conflicts:     778000 | #Constraints:      50397
1338.98/1343.10	c #Conflicts:     779000 | #Constraints:      51397
1338.98/1343.10	c #Conflicts:     780000 | #Constraints:      52397
1338.98/1343.10	c #Conflicts:     781000 | #Constraints:      53397
1338.98/1343.10	c #Conflicts:     782000 | #Constraints:      54397
1338.98/1343.10	c #Conflicts:     783000 | #Constraints:      55397
1338.98/1343.10	c #Conflicts:     784000 | #Constraints:      56397
1338.98/1343.10	c #Conflicts:     785000 | #Constraints:      57397
1338.98/1343.10	c #Conflicts:     786000 | #Constraints:      58397
1338.98/1343.10	c #Conflicts:     787000 | #Constraints:      59397
1338.98/1343.10	c #Conflicts:     788000 | #Constraints:      60397
1338.98/1343.10	c #Conflicts:     789000 | #Constraints:      61397
1338.98/1343.10	c #Conflicts:     790000 | #Constraints:      62397
1338.98/1343.10	c #Conflicts:     791000 | #Constraints:      63397
1338.98/1343.10	c #Conflicts:     792000 | #Constraints:      64397
1338.98/1343.10	c INPROCESSING
1338.98/1343.10	c GARBAGE COLLECT
1338.98/1343.10	c #Conflicts:     793000 | #Constraints:      47795
1338.98/1343.10	c #Conflicts:     794000 | #Constraints:      48795
1338.98/1343.10	c #Conflicts:     795000 | #Constraints:      49795
1338.98/1343.10	c #Conflicts:     796000 | #Constraints:      50795
1338.98/1343.10	c #Conflicts:     797000 | #Constraints:      51795
1338.98/1343.10	c #Conflicts:     798000 | #Constraints:      52795
1338.98/1343.10	c #Conflicts:     799000 | #Constraints:      53795
1338.98/1343.10	c #Conflicts:     800000 | #Constraints:      54795
1338.98/1343.10	c #Conflicts:     801000 | #Constraints:      55795
1338.98/1343.10	c #Conflicts:     802000 | #Constraints:      56795
1338.98/1343.10	c #Conflicts:     803000 | #Constraints:      57795
1338.98/1343.10	c #Conflicts:     804000 | #Constraints:      58795
1338.98/1343.10	c #Conflicts:     805000 | #Constraints:      59795
1338.98/1343.10	c #Conflicts:     806000 | #Constraints:      60795
1338.98/1343.10	c #Conflicts:     807000 | #Constraints:      61795
1338.98/1343.10	c #Conflicts:     808000 | #Constraints:      62795
1338.98/1343.10	c #Conflicts:     809000 | #Constraints:      63795
1338.98/1343.10	c #Conflicts:     810000 | #Constraints:      64795
1338.98/1343.10	c INPROCESSING
1338.98/1343.10	c GARBAGE COLLECT
1338.98/1343.10	c #Conflicts:     811000 | #Constraints:      48001
1338.98/1343.10	c #Conflicts:     812000 | #Constraints:      49001
1534.89/1539.55	c #Conflicts:     813000 | #Constraints:      50001
1534.89/1539.55	c #Conflicts:     814000 | #Constraints:      51001
1534.89/1539.55	c #Conflicts:     815000 | #Constraints:      52001
1534.89/1539.55	c #Conflicts:     816000 | #Constraints:      53001
1534.89/1539.55	c #Conflicts:     817000 | #Constraints:      54001
1534.89/1539.55	c #Conflicts:     818000 | #Constraints:      55001
1534.89/1539.55	c #Conflicts:     819000 | #Constraints:      56001
1534.89/1539.55	c #Conflicts:     820000 | #Constraints:      57001
1534.89/1539.55	c #Conflicts:     821000 | #Constraints:      58001
1534.89/1539.55	c #Conflicts:     822000 | #Constraints:      59001
1534.89/1539.55	c #Conflicts:     823000 | #Constraints:      60001
1534.89/1539.55	c #Conflicts:     824000 | #Constraints:      61001
1534.89/1539.55	c #Conflicts:     825000 | #Constraints:      62001
1534.89/1539.55	c #Conflicts:     826000 | #Constraints:      63001
1534.89/1539.55	c #Conflicts:     827000 | #Constraints:      64001
1534.89/1539.55	c #Conflicts:     828000 | #Constraints:      65001
1534.89/1539.55	c INPROCESSING
1534.89/1539.55	c GARBAGE COLLECT
1534.89/1539.55	c #Conflicts:     829000 | #Constraints:      47995
1534.89/1539.55	c #Conflicts:     830000 | #Constraints:      48995
1534.89/1539.55	c #Conflicts:     831000 | #Constraints:      49995
1534.89/1539.55	c #Conflicts:     832000 | #Constraints:      50995
1534.89/1539.55	c #Conflicts:     833000 | #Constraints:      51995
1534.89/1539.55	c #Conflicts:     834000 | #Constraints:      52995
1534.89/1539.55	c #Conflicts:     835000 | #Constraints:      53995
1534.89/1539.55	c #Conflicts:     836000 | #Constraints:      54995
1534.89/1539.55	c #Conflicts:     837000 | #Constraints:      55995
1534.89/1539.55	c #Conflicts:     838000 | #Constraints:      56995
1534.89/1539.55	c #Conflicts:     839000 | #Constraints:      57995
1534.89/1539.55	c #Conflicts:     840000 | #Constraints:      58995
1534.89/1539.55	c #Conflicts:     841000 | #Constraints:      59995
1534.89/1539.55	c #Conflicts:     842000 | #Constraints:      60995
1534.89/1539.55	c #Conflicts:     843000 | #Constraints:      61995
1534.89/1539.55	c #Conflicts:     844000 | #Constraints:      62995
1534.89/1539.55	c #Conflicts:     845000 | #Constraints:      63995
1534.89/1539.55	c #Conflicts:     846000 | #Constraints:      64995
1534.89/1539.55	c INPROCESSING
1534.89/1539.55	c GARBAGE COLLECT
1534.89/1539.55	c #Conflicts:     847000 | #Constraints:      47792
1534.89/1539.55	c #Conflicts:     848000 | #Constraints:      48792
1534.89/1539.55	c #Conflicts:     849000 | #Constraints:      49792
1534.89/1539.55	c #Conflicts:     850000 | #Constraints:      50792
1534.89/1539.55	c #Conflicts:     851000 | #Constraints:      51792
1534.89/1539.55	c #Conflicts:     852000 | #Constraints:      52792
1534.89/1539.55	c #Conflicts:     853000 | #Constraints:      53792
1534.89/1539.55	c #Conflicts:     854000 | #Constraints:      54792
1534.89/1539.55	c #Conflicts:     855000 | #Constraints:      55792
1534.89/1539.55	c #Conflicts:     856000 | #Constraints:      56792
1534.89/1539.55	c #Conflicts:     857000 | #Constraints:      57792
1534.89/1539.55	c #Conflicts:     858000 | #Constraints:      58792
1534.89/1539.55	c #Conflicts:     859000 | #Constraints:      59792
1534.89/1539.55	c #Conflicts:     860000 | #Constraints:      60792
1534.89/1539.55	c #Conflicts:     861000 | #Constraints:      61792
1534.89/1539.55	c #Conflicts:     862000 | #Constraints:      62792
1534.89/1539.55	c #Conflicts:     863000 | #Constraints:      63792
1534.89/1539.55	c #Conflicts:     864000 | #Constraints:      64792
1534.89/1539.55	c #Conflicts:     865000 | #Constraints:      65792
1534.89/1539.55	c INPROCESSING
1534.89/1539.55	c GARBAGE COLLECT
1534.89/1539.55	c #Conflicts:     866000 | #Constraints:      48377
1534.89/1539.55	c #Conflicts:     867000 | #Constraints:      49377
1534.89/1539.55	c #Conflicts:     868000 | #Constraints:      50377
1534.89/1539.55	c #Conflicts:     869000 | #Constraints:      51377
1534.89/1539.55	c #Conflicts:     870000 | #Constraints:      52377
1534.89/1539.55	c #Conflicts:     871000 | #Constraints:      53377
1534.89/1539.55	c #Conflicts:     872000 | #Constraints:      54377
1534.89/1539.55	c #Conflicts:     873000 | #Constraints:      55377
1534.89/1539.55	c #Conflicts:     874000 | #Constraints:      56377
1534.89/1539.55	c #Conflicts:     875000 | #Constraints:      57377
1534.89/1539.55	c #Conflicts:     876000 | #Constraints:      58377
1534.89/1539.55	c #Conflicts:     877000 | #Constraints:      59377
1534.89/1539.55	c #Conflicts:     878000 | #Constraints:      60377
1534.89/1539.55	c #Conflicts:     879000 | #Constraints:      61377
1534.89/1539.55	c #Conflicts:     880000 | #Constraints:      62377
1534.89/1539.55	c #Conflicts:     881000 | #Constraints:      63377
1534.89/1539.55	c #Conflicts:     882000 | #Constraints:      64377
1534.89/1539.55	c #Conflicts:     883000 | #Constraints:      65377
1534.89/1539.55	c #Conflicts:     884000 | #Constraints:      66377
1534.89/1539.55	c INPROCESSING
1534.89/1539.55	c GARBAGE COLLECT
1534.89/1539.55	c #Conflicts:     885000 | #Constraints:      48795
1534.89/1539.55	c #Conflicts:     886000 | #Constraints:      49795
1534.89/1539.55	c #Conflicts:     887000 | #Constraints:      50795
1534.89/1539.55	c #Conflicts:     888000 | #Constraints:      51795
1717.36/1722.46	c #Conflicts:     889000 | #Constraints:      52795
1717.36/1722.46	c #Conflicts:     890000 | #Constraints:      53795
1717.36/1722.46	c #Conflicts:     891000 | #Constraints:      54795
1717.36/1722.46	c #Conflicts:     892000 | #Constraints:      55795
1717.36/1722.46	c #Conflicts:     893000 | #Constraints:      56795
1717.36/1722.46	c #Conflicts:     894000 | #Constraints:      57795
1717.36/1722.46	c #Conflicts:     895000 | #Constraints:      58795
1717.36/1722.46	c #Conflicts:     896000 | #Constraints:      59795
1717.36/1722.46	c #Conflicts:     897000 | #Constraints:      60795
1717.36/1722.46	c #Conflicts:     898000 | #Constraints:      61795
1717.36/1722.46	c #Conflicts:     899000 | #Constraints:      62795
1717.36/1722.46	c #Conflicts:     900000 | #Constraints:      63795
1717.36/1722.46	c #Conflicts:     901000 | #Constraints:      64795
1717.36/1722.46	c #Conflicts:     902000 | #Constraints:      65795
1717.36/1722.46	c #Conflicts:     903000 | #Constraints:      66795
1717.36/1722.46	c INPROCESSING
1717.36/1722.46	c GARBAGE COLLECT
1717.36/1722.46	c #Conflicts:     904000 | #Constraints:      48998
1717.36/1722.46	c #Conflicts:     905000 | #Constraints:      49998
1717.36/1722.46	c #Conflicts:     906000 | #Constraints:      50998
1717.36/1722.46	c #Conflicts:     907000 | #Constraints:      51998
1717.36/1722.47	c #Conflicts:     908000 | #Constraints:      52998
1717.36/1722.47	c #Conflicts:     909000 | #Constraints:      53998
1717.36/1722.47	c #Conflicts:     910000 | #Constraints:      54998
1717.36/1722.47	c #Conflicts:     911000 | #Constraints:      55998
1717.36/1722.47	c #Conflicts:     912000 | #Constraints:      56998
1717.36/1722.47	c #Conflicts:     913000 | #Constraints:      57998
1717.36/1722.47	c #Conflicts:     914000 | #Constraints:      58998
1717.36/1722.47	c #Conflicts:     915000 | #Constraints:      59998
1717.36/1722.47	c #Conflicts:     916000 | #Constraints:      60998
1717.36/1722.47	c #Conflicts:     917000 | #Constraints:      61998
1717.36/1722.47	c #Conflicts:     918000 | #Constraints:      62998
1717.36/1722.47	c #Conflicts:     919000 | #Constraints:      63998
1717.36/1722.47	c #Conflicts:     920000 | #Constraints:      64998
1717.36/1722.47	c #Conflicts:     921000 | #Constraints:      65998
1717.36/1722.47	c #Conflicts:     922000 | #Constraints:      66998
1717.36/1722.47	c INPROCESSING
1717.36/1722.47	c GARBAGE COLLECT
1717.36/1722.47	c #Conflicts:     923000 | #Constraints:      48999
1717.36/1722.47	c #Conflicts:     924000 | #Constraints:      49999
1717.36/1722.47	c #Conflicts:     925000 | #Constraints:      50999
1717.36/1722.47	c #Conflicts:     926000 | #Constraints:      51999
1717.36/1722.47	c #Conflicts:     927000 | #Constraints:      52999
1717.36/1722.47	c #Conflicts:     928000 | #Constraints:      53999
1717.36/1722.47	c #Conflicts:     929000 | #Constraints:      54999
1717.36/1722.47	c #Conflicts:     930000 | #Constraints:      55999
1717.36/1722.47	c #Conflicts:     931000 | #Constraints:      56999
1717.36/1722.47	c #Conflicts:     932000 | #Constraints:      57999
1717.36/1722.47	c #Conflicts:     933000 | #Constraints:      58999
1717.36/1722.47	c #Conflicts:     934000 | #Constraints:      59999
1717.36/1722.47	c #Conflicts:     935000 | #Constraints:      60999
1717.36/1722.47	c #Conflicts:     936000 | #Constraints:      61999
1717.36/1722.47	c #Conflicts:     937000 | #Constraints:      62999
1717.36/1722.47	c #Conflicts:     938000 | #Constraints:      63999
1717.36/1722.47	c #Conflicts:     939000 | #Constraints:      64999
1717.36/1722.47	c #Conflicts:     940000 | #Constraints:      65999
1717.36/1722.47	c #Conflicts:     941000 | #Constraints:      66999
1717.36/1722.47	c INPROCESSING
1717.36/1722.47	c GARBAGE COLLECT
1717.36/1722.47	c #Conflicts:     942000 | #Constraints:      48790
1717.36/1722.47	c #Conflicts:     943000 | #Constraints:      49790
1717.36/1722.47	c #Conflicts:     944000 | #Constraints:      50790
1717.36/1722.47	c #Conflicts:     945000 | #Constraints:      51790
1717.36/1722.47	c #Conflicts:     946000 | #Constraints:      52790
1717.36/1722.47	c #Conflicts:     947000 | #Constraints:      53790
1717.36/1722.47	c #Conflicts:     948000 | #Constraints:      54790
1717.36/1722.47	c #Conflicts:     949000 | #Constraints:      55790
1717.36/1722.47	c #Conflicts:     950000 | #Constraints:      56790
1717.36/1722.47	c #Conflicts:     951000 | #Constraints:      57790
1717.36/1722.47	c #Conflicts:     952000 | #Constraints:      58790
1717.36/1722.47	c #Conflicts:     953000 | #Constraints:      59790
1717.36/1722.47	c #Conflicts:     954000 | #Constraints:      60790
1717.36/1722.47	c #Conflicts:     955000 | #Constraints:      61790
1717.36/1722.47	c #Conflicts:     956000 | #Constraints:      62790
1717.36/1722.47	c #Conflicts:     957000 | #Constraints:      63790
1717.36/1722.47	c #Conflicts:     958000 | #Constraints:      64790
1717.36/1722.47	c #Conflicts:     959000 | #Constraints:      65790
1717.36/1722.47	c #Conflicts:     960000 | #Constraints:      66790
1717.36/1722.47	c #Conflicts:     961000 | #Constraints:      67790
1717.36/1722.47	c INPROCESSING
1717.36/1722.47	c GARBAGE COLLECT
1717.36/1722.47	c #Conflicts:     962000 | #Constraints:      49401
1717.36/1722.47	c #Conflicts:     963000 | #Constraints:      50401
1717.36/1722.47	c #Conflicts:     964000 | #Constraints:      51401
1995.43/2001.14	c #Conflicts:     965000 | #Constraints:      52401
1995.43/2001.14	c #Conflicts:     966000 | #Constraints:      53401
1995.43/2001.14	c #Conflicts:     967000 | #Constraints:      54401
1995.43/2001.14	c #Conflicts:     968000 | #Constraints:      55401
1995.43/2001.14	c #Conflicts:     969000 | #Constraints:      56401
1995.43/2001.14	c #Conflicts:     970000 | #Constraints:      57401
1995.43/2001.14	c #Conflicts:     971000 | #Constraints:      58401
1995.43/2001.14	c #Conflicts:     972000 | #Constraints:      59401
1995.43/2001.14	c #Conflicts:     973000 | #Constraints:      60401
1995.43/2001.14	c #Conflicts:     974000 | #Constraints:      61401
1995.43/2001.14	c #Conflicts:     975000 | #Constraints:      62401
1995.43/2001.14	c #Conflicts:     976000 | #Constraints:      63401
1995.43/2001.14	c #Conflicts:     977000 | #Constraints:      64401
1995.43/2001.14	c #Conflicts:     978000 | #Constraints:      65401
1995.43/2001.14	c #Conflicts:     979000 | #Constraints:      66401
1995.43/2001.14	c #Conflicts:     980000 | #Constraints:      67401
1995.43/2001.14	c #Conflicts:     981000 | #Constraints:      68401
1995.43/2001.14	c INPROCESSING
1995.43/2001.14	c GARBAGE COLLECT
1995.43/2001.14	c #Conflicts:     982000 | #Constraints:      49797
1995.43/2001.14	c #Conflicts:     983000 | #Constraints:      50797
1995.43/2001.14	c #Conflicts:     984000 | #Constraints:      51797
1995.43/2001.14	c #Conflicts:     985000 | #Constraints:      52797
1995.43/2001.14	c #Conflicts:     986000 | #Constraints:      53797
1995.43/2001.14	c #Conflicts:     987000 | #Constraints:      54797
1995.43/2001.14	c #Conflicts:     988000 | #Constraints:      55797
1995.43/2001.14	c #Conflicts:     989000 | #Constraints:      56797
1995.43/2001.14	c #Conflicts:     990000 | #Constraints:      57797
1995.43/2001.14	c #Conflicts:     991000 | #Constraints:      58797
1995.43/2001.14	c #Conflicts:     992000 | #Constraints:      59797
1995.43/2001.14	c #Conflicts:     993000 | #Constraints:      60797
1995.43/2001.14	c #Conflicts:     994000 | #Constraints:      61797
1995.43/2001.14	c #Conflicts:     995000 | #Constraints:      62797
1995.43/2001.14	c #Conflicts:     996000 | #Constraints:      63797
1995.43/2001.14	c #Conflicts:     997000 | #Constraints:      64797
1995.43/2001.14	c #Conflicts:     998000 | #Constraints:      65797
1995.43/2001.14	c #Conflicts:     999000 | #Constraints:      66797
1995.43/2001.14	c #Conflicts:    1000000 | #Constraints:      67797
1995.43/2001.14	c #Conflicts:    1001000 | #Constraints:      68797
1995.43/2001.14	c INPROCESSING
1995.43/2001.14	c GARBAGE COLLECT
1995.43/2001.14	c #Conflicts:    1002000 | #Constraints:      50002
1995.43/2001.14	c #Conflicts:    1003000 | #Constraints:      51002
1995.43/2001.14	c #Conflicts:    1004000 | #Constraints:      52002
1995.43/2001.14	c #Conflicts:    1005000 | #Constraints:      53002
1995.43/2001.14	c #Conflicts:    1006000 | #Constraints:      54002
1995.43/2001.14	c #Conflicts:    1007000 | #Constraints:      55002
1995.43/2001.14	c #Conflicts:    1008000 | #Constraints:      56002
1995.43/2001.14	c #Conflicts:    1009000 | #Constraints:      57002
1995.43/2001.14	c #Conflicts:    1010000 | #Constraints:      58002
1995.43/2001.14	c #Conflicts:    1011000 | #Constraints:      59002
1995.43/2001.14	c #Conflicts:    1012000 | #Constraints:      60002
1995.43/2001.14	c #Conflicts:    1013000 | #Constraints:      61002
1995.43/2001.14	c #Conflicts:    1014000 | #Constraints:      62002
1995.43/2001.14	c #Conflicts:    1015000 | #Constraints:      63002
1995.43/2001.14	c #Conflicts:    1016000 | #Constraints:      64002
1995.43/2001.14	c #Conflicts:    1017000 | #Constraints:      65002
1995.43/2001.14	c #Conflicts:    1018000 | #Constraints:      66002
1995.43/2001.14	c #Conflicts:    1019000 | #Constraints:      67002
1995.43/2001.14	c #Conflicts:    1020000 | #Constraints:      68002
1995.43/2001.14	c #Conflicts:    1021000 | #Constraints:      69002
1995.43/2001.14	c INPROCESSING
1995.43/2001.14	c GARBAGE COLLECT
1995.43/2001.14	c #Conflicts:    1022000 | #Constraints:      49995
1995.43/2001.14	c #Conflicts:    1023000 | #Constraints:      50995
1995.43/2001.14	c #Conflicts:    1024000 | #Constraints:      51995
1995.43/2001.14	c #Conflicts:    1025000 | #Constraints:      52995
1995.43/2001.14	c #Conflicts:    1026000 | #Constraints:      53995
1995.43/2001.14	c #Conflicts:    1027000 | #Constraints:      54995
1995.43/2001.14	c #Conflicts:    1028000 | #Constraints:      55995
1995.43/2001.14	c #Conflicts:    1029000 | #Constraints:      56995
1995.43/2001.14	c #Conflicts:    1030000 | #Constraints:      57995
1995.43/2001.14	c #Conflicts:    1031000 | #Constraints:      58995
1995.43/2001.14	c #Conflicts:    1032000 | #Constraints:      59995
1995.43/2001.14	c #Conflicts:    1033000 | #Constraints:      60995
1995.43/2001.14	c #Conflicts:    1034000 | #Constraints:      61995
1995.43/2001.14	c #Conflicts:    1035000 | #Constraints:      62995
1995.43/2001.14	c #Conflicts:    1036000 | #Constraints:      63995
1995.43/2001.14	c #Conflicts:    1037000 | #Constraints:      64995
1995.43/2001.14	c #Conflicts:    1038000 | #Constraints:      65995
1995.43/2001.14	c #Conflicts:    1039000 | #Constraints:      66995
1995.43/2001.14	c #Conflicts:    1040000 | #Constraints:      67995
1995.43/2001.14	c #Conflicts:    1041000 | #Constraints:      68995
2210.03/2216.29	c INPROCESSING
2210.03/2216.29	c GARBAGE COLLECT
2210.03/2216.29	c #Conflicts:    1042000 | #Constraints:      49789
2210.03/2216.29	c #Conflicts:    1043000 | #Constraints:      50789
2210.03/2216.29	c #Conflicts:    1044000 | #Constraints:      51789
2210.03/2216.29	c #Conflicts:    1045000 | #Constraints:      52789
2210.03/2216.29	c #Conflicts:    1046000 | #Constraints:      53789
2210.03/2216.29	c #Conflicts:    1047000 | #Constraints:      54789
2210.03/2216.29	c #Conflicts:    1048000 | #Constraints:      55789
2210.03/2216.29	c #Conflicts:    1049000 | #Constraints:      56789
2210.03/2216.29	c #Conflicts:    1050000 | #Constraints:      57789
2210.03/2216.29	c #Conflicts:    1051000 | #Constraints:      58789
2210.03/2216.29	c #Conflicts:    1052000 | #Constraints:      59789
2210.03/2216.29	c #Conflicts:    1053000 | #Constraints:      60789
2210.03/2216.29	c #Conflicts:    1054000 | #Constraints:      61789
2210.03/2216.29	c #Conflicts:    1055000 | #Constraints:      62789
2210.03/2216.29	c #Conflicts:    1056000 | #Constraints:      63789
2210.03/2216.29	c #Conflicts:    1057000 | #Constraints:      64789
2210.03/2216.29	c #Conflicts:    1058000 | #Constraints:      65789
2210.03/2216.29	c #Conflicts:    1059000 | #Constraints:      66789
2210.03/2216.29	c #Conflicts:    1060000 | #Constraints:      67789
2210.03/2216.29	c #Conflicts:    1061000 | #Constraints:      68789
2210.03/2216.29	c #Conflicts:    1062000 | #Constraints:      69789
2210.03/2216.29	c INPROCESSING
2210.03/2216.29	c GARBAGE COLLECT
2210.03/2216.29	c #Conflicts:    1063000 | #Constraints:      50394
2210.03/2216.29	c #Conflicts:    1064000 | #Constraints:      51394
2210.03/2216.29	c #Conflicts:    1065000 | #Constraints:      52394
2210.03/2216.29	c #Conflicts:    1066000 | #Constraints:      53394
2210.03/2216.29	c #Conflicts:    1067000 | #Constraints:      54394
2210.03/2216.29	c #Conflicts:    1068000 | #Constraints:      55394
2210.03/2216.29	c #Conflicts:    1069000 | #Constraints:      56394
2210.03/2216.29	c #Conflicts:    1070000 | #Constraints:      57394
2210.03/2216.29	c #Conflicts:    1071000 | #Constraints:      58394
2210.03/2216.29	c #Conflicts:    1072000 | #Constraints:      59394
2210.03/2216.29	c #Conflicts:    1073000 | #Constraints:      60394
2210.03/2216.29	c #Conflicts:    1074000 | #Constraints:      61394
2210.03/2216.29	c #Conflicts:    1075000 | #Constraints:      62394
2210.03/2216.29	c #Conflicts:    1076000 | #Constraints:      63394
2210.03/2216.29	c #Conflicts:    1077000 | #Constraints:      64394
2210.03/2216.29	c #Conflicts:    1078000 | #Constraints:      65394
2210.03/2216.29	c #Conflicts:    1079000 | #Constraints:      66394
2210.03/2216.29	c #Conflicts:    1080000 | #Constraints:      67394
2210.03/2216.29	c #Conflicts:    1081000 | #Constraints:      68394
2210.03/2216.29	c #Conflicts:    1082000 | #Constraints:      69394
2210.03/2216.29	c #Conflicts:    1083000 | #Constraints:      70394
2210.03/2216.29	c INPROCESSING
2210.03/2216.29	c GARBAGE COLLECT
2210.03/2216.29	c #Conflicts:    1084000 | #Constraints:      50802
2210.03/2216.29	c #Conflicts:    1085000 | #Constraints:      51802
2210.03/2216.29	c #Conflicts:    1086000 | #Constraints:      52802
2210.03/2216.29	c #Conflicts:    1087000 | #Constraints:      53802
2210.03/2216.29	c #Conflicts:    1088000 | #Constraints:      54802
2210.03/2216.29	c #Conflicts:    1089000 | #Constraints:      55802
2210.03/2216.29	c #Conflicts:    1090000 | #Constraints:      56802
2210.03/2216.29	c #Conflicts:    1091000 | #Constraints:      57802
2210.03/2216.29	c #Conflicts:    1092000 | #Constraints:      58802
2210.03/2216.29	c #Conflicts:    1093000 | #Constraints:      59802
2210.03/2216.29	c #Conflicts:    1094000 | #Constraints:      60802
2210.03/2216.29	c #Conflicts:    1095000 | #Constraints:      61802
2210.03/2216.29	c #Conflicts:    1096000 | #Constraints:      62802
2210.03/2216.29	c #Conflicts:    1097000 | #Constraints:      63802
2210.03/2216.29	c #Conflicts:    1098000 | #Constraints:      64802
2210.03/2216.29	c #Conflicts:    1099000 | #Constraints:      65802
2210.03/2216.29	c #Conflicts:    1100000 | #Constraints:      66802
2210.03/2216.29	c #Conflicts:    1101000 | #Constraints:      67802
2210.03/2216.29	c #Conflicts:    1102000 | #Constraints:      68802
2210.03/2216.29	c #Conflicts:    1103000 | #Constraints:      69802
2210.03/2216.29	c #Conflicts:    1104000 | #Constraints:      70802
2210.03/2216.29	c INPROCESSING
2210.03/2216.29	c GARBAGE COLLECT
2210.03/2216.29	c #Conflicts:    1105000 | #Constraints:      51013
2210.03/2216.29	c bounds 404 >= 43 @ 2201.2
2210.03/2216.29	c stratification level: 41
2210.13/2216.32	c bounds 401 >= 43 @ 2201.23
2210.13/2216.32	c stratification level: 40
2433.31/2440.05	c #Conflicts:    1106000 | #Constraints:      52015
2433.31/2440.05	c #Conflicts:    1107000 | #Constraints:      53015
2433.31/2440.05	c #Conflicts:    1108000 | #Constraints:      54015
2433.31/2440.05	c #Conflicts:    1109000 | #Constraints:      55015
2433.31/2440.05	c #Conflicts:    1110000 | #Constraints:      56015
2433.31/2440.05	c #Conflicts:    1111000 | #Constraints:      57015
2433.31/2440.05	c #Conflicts:    1112000 | #Constraints:      58015
2433.31/2440.05	c #Conflicts:    1113000 | #Constraints:      59015
2433.31/2440.05	c #Conflicts:    1114000 | #Constraints:      60015
2433.31/2440.05	c #Conflicts:    1115000 | #Constraints:      61015
2433.31/2440.05	c #Conflicts:    1116000 | #Constraints:      62015
2433.31/2440.05	c #Conflicts:    1117000 | #Constraints:      63015
2433.31/2440.05	c #Conflicts:    1118000 | #Constraints:      64015
2433.31/2440.05	c #Conflicts:    1119000 | #Constraints:      65015
2433.31/2440.05	c #Conflicts:    1120000 | #Constraints:      66015
2433.31/2440.05	c #Conflicts:    1121000 | #Constraints:      67015
2433.31/2440.05	c #Conflicts:    1122000 | #Constraints:      68015
2433.31/2440.05	c #Conflicts:    1123000 | #Constraints:      69015
2433.31/2440.05	c #Conflicts:    1124000 | #Constraints:      70015
2433.31/2440.05	c #Conflicts:    1125000 | #Constraints:      71015
2433.31/2440.05	c INPROCESSING
2433.31/2440.05	c GARBAGE COLLECT
2433.31/2440.05	c #Conflicts:    1126000 | #Constraints:      51017
2433.31/2440.05	c #Conflicts:    1127000 | #Constraints:      52017
2433.31/2440.05	c #Conflicts:    1128000 | #Constraints:      53017
2433.31/2440.05	c #Conflicts:    1129000 | #Constraints:      54017
2433.31/2440.05	c #Conflicts:    1130000 | #Constraints:      55017
2433.31/2440.05	c #Conflicts:    1131000 | #Constraints:      56017
2433.31/2440.05	c #Conflicts:    1132000 | #Constraints:      57017
2433.31/2440.05	c #Conflicts:    1133000 | #Constraints:      58017
2433.31/2440.05	c #Conflicts:    1134000 | #Constraints:      59017
2433.31/2440.05	c #Conflicts:    1135000 | #Constraints:      60017
2433.31/2440.05	c #Conflicts:    1136000 | #Constraints:      61017
2433.31/2440.05	c #Conflicts:    1137000 | #Constraints:      62017
2433.31/2440.05	c #Conflicts:    1138000 | #Constraints:      63017
2433.31/2440.05	c #Conflicts:    1139000 | #Constraints:      64017
2433.31/2440.05	c #Conflicts:    1140000 | #Constraints:      65017
2433.31/2440.05	c #Conflicts:    1141000 | #Constraints:      66017
2433.31/2440.05	c #Conflicts:    1142000 | #Constraints:      67017
2433.31/2440.05	c #Conflicts:    1143000 | #Constraints:      68017
2433.31/2440.05	c #Conflicts:    1144000 | #Constraints:      69017
2433.31/2440.05	c #Conflicts:    1145000 | #Constraints:      70017
2433.31/2440.05	c #Conflicts:    1146000 | #Constraints:      71017
2433.31/2440.05	c INPROCESSING
2433.31/2440.05	c GARBAGE COLLECT
2433.31/2440.05	c #Conflicts:    1147000 | #Constraints:      50809
2433.31/2440.05	c #Conflicts:    1148000 | #Constraints:      51809
2433.31/2440.05	c #Conflicts:    1149000 | #Constraints:      52809
2433.31/2440.05	c #Conflicts:    1150000 | #Constraints:      53809
2433.31/2440.05	c #Conflicts:    1151000 | #Constraints:      54809
2433.31/2440.05	c #Conflicts:    1152000 | #Constraints:      55809
2433.31/2440.05	c #Conflicts:    1153000 | #Constraints:      56809
2433.31/2440.05	c #Conflicts:    1154000 | #Constraints:      57809
2433.31/2440.05	c #Conflicts:    1155000 | #Constraints:      58809
2433.31/2440.05	c #Conflicts:    1156000 | #Constraints:      59809
2433.31/2440.05	c #Conflicts:    1157000 | #Constraints:      60809
2433.31/2440.05	c #Conflicts:    1158000 | #Constraints:      61809
2433.31/2440.05	c #Conflicts:    1159000 | #Constraints:      62809
2433.31/2440.05	c #Conflicts:    1160000 | #Constraints:      63809
2433.31/2440.05	c #Conflicts:    1161000 | #Constraints:      64809
2433.31/2440.05	c #Conflicts:    1162000 | #Constraints:      65809
2433.31/2440.05	c #Conflicts:    1163000 | #Constraints:      66809
2433.31/2440.05	c #Conflicts:    1164000 | #Constraints:      67809
2433.31/2440.05	c #Conflicts:    1165000 | #Constraints:      68809
2433.31/2440.05	c #Conflicts:    1166000 | #Constraints:      69809
2433.31/2440.05	c #Conflicts:    1167000 | #Constraints:      70809
2433.31/2440.05	c #Conflicts:    1168000 | #Constraints:      71809
2433.31/2440.05	c INPROCESSING
2433.31/2440.05	c GARBAGE COLLECT
2433.31/2440.05	c #Conflicts:    1169000 | #Constraints:      51402
2433.31/2440.05	c #Conflicts:    1170000 | #Constraints:      52402
2433.31/2440.05	c #Conflicts:    1171000 | #Constraints:      53402
2433.31/2440.05	c #Conflicts:    1172000 | #Constraints:      54402
2433.31/2440.05	c #Conflicts:    1173000 | #Constraints:      55402
2433.31/2440.05	c #Conflicts:    1174000 | #Constraints:      56402
2433.31/2440.05	c #Conflicts:    1175000 | #Constraints:      57402
2433.31/2440.05	c #Conflicts:    1176000 | #Constraints:      58402
2433.31/2440.05	c #Conflicts:    1177000 | #Constraints:      59402
2433.31/2440.05	c #Conflicts:    1178000 | #Constraints:      60402
2433.31/2440.05	c #Conflicts:    1179000 | #Constraints:      61402
2433.31/2440.05	c #Conflicts:    1180000 | #Constraints:      62402
2433.31/2440.05	c #Conflicts:    1181000 | #Constraints:      63402
2433.31/2440.05	c #Conflicts:    1182000 | #Constraints:      64402
2662.28/2669.51	c #Conflicts:    1183000 | #Constraints:      65402
2662.28/2669.51	c #Conflicts:    1184000 | #Constraints:      66402
2662.28/2669.51	c #Conflicts:    1185000 | #Constraints:      67402
2662.28/2669.51	c #Conflicts:    1186000 | #Constraints:      68402
2662.28/2669.51	c #Conflicts:    1187000 | #Constraints:      69402
2662.28/2669.51	c #Conflicts:    1188000 | #Constraints:      70402
2662.28/2669.51	c #Conflicts:    1189000 | #Constraints:      71402
2662.28/2669.51	c #Conflicts:    1190000 | #Constraints:      72402
2662.28/2669.51	c INPROCESSING
2662.28/2669.51	c GARBAGE COLLECT
2662.28/2669.51	c #Conflicts:    1191000 | #Constraints:      51810
2662.28/2669.51	c #Conflicts:    1192000 | #Constraints:      52810
2662.28/2669.51	c #Conflicts:    1193000 | #Constraints:      53810
2662.28/2669.51	c #Conflicts:    1194000 | #Constraints:      54810
2662.28/2669.51	c #Conflicts:    1195000 | #Constraints:      55810
2662.28/2669.51	c #Conflicts:    1196000 | #Constraints:      56810
2662.28/2669.51	c #Conflicts:    1197000 | #Constraints:      57810
2662.28/2669.51	c #Conflicts:    1198000 | #Constraints:      58810
2662.28/2669.51	c #Conflicts:    1199000 | #Constraints:      59810
2662.28/2669.51	c #Conflicts:    1200000 | #Constraints:      60810
2662.28/2669.51	c #Conflicts:    1201000 | #Constraints:      61810
2662.28/2669.51	c #Conflicts:    1202000 | #Constraints:      62810
2662.28/2669.51	c #Conflicts:    1203000 | #Constraints:      63810
2662.28/2669.51	c #Conflicts:    1204000 | #Constraints:      64810
2662.28/2669.51	c #Conflicts:    1205000 | #Constraints:      65810
2662.28/2669.51	c #Conflicts:    1206000 | #Constraints:      66810
2662.28/2669.51	c #Conflicts:    1207000 | #Constraints:      67810
2662.28/2669.51	c #Conflicts:    1208000 | #Constraints:      68810
2662.28/2669.51	c #Conflicts:    1209000 | #Constraints:      69810
2662.28/2669.51	c #Conflicts:    1210000 | #Constraints:      70810
2662.28/2669.51	c #Conflicts:    1211000 | #Constraints:      71810
2662.28/2669.51	c #Conflicts:    1212000 | #Constraints:      72810
2662.28/2669.51	c INPROCESSING
2662.28/2669.51	c GARBAGE COLLECT
2662.28/2669.51	c #Conflicts:    1213000 | #Constraints:      52012
2662.28/2669.51	c #Conflicts:    1214000 | #Constraints:      53012
2662.28/2669.51	c #Conflicts:    1215000 | #Constraints:      54012
2662.28/2669.51	c #Conflicts:    1216000 | #Constraints:      55012
2662.28/2669.51	c #Conflicts:    1217000 | #Constraints:      56012
2662.28/2669.51	c #Conflicts:    1218000 | #Constraints:      57012
2662.28/2669.51	c #Conflicts:    1219000 | #Constraints:      58012
2662.28/2669.51	c #Conflicts:    1220000 | #Constraints:      59012
2662.28/2669.51	c #Conflicts:    1221000 | #Constraints:      60012
2662.28/2669.51	c #Conflicts:    1222000 | #Constraints:      61012
2662.28/2669.51	c #Conflicts:    1223000 | #Constraints:      62012
2662.28/2669.51	c #Conflicts:    1224000 | #Constraints:      63012
2662.28/2669.51	c #Conflicts:    1225000 | #Constraints:      64012
2662.28/2669.51	c #Conflicts:    1226000 | #Constraints:      65012
2662.28/2669.51	c #Conflicts:    1227000 | #Constraints:      66012
2662.28/2669.51	c #Conflicts:    1228000 | #Constraints:      67012
2662.28/2669.51	c #Conflicts:    1229000 | #Constraints:      68012
2662.28/2669.51	c #Conflicts:    1230000 | #Constraints:      69012
2662.28/2669.51	c #Conflicts:    1231000 | #Constraints:      70012
2662.28/2669.51	c #Conflicts:    1232000 | #Constraints:      71012
2662.28/2669.51	c #Conflicts:    1233000 | #Constraints:      72012
2662.28/2669.51	c #Conflicts:    1234000 | #Constraints:      73012
2662.28/2669.51	c INPROCESSING
2662.28/2669.51	c GARBAGE COLLECT
2662.28/2669.51	c #Conflicts:    1235000 | #Constraints:      52011
2662.28/2669.51	c #Conflicts:    1236000 | #Constraints:      53011
2662.28/2669.51	c #Conflicts:    1237000 | #Constraints:      54011
2662.28/2669.51	c #Conflicts:    1238000 | #Constraints:      55011
2662.28/2669.51	c #Conflicts:    1239000 | #Constraints:      56011
2662.28/2669.51	c #Conflicts:    1240000 | #Constraints:      57011
2662.28/2669.51	c #Conflicts:    1241000 | #Constraints:      58011
2662.28/2669.51	c #Conflicts:    1242000 | #Constraints:      59011
2662.28/2669.51	c #Conflicts:    1243000 | #Constraints:      60011
2662.28/2669.51	c #Conflicts:    1244000 | #Constraints:      61011
2662.28/2669.51	c #Conflicts:    1245000 | #Constraints:      62011
2662.28/2669.51	c #Conflicts:    1246000 | #Constraints:      63011
2662.28/2669.51	c #Conflicts:    1247000 | #Constraints:      64011
2662.28/2669.51	c #Conflicts:    1248000 | #Constraints:      65011
2662.28/2669.51	c #Conflicts:    1249000 | #Constraints:      66011
2662.28/2669.51	c #Conflicts:    1250000 | #Constraints:      67011
2662.28/2669.51	c #Conflicts:    1251000 | #Constraints:      68011
2662.28/2669.51	c #Conflicts:    1252000 | #Constraints:      69011
2662.28/2669.51	c #Conflicts:    1253000 | #Constraints:      70011
2662.28/2669.51	c #Conflicts:    1254000 | #Constraints:      71011
2662.28/2669.51	c #Conflicts:    1255000 | #Constraints:      72011
2662.28/2669.51	c #Conflicts:    1256000 | #Constraints:      73011
2662.28/2669.51	c INPROCESSING
2662.28/2669.51	c GARBAGE COLLECT
2662.28/2669.51	c #Conflicts:    1257000 | #Constraints:      51805
2662.28/2669.51	c #Conflicts:    1258000 | #Constraints:      52805
2662.28/2669.51	c #Conflicts:    1259000 | #Constraints:      53805
2885.46/2893.25	c #Conflicts:    1260000 | #Constraints:      54805
2885.46/2893.25	c #Conflicts:    1261000 | #Constraints:      55805
2885.46/2893.25	c #Conflicts:    1262000 | #Constraints:      56805
2885.46/2893.25	c #Conflicts:    1263000 | #Constraints:      57805
2885.46/2893.25	c #Conflicts:    1264000 | #Constraints:      58805
2885.46/2893.25	c #Conflicts:    1265000 | #Constraints:      59805
2885.46/2893.25	c #Conflicts:    1266000 | #Constraints:      60805
2885.46/2893.25	c #Conflicts:    1267000 | #Constraints:      61805
2885.46/2893.25	c #Conflicts:    1268000 | #Constraints:      62805
2885.46/2893.25	c #Conflicts:    1269000 | #Constraints:      63805
2885.46/2893.25	c #Conflicts:    1270000 | #Constraints:      64805
2885.46/2893.25	c #Conflicts:    1271000 | #Constraints:      65805
2885.46/2893.25	c #Conflicts:    1272000 | #Constraints:      66805
2885.46/2893.25	c #Conflicts:    1273000 | #Constraints:      67805
2885.46/2893.25	c #Conflicts:    1274000 | #Constraints:      68805
2885.46/2893.25	c #Conflicts:    1275000 | #Constraints:      69805
2885.46/2893.25	c #Conflicts:    1276000 | #Constraints:      70805
2885.46/2893.25	c #Conflicts:    1277000 | #Constraints:      71805
2885.46/2893.25	c #Conflicts:    1278000 | #Constraints:      72805
2885.46/2893.25	c #Conflicts:    1279000 | #Constraints:      73805
2885.46/2893.25	c INPROCESSING
2885.46/2893.25	c GARBAGE COLLECT
2885.46/2893.25	c #Conflicts:    1280000 | #Constraints:      52405
2885.46/2893.25	c #Conflicts:    1281000 | #Constraints:      53405
2885.46/2893.25	c #Conflicts:    1282000 | #Constraints:      54405
2885.46/2893.25	c #Conflicts:    1283000 | #Constraints:      55405
2885.46/2893.25	c #Conflicts:    1284000 | #Constraints:      56405
2885.46/2893.25	c #Conflicts:    1285000 | #Constraints:      57405
2885.46/2893.25	c #Conflicts:    1286000 | #Constraints:      58405
2885.46/2893.25	c #Conflicts:    1287000 | #Constraints:      59405
2885.46/2893.25	c #Conflicts:    1288000 | #Constraints:      60405
2885.46/2893.25	c #Conflicts:    1289000 | #Constraints:      61405
2885.46/2893.25	c #Conflicts:    1290000 | #Constraints:      62405
2885.46/2893.25	c #Conflicts:    1291000 | #Constraints:      63405
2885.46/2893.25	c #Conflicts:    1292000 | #Constraints:      64405
2885.46/2893.25	c #Conflicts:    1293000 | #Constraints:      65405
2885.46/2893.25	c #Conflicts:    1294000 | #Constraints:      66405
2885.46/2893.25	c #Conflicts:    1295000 | #Constraints:      67405
2885.46/2893.25	c #Conflicts:    1296000 | #Constraints:      68405
2885.46/2893.25	c #Conflicts:    1297000 | #Constraints:      69405
2885.46/2893.25	c #Conflicts:    1298000 | #Constraints:      70405
2885.46/2893.25	c #Conflicts:    1299000 | #Constraints:      71405
2885.46/2893.25	c #Conflicts:    1300000 | #Constraints:      72405
2885.46/2893.25	c #Conflicts:    1301000 | #Constraints:      73405
2885.46/2893.25	c #Conflicts:    1302000 | #Constraints:      74405
2885.46/2893.25	c INPROCESSING
2885.46/2893.25	c GARBAGE COLLECT
2885.46/2893.25	c #Conflicts:    1303000 | #Constraints:      52806
2885.46/2893.25	c #Conflicts:    1304000 | #Constraints:      53806
2885.46/2893.25	c #Conflicts:    1305000 | #Constraints:      54806
2885.46/2893.25	c #Conflicts:    1306000 | #Constraints:      55806
2885.46/2893.25	c #Conflicts:    1307000 | #Constraints:      56806
2885.46/2893.25	c #Conflicts:    1308000 | #Constraints:      57806
2885.46/2893.25	c #Conflicts:    1309000 | #Constraints:      58806
2885.46/2893.25	c #Conflicts:    1310000 | #Constraints:      59806
2885.46/2893.25	c #Conflicts:    1311000 | #Constraints:      60806
2885.46/2893.25	c #Conflicts:    1312000 | #Constraints:      61806
2885.46/2893.25	c #Conflicts:    1313000 | #Constraints:      62806
2885.46/2893.25	c #Conflicts:    1314000 | #Constraints:      63806
2885.46/2893.25	c #Conflicts:    1315000 | #Constraints:      64806
2885.46/2893.25	c #Conflicts:    1316000 | #Constraints:      65806
2885.46/2893.25	c #Conflicts:    1317000 | #Constraints:      66806
2885.46/2893.25	c #Conflicts:    1318000 | #Constraints:      67806
2885.46/2893.25	c #Conflicts:    1319000 | #Constraints:      68806
2885.46/2893.25	c #Conflicts:    1320000 | #Constraints:      69806
2885.46/2893.25	c #Conflicts:    1321000 | #Constraints:      70806
2885.46/2893.25	c #Conflicts:    1322000 | #Constraints:      71806
2885.46/2893.25	c #Conflicts:    1323000 | #Constraints:      72806
2885.46/2893.25	c #Conflicts:    1324000 | #Constraints:      73806
2885.46/2893.25	c #Conflicts:    1325000 | #Constraints:      74806
2885.46/2893.25	c INPROCESSING
2885.46/2893.25	c GARBAGE COLLECT
2885.46/2893.25	c #Conflicts:    1326000 | #Constraints:      53006
2885.46/2893.25	c #Conflicts:    1327000 | #Constraints:      54006
2885.46/2893.25	c #Conflicts:    1328000 | #Constraints:      55006
2885.46/2893.25	c #Conflicts:    1329000 | #Constraints:      56006
2885.46/2893.25	c #Conflicts:    1330000 | #Constraints:      57006
2885.46/2893.25	c #Conflicts:    1331000 | #Constraints:      58006
2885.46/2893.25	c #Conflicts:    1332000 | #Constraints:      59006
2885.46/2893.25	c #Conflicts:    1333000 | #Constraints:      60006
2885.46/2893.25	c #Conflicts:    1334000 | #Constraints:      61006
2885.46/2893.25	c #Conflicts:    1335000 | #Constraints:      62006
3138.67/3147.09	c #Conflicts:    1336000 | #Constraints:      63006
3138.67/3147.09	c #Conflicts:    1337000 | #Constraints:      64006
3138.67/3147.09	c #Conflicts:    1338000 | #Constraints:      65006
3138.67/3147.09	c #Conflicts:    1339000 | #Constraints:      66006
3138.67/3147.09	c #Conflicts:    1340000 | #Constraints:      67006
3138.67/3147.09	c #Conflicts:    1341000 | #Constraints:      68006
3138.67/3147.09	c #Conflicts:    1342000 | #Constraints:      69006
3138.67/3147.09	c #Conflicts:    1343000 | #Constraints:      70006
3138.67/3147.09	c #Conflicts:    1344000 | #Constraints:      71006
3138.67/3147.09	c #Conflicts:    1345000 | #Constraints:      72006
3138.67/3147.09	c #Conflicts:    1346000 | #Constraints:      73006
3138.67/3147.09	c #Conflicts:    1347000 | #Constraints:      74006
3138.67/3147.09	c #Conflicts:    1348000 | #Constraints:      75006
3138.67/3147.09	c INPROCESSING
3138.67/3147.09	c GARBAGE COLLECT
3138.67/3147.09	c #Conflicts:    1349000 | #Constraints:      53012
3138.67/3147.09	c #Conflicts:    1350000 | #Constraints:      54012
3138.67/3147.09	c #Conflicts:    1351000 | #Constraints:      55012
3138.67/3147.09	c #Conflicts:    1352000 | #Constraints:      56012
3138.67/3147.09	c #Conflicts:    1353000 | #Constraints:      57012
3138.67/3147.09	c #Conflicts:    1354000 | #Constraints:      58012
3138.67/3147.09	c #Conflicts:    1355000 | #Constraints:      59012
3138.67/3147.09	c #Conflicts:    1356000 | #Constraints:      60012
3138.67/3147.09	c #Conflicts:    1357000 | #Constraints:      61012
3138.67/3147.09	c #Conflicts:    1358000 | #Constraints:      62012
3138.67/3147.09	c #Conflicts:    1359000 | #Constraints:      63012
3138.67/3147.09	c #Conflicts:    1360000 | #Constraints:      64012
3138.67/3147.09	c #Conflicts:    1361000 | #Constraints:      65012
3138.67/3147.09	c #Conflicts:    1362000 | #Constraints:      66012
3138.67/3147.09	c #Conflicts:    1363000 | #Constraints:      67012
3138.67/3147.09	c #Conflicts:    1364000 | #Constraints:      68012
3138.67/3147.09	c #Conflicts:    1365000 | #Constraints:      69012
3138.67/3147.09	c #Conflicts:    1366000 | #Constraints:      70012
3138.67/3147.09	c #Conflicts:    1367000 | #Constraints:      71012
3138.67/3147.09	c #Conflicts:    1368000 | #Constraints:      72012
3138.67/3147.09	c #Conflicts:    1369000 | #Constraints:      73012
3138.67/3147.09	c #Conflicts:    1370000 | #Constraints:      74012
3138.67/3147.09	c #Conflicts:    1371000 | #Constraints:      75012
3138.67/3147.09	c INPROCESSING
3138.67/3147.09	c GARBAGE COLLECT
3138.67/3147.09	c #Conflicts:    1372000 | #Constraints:      52802
3138.67/3147.09	c #Conflicts:    1373000 | #Constraints:      53802
3138.67/3147.09	c #Conflicts:    1374000 | #Constraints:      54802
3138.67/3147.09	c #Conflicts:    1375000 | #Constraints:      55802
3138.67/3147.09	c #Conflicts:    1376000 | #Constraints:      56802
3138.67/3147.09	c #Conflicts:    1377000 | #Constraints:      57802
3138.67/3147.09	c #Conflicts:    1378000 | #Constraints:      58802
3138.67/3147.09	c #Conflicts:    1379000 | #Constraints:      59802
3138.67/3147.09	c #Conflicts:    1380000 | #Constraints:      60802
3138.67/3147.09	c #Conflicts:    1381000 | #Constraints:      61802
3138.67/3147.09	c #Conflicts:    1382000 | #Constraints:      62802
3138.67/3147.09	c #Conflicts:    1383000 | #Constraints:      63802
3138.67/3147.09	c #Conflicts:    1384000 | #Constraints:      64802
3138.67/3147.09	c #Conflicts:    1385000 | #Constraints:      65802
3138.67/3147.09	c #Conflicts:    1386000 | #Constraints:      66802
3138.67/3147.09	c #Conflicts:    1387000 | #Constraints:      67802
3138.67/3147.09	c #Conflicts:    1388000 | #Constraints:      68802
3138.67/3147.09	c #Conflicts:    1389000 | #Constraints:      69802
3138.67/3147.09	c #Conflicts:    1390000 | #Constraints:      70802
3138.67/3147.09	c #Conflicts:    1391000 | #Constraints:      71802
3138.67/3147.09	c #Conflicts:    1392000 | #Constraints:      72802
3138.67/3147.09	c #Conflicts:    1393000 | #Constraints:      73802
3138.67/3147.09	c #Conflicts:    1394000 | #Constraints:      74802
3138.67/3147.09	c #Conflicts:    1395000 | #Constraints:      75802
3138.67/3147.09	c INPROCESSING
3138.67/3147.09	c GARBAGE COLLECT
3138.67/3147.09	c #Conflicts:    1396000 | #Constraints:      53406
3138.67/3147.09	c #Conflicts:    1397000 | #Constraints:      54406
3138.67/3147.09	c #Conflicts:    1398000 | #Constraints:      55406
3138.67/3147.09	c #Conflicts:    1399000 | #Constraints:      56406
3138.67/3147.09	c #Conflicts:    1400000 | #Constraints:      57406
3138.67/3147.09	c #Conflicts:    1401000 | #Constraints:      58406
3138.67/3147.09	c #Conflicts:    1402000 | #Constraints:      59406
3138.67/3147.09	c #Conflicts:    1403000 | #Constraints:      60406
3138.67/3147.09	c #Conflicts:    1404000 | #Constraints:      61406
3138.67/3147.09	c #Conflicts:    1405000 | #Constraints:      62406
3138.67/3147.09	c #Conflicts:    1406000 | #Constraints:      63406
3138.67/3147.09	c #Conflicts:    1407000 | #Constraints:      64406
3138.67/3147.09	c #Conflicts:    1408000 | #Constraints:      65406
3138.67/3147.09	c #Conflicts:    1409000 | #Constraints:      66406
3138.67/3147.09	c #Conflicts:    1410000 | #Constraints:      67406
3138.67/3147.09	c #Conflicts:    1411000 | #Constraints:      68406
3138.67/3147.09	c #Conflicts:    1412000 | #Constraints:      69406
3400.86/3409.86	c #Conflicts:    1413000 | #Constraints:      70406
3400.86/3409.86	c #Conflicts:    1414000 | #Constraints:      71406
3400.86/3409.86	c #Conflicts:    1415000 | #Constraints:      72406
3400.86/3409.86	c #Conflicts:    1416000 | #Constraints:      73406
3400.86/3409.86	c #Conflicts:    1417000 | #Constraints:      74406
3400.86/3409.86	c #Conflicts:    1418000 | #Constraints:      75406
3400.86/3409.86	c #Conflicts:    1419000 | #Constraints:      76406
3400.86/3409.86	c INPROCESSING
3400.86/3409.86	c GARBAGE COLLECT
3400.86/3409.86	c #Conflicts:    1420000 | #Constraints:      53814
3400.86/3409.86	c #Conflicts:    1421000 | #Constraints:      54814
3400.86/3409.86	c #Conflicts:    1422000 | #Constraints:      55814
3400.86/3409.86	c #Conflicts:    1423000 | #Constraints:      56814
3400.86/3409.86	c #Conflicts:    1424000 | #Constraints:      57814
3400.86/3409.86	c #Conflicts:    1425000 | #Constraints:      58814
3400.86/3409.86	c #Conflicts:    1426000 | #Constraints:      59814
3400.86/3409.86	c #Conflicts:    1427000 | #Constraints:      60814
3400.86/3409.86	c #Conflicts:    1428000 | #Constraints:      61814
3400.86/3409.86	c #Conflicts:    1429000 | #Constraints:      62814
3400.86/3409.86	c #Conflicts:    1430000 | #Constraints:      63814
3400.86/3409.86	c #Conflicts:    1431000 | #Constraints:      64814
3400.86/3409.86	c #Conflicts:    1432000 | #Constraints:      65814
3400.86/3409.86	c #Conflicts:    1433000 | #Constraints:      66814
3400.86/3409.86	c #Conflicts:    1434000 | #Constraints:      67814
3400.86/3409.86	c #Conflicts:    1435000 | #Constraints:      68814
3400.86/3409.86	c #Conflicts:    1436000 | #Constraints:      69814
3400.86/3409.86	c #Conflicts:    1437000 | #Constraints:      70814
3400.86/3409.86	c #Conflicts:    1438000 | #Constraints:      71814
3400.86/3409.86	c #Conflicts:    1439000 | #Constraints:      72814
3400.86/3409.86	c #Conflicts:    1440000 | #Constraints:      73814
3400.86/3409.86	c #Conflicts:    1441000 | #Constraints:      74814
3400.86/3409.86	c #Conflicts:    1442000 | #Constraints:      75814
3400.86/3409.86	c #Conflicts:    1443000 | #Constraints:      76814
3400.86/3409.86	c INPROCESSING
3400.86/3409.86	c GARBAGE COLLECT
3400.86/3409.86	c #Conflicts:    1444000 | #Constraints:      54019
3400.86/3409.86	c #Conflicts:    1445000 | #Constraints:      55019
3400.86/3409.86	c #Conflicts:    1446000 | #Constraints:      56019
3400.86/3409.86	c #Conflicts:    1447000 | #Constraints:      57019
3400.86/3409.86	c #Conflicts:    1448000 | #Constraints:      58019
3400.86/3409.86	c #Conflicts:    1449000 | #Constraints:      59019
3400.86/3409.86	c #Conflicts:    1450000 | #Constraints:      60019
3400.86/3409.86	c #Conflicts:    1451000 | #Constraints:      61019
3400.86/3409.86	c #Conflicts:    1452000 | #Constraints:      62019
3400.86/3409.86	c #Conflicts:    1453000 | #Constraints:      63019
3400.86/3409.86	c #Conflicts:    1454000 | #Constraints:      64019
3400.86/3409.86	c #Conflicts:    1455000 | #Constraints:      65019
3400.86/3409.86	c #Conflicts:    1456000 | #Constraints:      66019
3400.86/3409.86	c #Conflicts:    1457000 | #Constraints:      67019
3400.86/3409.86	c #Conflicts:    1458000 | #Constraints:      68019
3400.86/3409.86	c #Conflicts:    1459000 | #Constraints:      69019
3400.86/3409.86	c #Conflicts:    1460000 | #Constraints:      70019
3400.86/3409.86	c #Conflicts:    1461000 | #Constraints:      71019
3400.86/3409.86	c #Conflicts:    1462000 | #Constraints:      72019
3400.86/3409.86	c #Conflicts:    1463000 | #Constraints:      73019
3400.86/3409.86	c #Conflicts:    1464000 | #Constraints:      74019
3400.86/3409.86	c #Conflicts:    1465000 | #Constraints:      75019
3400.86/3409.86	c #Conflicts:    1466000 | #Constraints:      76019
3400.86/3409.86	c #Conflicts:    1467000 | #Constraints:      77019
3400.86/3409.86	c INPROCESSING
3400.86/3409.86	c GARBAGE COLLECT
3400.86/3409.86	c #Conflicts:    1468000 | #Constraints:      54011
3400.86/3409.86	c #Conflicts:    1469000 | #Constraints:      55011
3400.86/3409.86	c #Conflicts:    1470000 | #Constraints:      56011
3400.86/3409.86	c #Conflicts:    1471000 | #Constraints:      57011
3400.86/3409.86	c #Conflicts:    1472000 | #Constraints:      58011
3400.86/3409.86	c #Conflicts:    1473000 | #Constraints:      59011
3400.86/3409.86	c #Conflicts:    1474000 | #Constraints:      60011
3400.86/3409.86	c #Conflicts:    1475000 | #Constraints:      61011
3400.86/3409.86	c #Conflicts:    1476000 | #Constraints:      62011
3400.86/3409.86	c #Conflicts:    1477000 | #Constraints:      63011
3400.86/3409.86	c #Conflicts:    1478000 | #Constraints:      64011
3400.86/3409.86	c #Conflicts:    1479000 | #Constraints:      65011
3400.86/3409.86	c #Conflicts:    1480000 | #Constraints:      66011
3400.86/3409.86	c #Conflicts:    1481000 | #Constraints:      67011
3400.86/3409.86	c #Conflicts:    1482000 | #Constraints:      68011
3400.86/3409.86	c #Conflicts:    1483000 | #Constraints:      69011
3400.86/3409.86	c #Conflicts:    1484000 | #Constraints:      70011
3400.86/3409.86	c #Conflicts:    1485000 | #Constraints:      71011
3400.86/3409.86	c #Conflicts:    1486000 | #Constraints:      72011
3400.86/3409.86	c #Conflicts:    1487000 | #Constraints:      73011
3400.86/3409.86	c #Conflicts:    1488000 | #Constraints:      74011
3400.86/3409.86	c #Conflicts:    1489000 | #Constraints:      75011
3600.09/3609.50	c #Conflicts:    1490000 | #Constraints:      76011
3600.09/3609.50	c #Conflicts:    1491000 | #Constraints:      77011
3600.09/3609.50	c INPROCESSING
3600.09/3609.50	c GARBAGE COLLECT
3600.09/3609.50	c #Conflicts:    1492000 | #Constraints:      53805
3600.09/3609.50	c #Conflicts:    1493000 | #Constraints:      54805
3600.09/3609.50	c #Conflicts:    1494000 | #Constraints:      55805
3600.09/3609.50	c #Conflicts:    1495000 | #Constraints:      56805
3600.09/3609.50	c #Conflicts:    1496000 | #Constraints:      57805
3600.09/3609.50	c #Conflicts:    1497000 | #Constraints:      58805
3600.09/3609.50	c #Conflicts:    1498000 | #Constraints:      59805
3600.09/3609.50	c #Conflicts:    1499000 | #Constraints:      60805
3600.09/3609.50	c #Conflicts:    1500000 | #Constraints:      61805
3600.09/3609.50	c #Conflicts:    1501000 | #Constraints:      62805
3600.09/3609.50	c #Conflicts:    1502000 | #Constraints:      63805
3600.09/3609.50	c #Conflicts:    1503000 | #Constraints:      64805
3600.09/3609.50	c #Conflicts:    1504000 | #Constraints:      65805
3600.09/3609.50	c #Conflicts:    1505000 | #Constraints:      66805
3600.09/3609.50	c #Conflicts:    1506000 | #Constraints:      67805
3600.09/3609.50	c #Conflicts:    1507000 | #Constraints:      68805
3600.09/3609.50	c #Conflicts:    1508000 | #Constraints:      69805
3600.09/3609.50	c #Conflicts:    1509000 | #Constraints:      70805
3600.09/3609.50	c #Conflicts:    1510000 | #Constraints:      71805
3600.09/3609.50	c #Conflicts:    1511000 | #Constraints:      72805
3600.09/3609.50	c #Conflicts:    1512000 | #Constraints:      73805
3600.09/3609.50	c #Conflicts:    1513000 | #Constraints:      74805
3600.09/3609.50	c #Conflicts:    1514000 | #Constraints:      75805
3600.09/3609.50	c #Conflicts:    1515000 | #Constraints:      76805
3600.09/3609.50	c #Conflicts:    1516000 | #Constraints:      77805
3600.09/3609.50	c INPROCESSING
3600.09/3609.50	c GARBAGE COLLECT
3600.09/3609.50	c #Conflicts:    1517000 | #Constraints:      54408
3600.09/3609.50	c #Conflicts:    1518000 | #Constraints:      55408
3600.09/3609.50	c #Conflicts:    1519000 | #Constraints:      56408
3600.09/3609.50	c #Conflicts:    1520000 | #Constraints:      57408
3600.09/3609.50	c #Conflicts:    1521000 | #Constraints:      58408
3600.09/3609.50	c #Conflicts:    1522000 | #Constraints:      59408
3600.09/3609.50	c #Conflicts:    1523000 | #Constraints:      60408
3600.09/3609.50	c #Conflicts:    1524000 | #Constraints:      61408
3600.09/3609.50	c #Conflicts:    1525000 | #Constraints:      62408
3600.09/3609.50	c #Conflicts:    1526000 | #Constraints:      63408
3600.09/3609.50	c #Conflicts:    1527000 | #Constraints:      64408
3600.09/3609.50	c #Conflicts:    1528000 | #Constraints:      65408
3600.09/3609.50	c #Conflicts:    1529000 | #Constraints:      66408
3600.09/3609.50	c #Conflicts:    1530000 | #Constraints:      67408
3600.09/3609.50	c #Conflicts:    1531000 | #Constraints:      68408
3600.09/3609.50	c #Conflicts:    1532000 | #Constraints:      69408
3600.09/3609.50	c #Conflicts:    1533000 | #Constraints:      70408
3600.09/3609.50	c #Conflicts:    1534000 | #Constraints:      71408
3600.09/3609.50	c #Conflicts:    1535000 | #Constraints:      72408
3600.09/3609.50	c #Conflicts:    1536000 | #Constraints:      73408
3600.09/3609.50	c #Conflicts:    1537000 | #Constraints:      74408
3600.09/3609.50	c #Conflicts:    1538000 | #Constraints:      75408
3600.09/3609.50	c #Conflicts:    1539000 | #Constraints:      76408
3600.09/3609.50	c #Conflicts:    1540000 | #Constraints:      77408
3600.09/3609.50	c #Conflicts:    1541000 | #Constraints:      78408
3600.09/3609.50	c INPROCESSING
3600.09/3609.50	c GARBAGE COLLECT
3600.09/3609.50	c #Conflicts:    1542000 | #Constraints:      54820
3600.09/3609.50	c #Conflicts:    1543000 | #Constraints:      55820
3600.09/3609.50	c #Conflicts:    1544000 | #Constraints:      56820
3600.09/3609.50	c #Conflicts:    1545000 | #Constraints:      57820
3600.09/3609.50	c #Conflicts:    1546000 | #Constraints:      58820
3600.09/3609.50	c #Conflicts:    1547000 | #Constraints:      59820
3600.09/3609.50	c #Conflicts:    1548000 | #Constraints:      60820
3600.09/3609.50	c #Conflicts:    1549000 | #Constraints:      61820
3600.09/3609.50	c Program interrupted by user.
3600.09/3609.50	c cpu time 3587.53 s
3600.09/3609.50	c deterministic time 454624239019 4.55e+11
3600.09/3609.50	c optimization time 14.918 s
3600.09/3609.50	c total solve time 3572.55 s
3600.09/3609.50	c core-guided solve time 3572.55 s
3600.09/3609.50	c propagation time 2548.35 s
3600.09/3609.50	c conflict analysis time 926.619 s
3600.09/3609.50	c propagations 150575504
3600.09/3609.50	c resolve steps 12535794
3600.09/3609.50	c decisions 8171378
3600.09/3609.50	c conflicts 1549394
3600.09/3609.50	c restarts 3066
3600.09/3609.50	c inprocessing phases 115
3600.09/3609.50	c input clauses 28903
3600.09/3609.50	c input cardinalities 176
3600.09/3609.50	c input general constraints 31
3600.09/3609.50	c input average constraint length 4.80
3600.09/3609.50	c input average constraint degree 54.51
3600.09/3609.50	c learned clauses 351916
3600.09/3609.50	c learned cardinalities 5260
3600.09/3609.50	c learned general constraints 1192218
3600.09/3609.50	c learned average constraint length 751.72
3600.09/3609.50	c learned average constraint degree 38615.59
3600.09/3609.50	c watched constraints 616075
3600.09/3609.50	c counting constraints 576174
3600.09/3609.50	c gcd simplifications 23037
3600.09/3609.50	c detected cardinalities 3
3600.09/3609.50	c weakened non-implied lits 636427831
3600.09/3609.50	c weakened non-implying lits 590490
3600.09/3609.50	c original variables 1520
3600.09/3609.50	c clausal propagations 8453720
3600.09/3609.50	c cardinality propagations 66167389
3600.09/3609.50	c watched propagations 4382857
3600.09/3609.50	c counting propagations 69697841
3600.09/3609.50	c watch lookups 85396959609
3600.09/3609.50	c watch backjump lookups 83130644937
3600.09/3609.50	c watch checks 184059950232
3600.09/3609.50	c propagation checks 95784479687
3600.09/3609.50	c constraint additions 5933162826
3600.09/3609.50	c trail pops 160294845
3600.09/3609.50	c formula constraints 29078
3600.09/3609.50	c learned constraints 1549394
3600.09/3609.50	c bound constraints 30
3600.09/3609.50	c core-guided constraints 2
3600.09/3609.50	c encountered formula constraints 2046800
3600.09/3609.50	c encountered learned constraints 12033650
3600.09/3609.50	c encountered bound constraints 2451
3600.09/3609.50	c encountered core-guided constraints 2287
3600.09/3609.50	c LP total time 0 s
3600.09/3609.50	c LP solve time 0 s
3600.09/3609.50	c LP constraints added 0
3600.09/3609.50	c LP constraints removed 0
3600.09/3609.50	c LP pivots internal 0
3600.09/3609.50	c LP pivots root 0
3600.09/3609.50	c LP calls 0
3600.09/3609.50	c LP optimalities 0
3600.09/3609.50	c LP no pivot count 0
3600.09/3609.50	c LP infeasibilities 0
3600.09/3609.50	c LP valid Farkas constraints 0
3600.09/3609.50	c LP learned Farkas constraints 0
3600.09/3609.50	c LP basis resets 0
3600.09/3609.50	c LP cycling count 0
3600.09/3609.50	c LP singular count 0
3600.09/3609.50	c LP no primal count 0
3600.09/3609.50	c LP no farkas count 0
3600.09/3609.50	c LP other issue count 0
3600.09/3609.50	c LP Gomory cuts 0
3600.09/3609.50	c LP learned cuts 0
3600.09/3609.50	c LP deleted cuts 0
3600.09/3609.50	c LP encountered Gomory constraints 0
3600.09/3609.50	c LP encountered Farkas constraints 0
3600.09/3609.50	c LP encountered learned Farkas constraints 0
3600.09/3609.50	c CG auxiliary variables introduced 1
3600.09/3609.50	c CG solutions found 29
3600.09/3609.50	c CG cores constructed 1
3600.09/3609.50	c CG core cardinality constraints returned 0
3600.09/3609.50	c CG unit cores 0
3600.09/3609.50	c CG single cores 1
3600.09/3609.50	c CG blocks removed during cardinality reduction 0
3600.09/3609.50	c CG first core best 0
3600.09/3609.50	c CG decision core best 0
3600.09/3609.50	c CG core reduction tie 0
3600.09/3609.50	c CG core degree average 1.00
3600.09/3609.50	c CG core slack average 143.00
3600.09/3609.50	c CG exhausted 0
3600.09/3609.50	c CG exhaust time 1.14726 s
3600.09/3609.50	c CG trimmed 0
3600.09/3609.50	c CG trim time 0.000982 s
3600.09/3609.50	c CG minimized 0
3600.09/3609.50	c CG minimize time 0 s
3600.09/3609.50	c CG am1 prop time 0.013032 s
3600.09/3609.50	c CG # am1s reformulated 0
3600.09/3609.50	c CG lower bound derived from am1s 0
3600.09/3609.50	c CG # clausal cores 1
3600.09/3609.50	c CG # cardinality cores 0
3600.09/3609.50	c CG # pb cores 0
3600.09/3609.50	c CG # pb reforms 0
3600.09/3609.50	c CG # cores discarded because of pb reform 0
3600.09/3609.50	d LOWERBOUND 43
3600.09/3609.50	d NCORES 1
3600.09/3609.50	d NPBCORES 0
3600.09/3609.50	d NPBREFORM 0
3600.09/3609.50	d NTRIMMED 0
3600.09/3609.50	d NEXHAUSTED 0
3600.09/3609.50	d NAM1S 0
3600.09/3609.50	d AM1LB 0
3600.09/3609.50	o 401
3600.09/3609.50	s SATISFIABLE
3600.09/3609.50	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520

Verifier Data 

OK	401

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 (61584 MiB free)
  memory of node 1: 64510 MiB (61928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459374-1721901992/watcher-4459374-1721901992 -o /tmp/evaluation-result-4459374-1721901992/solver-4459374-1721901992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721901992-277497 --watchdog 3760 pb-oll-rs HOME/instance-4459374-1721901992.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=277539, runsolver pid=277535
Current StackSize limit: 8192 KiB


[startup+0.100885 s]*
/proc/loadavg: 1.73 3.37 3.88 5/252 277559
/proc/meminfo: memFree=126461988/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=40784 memory=10000 CPUtime=0.09 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 814 0 0 0 7 2 0 0 20 0 1 0 26728721 41762816 2500 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 10196 2500 1408 291 0 1730 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40784 KiB
Current children cumulated memory: 10000 KiB

[startup+0.205885 s]*
/proc/loadavg: 1.73 3.37 3.88 4/249 277567
/proc/meminfo: memFree=126455720/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=41712 memory=13104 CPUtime=0.19 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 1069 0 0 0 16 3 0 0 20 0 1 0 26728721 42713088 3276 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 10428 3276 1408 291 0 1962 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 13104 KiB

[startup+0.305885 s]*
/proc/loadavg: 1.73 3.37 3.88 5/252 277573
/proc/meminfo: memFree=126451572/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=42920 memory=14420 CPUtime=0.28 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 1361 0 0 0 25 3 0 0 20 0 1 0 26728721 43950080 3605 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 10730 3605 1408 291 0 2264 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 14420 KiB

[startup+0.700887 s]
/proc/loadavg: 1.73 3.37 3.88 4/248 277590
/proc/meminfo: memFree=126443692/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=56348 memory=24048 CPUtime=0.66 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 3793 0 0 0 62 4 0 0 20 0 1 0 26728721 57700352 6012 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 14087 6012 1408 291 0 5621 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 56348 KiB
Current children cumulated memory: 24048 KiB

[startup+1.50089 s]
/proc/loadavg: 1.73 3.37 3.88 5/254 277605
/proc/meminfo: memFree=126410684/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=70620 memory=35444 CPUtime=1.45 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 6215 0 0 0 139 6 0 0 20 0 1 0 26728721 72314880 8861 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 17655 8861 1462 291 0 9189 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 70620 KiB
Current children cumulated memory: 35444 KiB

[startup+3.10539 s]
/proc/loadavg: 1.91 3.38 3.88 5/254 277605
/proc/meminfo: memFree=126351408/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=78532 memory=48612 CPUtime=3.05 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 8705 0 0 0 295 10 0 0 20 0 1 0 26728721 80416768 12153 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 19633 12153 1462 291 0 11167 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 78532 KiB
Current children cumulated memory: 48612 KiB

[startup+6.3002 s]
/proc/loadavg: 1.91 3.38 3.88 5/254 277697
/proc/meminfo: memFree=126287004/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=99288 memory=62144 CPUtime=6.23 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 11307 0 0 0 608 15 0 0 20 0 1 0 26728721 101670912 15536 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 24822 15536 1462 291 0 16356 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 99288 KiB
Current children cumulated memory: 62144 KiB

[startup+12.7002 s]
/proc/loadavg: 2.31 3.42 3.89 5/254 277699
/proc/meminfo: memFree=126243016/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=105276 memory=73404 CPUtime=12.62 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 13469 0 0 0 1238 24 0 0 20 0 1 0 26728721 107802624 18351 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 26319 18351 1462 291 0 17853 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 105276 KiB
Current children cumulated memory: 73404 KiB

[startup+25.5002 s]
/proc/loadavg: 2.57 3.44 3.89 5/254 277700
/proc/meminfo: memFree=126125176/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=132236 memory=89180 CPUtime=25.38 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 15861 0 0 0 2501 37 0 0 20 0 1 0 26728721 135409664 22295 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 33059 22295 1462 291 0 24593 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 132236 KiB
Current children cumulated memory: 89180 KiB

[startup+51.1056 s]
/proc/loadavg: 3.06 3.48 3.90 5/255 277706
/proc/meminfo: memFree=126009296/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=149812 memory=109632 CPUtime=50.92 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 20159 0 0 0 5031 61 0 0 20 0 1 0 26728721 153407488 27408 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 37453 27408 1462 291 0 28987 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 149812 KiB
Current children cumulated memory: 109632 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.60 3.92 5/255 277715
/proc/meminfo: memFree=125890428/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=201764 memory=143596 CPUtime=101.98 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 25368 0 0 0 10098 100 0 0 20 0 1 0 26728721 206606336 35899 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 50441 35899 1462 291 0 41975 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 201764 KiB
Current children cumulated memory: 143596 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.69 3.93 5/255 277726
/proc/meminfo: memFree=125769296/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=209004 memory=154236 CPUtime=161.82 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 27694 0 0 0 16039 143 0 0 20 0 1 0 26728721 214020096 38559 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 52251 38559 1462 291 0 43785 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 209004 KiB
Current children cumulated memory: 154236 KiB

[startup+222.3 s]
/proc/loadavg: 3.67 3.67 3.91 4/251 277774
/proc/meminfo: memFree=125712316/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=215280 memory=172588 CPUtime=221.66 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 29782 0 0 0 21989 177 0 0 20 0 1 0 26728721 220446720 43147 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 53820 43147 1462 291 0 45354 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 215280 KiB
Current children cumulated memory: 172588 KiB

[startup+282.3 s]
/proc/loadavg: 3.31 3.56 3.85 4/251 277785
/proc/meminfo: memFree=125639520/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=279356 memory=197952 CPUtime=281.5 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 33853 0 0 0 27938 212 0 0 20 0 1 0 26728721 286060544 49488 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 69839 49488 1462 291 0 61373 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 279356 KiB
Current children cumulated memory: 197952 KiB

[startup+342.3 s]
/proc/loadavg: 3.16 3.47 3.80 4/251 277795
/proc/meminfo: memFree=125598120/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=285792 memory=217000 CPUtime=341.33 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 35384 0 0 0 33885 248 0 0 20 0 1 0 26728721 292651008 54250 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 71448 54250 1462 291 0 62982 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 285792 KiB
Current children cumulated memory: 217000 KiB

[startup+402.3 s]
/proc/loadavg: 3.09 3.40 3.75 4/250 277805
/proc/meminfo: memFree=125510072/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=291168 memory=222436 CPUtime=401.18 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 36850 0 0 0 39840 278 0 0 20 0 1 0 26728721 298156032 55609 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 72792 55609 1462 291 0 64326 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 291168 KiB
Current children cumulated memory: 222436 KiB

[startup+462.3 s]
/proc/loadavg: 3.09 3.34 3.71 4/250 277816
/proc/meminfo: memFree=125484036/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=294604 memory=228540 CPUtime=461 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 37754 0 0 0 45792 308 0 0 20 0 1 0 26728721 301674496 57135 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 73651 57135 1462 291 0 65185 0

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

Current children cumulated memory: 503768 KiB

[startup+2922.3 s]
/proc/loadavg: 3.20 3.25 3.21 4/251 279262
/proc/meminfo: memFree=124537952/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=706660 memory=503784 CPUtime=2914.49 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 91848 0 0 0 290365 1084 0 0 20 0 1 0 26728721 723619840 125946 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 176665 125946 1462 291 0 168199 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503784 KiB

[startup+2982.3 s]
/proc/loadavg: 3.19 3.23 3.21 4/249 279272
/proc/meminfo: memFree=124537648/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=706660 memory=503784 CPUtime=2974.35 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 92206 0 0 0 296338 1097 0 0 20 0 1 0 26728721 723619840 125946 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 176665 125946 1462 291 0 168199 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503784 KiB

[startup+3042.3 s]
/proc/loadavg: 3.07 3.19 3.19 4/249 279283
/proc/meminfo: memFree=124502752/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=706660 memory=537708 CPUtime=3034.21 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 92653 0 0 0 302306 1115 0 0 20 0 1 0 26728721 723619840 134427 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 176665 134427 1462 291 0 168199 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 537708 KiB

[startup+3102.3 s]
/proc/loadavg: 3.06 3.17 3.18 4/248 279461
/proc/meminfo: memFree=124329664/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=706660 memory=548232 CPUtime=3094.06 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 93082 0 0 0 308280 1126 0 0 20 0 1 0 26728721 723619840 137058 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 176665 137058 1462 291 0 168199 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 548232 KiB

[startup+3162.3 s]
/proc/loadavg: 3.12 3.16 3.18 4/249 279472
/proc/meminfo: memFree=124328140/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=706660 memory=548232 CPUtime=3153.93 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 93329 0 0 0 314250 1143 0 0 20 0 1 0 26728721 723619840 137058 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 176665 137058 1462 291 0 168199 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 548232 KiB

[startup+3222.3 s]
/proc/loadavg: 3.17 3.16 3.18 4/250 279487
/proc/meminfo: memFree=124322084/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=707172 memory=548496 CPUtime=3213.79 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 93924 0 0 0 320218 1161 0 0 20 0 1 0 26728721 724144128 137124 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 176793 137124 1462 291 0 168327 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 707172 KiB
Current children cumulated memory: 548496 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.15 3.17 4/250 279509
/proc/meminfo: memFree=124318840/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=711524 memory=550828 CPUtime=3273.65 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 95031 0 0 0 326190 1175 0 0 20 0 1 0 26728721 728600576 137707 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 177881 137707 1462 291 0 169415 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 711524 KiB
Current children cumulated memory: 550828 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.14 3.17 4/250 279520
/proc/meminfo: memFree=124308612/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=711524 memory=550828 CPUtime=3333.52 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 95291 0 0 0 332163 1189 0 0 20 0 1 0 26728721 728600576 137707 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 177881 137707 1462 291 0 169415 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 711524 KiB
Current children cumulated memory: 550828 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.12 3.16 4/250 279530
/proc/meminfo: memFree=124307716/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=712292 memory=551240 CPUtime=3393.38 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 95906 0 0 0 338132 1206 0 0 20 0 1 0 26728721 729387008 137810 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 178073 137810 1462 291 0 169607 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 551240 KiB

[startup+3462.3 s]
/proc/loadavg: 3.06 3.11 3.15 4/249 279540
/proc/meminfo: memFree=124305104/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=712292 memory=551240 CPUtime=3453.24 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 96433 0 0 0 344102 1222 0 0 20 0 1 0 26728721 729387008 137810 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 178073 137810 1462 291 0 169607 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 551240 KiB

[startup+3522.3 s]
/proc/loadavg: 3.07 3.11 3.15 4/249 279551
/proc/meminfo: memFree=124304052/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=712292 memory=551240 CPUtime=3513.1 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 96956 0 0 0 350071 1239 0 0 20 0 1 0 26728721 729387008 137810 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 178073 137810 1462 291 0 169607 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 551240 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.12 3.15 4/247 279561
/proc/meminfo: memFree=124301164/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=712292 memory=551240 CPUtime=3572.96 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 97211 0 0 0 356044 1252 0 0 20 0 1 0 26728721 729387008 137810 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 178073 137810 1462 291 0 169607 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 551240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 3.09 3.11 3.14 4/247 279566
/proc/meminfo: memFree=124300800/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=712292 memory=551244 CPUtime=3600.09 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 97574 0 0 0 358752 1257 0 0 20 0 1 0 26728721 729387008 137811 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 178073 137811 1462 291 0 169607 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 551244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.53 s, system=12.5797 s

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

[startup+3609.5 s]
/proc/loadavg: 3.09 3.11 3.14 4/247 279566
/proc/meminfo: memFree=124300800/131524600 swapFree=131058856/131071996
[pid=277539] ppid=277535 vsize=712292 memory=551244 CPUtime=3600.09 cores=4,6
/proc/277539/stat : 277539 (pb-oll-rs) R 277535 277539 277486 0 -1 4194304 97574 0 0 0 358752 1257 0 0 20 0 1 0 26728721 729387008 137811 134679101440 4194304 5384485 140732320296064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27267072 140732320302103 140732320302180 140732320302180 140732320309195 0
/proc/277539/statm: 178073 137811 1462 291 0 169607 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 551244 KiB

Child status: 0

Real time (s): 3609.5
CPU time (s): 3600.11
CPU user time (s): 3587.53
CPU system time (s): 12.5797
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 713592
Max. memory (cumulated for all children) (KiB): 552172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.53
system time used= 12.5797
maximum resident set size= 552172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 4804


# summary of solver processes directly reported to runsolver:
#   pid: 277539
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3587.53
#   total CPU system time (s): 12.5797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41231 second user time and 16.3896 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-25 12:06:32
IDJOB=4459374
IDBENCH=178773
IDSOLVER=3082
FILE ID=nodeC031/4459374-1721901992
RUNJOBID= nodeC031-1721901992-277497
SLURM_JOB_ID= 8089399
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-1109824.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459374-1721901992/watcher-4459374-1721901992 -o /tmp/evaluation-result-4459374-1721901992/solver-4459374-1721901992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721901992-277497 --watchdog 3760  pb-oll-rs HOME/instance-4459374-1721901992.opb

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

MD5SUM BENCH= ca6d41f9aded18c9e4512660dff57e08
RANDOM SEED=1529767323

nodeC031.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		: 3646.319
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	: 7000.44
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		: 3652.088
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	: 7007.12
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		: 3600.375
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	: 7000.44
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		: 3615.690
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	: 7007.12
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		: 3643.510
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	: 7000.44
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		: 3619.993
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	: 7007.12
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		: 3649.647
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	: 7000.44
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		: 3665.868
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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126486496 kB
MemAvailable:   129577104 kB
Buffers:          314344 kB
Cached:          3445684 kB
SwapCached:          360 kB
Active:          2205648 kB
Inactive:        1916828 kB
Active(anon):       1740 kB
Inactive(anon):   414008 kB
Active(file):    2203908 kB
Inactive(file):  1502820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             13328 kB
Writeback:             4 kB
AnonPages:        361344 kB
Mapped:           100916 kB
Shmem:             53296 kB
KReclaimable:     445112 kB
Slab:             566244 kB
SReclaimable:     445112 kB
SUnreclaim:       121132 kB
KernelStack:        3808 kB
PageTables:         9688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     897732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC031 at 2024-07-25 13:06:41