Trace number 4455800

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 NameAnswerCPU timeWall clock time
RoundingSat nolog (2)? (TO) 3600.03 3608.51

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
MD5SUMadd936bb86ecdde22f6655365824bd6d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.88567
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables440
Total number of constraints881
Number of constraints which are clauses880
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint440
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 460
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 440 #constraints 881
0.00/0.02	c rational objective 205.75
0.31/0.33	c #Conflicts:       1000 | #Constraints:       1955
0.31/0.33	c #Conflicts:       2000 | #Constraints:       2998
0.31/0.33	c INPROCESSING
0.31/0.33	c GARBAGE COLLECT
0.31/0.33	c rational objective 205.75
1.00/1.03	c #Conflicts:       3000 | #Constraints:       3134
1.00/1.03	c #Conflicts:       4000 | #Constraints:       4770
1.00/1.03	c INPROCESSING
1.00/1.03	c GARBAGE COLLECT
1.00/1.03	c rational objective 205.75
1.58/1.64	c #Conflicts:       5000 | #Constraints:       3804
1.58/1.64	c #Conflicts:       6000 | #Constraints:       5022
1.58/1.64	c INPROCESSING
1.58/1.64	c GARBAGE COLLECT
1.58/1.64	c rational objective 205.75
2.29/2.34	c #Conflicts:       7000 | #Constraints:       3860
2.29/2.34	c #Conflicts:       8000 | #Constraints:       4880
2.29/2.34	c #Conflicts:       9000 | #Constraints:       6309
2.29/2.34	c INPROCESSING
2.29/2.34	c GARBAGE COLLECT
2.29/2.34	c rational objective 205.75
3.10/3.15	c #Conflicts:      10000 | #Constraints:       4579
3.10/3.15	c #Conflicts:      11000 | #Constraints:       5757
3.10/3.15	c #Conflicts:      12000 | #Constraints:       7182
3.10/3.15	c INPROCESSING
3.10/3.15	c GARBAGE COLLECT
3.10/3.15	c rational objective 205.75
3.68/3.71	c #Conflicts:      13000 | #Constraints:       5058
3.68/3.71	c #Conflicts:      14000 | #Constraints:       6070
3.68/3.71	c #Conflicts:      15000 | #Constraints:       7118
3.68/3.71	c INPROCESSING
3.68/3.71	c GARBAGE COLLECT
3.68/3.71	c rational objective 207.294
5.17/5.28	c #Conflicts:      16000 | #Constraints:       5726
5.17/5.28	c #Conflicts:      17000 | #Constraints:       7322
5.17/5.28	c #Conflicts:      18000 | #Constraints:       8891
5.17/5.28	c INPROCESSING
5.17/5.28	c GARBAGE COLLECT
5.17/5.28	c rational objective 208.189
6.67/6.74	c #Conflicts:      19000 | #Constraints:       6341
6.67/6.74	c #Conflicts:      20000 | #Constraints:       7907
6.67/6.74	c #Conflicts:      21000 | #Constraints:       9483
6.67/6.74	c INPROCESSING
6.67/6.74	c GARBAGE COLLECT
6.67/6.74	c rational objective 208.222
8.47/8.59	c #Conflicts:      22000 | #Constraints:       6354
8.47/8.59	c #Conflicts:      23000 | #Constraints:       7977
8.47/8.59	c #Conflicts:      24000 | #Constraints:       9646
8.47/8.59	c #Conflicts:      25000 | #Constraints:      11061
8.47/8.59	c INPROCESSING
8.47/8.59	c GARBAGE COLLECT
8.47/8.59	c rational objective 208.223
10.66/10.71	c #Conflicts:      26000 | #Constraints:       7290
10.66/10.71	c #Conflicts:      27000 | #Constraints:       9123
10.66/10.71	c #Conflicts:      28000 | #Constraints:      10453
10.66/10.71	c #Conflicts:      29000 | #Constraints:      11463
10.66/10.71	c INPROCESSING
10.66/10.71	c GARBAGE COLLECT
10.66/10.71	c rational objective 208.244
12.66/12.74	c #Conflicts:      30000 | #Constraints:       7447
12.66/12.74	c #Conflicts:      31000 | #Constraints:       8902
12.66/12.74	c #Conflicts:      32000 | #Constraints:      10066
12.66/12.74	c #Conflicts:      33000 | #Constraints:      11197
12.66/12.74	c INPROCESSING
12.66/12.74	c GARBAGE COLLECT
12.66/12.74	c rational objective 208.25
14.46/14.57	c #Conflicts:      34000 | #Constraints:       7091
14.46/14.57	c #Conflicts:      35000 | #Constraints:       8451
14.46/14.57	c #Conflicts:      36000 | #Constraints:      10018
14.46/14.57	c #Conflicts:      37000 | #Constraints:      11257
14.46/14.57	c INPROCESSING
14.46/14.57	c GARBAGE COLLECT
14.46/14.57	c rational objective 208.255
16.74/16.87	c #Conflicts:      38000 | #Constraints:       7048
16.74/16.87	c #Conflicts:      39000 | #Constraints:       8474
16.74/16.87	c #Conflicts:      40000 | #Constraints:       9886
16.74/16.87	c #Conflicts:      41000 | #Constraints:      11022
16.74/16.87	c INPROCESSING
16.74/16.87	c GARBAGE COLLECT
16.74/16.87	c rational objective 208.316
19.34/19.47	c #Conflicts:      42000 | #Constraints:       6827
19.34/19.47	c #Conflicts:      43000 | #Constraints:       7943
19.34/19.47	c #Conflicts:      44000 | #Constraints:       9100
19.34/19.47	c #Conflicts:      45000 | #Constraints:      10288
19.34/19.47	c #Conflicts:      46000 | #Constraints:      11299
19.34/19.47	c INPROCESSING
19.34/19.47	c GARBAGE COLLECT
19.34/19.47	c rational objective 208.316
21.34/21.49	c #Conflicts:      47000 | #Constraints:       7058
21.34/21.49	c #Conflicts:      48000 | #Constraints:       8269
21.34/21.49	c #Conflicts:      49000 | #Constraints:       9293
21.34/21.49	c #Conflicts:      50000 | #Constraints:      10312
21.34/21.49	c #Conflicts:      51000 | #Constraints:      11446
21.34/21.49	c INPROCESSING
21.34/21.49	c GARBAGE COLLECT
21.34/21.49	c rational objective 208.316
23.23/23.39	c #Conflicts:      52000 | #Constraints:       7327
23.23/23.39	c #Conflicts:      53000 | #Constraints:       8755
23.23/23.39	c #Conflicts:      54000 | #Constraints:       9868
23.23/23.39	c #Conflicts:      55000 | #Constraints:      10901
23.23/23.39	c #Conflicts:      56000 | #Constraints:      11942
23.23/23.39	c INPROCESSING
23.23/23.39	c GARBAGE COLLECT
23.23/23.39	c rational objective 208.316
25.13/25.22	c #Conflicts:      57000 | #Constraints:       7479
25.13/25.22	c #Conflicts:      58000 | #Constraints:       8513
25.13/25.22	c #Conflicts:      59000 | #Constraints:       9664
25.13/25.22	c #Conflicts:      60000 | #Constraints:      10906
25.13/25.22	c #Conflicts:      61000 | #Constraints:      12109
25.13/25.22	c INPROCESSING
25.13/25.22	c GARBAGE COLLECT
25.13/25.22	c rational objective 208.316
27.12/27.22	c #Conflicts:      62000 | #Constraints:       7468
27.12/27.22	c #Conflicts:      63000 | #Constraints:       8557
27.12/27.22	c #Conflicts:      64000 | #Constraints:       9867
27.12/27.22	c #Conflicts:      65000 | #Constraints:      10921
27.12/27.22	c #Conflicts:      66000 | #Constraints:      11967
27.12/27.22	c INPROCESSING
27.12/27.22	c GARBAGE COLLECT
27.12/27.22	c rational objective 208.316
29.42/29.52	c #Conflicts:      67000 | #Constraints:       7222
29.42/29.52	c #Conflicts:      68000 | #Constraints:       8299
29.42/29.52	c #Conflicts:      69000 | #Constraints:       9342
29.42/29.52	c #Conflicts:      70000 | #Constraints:      10497
29.42/29.52	c #Conflicts:      71000 | #Constraints:      11637
29.42/29.52	c #Conflicts:      72000 | #Constraints:      12748
29.42/29.52	c INPROCESSING
29.42/29.52	c GARBAGE COLLECT
29.42/29.52	c rational objective 208.623
32.11/32.28	c #Conflicts:      73000 | #Constraints:       7805
32.11/32.28	c #Conflicts:      74000 | #Constraints:       8853
32.11/32.28	c #Conflicts:      75000 | #Constraints:       9879
32.11/32.28	c #Conflicts:      76000 | #Constraints:      10917
32.11/32.28	c #Conflicts:      77000 | #Constraints:      11999
32.11/32.28	c #Conflicts:      78000 | #Constraints:      13056
32.11/32.28	c INPROCESSING
32.11/32.28	c GARBAGE COLLECT
32.11/32.28	WSVECS04 Frhs2[3]: 6 0 1242.99 shouldn't be
32.11/32.28	WSVECS04 Frhs2[6]: 6 -1514.78 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[7]: 6 -1521.14 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[9]: 6 0 44.1258 shouldn't be
32.11/32.28	WSVECS04 Frhs2[10]: 6 0 1397.23 shouldn't be
32.11/32.28	WSVECS04 Frhs2[11]: 6 0 389.912 shouldn't be
32.11/32.28	WSVECS04 Frhs2[13]: 6 0 240.242 shouldn't be
32.11/32.28	WSVECS04 Frhs2[14]: 6 0 1475.82 shouldn't be
32.11/32.28	WSVECS04 Frhs2[19]: 6 -1338.72 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[20]: 6 0 262.57 shouldn't be
32.11/32.28	WSVECS04 Frhs2[22]: 6 -832.395 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[24]: 6 0 711.978 shouldn't be
32.11/32.28	WSVECS04 Frhs2[34]: 6 -1125.14 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[37]: 6 0 892.151 shouldn't be
32.11/32.28	WSVECS04 Frhs2[39]: 6 -303.989 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[44]: 6 -1311.8 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[45]: 6 -2180.76 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[46]: 6 0 1098.99 shouldn't be
32.11/32.28	WSVECS04 Frhs2[49]: 6 -1051.28 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[51]: 6 -696.355 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[54]: 6 0 389.912 shouldn't be
32.11/32.28	WSVECS04 Frhs2[56]: 6 -391.912 0 shouldn't be
32.11/32.28	WSVECS04 Frhs2[57]: 6 0 392.508 shouldn't be
32.11/32.28	WSVECS04 Frhs2[69]: 6 0 1240.96 shouldn't be
32.11/32.28	WSVECS04 Frhs2[72]: 6 0 1073.44 shouldn't be
32.11/32.29	WSVECS04 Frhs2[76]: 6 -1227.7 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[78]: 6 0 1175.45 shouldn't be
32.11/32.29	WSVECS04 Frhs2[88]: 6 -910.539 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[89]: 6 0 104.767 shouldn't be
32.11/32.29	WSVECS04 Frhs2[94]: 6 0 418.96 shouldn't be
32.11/32.29	WSVECS04 Frhs2[103]: 6 -482.94 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[106]: 6 0 1170.38 shouldn't be
32.11/32.29	WSVECS04 Frhs2[129]: 6 0 1619.69 shouldn't be
32.11/32.29	WSVECS04 Frhs2[130]: 6 -778.508 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[139]: 6 0 0.0469896 shouldn't be
32.11/32.29	WSVECS04 Frhs2[140]: 6 0 389.912 shouldn't be
32.11/32.29	WSVECS04 Frhs2[145]: 6 0 453.086 shouldn't be
32.11/32.29	WSVECS04 Frhs2[150]: 6 -396.957 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[156]: 6 0 1214.35 shouldn't be
32.11/32.29	WSVECS04 Frhs2[159]: 6 -1982.21 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[167]: 6 -1413.36 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[168]: 6 -1423.46 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[176]: 6 0 704.35 shouldn't be
32.11/32.29	WSVECS04 Frhs2[189]: 6 0 458.663 shouldn't be
32.11/32.29	WSVECS04 Frhs2[196]: 6 -561.397 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[225]: 6 0 156.644 shouldn't be
32.11/32.29	WSVECS04 Frhs2[227]: 6 -120.689 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[228]: 6 0 600.724 shouldn't be
32.11/32.29	WSVECS04 Frhs2[233]: 6 0 2392.76 shouldn't be
32.11/32.29	WSVECS04 Frhs2[241]: 6 0 389.912 shouldn't be
32.11/32.29	WSVECS04 Frhs2[245]: 6 -1371.34 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[255]: 6 -1872.66 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[259]: 6 -474.892 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[263]: 6 0 1071.53 shouldn't be
32.11/32.29	WSVECS04 Frhs2[277]: 6 -1768.89 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[278]: 6 0 1086.15 shouldn't be
32.11/32.29	WSVECS04 Frhs2[282]: 6 -391.912 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[288]: 6 0 1396.27 shouldn't be
32.11/32.29	WSVECS04 Frhs2[298]: 6 0 1186.77 shouldn't be
32.11/32.29	WSVECS04 Frhs2[304]: 6 -391.912 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[307]: 6 -1431.55 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[310]: 6 -1263.65 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[318]: 6 0 269.146 shouldn't be
32.11/32.29	WSVECS04 Frhs2[319]: 6 0 781.016 shouldn't be
32.11/32.29	WSVECS04 Frhs2[324]: 6 -1673.6 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[329]: 6 -653.611 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[336]: 6 0 91.9817 shouldn't be
32.11/32.29	WSVECS04 Frhs2[337]: 6 -2951.35 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[338]: 6 -1157.59 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[366]: 6 0 412.451 shouldn't be
32.11/32.29	WSVECS04 Frhs2[378]: 6 0 1724.1 shouldn't be
32.11/32.29	WSVECS04 Frhs2[382]: 6 0 1654.69 shouldn't be
32.11/32.29	WSVECS04 Frhs2[390]: 6 -1351.14 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[396]: 6 -1786.5 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[404]: 6 -1527.37 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[411]: 6 -838.661 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[424]: 6 -1720.81 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[436]: 6 -389.912 0 shouldn't be
32.11/32.29	WSVECS04 Frhs2[438]: 6 -437.865 0 shouldn't be
32.21/32.34	c rational objective 208.623
35.30/35.42	c #Conflicts:      79000 | #Constraints:       8129
35.30/35.42	c #Conflicts:      80000 | #Constraints:       9397
35.30/35.42	c #Conflicts:      81000 | #Constraints:      10836
35.30/35.42	c #Conflicts:      82000 | #Constraints:      12303
35.30/35.42	c #Conflicts:      83000 | #Constraints:      13424
35.30/35.42	c #Conflicts:      84000 | #Constraints:      14467
35.30/35.42	c INPROCESSING
35.30/35.42	c GARBAGE COLLECT
35.30/35.42	c rational objective 208.623
39.39/39.56	c #Conflicts:      85000 | #Constraints:       9070
39.39/39.56	c #Conflicts:      86000 | #Constraints:      10237
39.39/39.56	c #Conflicts:      87000 | #Constraints:      11313
39.39/39.56	c #Conflicts:      88000 | #Constraints:      12426
39.39/39.56	c #Conflicts:      89000 | #Constraints:      13780
39.39/39.56	c #Conflicts:      90000 | #Constraints:      15457
39.39/39.56	c INPROCESSING
39.39/39.56	c GARBAGE COLLECT
39.39/39.56	c rational objective 208.623
45.07/45.20	c #Conflicts:      91000 | #Constraints:       9332
45.07/45.20	c #Conflicts:      92000 | #Constraints:      10794
45.07/45.20	c #Conflicts:      93000 | #Constraints:      12388
45.07/45.20	c #Conflicts:      94000 | #Constraints:      14096
45.07/45.20	c #Conflicts:      95000 | #Constraints:      15865
45.07/45.20	c #Conflicts:      96000 | #Constraints:      17489
45.07/45.20	c INPROCESSING
45.07/45.20	c GARBAGE COLLECT
45.07/45.20	c rational objective 208.623
48.27/48.49	c #Conflicts:      97000 | #Constraints:      10193
48.27/48.49	c #Conflicts:      98000 | #Constraints:      11268
48.27/48.49	c #Conflicts:      99000 | #Constraints:      12390
48.27/48.49	c #Conflicts:     100000 | #Constraints:      13572
48.27/48.49	c #Conflicts:     101000 | #Constraints:      15004
48.27/48.49	c #Conflicts:     102000 | #Constraints:      16183
48.27/48.49	c #Conflicts:     103000 | #Constraints:      17213
48.27/48.49	c INPROCESSING
48.27/48.49	c GARBAGE COLLECT
48.27/48.49	c rational objective 208.623
51.56/51.79	c #Conflicts:     104000 | #Constraints:      10071
51.56/51.79	c #Conflicts:     105000 | #Constraints:      11226
51.56/51.79	c #Conflicts:     106000 | #Constraints:      12281
51.56/51.79	c #Conflicts:     107000 | #Constraints:      13393
51.56/51.79	c #Conflicts:     108000 | #Constraints:      14482
51.56/51.79	c #Conflicts:     109000 | #Constraints:      15554
51.56/51.79	c #Conflicts:     110000 | #Constraints:      16569
51.56/51.79	c INPROCESSING
51.56/51.79	c GARBAGE COLLECT
51.56/51.79	c rational objective 208.623
54.55/54.72	c #Conflicts:     111000 | #Constraints:       9827
54.55/54.72	c #Conflicts:     112000 | #Constraints:      10908
54.55/54.72	c #Conflicts:     113000 | #Constraints:      11994
54.55/54.72	c #Conflicts:     114000 | #Constraints:      13254
54.55/54.72	c #Conflicts:     115000 | #Constraints:      14274
54.55/54.72	c #Conflicts:     116000 | #Constraints:      15291
54.55/54.72	c #Conflicts:     117000 | #Constraints:      16337
54.55/54.72	c INPROCESSING
54.55/54.72	c GARBAGE COLLECT
54.55/54.72	WSVECS04 Frhs2[4]: 6 0 1691.44 shouldn't be
54.55/54.72	WSVECS04 Frhs2[5]: 6 0 250.068 shouldn't be
54.55/54.72	WSVECS04 Frhs2[7]: 6 0 4600.96 shouldn't be
54.55/54.72	WSVECS04 Frhs2[11]: 6 0 443.949 shouldn't be
54.55/54.72	WSVECS04 Frhs2[13]: 6 -1835.16 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[17]: 6 -405.874 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[19]: 6 0 2410.34 shouldn't be
54.55/54.72	WSVECS04 Frhs2[21]: 6 -160.549 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[23]: 6 0 61.5738 shouldn't be
54.55/54.72	WSVECS04 Frhs2[27]: 6 -813.312 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[28]: 6 0 276.643 shouldn't be
54.55/54.72	WSVECS04 Frhs2[34]: 6 -98.1337 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[38]: 6 0 1783.96 shouldn't be
54.55/54.72	WSVECS04 Frhs2[40]: 6 -274.101 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[41]: 6 -175.919 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[42]: 6 0 166.055 shouldn't be
54.55/54.72	WSVECS04 Frhs2[43]: 6 -1331.66 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[45]: 6 -223.578 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[46]: 6 0 1077.31 shouldn't be
54.55/54.72	WSVECS04 Frhs2[48]: 6 0 1397.09 shouldn't be
54.55/54.72	WSVECS04 Frhs2[49]: 6 0 1301.42 shouldn't be
54.55/54.72	WSVECS04 Frhs2[53]: 6 0 1180.3 shouldn't be
54.55/54.72	WSVECS04 Frhs2[56]: 6 -2.00008 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[58]: 6 0 14.6192 shouldn't be
54.55/54.72	WSVECS04 Frhs2[61]: 6 0 553.988 shouldn't be
54.55/54.72	WSVECS04 Frhs2[63]: 6 0 1113.66 shouldn't be
54.55/54.72	WSVECS04 Frhs2[67]: 6 -531.105 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[69]: 6 0 1378.15 shouldn't be
54.55/54.72	WSVECS04 Frhs2[71]: 6 0 256.494 shouldn't be
54.55/54.72	WSVECS04 Frhs2[72]: 6 -163.717 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[73]: 6 0 755.363 shouldn't be
54.55/54.72	WSVECS04 Frhs2[77]: 6 0 356.818 shouldn't be
54.55/54.72	WSVECS04 Frhs2[84]: 6 -352.823 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[85]: 6 0 1322.4 shouldn't be
54.55/54.72	WSVECS04 Frhs2[86]: 6 0 224.199 shouldn't be
54.55/54.72	WSVECS04 Frhs2[87]: 6 0 17.585 shouldn't be
54.55/54.72	WSVECS04 Frhs2[96]: 6 -51.9515 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[97]: 6 -122.687 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[100]: 6 0 125.911 shouldn't be
54.55/54.72	WSVECS04 Frhs2[101]: 6 0 1473.08 shouldn't be
54.55/54.72	WSVECS04 Frhs2[102]: 6 0 7.49593 shouldn't be
54.55/54.72	WSVECS04 Frhs2[107]: 6 0 415.12 shouldn't be
54.55/54.72	WSVECS04 Frhs2[108]: 6 0 767.426 shouldn't be
54.55/54.72	WSVECS04 Frhs2[113]: 6 0 1.06716 shouldn't be
54.55/54.72	WSVECS04 Frhs2[114]: 6 -1362.91 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[117]: 6 -179.398 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[120]: 6 0 277.773 shouldn't be
54.55/54.72	WSVECS04 Frhs2[121]: 6 0 697.006 shouldn't be
54.55/54.72	WSVECS04 Frhs2[122]: 6 -903.92 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[123]: 6 0 1066.96 shouldn't be
54.55/54.72	WSVECS04 Frhs2[124]: 6 0 112.167 shouldn't be
54.55/54.72	WSVECS04 Frhs2[126]: 6 -845.828 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[130]: 6 -659.296 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[139]: 6 0 193.32 shouldn't be
54.55/54.72	WSVECS04 Frhs2[141]: 6 -855.726 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[144]: 6 0 1139.49 shouldn't be
54.55/54.72	WSVECS04 Frhs2[145]: 6 0 336.046 shouldn't be
54.55/54.72	WSVECS04 Frhs2[146]: 6 -307.509 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[148]: 6 0 90.2533 shouldn't be
54.55/54.72	WSVECS04 Frhs2[150]: 6 0 117.559 shouldn't be
54.55/54.72	WSVECS04 Frhs2[157]: 6 0 36.7596 shouldn't be
54.55/54.72	WSVECS04 Frhs2[175]: 6 -194.203 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[193]: 6 -668.916 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[201]: 6 0 525.881 shouldn't be
54.55/54.72	WSVECS04 Frhs2[207]: 6 0 1518.5 shouldn't be
54.55/54.72	WSVECS04 Frhs2[213]: 6 -255.606 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[217]: 6 -1659.03 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[226]: 6 -449.391 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[228]: 6 0 2069.17 shouldn't be
54.55/54.72	WSVECS04 Frhs2[237]: 6 -641.814 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[244]: 6 0 419.607 shouldn't be
54.55/54.72	WSVECS04 Frhs2[247]: 6 0 2031.41 shouldn't be
54.55/54.72	WSVECS04 Frhs2[251]: 6 -181.52 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[257]: 6 -107.035 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[260]: 6 0 456.34 shouldn't be
54.55/54.72	WSVECS04 Frhs2[263]: 6 0 153.377 shouldn't be
54.55/54.72	WSVECS04 Frhs2[267]: 6 -1146.73 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[268]: 6 -446.437 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[279]: 6 -565.29 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[282]: 6 -2.00005 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[286]: 6 0 663.374 shouldn't be
54.55/54.72	WSVECS04 Frhs2[300]: 6 -23.2554 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[301]: 6 -2069.82 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[304]: 6 -2.00006 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[320]: 6 0 172.695 shouldn't be
54.55/54.72	WSVECS04 Frhs2[336]: 6 -158.066 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[339]: 6 -3087.84 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[365]: 6 -1405.7 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[366]: 6 -2872.91 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[368]: 6 0 123.553 shouldn't be
54.55/54.72	WSVECS04 Frhs2[369]: 6 0 0.278803 shouldn't be
54.55/54.72	WSVECS04 Frhs2[392]: 6 0 481.228 shouldn't be
54.55/54.72	WSVECS04 Frhs2[406]: 6 -156.273 0 shouldn't be
54.55/54.72	WSVECS04 Frhs2[408]: 6 0 411.453 shouldn't be
54.55/54.72	WSVECS04 Frhs2[409]: 6 0 758.929 shouldn't be
54.55/54.72	WSVECS04 Frhs2[421]: 6 0 581.661 shouldn't be
58.04/58.29	c #Conflicts:     118000 | #Constraints:       9886
58.04/58.29	c #Conflicts:     119000 | #Constraints:      11122
58.04/58.29	c #Conflicts:     120000 | #Constraints:      12156
58.04/58.29	c #Conflicts:     121000 | #Constraints:      13270
58.04/58.29	c #Conflicts:     122000 | #Constraints:      14369
58.04/58.29	c #Conflicts:     123000 | #Constraints:      15536
58.04/58.29	c #Conflicts:     124000 | #Constraints:      16552
58.04/58.29	c INPROCESSING
58.04/58.29	c GARBAGE COLLECT
58.04/58.29	WSVECS04 Frhs2[4]: 6 -5.80084 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[7]: 6 0 108.464 shouldn't be
58.04/58.29	WSVECS04 Frhs2[8]: 6 -1.00006 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[13]: 6 -16.0718 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[14]: 6 0 23.4509 shouldn't be
58.04/58.29	WSVECS04 Frhs2[15]: 6 -11.5323 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[18]: 6 -1.70363 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[19]: 6 0 9.46168 shouldn't be
58.04/58.29	WSVECS04 Frhs2[22]: 6 0 5.40954 shouldn't be
58.04/58.29	WSVECS04 Frhs2[23]: 6 -51.3151 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[24]: 6 0 7.66772 shouldn't be
58.04/58.29	WSVECS04 Frhs2[25]: 6 0 21.8367 shouldn't be
58.04/58.29	WSVECS04 Frhs2[29]: 6 0 21.3489 shouldn't be
58.04/58.29	WSVECS04 Frhs2[30]: 6 0 16.6359 shouldn't be
58.04/58.29	WSVECS04 Frhs2[31]: 6 -0.626656 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[33]: 6 -19.0852 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[34]: 6 0 0.070738 shouldn't be
58.04/58.29	WSVECS04 Frhs2[36]: 6 -20.7773 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[37]: 6 -39.0985 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[39]: 6 -15.5377 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[40]: 6 0 6.49009 shouldn't be
58.04/58.29	WSVECS04 Frhs2[43]: 6 -8.02565 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[45]: 6 0 7.61544 shouldn't be
58.04/58.29	WSVECS04 Frhs2[47]: 6 0 4.13284 shouldn't be
58.04/58.29	WSVECS04 Frhs2[49]: 6 0 24.5817 shouldn't be
58.04/58.29	WSVECS04 Frhs2[58]: 6 0 0.611343 shouldn't be
58.04/58.29	WSVECS04 Frhs2[59]: 6 -16.5681 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[63]: 6 0 4.79952 shouldn't be
58.04/58.29	WSVECS04 Frhs2[67]: 6 -9.3533 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[69]: 6 -12.5117 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[70]: 6 -1.1839 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[73]: 6 -7.15292 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[76]: 6 0 5.21501 shouldn't be
58.04/58.29	WSVECS04 Frhs2[80]: 6 -3.63036 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[85]: 6 -12.1018 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[86]: 6 -102.95 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[91]: 6 -26.01 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[92]: 6 0 1.96371 shouldn't be
58.04/58.29	WSVECS04 Frhs2[94]: 6 -19.9151 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[97]: 6 0 27.6428 shouldn't be
58.04/58.29	WSVECS04 Frhs2[99]: 6 -3.60224 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[103]: 6 0 21.5295 shouldn't be
58.04/58.29	WSVECS04 Frhs2[104]: 6 0 21.6853 shouldn't be
58.04/58.29	WSVECS04 Frhs2[106]: 6 0 2.76059 shouldn't be
58.04/58.29	WSVECS04 Frhs2[107]: 6 0 3.44279 shouldn't be
58.04/58.29	WSVECS04 Frhs2[108]: 6 0 20.0209 shouldn't be
58.04/58.29	WSVECS04 Frhs2[118]: 6 0 9.76064 shouldn't be
58.04/58.29	WSVECS04 Frhs2[128]: 6 -9.52822 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[131]: 6 -62.0361 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[132]: 6 0 0.481911 shouldn't be
58.04/58.29	WSVECS04 Frhs2[134]: 6 0 27.1285 shouldn't be
58.04/58.29	WSVECS04 Frhs2[135]: 6 0 43.6153 shouldn't be
58.04/58.29	WSVECS04 Frhs2[136]: 6 0 0.481851 shouldn't be
58.04/58.29	WSVECS04 Frhs2[139]: 6 0 0.94177 shouldn't be
58.04/58.29	WSVECS04 Frhs2[147]: 6 0 2.54419 shouldn't be
58.04/58.29	WSVECS04 Frhs2[150]: 6 -3.2804 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[152]: 6 0 2.727 shouldn't be
58.04/58.29	WSVECS04 Frhs2[154]: 6 -1.37041 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[157]: 6 -4.01456 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[169]: 6 -8.04533 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[172]: 6 0 1.96375 shouldn't be
58.04/58.29	WSVECS04 Frhs2[173]: 6 -14.8935 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[176]: 6 -16.9434 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[184]: 6 -7.0131 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[191]: 6 0 30.1974 shouldn't be
58.04/58.29	WSVECS04 Frhs2[195]: 6 0 0.481863 shouldn't be
58.04/58.29	WSVECS04 Frhs2[207]: 6 -14.9636 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[208]: 6 -6.1385 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[209]: 6 -6.164 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[214]: 6 0 1.42434 shouldn't be
58.04/58.29	WSVECS04 Frhs2[223]: 6 0 7.97674 shouldn't be
58.04/58.29	WSVECS04 Frhs2[231]: 6 -2.1387 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[243]: 6 -14.5273 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[254]: 6 0 0.700295 shouldn't be
58.04/58.29	WSVECS04 Frhs2[270]: 6 -8.22372 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[290]: 6 0 90.2271 shouldn't be
58.04/58.29	WSVECS04 Frhs2[310]: 6 0 19.5202 shouldn't be
58.04/58.29	WSVECS04 Frhs2[318]: 6 0 0.880538 shouldn't be
58.04/58.29	WSVECS04 Frhs2[326]: 6 -1.00059 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[329]: 6 0 6.15246 shouldn't be
58.04/58.29	WSVECS04 Frhs2[350]: 6 0 0.481875 shouldn't be
58.04/58.29	WSVECS04 Frhs2[354]: 6 -2.97996 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[369]: 6 -2.95776 0 shouldn't be
58.04/58.29	WSVECS04 Frhs2[377]: 6 0 14.3149 shouldn't be
58.04/58.29	WSVECS04 Frhs2[396]: 6 0 12.4541 shouldn't be
58.04/58.29	WSVECS04 Frhs2[408]: 6 0 3.4033 shouldn't be
58.04/58.29	WSVECS04 Frhs2[423]: 6 0 0.481869 shouldn't be
58.04/58.29	WSVECS04 Frhs2[424]: 6 0 10.0806 shouldn't be
58.04/58.29	WSVECS04 Frhs2[436]: 6 0 1.96368 shouldn't be
62.84/63.07	c #Conflicts:     125000 | #Constraints:      10154
62.84/63.07	c #Conflicts:     126000 | #Constraints:      11205
62.84/63.07	c #Conflicts:     127000 | #Constraints:      12219
62.84/63.07	c #Conflicts:     128000 | #Constraints:      13389
62.84/63.07	c #Conflicts:     129000 | #Constraints:      14559
62.84/63.07	c #Conflicts:     130000 | #Constraints:      15761
62.84/63.07	c #Conflicts:     131000 | #Constraints:      16774
62.84/63.07	c INPROCESSING
62.84/63.07	c GARBAGE COLLECT
62.84/63.07	WSVECS04 Frhs2[4]: 6 -258.92 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[11]: 6 0 22.6531 shouldn't be
62.84/63.07	WSVECS04 Frhs2[12]: 6 -135.505 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[13]: 6 0 230.986 shouldn't be
62.84/63.07	WSVECS04 Frhs2[16]: 6 0 34.4654 shouldn't be
62.84/63.07	WSVECS04 Frhs2[20]: 6 0 87.3237 shouldn't be
62.84/63.07	WSVECS04 Frhs2[24]: 6 0 158.56 shouldn't be
62.84/63.07	WSVECS04 Frhs2[26]: 6 0 34.5056 shouldn't be
62.84/63.07	WSVECS04 Frhs2[30]: 6 0 208.463 shouldn't be
62.84/63.07	WSVECS04 Frhs2[35]: 6 0 39.0237 shouldn't be
62.84/63.07	WSVECS04 Frhs2[39]: 6 -105.594 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[40]: 6 0 150.125 shouldn't be
62.84/63.07	WSVECS04 Frhs2[41]: 6 0 127.428 shouldn't be
62.84/63.07	WSVECS04 Frhs2[51]: 6 -109.788 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[52]: 6 -113.094 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[54]: 6 0 22.6531 shouldn't be
62.84/63.07	WSVECS04 Frhs2[55]: 6 -198.609 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[56]: 6 -24.6531 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[57]: 6 0 23.1689 shouldn't be
62.84/63.07	WSVECS04 Frhs2[59]: 6 0 242.058 shouldn't be
62.84/63.07	WSVECS04 Frhs2[60]: 6 -21.6671 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[64]: 6 0 129.288 shouldn't be
62.84/63.07	WSVECS04 Frhs2[66]: 6 -138.13 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[69]: 6 0 162.422 shouldn't be
62.84/63.07	WSVECS04 Frhs2[72]: 6 0 31.0874 shouldn't be
62.84/63.07	WSVECS04 Frhs2[74]: 6 -204.094 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[77]: 6 -115.548 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[78]: 6 0 20.1465 shouldn't be
62.84/63.07	WSVECS04 Frhs2[82]: 6 -257.132 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[83]: 6 0 22.8233 shouldn't be
62.84/63.07	WSVECS04 Frhs2[86]: 6 -95.5036 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[88]: 6 -136.519 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[91]: 6 -260.97 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[94]: 6 0 51.2311 shouldn't be
62.84/63.07	WSVECS04 Frhs2[95]: 6 0 213.558 shouldn't be
62.84/63.07	WSVECS04 Frhs2[105]: 6 0 140.923 shouldn't be
62.84/63.07	WSVECS04 Frhs2[106]: 6 0 307.026 shouldn't be
62.84/63.07	WSVECS04 Frhs2[111]: 6 0 235.82 shouldn't be
62.84/63.07	WSVECS04 Frhs2[116]: 6 0 39.7318 shouldn't be
62.84/63.07	WSVECS04 Frhs2[127]: 6 0 180.56 shouldn't be
62.84/63.07	WSVECS04 Frhs2[131]: 6 -340.944 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[137]: 6 -42.6236 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[140]: 6 0 22.6531 shouldn't be
62.84/63.07	WSVECS04 Frhs2[142]: 6 -43.385 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[143]: 6 -287.523 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[153]: 6 0 58.5003 shouldn't be
62.84/63.07	WSVECS04 Frhs2[154]: 6 -143.552 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[157]: 6 -28.2092 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[158]: 6 0 49.7254 shouldn't be
62.84/63.07	WSVECS04 Frhs2[168]: 6 -286.73 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[179]: 6 0 137.198 shouldn't be
62.84/63.07	WSVECS04 Frhs2[182]: 6 -249.703 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[184]: 6 0 191.872 shouldn't be
62.84/63.07	WSVECS04 Frhs2[191]: 6 -118.954 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[202]: 6 0 248.963 shouldn't be
62.84/63.07	WSVECS04 Frhs2[205]: 6 -61.3166 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[207]: 6 0 376.424 shouldn't be
62.84/63.07	WSVECS04 Frhs2[209]: 6 0 58.8144 shouldn't be
62.84/63.07	WSVECS04 Frhs2[210]: 6 -322.431 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[212]: 6 0 203.617 shouldn't be
62.84/63.07	WSVECS04 Frhs2[240]: 6 -48.8332 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[241]: 6 0 22.6531 shouldn't be
62.84/63.07	WSVECS04 Frhs2[249]: 6 0 360.154 shouldn't be
62.84/63.07	WSVECS04 Frhs2[251]: 6 -336.092 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[252]: 6 0 32.6004 shouldn't be
62.84/63.07	WSVECS04 Frhs2[254]: 6 0 297.738 shouldn't be
62.84/63.07	WSVECS04 Frhs2[257]: 6 0 74.1315 shouldn't be
62.84/63.07	WSVECS04 Frhs2[264]: 6 0 84.155 shouldn't be
62.84/63.07	WSVECS04 Frhs2[266]: 6 -24.6531 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[280]: 6 -157.804 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[282]: 6 -24.653 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[288]: 6 0 256.866 shouldn't be
62.84/63.07	WSVECS04 Frhs2[294]: 6 0 71.4017 shouldn't be
62.84/63.07	WSVECS04 Frhs2[298]: 6 -302.028 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[302]: 6 -318.484 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[304]: 6 -24.653 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[305]: 6 0 222.93 shouldn't be
62.84/63.07	WSVECS04 Frhs2[306]: 6 -126.934 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[308]: 6 0 79.7247 shouldn't be
62.84/63.07	WSVECS04 Frhs2[310]: 6 -225.396 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[316]: 6 -299.362 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[317]: 6 -82.5859 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[322]: 6 0 179.156 shouldn't be
62.84/63.07	WSVECS04 Frhs2[325]: 6 -190.181 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[326]: 6 -24.6621 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[333]: 6 -376.208 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[338]: 6 -263.288 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[343]: 6 -1.03334 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[344]: 6 -230.217 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[349]: 6 0 10.6529 shouldn't be
62.84/63.07	WSVECS04 Frhs2[360]: 6 -124.12 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[363]: 6 0 285.12 shouldn't be
62.84/63.07	WSVECS04 Frhs2[365]: 6 0 177.363 shouldn't be
62.84/63.07	WSVECS04 Frhs2[390]: 6 -10.424 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[409]: 6 -221.306 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[410]: 6 -20.178 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[411]: 6 -1.38697 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[413]: 6 0 186.468 shouldn't be
62.84/63.07	WSVECS04 Frhs2[415]: 6 0 202.349 shouldn't be
62.84/63.07	WSVECS04 Frhs2[423]: 6 0 11.3266 shouldn't be
62.84/63.07	WSVECS04 Frhs2[429]: 6 -199.009 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[431]: 6 -386.117 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[435]: 6 -262.297 0 shouldn't be
62.84/63.07	WSVECS04 Frhs2[438]: 6 -22.6124 0 shouldn't be
67.01/67.26	c #Conflicts:     132000 | #Constraints:       9606
67.01/67.26	c #Conflicts:     133000 | #Constraints:      10798
67.01/67.26	c #Conflicts:     134000 | #Constraints:      11853
67.01/67.26	c #Conflicts:     135000 | #Constraints:      12883
67.01/67.26	c #Conflicts:     136000 | #Constraints:      13907
67.01/67.26	c #Conflicts:     137000 | #Constraints:      15451
67.01/67.26	c #Conflicts:     138000 | #Constraints:      16851
67.01/67.26	c #Conflicts:     139000 | #Constraints:      17909
67.01/67.26	c INPROCESSING
67.01/67.26	c GARBAGE COLLECT
67.01/67.26	WSVECS04 Frhs2[6]: 6 0 3.2998 shouldn't be
67.01/67.26	WSVECS04 Frhs2[8]: 6 -2.00003 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[10]: 6 -18.1553 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[14]: 6 0 21.8799 shouldn't be
67.01/67.26	WSVECS04 Frhs2[17]: 6 0 1.47251 shouldn't be
67.01/67.26	WSVECS04 Frhs2[27]: 6 -0.565322 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[41]: 6 0 8.99982 shouldn't be
67.01/67.26	WSVECS04 Frhs2[44]: 6 -43.9236 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[46]: 6 0 39.2085 shouldn't be
67.01/67.26	WSVECS04 Frhs2[61]: 6 -3.43744 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[63]: 6 -6.924 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[64]: 6 0 7.85205 shouldn't be
67.01/67.26	WSVECS04 Frhs2[81]: 6 -0.589978 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[87]: 6 -2.03208 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[97]: 6 -7.97012 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[103]: 6 -1.68949 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[106]: 6 0 21.7389 shouldn't be
67.01/67.26	WSVECS04 Frhs2[107]: 6 -0.870105 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[108]: 6 -3.40372 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[111]: 6 -1.12662 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[112]: 6 -8.03555 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[114]: 6 0 11.4935 shouldn't be
67.01/67.26	WSVECS04 Frhs2[124]: 6 -43.3941 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[134]: 6 -1.08024 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[137]: 6 0 1.45086 shouldn't be
67.01/67.26	WSVECS04 Frhs2[138]: 6 0 0.278696 shouldn't be
67.01/67.26	WSVECS04 Frhs2[141]: 6 0 1.38326 shouldn't be
67.01/67.26	WSVECS04 Frhs2[142]: 6 -15.5339 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[144]: 6 -31.6652 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[148]: 6 0 3.01598 shouldn't be
67.01/67.26	WSVECS04 Frhs2[149]: 6 -26.4906 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[154]: 6 -43.4628 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[161]: 6 -2.01018 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[171]: 6 -14.978 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[173]: 6 -14.4645 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[185]: 6 -7.59869 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[189]: 6 -1.48701 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[199]: 6 -12.6334 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[207]: 6 0 2.87055 shouldn't be
67.01/67.26	WSVECS04 Frhs2[210]: 6 -1.83235 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[213]: 6 -0.107178 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[215]: 6 -36.1884 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[217]: 6 0 11.224 shouldn't be
67.01/67.26	WSVECS04 Frhs2[219]: 6 -37.9215 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[239]: 6 -3.29452 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[244]: 6 0 8.42193 shouldn't be
67.01/67.26	WSVECS04 Frhs2[250]: 6 -2.00006 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[253]: 6 -2.0001 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[254]: 6 0 2.30815 shouldn't be
67.01/67.26	WSVECS04 Frhs2[271]: 6 -14.9741 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[274]: 6 0 4.08716 shouldn't be
67.01/67.26	WSVECS04 Frhs2[281]: 6 0 0.414468 shouldn't be
67.01/67.26	WSVECS04 Frhs2[290]: 6 0 0.330298 shouldn't be
67.01/67.26	WSVECS04 Frhs2[293]: 6 0 34.086 shouldn't be
67.01/67.26	WSVECS04 Frhs2[300]: 6 -36.5416 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[302]: 6 -1.69427 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[315]: 6 -0.252152 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[316]: 6 -26.0024 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[317]: 6 -0.564189 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[324]: 6 -5.98876 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[338]: 6 -10.2842 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[344]: 6 -23.8718 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[349]: 6 -42.6535 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[352]: 6 -6.64195 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[370]: 6 -19.1014 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[395]: 6 0 40.2988 shouldn't be
67.01/67.26	WSVECS04 Frhs2[413]: 6 0 0.539803 shouldn't be
67.01/67.26	WSVECS04 Frhs2[416]: 6 -2.00001 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[424]: 6 -11.1524 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[427]: 6 -2.42852 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[428]: 6 -3.42128 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[431]: 6 -13.6161 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[433]: 6 -23.5954 0 shouldn't be
67.01/67.26	WSVECS04 Frhs2[437]: 6 -3.89715 0 shouldn't be
201.78/202.36	c #Conflicts:     140000 | #Constraints:      10935
201.78/202.36	c #Conflicts:     141000 | #Constraints:      12744
201.78/202.36	c #Conflicts:     142000 | #Constraints:      14347
201.78/202.36	c #Conflicts:     143000 | #Constraints:      15969
201.78/202.36	c #Conflicts:     144000 | #Constraints:      17677
201.78/202.36	c #Conflicts:     145000 | #Constraints:      19434
201.78/202.36	c #Conflicts:     146000 | #Constraints:      21098
201.78/202.36	c #Conflicts:     147000 | #Constraints:      22706
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     148000 | #Constraints:      13493
201.78/202.36	c #Conflicts:     149000 | #Constraints:      15210
201.78/202.36	c #Conflicts:     150000 | #Constraints:      16825
201.78/202.36	c #Conflicts:     151000 | #Constraints:      18558
201.78/202.36	c #Conflicts:     152000 | #Constraints:      20281
201.78/202.36	c #Conflicts:     153000 | #Constraints:      21891
201.78/202.36	c #Conflicts:     154000 | #Constraints:      23528
201.78/202.36	c #Conflicts:     155000 | #Constraints:      25241
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     156000 | #Constraints:      14761
201.78/202.36	c #Conflicts:     157000 | #Constraints:      16340
201.78/202.36	c #Conflicts:     158000 | #Constraints:      17979
201.78/202.36	c #Conflicts:     159000 | #Constraints:      19682
201.78/202.36	c #Conflicts:     160000 | #Constraints:      21326
201.78/202.36	c #Conflicts:     161000 | #Constraints:      22973
201.78/202.36	c #Conflicts:     162000 | #Constraints:      24697
201.78/202.36	c #Conflicts:     163000 | #Constraints:      26510
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     164000 | #Constraints:      15214
201.78/202.36	c #Conflicts:     165000 | #Constraints:      16937
201.78/202.36	c #Conflicts:     166000 | #Constraints:      18690
201.78/202.36	c #Conflicts:     167000 | #Constraints:      20422
201.78/202.36	c #Conflicts:     168000 | #Constraints:      22181
201.78/202.36	c #Conflicts:     169000 | #Constraints:      23879
201.78/202.36	c #Conflicts:     170000 | #Constraints:      25560
201.78/202.36	c #Conflicts:     171000 | #Constraints:      27244
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     172000 | #Constraints:      15259
201.78/202.36	c #Conflicts:     173000 | #Constraints:      17028
201.78/202.36	c #Conflicts:     174000 | #Constraints:      18777
201.78/202.36	c #Conflicts:     175000 | #Constraints:      20587
201.78/202.36	c #Conflicts:     176000 | #Constraints:      22179
201.78/202.36	c #Conflicts:     177000 | #Constraints:      23875
201.78/202.36	c #Conflicts:     178000 | #Constraints:      25531
201.78/202.36	c #Conflicts:     179000 | #Constraints:      27303
201.78/202.36	c #Conflicts:     180000 | #Constraints:      29000
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     181000 | #Constraints:      16554
201.78/202.36	c #Conflicts:     182000 | #Constraints:      18304
201.78/202.36	c #Conflicts:     183000 | #Constraints:      20094
201.78/202.36	c #Conflicts:     184000 | #Constraints:      21938
201.78/202.36	c #Conflicts:     185000 | #Constraints:      23729
201.78/202.36	c #Conflicts:     186000 | #Constraints:      25401
201.78/202.36	c #Conflicts:     187000 | #Constraints:      27159
201.78/202.36	c #Conflicts:     188000 | #Constraints:      28941
201.78/202.36	c #Conflicts:     189000 | #Constraints:      30665
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     190000 | #Constraints:      17531
201.78/202.36	c #Conflicts:     191000 | #Constraints:      19267
201.78/202.36	c #Conflicts:     192000 | #Constraints:      20964
201.78/202.36	c #Conflicts:     193000 | #Constraints:      22669
201.78/202.36	c #Conflicts:     194000 | #Constraints:      24294
201.78/202.36	c #Conflicts:     195000 | #Constraints:      25924
201.78/202.36	c #Conflicts:     196000 | #Constraints:      27553
201.78/202.36	c #Conflicts:     197000 | #Constraints:      29235
201.78/202.36	c #Conflicts:     198000 | #Constraints:      30925
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     199000 | #Constraints:      17716
201.78/202.36	c #Conflicts:     200000 | #Constraints:      19452
201.78/202.36	c #Conflicts:     201000 | #Constraints:      21177
201.78/202.36	c #Conflicts:     202000 | #Constraints:      22804
201.78/202.36	c #Conflicts:     203000 | #Constraints:      24480
201.78/202.36	c #Conflicts:     204000 | #Constraints:      26170
201.78/202.36	c #Conflicts:     205000 | #Constraints:      27833
201.78/202.36	c #Conflicts:     206000 | #Constraints:      29587
201.78/202.36	c #Conflicts:     207000 | #Constraints:      31352
201.78/202.36	c INPROCESSING
201.78/202.36	c GARBAGE COLLECT
201.78/202.36	c #Conflicts:     208000 | #Constraints:      17780
201.78/202.36	c #Conflicts:     209000 | #Constraints:      19563
201.78/202.36	c #Conflicts:     210000 | #Constraints:      21277
201.78/202.36	c #Conflicts:     211000 | #Constraints:      23005
201.78/202.36	c #Conflicts:     212000 | #Constraints:      24683
201.78/202.36	c #Conflicts:     213000 | #Constraints:      26391
349.12/350.04	c #Conflicts:     214000 | #Constraints:      28185
349.12/350.04	c #Conflicts:     215000 | #Constraints:      29912
349.12/350.04	c #Conflicts:     216000 | #Constraints:      31585
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     217000 | #Constraints:      17465
349.12/350.04	c #Conflicts:     218000 | #Constraints:      19238
349.12/350.04	c #Conflicts:     219000 | #Constraints:      20986
349.12/350.04	c #Conflicts:     220000 | #Constraints:      22743
349.12/350.04	c #Conflicts:     221000 | #Constraints:      24497
349.12/350.04	c #Conflicts:     222000 | #Constraints:      26220
349.12/350.04	c #Conflicts:     223000 | #Constraints:      27911
349.12/350.04	c #Conflicts:     224000 | #Constraints:      29644
349.12/350.04	c #Conflicts:     225000 | #Constraints:      31353
349.12/350.04	c #Conflicts:     226000 | #Constraints:      33066
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     227000 | #Constraints:      18607
349.12/350.04	c #Conflicts:     228000 | #Constraints:      20306
349.12/350.04	c #Conflicts:     229000 | #Constraints:      21991
349.12/350.04	c #Conflicts:     230000 | #Constraints:      23733
349.12/350.04	c #Conflicts:     231000 | #Constraints:      25429
349.12/350.04	c #Conflicts:     232000 | #Constraints:      27054
349.12/350.04	c #Conflicts:     233000 | #Constraints:      28727
349.12/350.04	c #Conflicts:     234000 | #Constraints:      30368
349.12/350.04	c #Conflicts:     235000 | #Constraints:      32034
349.12/350.04	c #Conflicts:     236000 | #Constraints:      33786
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     237000 | #Constraints:      19036
349.12/350.04	c #Conflicts:     238000 | #Constraints:      20792
349.12/350.04	c #Conflicts:     239000 | #Constraints:      22508
349.12/350.04	c #Conflicts:     240000 | #Constraints:      24197
349.12/350.04	c #Conflicts:     241000 | #Constraints:      25853
349.12/350.04	c #Conflicts:     242000 | #Constraints:      27648
349.12/350.04	c #Conflicts:     243000 | #Constraints:      29371
349.12/350.04	c #Conflicts:     244000 | #Constraints:      30997
349.12/350.04	c #Conflicts:     245000 | #Constraints:      32633
349.12/350.04	c #Conflicts:     246000 | #Constraints:      34285
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     247000 | #Constraints:      19449
349.12/350.04	c #Conflicts:     248000 | #Constraints:      21083
349.12/350.04	c #Conflicts:     249000 | #Constraints:      22802
349.12/350.04	c #Conflicts:     250000 | #Constraints:      24542
349.12/350.04	c #Conflicts:     251000 | #Constraints:      26208
349.12/350.04	c #Conflicts:     252000 | #Constraints:      27832
349.12/350.04	c #Conflicts:     253000 | #Constraints:      29408
349.12/350.04	c #Conflicts:     254000 | #Constraints:      31007
349.12/350.04	c #Conflicts:     255000 | #Constraints:      32647
349.12/350.04	c #Conflicts:     256000 | #Constraints:      34241
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     257000 | #Constraints:      19144
349.12/350.04	c #Conflicts:     258000 | #Constraints:      20860
349.12/350.04	c #Conflicts:     259000 | #Constraints:      22536
349.12/350.04	c #Conflicts:     260000 | #Constraints:      24178
349.12/350.04	c #Conflicts:     261000 | #Constraints:      25851
349.12/350.04	c #Conflicts:     262000 | #Constraints:      27487
349.12/350.04	c #Conflicts:     263000 | #Constraints:      29142
349.12/350.04	c #Conflicts:     264000 | #Constraints:      30803
349.12/350.04	c #Conflicts:     265000 | #Constraints:      32436
349.12/350.04	c #Conflicts:     266000 | #Constraints:      34020
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     267000 | #Constraints:      18654
349.12/350.04	c #Conflicts:     268000 | #Constraints:      20288
349.12/350.04	c #Conflicts:     269000 | #Constraints:      22105
349.12/350.04	c #Conflicts:     270000 | #Constraints:      23938
349.12/350.04	c #Conflicts:     271000 | #Constraints:      25729
349.12/350.04	c #Conflicts:     272000 | #Constraints:      27576
349.12/350.04	c #Conflicts:     273000 | #Constraints:      29339
349.12/350.04	c #Conflicts:     274000 | #Constraints:      31102
349.12/350.04	c #Conflicts:     275000 | #Constraints:      32756
349.12/350.04	c #Conflicts:     276000 | #Constraints:      34432
349.12/350.04	c #Conflicts:     277000 | #Constraints:      36162
349.12/350.04	c INPROCESSING
349.12/350.04	c GARBAGE COLLECT
349.12/350.04	c #Conflicts:     278000 | #Constraints:      20006
349.12/350.04	c #Conflicts:     279000 | #Constraints:      21666
349.12/350.04	c #Conflicts:     280000 | #Constraints:      23282
349.12/350.04	c #Conflicts:     281000 | #Constraints:      24888
349.12/350.04	c #Conflicts:     282000 | #Constraints:      26475
349.12/350.04	c #Conflicts:     283000 | #Constraints:      28072
349.12/350.04	c #Conflicts:     284000 | #Constraints:      29711
349.12/350.04	c #Conflicts:     285000 | #Constraints:      31377
349.12/350.04	c #Conflicts:     286000 | #Constraints:      33101
349.12/350.04	c #Conflicts:     287000 | #Constraints:      34856
349.12/350.04	c #Conflicts:     288000 | #Constraints:      36609
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     289000 | #Constraints:      20431
487.87/489.13	c #Conflicts:     290000 | #Constraints:      22151
487.87/489.13	c #Conflicts:     291000 | #Constraints:      23807
487.87/489.13	c #Conflicts:     292000 | #Constraints:      25482
487.87/489.13	c #Conflicts:     293000 | #Constraints:      27194
487.87/489.13	c #Conflicts:     294000 | #Constraints:      28784
487.87/489.13	c #Conflicts:     295000 | #Constraints:      30432
487.87/489.13	c #Conflicts:     296000 | #Constraints:      32185
487.87/489.13	c #Conflicts:     297000 | #Constraints:      33900
487.87/489.13	c #Conflicts:     298000 | #Constraints:      35607
487.87/489.13	c #Conflicts:     299000 | #Constraints:      37238
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     300000 | #Constraints:      20790
487.87/489.13	c #Conflicts:     301000 | #Constraints:      22370
487.87/489.13	c #Conflicts:     302000 | #Constraints:      23932
487.87/489.13	c #Conflicts:     303000 | #Constraints:      25535
487.87/489.13	c #Conflicts:     304000 | #Constraints:      27214
487.87/489.13	c #Conflicts:     305000 | #Constraints:      28897
487.87/489.13	c #Conflicts:     306000 | #Constraints:      30513
487.87/489.13	c #Conflicts:     307000 | #Constraints:      32164
487.87/489.13	c #Conflicts:     308000 | #Constraints:      33895
487.87/489.13	c #Conflicts:     309000 | #Constraints:      35659
487.87/489.13	c #Conflicts:     310000 | #Constraints:      37415
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     311000 | #Constraints:      20805
487.87/489.13	c #Conflicts:     312000 | #Constraints:      22528
487.87/489.13	c #Conflicts:     313000 | #Constraints:      24255
487.87/489.13	c #Conflicts:     314000 | #Constraints:      25973
487.87/489.13	c #Conflicts:     315000 | #Constraints:      27623
487.87/489.13	c #Conflicts:     316000 | #Constraints:      29244
487.87/489.13	c #Conflicts:     317000 | #Constraints:      30962
487.87/489.13	c #Conflicts:     318000 | #Constraints:      32710
487.87/489.13	c #Conflicts:     319000 | #Constraints:      34463
487.87/489.13	c #Conflicts:     320000 | #Constraints:      36203
487.87/489.13	c #Conflicts:     321000 | #Constraints:      37957
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     322000 | #Constraints:      20637
487.87/489.13	c #Conflicts:     323000 | #Constraints:      22246
487.87/489.13	c #Conflicts:     324000 | #Constraints:      23876
487.87/489.13	c #Conflicts:     325000 | #Constraints:      25596
487.87/489.13	c #Conflicts:     326000 | #Constraints:      27251
487.87/489.13	c #Conflicts:     327000 | #Constraints:      28811
487.87/489.13	c #Conflicts:     328000 | #Constraints:      30341
487.87/489.13	c #Conflicts:     329000 | #Constraints:      31868
487.87/489.13	c #Conflicts:     330000 | #Constraints:      33431
487.87/489.13	c #Conflicts:     331000 | #Constraints:      34994
487.87/489.13	c #Conflicts:     332000 | #Constraints:      36551
487.87/489.13	c #Conflicts:     333000 | #Constraints:      38223
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     334000 | #Constraints:      21020
487.87/489.13	c #Conflicts:     335000 | #Constraints:      22659
487.87/489.13	c #Conflicts:     336000 | #Constraints:      24438
487.87/489.13	c #Conflicts:     337000 | #Constraints:      26147
487.87/489.13	c #Conflicts:     338000 | #Constraints:      27850
487.87/489.13	c #Conflicts:     339000 | #Constraints:      29618
487.87/489.13	c #Conflicts:     340000 | #Constraints:      31340
487.87/489.13	c #Conflicts:     341000 | #Constraints:      33107
487.87/489.13	c #Conflicts:     342000 | #Constraints:      34822
487.87/489.13	c #Conflicts:     343000 | #Constraints:      36534
487.87/489.13	c #Conflicts:     344000 | #Constraints:      38230
487.87/489.13	c #Conflicts:     345000 | #Constraints:      39910
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     346000 | #Constraints:      22083
487.87/489.13	c #Conflicts:     347000 | #Constraints:      23756
487.87/489.13	c #Conflicts:     348000 | #Constraints:      25502
487.87/489.13	c #Conflicts:     349000 | #Constraints:      27076
487.87/489.13	c #Conflicts:     350000 | #Constraints:      28792
487.87/489.13	c #Conflicts:     351000 | #Constraints:      30437
487.87/489.13	c #Conflicts:     352000 | #Constraints:      32158
487.87/489.13	c #Conflicts:     353000 | #Constraints:      33821
487.87/489.13	c #Conflicts:     354000 | #Constraints:      35467
487.87/489.13	c #Conflicts:     355000 | #Constraints:      37141
487.87/489.13	c #Conflicts:     356000 | #Constraints:      38777
487.87/489.13	c #Conflicts:     357000 | #Constraints:      40447
487.87/489.13	c INPROCESSING
487.87/489.13	c GARBAGE COLLECT
487.87/489.13	c #Conflicts:     358000 | #Constraints:      22426
487.87/489.13	c #Conflicts:     359000 | #Constraints:      24140
487.87/489.13	c #Conflicts:     360000 | #Constraints:      25936
487.87/489.13	c #Conflicts:     361000 | #Constraints:      27597
487.87/489.13	c #Conflicts:     362000 | #Constraints:      29211
638.17/639.82	c #Conflicts:     363000 | #Constraints:      30856
638.17/639.82	c #Conflicts:     364000 | #Constraints:      32527
638.17/639.82	c #Conflicts:     365000 | #Constraints:      34216
638.17/639.82	c #Conflicts:     366000 | #Constraints:      36030
638.17/639.82	c #Conflicts:     367000 | #Constraints:      37725
638.17/639.82	c #Conflicts:     368000 | #Constraints:      39392
638.17/639.82	c #Conflicts:     369000 | #Constraints:      41170
638.17/639.82	c INPROCESSING
638.17/639.82	c GARBAGE COLLECT
638.17/639.82	c #Conflicts:     370000 | #Constraints:      22669
638.17/639.82	c #Conflicts:     371000 | #Constraints:      24491
638.17/639.82	c #Conflicts:     372000 | #Constraints:      26230
638.17/639.82	c #Conflicts:     373000 | #Constraints:      27974
638.17/639.82	c #Conflicts:     374000 | #Constraints:      29717
638.17/639.82	c #Conflicts:     375000 | #Constraints:      31448
638.17/639.82	c #Conflicts:     376000 | #Constraints:      33096
638.17/639.82	c #Conflicts:     377000 | #Constraints:      34773
638.17/639.82	c #Conflicts:     378000 | #Constraints:      36364
638.17/639.82	c #Conflicts:     379000 | #Constraints:      38030
638.17/639.82	c #Conflicts:     380000 | #Constraints:      39675
638.17/639.82	c #Conflicts:     381000 | #Constraints:      41388
638.17/639.82	c INPROCESSING
638.17/639.82	c GARBAGE COLLECT
638.17/639.82	c #Conflicts:     382000 | #Constraints:      22353
638.17/639.82	c #Conflicts:     383000 | #Constraints:      24005
638.17/639.82	c #Conflicts:     384000 | #Constraints:      25720
638.17/639.82	c #Conflicts:     385000 | #Constraints:      27421
638.17/639.82	c #Conflicts:     386000 | #Constraints:      29073
638.17/639.82	c #Conflicts:     387000 | #Constraints:      30761
638.17/639.82	c #Conflicts:     388000 | #Constraints:      32466
638.17/639.82	c #Conflicts:     389000 | #Constraints:      34207
638.17/639.82	c #Conflicts:     390000 | #Constraints:      35950
638.17/639.82	c #Conflicts:     391000 | #Constraints:      37497
638.17/639.82	c #Conflicts:     392000 | #Constraints:      39088
638.17/639.82	c #Conflicts:     393000 | #Constraints:      40653
638.17/639.82	c #Conflicts:     394000 | #Constraints:      42299
638.17/639.82	c INPROCESSING
638.17/639.82	c GARBAGE COLLECT
638.17/639.82	c #Conflicts:     395000 | #Constraints:      23156
638.17/639.82	c #Conflicts:     396000 | #Constraints:      24869
638.17/639.82	c #Conflicts:     397000 | #Constraints:      26643
638.17/639.82	c #Conflicts:     398000 | #Constraints:      28306
638.17/639.82	c #Conflicts:     399000 | #Constraints:      29968
638.17/639.82	c #Conflicts:     400000 | #Constraints:      31662
638.17/639.82	c #Conflicts:     401000 | #Constraints:      33397
638.17/639.82	c #Conflicts:     402000 | #Constraints:      35115
638.17/639.82	c #Conflicts:     403000 | #Constraints:      36733
638.17/639.82	c #Conflicts:     404000 | #Constraints:      38427
638.17/639.82	c #Conflicts:     405000 | #Constraints:      40140
638.17/639.82	c #Conflicts:     406000 | #Constraints:      41793
638.17/639.82	c #Conflicts:     407000 | #Constraints:      43423
638.17/639.82	c INPROCESSING
638.17/639.82	c GARBAGE COLLECT
638.17/639.82	c #Conflicts:     408000 | #Constraints:      23771
638.17/639.82	c #Conflicts:     409000 | #Constraints:      25347
638.17/639.82	c #Conflicts:     410000 | #Constraints:      26991
638.17/639.82	c #Conflicts:     411000 | #Constraints:      28759
638.17/639.82	c #Conflicts:     412000 | #Constraints:      30447
638.17/639.82	c #Conflicts:     413000 | #Constraints:      32024
638.17/639.82	c #Conflicts:     414000 | #Constraints:      33700
638.17/639.82	c #Conflicts:     415000 | #Constraints:      35484
638.17/639.82	c #Conflicts:     416000 | #Constraints:      37265
638.17/639.82	c #Conflicts:     417000 | #Constraints:      39081
638.17/639.82	c #Conflicts:     418000 | #Constraints:      40975
638.17/639.82	c #Conflicts:     419000 | #Constraints:      42682
638.17/639.82	c #Conflicts:     420000 | #Constraints:      44219
638.17/639.82	c INPROCESSING
638.17/639.82	c GARBAGE COLLECT
638.17/639.82	c #Conflicts:     421000 | #Constraints:      24295
638.17/639.82	c #Conflicts:     422000 | #Constraints:      25974
638.17/639.82	c #Conflicts:     423000 | #Constraints:      27631
638.17/639.82	c #Conflicts:     424000 | #Constraints:      29259
638.17/639.82	c #Conflicts:     425000 | #Constraints:      30815
638.17/639.82	c #Conflicts:     426000 | #Constraints:      32323
638.17/639.82	c #Conflicts:     427000 | #Constraints:      33890
638.17/639.82	c #Conflicts:     428000 | #Constraints:      35446
638.17/639.82	c #Conflicts:     429000 | #Constraints:      37026
638.17/639.82	c #Conflicts:     430000 | #Constraints:      38678
638.17/639.82	c #Conflicts:     431000 | #Constraints:      40286
638.17/639.82	c #Conflicts:     432000 | #Constraints:      41879
638.17/639.82	c #Conflicts:     433000 | #Constraints:      43516
638.17/639.82	c INPROCESSING
638.17/639.82	c GARBAGE COLLECT
638.17/639.82	c #Conflicts:     434000 | #Constraints:      23653
638.17/639.82	c #Conflicts:     435000 | #Constraints:      25307
638.17/639.82	c #Conflicts:     436000 | #Constraints:      27012
638.17/639.82	c #Conflicts:     437000 | #Constraints:      28692
790.19/792.28	c #Conflicts:     438000 | #Constraints:      30293
790.19/792.28	c #Conflicts:     439000 | #Constraints:      31902
790.19/792.28	c #Conflicts:     440000 | #Constraints:      33601
790.19/792.28	c #Conflicts:     441000 | #Constraints:      35335
790.19/792.28	c #Conflicts:     442000 | #Constraints:      37068
790.19/792.28	c #Conflicts:     443000 | #Constraints:      38649
790.19/792.28	c #Conflicts:     444000 | #Constraints:      40226
790.19/792.28	c #Conflicts:     445000 | #Constraints:      41943
790.19/792.28	c #Conflicts:     446000 | #Constraints:      43573
790.19/792.28	c INPROCESSING
790.19/792.28	c GARBAGE COLLECT
790.19/792.28	c #Conflicts:     447000 | #Constraints:      23462
790.19/792.28	c #Conflicts:     448000 | #Constraints:      25246
790.19/792.28	c #Conflicts:     449000 | #Constraints:      27037
790.19/792.28	c #Conflicts:     450000 | #Constraints:      28766
790.19/792.28	c #Conflicts:     451000 | #Constraints:      30451
790.19/792.28	c #Conflicts:     452000 | #Constraints:      32242
790.19/792.28	c #Conflicts:     453000 | #Constraints:      33980
790.19/792.28	c #Conflicts:     454000 | #Constraints:      35730
790.19/792.28	c #Conflicts:     455000 | #Constraints:      37480
790.19/792.28	c #Conflicts:     456000 | #Constraints:      39163
790.19/792.28	c #Conflicts:     457000 | #Constraints:      40786
790.19/792.28	c #Conflicts:     458000 | #Constraints:      42428
790.19/792.28	c #Conflicts:     459000 | #Constraints:      44120
790.19/792.28	c #Conflicts:     460000 | #Constraints:      45705
790.19/792.28	c INPROCESSING
790.19/792.28	c GARBAGE COLLECT
790.19/792.28	c #Conflicts:     461000 | #Constraints:      24943
790.19/792.28	c #Conflicts:     462000 | #Constraints:      26665
790.19/792.28	c #Conflicts:     463000 | #Constraints:      28260
790.19/792.28	c #Conflicts:     464000 | #Constraints:      29848
790.19/792.28	c #Conflicts:     465000 | #Constraints:      31507
790.19/792.28	c #Conflicts:     466000 | #Constraints:      33137
790.19/792.28	c #Conflicts:     467000 | #Constraints:      34796
790.19/792.28	c #Conflicts:     468000 | #Constraints:      36444
790.19/792.28	c #Conflicts:     469000 | #Constraints:      38030
790.19/792.28	c #Conflicts:     470000 | #Constraints:      39707
790.19/792.28	c #Conflicts:     471000 | #Constraints:      41278
790.19/792.28	c #Conflicts:     472000 | #Constraints:      42875
790.19/792.28	c #Conflicts:     473000 | #Constraints:      44430
790.19/792.28	c #Conflicts:     474000 | #Constraints:      46151
790.19/792.28	c INPROCESSING
790.19/792.28	c GARBAGE COLLECT
790.19/792.28	c #Conflicts:     475000 | #Constraints:      25335
790.19/792.28	c #Conflicts:     476000 | #Constraints:      27139
790.19/792.28	c #Conflicts:     477000 | #Constraints:      28764
790.19/792.28	c #Conflicts:     478000 | #Constraints:      30368
790.19/792.28	c #Conflicts:     479000 | #Constraints:      32049
790.19/792.28	c #Conflicts:     480000 | #Constraints:      33587
790.19/792.28	c #Conflicts:     481000 | #Constraints:      35124
790.19/792.28	c #Conflicts:     482000 | #Constraints:      36773
790.19/792.28	c #Conflicts:     483000 | #Constraints:      38282
790.19/792.28	c #Conflicts:     484000 | #Constraints:      39973
790.19/792.28	c #Conflicts:     485000 | #Constraints:      41687
790.19/792.28	c #Conflicts:     486000 | #Constraints:      43437
790.19/792.28	c #Conflicts:     487000 | #Constraints:      45107
790.19/792.28	c #Conflicts:     488000 | #Constraints:      46637
790.19/792.28	c INPROCESSING
790.19/792.28	c GARBAGE COLLECT
790.19/792.28	c #Conflicts:     489000 | #Constraints:      25414
790.19/792.28	c #Conflicts:     490000 | #Constraints:      27093
790.19/792.28	c #Conflicts:     491000 | #Constraints:      28769
790.19/792.28	c #Conflicts:     492000 | #Constraints:      30444
790.19/792.28	c #Conflicts:     493000 | #Constraints:      32193
790.19/792.28	c #Conflicts:     494000 | #Constraints:      33944
790.19/792.28	c #Conflicts:     495000 | #Constraints:      35752
790.19/792.28	c #Conflicts:     496000 | #Constraints:      37539
790.19/792.28	c #Conflicts:     497000 | #Constraints:      39310
790.19/792.28	c #Conflicts:     498000 | #Constraints:      41114
790.19/792.28	c #Conflicts:     499000 | #Constraints:      42766
790.19/792.28	c #Conflicts:     500000 | #Constraints:      44392
790.19/792.28	c #Conflicts:     501000 | #Constraints:      46036
790.19/792.28	c #Conflicts:     502000 | #Constraints:      47691
790.19/792.28	c INPROCESSING
790.19/792.28	c GARBAGE COLLECT
790.19/792.28	c #Conflicts:     503000 | #Constraints:      25742
790.19/792.28	c #Conflicts:     504000 | #Constraints:      27310
790.19/792.28	c #Conflicts:     505000 | #Constraints:      28918
790.19/792.28	c #Conflicts:     506000 | #Constraints:      30552
790.19/792.28	c #Conflicts:     507000 | #Constraints:      32193
790.19/792.28	c #Conflicts:     508000 | #Constraints:      33787
790.19/792.28	c #Conflicts:     509000 | #Constraints:      35333
790.19/792.28	c #Conflicts:     510000 | #Constraints:      36895
790.19/792.28	c #Conflicts:     511000 | #Constraints:      38495
790.19/792.28	c #Conflicts:     512000 | #Constraints:      40176
960.45/962.95	c #Conflicts:     513000 | #Constraints:      41781
960.45/962.95	c #Conflicts:     514000 | #Constraints:      43451
960.45/962.95	c #Conflicts:     515000 | #Constraints:      45163
960.45/962.95	c #Conflicts:     516000 | #Constraints:      46936
960.45/962.95	c INPROCESSING
960.45/962.95	c GARBAGE COLLECT
960.45/962.95	c #Conflicts:     517000 | #Constraints:      25173
960.45/962.95	c #Conflicts:     518000 | #Constraints:      26906
960.45/962.95	c #Conflicts:     519000 | #Constraints:      28687
960.45/962.95	c #Conflicts:     520000 | #Constraints:      30475
960.45/962.95	c #Conflicts:     521000 | #Constraints:      32256
960.45/962.95	c #Conflicts:     522000 | #Constraints:      33949
960.45/962.95	c #Conflicts:     523000 | #Constraints:      35562
960.45/962.95	c #Conflicts:     524000 | #Constraints:      37210
960.45/962.95	c #Conflicts:     525000 | #Constraints:      38849
960.45/962.95	c #Conflicts:     526000 | #Constraints:      40455
960.45/962.95	c #Conflicts:     527000 | #Constraints:      42112
960.45/962.95	c #Conflicts:     528000 | #Constraints:      43819
960.45/962.95	c #Conflicts:     529000 | #Constraints:      45519
960.45/962.95	c #Conflicts:     530000 | #Constraints:      47124
960.45/962.95	c #Conflicts:     531000 | #Constraints:      48813
960.45/962.95	c INPROCESSING
960.45/962.95	c GARBAGE COLLECT
960.45/962.95	c #Conflicts:     532000 | #Constraints:      26385
960.45/962.95	c #Conflicts:     533000 | #Constraints:      28010
960.45/962.95	c #Conflicts:     534000 | #Constraints:      29664
960.45/962.95	c #Conflicts:     535000 | #Constraints:      31369
960.45/962.95	c #Conflicts:     536000 | #Constraints:      33013
960.45/962.95	c #Conflicts:     537000 | #Constraints:      34681
960.45/962.95	c #Conflicts:     538000 | #Constraints:      36440
960.45/962.95	c #Conflicts:     539000 | #Constraints:      37938
960.45/962.95	c #Conflicts:     540000 | #Constraints:      39491
960.45/962.95	c #Conflicts:     541000 | #Constraints:      41155
960.45/962.95	c #Conflicts:     542000 | #Constraints:      42855
960.45/962.95	c #Conflicts:     543000 | #Constraints:      44617
960.45/962.95	c #Conflicts:     544000 | #Constraints:      46365
960.45/962.95	c #Conflicts:     545000 | #Constraints:      48141
960.45/962.95	c #Conflicts:     546000 | #Constraints:      49902
960.45/962.95	c INPROCESSING
960.45/962.95	c GARBAGE COLLECT
960.45/962.95	c #Conflicts:     547000 | #Constraints:      27187
960.45/962.95	c #Conflicts:     548000 | #Constraints:      28901
960.45/962.95	c #Conflicts:     549000 | #Constraints:      30656
960.45/962.95	c #Conflicts:     550000 | #Constraints:      32379
960.45/962.95	c #Conflicts:     551000 | #Constraints:      34090
960.45/962.95	c #Conflicts:     552000 | #Constraints:      35776
960.45/962.95	c #Conflicts:     553000 | #Constraints:      37548
960.45/962.95	c #Conflicts:     554000 | #Constraints:      39417
960.45/962.95	c #Conflicts:     555000 | #Constraints:      41227
960.45/962.95	c #Conflicts:     556000 | #Constraints:      43010
960.45/962.95	c #Conflicts:     557000 | #Constraints:      44754
960.45/962.95	c #Conflicts:     558000 | #Constraints:      46451
960.45/962.95	c #Conflicts:     559000 | #Constraints:      47985
960.45/962.95	c #Conflicts:     560000 | #Constraints:      49597
960.45/962.95	c #Conflicts:     561000 | #Constraints:      51207
960.45/962.95	c INPROCESSING
960.45/962.95	c GARBAGE COLLECT
960.45/962.95	c #Conflicts:     562000 | #Constraints:      27690
960.45/962.95	c #Conflicts:     563000 | #Constraints:      29314
960.45/962.95	c #Conflicts:     564000 | #Constraints:      31032
960.45/962.95	c #Conflicts:     565000 | #Constraints:      32576
960.45/962.95	c #Conflicts:     566000 | #Constraints:      34241
960.45/962.95	c #Conflicts:     567000 | #Constraints:      35920
960.45/962.95	c #Conflicts:     568000 | #Constraints:      37670
960.45/962.95	c #Conflicts:     569000 | #Constraints:      39413
960.45/962.95	c #Conflicts:     570000 | #Constraints:      41083
960.45/962.95	c #Conflicts:     571000 | #Constraints:      42705
960.45/962.95	c #Conflicts:     572000 | #Constraints:      44446
960.45/962.95	c #Conflicts:     573000 | #Constraints:      46127
960.45/962.95	c #Conflicts:     574000 | #Constraints:      47872
960.45/962.95	c #Conflicts:     575000 | #Constraints:      49683
960.45/962.95	c #Conflicts:     576000 | #Constraints:      51372
960.45/962.95	c INPROCESSING
960.45/962.95	c GARBAGE COLLECT
960.45/962.95	c #Conflicts:     577000 | #Constraints:      27788
960.45/962.95	c #Conflicts:     578000 | #Constraints:      29487
960.45/962.95	c #Conflicts:     579000 | #Constraints:      31206
960.45/962.95	c #Conflicts:     580000 | #Constraints:      32983
960.45/962.95	c #Conflicts:     581000 | #Constraints:      34541
960.45/962.95	c #Conflicts:     582000 | #Constraints:      36171
960.45/962.95	c #Conflicts:     583000 | #Constraints:      37836
960.45/962.95	c #Conflicts:     584000 | #Constraints:      39459
960.45/962.95	c #Conflicts:     585000 | #Constraints:      41099
960.45/962.95	c #Conflicts:     586000 | #Constraints:      42779
960.45/962.95	c #Conflicts:     587000 | #Constraints:      44474
960.45/962.95	c #Conflicts:     588000 | #Constraints:      46152
1155.66/1158.67	c #Conflicts:     589000 | #Constraints:      47894
1155.66/1158.67	c #Conflicts:     590000 | #Constraints:      49549
1155.66/1158.67	c #Conflicts:     591000 | #Constraints:      51309
1155.66/1158.67	c INPROCESSING
1155.66/1158.67	c GARBAGE COLLECT
1155.66/1158.67	c #Conflicts:     592000 | #Constraints:      27391
1155.66/1158.67	c #Conflicts:     593000 | #Constraints:      29135
1155.66/1158.67	c #Conflicts:     594000 | #Constraints:      30935
1155.66/1158.67	c #Conflicts:     595000 | #Constraints:      32741
1155.66/1158.67	c #Conflicts:     596000 | #Constraints:      34543
1155.66/1158.67	c #Conflicts:     597000 | #Constraints:      36322
1155.66/1158.67	c #Conflicts:     598000 | #Constraints:      38080
1155.66/1158.67	c #Conflicts:     599000 | #Constraints:      39845
1155.66/1158.67	c #Conflicts:     600000 | #Constraints:      41595
1155.66/1158.67	c #Conflicts:     601000 | #Constraints:      43396
1155.66/1158.67	c #Conflicts:     602000 | #Constraints:      45145
1155.66/1158.67	c #Conflicts:     603000 | #Constraints:      46896
1155.66/1158.67	c #Conflicts:     604000 | #Constraints:      48646
1155.66/1158.67	c #Conflicts:     605000 | #Constraints:      50280
1155.66/1158.67	c #Conflicts:     606000 | #Constraints:      51857
1155.66/1158.67	c #Conflicts:     607000 | #Constraints:      53454
1155.66/1158.67	c INPROCESSING
1155.66/1158.67	c GARBAGE COLLECT
1155.66/1158.67	c #Conflicts:     608000 | #Constraints:      28706
1155.66/1158.67	c #Conflicts:     609000 | #Constraints:      30442
1155.66/1158.67	c #Conflicts:     610000 | #Constraints:      32196
1155.66/1158.67	c #Conflicts:     611000 | #Constraints:      33988
1155.66/1158.67	c #Conflicts:     612000 | #Constraints:      35734
1155.66/1158.67	c #Conflicts:     613000 | #Constraints:      37572
1155.66/1158.67	c #Conflicts:     614000 | #Constraints:      39444
1155.66/1158.67	c #Conflicts:     615000 | #Constraints:      41119
1155.66/1158.67	c #Conflicts:     616000 | #Constraints:      42822
1155.66/1158.67	c #Conflicts:     617000 | #Constraints:      44513
1155.66/1158.67	c #Conflicts:     618000 | #Constraints:      46220
1155.66/1158.67	c #Conflicts:     619000 | #Constraints:      47941
1155.66/1158.67	c #Conflicts:     620000 | #Constraints:      49640
1155.66/1158.67	c #Conflicts:     621000 | #Constraints:      51395
1155.66/1158.67	c #Conflicts:     622000 | #Constraints:      53063
1155.66/1158.67	c #Conflicts:     623000 | #Constraints:      54754
1155.66/1158.67	c INPROCESSING
1155.66/1158.67	c GARBAGE COLLECT
1155.66/1158.67	c #Conflicts:     624000 | #Constraints:      29589
1155.66/1158.67	c #Conflicts:     625000 | #Constraints:      31290
1155.66/1158.67	c #Conflicts:     626000 | #Constraints:      32958
1155.66/1158.67	c #Conflicts:     627000 | #Constraints:      34663
1155.66/1158.67	c #Conflicts:     628000 | #Constraints:      36352
1155.66/1158.67	c #Conflicts:     629000 | #Constraints:      38091
1155.66/1158.67	c #Conflicts:     630000 | #Constraints:      39890
1155.66/1158.67	c #Conflicts:     631000 | #Constraints:      41763
1155.66/1158.67	c #Conflicts:     632000 | #Constraints:      43581
1155.66/1158.67	c #Conflicts:     633000 | #Constraints:      45367
1155.66/1158.67	c #Conflicts:     634000 | #Constraints:      47227
1155.66/1158.67	c #Conflicts:     635000 | #Constraints:      48980
1155.66/1158.67	c #Conflicts:     636000 | #Constraints:      50697
1155.66/1158.67	c #Conflicts:     637000 | #Constraints:      52469
1155.66/1158.67	c #Conflicts:     638000 | #Constraints:      54207
1155.66/1158.67	c #Conflicts:     639000 | #Constraints:      55944
1155.66/1158.67	c INPROCESSING
1155.66/1158.67	c GARBAGE COLLECT
1155.66/1158.67	c #Conflicts:     640000 | #Constraints:      30136
1155.66/1158.67	c #Conflicts:     641000 | #Constraints:      31950
1155.66/1158.67	c #Conflicts:     642000 | #Constraints:      33840
1155.66/1158.67	c #Conflicts:     643000 | #Constraints:      35691
1155.66/1158.67	c #Conflicts:     644000 | #Constraints:      37471
1155.66/1158.67	c #Conflicts:     645000 | #Constraints:      39265
1155.66/1158.67	c #Conflicts:     646000 | #Constraints:      41033
1155.66/1158.67	c #Conflicts:     647000 | #Constraints:      42745
1155.66/1158.67	c #Conflicts:     648000 | #Constraints:      44417
1155.66/1158.67	c #Conflicts:     649000 | #Constraints:      46103
1155.66/1158.67	c #Conflicts:     650000 | #Constraints:      47752
1155.66/1158.67	c #Conflicts:     651000 | #Constraints:      49422
1155.66/1158.67	c #Conflicts:     652000 | #Constraints:      51212
1155.66/1158.67	c #Conflicts:     653000 | #Constraints:      53043
1155.66/1158.67	c #Conflicts:     654000 | #Constraints:      54831
1155.66/1158.67	c #Conflicts:     655000 | #Constraints:      56622
1155.66/1158.67	c INPROCESSING
1155.66/1158.67	c GARBAGE COLLECT
1155.66/1158.67	c #Conflicts:     656000 | #Constraints:      30328
1155.66/1158.67	c #Conflicts:     657000 | #Constraints:      32103
1155.66/1158.67	c #Conflicts:     658000 | #Constraints:      33938
1155.66/1158.67	c #Conflicts:     659000 | #Constraints:      35764
1155.66/1158.67	c #Conflicts:     660000 | #Constraints:      37479
1155.66/1158.67	c #Conflicts:     661000 | #Constraints:      39207
1155.66/1158.67	c #Conflicts:     662000 | #Constraints:      40814
1155.66/1158.67	c #Conflicts:     663000 | #Constraints:      42382
1155.66/1158.67	c #Conflicts:     664000 | #Constraints:      43979
1360.24/1363.72	c #Conflicts:     665000 | #Constraints:      45657
1360.24/1363.72	c #Conflicts:     666000 | #Constraints:      47349
1360.24/1363.72	c #Conflicts:     667000 | #Constraints:      49023
1360.24/1363.72	c #Conflicts:     668000 | #Constraints:      50652
1360.24/1363.72	c #Conflicts:     669000 | #Constraints:      52264
1360.24/1363.72	c #Conflicts:     670000 | #Constraints:      53866
1360.24/1363.72	c #Conflicts:     671000 | #Constraints:      55640
1360.24/1363.72	c INPROCESSING
1360.24/1363.72	c GARBAGE COLLECT
1360.24/1363.72	c #Conflicts:     672000 | #Constraints:      29474
1360.24/1363.72	c #Conflicts:     673000 | #Constraints:      31178
1360.24/1363.72	c #Conflicts:     674000 | #Constraints:      32869
1360.24/1363.72	c #Conflicts:     675000 | #Constraints:      34597
1360.24/1363.72	c #Conflicts:     676000 | #Constraints:      36363
1360.24/1363.72	c #Conflicts:     677000 | #Constraints:      38075
1360.24/1363.72	c #Conflicts:     678000 | #Constraints:      39838
1360.24/1363.72	c #Conflicts:     679000 | #Constraints:      41537
1360.24/1363.72	c #Conflicts:     680000 | #Constraints:      43262
1360.24/1363.72	c #Conflicts:     681000 | #Constraints:      44872
1360.24/1363.72	c #Conflicts:     682000 | #Constraints:      46487
1360.24/1363.72	c #Conflicts:     683000 | #Constraints:      48136
1360.24/1363.72	c #Conflicts:     684000 | #Constraints:      49772
1360.24/1363.72	c #Conflicts:     685000 | #Constraints:      51365
1360.24/1363.72	c #Conflicts:     686000 | #Constraints:      53127
1360.24/1363.72	c #Conflicts:     687000 | #Constraints:      54778
1360.24/1363.72	c #Conflicts:     688000 | #Constraints:      56505
1360.24/1363.72	c INPROCESSING
1360.24/1363.72	c GARBAGE COLLECT
1360.24/1363.72	c #Conflicts:     689000 | #Constraints:      30254
1360.24/1363.72	c #Conflicts:     690000 | #Constraints:      31997
1360.24/1363.72	c #Conflicts:     691000 | #Constraints:      33634
1360.24/1363.72	c #Conflicts:     692000 | #Constraints:      35314
1360.24/1363.72	c #Conflicts:     693000 | #Constraints:      37071
1360.24/1363.72	c #Conflicts:     694000 | #Constraints:      38792
1360.24/1363.72	c #Conflicts:     695000 | #Constraints:      40433
1360.24/1363.72	c #Conflicts:     696000 | #Constraints:      42113
1360.24/1363.72	c #Conflicts:     697000 | #Constraints:      43817
1360.24/1363.72	c #Conflicts:     698000 | #Constraints:      45446
1360.24/1363.72	c #Conflicts:     699000 | #Constraints:      47135
1360.24/1363.72	c #Conflicts:     700000 | #Constraints:      48862
1360.24/1363.72	c #Conflicts:     701000 | #Constraints:      50540
1360.24/1363.72	c #Conflicts:     702000 | #Constraints:      52193
1360.24/1363.72	c #Conflicts:     703000 | #Constraints:      53888
1360.24/1363.72	c #Conflicts:     704000 | #Constraints:      55549
1360.24/1363.72	c #Conflicts:     705000 | #Constraints:      57238
1360.24/1363.72	c INPROCESSING
1360.24/1363.72	c GARBAGE COLLECT
1360.24/1363.72	c #Conflicts:     706000 | #Constraints:      30818
1360.24/1363.72	c #Conflicts:     707000 | #Constraints:      32521
1360.24/1363.72	c #Conflicts:     708000 | #Constraints:      34269
1360.24/1363.72	c #Conflicts:     709000 | #Constraints:      36046
1360.24/1363.72	c #Conflicts:     710000 | #Constraints:      37863
1360.24/1363.72	c #Conflicts:     711000 | #Constraints:      39632
1360.24/1363.72	c #Conflicts:     712000 | #Constraints:      41360
1360.24/1363.72	c #Conflicts:     713000 | #Constraints:      43239
1360.24/1363.72	c #Conflicts:     714000 | #Constraints:      44899
1360.24/1363.72	c #Conflicts:     715000 | #Constraints:      46578
1360.24/1363.72	c #Conflicts:     716000 | #Constraints:      48288
1360.24/1363.72	c #Conflicts:     717000 | #Constraints:      50003
1360.24/1363.72	c #Conflicts:     718000 | #Constraints:      51683
1360.24/1363.72	c #Conflicts:     719000 | #Constraints:      53357
1360.24/1363.72	c #Conflicts:     720000 | #Constraints:      55108
1360.24/1363.72	c #Conflicts:     721000 | #Constraints:      56841
1360.24/1363.72	c #Conflicts:     722000 | #Constraints:      58568
1360.24/1363.72	c INPROCESSING
1360.24/1363.72	c GARBAGE COLLECT
1360.24/1363.72	c #Conflicts:     723000 | #Constraints:      31549
1360.24/1363.72	c #Conflicts:     724000 | #Constraints:      33266
1360.24/1363.72	c #Conflicts:     725000 | #Constraints:      34957
1360.24/1363.72	c #Conflicts:     726000 | #Constraints:      36694
1360.24/1363.72	c #Conflicts:     727000 | #Constraints:      38492
1360.24/1363.72	c #Conflicts:     728000 | #Constraints:      40284
1360.24/1363.72	c #Conflicts:     729000 | #Constraints:      42128
1360.24/1363.72	c #Conflicts:     730000 | #Constraints:      43869
1360.24/1363.72	c #Conflicts:     731000 | #Constraints:      45596
1360.24/1363.72	c #Conflicts:     732000 | #Constraints:      47317
1360.24/1363.72	c #Conflicts:     733000 | #Constraints:      48962
1360.24/1363.72	c #Conflicts:     734000 | #Constraints:      50638
1360.24/1363.72	c #Conflicts:     735000 | #Constraints:      52436
1360.24/1363.72	c #Conflicts:     736000 | #Constraints:      54339
1360.24/1363.72	c #Conflicts:     737000 | #Constraints:      56148
1360.24/1363.72	c #Conflicts:     738000 | #Constraints:      57917
1360.24/1363.72	c #Conflicts:     739000 | #Constraints:      59671
1360.24/1363.72	c INPROCESSING
1360.24/1363.72	c GARBAGE COLLECT
1532.17/1536.19	c #Conflicts:     740000 | #Constraints:      31960
1532.17/1536.19	c #Conflicts:     741000 | #Constraints:      33869
1532.17/1536.19	c #Conflicts:     742000 | #Constraints:      35676
1532.17/1536.19	c #Conflicts:     743000 | #Constraints:      37446
1532.17/1536.19	c #Conflicts:     744000 | #Constraints:      39073
1532.17/1536.19	c #Conflicts:     745000 | #Constraints:      40820
1532.17/1536.19	c #Conflicts:     746000 | #Constraints:      42537
1532.17/1536.19	c #Conflicts:     747000 | #Constraints:      44261
1532.17/1536.19	c #Conflicts:     748000 | #Constraints:      45942
1532.17/1536.19	c #Conflicts:     749000 | #Constraints:      47528
1532.17/1536.19	c #Conflicts:     750000 | #Constraints:      49159
1532.17/1536.19	c #Conflicts:     751000 | #Constraints:      50849
1532.17/1536.19	c #Conflicts:     752000 | #Constraints:      52446
1532.17/1536.19	c #Conflicts:     753000 | #Constraints:      54123
1532.17/1536.19	c #Conflicts:     754000 | #Constraints:      55814
1532.17/1536.19	c #Conflicts:     755000 | #Constraints:      57551
1532.17/1536.19	c #Conflicts:     756000 | #Constraints:      59199
1532.17/1536.19	c INPROCESSING
1532.17/1536.19	c GARBAGE COLLECT
1532.17/1536.19	c #Conflicts:     757000 | #Constraints:      31251
1532.17/1536.19	c #Conflicts:     758000 | #Constraints:      32882
1532.17/1536.19	c #Conflicts:     759000 | #Constraints:      34613
1532.17/1536.19	c #Conflicts:     760000 | #Constraints:      36291
1532.17/1536.19	c #Conflicts:     761000 | #Constraints:      37931
1532.17/1536.19	c #Conflicts:     762000 | #Constraints:      39669
1532.17/1536.19	c #Conflicts:     763000 | #Constraints:      41428
1532.17/1536.19	c #Conflicts:     764000 | #Constraints:      43161
1532.17/1536.19	c #Conflicts:     765000 | #Constraints:      44875
1532.17/1536.19	c #Conflicts:     766000 | #Constraints:      46612
1532.17/1536.19	c #Conflicts:     767000 | #Constraints:      48269
1532.17/1536.19	c #Conflicts:     768000 | #Constraints:      50038
1532.17/1536.19	c #Conflicts:     769000 | #Constraints:      51830
1532.17/1536.19	c #Conflicts:     770000 | #Constraints:      53513
1532.17/1536.19	c #Conflicts:     771000 | #Constraints:      55165
1532.17/1536.19	c #Conflicts:     772000 | #Constraints:      56842
1532.17/1536.19	c #Conflicts:     773000 | #Constraints:      58551
1532.17/1536.19	c #Conflicts:     774000 | #Constraints:      60188
1532.17/1536.19	c INPROCESSING
1532.17/1536.19	c GARBAGE COLLECT
1532.17/1536.19	c #Conflicts:     775000 | #Constraints:      32142
1532.17/1536.19	c #Conflicts:     776000 | #Constraints:      33821
1532.17/1536.19	c #Conflicts:     777000 | #Constraints:      35451
1532.17/1536.19	c #Conflicts:     778000 | #Constraints:      37139
1532.17/1536.19	c #Conflicts:     779000 | #Constraints:      38874
1532.17/1536.19	c #Conflicts:     780000 | #Constraints:      40648
1532.17/1536.19	c #Conflicts:     781000 | #Constraints:      42474
1532.17/1536.19	c #Conflicts:     782000 | #Constraints:      44182
1532.17/1536.19	c #Conflicts:     783000 | #Constraints:      45828
1532.17/1536.19	c #Conflicts:     784000 | #Constraints:      47448
1532.17/1536.19	c #Conflicts:     785000 | #Constraints:      49094
1532.17/1536.19	c #Conflicts:     786000 | #Constraints:      50762
1532.17/1536.19	c #Conflicts:     787000 | #Constraints:      52397
1532.17/1536.19	c #Conflicts:     788000 | #Constraints:      54120
1532.17/1536.19	c #Conflicts:     789000 | #Constraints:      55812
1532.17/1536.19	c #Conflicts:     790000 | #Constraints:      57480
1532.17/1536.19	c #Conflicts:     791000 | #Constraints:      59076
1532.17/1536.19	c #Conflicts:     792000 | #Constraints:      60704
1532.17/1536.19	c INPROCESSING
1532.17/1536.19	c GARBAGE COLLECT
1532.17/1536.19	c #Conflicts:     793000 | #Constraints:      32452
1532.17/1536.19	c #Conflicts:     794000 | #Constraints:      34152
1532.17/1536.19	c #Conflicts:     795000 | #Constraints:      35939
1532.17/1536.19	c #Conflicts:     796000 | #Constraints:      37715
1532.17/1536.19	c #Conflicts:     797000 | #Constraints:      39395
1532.17/1536.19	c #Conflicts:     798000 | #Constraints:      41060
1532.17/1536.19	c #Conflicts:     799000 | #Constraints:      42656
1532.17/1536.19	c #Conflicts:     800000 | #Constraints:      44270
1532.17/1536.19	c #Conflicts:     801000 | #Constraints:      45927
1532.17/1536.19	c #Conflicts:     802000 | #Constraints:      47613
1532.17/1536.19	c #Conflicts:     803000 | #Constraints:      49303
1532.17/1536.19	c #Conflicts:     804000 | #Constraints:      51063
1532.17/1536.19	c #Conflicts:     805000 | #Constraints:      52698
1532.17/1536.19	c #Conflicts:     806000 | #Constraints:      54343
1532.17/1536.19	c #Conflicts:     807000 | #Constraints:      56010
1532.17/1536.19	c #Conflicts:     808000 | #Constraints:      57726
1532.17/1536.19	c #Conflicts:     809000 | #Constraints:      59372
1532.17/1536.19	c #Conflicts:     810000 | #Constraints:      61045
1532.17/1536.19	c INPROCESSING
1532.17/1536.19	c GARBAGE COLLECT
1532.17/1536.19	c #Conflicts:     811000 | #Constraints:      32738
1532.17/1536.19	c #Conflicts:     812000 | #Constraints:      34405
1532.17/1536.19	c #Conflicts:     813000 | #Constraints:      36115
1532.17/1536.19	c #Conflicts:     814000 | #Constraints:      37808
1532.17/1536.19	c #Conflicts:     815000 | #Constraints:      39483
1687.08/1691.51	c #Conflicts:     816000 | #Constraints:      41178
1687.08/1691.51	c #Conflicts:     817000 | #Constraints:      42935
1687.08/1691.51	c #Conflicts:     818000 | #Constraints:      44638
1687.08/1691.51	c #Conflicts:     819000 | #Constraints:      46316
1687.08/1691.51	c #Conflicts:     820000 | #Constraints:      47980
1687.08/1691.51	c #Conflicts:     821000 | #Constraints:      49657
1687.08/1691.51	c #Conflicts:     822000 | #Constraints:      51304
1687.08/1691.51	c #Conflicts:     823000 | #Constraints:      52952
1687.08/1691.51	c #Conflicts:     824000 | #Constraints:      54589
1687.08/1691.51	c #Conflicts:     825000 | #Constraints:      56343
1687.08/1691.51	c #Conflicts:     826000 | #Constraints:      58118
1687.08/1691.51	c #Conflicts:     827000 | #Constraints:      59801
1687.08/1691.51	c #Conflicts:     828000 | #Constraints:      61423
1687.08/1691.51	c INPROCESSING
1687.08/1691.51	c GARBAGE COLLECT
1687.08/1691.51	c #Conflicts:     829000 | #Constraints:      32655
1687.08/1691.51	c #Conflicts:     830000 | #Constraints:      34341
1687.08/1691.51	c #Conflicts:     831000 | #Constraints:      35917
1687.08/1691.51	c #Conflicts:     832000 | #Constraints:      37480
1687.08/1691.51	c #Conflicts:     833000 | #Constraints:      39042
1687.08/1691.51	c #Conflicts:     834000 | #Constraints:      40660
1687.08/1691.51	c #Conflicts:     835000 | #Constraints:      42309
1687.08/1691.51	c #Conflicts:     836000 | #Constraints:      44082
1687.08/1691.51	c #Conflicts:     837000 | #Constraints:      45775
1687.08/1691.51	c #Conflicts:     838000 | #Constraints:      47445
1687.08/1691.51	c #Conflicts:     839000 | #Constraints:      49003
1687.08/1691.51	c #Conflicts:     840000 | #Constraints:      50569
1687.08/1691.51	c #Conflicts:     841000 | #Constraints:      52156
1687.08/1691.51	c #Conflicts:     842000 | #Constraints:      53745
1687.08/1691.51	c #Conflicts:     843000 | #Constraints:      55476
1687.08/1691.51	c #Conflicts:     844000 | #Constraints:      57209
1687.08/1691.51	c #Conflicts:     845000 | #Constraints:      59000
1687.08/1691.51	c #Conflicts:     846000 | #Constraints:      60744
1687.08/1691.51	c INPROCESSING
1687.08/1691.51	c GARBAGE COLLECT
1687.08/1691.51	c #Conflicts:     847000 | #Constraints:      31985
1687.08/1691.51	c #Conflicts:     848000 | #Constraints:      33656
1687.08/1691.51	c #Conflicts:     849000 | #Constraints:      35391
1687.08/1691.51	c #Conflicts:     850000 | #Constraints:      36990
1687.08/1691.51	c #Conflicts:     851000 | #Constraints:      38570
1687.08/1691.51	c #Conflicts:     852000 | #Constraints:      40144
1687.08/1691.51	c #Conflicts:     853000 | #Constraints:      41770
1687.08/1691.51	c #Conflicts:     854000 | #Constraints:      43378
1687.08/1691.51	c #Conflicts:     855000 | #Constraints:      44936
1687.08/1691.51	c #Conflicts:     856000 | #Constraints:      46587
1687.08/1691.51	c #Conflicts:     857000 | #Constraints:      48189
1687.08/1691.51	c #Conflicts:     858000 | #Constraints:      49844
1687.08/1691.51	c #Conflicts:     859000 | #Constraints:      51585
1687.08/1691.51	c #Conflicts:     860000 | #Constraints:      53255
1687.08/1691.51	c #Conflicts:     861000 | #Constraints:      55070
1687.08/1691.51	c #Conflicts:     862000 | #Constraints:      56860
1687.08/1691.51	c #Conflicts:     863000 | #Constraints:      58569
1687.08/1691.51	c #Conflicts:     864000 | #Constraints:      60340
1687.08/1691.51	c #Conflicts:     865000 | #Constraints:      61978
1687.08/1691.51	c INPROCESSING
1687.08/1691.51	c GARBAGE COLLECT
1687.08/1691.51	c #Conflicts:     866000 | #Constraints:      32953
1687.08/1691.51	c #Conflicts:     867000 | #Constraints:      34605
1687.08/1691.51	c #Conflicts:     868000 | #Constraints:      36215
1687.08/1691.51	c #Conflicts:     869000 | #Constraints:      37909
1687.08/1691.51	c #Conflicts:     870000 | #Constraints:      39543
1687.08/1691.51	c #Conflicts:     871000 | #Constraints:      41035
1687.08/1691.51	c #Conflicts:     872000 | #Constraints:      42659
1687.08/1691.51	c #Conflicts:     873000 | #Constraints:      44365
1687.08/1691.51	c #Conflicts:     874000 | #Constraints:      46034
1687.08/1691.51	c #Conflicts:     875000 | #Constraints:      47650
1687.08/1691.51	c #Conflicts:     876000 | #Constraints:      49315
1687.08/1691.51	c #Conflicts:     877000 | #Constraints:      51033
1687.08/1691.51	c #Conflicts:     878000 | #Constraints:      52694
1687.08/1691.51	c #Conflicts:     879000 | #Constraints:      54308
1687.08/1691.51	c #Conflicts:     880000 | #Constraints:      56026
1687.08/1691.51	c #Conflicts:     881000 | #Constraints:      57767
1687.08/1691.51	c #Conflicts:     882000 | #Constraints:      59498
1687.08/1691.51	c #Conflicts:     883000 | #Constraints:      61276
1687.08/1691.51	c #Conflicts:     884000 | #Constraints:      62998
1687.08/1691.51	c INPROCESSING
1687.08/1691.51	c GARBAGE COLLECT
1687.08/1691.51	c #Conflicts:     885000 | #Constraints:      33659
1687.08/1691.51	c #Conflicts:     886000 | #Constraints:      35358
1687.08/1691.51	c #Conflicts:     887000 | #Constraints:      37110
1687.08/1691.51	c #Conflicts:     888000 | #Constraints:      38791
1687.08/1691.51	c #Conflicts:     889000 | #Constraints:      40522
1687.08/1691.51	c #Conflicts:     890000 | #Constraints:      42194
1687.08/1691.51	c #Conflicts:     891000 | #Constraints:      43885
1687.08/1691.51	c #Conflicts:     892000 | #Constraints:      45623
1858.49/1863.34	c #Conflicts:     893000 | #Constraints:      47281
1858.49/1863.34	c #Conflicts:     894000 | #Constraints:      49047
1858.49/1863.34	c #Conflicts:     895000 | #Constraints:      50680
1858.49/1863.34	c #Conflicts:     896000 | #Constraints:      52372
1858.49/1863.34	c #Conflicts:     897000 | #Constraints:      54015
1858.49/1863.34	c #Conflicts:     898000 | #Constraints:      55744
1858.49/1863.34	c #Conflicts:     899000 | #Constraints:      57510
1858.49/1863.34	c #Conflicts:     900000 | #Constraints:      59234
1858.49/1863.34	c #Conflicts:     901000 | #Constraints:      60857
1858.49/1863.34	c #Conflicts:     902000 | #Constraints:      62585
1858.49/1863.34	c #Conflicts:     903000 | #Constraints:      64212
1858.49/1863.34	c INPROCESSING
1858.49/1863.34	c GARBAGE COLLECT
1858.49/1863.34	c #Conflicts:     904000 | #Constraints:      34321
1858.49/1863.34	c #Conflicts:     905000 | #Constraints:      35980
1858.49/1863.34	c #Conflicts:     906000 | #Constraints:      37739
1858.49/1863.34	c #Conflicts:     907000 | #Constraints:      39444
1858.49/1863.34	c #Conflicts:     908000 | #Constraints:      41160
1858.49/1863.34	c #Conflicts:     909000 | #Constraints:      42802
1858.49/1863.34	c #Conflicts:     910000 | #Constraints:      44432
1858.49/1863.34	c #Conflicts:     911000 | #Constraints:      46116
1858.49/1863.35	c #Conflicts:     912000 | #Constraints:      47838
1858.49/1863.35	c #Conflicts:     913000 | #Constraints:      49612
1858.49/1863.35	c #Conflicts:     914000 | #Constraints:      51273
1858.49/1863.35	c #Conflicts:     915000 | #Constraints:      52964
1858.49/1863.35	c #Conflicts:     916000 | #Constraints:      54658
1858.49/1863.35	c #Conflicts:     917000 | #Constraints:      56379
1858.49/1863.35	c #Conflicts:     918000 | #Constraints:      58094
1858.49/1863.35	c #Conflicts:     919000 | #Constraints:      59690
1858.49/1863.35	c #Conflicts:     920000 | #Constraints:      61389
1858.49/1863.35	c #Conflicts:     921000 | #Constraints:      63027
1858.49/1863.35	c #Conflicts:     922000 | #Constraints:      64662
1858.49/1863.35	c INPROCESSING
1858.49/1863.35	c GARBAGE COLLECT
1858.49/1863.35	c #Conflicts:     923000 | #Constraints:      34342
1858.49/1863.35	c #Conflicts:     924000 | #Constraints:      36106
1858.49/1863.35	c #Conflicts:     925000 | #Constraints:      37817
1858.49/1863.35	c #Conflicts:     926000 | #Constraints:      39457
1858.49/1863.35	c #Conflicts:     927000 | #Constraints:      41154
1858.49/1863.35	c #Conflicts:     928000 | #Constraints:      42820
1858.49/1863.35	c #Conflicts:     929000 | #Constraints:      44508
1858.49/1863.35	c #Conflicts:     930000 | #Constraints:      46328
1858.49/1863.35	c #Conflicts:     931000 | #Constraints:      48108
1858.49/1863.35	c #Conflicts:     932000 | #Constraints:      49943
1858.49/1863.35	c #Conflicts:     933000 | #Constraints:      51706
1858.49/1863.35	c #Conflicts:     934000 | #Constraints:      53485
1858.49/1863.35	c #Conflicts:     935000 | #Constraints:      55264
1858.49/1863.35	c #Conflicts:     936000 | #Constraints:      56901
1858.49/1863.35	c #Conflicts:     937000 | #Constraints:      58528
1858.49/1863.35	c #Conflicts:     938000 | #Constraints:      60142
1858.49/1863.35	c #Conflicts:     939000 | #Constraints:      61747
1858.49/1863.35	c #Conflicts:     940000 | #Constraints:      63282
1858.49/1863.35	c #Conflicts:     941000 | #Constraints:      64799
1858.49/1863.35	c INPROCESSING
1858.49/1863.35	c GARBAGE COLLECT
1858.49/1863.35	c #Conflicts:     942000 | #Constraints:      34032
1858.49/1863.35	c #Conflicts:     943000 | #Constraints:      35750
1858.49/1863.35	c #Conflicts:     944000 | #Constraints:      37482
1858.49/1863.35	c #Conflicts:     945000 | #Constraints:      39300
1858.49/1863.35	c #Conflicts:     946000 | #Constraints:      40990
1858.49/1863.35	c #Conflicts:     947000 | #Constraints:      42819
1858.49/1863.35	c #Conflicts:     948000 | #Constraints:      44636
1858.49/1863.35	c #Conflicts:     949000 | #Constraints:      46376
1858.49/1863.35	c #Conflicts:     950000 | #Constraints:      48194
1858.49/1863.35	c #Conflicts:     951000 | #Constraints:      49887
1858.49/1863.35	c #Conflicts:     952000 | #Constraints:      51555
1858.49/1863.35	c #Conflicts:     953000 | #Constraints:      53299
1858.49/1863.35	c #Conflicts:     954000 | #Constraints:      55138
1858.49/1863.35	c #Conflicts:     955000 | #Constraints:      56888
1858.49/1863.35	c #Conflicts:     956000 | #Constraints:      58533
1858.49/1863.35	c #Conflicts:     957000 | #Constraints:      60326
1858.49/1863.35	c #Conflicts:     958000 | #Constraints:      62119
1858.49/1863.35	c #Conflicts:     959000 | #Constraints:      63915
1858.49/1863.35	c #Conflicts:     960000 | #Constraints:      65604
1858.49/1863.35	c #Conflicts:     961000 | #Constraints:      67428
1858.49/1863.35	c INPROCESSING
1858.49/1863.35	c GARBAGE COLLECT
1858.49/1863.35	c #Conflicts:     962000 | #Constraints:      35762
1858.49/1863.35	c #Conflicts:     963000 | #Constraints:      37501
1858.49/1863.35	c #Conflicts:     964000 | #Constraints:      39065
1858.49/1863.35	c #Conflicts:     965000 | #Constraints:      40780
1858.49/1863.35	c #Conflicts:     966000 | #Constraints:      42598
1858.49/1863.35	c #Conflicts:     967000 | #Constraints:      44315
1858.49/1863.35	c #Conflicts:     968000 | #Constraints:      46125
2035.82/2041.04	c #Conflicts:     969000 | #Constraints:      47961
2035.82/2041.04	c #Conflicts:     970000 | #Constraints:      49801
2035.82/2041.04	c #Conflicts:     971000 | #Constraints:      51549
2035.82/2041.04	c #Conflicts:     972000 | #Constraints:      53099
2035.82/2041.04	c #Conflicts:     973000 | #Constraints:      54721
2035.82/2041.04	c #Conflicts:     974000 | #Constraints:      56411
2035.82/2041.04	c #Conflicts:     975000 | #Constraints:      58102
2035.82/2041.04	c #Conflicts:     976000 | #Constraints:      59800
2035.82/2041.04	c #Conflicts:     977000 | #Constraints:      61523
2035.82/2041.04	c #Conflicts:     978000 | #Constraints:      63185
2035.82/2041.04	c #Conflicts:     979000 | #Constraints:      64891
2035.82/2041.04	c #Conflicts:     980000 | #Constraints:      66536
2035.82/2041.04	c #Conflicts:     981000 | #Constraints:      68166
2035.82/2041.04	c INPROCESSING
2035.82/2041.04	c GARBAGE COLLECT
2035.82/2041.04	c #Conflicts:     982000 | #Constraints:      36211
2035.82/2041.04	c #Conflicts:     983000 | #Constraints:      37829
2035.82/2041.04	c #Conflicts:     984000 | #Constraints:      39510
2035.82/2041.04	c #Conflicts:     985000 | #Constraints:      41255
2035.82/2041.04	c #Conflicts:     986000 | #Constraints:      42956
2035.82/2041.04	c #Conflicts:     987000 | #Constraints:      44683
2035.82/2041.07	c #Conflicts:     988000 | #Constraints:      46388
2035.82/2041.07	c #Conflicts:     989000 | #Constraints:      48024
2035.82/2041.07	c #Conflicts:     990000 | #Constraints:      49655
2035.82/2041.07	c #Conflicts:     991000 | #Constraints:      51278
2035.82/2041.07	c #Conflicts:     992000 | #Constraints:      52895
2035.82/2041.07	c #Conflicts:     993000 | #Constraints:      54449
2035.82/2041.07	c #Conflicts:     994000 | #Constraints:      56009
2035.82/2041.07	c #Conflicts:     995000 | #Constraints:      57698
2035.82/2041.07	c #Conflicts:     996000 | #Constraints:      59394
2035.82/2041.07	c #Conflicts:     997000 | #Constraints:      61062
2035.82/2041.07	c #Conflicts:     998000 | #Constraints:      62710
2035.82/2041.07	c #Conflicts:     999000 | #Constraints:      64483
2035.82/2041.07	c #Conflicts:    1000000 | #Constraints:      66140
2035.82/2041.07	c #Conflicts:    1001000 | #Constraints:      67727
2035.82/2041.07	c INPROCESSING
2035.82/2041.07	c GARBAGE COLLECT
2035.82/2041.07	c #Conflicts:    1002000 | #Constraints:      35980
2035.82/2041.07	c #Conflicts:    1003000 | #Constraints:      37657
2035.82/2041.07	c #Conflicts:    1004000 | #Constraints:      39356
2035.82/2041.07	c #Conflicts:    1005000 | #Constraints:      41123
2035.82/2041.07	c #Conflicts:    1006000 | #Constraints:      42818
2035.82/2041.07	c #Conflicts:    1007000 | #Constraints:      44596
2035.82/2041.07	c #Conflicts:    1008000 | #Constraints:      46337
2035.82/2041.07	c #Conflicts:    1009000 | #Constraints:      48071
2035.82/2041.07	c #Conflicts:    1010000 | #Constraints:      49740
2035.82/2041.07	c #Conflicts:    1011000 | #Constraints:      51378
2035.82/2041.07	c #Conflicts:    1012000 | #Constraints:      53161
2035.82/2041.07	c #Conflicts:    1013000 | #Constraints:      54944
2035.82/2041.07	c #Conflicts:    1014000 | #Constraints:      56709
2035.82/2041.07	c #Conflicts:    1015000 | #Constraints:      58505
2035.82/2041.07	c #Conflicts:    1016000 | #Constraints:      60287
2035.82/2041.07	c #Conflicts:    1017000 | #Constraints:      62070
2035.82/2041.07	c #Conflicts:    1018000 | #Constraints:      63828
2035.82/2041.07	c #Conflicts:    1019000 | #Constraints:      65524
2035.82/2041.07	c #Conflicts:    1020000 | #Constraints:      67233
2035.82/2041.07	c #Conflicts:    1021000 | #Constraints:      68895
2035.82/2041.07	c INPROCESSING
2035.82/2041.07	c GARBAGE COLLECT
2035.82/2041.07	c #Conflicts:    1022000 | #Constraints:      36420
2035.82/2041.07	c #Conflicts:    1023000 | #Constraints:      38194
2035.82/2041.07	c #Conflicts:    1024000 | #Constraints:      40031
2035.82/2041.07	c #Conflicts:    1025000 | #Constraints:      41842
2035.82/2041.07	c #Conflicts:    1026000 | #Constraints:      43520
2035.82/2041.07	c #Conflicts:    1027000 | #Constraints:      45153
2035.82/2041.07	c #Conflicts:    1028000 | #Constraints:      46808
2035.82/2041.07	c #Conflicts:    1029000 | #Constraints:      48429
2035.82/2041.07	c #Conflicts:    1030000 | #Constraints:      50104
2035.82/2041.07	c #Conflicts:    1031000 | #Constraints:      51719
2035.82/2041.07	c #Conflicts:    1032000 | #Constraints:      53334
2035.82/2041.07	c #Conflicts:    1033000 | #Constraints:      54960
2035.82/2041.07	c #Conflicts:    1034000 | #Constraints:      56658
2035.82/2041.07	c #Conflicts:    1035000 | #Constraints:      58370
2035.82/2041.07	c #Conflicts:    1036000 | #Constraints:      60029
2035.82/2041.07	c #Conflicts:    1037000 | #Constraints:      61773
2035.82/2041.07	c #Conflicts:    1038000 | #Constraints:      63433
2035.82/2041.07	c #Conflicts:    1039000 | #Constraints:      65301
2035.82/2041.07	c #Conflicts:    1040000 | #Constraints:      66944
2035.82/2041.07	c #Conflicts:    1041000 | #Constraints:      68603
2035.82/2041.07	c INPROCESSING
2035.82/2041.07	c GARBAGE COLLECT
2035.82/2041.07	c #Conflicts:    1042000 | #Constraints:      35932
2035.82/2041.07	c #Conflicts:    1043000 | #Constraints:      37572
2035.82/2041.07	c #Conflicts:    1044000 | #Constraints:      39172
2210.24/2215.83	c #Conflicts:    1045000 | #Constraints:      40779
2210.24/2215.83	c #Conflicts:    1046000 | #Constraints:      42346
2210.24/2215.83	c #Conflicts:    1047000 | #Constraints:      43986
2210.24/2215.83	c #Conflicts:    1048000 | #Constraints:      45620
2210.24/2215.83	c #Conflicts:    1049000 | #Constraints:      47263
2210.24/2215.83	c #Conflicts:    1050000 | #Constraints:      48966
2210.24/2215.83	c #Conflicts:    1051000 | #Constraints:      50612
2210.24/2215.83	c #Conflicts:    1052000 | #Constraints:      52248
2210.24/2215.83	c #Conflicts:    1053000 | #Constraints:      53922
2210.24/2215.83	c #Conflicts:    1054000 | #Constraints:      55610
2210.24/2215.83	c #Conflicts:    1055000 | #Constraints:      57302
2210.24/2215.83	c #Conflicts:    1056000 | #Constraints:      58981
2210.24/2215.83	c #Conflicts:    1057000 | #Constraints:      60678
2210.24/2215.83	c #Conflicts:    1058000 | #Constraints:      62381
2210.24/2215.83	c #Conflicts:    1059000 | #Constraints:      64069
2210.24/2215.83	c #Conflicts:    1060000 | #Constraints:      65819
2210.24/2215.83	c #Conflicts:    1061000 | #Constraints:      67631
2210.24/2215.83	c #Conflicts:    1062000 | #Constraints:      69318
2210.24/2215.83	c INPROCESSING
2210.24/2215.83	c GARBAGE COLLECT
2210.24/2215.83	c #Conflicts:    1063000 | #Constraints:      36678
2210.24/2215.83	c #Conflicts:    1064000 | #Constraints:      38426
2210.24/2215.83	c #Conflicts:    1065000 | #Constraints:      40091
2210.24/2215.83	c #Conflicts:    1066000 | #Constraints:      41849
2210.24/2215.83	c #Conflicts:    1067000 | #Constraints:      43528
2210.24/2215.83	c #Conflicts:    1068000 | #Constraints:      45334
2210.24/2215.83	c #Conflicts:    1069000 | #Constraints:      47001
2210.24/2215.83	c #Conflicts:    1070000 | #Constraints:      48774
2210.24/2215.83	c #Conflicts:    1071000 | #Constraints:      50433
2210.24/2215.83	c #Conflicts:    1072000 | #Constraints:      52154
2210.24/2215.83	c #Conflicts:    1073000 | #Constraints:      53903
2210.24/2215.83	c #Conflicts:    1074000 | #Constraints:      55625
2210.24/2215.83	c #Conflicts:    1075000 | #Constraints:      57394
2210.24/2215.83	c #Conflicts:    1076000 | #Constraints:      59148
2210.24/2215.83	c #Conflicts:    1077000 | #Constraints:      60940
2210.24/2215.83	c #Conflicts:    1078000 | #Constraints:      62640
2210.24/2215.83	c #Conflicts:    1079000 | #Constraints:      64324
2210.24/2215.83	c #Conflicts:    1080000 | #Constraints:      66061
2210.24/2215.83	c #Conflicts:    1081000 | #Constraints:      67788
2210.24/2215.83	c #Conflicts:    1082000 | #Constraints:      69617
2210.24/2215.83	c #Conflicts:    1083000 | #Constraints:      71365
2210.24/2215.83	c INPROCESSING
2210.24/2215.83	c GARBAGE COLLECT
2210.24/2215.83	c #Conflicts:    1084000 | #Constraints:      37897
2210.24/2215.83	c #Conflicts:    1085000 | #Constraints:      39638
2210.24/2215.83	c #Conflicts:    1086000 | #Constraints:      41437
2210.24/2215.83	c #Conflicts:    1087000 | #Constraints:      43118
2210.24/2215.83	c #Conflicts:    1088000 | #Constraints:      44774
2210.24/2215.83	c #Conflicts:    1089000 | #Constraints:      46386
2210.24/2215.83	c #Conflicts:    1090000 | #Constraints:      47951
2210.24/2215.83	c #Conflicts:    1091000 | #Constraints:      49559
2210.24/2215.83	c #Conflicts:    1092000 | #Constraints:      51181
2210.24/2215.83	c #Conflicts:    1093000 | #Constraints:      52765
2210.24/2215.83	c #Conflicts:    1094000 | #Constraints:      54495
2210.24/2215.83	c #Conflicts:    1095000 | #Constraints:      56291
2210.24/2215.83	c #Conflicts:    1096000 | #Constraints:      58050
2210.24/2215.83	c #Conflicts:    1097000 | #Constraints:      59698
2210.24/2215.83	c #Conflicts:    1098000 | #Constraints:      61414
2210.24/2215.83	c #Conflicts:    1099000 | #Constraints:      63099
2210.24/2215.83	c #Conflicts:    1100000 | #Constraints:      64765
2210.24/2215.83	c #Conflicts:    1101000 | #Constraints:      66456
2210.24/2215.83	c #Conflicts:    1102000 | #Constraints:      68224
2210.24/2215.83	c #Conflicts:    1103000 | #Constraints:      69948
2210.24/2215.83	c #Conflicts:    1104000 | #Constraints:      71555
2210.24/2215.83	c INPROCESSING
2210.24/2215.83	c GARBAGE COLLECT
2210.24/2215.83	c #Conflicts:    1105000 | #Constraints:      37959
2210.24/2215.83	c #Conflicts:    1106000 | #Constraints:      39691
2210.24/2215.83	c #Conflicts:    1107000 | #Constraints:      41474
2210.24/2215.83	c #Conflicts:    1108000 | #Constraints:      43212
2210.24/2215.83	c #Conflicts:    1109000 | #Constraints:      45038
2210.24/2215.83	c #Conflicts:    1110000 | #Constraints:      46869
2210.24/2215.83	c #Conflicts:    1111000 | #Constraints:      48650
2210.24/2215.83	c #Conflicts:    1112000 | #Constraints:      50470
2210.24/2215.83	c #Conflicts:    1113000 | #Constraints:      52291
2210.24/2215.83	c #Conflicts:    1114000 | #Constraints:      54092
2210.24/2215.83	c #Conflicts:    1115000 | #Constraints:      55923
2210.24/2215.83	c #Conflicts:    1116000 | #Constraints:      57757
2210.24/2215.83	c #Conflicts:    1117000 | #Constraints:      59571
2210.24/2215.83	c #Conflicts:    1118000 | #Constraints:      61420
2210.24/2215.83	c #Conflicts:    1119000 | #Constraints:      63282
2210.24/2215.83	c #Conflicts:    1120000 | #Constraints:      64967
2210.24/2215.83	c #Conflicts:    1121000 | #Constraints:      66701
2386.76/2392.70	c #Conflicts:    1122000 | #Constraints:      68408
2386.76/2392.70	c #Conflicts:    1123000 | #Constraints:      70190
2386.76/2392.70	c #Conflicts:    1124000 | #Constraints:      71976
2386.76/2392.70	c #Conflicts:    1125000 | #Constraints:      73777
2386.76/2392.70	c INPROCESSING
2386.76/2392.70	c GARBAGE COLLECT
2386.76/2392.70	c #Conflicts:    1126000 | #Constraints:      38979
2386.76/2392.70	c #Conflicts:    1127000 | #Constraints:      40784
2386.76/2392.70	c #Conflicts:    1128000 | #Constraints:      42565
2386.76/2392.70	c #Conflicts:    1129000 | #Constraints:      44310
2386.76/2392.70	c #Conflicts:    1130000 | #Constraints:      46102
2386.76/2392.70	c #Conflicts:    1131000 | #Constraints:      47896
2386.76/2392.70	c #Conflicts:    1132000 | #Constraints:      49666
2386.76/2392.70	c #Conflicts:    1133000 | #Constraints:      51270
2386.76/2392.70	c #Conflicts:    1134000 | #Constraints:      52865
2386.76/2392.70	c #Conflicts:    1135000 | #Constraints:      54510
2386.76/2392.70	c #Conflicts:    1136000 | #Constraints:      56219
2386.76/2392.70	c #Conflicts:    1137000 | #Constraints:      57733
2386.76/2392.70	c #Conflicts:    1138000 | #Constraints:      59360
2386.76/2392.70	c #Conflicts:    1139000 | #Constraints:      61016
2386.76/2392.70	c #Conflicts:    1140000 | #Constraints:      62661
2386.76/2392.70	c #Conflicts:    1141000 | #Constraints:      64197
2386.76/2392.70	c #Conflicts:    1142000 | #Constraints:      65763
2386.76/2392.70	c #Conflicts:    1143000 | #Constraints:      67393
2386.76/2392.70	c #Conflicts:    1144000 | #Constraints:      69025
2386.76/2392.70	c #Conflicts:    1145000 | #Constraints:      70676
2386.76/2392.70	c #Conflicts:    1146000 | #Constraints:      72303
2386.76/2392.70	c INPROCESSING
2386.76/2392.70	c GARBAGE COLLECT
2386.76/2392.70	c #Conflicts:    1147000 | #Constraints:      37797
2386.76/2392.70	c #Conflicts:    1148000 | #Constraints:      39441
2386.76/2392.70	c #Conflicts:    1149000 | #Constraints:      40988
2386.76/2392.70	c #Conflicts:    1150000 | #Constraints:      42687
2386.76/2392.70	c #Conflicts:    1151000 | #Constraints:      44284
2386.76/2392.70	c #Conflicts:    1152000 | #Constraints:      45922
2386.76/2392.70	c #Conflicts:    1153000 | #Constraints:      47689
2386.76/2392.70	c #Conflicts:    1154000 | #Constraints:      49482
2386.76/2392.70	c #Conflicts:    1155000 | #Constraints:      51231
2386.76/2392.70	c #Conflicts:    1156000 | #Constraints:      52906
2386.76/2392.70	c #Conflicts:    1157000 | #Constraints:      54574
2386.76/2392.70	c #Conflicts:    1158000 | #Constraints:      56262
2386.76/2392.70	c #Conflicts:    1159000 | #Constraints:      57925
2386.76/2392.70	c #Conflicts:    1160000 | #Constraints:      59560
2386.76/2392.70	c #Conflicts:    1161000 | #Constraints:      61154
2386.76/2392.70	c #Conflicts:    1162000 | #Constraints:      62867
2386.76/2392.70	c #Conflicts:    1163000 | #Constraints:      64615
2386.76/2392.70	c #Conflicts:    1164000 | #Constraints:      66370
2386.76/2392.70	c #Conflicts:    1165000 | #Constraints:      67968
2386.76/2392.70	c #Conflicts:    1166000 | #Constraints:      69617
2386.76/2392.70	c #Conflicts:    1167000 | #Constraints:      71308
2386.76/2392.70	c #Conflicts:    1168000 | #Constraints:      73126
2386.76/2392.70	c INPROCESSING
2386.76/2392.70	c GARBAGE COLLECT
2386.76/2392.70	c #Conflicts:    1169000 | #Constraints:      38461
2386.76/2392.70	c #Conflicts:    1170000 | #Constraints:      40131
2386.76/2392.70	c #Conflicts:    1171000 | #Constraints:      41775
2386.76/2392.70	c #Conflicts:    1172000 | #Constraints:      43530
2386.76/2392.70	c #Conflicts:    1173000 | #Constraints:      45193
2386.76/2392.70	c #Conflicts:    1174000 | #Constraints:      47014
2386.76/2392.70	c #Conflicts:    1175000 | #Constraints:      48677
2386.76/2392.70	c #Conflicts:    1176000 | #Constraints:      50434
2386.76/2392.70	c #Conflicts:    1177000 | #Constraints:      52237
2386.76/2392.70	c #Conflicts:    1178000 | #Constraints:      54012
2386.76/2392.70	c #Conflicts:    1179000 | #Constraints:      55722
2386.76/2392.70	c #Conflicts:    1180000 | #Constraints:      57509
2386.76/2392.70	c #Conflicts:    1181000 | #Constraints:      59291
2386.76/2392.70	c #Conflicts:    1182000 | #Constraints:      60962
2386.76/2392.70	c #Conflicts:    1183000 | #Constraints:      62565
2386.76/2392.70	c #Conflicts:    1184000 | #Constraints:      64264
2386.76/2392.70	c #Conflicts:    1185000 | #Constraints:      65926
2386.76/2392.70	c #Conflicts:    1186000 | #Constraints:      67723
2386.76/2392.70	c #Conflicts:    1187000 | #Constraints:      69491
2386.76/2392.70	c #Conflicts:    1188000 | #Constraints:      71098
2386.76/2392.70	c #Conflicts:    1189000 | #Constraints:      72752
2386.76/2392.70	c #Conflicts:    1190000 | #Constraints:      74461
2386.76/2392.70	c INPROCESSING
2386.76/2392.70	c GARBAGE COLLECT
2386.76/2392.70	c #Conflicts:    1191000 | #Constraints:      39432
2386.76/2392.70	c #Conflicts:    1192000 | #Constraints:      41114
2386.76/2392.70	c #Conflicts:    1193000 | #Constraints:      42654
2386.76/2392.70	c #Conflicts:    1194000 | #Constraints:      44307
2386.76/2392.70	c #Conflicts:    1195000 | #Constraints:      45929
2386.76/2392.70	c #Conflicts:    1196000 | #Constraints:      47543
2386.76/2392.70	c #Conflicts:    1197000 | #Constraints:      49192
2571.57/2577.98	c #Conflicts:    1198000 | #Constraints:      50931
2571.57/2577.98	c #Conflicts:    1199000 | #Constraints:      52737
2571.57/2577.98	c #Conflicts:    1200000 | #Constraints:      54489
2571.57/2577.98	c #Conflicts:    1201000 | #Constraints:      56136
2571.57/2577.98	c #Conflicts:    1202000 | #Constraints:      57718
2571.57/2577.98	c #Conflicts:    1203000 | #Constraints:      59322
2571.57/2577.98	c #Conflicts:    1204000 | #Constraints:      60909
2571.57/2577.98	c #Conflicts:    1205000 | #Constraints:      62591
2571.57/2577.98	c #Conflicts:    1206000 | #Constraints:      64276
2571.57/2577.98	c #Conflicts:    1207000 | #Constraints:      65945
2571.57/2577.98	c #Conflicts:    1208000 | #Constraints:      67646
2571.57/2577.98	c #Conflicts:    1209000 | #Constraints:      69357
2571.57/2577.98	c #Conflicts:    1210000 | #Constraints:      71021
2571.57/2577.98	c #Conflicts:    1211000 | #Constraints:      72728
2571.57/2577.98	c #Conflicts:    1212000 | #Constraints:      74452
2571.57/2577.98	c INPROCESSING
2571.57/2577.98	c GARBAGE COLLECT
2571.57/2577.98	c #Conflicts:    1213000 | #Constraints:      39522
2571.57/2577.98	c #Conflicts:    1214000 | #Constraints:      41325
2571.57/2577.98	c #Conflicts:    1215000 | #Constraints:      43168
2571.57/2577.98	c #Conflicts:    1216000 | #Constraints:      45008
2571.57/2577.98	c #Conflicts:    1217000 | #Constraints:      46847
2571.57/2577.98	c #Conflicts:    1218000 | #Constraints:      48580
2571.57/2577.98	c #Conflicts:    1219000 | #Constraints:      50367
2571.57/2577.98	c #Conflicts:    1220000 | #Constraints:      52138
2571.57/2577.98	c #Conflicts:    1221000 | #Constraints:      53956
2571.57/2577.98	c #Conflicts:    1222000 | #Constraints:      55819
2571.57/2577.98	c #Conflicts:    1223000 | #Constraints:      57609
2571.57/2577.98	c #Conflicts:    1224000 | #Constraints:      59344
2571.57/2577.98	c #Conflicts:    1225000 | #Constraints:      61144
2571.57/2577.98	c #Conflicts:    1226000 | #Constraints:      62855
2571.57/2577.98	c #Conflicts:    1227000 | #Constraints:      64628
2571.57/2577.98	c #Conflicts:    1228000 | #Constraints:      66262
2571.57/2577.98	c #Conflicts:    1229000 | #Constraints:      67957
2571.57/2577.98	c #Conflicts:    1230000 | #Constraints:      69686
2571.57/2577.98	c #Conflicts:    1231000 | #Constraints:      71456
2571.57/2577.98	c #Conflicts:    1232000 | #Constraints:      73255
2571.57/2577.98	c #Conflicts:    1233000 | #Constraints:      74969
2571.57/2577.98	c #Conflicts:    1234000 | #Constraints:      76529
2571.57/2577.98	c INPROCESSING
2571.57/2577.98	c GARBAGE COLLECT
2571.57/2577.98	c #Conflicts:    1235000 | #Constraints:      40248
2571.57/2577.98	c #Conflicts:    1236000 | #Constraints:      41988
2571.57/2577.98	c #Conflicts:    1237000 | #Constraints:      43670
2571.57/2577.98	c #Conflicts:    1238000 | #Constraints:      45393
2571.57/2577.98	c #Conflicts:    1239000 | #Constraints:      46983
2571.57/2577.98	c #Conflicts:    1240000 | #Constraints:      48558
2571.57/2577.98	c #Conflicts:    1241000 | #Constraints:      50214
2571.57/2577.98	c #Conflicts:    1242000 | #Constraints:      51894
2571.57/2577.98	c #Conflicts:    1243000 | #Constraints:      53534
2571.57/2577.98	c #Conflicts:    1244000 | #Constraints:      55262
2571.57/2577.98	c #Conflicts:    1245000 | #Constraints:      56981
2571.57/2577.98	c #Conflicts:    1246000 | #Constraints:      58635
2571.57/2577.98	c #Conflicts:    1247000 | #Constraints:      60404
2571.57/2577.98	c #Conflicts:    1248000 | #Constraints:      62124
2571.57/2577.98	c #Conflicts:    1249000 | #Constraints:      63748
2571.57/2577.98	c #Conflicts:    1250000 | #Constraints:      65437
2571.57/2577.98	c #Conflicts:    1251000 | #Constraints:      67196
2571.57/2577.98	c #Conflicts:    1252000 | #Constraints:      68817
2571.57/2577.98	c #Conflicts:    1253000 | #Constraints:      70522
2571.57/2577.98	c #Conflicts:    1254000 | #Constraints:      72270
2571.57/2577.98	c #Conflicts:    1255000 | #Constraints:      73943
2571.57/2577.98	c #Conflicts:    1256000 | #Constraints:      75522
2571.57/2577.98	c INPROCESSING
2571.57/2577.98	c GARBAGE COLLECT
2571.57/2577.98	c #Conflicts:    1257000 | #Constraints:      39439
2571.57/2577.98	c #Conflicts:    1258000 | #Constraints:      41179
2571.57/2577.98	c #Conflicts:    1259000 | #Constraints:      42945
2571.57/2577.98	c #Conflicts:    1260000 | #Constraints:      44670
2571.57/2577.98	c #Conflicts:    1261000 | #Constraints:      46303
2571.57/2577.98	c #Conflicts:    1262000 | #Constraints:      48017
2571.57/2577.98	c #Conflicts:    1263000 | #Constraints:      49638
2571.57/2577.98	c #Conflicts:    1264000 | #Constraints:      51236
2571.57/2577.98	c #Conflicts:    1265000 | #Constraints:      52840
2571.57/2577.98	c #Conflicts:    1266000 | #Constraints:      54423
2571.57/2577.98	c #Conflicts:    1267000 | #Constraints:      55961
2571.57/2577.98	c #Conflicts:    1268000 | #Constraints:      57521
2571.57/2577.98	c #Conflicts:    1269000 | #Constraints:      59161
2571.57/2577.98	c #Conflicts:    1270000 | #Constraints:      60827
2571.57/2577.98	c #Conflicts:    1271000 | #Constraints:      62490
2571.57/2577.98	c #Conflicts:    1272000 | #Constraints:      64199
2571.57/2577.98	c #Conflicts:    1273000 | #Constraints:      65911
2571.57/2577.98	c #Conflicts:    1274000 | #Constraints:      67651
2750.50/2757.23	c #Conflicts:    1275000 | #Constraints:      69419
2750.50/2757.23	c #Conflicts:    1276000 | #Constraints:      71121
2750.50/2757.23	c #Conflicts:    1277000 | #Constraints:      72861
2750.50/2757.23	c #Conflicts:    1278000 | #Constraints:      74708
2750.50/2757.23	c #Conflicts:    1279000 | #Constraints:      76432
2750.50/2757.23	c INPROCESSING
2750.50/2757.23	c GARBAGE COLLECT
2750.50/2757.23	c #Conflicts:    1280000 | #Constraints:      40234
2750.50/2757.23	c #Conflicts:    1281000 | #Constraints:      41918
2750.50/2757.23	c #Conflicts:    1282000 | #Constraints:      43639
2750.50/2757.23	c #Conflicts:    1283000 | #Constraints:      45327
2750.50/2757.23	c #Conflicts:    1284000 | #Constraints:      47007
2750.50/2757.23	c #Conflicts:    1285000 | #Constraints:      48674
2750.50/2757.23	c #Conflicts:    1286000 | #Constraints:      50322
2750.50/2757.23	c #Conflicts:    1287000 | #Constraints:      51948
2750.50/2757.23	c #Conflicts:    1288000 | #Constraints:      53619
2750.50/2757.23	c #Conflicts:    1289000 | #Constraints:      55290
2750.50/2757.23	c #Conflicts:    1290000 | #Constraints:      56999
2750.50/2757.23	c #Conflicts:    1291000 | #Constraints:      58583
2750.50/2757.23	c #Conflicts:    1292000 | #Constraints:      60228
2750.50/2757.23	c #Conflicts:    1293000 | #Constraints:      61939
2750.50/2757.23	c #Conflicts:    1294000 | #Constraints:      63641
2750.50/2757.23	c #Conflicts:    1295000 | #Constraints:      65294
2750.50/2757.23	c #Conflicts:    1296000 | #Constraints:      67054
2750.50/2757.23	c #Conflicts:    1297000 | #Constraints:      68681
2750.50/2757.23	c #Conflicts:    1298000 | #Constraints:      70367
2750.50/2757.23	c #Conflicts:    1299000 | #Constraints:      72066
2750.50/2757.23	c #Conflicts:    1300000 | #Constraints:      73714
2750.50/2757.23	c #Conflicts:    1301000 | #Constraints:      75342
2750.50/2757.23	c #Conflicts:    1302000 | #Constraints:      77019
2750.50/2757.23	c INPROCESSING
2750.50/2757.23	c GARBAGE COLLECT
2750.50/2757.23	c #Conflicts:    1303000 | #Constraints:      40686
2750.50/2757.23	c #Conflicts:    1304000 | #Constraints:      42455
2750.50/2757.23	c #Conflicts:    1305000 | #Constraints:      44063
2750.50/2757.23	c #Conflicts:    1306000 | #Constraints:      45625
2750.50/2757.23	c #Conflicts:    1307000 | #Constraints:      47294
2750.50/2757.23	c #Conflicts:    1308000 | #Constraints:      48911
2750.50/2757.23	c #Conflicts:    1309000 | #Constraints:      50600
2750.50/2757.23	c #Conflicts:    1310000 | #Constraints:      52329
2750.50/2757.23	c #Conflicts:    1311000 | #Constraints:      54059
2750.50/2757.23	c #Conflicts:    1312000 | #Constraints:      55688
2750.50/2757.23	c #Conflicts:    1313000 | #Constraints:      57264
2750.50/2757.23	c #Conflicts:    1314000 | #Constraints:      58950
2750.50/2757.23	c #Conflicts:    1315000 | #Constraints:      60567
2750.50/2757.23	c #Conflicts:    1316000 | #Constraints:      62200
2750.50/2757.23	c #Conflicts:    1317000 | #Constraints:      63772
2750.50/2757.23	c #Conflicts:    1318000 | #Constraints:      65390
2750.50/2757.23	c #Conflicts:    1319000 | #Constraints:      66992
2750.50/2757.23	c #Conflicts:    1320000 | #Constraints:      68651
2750.50/2757.23	c #Conflicts:    1321000 | #Constraints:      70263
2750.50/2757.23	c #Conflicts:    1322000 | #Constraints:      71818
2750.50/2757.23	c #Conflicts:    1323000 | #Constraints:      73402
2750.50/2757.23	c #Conflicts:    1324000 | #Constraints:      75015
2750.50/2757.23	c #Conflicts:    1325000 | #Constraints:      76625
2750.50/2757.23	c INPROCESSING
2750.50/2757.23	c GARBAGE COLLECT
2750.50/2757.23	c #Conflicts:    1326000 | #Constraints:      40519
2750.50/2757.23	c #Conflicts:    1327000 | #Constraints:      42288
2750.50/2757.23	c #Conflicts:    1328000 | #Constraints:      44003
2750.50/2757.23	c #Conflicts:    1329000 | #Constraints:      45794
2750.50/2757.23	c #Conflicts:    1330000 | #Constraints:      47604
2750.50/2757.23	c #Conflicts:    1331000 | #Constraints:      49366
2750.50/2757.23	c #Conflicts:    1332000 | #Constraints:      51082
2750.50/2757.23	c #Conflicts:    1333000 | #Constraints:      52723
2750.50/2757.23	c #Conflicts:    1334000 | #Constraints:      54347
2750.50/2757.23	c #Conflicts:    1335000 | #Constraints:      56131
2750.50/2757.23	c #Conflicts:    1336000 | #Constraints:      57932
2750.50/2757.23	c #Conflicts:    1337000 | #Constraints:      59713
2750.50/2757.23	c #Conflicts:    1338000 | #Constraints:      61493
2750.50/2757.23	c #Conflicts:    1339000 | #Constraints:      63266
2750.50/2757.23	c #Conflicts:    1340000 | #Constraints:      65061
2750.50/2757.23	c #Conflicts:    1341000 | #Constraints:      66927
2750.50/2757.23	c #Conflicts:    1342000 | #Constraints:      68719
2750.50/2757.23	c #Conflicts:    1343000 | #Constraints:      70494
2750.50/2757.23	c #Conflicts:    1344000 | #Constraints:      72238
2750.50/2757.23	c #Conflicts:    1345000 | #Constraints:      73978
2750.50/2757.23	c #Conflicts:    1346000 | #Constraints:      75668
2750.50/2757.23	c #Conflicts:    1347000 | #Constraints:      77340
2750.50/2757.23	c #Conflicts:    1348000 | #Constraints:      78982
2750.50/2757.23	c INPROCESSING
2750.50/2757.23	c GARBAGE COLLECT
2750.50/2757.23	c #Conflicts:    1349000 | #Constraints:      41521
2750.50/2757.23	c #Conflicts:    1350000 | #Constraints:      43252
2941.90/2949.10	c #Conflicts:    1351000 | #Constraints:      45060
2941.90/2949.10	c #Conflicts:    1352000 | #Constraints:      46863
2941.90/2949.10	c #Conflicts:    1353000 | #Constraints:      48637
2941.90/2949.10	c #Conflicts:    1354000 | #Constraints:      50421
2941.90/2949.10	c #Conflicts:    1355000 | #Constraints:      52209
2941.90/2949.10	c #Conflicts:    1356000 | #Constraints:      53877
2941.90/2949.10	c #Conflicts:    1357000 | #Constraints:      55629
2941.90/2949.10	c #Conflicts:    1358000 | #Constraints:      57308
2941.90/2949.10	c #Conflicts:    1359000 | #Constraints:      58949
2941.90/2949.10	c #Conflicts:    1360000 | #Constraints:      60606
2941.90/2949.10	c #Conflicts:    1361000 | #Constraints:      62246
2941.90/2949.10	c #Conflicts:    1362000 | #Constraints:      63851
2941.90/2949.10	c #Conflicts:    1363000 | #Constraints:      65556
2941.90/2949.10	c #Conflicts:    1364000 | #Constraints:      67269
2941.90/2949.10	c #Conflicts:    1365000 | #Constraints:      68963
2941.90/2949.10	c #Conflicts:    1366000 | #Constraints:      70684
2941.90/2949.10	c #Conflicts:    1367000 | #Constraints:      72440
2941.90/2949.10	c #Conflicts:    1368000 | #Constraints:      74167
2941.90/2949.10	c #Conflicts:    1369000 | #Constraints:      75801
2941.90/2949.10	c #Conflicts:    1370000 | #Constraints:      77479
2941.90/2949.10	c #Conflicts:    1371000 | #Constraints:      79096
2941.90/2949.10	c INPROCESSING
2941.90/2949.10	c GARBAGE COLLECT
2941.90/2949.10	c #Conflicts:    1372000 | #Constraints:      41205
2941.90/2949.10	c #Conflicts:    1373000 | #Constraints:      42906
2941.90/2949.10	c #Conflicts:    1374000 | #Constraints:      44644
2941.90/2949.10	c #Conflicts:    1375000 | #Constraints:      46192
2941.90/2949.10	c #Conflicts:    1376000 | #Constraints:      47746
2941.90/2949.10	c #Conflicts:    1377000 | #Constraints:      49304
2941.90/2949.10	c #Conflicts:    1378000 | #Constraints:      50852
2941.90/2949.10	c #Conflicts:    1379000 | #Constraints:      52486
2941.90/2949.10	c #Conflicts:    1380000 | #Constraints:      54282
2941.90/2949.10	c #Conflicts:    1381000 | #Constraints:      55963
2941.90/2949.10	c #Conflicts:    1382000 | #Constraints:      57599
2941.90/2949.10	c #Conflicts:    1383000 | #Constraints:      59339
2941.90/2949.10	c #Conflicts:    1384000 | #Constraints:      61174
2941.90/2949.10	c #Conflicts:    1385000 | #Constraints:      62909
2941.90/2949.10	c #Conflicts:    1386000 | #Constraints:      64624
2941.90/2949.10	c #Conflicts:    1387000 | #Constraints:      66266
2941.90/2949.10	c #Conflicts:    1388000 | #Constraints:      67907
2941.90/2949.10	c #Conflicts:    1389000 | #Constraints:      69618
2941.90/2949.10	c #Conflicts:    1390000 | #Constraints:      71298
2941.90/2949.10	c #Conflicts:    1391000 | #Constraints:      72997
2941.90/2949.10	c #Conflicts:    1392000 | #Constraints:      74665
2941.90/2949.10	c #Conflicts:    1393000 | #Constraints:      76435
2941.90/2949.10	c #Conflicts:    1394000 | #Constraints:      78041
2941.90/2949.10	c #Conflicts:    1395000 | #Constraints:      79677
2941.90/2949.10	c INPROCESSING
2941.90/2949.10	c GARBAGE COLLECT
2941.90/2949.10	c #Conflicts:    1396000 | #Constraints:      41708
2941.90/2949.10	c #Conflicts:    1397000 | #Constraints:      43374
2941.90/2949.10	c #Conflicts:    1398000 | #Constraints:      45062
2941.90/2949.10	c #Conflicts:    1399000 | #Constraints:      46800
2941.90/2949.10	c #Conflicts:    1400000 | #Constraints:      48568
2941.90/2949.10	c #Conflicts:    1401000 | #Constraints:      50246
2941.90/2949.10	c #Conflicts:    1402000 | #Constraints:      52002
2941.90/2949.10	c #Conflicts:    1403000 | #Constraints:      53742
2941.90/2949.10	c #Conflicts:    1404000 | #Constraints:      55415
2941.90/2949.10	c #Conflicts:    1405000 | #Constraints:      57045
2941.90/2949.10	c #Conflicts:    1406000 | #Constraints:      58800
2941.90/2949.10	c #Conflicts:    1407000 | #Constraints:      60510
2941.90/2949.10	c #Conflicts:    1408000 | #Constraints:      62090
2941.90/2949.10	c #Conflicts:    1409000 | #Constraints:      63792
2941.90/2949.10	c #Conflicts:    1410000 | #Constraints:      65562
2941.90/2949.10	c #Conflicts:    1411000 | #Constraints:      67361
2941.90/2949.10	c #Conflicts:    1412000 | #Constraints:      69042
2941.90/2949.10	c #Conflicts:    1413000 | #Constraints:      70663
2941.90/2949.10	c #Conflicts:    1414000 | #Constraints:      72262
2941.90/2949.10	c #Conflicts:    1415000 | #Constraints:      73997
2941.90/2949.10	c #Conflicts:    1416000 | #Constraints:      75694
2941.90/2949.10	c #Conflicts:    1417000 | #Constraints:      77285
2941.90/2949.10	c #Conflicts:    1418000 | #Constraints:      78939
2941.90/2949.10	c #Conflicts:    1419000 | #Constraints:      80608
2941.90/2949.10	c INPROCESSING
2941.90/2949.10	c GARBAGE COLLECT
2941.90/2949.10	c #Conflicts:    1420000 | #Constraints:      42618
2941.90/2949.10	c #Conflicts:    1421000 | #Constraints:      44435
2941.90/2949.10	c #Conflicts:    1422000 | #Constraints:      46236
2941.90/2949.10	c #Conflicts:    1423000 | #Constraints:      47886
2941.90/2949.10	c #Conflicts:    1424000 | #Constraints:      49539
2941.90/2949.10	c #Conflicts:    1425000 | #Constraints:      51112
2941.90/2949.10	c #Conflicts:    1426000 | #Constraints:      52682
2941.90/2949.10	c #Conflicts:    1427000 | #Constraints:      54323
3121.53/3129.04	c #Conflicts:    1428000 | #Constraints:      55973
3121.53/3129.04	c #Conflicts:    1429000 | #Constraints:      57717
3121.53/3129.04	c #Conflicts:    1430000 | #Constraints:      59497
3121.53/3129.04	c #Conflicts:    1431000 | #Constraints:      61283
3121.53/3129.04	c #Conflicts:    1432000 | #Constraints:      63000
3121.53/3129.04	c #Conflicts:    1433000 | #Constraints:      64701
3121.53/3129.04	c #Conflicts:    1434000 | #Constraints:      66346
3121.53/3129.04	c #Conflicts:    1435000 | #Constraints:      67971
3121.53/3129.04	c #Conflicts:    1436000 | #Constraints:      69587
3121.53/3129.04	c #Conflicts:    1437000 | #Constraints:      71182
3121.53/3129.04	c #Conflicts:    1438000 | #Constraints:      72802
3121.53/3129.04	c #Conflicts:    1439000 | #Constraints:      74569
3121.53/3129.04	c #Conflicts:    1440000 | #Constraints:      76228
3121.53/3129.04	c #Conflicts:    1441000 | #Constraints:      78014
3121.53/3129.04	c #Conflicts:    1442000 | #Constraints:      79707
3121.53/3129.04	c #Conflicts:    1443000 | #Constraints:      81354
3121.53/3129.04	c INPROCESSING
3121.53/3129.04	c GARBAGE COLLECT
3121.53/3129.04	c #Conflicts:    1444000 | #Constraints:      42723
3121.53/3129.04	c #Conflicts:    1445000 | #Constraints:      44441
3121.53/3129.04	c #Conflicts:    1446000 | #Constraints:      46237
3121.53/3129.04	c #Conflicts:    1447000 | #Constraints:      47943
3121.53/3129.04	c #Conflicts:    1448000 | #Constraints:      49598
3121.53/3129.04	c #Conflicts:    1449000 | #Constraints:      51251
3121.53/3129.04	c #Conflicts:    1450000 | #Constraints:      52949
3121.53/3129.04	c #Conflicts:    1451000 | #Constraints:      54717
3121.53/3129.04	c #Conflicts:    1452000 | #Constraints:      56502
3121.53/3129.04	c #Conflicts:    1453000 | #Constraints:      58294
3121.53/3129.04	c #Conflicts:    1454000 | #Constraints:      60000
3121.53/3129.04	c #Conflicts:    1455000 | #Constraints:      61657
3121.53/3129.04	c #Conflicts:    1456000 | #Constraints:      63291
3121.53/3129.04	c #Conflicts:    1457000 | #Constraints:      64901
3121.53/3129.04	c #Conflicts:    1458000 | #Constraints:      66548
3121.53/3129.04	c #Conflicts:    1459000 | #Constraints:      68110
3121.53/3129.04	c #Conflicts:    1460000 | #Constraints:      69726
3121.53/3129.04	c #Conflicts:    1461000 | #Constraints:      71288
3121.53/3129.04	c #Conflicts:    1462000 | #Constraints:      72884
3121.53/3129.04	c #Conflicts:    1463000 | #Constraints:      74488
3121.53/3129.04	c #Conflicts:    1464000 | #Constraints:      76052
3121.53/3129.04	c #Conflicts:    1465000 | #Constraints:      77743
3121.53/3129.04	c #Conflicts:    1466000 | #Constraints:      79444
3121.53/3129.04	c #Conflicts:    1467000 | #Constraints:      81156
3121.53/3129.04	c INPROCESSING
3121.53/3129.04	c GARBAGE COLLECT
3121.53/3129.04	c #Conflicts:    1468000 | #Constraints:      42550
3121.53/3129.04	c #Conflicts:    1469000 | #Constraints:      44201
3121.53/3129.04	c #Conflicts:    1470000 | #Constraints:      45914
3121.53/3129.04	c #Conflicts:    1471000 | #Constraints:      47577
3121.53/3129.04	c #Conflicts:    1472000 | #Constraints:      49258
3121.53/3129.04	c #Conflicts:    1473000 | #Constraints:      50834
3121.53/3129.04	c #Conflicts:    1474000 | #Constraints:      52474
3121.53/3129.04	c #Conflicts:    1475000 | #Constraints:      54107
3121.53/3129.04	c #Conflicts:    1476000 | #Constraints:      55850
3121.53/3129.04	c #Conflicts:    1477000 | #Constraints:      57573
3121.53/3129.04	c #Conflicts:    1478000 | #Constraints:      59207
3121.53/3129.04	c #Conflicts:    1479000 | #Constraints:      60834
3121.53/3129.04	c #Conflicts:    1480000 | #Constraints:      62496
3121.53/3129.04	c #Conflicts:    1481000 | #Constraints:      64209
3121.53/3129.04	c #Conflicts:    1482000 | #Constraints:      65878
3121.53/3129.04	c #Conflicts:    1483000 | #Constraints:      67533
3121.53/3129.04	c #Conflicts:    1484000 | #Constraints:      69162
3121.53/3129.04	c #Conflicts:    1485000 | #Constraints:      70764
3121.53/3129.04	c #Conflicts:    1486000 | #Constraints:      72421
3121.53/3129.04	c #Conflicts:    1487000 | #Constraints:      74004
3121.53/3129.04	c #Conflicts:    1488000 | #Constraints:      75643
3121.53/3129.04	c #Conflicts:    1489000 | #Constraints:      77240
3121.53/3129.04	c #Conflicts:    1490000 | #Constraints:      78854
3121.53/3129.04	c #Conflicts:    1491000 | #Constraints:      80536
3121.53/3129.04	c INPROCESSING
3121.53/3129.04	c GARBAGE COLLECT
3121.53/3129.04	c #Conflicts:    1492000 | #Constraints:      41916
3121.53/3129.04	c #Conflicts:    1493000 | #Constraints:      43620
3121.53/3129.04	c #Conflicts:    1494000 | #Constraints:      45305
3121.53/3129.04	c #Conflicts:    1495000 | #Constraints:      47017
3121.53/3129.04	c #Conflicts:    1496000 | #Constraints:      48677
3121.53/3129.04	c #Conflicts:    1497000 | #Constraints:      50350
3121.53/3129.04	c #Conflicts:    1498000 | #Constraints:      52006
3121.53/3129.04	c #Conflicts:    1499000 | #Constraints:      53694
3121.53/3129.04	c #Conflicts:    1500000 | #Constraints:      55376
3121.53/3129.04	c #Conflicts:    1501000 | #Constraints:      57099
3121.53/3129.04	c #Conflicts:    1502000 | #Constraints:      58786
3121.53/3129.04	c #Conflicts:    1503000 | #Constraints:      60416
3121.53/3129.04	c #Conflicts:    1504000 | #Constraints:      62084
3295.85/3303.78	c #Conflicts:    1505000 | #Constraints:      63802
3295.85/3303.78	c #Conflicts:    1506000 | #Constraints:      65507
3295.85/3303.78	c #Conflicts:    1507000 | #Constraints:      67190
3295.85/3303.78	c #Conflicts:    1508000 | #Constraints:      68856
3295.85/3303.78	c #Conflicts:    1509000 | #Constraints:      70623
3295.85/3303.78	c #Conflicts:    1510000 | #Constraints:      72268
3295.85/3303.78	c #Conflicts:    1511000 | #Constraints:      73888
3295.85/3303.78	c #Conflicts:    1512000 | #Constraints:      75669
3295.85/3303.78	c #Conflicts:    1513000 | #Constraints:      77467
3295.85/3303.78	c #Conflicts:    1514000 | #Constraints:      79223
3295.85/3303.78	c #Conflicts:    1515000 | #Constraints:      80905
3295.85/3303.78	c #Conflicts:    1516000 | #Constraints:      82577
3295.85/3303.78	c INPROCESSING
3295.85/3303.78	c GARBAGE COLLECT
3295.85/3303.78	c #Conflicts:    1517000 | #Constraints:      43250
3295.85/3303.78	c #Conflicts:    1518000 | #Constraints:      44936
3295.85/3303.78	c #Conflicts:    1519000 | #Constraints:      46530
3295.85/3303.78	c #Conflicts:    1520000 | #Constraints:      48148
3295.85/3303.78	c #Conflicts:    1521000 | #Constraints:      49842
3295.85/3303.78	c #Conflicts:    1522000 | #Constraints:      51535
3295.85/3303.78	c #Conflicts:    1523000 | #Constraints:      53292
3295.85/3303.78	c #Conflicts:    1524000 | #Constraints:      54982
3295.85/3303.78	c #Conflicts:    1525000 | #Constraints:      56576
3295.85/3303.78	c #Conflicts:    1526000 | #Constraints:      58215
3295.85/3303.78	c #Conflicts:    1527000 | #Constraints:      59852
3295.85/3303.78	c #Conflicts:    1528000 | #Constraints:      61552
3295.85/3303.78	c #Conflicts:    1529000 | #Constraints:      63181
3295.85/3303.78	c #Conflicts:    1530000 | #Constraints:      64807
3295.85/3303.78	c #Conflicts:    1531000 | #Constraints:      66428
3295.85/3303.78	c #Conflicts:    1532000 | #Constraints:      67997
3295.85/3303.78	c #Conflicts:    1533000 | #Constraints:      69598
3295.85/3303.78	c #Conflicts:    1534000 | #Constraints:      71349
3295.85/3303.78	c #Conflicts:    1535000 | #Constraints:      72984
3295.85/3303.78	c #Conflicts:    1536000 | #Constraints:      74633
3295.85/3303.78	c #Conflicts:    1537000 | #Constraints:      76349
3295.85/3303.78	c #Conflicts:    1538000 | #Constraints:      77973
3295.85/3303.78	c #Conflicts:    1539000 | #Constraints:      79756
3295.85/3303.78	c #Conflicts:    1540000 | #Constraints:      81360
3295.85/3303.78	c #Conflicts:    1541000 | #Constraints:      82922
3295.85/3303.78	c INPROCESSING
3295.85/3303.78	c GARBAGE COLLECT
3295.85/3303.78	c #Conflicts:    1542000 | #Constraints:      43661
3295.85/3303.78	c #Conflicts:    1543000 | #Constraints:      45337
3295.85/3303.78	c #Conflicts:    1544000 | #Constraints:      47006
3295.85/3303.78	c #Conflicts:    1545000 | #Constraints:      48689
3295.85/3303.78	c #Conflicts:    1546000 | #Constraints:      50347
3295.85/3303.78	c #Conflicts:    1547000 | #Constraints:      51976
3295.85/3303.78	c #Conflicts:    1548000 | #Constraints:      53687
3295.85/3303.78	c #Conflicts:    1549000 | #Constraints:      55340
3295.85/3303.78	c #Conflicts:    1550000 | #Constraints:      56881
3295.85/3303.78	c #Conflicts:    1551000 | #Constraints:      58544
3295.85/3303.78	c #Conflicts:    1552000 | #Constraints:      60170
3295.85/3303.78	c #Conflicts:    1553000 | #Constraints:      61836
3295.85/3303.78	c #Conflicts:    1554000 | #Constraints:      63496
3295.85/3303.78	c #Conflicts:    1555000 | #Constraints:      65138
3295.85/3303.78	c #Conflicts:    1556000 | #Constraints:      66824
3295.85/3303.78	c #Conflicts:    1557000 | #Constraints:      68481
3295.85/3303.78	c #Conflicts:    1558000 | #Constraints:      70059
3295.85/3303.78	c #Conflicts:    1559000 | #Constraints:      71756
3295.85/3303.78	c #Conflicts:    1560000 | #Constraints:      73461
3295.85/3303.78	c #Conflicts:    1561000 | #Constraints:      75154
3295.85/3303.78	c #Conflicts:    1562000 | #Constraints:      76856
3295.85/3303.78	c #Conflicts:    1563000 | #Constraints:      78605
3295.85/3303.78	c #Conflicts:    1564000 | #Constraints:      80162
3295.85/3303.78	c #Conflicts:    1565000 | #Constraints:      81681
3295.85/3303.78	c #Conflicts:    1566000 | #Constraints:      83247
3295.85/3303.78	c INPROCESSING
3295.85/3303.78	c GARBAGE COLLECT
3295.85/3303.78	c #Conflicts:    1567000 | #Constraints:      43790
3295.85/3303.78	c #Conflicts:    1568000 | #Constraints:      45541
3295.85/3303.78	c #Conflicts:    1569000 | #Constraints:      47187
3295.85/3303.78	c #Conflicts:    1570000 | #Constraints:      48916
3295.85/3303.78	c #Conflicts:    1571000 | #Constraints:      50623
3295.85/3303.78	c #Conflicts:    1572000 | #Constraints:      52320
3295.85/3303.78	c #Conflicts:    1573000 | #Constraints:      54041
3295.85/3303.78	c #Conflicts:    1574000 | #Constraints:      55808
3295.85/3303.78	c #Conflicts:    1575000 | #Constraints:      57586
3295.85/3303.78	c #Conflicts:    1576000 | #Constraints:      59318
3295.85/3303.78	c #Conflicts:    1577000 | #Constraints:      61088
3295.85/3303.78	c #Conflicts:    1578000 | #Constraints:      62789
3295.85/3303.78	c #Conflicts:    1579000 | #Constraints:      64486
3295.85/3303.78	c #Conflicts:    1580000 | #Constraints:      66207
3295.85/3303.78	c #Conflicts:    1581000 | #Constraints:      67939
3496.12/3504.49	c #Conflicts:    1582000 | #Constraints:      69635
3496.12/3504.49	c #Conflicts:    1583000 | #Constraints:      71363
3496.12/3504.49	c #Conflicts:    1584000 | #Constraints:      73047
3496.12/3504.49	c #Conflicts:    1585000 | #Constraints:      74683
3496.12/3504.49	c #Conflicts:    1586000 | #Constraints:      76340
3496.12/3504.49	c #Conflicts:    1587000 | #Constraints:      78010
3496.12/3504.49	c #Conflicts:    1588000 | #Constraints:      79731
3496.12/3504.49	c #Conflicts:    1589000 | #Constraints:      81353
3496.12/3504.49	c #Conflicts:    1590000 | #Constraints:      83050
3496.12/3504.49	c #Conflicts:    1591000 | #Constraints:      84831
3496.12/3504.49	c INPROCESSING
3496.12/3504.49	c GARBAGE COLLECT
3496.12/3504.49	c #Conflicts:    1592000 | #Constraints:      44404
3496.12/3504.49	c #Conflicts:    1593000 | #Constraints:      46046
3496.12/3504.49	c #Conflicts:    1594000 | #Constraints:      47717
3496.12/3504.49	c #Conflicts:    1595000 | #Constraints:      49463
3496.12/3504.49	c #Conflicts:    1596000 | #Constraints:      51257
3496.12/3504.49	c #Conflicts:    1597000 | #Constraints:      52913
3496.12/3504.49	c #Conflicts:    1598000 | #Constraints:      54543
3496.12/3504.49	c #Conflicts:    1599000 | #Constraints:      56335
3496.12/3504.49	c #Conflicts:    1600000 | #Constraints:      58083
3496.12/3504.49	c #Conflicts:    1601000 | #Constraints:      59861
3496.12/3504.49	c #Conflicts:    1602000 | #Constraints:      61584
3496.12/3504.49	c #Conflicts:    1603000 | #Constraints:      63215
3496.12/3504.49	c #Conflicts:    1604000 | #Constraints:      64834
3496.12/3504.49	c #Conflicts:    1605000 | #Constraints:      66368
3496.12/3504.49	c #Conflicts:    1606000 | #Constraints:      67921
3496.12/3504.49	c #Conflicts:    1607000 | #Constraints:      69625
3496.12/3504.49	c #Conflicts:    1608000 | #Constraints:      71312
3496.12/3504.49	c #Conflicts:    1609000 | #Constraints:      73029
3496.12/3504.49	c #Conflicts:    1610000 | #Constraints:      74730
3496.12/3504.49	c #Conflicts:    1611000 | #Constraints:      76412
3496.12/3504.49	c #Conflicts:    1612000 | #Constraints:      78187
3496.12/3504.49	c #Conflicts:    1613000 | #Constraints:      79938
3496.12/3504.49	c #Conflicts:    1614000 | #Constraints:      81680
3496.12/3504.49	c #Conflicts:    1615000 | #Constraints:      83332
3496.12/3504.49	c #Conflicts:    1616000 | #Constraints:      85022
3496.12/3504.49	c INPROCESSING
3496.12/3504.49	c GARBAGE COLLECT
3496.12/3504.49	c #Conflicts:    1617000 | #Constraints:      44153
3496.12/3504.49	c #Conflicts:    1618000 | #Constraints:      45799
3496.12/3504.49	c #Conflicts:    1619000 | #Constraints:      47424
3496.12/3504.49	c #Conflicts:    1620000 | #Constraints:      49096
3496.12/3504.49	c #Conflicts:    1621000 | #Constraints:      50752
3496.12/3504.49	c #Conflicts:    1622000 | #Constraints:      52492
3496.12/3504.49	c #Conflicts:    1623000 | #Constraints:      54090
3496.12/3504.49	c #Conflicts:    1624000 | #Constraints:      55755
3496.12/3504.49	c #Conflicts:    1625000 | #Constraints:      57528
3496.12/3504.49	c #Conflicts:    1626000 | #Constraints:      59305
3496.12/3504.49	c #Conflicts:    1627000 | #Constraints:      61035
3496.12/3504.49	c #Conflicts:    1628000 | #Constraints:      62723
3496.12/3504.49	c #Conflicts:    1629000 | #Constraints:      64404
3496.12/3504.49	c #Conflicts:    1630000 | #Constraints:      66120
3496.12/3504.49	c #Conflicts:    1631000 | #Constraints:      67909
3496.12/3504.49	c #Conflicts:    1632000 | #Constraints:      69578
3496.12/3504.49	c #Conflicts:    1633000 | #Constraints:      71331
3496.12/3504.49	c #Conflicts:    1634000 | #Constraints:      73200
3496.12/3504.49	c #Conflicts:    1635000 | #Constraints:      75051
3496.12/3504.49	c #Conflicts:    1636000 | #Constraints:      76896
3496.12/3504.49	c #Conflicts:    1637000 | #Constraints:      78725
3496.12/3504.49	c #Conflicts:    1638000 | #Constraints:      80546
3496.12/3504.49	c #Conflicts:    1639000 | #Constraints:      82367
3496.12/3504.49	c #Conflicts:    1640000 | #Constraints:      84160
3496.12/3504.49	c #Conflicts:    1641000 | #Constraints:      85831
3496.12/3504.49	c #Conflicts:    1642000 | #Constraints:      87446
3496.12/3504.49	c INPROCESSING
3496.12/3504.49	c GARBAGE COLLECT
3496.12/3504.49	c #Conflicts:    1643000 | #Constraints:      45646
3496.12/3504.49	c #Conflicts:    1644000 | #Constraints:      47317
3496.12/3504.49	c #Conflicts:    1645000 | #Constraints:      48963
3496.12/3504.49	c #Conflicts:    1646000 | #Constraints:      50598
3496.12/3504.49	c #Conflicts:    1647000 | #Constraints:      52289
3496.12/3504.49	c #Conflicts:    1648000 | #Constraints:      54038
3496.12/3504.49	c #Conflicts:    1649000 | #Constraints:      55705
3496.12/3504.49	c #Conflicts:    1650000 | #Constraints:      57356
3496.12/3504.49	c #Conflicts:    1651000 | #Constraints:      58954
3496.12/3504.49	c #Conflicts:    1652000 | #Constraints:      60594
3496.12/3504.49	c #Conflicts:    1653000 | #Constraints:      62291
3496.12/3504.49	c #Conflicts:    1654000 | #Constraints:      63955
3496.12/3504.49	c #Conflicts:    1655000 | #Constraints:      65611
3496.12/3504.49	c #Conflicts:    1656000 | #Constraints:      67285
3496.12/3504.49	c #Conflicts:    1657000 | #Constraints:      69127
3496.12/3504.49	c #Conflicts:    1658000 | #Constraints:      70909
3600.01/3608.50	c #Conflicts:    1659000 | #Constraints:      72734
3600.01/3608.50	c #Conflicts:    1660000 | #Constraints:      74513
3600.01/3608.50	c #Conflicts:    1661000 | #Constraints:      76167
3600.01/3608.50	c #Conflicts:    1662000 | #Constraints:      77715
3600.01/3608.50	c #Conflicts:    1663000 | #Constraints:      79381
3600.01/3608.50	c #Conflicts:    1664000 | #Constraints:      81011
3600.01/3608.50	c #Conflicts:    1665000 | #Constraints:      82631
3600.01/3608.50	c #Conflicts:    1666000 | #Constraints:      84320
3600.01/3608.50	c #Conflicts:    1667000 | #Constraints:      86020
3600.01/3608.50	c #Conflicts:    1668000 | #Constraints:      87711
3600.01/3608.50	c INPROCESSING
3600.01/3608.50	c GARBAGE COLLECT
3600.01/3608.50	c #Conflicts:    1669000 | #Constraints:      45944
3600.01/3608.50	c #Conflicts:    1670000 | #Constraints:      47609
3600.01/3608.50	c #Conflicts:    1671000 | #Constraints:      49299
3600.01/3608.50	c #Conflicts:    1672000 | #Constraints:      51019
3600.01/3608.50	c #Conflicts:    1673000 | #Constraints:      52687
3600.01/3608.50	c #Conflicts:    1674000 | #Constraints:      54429
3600.01/3608.50	c #Conflicts:    1675000 | #Constraints:      56192
3600.01/3608.50	c #Conflicts:    1676000 | #Constraints:      57929
3600.01/3608.50	c #Conflicts:    1677000 | #Constraints:      59605
3600.01/3608.50	c #Conflicts:    1678000 | #Constraints:      61315
3600.01/3608.50	c #Conflicts:    1679000 | #Constraints:      62987
3600.01/3608.50	c #Conflicts:    1680000 | #Constraints:      64712
3600.01/3608.50	c #Conflicts:    1681000 | #Constraints:      66425
3600.01/3608.50	c #Conflicts:    1682000 | #Constraints:      68151
3600.01/3608.50	c #Conflicts:    1683000 | #Constraints:      69872
3600.01/3608.50	c #Conflicts:    1684000 | #Constraints:      71625
3600.01/3608.50	c #Conflicts:    1685000 | #Constraints:      73350
3600.01/3608.50	c #Conflicts:    1686000 | #Constraints:      75011
3600.01/3608.50	c #Conflicts:    1687000 | #Constraints:      76612
3600.01/3608.50	c #Conflicts:    1688000 | #Constraints:      78392
3600.01/3608.50	c #Conflicts:    1689000 | #Constraints:      80139
3600.01/3608.50	c #Conflicts:    1690000 | #Constraints:      81849
3600.01/3608.50	c #Conflicts:    1691000 | #Constraints:      83574
3600.01/3608.50	c #Conflicts:    1692000 | #Constraints:      85268
3600.01/3608.50	c #Conflicts:    1693000 | #Constraints:      86943
3600.01/3608.50	c Program interrupted by user.
3600.01/3608.51	c cpu time 3529.82 s
3600.01/3608.51	c deterministic time 364095255931 3.64e+11
3600.01/3608.51	c optimization time 70.6778 s
3600.01/3608.51	c total solve time 3459.14 s
3600.01/3608.51	c core-guided solve time 0 s
3600.01/3608.51	c propagation time 3412.58 s
3600.01/3608.51	c conflict analysis time 92.1997 s
3600.01/3608.51	c propagations 123865012
3600.01/3608.51	c resolve steps 13496919
3600.01/3608.51	c decisions 4261898
3600.01/3608.51	c conflicts 1693610
3600.01/3608.51	c restarts 3234
3600.01/3608.51	c inprocessing phases 120
3600.01/3608.51	c input clauses 880
3600.01/3608.51	c input cardinalities 1
3600.01/3608.51	c input general constraints 0
3600.01/3608.51	c input average constraint length 2.50
3600.01/3608.51	c input average constraint degree 1.25
3600.01/3608.51	c learned clauses 493819
3600.01/3608.51	c learned cardinalities 35905
3600.01/3608.51	c learned general constraints 2272226
3600.01/3608.51	c learned average constraint length 241.77
3600.01/3608.51	c learned average constraint degree 15258354124.08
3600.01/3608.51	c watched constraints 2217036
3600.01/3608.51	c counting constraints 55190
3600.01/3608.51	c gcd simplifications 59345
3600.01/3608.51	c detected cardinalities 505
3600.01/3608.51	c weakened non-implied lits 54469194
3600.01/3608.51	c weakened non-implying lits 172200
3600.01/3608.51	c original variables 440
3600.01/3608.51	c clausal propagations 44982299
3600.01/3608.51	c cardinality propagations 12668211
3600.01/3608.51	c watched propagations 45555054
3600.01/3608.51	c counting propagations 16657113
3600.01/3608.51	c watch lookups 19394797185
3600.01/3608.51	c watch backjump lookups 4855492542
3600.01/3608.51	c watch checks 331222026040
3600.01/3608.51	c propagation checks 7673189525
3600.01/3608.51	c constraint additions 691633267
3600.01/3608.51	c trail pops 129819857
3600.01/3608.51	c formula constraints 881
3600.01/3608.51	c learned constraints 1693359
3600.01/3608.51	c bound constraints 0
3600.01/3608.51	c core-guided constraints 0
3600.01/3608.51	c encountered formula constraints 9276307
3600.01/3608.51	c encountered learned constraints 5660002
3600.01/3608.51	c encountered bound constraints 0
3600.01/3608.51	c encountered core-guided constraints 0
3600.01/3608.51	c LP total time 1479.41 s
3600.01/3608.51	c LP solve time 1182.59 s
3600.01/3608.51	c LP constraints added 896
3600.01/3608.51	c LP constraints removed 5
3600.01/3608.51	c LP pivots internal 141372
3600.01/3608.51	c LP pivots root 29232
3600.01/3608.51	c LP calls 1108366
3600.01/3608.51	c LP optimalities 38
3600.01/3608.51	c LP no pivot count 4
3600.01/3608.51	c LP infeasibilities 1108326
3600.01/3608.51	c LP valid Farkas constraints 1108326
3600.01/3608.51	c LP learned Farkas constraints 250
3600.01/3608.51	c LP basis resets 0
3600.01/3608.51	c LP cycling count 0
3600.01/3608.51	c LP singular count 0
3600.01/3608.51	c LP no primal count 0
3600.01/3608.51	c LP no farkas count 0
3600.01/3608.51	c LP other issue count 0
3600.01/3608.51	c LP Gomory cuts 15
3600.01/3608.51	c LP learned cuts 0
3600.01/3608.51	c LP deleted cuts 5
3600.01/3608.51	c LP encountered Gomory constraints 0
3600.01/3608.51	c LP encountered Farkas constraints 188933
3600.01/3608.51	c LP encountered learned Farkas constraints 65037
3600.01/3608.51	c CG auxiliary variables introduced 0
3600.01/3608.51	c CG solutions found 0
3600.01/3608.51	c CG cores constructed 0
3600.01/3608.51	c CG core cardinality constraints returned 0
3600.01/3608.51	c CG unit cores 0
3600.01/3608.51	c CG single cores 0
3600.01/3608.51	c CG blocks removed during cardinality reduction 0
3600.01/3608.51	c CG first core best 0
3600.01/3608.51	c CG decision core best 0
3600.01/3608.51	c CG core reduction tie 0
3600.01/3608.51	c CG core degree average 0.00
3600.01/3608.51	c CG core slack average 0.00
3600.01/3608.51	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62451 MiB free)
  memory of node 1: 64473 MiB (51869 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455800-1721468501/watcher-4455800-1721468501 -o /tmp/evaluation-result-4455800-1721468501/solver-4455800-1721468501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721459977-1073512 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455800-1721468501.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1079727, runsolver pid=1079724

[startup+0.100103 s]*
/proc/loadavg: 4.20 4.23 4.21 5/244 1079728
/proc/meminfo: memFree=117062684/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=38992 memory=9680 CPUtime=0.1 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 796 0 0 0 10 0 0 0 20 0 1 0 199005878 39927808 2420 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 9748 2420 1823 922 0 1700 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38992 KiB
Current children cumulated memory: 9680 KiB

[startup+0.212888 s]*
/proc/loadavg: 4.20 4.23 4.21 5/244 1079728
/proc/meminfo: memFree=117060808/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=39872 memory=11116 CPUtime=0.21 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 1161 0 0 0 20 1 0 0 20 0 1 0 199005878 40828928 2779 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 9968 2779 1823 922 0 1920 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39872 KiB
Current children cumulated memory: 11116 KiB

[startup+0.312828 s]*
/proc/loadavg: 4.20 4.23 4.21 5/244 1079728
/proc/meminfo: memFree=117059996/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=40288 memory=11800 CPUtime=0.31 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 1334 0 0 0 29 2 0 0 20 0 1 0 199005878 41254912 2950 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 10072 2950 1823 922 0 2024 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40288 KiB
Current children cumulated memory: 11800 KiB

[startup+0.70031 s]
/proc/loadavg: 4.20 4.23 4.21 5/244 1079728
/proc/meminfo: memFree=117059184/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=40860 memory=13068 CPUtime=0.68 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 1660 0 0 0 65 3 0 0 20 0 1 0 199005878 41840640 3267 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 10215 3267 1823 922 0 2167 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40860 KiB
Current children cumulated memory: 13068 KiB

[startup+1.50032 s]
/proc/loadavg: 4.20 4.23 4.21 5/244 1079728
/proc/meminfo: memFree=117049848/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=42908 memory=17420 CPUtime=1.48 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 2231 0 0 0 143 5 0 0 20 0 1 0 199005878 43937792 4355 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 10727 4355 1839 922 0 2679 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 17420 KiB

[startup+3.11278 s]
/proc/loadavg: 4.20 4.23 4.21 5/244 1079728
/proc/meminfo: memFree=117029288/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=43872 memory=18388 CPUtime=3.1 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 2543 0 0 0 300 10 0 0 20 0 1 0 199005878 44924928 4597 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 10968 4597 1839 922 0 2920 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43872 KiB
Current children cumulated memory: 18388 KiB

[startup+6.3003 s]
/proc/loadavg: 4.18 4.23 4.21 5/243 1079728
/proc/meminfo: memFree=116998104/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=50696 memory=25360 CPUtime=6.28 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 3766 0 0 0 610 18 0 0 20 0 1 0 199005878 51912704 6340 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 12674 6340 1839 922 0 4626 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 50696 KiB
Current children cumulated memory: 25360 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.23 4.21 5/244 1079730
/proc/meminfo: memFree=116951976/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=57712 memory=30908 CPUtime=12.66 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 4681 0 0 0 1235 31 0 0 20 0 1 0 199005878 59097088 7727 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 14428 7727 1839 922 0 6380 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 30908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.21 4.21 5/244 1079732
/proc/meminfo: memFree=116869088/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=60920 memory=33732 CPUtime=25.43 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 5446 0 0 0 2482 61 0 0 20 0 1 0 199005878 62382080 8433 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 15230 8433 1839 922 0 7182 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 60920 KiB
Current children cumulated memory: 33732 KiB

[startup+51.1126 s]
/proc/loadavg: 4.08 4.20 4.20 5/244 1079737
/proc/meminfo: memFree=116694568/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=88344 memory=53192 CPUtime=50.97 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 8416 0 0 0 4984 113 0 0 20 0 1 0 199005878 90464256 13298 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 22086 13298 1839 922 0 14038 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 88344 KiB
Current children cumulated memory: 53192 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.21 4.20 5/244 1079746
/proc/meminfo: memFree=116447060/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=99652 memory=69028 CPUtime=102.03 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 10907 0 0 0 9964 239 0 0 20 0 1 0 199005878 102043648 17257 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 24913 17257 1839 922 0 16865 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 99652 KiB
Current children cumulated memory: 69028 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.19 5/244 1079756
/proc/meminfo: memFree=116154844/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=121500 memory=82284 CPUtime=161.88 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 12440 0 0 0 15808 380 0 0 20 0 1 0 199005878 124416000 20571 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 30375 20571 1839 922 0 22327 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 121500 KiB
Current children cumulated memory: 82284 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/242 1079767
/proc/meminfo: memFree=115935552/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=124256 memory=84852 CPUtime=221.73 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 13266 0 0 0 21661 512 0 0 20 0 1 0 199005878 127238144 21213 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 31064 21213 1839 922 0 23016 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 124256 KiB
Current children cumulated memory: 84852 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/242 1079778
/proc/meminfo: memFree=115454464/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=126180 memory=88880 CPUtime=281.57 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 14008 0 0 0 27507 650 0 0 20 0 1 0 199005878 129208320 22220 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 31545 22220 1839 922 0 23497 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 126180 KiB
Current children cumulated memory: 88880 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/241 1079788
/proc/meminfo: memFree=114901856/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=128036 memory=94840 CPUtime=341.43 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 14682 0 0 0 33351 792 0 0 20 0 1 0 199005878 131108864 23710 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 32009 23710 1839 922 0 23961 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 128036 KiB
Current children cumulated memory: 94840 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/242 1079799
/proc/meminfo: memFree=114401844/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=128036 memory=94904 CPUtime=401.28 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 14844 0 0 0 39193 935 0 0 20 0 1 0 199005878 131108864 23726 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 32009 23726 1839 922 0 23961 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 128036 KiB
Current children cumulated memory: 94904 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/242 1079810
/proc/meminfo: memFree=113884080/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=141476 memory=104604 CPUtime=461.12 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 16917 0 0 0 45032 1080 0 0 20 0 1 0 199005878 144871424 26151 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 35369 26151 1839 922 0 27321 0

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

Current children cumulated memory: 210516 KiB

[startup+2922.3 s]
/proc/loadavg: 1.11 1.37 2.33 2/227 1081529
/proc/meminfo: memFree=127119536/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=273972 memory=210516 CPUtime=2915.25 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 36051 0 0 0 285703 5822 0 0 20 0 1 0 199005878 280547328 52629 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 68493 52629 1839 922 0 60445 0
Current children cumulated CPU time: 2915.25 s
Current children cumulated vsize: 273972 KiB
Current children cumulated memory: 210516 KiB

[startup+2982.3 s]
/proc/loadavg: 1.09 1.31 2.25 2/227 1081539
/proc/meminfo: memFree=127119568/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=273972 memory=210516 CPUtime=2975.13 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 36269 0 0 0 291589 5924 0 0 20 0 1 0 199005878 280547328 52629 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 68493 52629 1839 922 0 60445 0
Current children cumulated CPU time: 2975.13 s
Current children cumulated vsize: 273972 KiB
Current children cumulated memory: 210516 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.27 2.17 2/227 1081550
/proc/meminfo: memFree=127117352/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=273972 memory=212388 CPUtime=3034.99 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 36492 0 0 0 297475 6024 0 0 20 0 1 0 199005878 280547328 53097 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 68493 53097 1839 922 0 60445 0
Current children cumulated CPU time: 3034.99 s
Current children cumulated vsize: 273972 KiB
Current children cumulated memory: 212388 KiB

[startup+3102.3 s]
/proc/loadavg: 1.06 1.23 2.10 2/224 1081560
/proc/meminfo: memFree=127117332/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=273972 memory=212388 CPUtime=3094.87 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 36716 0 0 0 303356 6131 0 0 20 0 1 0 199005878 280547328 53097 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 68493 53097 1839 922 0 60445 0
Current children cumulated CPU time: 3094.87 s
Current children cumulated vsize: 273972 KiB
Current children cumulated memory: 212388 KiB

[startup+3162.3 s]
/proc/loadavg: 1.07 1.20 2.04 2/225 1081571
/proc/meminfo: memFree=127116984/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=273972 memory=212388 CPUtime=3154.75 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 36941 0 0 0 309231 6244 0 0 20 0 1 0 199005878 280547328 53097 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 68493 53097 1839 922 0 60445 0
Current children cumulated CPU time: 3154.75 s
Current children cumulated vsize: 273972 KiB
Current children cumulated memory: 212388 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.19 1.98 2/225 1081582
/proc/meminfo: memFree=127116744/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=273972 memory=212392 CPUtime=3214.62 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 37297 0 0 0 315086 6376 0 0 20 0 1 0 199005878 280547328 53098 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 68493 53098 1839 922 0 60445 0
Current children cumulated CPU time: 3214.62 s
Current children cumulated vsize: 273972 KiB
Current children cumulated memory: 212392 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.17 1.92 2/221 1081593
/proc/meminfo: memFree=127115184/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=276032 memory=213812 CPUtime=3274.49 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 37915 0 0 0 320976 6473 0 0 20 0 1 0 199005878 282656768 53453 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 69008 53453 1839 922 0 60960 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 276032 KiB
Current children cumulated memory: 213812 KiB

[startup+3342.3 s]
/proc/loadavg: 1.04 1.14 1.86 2/221 1081603
/proc/meminfo: memFree=127109484/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=278452 memory=219328 CPUtime=3334.37 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 38670 0 0 0 326867 6570 0 0 20 0 1 0 199005878 285134848 54832 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 69613 54832 1839 922 0 61565 0
Current children cumulated CPU time: 3334.37 s
Current children cumulated vsize: 278452 KiB
Current children cumulated memory: 219328 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.14 1.81 2/221 1081613
/proc/meminfo: memFree=127109088/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=278964 memory=219468 CPUtime=3394.24 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 38808 0 0 0 332756 6668 0 0 20 0 1 0 199005878 285659136 54867 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 69741 54867 1839 922 0 61693 0
Current children cumulated CPU time: 3394.24 s
Current children cumulated vsize: 278964 KiB
Current children cumulated memory: 219468 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.13 1.77 2/220 1081624
/proc/meminfo: memFree=127107132/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=279476 memory=221088 CPUtime=3454.11 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 39285 0 0 0 338631 6780 0 0 20 0 1 0 199005878 286183424 55272 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 69869 55272 1839 922 0 61821 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 279476 KiB
Current children cumulated memory: 221088 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.12 1.72 2/222 1081638
/proc/meminfo: memFree=127100324/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=282676 memory=227380 CPUtime=3513.99 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 40205 0 0 0 344509 6890 0 0 20 0 1 0 199005878 289460224 56845 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 70669 56845 1839 922 0 62621 0
Current children cumulated CPU time: 3513.99 s
Current children cumulated vsize: 282676 KiB
Current children cumulated memory: 227380 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.11 1.68 2/222 1081648
/proc/meminfo: memFree=127099808/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=283188 memory=227660 CPUtime=3573.87 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 40676 0 0 0 350397 6990 0 0 20 0 1 0 199005878 289984512 56915 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 70797 56915 1839 922 0 62749 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 283188 KiB
Current children cumulated memory: 227660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 1.13 1.12 1.67 2/222 1081652
/proc/meminfo: memFree=127096048/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=290100 memory=231216 CPUtime=3600.01 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 41722 0 0 0 352980 7021 0 0 20 0 1 0 199005878 297062400 57804 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 72525 57804 1839 922 0 64477 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 290100 KiB
Current children cumulated memory: 231216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3529.82 s, system=70.2134 s

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

[startup+3608.5 s]
/proc/loadavg: 1.13 1.12 1.67 2/222 1081652
/proc/meminfo: memFree=127096048/131655788 swapFree=131071996/131071996
[pid=1079727] ppid=1079724 vsize=290100 memory=231216 CPUtime=3600.01 cores=5,7
/proc/1079727/stat : 1079727 (roundingsat) R 1079724 1079727 1073499 0 -1 4194304 41722 0 0 0 352980 7021 0 0 20 0 1 0 199005878 297062400 57804 134679101440 4194304 7968373 140732824224416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26148864 140732824228796 140732824228960 140732824228960 140732824235977 0
/proc/1079727/statm: 72525 57804 1839 922 0 64477 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 290100 KiB
Current children cumulated memory: 231216 KiB

Child status: 0

Real time (s): 3608.51
CPU time (s): 3600.03
CPU user time (s): 3529.82
CPU system time (s): 70.2134
CPU usage (%): 99.7649
Max. virtual memory (cumulated for all children) (KiB): 290100
Max. memory (cumulated for all children) (KiB): 231216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.82
system time used= 70.2134
maximum resident set size= 231900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41786
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= 56
involuntary context switches= 1975


# summary of solver processes directly reported to runsolver:
#   pid: 1079727
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3529.82
#   total CPU system time (s): 70.2134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1791 second user time and 32.9135 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-20 11:41:53
IDJOB=4455800
IDBENCH=168735
IDSOLVER=3084
FILE ID=nodeC004/4455800-1721468501
RUNJOBID= nodeC004-1721459977-1073512
SLURM_JOB_ID= 7545709
Free space on /tmp= 723652 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455800-1721468501/watcher-4455800-1721468501 -o /tmp/evaluation-result-4455800-1721468501/solver-4455800-1721468501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721459977-1073512 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455800-1721468501.opb

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

MD5SUM BENCH= add936bb86ecdde22f6655365824bd6d
RANDOM SEED=249916822

nodeC004.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		: 3668.760
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	: 6984.29
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		: 3567.230
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.37
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.455
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	: 6984.29
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.325
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.37
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		: 3668.099
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	: 6984.29
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		: 3617.686
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.37
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.463
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	: 6984.29
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.310
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117065580 kB
MemAvailable:   119739836 kB
Buffers:          574376 kB
Cached:          2919956 kB
SwapCached:            0 kB
Active:          1398324 kB
Inactive:       12558444 kB
Active(anon):       3344 kB
Inactive(anon): 10505012 kB
Active(file):    1394980 kB
Inactive(file):  2053432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5360 kB
Writeback:             4 kB
AnonPages:      10462124 kB
Mapped:           116604 kB
Shmem:             45892 kB
KReclaimable:     132084 kB
Slab:             240296 kB
SReclaimable:     132084 kB
SUnreclaim:       108212 kB
KernelStack:        3920 kB
PageTables:        29756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11628324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6295552 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:      248648 kB
DirectMap2M:    29016064 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC004 at 2024-07-20 12:42:01