Trace number 4459360

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-02SAT (TO)401 3600.08 3609.3

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.065079
0.00/0.08	c stratification level: 81
0.00/0.08	c bounds 664 >= 0 @ 0.066597
0.00/0.08	c stratification level: 78
0.00/0.09	c bounds 657 >= 0 @ 0.075656
0.00/0.09	c stratification level: 74
0.00/0.10	c bounds 653 >= 0 @ 0.076892
0.00/0.10	c stratification level: 73
0.00/0.11	c bounds 652 >= 0 @ 0.081347
0.00/0.11	c stratification level: 71
0.00/0.11	c bounds 631 >= 0 @ 0.081681
0.00/0.11	c stratification level: 70
0.00/0.11	c bounds 626 >= 0 @ 0.083264
0.00/0.11	c stratification level: 67
0.00/0.11	c bounds 593 >= 0 @ 0.083978
0.00/0.11	c stratification level: 66
0.00/0.11	c bounds 572 >= 0 @ 0.085485
0.00/0.11	c stratification level: 65
0.10/0.11	c bounds 563 >= 0 @ 0.088739
0.10/0.11	c stratification level: 62
0.10/0.13	c bounds 544 >= 0 @ 0.111933
0.10/0.13	c stratification level: 61
0.10/0.14	c bounds 527 >= 0 @ 0.113416
0.10/0.14	c stratification level: 60
0.10/0.14	c bounds 519 >= 0 @ 0.11486
0.10/0.14	c stratification level: 58
0.10/0.14	c bounds 518 >= 0 @ 0.116628
0.10/0.14	c stratification level: 56
0.10/0.15	c bounds 517 >= 0 @ 0.125436
0.10/0.15	c stratification level: 55
0.31/0.33	c bounds 506 >= 0 @ 0.308669
0.31/0.33	c stratification level: 54
0.31/0.36	c bounds 500 >= 0 @ 0.335489
0.31/0.36	c stratification level: 53
0.31/0.39	c #Conflicts:       1000 | #Constraints:      30093
0.31/0.39	c bounds 488 >= 0 @ 0.367288
0.31/0.39	c stratification level: 52
0.31/0.39	c bounds 485 >= 0 @ 0.368359
0.31/0.39	c stratification level: 51
1.38/1.42	c #Conflicts:       2000 | #Constraints:      31095
1.38/1.42	c INPROCESSING
1.38/1.42	c GARBAGE COLLECT
1.38/1.42	c #Conflicts:       3000 | #Constraints:      31099
1.38/1.42	c bounds 480 >= 0 @ 1.35924
1.38/1.42	c stratification level: 50
1.38/1.44	c bounds 470 >= 0 @ 1.37437
1.38/1.44	c stratification level: 49
1.49/1.50	c bounds 469 >= 0 @ 1.43898
1.49/1.50	c stratification level: 48
1.49/1.51	c bounds 438 >= 0 @ 1.44144
1.49/1.51	c stratification level: 47
12.36/12.43	c #Conflicts:       4000 | #Constraints:      32103
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:       5000 | #Constraints:      31517
12.36/12.43	c #Conflicts:       6000 | #Constraints:      32517
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:       7000 | #Constraints:      31524
12.36/12.43	c #Conflicts:       8000 | #Constraints:      32524
12.36/12.43	c #Conflicts:       9000 | #Constraints:      33524
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:      10000 | #Constraints:      32224
12.36/12.43	c #Conflicts:      11000 | #Constraints:      33224
12.36/12.43	c #Conflicts:      12000 | #Constraints:      34224
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:      13000 | #Constraints:      32676
12.36/12.43	c #Conflicts:      14000 | #Constraints:      33676
12.36/12.43	c #Conflicts:      15000 | #Constraints:      34676
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:      16000 | #Constraints:      32913
12.36/12.43	c #Conflicts:      17000 | #Constraints:      33913
12.36/12.43	c #Conflicts:      18000 | #Constraints:      34913
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:      19000 | #Constraints:      32933
12.36/12.43	c #Conflicts:      20000 | #Constraints:      33933
12.36/12.43	c #Conflicts:      21000 | #Constraints:      34933
12.36/12.43	c INPROCESSING
12.36/12.43	c GARBAGE COLLECT
12.36/12.43	c #Conflicts:      22000 | #Constraints:      32739
12.36/12.43	c bounds 429 >= 0 @ 12.168
12.36/12.43	c stratification level: 46
12.36/12.44	c bounds 426 >= 0 @ 12.1725
12.36/12.44	c stratification level: 45
12.36/12.45	c bounds 420 >= 0 @ 12.1823
12.36/12.45	c stratification level: 43
72.60/72.84	c bounds 420 >= 43 @ 12.1848
72.60/72.84	c #Conflicts:      23000 | #Constraints:      33744
72.60/72.84	c #Conflicts:      24000 | #Constraints:      34744
72.60/72.84	c #Conflicts:      25000 | #Constraints:      35744
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      26000 | #Constraints:      33334
72.60/72.84	c #Conflicts:      27000 | #Constraints:      34334
72.60/72.84	c #Conflicts:      28000 | #Constraints:      35334
72.60/72.84	c #Conflicts:      29000 | #Constraints:      36334
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      30000 | #Constraints:      33739
72.60/72.84	c #Conflicts:      31000 | #Constraints:      34739
72.60/72.84	c #Conflicts:      32000 | #Constraints:      35739
72.60/72.84	c #Conflicts:      33000 | #Constraints:      36739
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      34000 | #Constraints:      33946
72.60/72.84	c #Conflicts:      35000 | #Constraints:      34946
72.60/72.84	c #Conflicts:      36000 | #Constraints:      35946
72.60/72.84	c #Conflicts:      37000 | #Constraints:      36946
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      38000 | #Constraints:      33959
72.60/72.84	c #Conflicts:      39000 | #Constraints:      34959
72.60/72.84	c #Conflicts:      40000 | #Constraints:      35959
72.60/72.84	c #Conflicts:      41000 | #Constraints:      36959
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      42000 | #Constraints:      33761
72.60/72.84	c #Conflicts:      43000 | #Constraints:      34761
72.60/72.84	c #Conflicts:      44000 | #Constraints:      35761
72.60/72.84	c #Conflicts:      45000 | #Constraints:      36761
72.60/72.84	c #Conflicts:      46000 | #Constraints:      37761
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      47000 | #Constraints:      34353
72.60/72.84	c #Conflicts:      48000 | #Constraints:      35353
72.60/72.84	c #Conflicts:      49000 | #Constraints:      36353
72.60/72.84	c #Conflicts:      50000 | #Constraints:      37353
72.60/72.84	c #Conflicts:      51000 | #Constraints:      38353
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      52000 | #Constraints:      34760
72.60/72.84	c #Conflicts:      53000 | #Constraints:      35760
72.60/72.84	c #Conflicts:      54000 | #Constraints:      36760
72.60/72.84	c #Conflicts:      55000 | #Constraints:      37760
72.60/72.84	c #Conflicts:      56000 | #Constraints:      38760
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      57000 | #Constraints:      34954
72.60/72.84	c #Conflicts:      58000 | #Constraints:      35954
72.60/72.84	c #Conflicts:      59000 | #Constraints:      36954
72.60/72.84	c #Conflicts:      60000 | #Constraints:      37954
72.60/72.84	c #Conflicts:      61000 | #Constraints:      38954
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      62000 | #Constraints:      34958
72.60/72.84	c #Conflicts:      63000 | #Constraints:      35958
72.60/72.84	c #Conflicts:      64000 | #Constraints:      36958
72.60/72.84	c #Conflicts:      65000 | #Constraints:      37958
72.60/72.84	c #Conflicts:      66000 | #Constraints:      38958
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      67000 | #Constraints:      34758
72.60/72.84	c #Conflicts:      68000 | #Constraints:      35758
72.60/72.84	c #Conflicts:      69000 | #Constraints:      36758
72.60/72.84	c #Conflicts:      70000 | #Constraints:      37758
72.60/72.84	c #Conflicts:      71000 | #Constraints:      38758
72.60/72.84	c #Conflicts:      72000 | #Constraints:      39758
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      73000 | #Constraints:      35350
72.60/72.84	c #Conflicts:      74000 | #Constraints:      36350
72.60/72.84	c #Conflicts:      75000 | #Constraints:      37350
72.60/72.84	c #Conflicts:      76000 | #Constraints:      38350
72.60/72.84	c #Conflicts:      77000 | #Constraints:      39350
72.60/72.84	c #Conflicts:      78000 | #Constraints:      40350
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      79000 | #Constraints:      35752
72.60/72.84	c #Conflicts:      80000 | #Constraints:      36752
72.60/72.84	c #Conflicts:      81000 | #Constraints:      37752
72.60/72.84	c #Conflicts:      82000 | #Constraints:      38752
72.60/72.84	c #Conflicts:      83000 | #Constraints:      39752
72.60/72.84	c #Conflicts:      84000 | #Constraints:      40752
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      85000 | #Constraints:      35968
72.60/72.84	c #Conflicts:      86000 | #Constraints:      36968
72.60/72.84	c #Conflicts:      87000 | #Constraints:      37968
72.60/72.84	c #Conflicts:      88000 | #Constraints:      38968
72.60/72.84	c #Conflicts:      89000 | #Constraints:      39968
72.60/72.84	c #Conflicts:      90000 | #Constraints:      40968
72.60/72.84	c INPROCESSING
72.60/72.84	c GARBAGE COLLECT
72.60/72.84	c #Conflicts:      91000 | #Constraints:      35960
72.60/72.84	c #Conflicts:      92000 | #Constraints:      36960
157.17/157.67	c #Conflicts:      93000 | #Constraints:      37960
157.17/157.67	c #Conflicts:      94000 | #Constraints:      38960
157.17/157.67	c #Conflicts:      95000 | #Constraints:      39960
157.17/157.67	c #Conflicts:      96000 | #Constraints:      40960
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:      97000 | #Constraints:      35777
157.17/157.67	c #Conflicts:      98000 | #Constraints:      36777
157.17/157.67	c #Conflicts:      99000 | #Constraints:      37777
157.17/157.67	c #Conflicts:     100000 | #Constraints:      38777
157.17/157.67	c #Conflicts:     101000 | #Constraints:      39777
157.17/157.67	c #Conflicts:     102000 | #Constraints:      40777
157.17/157.67	c #Conflicts:     103000 | #Constraints:      41777
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     104000 | #Constraints:      36372
157.17/157.67	c #Conflicts:     105000 | #Constraints:      37372
157.17/157.67	c #Conflicts:     106000 | #Constraints:      38372
157.17/157.67	c #Conflicts:     107000 | #Constraints:      39372
157.17/157.67	c #Conflicts:     108000 | #Constraints:      40372
157.17/157.67	c #Conflicts:     109000 | #Constraints:      41372
157.17/157.67	c #Conflicts:     110000 | #Constraints:      42372
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     111000 | #Constraints:      36768
157.17/157.67	c #Conflicts:     112000 | #Constraints:      37768
157.17/157.67	c #Conflicts:     113000 | #Constraints:      38768
157.17/157.67	c #Conflicts:     114000 | #Constraints:      39768
157.17/157.67	c #Conflicts:     115000 | #Constraints:      40768
157.17/157.67	c #Conflicts:     116000 | #Constraints:      41768
157.17/157.67	c #Conflicts:     117000 | #Constraints:      42768
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     118000 | #Constraints:      36967
157.17/157.67	c #Conflicts:     119000 | #Constraints:      37967
157.17/157.67	c #Conflicts:     120000 | #Constraints:      38967
157.17/157.67	c #Conflicts:     121000 | #Constraints:      39967
157.17/157.67	c #Conflicts:     122000 | #Constraints:      40967
157.17/157.67	c #Conflicts:     123000 | #Constraints:      41967
157.17/157.67	c #Conflicts:     124000 | #Constraints:      42967
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     125000 | #Constraints:      36954
157.17/157.67	c #Conflicts:     126000 | #Constraints:      37954
157.17/157.67	c #Conflicts:     127000 | #Constraints:      38954
157.17/157.67	c #Conflicts:     128000 | #Constraints:      39954
157.17/157.67	c #Conflicts:     129000 | #Constraints:      40954
157.17/157.67	c #Conflicts:     130000 | #Constraints:      41954
157.17/157.67	c #Conflicts:     131000 | #Constraints:      42954
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     132000 | #Constraints:      36765
157.17/157.67	c #Conflicts:     133000 | #Constraints:      37765
157.17/157.67	c #Conflicts:     134000 | #Constraints:      38765
157.17/157.67	c #Conflicts:     135000 | #Constraints:      39765
157.17/157.67	c #Conflicts:     136000 | #Constraints:      40765
157.17/157.67	c #Conflicts:     137000 | #Constraints:      41765
157.17/157.67	c #Conflicts:     138000 | #Constraints:      42765
157.17/157.67	c #Conflicts:     139000 | #Constraints:      43765
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     140000 | #Constraints:      37370
157.17/157.67	c #Conflicts:     141000 | #Constraints:      38370
157.17/157.67	c #Conflicts:     142000 | #Constraints:      39370
157.17/157.67	c #Conflicts:     143000 | #Constraints:      40370
157.17/157.67	c #Conflicts:     144000 | #Constraints:      41370
157.17/157.67	c #Conflicts:     145000 | #Constraints:      42370
157.17/157.67	c #Conflicts:     146000 | #Constraints:      43370
157.17/157.67	c #Conflicts:     147000 | #Constraints:      44370
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     148000 | #Constraints:      37772
157.17/157.67	c #Conflicts:     149000 | #Constraints:      38772
157.17/157.67	c #Conflicts:     150000 | #Constraints:      39772
157.17/157.67	c #Conflicts:     151000 | #Constraints:      40772
157.17/157.67	c #Conflicts:     152000 | #Constraints:      41772
157.17/157.67	c #Conflicts:     153000 | #Constraints:      42772
157.17/157.67	c #Conflicts:     154000 | #Constraints:      43772
157.17/157.67	c #Conflicts:     155000 | #Constraints:      44772
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     156000 | #Constraints:      37978
157.17/157.67	c #Conflicts:     157000 | #Constraints:      38978
157.17/157.67	c #Conflicts:     158000 | #Constraints:      39978
157.17/157.67	c #Conflicts:     159000 | #Constraints:      40978
157.17/157.67	c #Conflicts:     160000 | #Constraints:      41978
157.17/157.67	c #Conflicts:     161000 | #Constraints:      42978
157.17/157.67	c #Conflicts:     162000 | #Constraints:      43978
157.17/157.67	c #Conflicts:     163000 | #Constraints:      44978
157.17/157.67	c INPROCESSING
157.17/157.67	c GARBAGE COLLECT
157.17/157.67	c #Conflicts:     164000 | #Constraints:      37982
226.57/227.20	c #Conflicts:     165000 | #Constraints:      38982
226.57/227.20	c #Conflicts:     166000 | #Constraints:      39982
226.57/227.20	c #Conflicts:     167000 | #Constraints:      40982
226.57/227.20	c #Conflicts:     168000 | #Constraints:      41982
226.57/227.20	c #Conflicts:     169000 | #Constraints:      42982
226.57/227.20	c #Conflicts:     170000 | #Constraints:      43982
226.57/227.20	c #Conflicts:     171000 | #Constraints:      44982
226.57/227.20	c INPROCESSING
226.57/227.20	c GARBAGE COLLECT
226.57/227.20	c #Conflicts:     172000 | #Constraints:      37778
226.57/227.20	c #Conflicts:     173000 | #Constraints:      38778
226.57/227.20	c #Conflicts:     174000 | #Constraints:      39778
226.57/227.20	c #Conflicts:     175000 | #Constraints:      40778
226.57/227.20	c #Conflicts:     176000 | #Constraints:      41778
226.57/227.20	c #Conflicts:     177000 | #Constraints:      42778
226.57/227.20	c #Conflicts:     178000 | #Constraints:      43778
226.57/227.20	c #Conflicts:     179000 | #Constraints:      44778
226.57/227.20	c #Conflicts:     180000 | #Constraints:      45778
226.57/227.20	c INPROCESSING
226.57/227.20	c GARBAGE COLLECT
226.57/227.20	c #Conflicts:     181000 | #Constraints:      38379
226.57/227.20	c #Conflicts:     182000 | #Constraints:      39379
226.57/227.20	c #Conflicts:     183000 | #Constraints:      40379
226.57/227.20	c #Conflicts:     184000 | #Constraints:      41379
226.57/227.20	c #Conflicts:     185000 | #Constraints:      42379
226.57/227.20	c #Conflicts:     186000 | #Constraints:      43379
226.57/227.20	c #Conflicts:     187000 | #Constraints:      44379
226.57/227.20	c #Conflicts:     188000 | #Constraints:      45379
226.57/227.20	c #Conflicts:     189000 | #Constraints:      46379
226.57/227.20	c INPROCESSING
226.57/227.20	c GARBAGE COLLECT
226.57/227.20	c #Conflicts:     190000 | #Constraints:      38775
226.57/227.20	c #Conflicts:     191000 | #Constraints:      39775
226.57/227.20	c #Conflicts:     192000 | #Constraints:      40775
226.57/227.20	c #Conflicts:     193000 | #Constraints:      41775
226.57/227.20	c #Conflicts:     194000 | #Constraints:      42775
226.57/227.20	c #Conflicts:     195000 | #Constraints:      43775
226.57/227.20	c #Conflicts:     196000 | #Constraints:      44775
226.57/227.20	c #Conflicts:     197000 | #Constraints:      45775
226.57/227.20	c #Conflicts:     198000 | #Constraints:      46775
226.57/227.20	c INPROCESSING
226.57/227.20	c GARBAGE COLLECT
226.57/227.20	c #Conflicts:     199000 | #Constraints:      38975
226.57/227.20	c #Conflicts:     200000 | #Constraints:      39975
226.57/227.20	c #Conflicts:     201000 | #Constraints:      40975
226.57/227.20	c #Conflicts:     202000 | #Constraints:      41975
226.57/227.20	c #Conflicts:     203000 | #Constraints:      42975
226.57/227.20	c #Conflicts:     204000 | #Constraints:      43975
226.57/227.20	c #Conflicts:     205000 | #Constraints:      44975
226.57/227.20	c #Conflicts:     206000 | #Constraints:      45975
226.57/227.20	c #Conflicts:     207000 | #Constraints:      46975
226.57/227.20	c INPROCESSING
226.57/227.20	c GARBAGE COLLECT
226.57/227.20	c #Conflicts:     208000 | #Constraints:      38978
226.57/227.20	c #Conflicts:     209000 | #Constraints:      39978
226.57/227.20	c #Conflicts:     210000 | #Constraints:      40978
226.57/227.20	c #Conflicts:     211000 | #Constraints:      41978
226.57/227.20	c #Conflicts:     212000 | #Constraints:      42978
226.57/227.20	c #Conflicts:     213000 | #Constraints:      43978
226.57/227.20	c #Conflicts:     214000 | #Constraints:      44978
226.57/227.20	c finalizing WCE round: reformulating cores
342.76/343.78	c bounds 414 >= 43 @ 225.769
342.76/343.78	c #Conflicts:     215000 | #Constraints:      45981
342.76/343.78	c #Conflicts:     216000 | #Constraints:      46981
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     217000 | #Constraints:      38776
342.76/343.78	c #Conflicts:     218000 | #Constraints:      39776
342.76/343.78	c #Conflicts:     219000 | #Constraints:      40776
342.76/343.78	c #Conflicts:     220000 | #Constraints:      41776
342.76/343.78	c #Conflicts:     221000 | #Constraints:      42776
342.76/343.78	c #Conflicts:     222000 | #Constraints:      43776
342.76/343.78	c #Conflicts:     223000 | #Constraints:      44776
342.76/343.78	c #Conflicts:     224000 | #Constraints:      45776
342.76/343.78	c #Conflicts:     225000 | #Constraints:      46776
342.76/343.78	c #Conflicts:     226000 | #Constraints:      47776
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     227000 | #Constraints:      39377
342.76/343.78	c #Conflicts:     228000 | #Constraints:      40377
342.76/343.78	c #Conflicts:     229000 | #Constraints:      41377
342.76/343.78	c #Conflicts:     230000 | #Constraints:      42377
342.76/343.78	c #Conflicts:     231000 | #Constraints:      43377
342.76/343.78	c #Conflicts:     232000 | #Constraints:      44377
342.76/343.78	c #Conflicts:     233000 | #Constraints:      45377
342.76/343.78	c #Conflicts:     234000 | #Constraints:      46377
342.76/343.78	c #Conflicts:     235000 | #Constraints:      47377
342.76/343.78	c #Conflicts:     236000 | #Constraints:      48377
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     237000 | #Constraints:      39781
342.76/343.78	c #Conflicts:     238000 | #Constraints:      40781
342.76/343.78	c #Conflicts:     239000 | #Constraints:      41781
342.76/343.78	c #Conflicts:     240000 | #Constraints:      42781
342.76/343.78	c #Conflicts:     241000 | #Constraints:      43781
342.76/343.78	c #Conflicts:     242000 | #Constraints:      44781
342.76/343.78	c #Conflicts:     243000 | #Constraints:      45781
342.76/343.78	c #Conflicts:     244000 | #Constraints:      46781
342.76/343.78	c #Conflicts:     245000 | #Constraints:      47781
342.76/343.78	c #Conflicts:     246000 | #Constraints:      48781
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     247000 | #Constraints:      39984
342.76/343.78	c #Conflicts:     248000 | #Constraints:      40984
342.76/343.78	c #Conflicts:     249000 | #Constraints:      41984
342.76/343.78	c #Conflicts:     250000 | #Constraints:      42984
342.76/343.78	c #Conflicts:     251000 | #Constraints:      43984
342.76/343.78	c #Conflicts:     252000 | #Constraints:      44984
342.76/343.78	c #Conflicts:     253000 | #Constraints:      45984
342.76/343.78	c #Conflicts:     254000 | #Constraints:      46984
342.76/343.78	c #Conflicts:     255000 | #Constraints:      47984
342.76/343.78	c #Conflicts:     256000 | #Constraints:      48984
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     257000 | #Constraints:      39974
342.76/343.78	c #Conflicts:     258000 | #Constraints:      40974
342.76/343.78	c #Conflicts:     259000 | #Constraints:      41974
342.76/343.78	c #Conflicts:     260000 | #Constraints:      42974
342.76/343.78	c #Conflicts:     261000 | #Constraints:      43974
342.76/343.78	c #Conflicts:     262000 | #Constraints:      44974
342.76/343.78	c #Conflicts:     263000 | #Constraints:      45974
342.76/343.78	c #Conflicts:     264000 | #Constraints:      46974
342.76/343.78	c #Conflicts:     265000 | #Constraints:      47974
342.76/343.78	c #Conflicts:     266000 | #Constraints:      48974
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     267000 | #Constraints:      39781
342.76/343.78	c #Conflicts:     268000 | #Constraints:      40781
342.76/343.78	c #Conflicts:     269000 | #Constraints:      41781
342.76/343.78	c #Conflicts:     270000 | #Constraints:      42781
342.76/343.78	c #Conflicts:     271000 | #Constraints:      43781
342.76/343.78	c #Conflicts:     272000 | #Constraints:      44781
342.76/343.78	c #Conflicts:     273000 | #Constraints:      45781
342.76/343.78	c #Conflicts:     274000 | #Constraints:      46781
342.76/343.78	c #Conflicts:     275000 | #Constraints:      47781
342.76/343.78	c #Conflicts:     276000 | #Constraints:      48781
342.76/343.78	c #Conflicts:     277000 | #Constraints:      49781
342.76/343.78	c INPROCESSING
342.76/343.78	c GARBAGE COLLECT
342.76/343.78	c #Conflicts:     278000 | #Constraints:      40380
342.76/343.78	c #Conflicts:     279000 | #Constraints:      41380
342.76/343.78	c #Conflicts:     280000 | #Constraints:      42380
342.76/343.78	c #Conflicts:     281000 | #Constraints:      43380
342.76/343.78	c #Conflicts:     282000 | #Constraints:      44380
342.76/343.78	c #Conflicts:     283000 | #Constraints:      45380
342.76/343.78	c #Conflicts:     284000 | #Constraints:      46380
342.76/343.78	c #Conflicts:     285000 | #Constraints:      47380
342.76/343.78	c #Conflicts:     286000 | #Constraints:      48380
342.76/343.78	c #Conflicts:     287000 | #Constraints:      49380
342.76/343.78	c #Conflicts:     288000 | #Constraints:      50380
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     289000 | #Constraints:      40785
461.93/463.25	c #Conflicts:     290000 | #Constraints:      41785
461.93/463.25	c #Conflicts:     291000 | #Constraints:      42785
461.93/463.25	c #Conflicts:     292000 | #Constraints:      43785
461.93/463.25	c #Conflicts:     293000 | #Constraints:      44785
461.93/463.25	c #Conflicts:     294000 | #Constraints:      45785
461.93/463.25	c #Conflicts:     295000 | #Constraints:      46785
461.93/463.25	c #Conflicts:     296000 | #Constraints:      47785
461.93/463.25	c #Conflicts:     297000 | #Constraints:      48785
461.93/463.25	c #Conflicts:     298000 | #Constraints:      49785
461.93/463.25	c #Conflicts:     299000 | #Constraints:      50785
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     300000 | #Constraints:      40981
461.93/463.25	c #Conflicts:     301000 | #Constraints:      41981
461.93/463.25	c #Conflicts:     302000 | #Constraints:      42981
461.93/463.25	c #Conflicts:     303000 | #Constraints:      43981
461.93/463.25	c #Conflicts:     304000 | #Constraints:      44981
461.93/463.25	c #Conflicts:     305000 | #Constraints:      45981
461.93/463.25	c #Conflicts:     306000 | #Constraints:      46981
461.93/463.25	c #Conflicts:     307000 | #Constraints:      47981
461.93/463.25	c #Conflicts:     308000 | #Constraints:      48981
461.93/463.25	c #Conflicts:     309000 | #Constraints:      49981
461.93/463.25	c #Conflicts:     310000 | #Constraints:      50981
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     311000 | #Constraints:      40979
461.93/463.25	c #Conflicts:     312000 | #Constraints:      41979
461.93/463.25	c #Conflicts:     313000 | #Constraints:      42979
461.93/463.25	c #Conflicts:     314000 | #Constraints:      43979
461.93/463.25	c #Conflicts:     315000 | #Constraints:      44979
461.93/463.25	c #Conflicts:     316000 | #Constraints:      45979
461.93/463.25	c #Conflicts:     317000 | #Constraints:      46979
461.93/463.25	c #Conflicts:     318000 | #Constraints:      47979
461.93/463.25	c #Conflicts:     319000 | #Constraints:      48979
461.93/463.25	c #Conflicts:     320000 | #Constraints:      49979
461.93/463.25	c #Conflicts:     321000 | #Constraints:      50979
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     322000 | #Constraints:      40796
461.93/463.25	c #Conflicts:     323000 | #Constraints:      41796
461.93/463.25	c #Conflicts:     324000 | #Constraints:      42796
461.93/463.25	c #Conflicts:     325000 | #Constraints:      43796
461.93/463.25	c #Conflicts:     326000 | #Constraints:      44796
461.93/463.25	c #Conflicts:     327000 | #Constraints:      45796
461.93/463.25	c #Conflicts:     328000 | #Constraints:      46796
461.93/463.25	c #Conflicts:     329000 | #Constraints:      47796
461.93/463.25	c #Conflicts:     330000 | #Constraints:      48796
461.93/463.25	c #Conflicts:     331000 | #Constraints:      49796
461.93/463.25	c #Conflicts:     332000 | #Constraints:      50796
461.93/463.25	c #Conflicts:     333000 | #Constraints:      51796
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     334000 | #Constraints:      41393
461.93/463.25	c #Conflicts:     335000 | #Constraints:      42393
461.93/463.25	c #Conflicts:     336000 | #Constraints:      43393
461.93/463.25	c #Conflicts:     337000 | #Constraints:      44393
461.93/463.25	c #Conflicts:     338000 | #Constraints:      45393
461.93/463.25	c #Conflicts:     339000 | #Constraints:      46393
461.93/463.25	c #Conflicts:     340000 | #Constraints:      47393
461.93/463.25	c #Conflicts:     341000 | #Constraints:      48393
461.93/463.25	c #Conflicts:     342000 | #Constraints:      49393
461.93/463.25	c #Conflicts:     343000 | #Constraints:      50393
461.93/463.25	c #Conflicts:     344000 | #Constraints:      51393
461.93/463.25	c #Conflicts:     345000 | #Constraints:      52393
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     346000 | #Constraints:      41781
461.93/463.25	c #Conflicts:     347000 | #Constraints:      42781
461.93/463.25	c #Conflicts:     348000 | #Constraints:      43781
461.93/463.25	c #Conflicts:     349000 | #Constraints:      44781
461.93/463.25	c #Conflicts:     350000 | #Constraints:      45781
461.93/463.25	c #Conflicts:     351000 | #Constraints:      46781
461.93/463.25	c #Conflicts:     352000 | #Constraints:      47781
461.93/463.25	c #Conflicts:     353000 | #Constraints:      48781
461.93/463.25	c #Conflicts:     354000 | #Constraints:      49781
461.93/463.25	c #Conflicts:     355000 | #Constraints:      50781
461.93/463.25	c #Conflicts:     356000 | #Constraints:      51781
461.93/463.25	c #Conflicts:     357000 | #Constraints:      52781
461.93/463.25	c INPROCESSING
461.93/463.25	c GARBAGE COLLECT
461.93/463.25	c #Conflicts:     358000 | #Constraints:      41989
461.93/463.25	c #Conflicts:     359000 | #Constraints:      42989
461.93/463.25	c #Conflicts:     360000 | #Constraints:      43989
461.93/463.25	c #Conflicts:     361000 | #Constraints:      44989
461.93/463.25	c #Conflicts:     362000 | #Constraints:      45989
461.93/463.25	c #Conflicts:     363000 | #Constraints:      46989
598.46/600.12	c #Conflicts:     364000 | #Constraints:      47989
598.46/600.12	c #Conflicts:     365000 | #Constraints:      48989
598.46/600.12	c #Conflicts:     366000 | #Constraints:      49989
598.46/600.12	c #Conflicts:     367000 | #Constraints:      50989
598.46/600.12	c #Conflicts:     368000 | #Constraints:      51989
598.46/600.12	c #Conflicts:     369000 | #Constraints:      52989
598.46/600.12	c INPROCESSING
598.46/600.12	c GARBAGE COLLECT
598.46/600.12	c #Conflicts:     370000 | #Constraints:      42000
598.46/600.12	c #Conflicts:     371000 | #Constraints:      43000
598.46/600.12	c #Conflicts:     372000 | #Constraints:      44000
598.46/600.12	c #Conflicts:     373000 | #Constraints:      45000
598.46/600.12	c #Conflicts:     374000 | #Constraints:      46000
598.46/600.12	c #Conflicts:     375000 | #Constraints:      47000
598.46/600.12	c #Conflicts:     376000 | #Constraints:      48000
598.46/600.12	c #Conflicts:     377000 | #Constraints:      49000
598.46/600.12	c #Conflicts:     378000 | #Constraints:      50000
598.46/600.12	c #Conflicts:     379000 | #Constraints:      51000
598.46/600.12	c #Conflicts:     380000 | #Constraints:      52000
598.46/600.12	c #Conflicts:     381000 | #Constraints:      53000
598.46/600.12	c INPROCESSING
598.46/600.12	c GARBAGE COLLECT
598.46/600.12	c #Conflicts:     382000 | #Constraints:      41801
598.46/600.12	c #Conflicts:     383000 | #Constraints:      42801
598.46/600.12	c #Conflicts:     384000 | #Constraints:      43801
598.46/600.12	c #Conflicts:     385000 | #Constraints:      44801
598.46/600.12	c #Conflicts:     386000 | #Constraints:      45801
598.46/600.12	c #Conflicts:     387000 | #Constraints:      46801
598.46/600.12	c #Conflicts:     388000 | #Constraints:      47801
598.46/600.12	c #Conflicts:     389000 | #Constraints:      48801
598.46/600.12	c #Conflicts:     390000 | #Constraints:      49801
598.46/600.12	c #Conflicts:     391000 | #Constraints:      50801
598.46/600.12	c #Conflicts:     392000 | #Constraints:      51801
598.46/600.12	c #Conflicts:     393000 | #Constraints:      52801
598.46/600.12	c #Conflicts:     394000 | #Constraints:      53801
598.46/600.12	c INPROCESSING
598.46/600.12	c GARBAGE COLLECT
598.46/600.12	c #Conflicts:     395000 | #Constraints:      42403
598.46/600.12	c #Conflicts:     396000 | #Constraints:      43403
598.46/600.12	c #Conflicts:     397000 | #Constraints:      44403
598.46/600.12	c #Conflicts:     398000 | #Constraints:      45403
598.46/600.12	c #Conflicts:     399000 | #Constraints:      46403
598.46/600.12	c #Conflicts:     400000 | #Constraints:      47403
598.46/600.12	c #Conflicts:     401000 | #Constraints:      48403
598.46/600.12	c #Conflicts:     402000 | #Constraints:      49403
598.46/600.12	c #Conflicts:     403000 | #Constraints:      50403
598.46/600.12	c #Conflicts:     404000 | #Constraints:      51403
598.46/600.12	c #Conflicts:     405000 | #Constraints:      52403
598.46/600.12	c #Conflicts:     406000 | #Constraints:      53403
598.46/600.12	c #Conflicts:     407000 | #Constraints:      54403
598.46/600.12	c INPROCESSING
598.46/600.12	c GARBAGE COLLECT
598.46/600.12	c #Conflicts:     408000 | #Constraints:      42793
598.46/600.12	c #Conflicts:     409000 | #Constraints:      43793
598.46/600.12	c #Conflicts:     410000 | #Constraints:      44793
598.46/600.12	c #Conflicts:     411000 | #Constraints:      45793
598.46/600.12	c #Conflicts:     412000 | #Constraints:      46793
598.46/600.12	c #Conflicts:     413000 | #Constraints:      47793
598.46/600.12	c #Conflicts:     414000 | #Constraints:      48793
598.46/600.12	c #Conflicts:     415000 | #Constraints:      49793
598.46/600.12	c #Conflicts:     416000 | #Constraints:      50793
598.46/600.12	c #Conflicts:     417000 | #Constraints:      51793
598.46/600.12	c #Conflicts:     418000 | #Constraints:      52793
598.46/600.12	c #Conflicts:     419000 | #Constraints:      53793
598.46/600.13	c #Conflicts:     420000 | #Constraints:      54793
598.46/600.13	c INPROCESSING
598.46/600.13	c GARBAGE COLLECT
598.46/600.13	c #Conflicts:     421000 | #Constraints:      42983
598.46/600.13	c #Conflicts:     422000 | #Constraints:      43983
598.46/600.13	c #Conflicts:     423000 | #Constraints:      44983
598.46/600.13	c #Conflicts:     424000 | #Constraints:      45983
598.46/600.13	c #Conflicts:     425000 | #Constraints:      46983
598.46/600.13	c #Conflicts:     426000 | #Constraints:      47983
598.46/600.13	c #Conflicts:     427000 | #Constraints:      48983
598.46/600.13	c #Conflicts:     428000 | #Constraints:      49983
598.46/600.13	c #Conflicts:     429000 | #Constraints:      50983
598.46/600.13	c #Conflicts:     430000 | #Constraints:      51983
598.46/600.13	c #Conflicts:     431000 | #Constraints:      52983
598.46/600.13	c #Conflicts:     432000 | #Constraints:      53983
598.46/600.13	c #Conflicts:     433000 | #Constraints:      54983
598.46/600.13	c INPROCESSING
598.46/600.13	c GARBAGE COLLECT
598.46/600.13	c #Conflicts:     434000 | #Constraints:      42996
598.46/600.13	c #Conflicts:     435000 | #Constraints:      43996
598.46/600.13	c #Conflicts:     436000 | #Constraints:      44996
598.46/600.13	c #Conflicts:     437000 | #Constraints:      45996
598.46/600.13	c #Conflicts:     438000 | #Constraints:      46996
755.72/757.81	c #Conflicts:     439000 | #Constraints:      47996
755.72/757.81	c #Conflicts:     440000 | #Constraints:      48996
755.72/757.81	c #Conflicts:     441000 | #Constraints:      49996
755.72/757.81	c #Conflicts:     442000 | #Constraints:      50996
755.72/757.81	c #Conflicts:     443000 | #Constraints:      51996
755.72/757.81	c #Conflicts:     444000 | #Constraints:      52996
755.72/757.81	c #Conflicts:     445000 | #Constraints:      53996
755.72/757.81	c #Conflicts:     446000 | #Constraints:      54996
755.72/757.81	c INPROCESSING
755.72/757.81	c GARBAGE COLLECT
755.72/757.81	c #Conflicts:     447000 | #Constraints:      42797
755.72/757.81	c #Conflicts:     448000 | #Constraints:      43797
755.72/757.81	c #Conflicts:     449000 | #Constraints:      44797
755.72/757.81	c #Conflicts:     450000 | #Constraints:      45797
755.72/757.81	c #Conflicts:     451000 | #Constraints:      46797
755.72/757.81	c #Conflicts:     452000 | #Constraints:      47797
755.72/757.81	c #Conflicts:     453000 | #Constraints:      48797
755.72/757.81	c #Conflicts:     454000 | #Constraints:      49797
755.72/757.81	c #Conflicts:     455000 | #Constraints:      50797
755.72/757.81	c #Conflicts:     456000 | #Constraints:      51797
755.72/757.81	c #Conflicts:     457000 | #Constraints:      52797
755.72/757.81	c #Conflicts:     458000 | #Constraints:      53797
755.72/757.81	c #Conflicts:     459000 | #Constraints:      54797
755.72/757.81	c #Conflicts:     460000 | #Constraints:      55797
755.72/757.81	c INPROCESSING
755.72/757.81	c GARBAGE COLLECT
755.72/757.81	c #Conflicts:     461000 | #Constraints:      43401
755.72/757.81	c #Conflicts:     462000 | #Constraints:      44401
755.72/757.81	c #Conflicts:     463000 | #Constraints:      45401
755.72/757.81	c #Conflicts:     464000 | #Constraints:      46401
755.72/757.81	c #Conflicts:     465000 | #Constraints:      47401
755.72/757.81	c #Conflicts:     466000 | #Constraints:      48401
755.72/757.81	c #Conflicts:     467000 | #Constraints:      49401
755.72/757.81	c #Conflicts:     468000 | #Constraints:      50401
755.72/757.81	c #Conflicts:     469000 | #Constraints:      51401
755.72/757.81	c #Conflicts:     470000 | #Constraints:      52401
755.72/757.81	c #Conflicts:     471000 | #Constraints:      53401
755.72/757.81	c #Conflicts:     472000 | #Constraints:      54401
755.72/757.81	c #Conflicts:     473000 | #Constraints:      55401
755.72/757.81	c #Conflicts:     474000 | #Constraints:      56401
755.72/757.81	c INPROCESSING
755.72/757.81	c GARBAGE COLLECT
755.72/757.81	c #Conflicts:     475000 | #Constraints:      43789
755.72/757.81	c #Conflicts:     476000 | #Constraints:      44789
755.72/757.81	c #Conflicts:     477000 | #Constraints:      45789
755.72/757.81	c #Conflicts:     478000 | #Constraints:      46789
755.72/757.81	c #Conflicts:     479000 | #Constraints:      47789
755.72/757.81	c #Conflicts:     480000 | #Constraints:      48789
755.72/757.81	c #Conflicts:     481000 | #Constraints:      49789
755.72/757.81	c #Conflicts:     482000 | #Constraints:      50789
755.72/757.81	c #Conflicts:     483000 | #Constraints:      51789
755.72/757.81	c #Conflicts:     484000 | #Constraints:      52789
755.72/757.81	c #Conflicts:     485000 | #Constraints:      53789
755.72/757.81	c #Conflicts:     486000 | #Constraints:      54789
755.72/757.81	c #Conflicts:     487000 | #Constraints:      55789
755.72/757.81	c #Conflicts:     488000 | #Constraints:      56789
755.72/757.81	c INPROCESSING
755.72/757.81	c GARBAGE COLLECT
755.72/757.81	c #Conflicts:     489000 | #Constraints:      44002
755.72/757.81	c #Conflicts:     490000 | #Constraints:      45002
755.72/757.81	c #Conflicts:     491000 | #Constraints:      46002
755.72/757.81	c #Conflicts:     492000 | #Constraints:      47002
755.72/757.81	c #Conflicts:     493000 | #Constraints:      48002
755.72/757.81	c #Conflicts:     494000 | #Constraints:      49002
755.72/757.81	c #Conflicts:     495000 | #Constraints:      50002
755.72/757.81	c #Conflicts:     496000 | #Constraints:      51002
755.72/757.81	c #Conflicts:     497000 | #Constraints:      52002
755.72/757.81	c #Conflicts:     498000 | #Constraints:      53002
755.72/757.81	c #Conflicts:     499000 | #Constraints:      54002
755.72/757.81	c #Conflicts:     500000 | #Constraints:      55002
755.72/757.81	c #Conflicts:     501000 | #Constraints:      56002
755.72/757.81	c #Conflicts:     502000 | #Constraints:      57002
755.72/757.81	c INPROCESSING
755.72/757.81	c GARBAGE COLLECT
755.72/757.81	c #Conflicts:     503000 | #Constraints:      44015
755.72/757.81	c #Conflicts:     504000 | #Constraints:      45015
755.72/757.81	c #Conflicts:     505000 | #Constraints:      46015
755.72/757.81	c #Conflicts:     506000 | #Constraints:      47015
755.72/757.81	c #Conflicts:     507000 | #Constraints:      48015
755.72/757.81	c #Conflicts:     508000 | #Constraints:      49015
755.72/757.81	c #Conflicts:     509000 | #Constraints:      50015
755.72/757.81	c #Conflicts:     510000 | #Constraints:      51015
755.72/757.81	c #Conflicts:     511000 | #Constraints:      52015
755.72/757.81	c #Conflicts:     512000 | #Constraints:      53015
755.72/757.81	c #Conflicts:     513000 | #Constraints:      54015
909.19/911.79	c #Conflicts:     514000 | #Constraints:      55015
909.19/911.79	c #Conflicts:     515000 | #Constraints:      56015
909.19/911.79	c #Conflicts:     516000 | #Constraints:      57015
909.19/911.79	c INPROCESSING
909.19/911.79	c GARBAGE COLLECT
909.19/911.79	c #Conflicts:     517000 | #Constraints:      43810
909.19/911.79	c #Conflicts:     518000 | #Constraints:      44810
909.19/911.79	c #Conflicts:     519000 | #Constraints:      45810
909.19/911.79	c #Conflicts:     520000 | #Constraints:      46810
909.19/911.79	c #Conflicts:     521000 | #Constraints:      47810
909.19/911.79	c #Conflicts:     522000 | #Constraints:      48810
909.19/911.79	c #Conflicts:     523000 | #Constraints:      49810
909.19/911.79	c #Conflicts:     524000 | #Constraints:      50810
909.19/911.79	c #Conflicts:     525000 | #Constraints:      51810
909.19/911.79	c #Conflicts:     526000 | #Constraints:      52810
909.19/911.79	c #Conflicts:     527000 | #Constraints:      53810
909.19/911.79	c #Conflicts:     528000 | #Constraints:      54810
909.19/911.79	c #Conflicts:     529000 | #Constraints:      55810
909.19/911.79	c #Conflicts:     530000 | #Constraints:      56810
909.19/911.79	c #Conflicts:     531000 | #Constraints:      57810
909.19/911.79	c INPROCESSING
909.19/911.79	c GARBAGE COLLECT
909.19/911.79	c #Conflicts:     532000 | #Constraints:      44400
909.19/911.79	c #Conflicts:     533000 | #Constraints:      45400
909.19/911.79	c #Conflicts:     534000 | #Constraints:      46400
909.19/911.79	c #Conflicts:     535000 | #Constraints:      47400
909.19/911.79	c #Conflicts:     536000 | #Constraints:      48400
909.19/911.79	c #Conflicts:     537000 | #Constraints:      49400
909.19/911.79	c #Conflicts:     538000 | #Constraints:      50400
909.19/911.79	c #Conflicts:     539000 | #Constraints:      51400
909.19/911.79	c #Conflicts:     540000 | #Constraints:      52400
909.19/911.79	c #Conflicts:     541000 | #Constraints:      53400
909.19/911.79	c #Conflicts:     542000 | #Constraints:      54400
909.19/911.79	c #Conflicts:     543000 | #Constraints:      55400
909.19/911.79	c #Conflicts:     544000 | #Constraints:      56400
909.19/911.79	c #Conflicts:     545000 | #Constraints:      57400
909.19/911.79	c #Conflicts:     546000 | #Constraints:      58400
909.19/911.79	c INPROCESSING
909.19/911.79	c GARBAGE COLLECT
909.19/911.79	c #Conflicts:     547000 | #Constraints:      44801
909.19/911.79	c #Conflicts:     548000 | #Constraints:      45801
909.19/911.79	c #Conflicts:     549000 | #Constraints:      46801
909.19/911.79	c #Conflicts:     550000 | #Constraints:      47801
909.19/911.79	c #Conflicts:     551000 | #Constraints:      48801
909.19/911.79	c #Conflicts:     552000 | #Constraints:      49801
909.19/911.79	c #Conflicts:     553000 | #Constraints:      50801
909.19/911.79	c #Conflicts:     554000 | #Constraints:      51801
909.19/911.79	c #Conflicts:     555000 | #Constraints:      52801
909.19/911.79	c #Conflicts:     556000 | #Constraints:      53801
909.19/911.79	c #Conflicts:     557000 | #Constraints:      54801
909.19/911.79	c #Conflicts:     558000 | #Constraints:      55801
909.19/911.79	c #Conflicts:     559000 | #Constraints:      56801
909.19/911.79	c #Conflicts:     560000 | #Constraints:      57801
909.19/911.79	c #Conflicts:     561000 | #Constraints:      58801
909.19/911.79	c INPROCESSING
909.19/911.79	c GARBAGE COLLECT
909.19/911.79	c #Conflicts:     562000 | #Constraints:      44998
909.19/911.79	c #Conflicts:     563000 | #Constraints:      45998
909.19/911.79	c #Conflicts:     564000 | #Constraints:      46998
909.19/911.79	c #Conflicts:     565000 | #Constraints:      47998
909.19/911.79	c #Conflicts:     566000 | #Constraints:      48998
909.19/911.79	c #Conflicts:     567000 | #Constraints:      49998
909.19/911.79	c #Conflicts:     568000 | #Constraints:      50998
909.19/911.79	c #Conflicts:     569000 | #Constraints:      51998
909.19/911.79	c #Conflicts:     570000 | #Constraints:      52998
909.19/911.79	c #Conflicts:     571000 | #Constraints:      53998
909.19/911.79	c #Conflicts:     572000 | #Constraints:      54998
909.19/911.79	c #Conflicts:     573000 | #Constraints:      55998
909.19/911.79	c #Conflicts:     574000 | #Constraints:      56998
909.19/911.79	c #Conflicts:     575000 | #Constraints:      57998
909.19/911.79	c #Conflicts:     576000 | #Constraints:      58998
909.19/911.79	c INPROCESSING
909.19/911.79	c GARBAGE COLLECT
909.19/911.79	c #Conflicts:     577000 | #Constraints:      44998
909.19/911.79	c #Conflicts:     578000 | #Constraints:      45998
909.19/911.79	c #Conflicts:     579000 | #Constraints:      46998
909.19/911.79	c #Conflicts:     580000 | #Constraints:      47998
909.19/911.79	c #Conflicts:     581000 | #Constraints:      48998
909.19/911.79	c #Conflicts:     582000 | #Constraints:      49998
909.19/911.79	c #Conflicts:     583000 | #Constraints:      50998
909.19/911.79	c #Conflicts:     584000 | #Constraints:      51998
909.19/911.79	c bounds 405 >= 43 @ 903.791
909.19/911.79	c stratification level: 42
1080.98/1084.03	c #Conflicts:     585000 | #Constraints:      52999
1080.98/1084.03	c #Conflicts:     586000 | #Constraints:      53999
1080.98/1084.03	c #Conflicts:     587000 | #Constraints:      54999
1080.98/1084.03	c #Conflicts:     588000 | #Constraints:      55999
1080.98/1084.03	c #Conflicts:     589000 | #Constraints:      56999
1080.98/1084.03	c #Conflicts:     590000 | #Constraints:      57999
1080.98/1084.03	c #Conflicts:     591000 | #Constraints:      58999
1080.98/1084.03	c INPROCESSING
1080.98/1084.03	c GARBAGE COLLECT
1080.98/1084.03	c #Conflicts:     592000 | #Constraints:      44794
1080.98/1084.03	c #Conflicts:     593000 | #Constraints:      45794
1080.98/1084.03	c #Conflicts:     594000 | #Constraints:      46794
1080.98/1084.03	c #Conflicts:     595000 | #Constraints:      47794
1080.98/1084.03	c #Conflicts:     596000 | #Constraints:      48794
1080.98/1084.03	c #Conflicts:     597000 | #Constraints:      49794
1080.98/1084.03	c #Conflicts:     598000 | #Constraints:      50794
1080.98/1084.03	c #Conflicts:     599000 | #Constraints:      51794
1080.98/1084.03	c #Conflicts:     600000 | #Constraints:      52794
1080.98/1084.03	c #Conflicts:     601000 | #Constraints:      53794
1080.98/1084.03	c #Conflicts:     602000 | #Constraints:      54794
1080.98/1084.03	c #Conflicts:     603000 | #Constraints:      55794
1080.98/1084.03	c #Conflicts:     604000 | #Constraints:      56794
1080.98/1084.03	c #Conflicts:     605000 | #Constraints:      57794
1080.98/1084.03	c #Conflicts:     606000 | #Constraints:      58794
1080.98/1084.03	c #Conflicts:     607000 | #Constraints:      59794
1080.98/1084.03	c INPROCESSING
1080.98/1084.03	c GARBAGE COLLECT
1080.98/1084.03	c #Conflicts:     608000 | #Constraints:      45398
1080.98/1084.03	c #Conflicts:     609000 | #Constraints:      46398
1080.98/1084.03	c #Conflicts:     610000 | #Constraints:      47398
1080.98/1084.03	c #Conflicts:     611000 | #Constraints:      48398
1080.98/1084.03	c #Conflicts:     612000 | #Constraints:      49398
1080.98/1084.03	c #Conflicts:     613000 | #Constraints:      50398
1080.98/1084.03	c #Conflicts:     614000 | #Constraints:      51398
1080.98/1084.03	c #Conflicts:     615000 | #Constraints:      52398
1080.98/1084.03	c #Conflicts:     616000 | #Constraints:      53398
1080.98/1084.03	c #Conflicts:     617000 | #Constraints:      54398
1080.98/1084.03	c #Conflicts:     618000 | #Constraints:      55398
1080.98/1084.03	c #Conflicts:     619000 | #Constraints:      56398
1080.98/1084.03	c #Conflicts:     620000 | #Constraints:      57398
1080.98/1084.03	c #Conflicts:     621000 | #Constraints:      58398
1080.98/1084.03	c #Conflicts:     622000 | #Constraints:      59398
1080.98/1084.03	c #Conflicts:     623000 | #Constraints:      60398
1080.98/1084.03	c INPROCESSING
1080.98/1084.03	c GARBAGE COLLECT
1080.98/1084.03	c #Conflicts:     624000 | #Constraints:      45801
1080.98/1084.03	c #Conflicts:     625000 | #Constraints:      46801
1080.98/1084.03	c #Conflicts:     626000 | #Constraints:      47801
1080.98/1084.03	c #Conflicts:     627000 | #Constraints:      48801
1080.98/1084.03	c #Conflicts:     628000 | #Constraints:      49801
1080.98/1084.03	c #Conflicts:     629000 | #Constraints:      50801
1080.98/1084.03	c #Conflicts:     630000 | #Constraints:      51801
1080.98/1084.03	c #Conflicts:     631000 | #Constraints:      52801
1080.98/1084.03	c #Conflicts:     632000 | #Constraints:      53801
1080.98/1084.03	c #Conflicts:     633000 | #Constraints:      54801
1080.98/1084.03	c #Conflicts:     634000 | #Constraints:      55801
1080.98/1084.03	c #Conflicts:     635000 | #Constraints:      56801
1080.98/1084.03	c #Conflicts:     636000 | #Constraints:      57801
1080.98/1084.03	c #Conflicts:     637000 | #Constraints:      58801
1080.98/1084.03	c #Conflicts:     638000 | #Constraints:      59801
1080.98/1084.03	c #Conflicts:     639000 | #Constraints:      60801
1080.98/1084.03	c INPROCESSING
1080.98/1084.03	c GARBAGE COLLECT
1080.98/1084.03	c #Conflicts:     640000 | #Constraints:      46001
1080.98/1084.03	c #Conflicts:     641000 | #Constraints:      47001
1080.98/1084.03	c #Conflicts:     642000 | #Constraints:      48001
1080.98/1084.03	c #Conflicts:     643000 | #Constraints:      49001
1080.98/1084.03	c #Conflicts:     644000 | #Constraints:      50001
1080.98/1084.03	c #Conflicts:     645000 | #Constraints:      51001
1080.98/1084.03	c #Conflicts:     646000 | #Constraints:      52001
1080.98/1084.03	c #Conflicts:     647000 | #Constraints:      53001
1080.98/1084.03	c #Conflicts:     648000 | #Constraints:      54001
1080.98/1084.03	c #Conflicts:     649000 | #Constraints:      55001
1080.98/1084.03	c #Conflicts:     650000 | #Constraints:      56001
1080.98/1084.03	c #Conflicts:     651000 | #Constraints:      57001
1080.98/1084.03	c #Conflicts:     652000 | #Constraints:      58001
1080.98/1084.03	c #Conflicts:     653000 | #Constraints:      59001
1080.98/1084.03	c #Conflicts:     654000 | #Constraints:      60001
1080.98/1084.03	c #Conflicts:     655000 | #Constraints:      61001
1080.98/1084.03	c INPROCESSING
1080.98/1084.03	c GARBAGE COLLECT
1080.98/1084.03	c #Conflicts:     656000 | #Constraints:      46008
1080.98/1084.03	c #Conflicts:     657000 | #Constraints:      47008
1080.98/1084.03	c #Conflicts:     658000 | #Constraints:      48008
1080.98/1084.03	c #Conflicts:     659000 | #Constraints:      49008
1080.98/1084.03	c #Conflicts:     660000 | #Constraints:      50008
1269.79/1273.46	c #Conflicts:     661000 | #Constraints:      51008
1269.79/1273.46	c #Conflicts:     662000 | #Constraints:      52008
1269.79/1273.46	c #Conflicts:     663000 | #Constraints:      53008
1269.79/1273.46	c #Conflicts:     664000 | #Constraints:      54008
1269.79/1273.46	c #Conflicts:     665000 | #Constraints:      55008
1269.79/1273.46	c #Conflicts:     666000 | #Constraints:      56008
1269.79/1273.46	c #Conflicts:     667000 | #Constraints:      57008
1269.79/1273.46	c #Conflicts:     668000 | #Constraints:      58008
1269.79/1273.46	c #Conflicts:     669000 | #Constraints:      59008
1269.79/1273.46	c #Conflicts:     670000 | #Constraints:      60008
1269.79/1273.46	c #Conflicts:     671000 | #Constraints:      61008
1269.79/1273.46	c INPROCESSING
1269.79/1273.46	c GARBAGE COLLECT
1269.79/1273.46	c #Conflicts:     672000 | #Constraints:      45801
1269.79/1273.46	c #Conflicts:     673000 | #Constraints:      46801
1269.79/1273.46	c #Conflicts:     674000 | #Constraints:      47801
1269.79/1273.46	c #Conflicts:     675000 | #Constraints:      48801
1269.79/1273.46	c #Conflicts:     676000 | #Constraints:      49801
1269.79/1273.46	c #Conflicts:     677000 | #Constraints:      50801
1269.79/1273.46	c #Conflicts:     678000 | #Constraints:      51801
1269.79/1273.46	c #Conflicts:     679000 | #Constraints:      52801
1269.79/1273.46	c #Conflicts:     680000 | #Constraints:      53801
1269.79/1273.46	c #Conflicts:     681000 | #Constraints:      54801
1269.79/1273.46	c #Conflicts:     682000 | #Constraints:      55801
1269.79/1273.46	c #Conflicts:     683000 | #Constraints:      56801
1269.79/1273.46	c #Conflicts:     684000 | #Constraints:      57801
1269.79/1273.46	c #Conflicts:     685000 | #Constraints:      58801
1269.79/1273.46	c #Conflicts:     686000 | #Constraints:      59801
1269.79/1273.46	c #Conflicts:     687000 | #Constraints:      60801
1269.79/1273.46	c #Conflicts:     688000 | #Constraints:      61801
1269.79/1273.46	c INPROCESSING
1269.79/1273.46	c GARBAGE COLLECT
1269.79/1273.46	c #Conflicts:     689000 | #Constraints:      46393
1269.79/1273.46	c #Conflicts:     690000 | #Constraints:      47393
1269.79/1273.46	c #Conflicts:     691000 | #Constraints:      48393
1269.79/1273.46	c #Conflicts:     692000 | #Constraints:      49393
1269.79/1273.46	c #Conflicts:     693000 | #Constraints:      50393
1269.79/1273.46	c #Conflicts:     694000 | #Constraints:      51393
1269.79/1273.46	c #Conflicts:     695000 | #Constraints:      52393
1269.79/1273.46	c #Conflicts:     696000 | #Constraints:      53393
1269.79/1273.46	c #Conflicts:     697000 | #Constraints:      54393
1269.79/1273.46	c #Conflicts:     698000 | #Constraints:      55393
1269.79/1273.46	c #Conflicts:     699000 | #Constraints:      56393
1269.79/1273.46	c #Conflicts:     700000 | #Constraints:      57393
1269.79/1273.46	c #Conflicts:     701000 | #Constraints:      58393
1269.79/1273.46	c #Conflicts:     702000 | #Constraints:      59393
1269.79/1273.46	c #Conflicts:     703000 | #Constraints:      60393
1269.79/1273.46	c #Conflicts:     704000 | #Constraints:      61393
1269.79/1273.46	c #Conflicts:     705000 | #Constraints:      62393
1269.79/1273.46	c INPROCESSING
1269.79/1273.46	c GARBAGE COLLECT
1269.79/1273.46	c #Conflicts:     706000 | #Constraints:      46796
1269.79/1273.46	c #Conflicts:     707000 | #Constraints:      47796
1269.79/1273.46	c #Conflicts:     708000 | #Constraints:      48796
1269.79/1273.46	c #Conflicts:     709000 | #Constraints:      49796
1269.79/1273.46	c #Conflicts:     710000 | #Constraints:      50796
1269.79/1273.46	c #Conflicts:     711000 | #Constraints:      51796
1269.79/1273.46	c #Conflicts:     712000 | #Constraints:      52796
1269.79/1273.46	c #Conflicts:     713000 | #Constraints:      53796
1269.79/1273.46	c #Conflicts:     714000 | #Constraints:      54796
1269.79/1273.46	c #Conflicts:     715000 | #Constraints:      55796
1269.79/1273.46	c #Conflicts:     716000 | #Constraints:      56796
1269.79/1273.46	c #Conflicts:     717000 | #Constraints:      57796
1269.79/1273.46	c #Conflicts:     718000 | #Constraints:      58796
1269.79/1273.46	c #Conflicts:     719000 | #Constraints:      59796
1269.79/1273.46	c #Conflicts:     720000 | #Constraints:      60796
1269.79/1273.46	c #Conflicts:     721000 | #Constraints:      61796
1269.79/1273.46	c #Conflicts:     722000 | #Constraints:      62796
1269.79/1273.46	c INPROCESSING
1269.79/1273.46	c GARBAGE COLLECT
1269.79/1273.46	c #Conflicts:     723000 | #Constraints:      46999
1269.79/1273.46	c #Conflicts:     724000 | #Constraints:      47999
1269.79/1273.46	c #Conflicts:     725000 | #Constraints:      48999
1269.79/1273.46	c #Conflicts:     726000 | #Constraints:      49999
1269.79/1273.46	c #Conflicts:     727000 | #Constraints:      50999
1269.79/1273.46	c #Conflicts:     728000 | #Constraints:      51999
1269.79/1273.46	c #Conflicts:     729000 | #Constraints:      52999
1269.79/1273.46	c #Conflicts:     730000 | #Constraints:      53999
1269.79/1273.46	c #Conflicts:     731000 | #Constraints:      54999
1269.79/1273.46	c #Conflicts:     732000 | #Constraints:      55999
1269.79/1273.46	c #Conflicts:     733000 | #Constraints:      56999
1269.79/1273.46	c #Conflicts:     734000 | #Constraints:      57999
1269.79/1273.46	c #Conflicts:     735000 | #Constraints:      58999
1269.79/1273.46	c #Conflicts:     736000 | #Constraints:      59999
1483.51/1487.84	c #Conflicts:     737000 | #Constraints:      60999
1483.51/1487.84	c #Conflicts:     738000 | #Constraints:      61999
1483.51/1487.84	c #Conflicts:     739000 | #Constraints:      62999
1483.51/1487.84	c INPROCESSING
1483.51/1487.84	c GARBAGE COLLECT
1483.51/1487.84	c #Conflicts:     740000 | #Constraints:      46997
1483.51/1487.84	c #Conflicts:     741000 | #Constraints:      47997
1483.51/1487.84	c #Conflicts:     742000 | #Constraints:      48997
1483.51/1487.84	c #Conflicts:     743000 | #Constraints:      49997
1483.51/1487.84	c #Conflicts:     744000 | #Constraints:      50997
1483.51/1487.84	c #Conflicts:     745000 | #Constraints:      51997
1483.51/1487.84	c #Conflicts:     746000 | #Constraints:      52997
1483.51/1487.84	c #Conflicts:     747000 | #Constraints:      53997
1483.51/1487.84	c #Conflicts:     748000 | #Constraints:      54997
1483.51/1487.84	c #Conflicts:     749000 | #Constraints:      55997
1483.51/1487.84	c #Conflicts:     750000 | #Constraints:      56997
1483.51/1487.84	c #Conflicts:     751000 | #Constraints:      57997
1483.51/1487.84	c #Conflicts:     752000 | #Constraints:      58997
1483.51/1487.84	c #Conflicts:     753000 | #Constraints:      59997
1483.51/1487.84	c #Conflicts:     754000 | #Constraints:      60997
1483.51/1487.84	c #Conflicts:     755000 | #Constraints:      61997
1483.51/1487.84	c #Conflicts:     756000 | #Constraints:      62997
1483.51/1487.84	c INPROCESSING
1483.51/1487.84	c GARBAGE COLLECT
1483.51/1487.84	c #Conflicts:     757000 | #Constraints:      46805
1483.51/1487.84	c #Conflicts:     758000 | #Constraints:      47805
1483.51/1487.84	c #Conflicts:     759000 | #Constraints:      48805
1483.51/1487.84	c #Conflicts:     760000 | #Constraints:      49805
1483.51/1487.84	c #Conflicts:     761000 | #Constraints:      50805
1483.51/1487.84	c #Conflicts:     762000 | #Constraints:      51805
1483.51/1487.84	c #Conflicts:     763000 | #Constraints:      52805
1483.51/1487.84	c #Conflicts:     764000 | #Constraints:      53805
1483.51/1487.84	c #Conflicts:     765000 | #Constraints:      54805
1483.51/1487.84	c #Conflicts:     766000 | #Constraints:      55805
1483.51/1487.84	c #Conflicts:     767000 | #Constraints:      56805
1483.51/1487.84	c #Conflicts:     768000 | #Constraints:      57805
1483.51/1487.84	c #Conflicts:     769000 | #Constraints:      58805
1483.51/1487.84	c #Conflicts:     770000 | #Constraints:      59805
1483.51/1487.84	c #Conflicts:     771000 | #Constraints:      60805
1483.51/1487.84	c #Conflicts:     772000 | #Constraints:      61805
1483.51/1487.84	c #Conflicts:     773000 | #Constraints:      62805
1483.51/1487.84	c #Conflicts:     774000 | #Constraints:      63805
1483.51/1487.84	c INPROCESSING
1483.51/1487.84	c GARBAGE COLLECT
1483.51/1487.84	c #Conflicts:     775000 | #Constraints:      47397
1483.51/1487.84	c #Conflicts:     776000 | #Constraints:      48397
1483.51/1487.84	c #Conflicts:     777000 | #Constraints:      49397
1483.51/1487.84	c #Conflicts:     778000 | #Constraints:      50397
1483.51/1487.84	c #Conflicts:     779000 | #Constraints:      51397
1483.51/1487.84	c #Conflicts:     780000 | #Constraints:      52397
1483.51/1487.84	c #Conflicts:     781000 | #Constraints:      53397
1483.51/1487.84	c #Conflicts:     782000 | #Constraints:      54397
1483.51/1487.84	c #Conflicts:     783000 | #Constraints:      55397
1483.51/1487.84	c #Conflicts:     784000 | #Constraints:      56397
1483.51/1487.84	c #Conflicts:     785000 | #Constraints:      57397
1483.51/1487.84	c #Conflicts:     786000 | #Constraints:      58397
1483.51/1487.84	c #Conflicts:     787000 | #Constraints:      59397
1483.51/1487.84	c #Conflicts:     788000 | #Constraints:      60397
1483.51/1487.84	c #Conflicts:     789000 | #Constraints:      61397
1483.51/1487.84	c #Conflicts:     790000 | #Constraints:      62397
1483.51/1487.84	c #Conflicts:     791000 | #Constraints:      63397
1483.51/1487.84	c #Conflicts:     792000 | #Constraints:      64397
1483.51/1487.84	c INPROCESSING
1483.51/1487.84	c GARBAGE COLLECT
1483.51/1487.84	c #Conflicts:     793000 | #Constraints:      47795
1483.51/1487.84	c #Conflicts:     794000 | #Constraints:      48795
1483.51/1487.84	c #Conflicts:     795000 | #Constraints:      49795
1483.51/1487.84	c #Conflicts:     796000 | #Constraints:      50795
1483.51/1487.84	c #Conflicts:     797000 | #Constraints:      51795
1483.51/1487.84	c #Conflicts:     798000 | #Constraints:      52795
1483.51/1487.84	c #Conflicts:     799000 | #Constraints:      53795
1483.51/1487.84	c #Conflicts:     800000 | #Constraints:      54795
1483.51/1487.84	c #Conflicts:     801000 | #Constraints:      55795
1483.51/1487.84	c #Conflicts:     802000 | #Constraints:      56795
1483.51/1487.84	c #Conflicts:     803000 | #Constraints:      57795
1483.51/1487.84	c #Conflicts:     804000 | #Constraints:      58795
1483.51/1487.84	c #Conflicts:     805000 | #Constraints:      59795
1483.51/1487.84	c #Conflicts:     806000 | #Constraints:      60795
1483.51/1487.84	c #Conflicts:     807000 | #Constraints:      61795
1483.51/1487.84	c #Conflicts:     808000 | #Constraints:      62795
1483.51/1487.84	c #Conflicts:     809000 | #Constraints:      63795
1483.51/1487.84	c #Conflicts:     810000 | #Constraints:      64795
1483.51/1487.84	c INPROCESSING
1483.51/1487.84	c GARBAGE COLLECT
1483.51/1487.84	c #Conflicts:     811000 | #Constraints:      48001
1483.51/1487.84	c #Conflicts:     812000 | #Constraints:      49001
1695.49/1700.46	c #Conflicts:     813000 | #Constraints:      50001
1695.49/1700.46	c #Conflicts:     814000 | #Constraints:      51001
1695.49/1700.46	c #Conflicts:     815000 | #Constraints:      52001
1695.49/1700.46	c #Conflicts:     816000 | #Constraints:      53001
1695.49/1700.46	c #Conflicts:     817000 | #Constraints:      54001
1695.49/1700.46	c #Conflicts:     818000 | #Constraints:      55001
1695.49/1700.46	c #Conflicts:     819000 | #Constraints:      56001
1695.49/1700.46	c #Conflicts:     820000 | #Constraints:      57001
1695.49/1700.46	c #Conflicts:     821000 | #Constraints:      58001
1695.49/1700.46	c #Conflicts:     822000 | #Constraints:      59001
1695.49/1700.46	c #Conflicts:     823000 | #Constraints:      60001
1695.49/1700.46	c #Conflicts:     824000 | #Constraints:      61001
1695.49/1700.46	c #Conflicts:     825000 | #Constraints:      62001
1695.49/1700.46	c #Conflicts:     826000 | #Constraints:      63001
1695.49/1700.46	c #Conflicts:     827000 | #Constraints:      64001
1695.49/1700.46	c #Conflicts:     828000 | #Constraints:      65001
1695.49/1700.46	c INPROCESSING
1695.49/1700.46	c GARBAGE COLLECT
1695.49/1700.46	c #Conflicts:     829000 | #Constraints:      47995
1695.49/1700.46	c #Conflicts:     830000 | #Constraints:      48995
1695.49/1700.46	c #Conflicts:     831000 | #Constraints:      49995
1695.49/1700.46	c #Conflicts:     832000 | #Constraints:      50995
1695.49/1700.46	c #Conflicts:     833000 | #Constraints:      51995
1695.49/1700.46	c #Conflicts:     834000 | #Constraints:      52995
1695.49/1700.46	c #Conflicts:     835000 | #Constraints:      53995
1695.49/1700.46	c #Conflicts:     836000 | #Constraints:      54995
1695.49/1700.46	c #Conflicts:     837000 | #Constraints:      55995
1695.49/1700.46	c #Conflicts:     838000 | #Constraints:      56995
1695.49/1700.46	c #Conflicts:     839000 | #Constraints:      57995
1695.49/1700.46	c #Conflicts:     840000 | #Constraints:      58995
1695.49/1700.46	c #Conflicts:     841000 | #Constraints:      59995
1695.49/1700.46	c #Conflicts:     842000 | #Constraints:      60995
1695.49/1700.46	c #Conflicts:     843000 | #Constraints:      61995
1695.49/1700.46	c #Conflicts:     844000 | #Constraints:      62995
1695.49/1700.46	c #Conflicts:     845000 | #Constraints:      63995
1695.49/1700.46	c #Conflicts:     846000 | #Constraints:      64995
1695.49/1700.46	c INPROCESSING
1695.49/1700.46	c GARBAGE COLLECT
1695.49/1700.46	c #Conflicts:     847000 | #Constraints:      47792
1695.49/1700.46	c #Conflicts:     848000 | #Constraints:      48792
1695.49/1700.46	c #Conflicts:     849000 | #Constraints:      49792
1695.49/1700.46	c #Conflicts:     850000 | #Constraints:      50792
1695.49/1700.46	c #Conflicts:     851000 | #Constraints:      51792
1695.49/1700.46	c #Conflicts:     852000 | #Constraints:      52792
1695.49/1700.46	c #Conflicts:     853000 | #Constraints:      53792
1695.49/1700.46	c #Conflicts:     854000 | #Constraints:      54792
1695.49/1700.46	c #Conflicts:     855000 | #Constraints:      55792
1695.49/1700.46	c #Conflicts:     856000 | #Constraints:      56792
1695.49/1700.46	c #Conflicts:     857000 | #Constraints:      57792
1695.49/1700.46	c #Conflicts:     858000 | #Constraints:      58792
1695.49/1700.46	c #Conflicts:     859000 | #Constraints:      59792
1695.49/1700.46	c #Conflicts:     860000 | #Constraints:      60792
1695.49/1700.46	c #Conflicts:     861000 | #Constraints:      61792
1695.49/1700.46	c #Conflicts:     862000 | #Constraints:      62792
1695.49/1700.46	c #Conflicts:     863000 | #Constraints:      63792
1695.49/1700.46	c #Conflicts:     864000 | #Constraints:      64792
1695.49/1700.46	c #Conflicts:     865000 | #Constraints:      65792
1695.49/1700.46	c INPROCESSING
1695.49/1700.46	c GARBAGE COLLECT
1695.49/1700.46	c #Conflicts:     866000 | #Constraints:      48377
1695.49/1700.46	c #Conflicts:     867000 | #Constraints:      49377
1695.49/1700.46	c #Conflicts:     868000 | #Constraints:      50377
1695.49/1700.46	c #Conflicts:     869000 | #Constraints:      51377
1695.49/1700.46	c #Conflicts:     870000 | #Constraints:      52377
1695.49/1700.46	c #Conflicts:     871000 | #Constraints:      53377
1695.49/1700.46	c #Conflicts:     872000 | #Constraints:      54377
1695.49/1700.46	c #Conflicts:     873000 | #Constraints:      55377
1695.49/1700.46	c #Conflicts:     874000 | #Constraints:      56377
1695.49/1700.46	c #Conflicts:     875000 | #Constraints:      57377
1695.49/1700.46	c #Conflicts:     876000 | #Constraints:      58377
1695.49/1700.46	c #Conflicts:     877000 | #Constraints:      59377
1695.49/1700.46	c #Conflicts:     878000 | #Constraints:      60377
1695.49/1700.46	c #Conflicts:     879000 | #Constraints:      61377
1695.49/1700.46	c #Conflicts:     880000 | #Constraints:      62377
1695.49/1700.46	c #Conflicts:     881000 | #Constraints:      63377
1695.49/1700.46	c #Conflicts:     882000 | #Constraints:      64377
1695.49/1700.46	c #Conflicts:     883000 | #Constraints:      65377
1695.49/1700.46	c #Conflicts:     884000 | #Constraints:      66377
1695.49/1700.46	c INPROCESSING
1695.49/1700.46	c GARBAGE COLLECT
1695.49/1700.46	c #Conflicts:     885000 | #Constraints:      48795
1695.49/1700.46	c #Conflicts:     886000 | #Constraints:      49795
1695.49/1700.46	c #Conflicts:     887000 | #Constraints:      50795
1695.49/1700.46	c #Conflicts:     888000 | #Constraints:      51795
1884.13/1889.57	c #Conflicts:     889000 | #Constraints:      52795
1884.13/1889.57	c #Conflicts:     890000 | #Constraints:      53795
1884.13/1889.57	c #Conflicts:     891000 | #Constraints:      54795
1884.13/1889.57	c #Conflicts:     892000 | #Constraints:      55795
1884.13/1889.57	c #Conflicts:     893000 | #Constraints:      56795
1884.13/1889.57	c #Conflicts:     894000 | #Constraints:      57795
1884.13/1889.57	c #Conflicts:     895000 | #Constraints:      58795
1884.13/1889.57	c #Conflicts:     896000 | #Constraints:      59795
1884.13/1889.57	c #Conflicts:     897000 | #Constraints:      60795
1884.13/1889.57	c #Conflicts:     898000 | #Constraints:      61795
1884.13/1889.57	c #Conflicts:     899000 | #Constraints:      62795
1884.13/1889.57	c #Conflicts:     900000 | #Constraints:      63795
1884.13/1889.57	c #Conflicts:     901000 | #Constraints:      64795
1884.13/1889.57	c #Conflicts:     902000 | #Constraints:      65795
1884.13/1889.57	c #Conflicts:     903000 | #Constraints:      66795
1884.13/1889.57	c INPROCESSING
1884.13/1889.57	c GARBAGE COLLECT
1884.13/1889.57	c #Conflicts:     904000 | #Constraints:      48998
1884.13/1889.57	c #Conflicts:     905000 | #Constraints:      49998
1884.13/1889.57	c #Conflicts:     906000 | #Constraints:      50998
1884.13/1889.57	c #Conflicts:     907000 | #Constraints:      51998
1884.13/1889.57	c #Conflicts:     908000 | #Constraints:      52998
1884.13/1889.57	c #Conflicts:     909000 | #Constraints:      53998
1884.13/1889.57	c #Conflicts:     910000 | #Constraints:      54998
1884.13/1889.57	c #Conflicts:     911000 | #Constraints:      55998
1884.13/1889.57	c #Conflicts:     912000 | #Constraints:      56998
1884.13/1889.57	c #Conflicts:     913000 | #Constraints:      57998
1884.13/1889.57	c #Conflicts:     914000 | #Constraints:      58998
1884.13/1889.57	c #Conflicts:     915000 | #Constraints:      59998
1884.13/1889.57	c #Conflicts:     916000 | #Constraints:      60998
1884.13/1889.57	c #Conflicts:     917000 | #Constraints:      61998
1884.13/1889.57	c #Conflicts:     918000 | #Constraints:      62998
1884.13/1889.57	c #Conflicts:     919000 | #Constraints:      63998
1884.13/1889.57	c #Conflicts:     920000 | #Constraints:      64998
1884.13/1889.57	c #Conflicts:     921000 | #Constraints:      65998
1884.13/1889.57	c #Conflicts:     922000 | #Constraints:      66998
1884.13/1889.57	c INPROCESSING
1884.13/1889.57	c GARBAGE COLLECT
1884.13/1889.57	c #Conflicts:     923000 | #Constraints:      48999
1884.13/1889.57	c #Conflicts:     924000 | #Constraints:      49999
1884.13/1889.57	c #Conflicts:     925000 | #Constraints:      50999
1884.13/1889.57	c #Conflicts:     926000 | #Constraints:      51999
1884.13/1889.57	c #Conflicts:     927000 | #Constraints:      52999
1884.13/1889.57	c #Conflicts:     928000 | #Constraints:      53999
1884.13/1889.57	c #Conflicts:     929000 | #Constraints:      54999
1884.13/1889.57	c #Conflicts:     930000 | #Constraints:      55999
1884.13/1889.57	c #Conflicts:     931000 | #Constraints:      56999
1884.13/1889.57	c #Conflicts:     932000 | #Constraints:      57999
1884.13/1889.57	c #Conflicts:     933000 | #Constraints:      58999
1884.13/1889.57	c #Conflicts:     934000 | #Constraints:      59999
1884.13/1889.57	c #Conflicts:     935000 | #Constraints:      60999
1884.13/1889.57	c #Conflicts:     936000 | #Constraints:      61999
1884.13/1889.57	c #Conflicts:     937000 | #Constraints:      62999
1884.13/1889.57	c #Conflicts:     938000 | #Constraints:      63999
1884.13/1889.57	c #Conflicts:     939000 | #Constraints:      64999
1884.13/1889.57	c #Conflicts:     940000 | #Constraints:      65999
1884.13/1889.57	c #Conflicts:     941000 | #Constraints:      66999
1884.13/1889.57	c INPROCESSING
1884.13/1889.57	c GARBAGE COLLECT
1884.13/1889.57	c #Conflicts:     942000 | #Constraints:      48790
1884.13/1889.57	c #Conflicts:     943000 | #Constraints:      49790
1884.13/1889.57	c #Conflicts:     944000 | #Constraints:      50790
1884.13/1889.57	c #Conflicts:     945000 | #Constraints:      51790
1884.13/1889.57	c #Conflicts:     946000 | #Constraints:      52790
1884.13/1889.57	c #Conflicts:     947000 | #Constraints:      53790
1884.13/1889.57	c #Conflicts:     948000 | #Constraints:      54790
1884.13/1889.57	c #Conflicts:     949000 | #Constraints:      55790
1884.13/1889.57	c #Conflicts:     950000 | #Constraints:      56790
1884.13/1889.57	c #Conflicts:     951000 | #Constraints:      57790
1884.13/1889.57	c #Conflicts:     952000 | #Constraints:      58790
1884.13/1889.57	c #Conflicts:     953000 | #Constraints:      59790
1884.13/1889.57	c #Conflicts:     954000 | #Constraints:      60790
1884.13/1889.57	c #Conflicts:     955000 | #Constraints:      61790
1884.13/1889.57	c #Conflicts:     956000 | #Constraints:      62790
1884.13/1889.57	c #Conflicts:     957000 | #Constraints:      63790
1884.13/1889.57	c #Conflicts:     958000 | #Constraints:      64790
1884.13/1889.57	c #Conflicts:     959000 | #Constraints:      65790
1884.13/1889.57	c #Conflicts:     960000 | #Constraints:      66790
1884.13/1889.57	c #Conflicts:     961000 | #Constraints:      67790
1884.13/1889.57	c INPROCESSING
1884.13/1889.57	c GARBAGE COLLECT
1884.13/1889.57	c #Conflicts:     962000 | #Constraints:      49401
1884.13/1889.57	c #Conflicts:     963000 | #Constraints:      50401
1884.13/1889.57	c #Conflicts:     964000 | #Constraints:      51401
2171.28/2177.37	c #Conflicts:     965000 | #Constraints:      52401
2171.28/2177.37	c #Conflicts:     966000 | #Constraints:      53401
2171.28/2177.37	c #Conflicts:     967000 | #Constraints:      54401
2171.28/2177.37	c #Conflicts:     968000 | #Constraints:      55401
2171.28/2177.37	c #Conflicts:     969000 | #Constraints:      56401
2171.28/2177.37	c #Conflicts:     970000 | #Constraints:      57401
2171.28/2177.37	c #Conflicts:     971000 | #Constraints:      58401
2171.28/2177.37	c #Conflicts:     972000 | #Constraints:      59401
2171.28/2177.37	c #Conflicts:     973000 | #Constraints:      60401
2171.28/2177.37	c #Conflicts:     974000 | #Constraints:      61401
2171.28/2177.37	c #Conflicts:     975000 | #Constraints:      62401
2171.28/2177.37	c #Conflicts:     976000 | #Constraints:      63401
2171.28/2177.37	c #Conflicts:     977000 | #Constraints:      64401
2171.28/2177.37	c #Conflicts:     978000 | #Constraints:      65401
2171.28/2177.37	c #Conflicts:     979000 | #Constraints:      66401
2171.28/2177.37	c #Conflicts:     980000 | #Constraints:      67401
2171.28/2177.37	c #Conflicts:     981000 | #Constraints:      68401
2171.28/2177.37	c INPROCESSING
2171.28/2177.37	c GARBAGE COLLECT
2171.28/2177.37	c #Conflicts:     982000 | #Constraints:      49797
2171.28/2177.37	c #Conflicts:     983000 | #Constraints:      50797
2171.28/2177.37	c #Conflicts:     984000 | #Constraints:      51797
2171.28/2177.37	c #Conflicts:     985000 | #Constraints:      52797
2171.28/2177.37	c #Conflicts:     986000 | #Constraints:      53797
2171.28/2177.37	c #Conflicts:     987000 | #Constraints:      54797
2171.28/2177.37	c #Conflicts:     988000 | #Constraints:      55797
2171.28/2177.37	c #Conflicts:     989000 | #Constraints:      56797
2171.28/2177.37	c #Conflicts:     990000 | #Constraints:      57797
2171.28/2177.37	c #Conflicts:     991000 | #Constraints:      58797
2171.28/2177.37	c #Conflicts:     992000 | #Constraints:      59797
2171.28/2177.37	c #Conflicts:     993000 | #Constraints:      60797
2171.28/2177.37	c #Conflicts:     994000 | #Constraints:      61797
2171.28/2177.37	c #Conflicts:     995000 | #Constraints:      62797
2171.28/2177.37	c #Conflicts:     996000 | #Constraints:      63797
2171.28/2177.37	c #Conflicts:     997000 | #Constraints:      64797
2171.28/2177.37	c #Conflicts:     998000 | #Constraints:      65797
2171.28/2177.37	c #Conflicts:     999000 | #Constraints:      66797
2171.28/2177.37	c #Conflicts:    1000000 | #Constraints:      67797
2171.28/2177.37	c #Conflicts:    1001000 | #Constraints:      68797
2171.28/2177.37	c INPROCESSING
2171.28/2177.37	c GARBAGE COLLECT
2171.28/2177.37	c #Conflicts:    1002000 | #Constraints:      50002
2171.28/2177.37	c #Conflicts:    1003000 | #Constraints:      51002
2171.28/2177.37	c #Conflicts:    1004000 | #Constraints:      52002
2171.28/2177.37	c #Conflicts:    1005000 | #Constraints:      53002
2171.28/2177.37	c #Conflicts:    1006000 | #Constraints:      54002
2171.28/2177.37	c #Conflicts:    1007000 | #Constraints:      55002
2171.28/2177.37	c #Conflicts:    1008000 | #Constraints:      56002
2171.28/2177.37	c #Conflicts:    1009000 | #Constraints:      57002
2171.28/2177.37	c #Conflicts:    1010000 | #Constraints:      58002
2171.28/2177.37	c #Conflicts:    1011000 | #Constraints:      59002
2171.28/2177.37	c #Conflicts:    1012000 | #Constraints:      60002
2171.28/2177.37	c #Conflicts:    1013000 | #Constraints:      61002
2171.28/2177.37	c #Conflicts:    1014000 | #Constraints:      62002
2171.28/2177.37	c #Conflicts:    1015000 | #Constraints:      63002
2171.28/2177.37	c #Conflicts:    1016000 | #Constraints:      64002
2171.28/2177.37	c #Conflicts:    1017000 | #Constraints:      65002
2171.28/2177.37	c #Conflicts:    1018000 | #Constraints:      66002
2171.28/2177.37	c #Conflicts:    1019000 | #Constraints:      67002
2171.28/2177.37	c #Conflicts:    1020000 | #Constraints:      68002
2171.28/2177.37	c #Conflicts:    1021000 | #Constraints:      69002
2171.28/2177.37	c INPROCESSING
2171.28/2177.37	c GARBAGE COLLECT
2171.28/2177.37	c #Conflicts:    1022000 | #Constraints:      49995
2171.28/2177.37	c #Conflicts:    1023000 | #Constraints:      50995
2171.28/2177.37	c #Conflicts:    1024000 | #Constraints:      51995
2171.28/2177.37	c #Conflicts:    1025000 | #Constraints:      52995
2171.28/2177.37	c #Conflicts:    1026000 | #Constraints:      53995
2171.28/2177.37	c #Conflicts:    1027000 | #Constraints:      54995
2171.28/2177.37	c #Conflicts:    1028000 | #Constraints:      55995
2171.28/2177.37	c #Conflicts:    1029000 | #Constraints:      56995
2171.28/2177.37	c #Conflicts:    1030000 | #Constraints:      57995
2171.28/2177.37	c #Conflicts:    1031000 | #Constraints:      58995
2171.28/2177.37	c #Conflicts:    1032000 | #Constraints:      59995
2171.28/2177.37	c #Conflicts:    1033000 | #Constraints:      60995
2171.28/2177.37	c #Conflicts:    1034000 | #Constraints:      61995
2171.28/2177.37	c #Conflicts:    1035000 | #Constraints:      62995
2171.28/2177.37	c #Conflicts:    1036000 | #Constraints:      63995
2171.28/2177.37	c #Conflicts:    1037000 | #Constraints:      64995
2171.28/2177.37	c #Conflicts:    1038000 | #Constraints:      65995
2171.28/2177.37	c #Conflicts:    1039000 | #Constraints:      66995
2171.28/2177.37	c #Conflicts:    1040000 | #Constraints:      67995
2171.28/2177.37	c #Conflicts:    1041000 | #Constraints:      68995
2393.26/2399.86	c INPROCESSING
2393.26/2399.86	c GARBAGE COLLECT
2393.26/2399.86	c #Conflicts:    1042000 | #Constraints:      49789
2393.26/2399.86	c #Conflicts:    1043000 | #Constraints:      50789
2393.26/2399.86	c #Conflicts:    1044000 | #Constraints:      51789
2393.26/2399.86	c #Conflicts:    1045000 | #Constraints:      52789
2393.26/2399.86	c #Conflicts:    1046000 | #Constraints:      53789
2393.26/2399.86	c #Conflicts:    1047000 | #Constraints:      54789
2393.26/2399.86	c #Conflicts:    1048000 | #Constraints:      55789
2393.26/2399.86	c #Conflicts:    1049000 | #Constraints:      56789
2393.26/2399.86	c #Conflicts:    1050000 | #Constraints:      57789
2393.26/2399.86	c #Conflicts:    1051000 | #Constraints:      58789
2393.26/2399.86	c #Conflicts:    1052000 | #Constraints:      59789
2393.26/2399.86	c #Conflicts:    1053000 | #Constraints:      60789
2393.26/2399.86	c #Conflicts:    1054000 | #Constraints:      61789
2393.26/2399.86	c #Conflicts:    1055000 | #Constraints:      62789
2393.26/2399.86	c #Conflicts:    1056000 | #Constraints:      63789
2393.26/2399.86	c #Conflicts:    1057000 | #Constraints:      64789
2393.26/2399.86	c #Conflicts:    1058000 | #Constraints:      65789
2393.26/2399.86	c #Conflicts:    1059000 | #Constraints:      66789
2393.26/2399.86	c #Conflicts:    1060000 | #Constraints:      67789
2393.26/2399.86	c #Conflicts:    1061000 | #Constraints:      68789
2393.26/2399.86	c #Conflicts:    1062000 | #Constraints:      69789
2393.26/2399.86	c INPROCESSING
2393.26/2399.86	c GARBAGE COLLECT
2393.26/2399.86	c #Conflicts:    1063000 | #Constraints:      50394
2393.26/2399.86	c #Conflicts:    1064000 | #Constraints:      51394
2393.26/2399.86	c #Conflicts:    1065000 | #Constraints:      52394
2393.26/2399.86	c #Conflicts:    1066000 | #Constraints:      53394
2393.26/2399.86	c #Conflicts:    1067000 | #Constraints:      54394
2393.26/2399.86	c #Conflicts:    1068000 | #Constraints:      55394
2393.26/2399.86	c #Conflicts:    1069000 | #Constraints:      56394
2393.26/2399.86	c #Conflicts:    1070000 | #Constraints:      57394
2393.26/2399.86	c #Conflicts:    1071000 | #Constraints:      58394
2393.26/2399.86	c #Conflicts:    1072000 | #Constraints:      59394
2393.26/2399.86	c #Conflicts:    1073000 | #Constraints:      60394
2393.26/2399.86	c #Conflicts:    1074000 | #Constraints:      61394
2393.26/2399.86	c #Conflicts:    1075000 | #Constraints:      62394
2393.26/2399.86	c #Conflicts:    1076000 | #Constraints:      63394
2393.26/2399.86	c #Conflicts:    1077000 | #Constraints:      64394
2393.26/2399.86	c #Conflicts:    1078000 | #Constraints:      65394
2393.26/2399.86	c #Conflicts:    1079000 | #Constraints:      66394
2393.26/2399.86	c #Conflicts:    1080000 | #Constraints:      67394
2393.26/2399.86	c #Conflicts:    1081000 | #Constraints:      68394
2393.26/2399.86	c #Conflicts:    1082000 | #Constraints:      69394
2393.26/2399.86	c #Conflicts:    1083000 | #Constraints:      70394
2393.26/2399.86	c INPROCESSING
2393.26/2399.86	c GARBAGE COLLECT
2393.26/2399.86	c #Conflicts:    1084000 | #Constraints:      50802
2393.26/2399.86	c #Conflicts:    1085000 | #Constraints:      51802
2393.26/2399.86	c #Conflicts:    1086000 | #Constraints:      52802
2393.26/2399.86	c #Conflicts:    1087000 | #Constraints:      53802
2393.26/2399.86	c #Conflicts:    1088000 | #Constraints:      54802
2393.26/2399.86	c #Conflicts:    1089000 | #Constraints:      55802
2393.26/2399.86	c #Conflicts:    1090000 | #Constraints:      56802
2393.26/2399.86	c #Conflicts:    1091000 | #Constraints:      57802
2393.26/2399.86	c #Conflicts:    1092000 | #Constraints:      58802
2393.26/2399.86	c #Conflicts:    1093000 | #Constraints:      59802
2393.26/2399.86	c #Conflicts:    1094000 | #Constraints:      60802
2393.26/2399.86	c #Conflicts:    1095000 | #Constraints:      61802
2393.26/2399.86	c #Conflicts:    1096000 | #Constraints:      62802
2393.26/2399.86	c #Conflicts:    1097000 | #Constraints:      63802
2393.26/2399.86	c #Conflicts:    1098000 | #Constraints:      64802
2393.26/2399.86	c #Conflicts:    1099000 | #Constraints:      65802
2393.26/2399.86	c #Conflicts:    1100000 | #Constraints:      66802
2393.26/2399.86	c #Conflicts:    1101000 | #Constraints:      67802
2393.26/2399.86	c #Conflicts:    1102000 | #Constraints:      68802
2393.26/2399.86	c #Conflicts:    1103000 | #Constraints:      69802
2393.26/2399.86	c #Conflicts:    1104000 | #Constraints:      70802
2393.26/2399.86	c INPROCESSING
2393.26/2399.86	c GARBAGE COLLECT
2393.26/2399.86	c #Conflicts:    1105000 | #Constraints:      51013
2393.26/2399.86	c bounds 404 >= 43 @ 2382.92
2393.26/2399.86	c stratification level: 41
2393.37/2399.90	c bounds 401 >= 43 @ 2382.96
2393.37/2399.90	c stratification level: 40
2623.84/2630.96	c #Conflicts:    1106000 | #Constraints:      52015
2623.84/2630.96	c #Conflicts:    1107000 | #Constraints:      53015
2623.84/2630.96	c #Conflicts:    1108000 | #Constraints:      54015
2623.84/2630.96	c #Conflicts:    1109000 | #Constraints:      55015
2623.84/2630.96	c #Conflicts:    1110000 | #Constraints:      56015
2623.84/2630.96	c #Conflicts:    1111000 | #Constraints:      57015
2623.84/2630.96	c #Conflicts:    1112000 | #Constraints:      58015
2623.84/2630.96	c #Conflicts:    1113000 | #Constraints:      59015
2623.84/2630.96	c #Conflicts:    1114000 | #Constraints:      60015
2623.84/2630.96	c #Conflicts:    1115000 | #Constraints:      61015
2623.84/2630.96	c #Conflicts:    1116000 | #Constraints:      62015
2623.84/2630.96	c #Conflicts:    1117000 | #Constraints:      63015
2623.84/2630.96	c #Conflicts:    1118000 | #Constraints:      64015
2623.84/2630.96	c #Conflicts:    1119000 | #Constraints:      65015
2623.84/2630.96	c #Conflicts:    1120000 | #Constraints:      66015
2623.84/2630.96	c #Conflicts:    1121000 | #Constraints:      67015
2623.84/2630.96	c #Conflicts:    1122000 | #Constraints:      68015
2623.84/2630.96	c #Conflicts:    1123000 | #Constraints:      69015
2623.84/2630.96	c #Conflicts:    1124000 | #Constraints:      70015
2623.84/2630.96	c #Conflicts:    1125000 | #Constraints:      71015
2623.84/2630.96	c INPROCESSING
2623.84/2630.96	c GARBAGE COLLECT
2623.84/2630.96	c #Conflicts:    1126000 | #Constraints:      51017
2623.84/2630.96	c #Conflicts:    1127000 | #Constraints:      52017
2623.84/2630.96	c #Conflicts:    1128000 | #Constraints:      53017
2623.84/2630.96	c #Conflicts:    1129000 | #Constraints:      54017
2623.84/2630.96	c #Conflicts:    1130000 | #Constraints:      55017
2623.84/2630.96	c #Conflicts:    1131000 | #Constraints:      56017
2623.84/2630.96	c #Conflicts:    1132000 | #Constraints:      57017
2623.84/2630.96	c #Conflicts:    1133000 | #Constraints:      58017
2623.84/2630.96	c #Conflicts:    1134000 | #Constraints:      59017
2623.84/2630.96	c #Conflicts:    1135000 | #Constraints:      60017
2623.84/2630.96	c #Conflicts:    1136000 | #Constraints:      61017
2623.84/2630.96	c #Conflicts:    1137000 | #Constraints:      62017
2623.84/2630.96	c #Conflicts:    1138000 | #Constraints:      63017
2623.84/2630.96	c #Conflicts:    1139000 | #Constraints:      64017
2623.84/2630.96	c #Conflicts:    1140000 | #Constraints:      65017
2623.84/2630.96	c #Conflicts:    1141000 | #Constraints:      66017
2623.84/2630.96	c #Conflicts:    1142000 | #Constraints:      67017
2623.84/2630.96	c #Conflicts:    1143000 | #Constraints:      68017
2623.84/2630.96	c #Conflicts:    1144000 | #Constraints:      69017
2623.84/2630.96	c #Conflicts:    1145000 | #Constraints:      70017
2623.84/2630.96	c #Conflicts:    1146000 | #Constraints:      71017
2623.84/2630.96	c INPROCESSING
2623.84/2630.96	c GARBAGE COLLECT
2623.84/2630.96	c #Conflicts:    1147000 | #Constraints:      50809
2623.84/2630.96	c #Conflicts:    1148000 | #Constraints:      51809
2623.84/2630.96	c #Conflicts:    1149000 | #Constraints:      52809
2623.84/2630.96	c #Conflicts:    1150000 | #Constraints:      53809
2623.84/2630.96	c #Conflicts:    1151000 | #Constraints:      54809
2623.84/2630.96	c #Conflicts:    1152000 | #Constraints:      55809
2623.84/2630.96	c #Conflicts:    1153000 | #Constraints:      56809
2623.84/2630.96	c #Conflicts:    1154000 | #Constraints:      57809
2623.84/2630.96	c #Conflicts:    1155000 | #Constraints:      58809
2623.84/2630.96	c #Conflicts:    1156000 | #Constraints:      59809
2623.84/2630.96	c #Conflicts:    1157000 | #Constraints:      60809
2623.84/2630.96	c #Conflicts:    1158000 | #Constraints:      61809
2623.84/2630.96	c #Conflicts:    1159000 | #Constraints:      62809
2623.84/2630.96	c #Conflicts:    1160000 | #Constraints:      63809
2623.84/2630.96	c #Conflicts:    1161000 | #Constraints:      64809
2623.84/2630.96	c #Conflicts:    1162000 | #Constraints:      65809
2623.84/2630.96	c #Conflicts:    1163000 | #Constraints:      66809
2623.84/2630.96	c #Conflicts:    1164000 | #Constraints:      67809
2623.84/2630.96	c #Conflicts:    1165000 | #Constraints:      68809
2623.84/2630.96	c #Conflicts:    1166000 | #Constraints:      69809
2623.84/2630.96	c #Conflicts:    1167000 | #Constraints:      70809
2623.84/2630.96	c #Conflicts:    1168000 | #Constraints:      71809
2623.84/2630.96	c INPROCESSING
2623.84/2630.96	c GARBAGE COLLECT
2623.84/2630.96	c #Conflicts:    1169000 | #Constraints:      51402
2623.84/2630.96	c #Conflicts:    1170000 | #Constraints:      52402
2623.84/2630.96	c #Conflicts:    1171000 | #Constraints:      53402
2623.84/2630.96	c #Conflicts:    1172000 | #Constraints:      54402
2623.84/2630.96	c #Conflicts:    1173000 | #Constraints:      55402
2623.84/2630.96	c #Conflicts:    1174000 | #Constraints:      56402
2623.84/2630.96	c #Conflicts:    1175000 | #Constraints:      57402
2623.84/2630.96	c #Conflicts:    1176000 | #Constraints:      58402
2623.84/2630.96	c #Conflicts:    1177000 | #Constraints:      59402
2623.84/2630.96	c #Conflicts:    1178000 | #Constraints:      60402
2623.84/2630.96	c #Conflicts:    1179000 | #Constraints:      61402
2623.84/2630.96	c #Conflicts:    1180000 | #Constraints:      62402
2623.84/2630.96	c #Conflicts:    1181000 | #Constraints:      63402
2623.84/2630.96	c #Conflicts:    1182000 | #Constraints:      64402
2860.53/2868.18	c #Conflicts:    1183000 | #Constraints:      65402
2860.53/2868.18	c #Conflicts:    1184000 | #Constraints:      66402
2860.53/2868.18	c #Conflicts:    1185000 | #Constraints:      67402
2860.53/2868.18	c #Conflicts:    1186000 | #Constraints:      68402
2860.53/2868.18	c #Conflicts:    1187000 | #Constraints:      69402
2860.53/2868.18	c #Conflicts:    1188000 | #Constraints:      70402
2860.53/2868.18	c #Conflicts:    1189000 | #Constraints:      71402
2860.53/2868.18	c #Conflicts:    1190000 | #Constraints:      72402
2860.53/2868.18	c INPROCESSING
2860.53/2868.18	c GARBAGE COLLECT
2860.53/2868.18	c #Conflicts:    1191000 | #Constraints:      51810
2860.53/2868.18	c #Conflicts:    1192000 | #Constraints:      52810
2860.53/2868.18	c #Conflicts:    1193000 | #Constraints:      53810
2860.53/2868.18	c #Conflicts:    1194000 | #Constraints:      54810
2860.53/2868.18	c #Conflicts:    1195000 | #Constraints:      55810
2860.53/2868.18	c #Conflicts:    1196000 | #Constraints:      56810
2860.53/2868.18	c #Conflicts:    1197000 | #Constraints:      57810
2860.53/2868.18	c #Conflicts:    1198000 | #Constraints:      58810
2860.53/2868.18	c #Conflicts:    1199000 | #Constraints:      59810
2860.53/2868.18	c #Conflicts:    1200000 | #Constraints:      60810
2860.53/2868.18	c #Conflicts:    1201000 | #Constraints:      61810
2860.53/2868.18	c #Conflicts:    1202000 | #Constraints:      62810
2860.53/2868.18	c #Conflicts:    1203000 | #Constraints:      63810
2860.53/2868.18	c #Conflicts:    1204000 | #Constraints:      64810
2860.53/2868.18	c #Conflicts:    1205000 | #Constraints:      65810
2860.53/2868.18	c #Conflicts:    1206000 | #Constraints:      66810
2860.53/2868.18	c #Conflicts:    1207000 | #Constraints:      67810
2860.53/2868.18	c #Conflicts:    1208000 | #Constraints:      68810
2860.53/2868.18	c #Conflicts:    1209000 | #Constraints:      69810
2860.53/2868.18	c #Conflicts:    1210000 | #Constraints:      70810
2860.53/2868.18	c #Conflicts:    1211000 | #Constraints:      71810
2860.53/2868.18	c #Conflicts:    1212000 | #Constraints:      72810
2860.53/2868.18	c INPROCESSING
2860.53/2868.18	c GARBAGE COLLECT
2860.53/2868.18	c #Conflicts:    1213000 | #Constraints:      52012
2860.53/2868.18	c #Conflicts:    1214000 | #Constraints:      53012
2860.53/2868.18	c #Conflicts:    1215000 | #Constraints:      54012
2860.53/2868.18	c #Conflicts:    1216000 | #Constraints:      55012
2860.53/2868.18	c #Conflicts:    1217000 | #Constraints:      56012
2860.53/2868.18	c #Conflicts:    1218000 | #Constraints:      57012
2860.53/2868.18	c #Conflicts:    1219000 | #Constraints:      58012
2860.53/2868.18	c #Conflicts:    1220000 | #Constraints:      59012
2860.53/2868.18	c #Conflicts:    1221000 | #Constraints:      60012
2860.53/2868.18	c #Conflicts:    1222000 | #Constraints:      61012
2860.53/2868.18	c #Conflicts:    1223000 | #Constraints:      62012
2860.53/2868.18	c #Conflicts:    1224000 | #Constraints:      63012
2860.53/2868.18	c #Conflicts:    1225000 | #Constraints:      64012
2860.53/2868.18	c #Conflicts:    1226000 | #Constraints:      65012
2860.53/2868.18	c #Conflicts:    1227000 | #Constraints:      66012
2860.53/2868.18	c #Conflicts:    1228000 | #Constraints:      67012
2860.53/2868.18	c #Conflicts:    1229000 | #Constraints:      68012
2860.53/2868.18	c #Conflicts:    1230000 | #Constraints:      69012
2860.53/2868.18	c #Conflicts:    1231000 | #Constraints:      70012
2860.53/2868.18	c #Conflicts:    1232000 | #Constraints:      71012
2860.53/2868.18	c #Conflicts:    1233000 | #Constraints:      72012
2860.53/2868.18	c #Conflicts:    1234000 | #Constraints:      73012
2860.53/2868.18	c INPROCESSING
2860.53/2868.18	c GARBAGE COLLECT
2860.53/2868.18	c #Conflicts:    1235000 | #Constraints:      52011
2860.53/2868.18	c #Conflicts:    1236000 | #Constraints:      53011
2860.53/2868.18	c #Conflicts:    1237000 | #Constraints:      54011
2860.53/2868.18	c #Conflicts:    1238000 | #Constraints:      55011
2860.53/2868.18	c #Conflicts:    1239000 | #Constraints:      56011
2860.53/2868.18	c #Conflicts:    1240000 | #Constraints:      57011
2860.53/2868.18	c #Conflicts:    1241000 | #Constraints:      58011
2860.53/2868.18	c #Conflicts:    1242000 | #Constraints:      59011
2860.53/2868.18	c #Conflicts:    1243000 | #Constraints:      60011
2860.53/2868.18	c #Conflicts:    1244000 | #Constraints:      61011
2860.53/2868.18	c #Conflicts:    1245000 | #Constraints:      62011
2860.53/2868.18	c #Conflicts:    1246000 | #Constraints:      63011
2860.53/2868.18	c #Conflicts:    1247000 | #Constraints:      64011
2860.53/2868.18	c #Conflicts:    1248000 | #Constraints:      65011
2860.53/2868.18	c #Conflicts:    1249000 | #Constraints:      66011
2860.53/2868.18	c #Conflicts:    1250000 | #Constraints:      67011
2860.53/2868.18	c #Conflicts:    1251000 | #Constraints:      68011
2860.53/2868.18	c #Conflicts:    1252000 | #Constraints:      69011
2860.53/2868.18	c #Conflicts:    1253000 | #Constraints:      70011
2860.53/2868.18	c #Conflicts:    1254000 | #Constraints:      71011
2860.53/2868.18	c #Conflicts:    1255000 | #Constraints:      72011
2860.53/2868.18	c #Conflicts:    1256000 | #Constraints:      73011
2860.53/2868.18	c INPROCESSING
2860.53/2868.18	c GARBAGE COLLECT
2860.53/2868.18	c #Conflicts:    1257000 | #Constraints:      51805
2860.53/2868.18	c #Conflicts:    1258000 | #Constraints:      52805
2860.53/2868.18	c #Conflicts:    1259000 | #Constraints:      53805
3091.40/3099.59	c #Conflicts:    1260000 | #Constraints:      54805
3091.40/3099.59	c #Conflicts:    1261000 | #Constraints:      55805
3091.40/3099.59	c #Conflicts:    1262000 | #Constraints:      56805
3091.40/3099.59	c #Conflicts:    1263000 | #Constraints:      57805
3091.40/3099.59	c #Conflicts:    1264000 | #Constraints:      58805
3091.40/3099.59	c #Conflicts:    1265000 | #Constraints:      59805
3091.40/3099.59	c #Conflicts:    1266000 | #Constraints:      60805
3091.40/3099.59	c #Conflicts:    1267000 | #Constraints:      61805
3091.40/3099.59	c #Conflicts:    1268000 | #Constraints:      62805
3091.40/3099.59	c #Conflicts:    1269000 | #Constraints:      63805
3091.40/3099.59	c #Conflicts:    1270000 | #Constraints:      64805
3091.40/3099.59	c #Conflicts:    1271000 | #Constraints:      65805
3091.40/3099.59	c #Conflicts:    1272000 | #Constraints:      66805
3091.40/3099.59	c #Conflicts:    1273000 | #Constraints:      67805
3091.40/3099.59	c #Conflicts:    1274000 | #Constraints:      68805
3091.40/3099.59	c #Conflicts:    1275000 | #Constraints:      69805
3091.40/3099.59	c #Conflicts:    1276000 | #Constraints:      70805
3091.40/3099.59	c #Conflicts:    1277000 | #Constraints:      71805
3091.40/3099.59	c #Conflicts:    1278000 | #Constraints:      72805
3091.40/3099.59	c #Conflicts:    1279000 | #Constraints:      73805
3091.40/3099.59	c INPROCESSING
3091.40/3099.59	c GARBAGE COLLECT
3091.40/3099.59	c #Conflicts:    1280000 | #Constraints:      52405
3091.40/3099.59	c #Conflicts:    1281000 | #Constraints:      53405
3091.40/3099.59	c #Conflicts:    1282000 | #Constraints:      54405
3091.40/3099.59	c #Conflicts:    1283000 | #Constraints:      55405
3091.40/3099.59	c #Conflicts:    1284000 | #Constraints:      56405
3091.40/3099.59	c #Conflicts:    1285000 | #Constraints:      57405
3091.40/3099.59	c #Conflicts:    1286000 | #Constraints:      58405
3091.40/3099.59	c #Conflicts:    1287000 | #Constraints:      59405
3091.40/3099.59	c #Conflicts:    1288000 | #Constraints:      60405
3091.40/3099.59	c #Conflicts:    1289000 | #Constraints:      61405
3091.40/3099.59	c #Conflicts:    1290000 | #Constraints:      62405
3091.40/3099.59	c #Conflicts:    1291000 | #Constraints:      63405
3091.40/3099.59	c #Conflicts:    1292000 | #Constraints:      64405
3091.40/3099.59	c #Conflicts:    1293000 | #Constraints:      65405
3091.40/3099.59	c #Conflicts:    1294000 | #Constraints:      66405
3091.40/3099.59	c #Conflicts:    1295000 | #Constraints:      67405
3091.40/3099.59	c #Conflicts:    1296000 | #Constraints:      68405
3091.40/3099.59	c #Conflicts:    1297000 | #Constraints:      69405
3091.40/3099.59	c #Conflicts:    1298000 | #Constraints:      70405
3091.40/3099.59	c #Conflicts:    1299000 | #Constraints:      71405
3091.40/3099.59	c #Conflicts:    1300000 | #Constraints:      72405
3091.40/3099.59	c #Conflicts:    1301000 | #Constraints:      73405
3091.40/3099.59	c #Conflicts:    1302000 | #Constraints:      74405
3091.40/3099.59	c INPROCESSING
3091.40/3099.59	c GARBAGE COLLECT
3091.40/3099.59	c #Conflicts:    1303000 | #Constraints:      52806
3091.40/3099.59	c #Conflicts:    1304000 | #Constraints:      53806
3091.40/3099.59	c #Conflicts:    1305000 | #Constraints:      54806
3091.40/3099.59	c #Conflicts:    1306000 | #Constraints:      55806
3091.40/3099.59	c #Conflicts:    1307000 | #Constraints:      56806
3091.40/3099.59	c #Conflicts:    1308000 | #Constraints:      57806
3091.40/3099.59	c #Conflicts:    1309000 | #Constraints:      58806
3091.40/3099.59	c #Conflicts:    1310000 | #Constraints:      59806
3091.40/3099.59	c #Conflicts:    1311000 | #Constraints:      60806
3091.40/3099.59	c #Conflicts:    1312000 | #Constraints:      61806
3091.40/3099.59	c #Conflicts:    1313000 | #Constraints:      62806
3091.40/3099.59	c #Conflicts:    1314000 | #Constraints:      63806
3091.40/3099.59	c #Conflicts:    1315000 | #Constraints:      64806
3091.40/3099.59	c #Conflicts:    1316000 | #Constraints:      65806
3091.40/3099.59	c #Conflicts:    1317000 | #Constraints:      66806
3091.40/3099.59	c #Conflicts:    1318000 | #Constraints:      67806
3091.40/3099.59	c #Conflicts:    1319000 | #Constraints:      68806
3091.40/3099.59	c #Conflicts:    1320000 | #Constraints:      69806
3091.40/3099.59	c #Conflicts:    1321000 | #Constraints:      70806
3091.40/3099.59	c #Conflicts:    1322000 | #Constraints:      71806
3091.40/3099.59	c #Conflicts:    1323000 | #Constraints:      72806
3091.40/3099.59	c #Conflicts:    1324000 | #Constraints:      73806
3091.40/3099.59	c #Conflicts:    1325000 | #Constraints:      74806
3091.40/3099.59	c INPROCESSING
3091.40/3099.59	c GARBAGE COLLECT
3091.40/3099.59	c #Conflicts:    1326000 | #Constraints:      53006
3091.40/3099.59	c #Conflicts:    1327000 | #Constraints:      54006
3091.40/3099.59	c #Conflicts:    1328000 | #Constraints:      55006
3091.40/3099.59	c #Conflicts:    1329000 | #Constraints:      56006
3091.40/3099.59	c #Conflicts:    1330000 | #Constraints:      57006
3091.40/3099.59	c #Conflicts:    1331000 | #Constraints:      58006
3091.40/3099.59	c #Conflicts:    1332000 | #Constraints:      59006
3091.40/3099.59	c #Conflicts:    1333000 | #Constraints:      60006
3091.40/3099.59	c #Conflicts:    1334000 | #Constraints:      61006
3091.40/3099.59	c #Conflicts:    1335000 | #Constraints:      62006
3354.21/3362.96	c #Conflicts:    1336000 | #Constraints:      63006
3354.21/3362.96	c #Conflicts:    1337000 | #Constraints:      64006
3354.21/3362.96	c #Conflicts:    1338000 | #Constraints:      65006
3354.21/3362.96	c #Conflicts:    1339000 | #Constraints:      66006
3354.21/3362.96	c #Conflicts:    1340000 | #Constraints:      67006
3354.21/3362.96	c #Conflicts:    1341000 | #Constraints:      68006
3354.21/3362.96	c #Conflicts:    1342000 | #Constraints:      69006
3354.21/3362.96	c #Conflicts:    1343000 | #Constraints:      70006
3354.21/3362.96	c #Conflicts:    1344000 | #Constraints:      71006
3354.21/3362.96	c #Conflicts:    1345000 | #Constraints:      72006
3354.21/3362.96	c #Conflicts:    1346000 | #Constraints:      73006
3354.21/3362.96	c #Conflicts:    1347000 | #Constraints:      74006
3354.21/3362.96	c #Conflicts:    1348000 | #Constraints:      75006
3354.21/3362.96	c INPROCESSING
3354.21/3362.96	c GARBAGE COLLECT
3354.21/3362.96	c #Conflicts:    1349000 | #Constraints:      53012
3354.21/3362.96	c #Conflicts:    1350000 | #Constraints:      54012
3354.21/3362.96	c #Conflicts:    1351000 | #Constraints:      55012
3354.21/3362.96	c #Conflicts:    1352000 | #Constraints:      56012
3354.21/3362.96	c #Conflicts:    1353000 | #Constraints:      57012
3354.21/3362.96	c #Conflicts:    1354000 | #Constraints:      58012
3354.21/3362.96	c #Conflicts:    1355000 | #Constraints:      59012
3354.21/3362.96	c #Conflicts:    1356000 | #Constraints:      60012
3354.21/3362.96	c #Conflicts:    1357000 | #Constraints:      61012
3354.21/3362.96	c #Conflicts:    1358000 | #Constraints:      62012
3354.21/3362.96	c #Conflicts:    1359000 | #Constraints:      63012
3354.21/3362.96	c #Conflicts:    1360000 | #Constraints:      64012
3354.21/3362.96	c #Conflicts:    1361000 | #Constraints:      65012
3354.21/3362.96	c #Conflicts:    1362000 | #Constraints:      66012
3354.21/3362.96	c #Conflicts:    1363000 | #Constraints:      67012
3354.21/3362.96	c #Conflicts:    1364000 | #Constraints:      68012
3354.21/3362.96	c #Conflicts:    1365000 | #Constraints:      69012
3354.21/3362.96	c #Conflicts:    1366000 | #Constraints:      70012
3354.21/3362.96	c #Conflicts:    1367000 | #Constraints:      71012
3354.21/3362.96	c #Conflicts:    1368000 | #Constraints:      72012
3354.21/3362.96	c #Conflicts:    1369000 | #Constraints:      73012
3354.21/3362.96	c #Conflicts:    1370000 | #Constraints:      74012
3354.21/3362.96	c #Conflicts:    1371000 | #Constraints:      75012
3354.21/3362.96	c INPROCESSING
3354.21/3362.96	c GARBAGE COLLECT
3354.21/3362.96	c #Conflicts:    1372000 | #Constraints:      52802
3354.21/3362.96	c #Conflicts:    1373000 | #Constraints:      53802
3354.21/3362.96	c #Conflicts:    1374000 | #Constraints:      54802
3354.21/3362.96	c #Conflicts:    1375000 | #Constraints:      55802
3354.21/3362.96	c #Conflicts:    1376000 | #Constraints:      56802
3354.21/3362.96	c #Conflicts:    1377000 | #Constraints:      57802
3354.21/3362.96	c #Conflicts:    1378000 | #Constraints:      58802
3354.21/3362.96	c #Conflicts:    1379000 | #Constraints:      59802
3354.21/3362.96	c #Conflicts:    1380000 | #Constraints:      60802
3354.21/3362.96	c #Conflicts:    1381000 | #Constraints:      61802
3354.21/3362.96	c #Conflicts:    1382000 | #Constraints:      62802
3354.21/3362.96	c #Conflicts:    1383000 | #Constraints:      63802
3354.21/3362.96	c #Conflicts:    1384000 | #Constraints:      64802
3354.21/3362.96	c #Conflicts:    1385000 | #Constraints:      65802
3354.21/3362.96	c #Conflicts:    1386000 | #Constraints:      66802
3354.21/3362.96	c #Conflicts:    1387000 | #Constraints:      67802
3354.21/3362.96	c #Conflicts:    1388000 | #Constraints:      68802
3354.21/3362.96	c #Conflicts:    1389000 | #Constraints:      69802
3354.21/3362.96	c #Conflicts:    1390000 | #Constraints:      70802
3354.21/3362.96	c #Conflicts:    1391000 | #Constraints:      71802
3354.21/3362.96	c #Conflicts:    1392000 | #Constraints:      72802
3354.21/3362.96	c #Conflicts:    1393000 | #Constraints:      73802
3354.21/3362.96	c #Conflicts:    1394000 | #Constraints:      74802
3354.21/3362.96	c #Conflicts:    1395000 | #Constraints:      75802
3354.21/3362.96	c INPROCESSING
3354.21/3362.96	c GARBAGE COLLECT
3354.21/3362.96	c #Conflicts:    1396000 | #Constraints:      53406
3354.21/3362.96	c #Conflicts:    1397000 | #Constraints:      54406
3354.21/3362.96	c #Conflicts:    1398000 | #Constraints:      55406
3354.21/3362.96	c #Conflicts:    1399000 | #Constraints:      56406
3354.21/3362.96	c #Conflicts:    1400000 | #Constraints:      57406
3354.21/3362.96	c #Conflicts:    1401000 | #Constraints:      58406
3354.21/3362.96	c #Conflicts:    1402000 | #Constraints:      59406
3354.21/3362.96	c #Conflicts:    1403000 | #Constraints:      60406
3354.21/3362.96	c #Conflicts:    1404000 | #Constraints:      61406
3354.21/3362.96	c #Conflicts:    1405000 | #Constraints:      62406
3354.21/3362.96	c #Conflicts:    1406000 | #Constraints:      63406
3354.21/3362.96	c #Conflicts:    1407000 | #Constraints:      64406
3354.21/3362.96	c #Conflicts:    1408000 | #Constraints:      65406
3354.21/3362.96	c #Conflicts:    1409000 | #Constraints:      66406
3354.21/3362.96	c #Conflicts:    1410000 | #Constraints:      67406
3354.21/3362.96	c #Conflicts:    1411000 | #Constraints:      68406
3354.21/3362.96	c #Conflicts:    1412000 | #Constraints:      69406
3600.06/3609.30	c #Conflicts:    1413000 | #Constraints:      70406
3600.06/3609.30	c #Conflicts:    1414000 | #Constraints:      71406
3600.06/3609.30	c #Conflicts:    1415000 | #Constraints:      72406
3600.06/3609.30	c #Conflicts:    1416000 | #Constraints:      73406
3600.06/3609.30	c #Conflicts:    1417000 | #Constraints:      74406
3600.06/3609.30	c #Conflicts:    1418000 | #Constraints:      75406
3600.06/3609.30	c #Conflicts:    1419000 | #Constraints:      76406
3600.06/3609.30	c INPROCESSING
3600.06/3609.30	c GARBAGE COLLECT
3600.06/3609.30	c #Conflicts:    1420000 | #Constraints:      53814
3600.06/3609.30	c #Conflicts:    1421000 | #Constraints:      54814
3600.06/3609.30	c #Conflicts:    1422000 | #Constraints:      55814
3600.06/3609.30	c #Conflicts:    1423000 | #Constraints:      56814
3600.06/3609.30	c #Conflicts:    1424000 | #Constraints:      57814
3600.06/3609.30	c #Conflicts:    1425000 | #Constraints:      58814
3600.06/3609.30	c #Conflicts:    1426000 | #Constraints:      59814
3600.06/3609.30	c #Conflicts:    1427000 | #Constraints:      60814
3600.06/3609.30	c #Conflicts:    1428000 | #Constraints:      61814
3600.06/3609.30	c #Conflicts:    1429000 | #Constraints:      62814
3600.06/3609.30	c #Conflicts:    1430000 | #Constraints:      63814
3600.06/3609.30	c #Conflicts:    1431000 | #Constraints:      64814
3600.06/3609.30	c #Conflicts:    1432000 | #Constraints:      65814
3600.06/3609.30	c #Conflicts:    1433000 | #Constraints:      66814
3600.06/3609.30	c #Conflicts:    1434000 | #Constraints:      67814
3600.06/3609.30	c #Conflicts:    1435000 | #Constraints:      68814
3600.06/3609.30	c #Conflicts:    1436000 | #Constraints:      69814
3600.06/3609.30	c #Conflicts:    1437000 | #Constraints:      70814
3600.06/3609.30	c #Conflicts:    1438000 | #Constraints:      71814
3600.06/3609.30	c #Conflicts:    1439000 | #Constraints:      72814
3600.06/3609.30	c #Conflicts:    1440000 | #Constraints:      73814
3600.06/3609.30	c #Conflicts:    1441000 | #Constraints:      74814
3600.06/3609.30	c #Conflicts:    1442000 | #Constraints:      75814
3600.06/3609.30	c #Conflicts:    1443000 | #Constraints:      76814
3600.06/3609.30	c INPROCESSING
3600.06/3609.30	c GARBAGE COLLECT
3600.06/3609.30	c #Conflicts:    1444000 | #Constraints:      54019
3600.06/3609.30	c #Conflicts:    1445000 | #Constraints:      55019
3600.06/3609.30	c #Conflicts:    1446000 | #Constraints:      56019
3600.06/3609.30	c #Conflicts:    1447000 | #Constraints:      57019
3600.06/3609.30	c #Conflicts:    1448000 | #Constraints:      58019
3600.06/3609.30	c #Conflicts:    1449000 | #Constraints:      59019
3600.06/3609.30	c #Conflicts:    1450000 | #Constraints:      60019
3600.06/3609.30	c #Conflicts:    1451000 | #Constraints:      61019
3600.06/3609.30	c #Conflicts:    1452000 | #Constraints:      62019
3600.06/3609.30	c #Conflicts:    1453000 | #Constraints:      63019
3600.06/3609.30	c #Conflicts:    1454000 | #Constraints:      64019
3600.06/3609.30	c #Conflicts:    1455000 | #Constraints:      65019
3600.06/3609.30	c #Conflicts:    1456000 | #Constraints:      66019
3600.06/3609.30	c #Conflicts:    1457000 | #Constraints:      67019
3600.06/3609.30	c #Conflicts:    1458000 | #Constraints:      68019
3600.06/3609.30	c #Conflicts:    1459000 | #Constraints:      69019
3600.06/3609.30	c #Conflicts:    1460000 | #Constraints:      70019
3600.06/3609.30	c #Conflicts:    1461000 | #Constraints:      71019
3600.06/3609.30	c #Conflicts:    1462000 | #Constraints:      72019
3600.06/3609.30	c #Conflicts:    1463000 | #Constraints:      73019
3600.06/3609.30	c #Conflicts:    1464000 | #Constraints:      74019
3600.06/3609.30	c #Conflicts:    1465000 | #Constraints:      75019
3600.06/3609.30	c #Conflicts:    1466000 | #Constraints:      76019
3600.06/3609.30	c #Conflicts:    1467000 | #Constraints:      77019
3600.06/3609.30	c INPROCESSING
3600.06/3609.30	c GARBAGE COLLECT
3600.06/3609.30	c #Conflicts:    1468000 | #Constraints:      54011
3600.06/3609.30	c #Conflicts:    1469000 | #Constraints:      55011
3600.06/3609.30	c #Conflicts:    1470000 | #Constraints:      56011
3600.06/3609.30	c #Conflicts:    1471000 | #Constraints:      57011
3600.06/3609.30	c #Conflicts:    1472000 | #Constraints:      58011
3600.06/3609.30	c #Conflicts:    1473000 | #Constraints:      59011
3600.06/3609.30	c #Conflicts:    1474000 | #Constraints:      60011
3600.06/3609.30	c #Conflicts:    1475000 | #Constraints:      61011
3600.06/3609.30	c #Conflicts:    1476000 | #Constraints:      62011
3600.06/3609.30	c #Conflicts:    1477000 | #Constraints:      63011
3600.06/3609.30	c #Conflicts:    1478000 | #Constraints:      64011
3600.06/3609.30	c #Conflicts:    1479000 | #Constraints:      65011
3600.06/3609.30	c #Conflicts:    1480000 | #Constraints:      66011
3600.06/3609.30	c #Conflicts:    1481000 | #Constraints:      67011
3600.06/3609.30	c #Conflicts:    1482000 | #Constraints:      68011
3600.06/3609.30	c Program interrupted by user.
3600.06/3609.30	c cpu time 3586.42 s
3600.06/3609.30	c deterministic time 428232252318 4.28e+11
3600.06/3609.30	c optimization time 40.5439 s
3600.06/3609.30	c total solve time 3545.81 s
3600.06/3609.30	c core-guided solve time 3545.81 s
3600.06/3609.30	c propagation time 2556.81 s
3600.06/3609.30	c conflict analysis time 919.074 s
3600.06/3609.30	c propagations 143684755
3600.06/3609.30	c resolve steps 12010145
3600.06/3609.30	c decisions 7774260
3600.06/3609.30	c conflicts 1482968
3600.06/3609.30	c restarts 2892
3600.06/3609.30	c inprocessing phases 112
3600.06/3609.30	c input clauses 28903
3600.06/3609.30	c input cardinalities 176
3600.06/3609.30	c input general constraints 31
3600.06/3609.30	c input average constraint length 4.80
3600.06/3609.30	c input average constraint degree 54.51
3600.06/3609.30	c learned clauses 337010
3600.06/3609.30	c learned cardinalities 5084
3600.06/3609.30	c learned general constraints 1140875
3600.06/3609.30	c learned average constraint length 752.58
3600.06/3609.30	c learned average constraint degree 39519.13
3600.06/3609.30	c watched constraints 589892
3600.06/3609.30	c counting constraints 551014
3600.06/3609.30	c gcd simplifications 22151
3600.06/3609.30	c detected cardinalities 3
3600.06/3609.30	c weakened non-implied lits 608780978
3600.06/3609.30	c weakened non-implying lits 566369
3600.06/3609.30	c original variables 1520
3600.06/3609.30	c clausal propagations 8075206
3600.06/3609.30	c cardinality propagations 63342700
3600.06/3609.30	c watched propagations 4227838
3600.06/3609.30	c counting propagations 66242233
3600.06/3609.30	c watch lookups 79769635137
3600.06/3609.30	c watch backjump lookups 77643276887
3600.06/3609.30	c watch checks 174140565295
3600.06/3609.30	c propagation checks 90702180793
3600.06/3609.30	c constraint additions 5672194512
3600.06/3609.30	c trail pops 152940678
3600.06/3609.30	c formula constraints 29078
3600.06/3609.30	c learned constraints 1482969
3600.06/3609.30	c bound constraints 30
3600.06/3609.30	c core-guided constraints 2
3600.06/3609.30	c encountered formula constraints 1978806
3600.06/3609.30	c encountered learned constraints 11509685
3600.06/3609.30	c encountered bound constraints 2444
3600.06/3609.30	c encountered core-guided constraints 2178
3600.06/3609.30	c LP total time 0 s
3600.06/3609.30	c LP solve time 0 s
3600.06/3609.30	c LP constraints added 0
3600.06/3609.30	c LP constraints removed 0
3600.06/3609.30	c LP pivots internal 0
3600.06/3609.30	c LP pivots root 0
3600.06/3609.30	c LP calls 0
3600.06/3609.30	c LP optimalities 0
3600.06/3609.30	c LP no pivot count 0
3600.06/3609.30	c LP infeasibilities 0
3600.06/3609.30	c LP valid Farkas constraints 0
3600.06/3609.30	c LP learned Farkas constraints 0
3600.06/3609.30	c LP basis resets 0
3600.06/3609.30	c LP cycling count 0
3600.06/3609.30	c LP singular count 0
3600.06/3609.30	c LP no primal count 0
3600.06/3609.30	c LP no farkas count 0
3600.06/3609.30	c LP other issue count 0
3600.06/3609.30	c LP Gomory cuts 0
3600.06/3609.30	c LP learned cuts 0
3600.06/3609.30	c LP deleted cuts 0
3600.06/3609.30	c LP encountered Gomory constraints 0
3600.06/3609.30	c LP encountered Farkas constraints 0
3600.06/3609.30	c LP encountered learned Farkas constraints 0
3600.06/3609.30	c CG auxiliary variables introduced 1
3600.06/3609.30	c CG solutions found 29
3600.06/3609.30	c CG cores constructed 1
3600.06/3609.30	c CG core cardinality constraints returned 0
3600.06/3609.30	c CG unit cores 0
3600.06/3609.30	c CG single cores 1
3600.06/3609.30	c CG blocks removed during cardinality reduction 0
3600.06/3609.30	c CG first core best 0
3600.06/3609.30	c CG decision core best 0
3600.06/3609.30	c CG core reduction tie 0
3600.06/3609.30	c CG core degree average 1.00
3600.06/3609.30	c CG core slack average 143.00
3600.06/3609.30	c CG exhausted 0
3600.06/3609.30	c CG exhaust time 1.19821 s
3600.06/3609.30	c CG trimmed 0
3600.06/3609.30	c CG trim time 0.000985 s
3600.06/3609.30	c CG minimized 0
3600.06/3609.30	c CG minimize time 0 s
3600.06/3609.30	c CG am1 prop time 0.01464 s
3600.06/3609.30	c CG # am1s reformulated 0
3600.06/3609.30	c CG lower bound derived from am1s 0
3600.06/3609.30	c CG # clausal cores 1
3600.06/3609.30	c CG # cardinality cores 0
3600.06/3609.30	c CG # pb cores 0
3600.06/3609.30	c CG # pb reforms 0
3600.06/3609.30	c CG # cores discarded because of pb reform 0
3600.06/3609.30	d LOWERBOUND 43
3600.06/3609.30	d NCORES 1
3600.06/3609.30	d NPBCORES 0
3600.06/3609.30	d NPBREFORM 0
3600.06/3609.30	d NTRIMMED 0
3600.06/3609.30	d NEXHAUSTED 0
3600.06/3609.30	d NAM1S 0
3600.06/3609.30	d AM1LB 0
3600.06/3609.30	o 401
3600.06/3609.30	s SATISFIABLE
3600.06/3609.30	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: 64059 MiB (50405 MiB free)
  memory of node 1: 64510 MiB (53240 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=277939, runsolver pid=277936

[startup+0.100099 s]*
/proc/loadavg: 4.00 4.10 4.15 6/242 277940
/proc/meminfo: memFree=106129068/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=40784 memory=9140 CPUtime=0.1 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 1134 0 0 0 8 2 0 0 20 0 1 0 25505232 41762816 2285 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 10196 2285 1374 291 0 1730 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40784 KiB
Current children cumulated memory: 9140 KiB

[startup+0.212791 s]*
/proc/loadavg: 4.00 4.10 4.15 5/242 277940
/proc/meminfo: memFree=106124976/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=42116 memory=13032 CPUtime=0.21 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 1569 0 0 0 19 2 0 0 20 0 1 0 25505232 43126784 3258 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 10529 3258 1374 291 0 2063 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 13032 KiB

[startup+0.312566 s]*
/proc/loadavg: 4.00 4.10 4.15 5/242 277940
/proc/meminfo: memFree=106123828/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=43188 memory=14088 CPUtime=0.31 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 1832 0 0 0 29 2 0 0 20 0 1 0 25505232 44224512 3522 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 10797 3522 1374 291 0 2331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43188 KiB
Current children cumulated memory: 14088 KiB

[startup+0.700333 s]
/proc/loadavg: 4.00 4.10 4.15 5/242 277940
/proc/meminfo: memFree=106117216/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=56080 memory=23444 CPUtime=0.68 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 3693 0 0 0 65 3 0 0 20 0 1 0 25505232 57425920 5861 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 14020 5861 1390 291 0 5554 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56080 KiB
Current children cumulated memory: 23444 KiB

[startup+1.50031 s]
/proc/loadavg: 4.00 4.10 4.15 5/242 277940
/proc/meminfo: memFree=106111140/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=70044 memory=34292 CPUtime=1.49 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 5956 0 0 0 143 6 0 0 20 0 1 0 25505232 71725056 8573 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 17511 8573 1439 291 0 9045 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70044 KiB
Current children cumulated memory: 34292 KiB

[startup+3.11264 s]
/proc/loadavg: 4.00 4.10 4.15 5/242 277940
/proc/meminfo: memFree=106087552/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=78532 memory=48516 CPUtime=3.1 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 8190 0 0 0 300 10 0 0 20 0 1 0 25505232 80416768 12129 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 19633 12129 1439 291 0 11167 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 78532 KiB
Current children cumulated memory: 48516 KiB

[startup+6.30028 s]
/proc/loadavg: 4.00 4.09 4.15 6/238 277951
/proc/meminfo: memFree=106281908/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=99288 memory=61676 CPUtime=6.28 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 10699 0 0 0 612 16 0 0 20 0 1 0 25505232 101670912 15419 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 24822 15419 1439 291 0 16356 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 99288 KiB
Current children cumulated memory: 61676 KiB

[startup+12.7003 s]
/proc/loadavg: 4.00 4.09 4.15 5/242 277988
/proc/meminfo: memFree=106217252/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=105276 memory=73308 CPUtime=12.66 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 12954 0 0 0 1243 23 0 0 20 0 1 0 25505232 107802624 18327 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 26319 18327 1439 291 0 17853 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 105276 KiB
Current children cumulated memory: 73308 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.12 4.16 5/242 278037
/proc/meminfo: memFree=106259124/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=132236 memory=88712 CPUtime=25.43 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 15256 0 0 0 2505 38 0 0 20 0 1 0 25505232 135409664 22178 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 33059 22178 1439 291 0 24593 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 132236 KiB
Current children cumulated memory: 88712 KiB

[startup+51.1126 s]
/proc/loadavg: 4.52 4.21 4.19 5/242 278040
/proc/meminfo: memFree=106146852/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=149812 memory=109164 CPUtime=50.97 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 19562 0 0 0 5031 66 0 0 20 0 1 0 25505232 153407488 27291 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 37453 27291 1439 291 0 28987 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 149812 KiB
Current children cumulated memory: 109164 KiB

[startup+102.3 s]
/proc/loadavg: 4.67 4.30 4.22 5/242 278049
/proc/meminfo: memFree=106044240/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=201764 memory=143128 CPUtime=102.02 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 25271 0 0 0 10088 114 0 0 20 0 1 0 25505232 206606336 35782 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 50441 35782 1439 291 0 41975 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 201764 KiB
Current children cumulated memory: 143128 KiB

[startup+162.3 s]
/proc/loadavg: 4.47 4.32 4.23 5/242 278059
/proc/meminfo: memFree=105899596/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=210348 memory=159400 CPUtime=161.86 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 28092 0 0 0 16020 166 0 0 20 0 1 0 25505232 215396352 39850 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 52587 39850 1439 291 0 44121 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 210348 KiB
Current children cumulated memory: 159400 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.27 4.22 5/241 278207
/proc/meminfo: memFree=105770488/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=216048 memory=175072 CPUtime=221.69 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 30030 0 0 0 21970 199 0 0 20 0 1 0 25505232 221233152 43768 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 54012 43768 1439 291 0 45546 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 216048 KiB
Current children cumulated memory: 175072 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.23 4.21 5/242 278218
/proc/meminfo: memFree=105635576/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=279420 memory=193308 CPUtime=281.53 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 34025 0 0 0 27915 238 0 0 20 0 1 0 25505232 286126080 48327 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 69855 48327 1439 291 0 61389 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 279420 KiB
Current children cumulated memory: 193308 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.20 4.20 5/242 278229
/proc/meminfo: memFree=105569732/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=288352 memory=206112 CPUtime=341.36 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 36105 0 0 0 33863 273 0 0 20 0 1 0 25505232 295272448 51528 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 72088 51528 1439 291 0 63622 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 288352 KiB
Current children cumulated memory: 206112 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.20 4.19 5/242 278239
/proc/meminfo: memFree=105488252/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=291040 memory=210740 CPUtime=401.2 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 37178 0 0 0 39813 307 0 0 20 0 1 0 25505232 298024960 52685 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 72760 52685 1439 291 0 64294 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 291040 KiB
Current children cumulated memory: 210740 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.16 4.18 5/242 278249
/proc/meminfo: memFree=105411096/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=291936 memory=216020 CPUtime=461.03 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 37832 0 0 0 45758 345 0 0 20 0 1 0 25505232 298942464 54005 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 72984 54005 1439 291 0 64518 0

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

Current children cumulated memory: 502844 KiB

[startup+2922.3 s]
/proc/loadavg: 3.09 3.17 3.38 4/238 279914
/proc/meminfo: memFree=107874824/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=503116 CPUtime=2914.59 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 93761 0 0 0 290272 1187 0 0 20 0 1 0 25505232 723619840 125779 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 125779 1439 291 0 168199 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503116 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.17 3.37 4/238 279925
/proc/meminfo: memFree=107874548/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=503116 CPUtime=2974.46 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 94112 0 0 0 296242 1204 0 0 20 0 1 0 25505232 723619840 125779 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 125779 1439 291 0 168199 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503116 KiB

[startup+3042.3 s]
/proc/loadavg: 3.74 3.33 3.41 4/238 279935
/proc/meminfo: memFree=107874264/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=503132 CPUtime=3034.32 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 94555 0 0 0 302210 1222 0 0 20 0 1 0 25505232 723619840 125783 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 125783 1439 291 0 168199 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503132 KiB

[startup+3102.3 s]
/proc/loadavg: 3.42 3.31 3.40 4/237 279945
/proc/meminfo: memFree=107870956/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=503148 CPUtime=3094.19 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 94944 0 0 0 308184 1235 0 0 20 0 1 0 25505232 723619840 125787 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 125787 1439 291 0 168199 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503148 KiB

[startup+3162.3 s]
/proc/loadavg: 3.21 3.27 3.37 4/237 279956
/proc/meminfo: memFree=107870572/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=503148 CPUtime=3154.06 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 95301 0 0 0 314156 1250 0 0 20 0 1 0 25505232 723619840 125787 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 125787 1439 291 0 168199 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 503148 KiB

[startup+3222.3 s]
/proc/loadavg: 3.19 3.25 3.36 4/234 279966
/proc/meminfo: memFree=107836868/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=536272 CPUtime=3213.92 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 95520 0 0 0 320129 1263 0 0 20 0 1 0 25505232 723619840 134068 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 134068 1439 291 0 168199 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 536272 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.21 3.34 4/235 279977
/proc/meminfo: memFree=107826052/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=546748 CPUtime=3273.78 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 95913 0 0 0 326098 1280 0 0 20 0 1 0 25505232 723619840 136687 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 136687 1439 291 0 168199 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 546748 KiB

[startup+3342.3 s]
/proc/loadavg: 3.09 3.19 3.32 4/235 279988
/proc/meminfo: memFree=107816572/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=706660 memory=546748 CPUtime=3333.65 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 96433 0 0 0 332070 1295 0 0 20 0 1 0 25505232 723619840 136687 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176665 136687 1439 291 0 168199 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 546748 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.17 3.31 4/235 279998
/proc/meminfo: memFree=107746844/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=707172 memory=547492 CPUtime=3393.52 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 97020 0 0 0 338045 1307 0 0 20 0 1 0 25505232 724144128 136873 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176793 136873 1439 291 0 168327 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 707172 KiB
Current children cumulated memory: 547492 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.16 3.29 4/235 280009
/proc/meminfo: memFree=107652796/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=707172 memory=547492 CPUtime=3453.39 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 97266 0 0 0 344015 1324 0 0 20 0 1 0 25505232 724144128 136873 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 176793 136873 1439 291 0 168327 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 707172 KiB
Current children cumulated memory: 547492 KiB

[startup+3522.3 s]
/proc/loadavg: 3.04 3.13 3.27 4/238 280024
/proc/meminfo: memFree=107642904/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=711524 memory=549824 CPUtime=3513.26 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 98377 0 0 0 349987 1339 0 0 20 0 1 0 25505232 728600576 137456 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 177881 137456 1439 291 0 169415 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 711524 KiB
Current children cumulated memory: 549824 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.14 3.26 4/237 280035
/proc/meminfo: memFree=107642160/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=712292 memory=550236 CPUtime=3573.13 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 99006 0 0 0 355956 1357 0 0 20 0 1 0 25505232 729387008 137559 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 178073 137559 1439 291 0 169607 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 550236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 3.08 3.12 3.26 4/237 280040
/proc/meminfo: memFree=107641724/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=712292 memory=550236 CPUtime=3600.06 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 99113 0 0 0 358641 1365 0 0 20 0 1 0 25505232 729387008 137559 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 178073 137559 1439 291 0 169607 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 550236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.42 s, system=13.6578 s

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

[startup+3609.3 s]
/proc/loadavg: 3.08 3.12 3.26 4/237 280040
/proc/meminfo: memFree=107641724/131655788 swapFree=131070704/131071996
[pid=277939] ppid=277936 vsize=712292 memory=550236 CPUtime=3600.06 cores=1,3
/proc/277939/stat : 277939 (pb-oll-rs) R 277936 277939 273793 0 -1 4194304 99113 0 0 0 358641 1365 0 0 20 0 1 0 25505232 729387008 137559 134679101440 4194304 5384005 140725965457936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17870848 140725965464599 140725965464676 140725965464676 140725965471691 0
/proc/277939/statm: 178073 137559 1439 291 0 169607 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 712292 KiB
Current children cumulated memory: 550236 KiB

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.08
CPU user time (s): 3586.42
CPU system time (s): 13.6578
CPU usage (%): 99.7444
Max. virtual memory (cumulated for all children) (KiB): 713588
Max. memory (cumulated for all children) (KiB): 551168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.42
system time used= 13.6578
maximum resident set size= 551168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99129
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= 143
involuntary context switches= 2173


# summary of solver processes directly reported to runsolver:
#   pid: 277939
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3586.42
#   total CPU system time (s): 13.6578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8376 second user time and 33.7084 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-25 10:12:39
IDJOB=4459360
IDBENCH=178773
IDSOLVER=3067
FILE ID=nodeC008/4459360-1721895159
RUNJOBID= nodeC008-1721887939-273805
SLURM_JOB_ID= 8089302
Free space on /tmp= 723640 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4459360-1721895159/watcher-4459360-1721895159 -o /tmp/evaluation-result-4459360-1721895159/solver-4459360-1721895159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273805 --watchdog 3760  pb-oll-rs HOME/instance-4459360-1721895159.opb

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

MD5SUM BENCH= ca6d41f9aded18c9e4512660dff57e08
RANDOM SEED=1913462980

nodeC008.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	: 0xb00001f
cpu MHz		: 3595.480
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.642
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.285
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.124
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3586.260
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3657.512
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.341
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        106133148 kB
MemAvailable:   126245304 kB
Buffers:          316164 kB
Cached:         20556584 kB
SwapCached:          732 kB
Active:          2877544 kB
Inactive:       21930832 kB
Active(anon):       1628 kB
Inactive(anon):  3987860 kB
Active(file):    2875916 kB
Inactive(file): 17942972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              3040 kB
Writeback:             0 kB
AnonPages:       3931372 kB
Mapped:           123536 kB
Shmem:             53860 kB
KReclaimable:     266596 kB
Slab:             386608 kB
SReclaimable:     266596 kB
SUnreclaim:       120012 kB
KernelStack:        3920 kB
PageTables:        17148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4404104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3221504 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-25 11:12:48