Trace number 4453110

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 (1)Wrong Cert. 3600.07 3610.01

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.30/0.32	c #Conflicts:       1000 | #Constraints:       1955
0.30/0.32	c #Conflicts:       2000 | #Constraints:       2998
0.30/0.32	c INPROCESSING
0.30/0.32	c GARBAGE COLLECT
0.30/0.32	c rational objective 205.75
0.99/1.00	c #Conflicts:       3000 | #Constraints:       3134
0.99/1.00	c #Conflicts:       4000 | #Constraints:       4770
0.99/1.00	c INPROCESSING
0.99/1.00	c GARBAGE COLLECT
0.99/1.00	c rational objective 205.75
1.58/1.62	c #Conflicts:       5000 | #Constraints:       3804
1.58/1.62	c #Conflicts:       6000 | #Constraints:       5022
1.58/1.62	c INPROCESSING
1.58/1.62	c GARBAGE COLLECT
1.58/1.62	c rational objective 205.75
2.28/2.33	c #Conflicts:       7000 | #Constraints:       3860
2.28/2.33	c #Conflicts:       8000 | #Constraints:       4880
2.28/2.33	c #Conflicts:       9000 | #Constraints:       6309
2.28/2.33	c INPROCESSING
2.28/2.33	c GARBAGE COLLECT
2.28/2.33	c rational objective 205.75
3.08/3.14	c #Conflicts:      10000 | #Constraints:       4579
3.08/3.14	c #Conflicts:      11000 | #Constraints:       5757
3.08/3.14	c #Conflicts:      12000 | #Constraints:       7182
3.08/3.14	c INPROCESSING
3.08/3.14	c GARBAGE COLLECT
3.08/3.14	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.28/5.32	c #Conflicts:      16000 | #Constraints:       5726
5.28/5.32	c #Conflicts:      17000 | #Constraints:       7322
5.28/5.32	c #Conflicts:      18000 | #Constraints:       8891
5.28/5.32	c INPROCESSING
5.28/5.32	c GARBAGE COLLECT
5.28/5.32	c rational objective 208.189
6.67/6.79	c #Conflicts:      19000 | #Constraints:       6341
6.67/6.79	c #Conflicts:      20000 | #Constraints:       7907
6.67/6.79	c #Conflicts:      21000 | #Constraints:       9483
6.67/6.79	c INPROCESSING
6.67/6.79	c GARBAGE COLLECT
6.67/6.79	c rational objective 208.222
8.56/8.68	c #Conflicts:      22000 | #Constraints:       6354
8.56/8.68	c #Conflicts:      23000 | #Constraints:       7977
8.56/8.68	c #Conflicts:      24000 | #Constraints:       9646
8.56/8.68	c #Conflicts:      25000 | #Constraints:      11061
8.56/8.68	c INPROCESSING
8.56/8.68	c GARBAGE COLLECT
8.56/8.68	c rational objective 208.223
10.75/10.84	c #Conflicts:      26000 | #Constraints:       7290
10.75/10.84	c #Conflicts:      27000 | #Constraints:       9123
10.75/10.84	c #Conflicts:      28000 | #Constraints:      10453
10.75/10.84	c #Conflicts:      29000 | #Constraints:      11463
10.75/10.84	c INPROCESSING
10.75/10.84	c GARBAGE COLLECT
10.75/10.84	c rational objective 208.244
12.86/12.94	c #Conflicts:      30000 | #Constraints:       7447
12.86/12.94	c #Conflicts:      31000 | #Constraints:       8902
12.86/12.94	c #Conflicts:      32000 | #Constraints:      10066
12.86/12.94	c #Conflicts:      33000 | #Constraints:      11197
12.86/12.94	c INPROCESSING
12.86/12.94	c GARBAGE COLLECT
12.86/12.94	c rational objective 208.25
14.64/14.79	c #Conflicts:      34000 | #Constraints:       7091
14.64/14.79	c #Conflicts:      35000 | #Constraints:       8451
14.64/14.79	c #Conflicts:      36000 | #Constraints:      10018
14.64/14.79	c #Conflicts:      37000 | #Constraints:      11257
14.64/14.79	c INPROCESSING
14.64/14.79	c GARBAGE COLLECT
14.64/14.79	c rational objective 208.255
17.05/17.14	c #Conflicts:      38000 | #Constraints:       7048
17.05/17.14	c #Conflicts:      39000 | #Constraints:       8474
17.05/17.14	c #Conflicts:      40000 | #Constraints:       9886
17.05/17.14	c #Conflicts:      41000 | #Constraints:      11022
17.05/17.14	c INPROCESSING
17.05/17.14	c GARBAGE COLLECT
17.05/17.14	c rational objective 208.316
19.64/19.79	c #Conflicts:      42000 | #Constraints:       6827
19.64/19.79	c #Conflicts:      43000 | #Constraints:       7943
19.64/19.79	c #Conflicts:      44000 | #Constraints:       9100
19.64/19.79	c #Conflicts:      45000 | #Constraints:      10288
19.64/19.79	c #Conflicts:      46000 | #Constraints:      11299
19.64/19.79	c INPROCESSING
19.64/19.79	c GARBAGE COLLECT
19.64/19.79	c rational objective 208.316
21.72/21.86	c #Conflicts:      47000 | #Constraints:       7058
21.72/21.86	c #Conflicts:      48000 | #Constraints:       8269
21.72/21.86	c #Conflicts:      49000 | #Constraints:       9293
21.72/21.86	c #Conflicts:      50000 | #Constraints:      10312
21.72/21.86	c #Conflicts:      51000 | #Constraints:      11446
21.72/21.86	c INPROCESSING
21.72/21.86	c GARBAGE COLLECT
21.72/21.86	c rational objective 208.316
23.62/23.79	c #Conflicts:      52000 | #Constraints:       7327
23.62/23.79	c #Conflicts:      53000 | #Constraints:       8755
23.62/23.79	c #Conflicts:      54000 | #Constraints:       9868
23.62/23.79	c #Conflicts:      55000 | #Constraints:      10901
23.62/23.79	c #Conflicts:      56000 | #Constraints:      11942
23.62/23.79	c INPROCESSING
23.62/23.79	c GARBAGE COLLECT
23.62/23.79	c rational objective 208.316
25.52/25.65	c #Conflicts:      57000 | #Constraints:       7479
25.52/25.65	c #Conflicts:      58000 | #Constraints:       8513
25.52/25.65	c #Conflicts:      59000 | #Constraints:       9664
25.52/25.65	c #Conflicts:      60000 | #Constraints:      10906
25.52/25.65	c #Conflicts:      61000 | #Constraints:      12109
25.52/25.65	c INPROCESSING
25.52/25.65	c GARBAGE COLLECT
25.52/25.65	c rational objective 208.316
27.51/27.69	c #Conflicts:      62000 | #Constraints:       7468
27.51/27.69	c #Conflicts:      63000 | #Constraints:       8557
27.51/27.69	c #Conflicts:      64000 | #Constraints:       9867
27.51/27.69	c #Conflicts:      65000 | #Constraints:      10921
27.51/27.69	c #Conflicts:      66000 | #Constraints:      11967
27.51/27.69	c INPROCESSING
27.51/27.69	c GARBAGE COLLECT
27.51/27.69	c rational objective 208.316
29.91/30.02	c #Conflicts:      67000 | #Constraints:       7222
29.91/30.02	c #Conflicts:      68000 | #Constraints:       8299
29.91/30.02	c #Conflicts:      69000 | #Constraints:       9342
29.91/30.02	c #Conflicts:      70000 | #Constraints:      10497
29.91/30.02	c #Conflicts:      71000 | #Constraints:      11637
29.91/30.02	c #Conflicts:      72000 | #Constraints:      12748
29.91/30.02	c INPROCESSING
29.91/30.02	c GARBAGE COLLECT
29.91/30.02	c rational objective 208.623
32.69/32.84	c #Conflicts:      73000 | #Constraints:       7805
32.69/32.84	c #Conflicts:      74000 | #Constraints:       8853
32.69/32.84	c #Conflicts:      75000 | #Constraints:       9879
32.69/32.84	c #Conflicts:      76000 | #Constraints:      10917
32.69/32.84	c #Conflicts:      77000 | #Constraints:      11999
32.69/32.84	c #Conflicts:      78000 | #Constraints:      13056
32.69/32.84	c INPROCESSING
32.69/32.84	c GARBAGE COLLECT
32.69/32.84	WSVECS04 Frhs2[3]: 6 0 1242.99 shouldn't be
32.69/32.84	WSVECS04 Frhs2[6]: 6 -1514.78 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[7]: 6 -1521.14 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[9]: 6 0 44.1258 shouldn't be
32.69/32.84	WSVECS04 Frhs2[10]: 6 0 1397.23 shouldn't be
32.69/32.84	WSVECS04 Frhs2[11]: 6 0 389.912 shouldn't be
32.69/32.84	WSVECS04 Frhs2[13]: 6 0 240.242 shouldn't be
32.69/32.84	WSVECS04 Frhs2[14]: 6 0 1475.82 shouldn't be
32.69/32.84	WSVECS04 Frhs2[19]: 6 -1338.72 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[20]: 6 0 262.57 shouldn't be
32.69/32.84	WSVECS04 Frhs2[22]: 6 -832.395 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[24]: 6 0 711.978 shouldn't be
32.69/32.84	WSVECS04 Frhs2[34]: 6 -1125.14 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[37]: 6 0 892.151 shouldn't be
32.69/32.84	WSVECS04 Frhs2[39]: 6 -303.989 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[44]: 6 -1311.8 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[45]: 6 -2180.76 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[46]: 6 0 1098.99 shouldn't be
32.69/32.84	WSVECS04 Frhs2[49]: 6 -1051.28 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[51]: 6 -696.355 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[54]: 6 0 389.912 shouldn't be
32.69/32.84	WSVECS04 Frhs2[56]: 6 -391.912 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[57]: 6 0 392.508 shouldn't be
32.69/32.84	WSVECS04 Frhs2[69]: 6 0 1240.96 shouldn't be
32.69/32.84	WSVECS04 Frhs2[72]: 6 0 1073.44 shouldn't be
32.69/32.84	WSVECS04 Frhs2[76]: 6 -1227.7 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[78]: 6 0 1175.45 shouldn't be
32.69/32.84	WSVECS04 Frhs2[88]: 6 -910.539 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[89]: 6 0 104.767 shouldn't be
32.69/32.84	WSVECS04 Frhs2[94]: 6 0 418.96 shouldn't be
32.69/32.84	WSVECS04 Frhs2[103]: 6 -482.94 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[106]: 6 0 1170.38 shouldn't be
32.69/32.84	WSVECS04 Frhs2[129]: 6 0 1619.69 shouldn't be
32.69/32.84	WSVECS04 Frhs2[130]: 6 -778.508 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[139]: 6 0 0.0469896 shouldn't be
32.69/32.84	WSVECS04 Frhs2[140]: 6 0 389.912 shouldn't be
32.69/32.84	WSVECS04 Frhs2[145]: 6 0 453.086 shouldn't be
32.69/32.84	WSVECS04 Frhs2[150]: 6 -396.957 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[156]: 6 0 1214.35 shouldn't be
32.69/32.84	WSVECS04 Frhs2[159]: 6 -1982.21 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[167]: 6 -1413.36 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[168]: 6 -1423.46 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[176]: 6 0 704.35 shouldn't be
32.69/32.84	WSVECS04 Frhs2[189]: 6 0 458.663 shouldn't be
32.69/32.84	WSVECS04 Frhs2[196]: 6 -561.397 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[225]: 6 0 156.644 shouldn't be
32.69/32.84	WSVECS04 Frhs2[227]: 6 -120.689 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[228]: 6 0 600.724 shouldn't be
32.69/32.84	WSVECS04 Frhs2[233]: 6 0 2392.76 shouldn't be
32.69/32.84	WSVECS04 Frhs2[241]: 6 0 389.912 shouldn't be
32.69/32.84	WSVECS04 Frhs2[245]: 6 -1371.34 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[255]: 6 -1872.66 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[259]: 6 -474.892 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[263]: 6 0 1071.53 shouldn't be
32.69/32.84	WSVECS04 Frhs2[277]: 6 -1768.89 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[278]: 6 0 1086.15 shouldn't be
32.69/32.84	WSVECS04 Frhs2[282]: 6 -391.912 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[288]: 6 0 1396.27 shouldn't be
32.69/32.84	WSVECS04 Frhs2[298]: 6 0 1186.77 shouldn't be
32.69/32.84	WSVECS04 Frhs2[304]: 6 -391.912 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[307]: 6 -1431.55 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[310]: 6 -1263.65 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[318]: 6 0 269.146 shouldn't be
32.69/32.84	WSVECS04 Frhs2[319]: 6 0 781.016 shouldn't be
32.69/32.84	WSVECS04 Frhs2[324]: 6 -1673.6 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[329]: 6 -653.611 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[336]: 6 0 91.9817 shouldn't be
32.69/32.84	WSVECS04 Frhs2[337]: 6 -2951.35 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[338]: 6 -1157.59 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[366]: 6 0 412.451 shouldn't be
32.69/32.84	WSVECS04 Frhs2[378]: 6 0 1724.1 shouldn't be
32.69/32.84	WSVECS04 Frhs2[382]: 6 0 1654.69 shouldn't be
32.69/32.84	WSVECS04 Frhs2[390]: 6 -1351.14 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[396]: 6 -1786.5 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[404]: 6 -1527.37 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[411]: 6 -838.661 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[424]: 6 -1720.81 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[436]: 6 -389.912 0 shouldn't be
32.69/32.84	WSVECS04 Frhs2[438]: 6 -437.865 0 shouldn't be
32.80/32.90	c rational objective 208.623
35.89/36.02	c #Conflicts:      79000 | #Constraints:       8129
35.89/36.02	c #Conflicts:      80000 | #Constraints:       9397
35.89/36.02	c #Conflicts:      81000 | #Constraints:      10836
35.89/36.02	c #Conflicts:      82000 | #Constraints:      12303
35.89/36.02	c #Conflicts:      83000 | #Constraints:      13424
35.89/36.02	c #Conflicts:      84000 | #Constraints:      14467
35.89/36.02	c INPROCESSING
35.89/36.02	c GARBAGE COLLECT
35.89/36.02	c rational objective 208.623
40.08/40.28	c #Conflicts:      85000 | #Constraints:       9070
40.08/40.28	c #Conflicts:      86000 | #Constraints:      10237
40.08/40.28	c #Conflicts:      87000 | #Constraints:      11313
40.08/40.28	c #Conflicts:      88000 | #Constraints:      12426
40.08/40.28	c #Conflicts:      89000 | #Constraints:      13780
40.08/40.28	c #Conflicts:      90000 | #Constraints:      15457
40.08/40.28	c INPROCESSING
40.08/40.28	c GARBAGE COLLECT
40.08/40.28	c rational objective 208.623
46.05/46.21	c #Conflicts:      91000 | #Constraints:       9332
46.05/46.21	c #Conflicts:      92000 | #Constraints:      10794
46.05/46.21	c #Conflicts:      93000 | #Constraints:      12388
46.05/46.21	c #Conflicts:      94000 | #Constraints:      14096
46.05/46.21	c #Conflicts:      95000 | #Constraints:      15865
46.05/46.21	c #Conflicts:      96000 | #Constraints:      17489
46.05/46.21	c INPROCESSING
46.05/46.21	c GARBAGE COLLECT
46.05/46.21	c rational objective 208.623
49.35/49.58	c #Conflicts:      97000 | #Constraints:      10193
49.35/49.58	c #Conflicts:      98000 | #Constraints:      11268
49.35/49.58	c #Conflicts:      99000 | #Constraints:      12390
49.35/49.58	c #Conflicts:     100000 | #Constraints:      13572
49.35/49.58	c #Conflicts:     101000 | #Constraints:      15004
49.35/49.58	c #Conflicts:     102000 | #Constraints:      16183
49.35/49.58	c #Conflicts:     103000 | #Constraints:      17213
49.35/49.58	c INPROCESSING
49.35/49.58	c GARBAGE COLLECT
49.35/49.58	c rational objective 208.623
52.73/52.96	c #Conflicts:     104000 | #Constraints:      10071
52.73/52.96	c #Conflicts:     105000 | #Constraints:      11226
52.73/52.96	c #Conflicts:     106000 | #Constraints:      12281
52.73/52.96	c #Conflicts:     107000 | #Constraints:      13393
52.73/52.96	c #Conflicts:     108000 | #Constraints:      14482
52.73/52.96	c #Conflicts:     109000 | #Constraints:      15554
52.73/52.96	c #Conflicts:     110000 | #Constraints:      16569
52.73/52.96	c INPROCESSING
52.73/52.96	c GARBAGE COLLECT
52.73/52.96	c rational objective 208.623
55.72/55.94	c #Conflicts:     111000 | #Constraints:       9827
55.72/55.94	c #Conflicts:     112000 | #Constraints:      10908
55.72/55.94	c #Conflicts:     113000 | #Constraints:      11994
55.72/55.94	c #Conflicts:     114000 | #Constraints:      13254
55.72/55.94	c #Conflicts:     115000 | #Constraints:      14274
55.72/55.94	c #Conflicts:     116000 | #Constraints:      15291
55.72/55.94	c #Conflicts:     117000 | #Constraints:      16337
55.72/55.94	c INPROCESSING
55.72/55.94	c GARBAGE COLLECT
55.72/55.94	WSVECS04 Frhs2[4]: 6 0 1691.44 shouldn't be
55.72/55.94	WSVECS04 Frhs2[5]: 6 0 250.068 shouldn't be
55.72/55.94	WSVECS04 Frhs2[7]: 6 0 4600.96 shouldn't be
55.72/55.94	WSVECS04 Frhs2[11]: 6 0 443.949 shouldn't be
55.72/55.94	WSVECS04 Frhs2[13]: 6 -1835.16 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[17]: 6 -405.874 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[19]: 6 0 2410.34 shouldn't be
55.72/55.94	WSVECS04 Frhs2[21]: 6 -160.549 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[23]: 6 0 61.5738 shouldn't be
55.72/55.94	WSVECS04 Frhs2[27]: 6 -813.312 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[28]: 6 0 276.643 shouldn't be
55.72/55.94	WSVECS04 Frhs2[34]: 6 -98.1337 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[38]: 6 0 1783.96 shouldn't be
55.72/55.94	WSVECS04 Frhs2[40]: 6 -274.101 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[41]: 6 -175.919 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[42]: 6 0 166.055 shouldn't be
55.72/55.94	WSVECS04 Frhs2[43]: 6 -1331.66 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[45]: 6 -223.578 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[46]: 6 0 1077.31 shouldn't be
55.72/55.94	WSVECS04 Frhs2[48]: 6 0 1397.09 shouldn't be
55.72/55.94	WSVECS04 Frhs2[49]: 6 0 1301.42 shouldn't be
55.72/55.94	WSVECS04 Frhs2[53]: 6 0 1180.3 shouldn't be
55.72/55.94	WSVECS04 Frhs2[56]: 6 -2.00008 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[58]: 6 0 14.6192 shouldn't be
55.72/55.94	WSVECS04 Frhs2[61]: 6 0 553.988 shouldn't be
55.72/55.94	WSVECS04 Frhs2[63]: 6 0 1113.66 shouldn't be
55.72/55.94	WSVECS04 Frhs2[67]: 6 -531.105 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[69]: 6 0 1378.15 shouldn't be
55.72/55.94	WSVECS04 Frhs2[71]: 6 0 256.494 shouldn't be
55.72/55.94	WSVECS04 Frhs2[72]: 6 -163.717 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[73]: 6 0 755.363 shouldn't be
55.72/55.94	WSVECS04 Frhs2[77]: 6 0 356.818 shouldn't be
55.72/55.94	WSVECS04 Frhs2[84]: 6 -352.823 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[85]: 6 0 1322.4 shouldn't be
55.72/55.94	WSVECS04 Frhs2[86]: 6 0 224.199 shouldn't be
55.72/55.94	WSVECS04 Frhs2[87]: 6 0 17.585 shouldn't be
55.72/55.94	WSVECS04 Frhs2[96]: 6 -51.9515 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[97]: 6 -122.687 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[100]: 6 0 125.911 shouldn't be
55.72/55.94	WSVECS04 Frhs2[101]: 6 0 1473.08 shouldn't be
55.72/55.94	WSVECS04 Frhs2[102]: 6 0 7.49593 shouldn't be
55.72/55.94	WSVECS04 Frhs2[107]: 6 0 415.12 shouldn't be
55.72/55.94	WSVECS04 Frhs2[108]: 6 0 767.426 shouldn't be
55.72/55.94	WSVECS04 Frhs2[113]: 6 0 1.06716 shouldn't be
55.72/55.94	WSVECS04 Frhs2[114]: 6 -1362.91 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[117]: 6 -179.398 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[120]: 6 0 277.773 shouldn't be
55.72/55.94	WSVECS04 Frhs2[121]: 6 0 697.006 shouldn't be
55.72/55.94	WSVECS04 Frhs2[122]: 6 -903.92 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[123]: 6 0 1066.96 shouldn't be
55.72/55.94	WSVECS04 Frhs2[124]: 6 0 112.167 shouldn't be
55.72/55.94	WSVECS04 Frhs2[126]: 6 -845.828 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[130]: 6 -659.296 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[139]: 6 0 193.32 shouldn't be
55.72/55.94	WSVECS04 Frhs2[141]: 6 -855.726 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[144]: 6 0 1139.49 shouldn't be
55.72/55.94	WSVECS04 Frhs2[145]: 6 0 336.046 shouldn't be
55.72/55.94	WSVECS04 Frhs2[146]: 6 -307.509 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[148]: 6 0 90.2533 shouldn't be
55.72/55.94	WSVECS04 Frhs2[150]: 6 0 117.559 shouldn't be
55.72/55.94	WSVECS04 Frhs2[157]: 6 0 36.7596 shouldn't be
55.72/55.94	WSVECS04 Frhs2[175]: 6 -194.203 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[193]: 6 -668.916 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[201]: 6 0 525.881 shouldn't be
55.72/55.94	WSVECS04 Frhs2[207]: 6 0 1518.5 shouldn't be
55.72/55.94	WSVECS04 Frhs2[213]: 6 -255.606 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[217]: 6 -1659.03 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[226]: 6 -449.391 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[228]: 6 0 2069.17 shouldn't be
55.72/55.94	WSVECS04 Frhs2[237]: 6 -641.814 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[244]: 6 0 419.607 shouldn't be
55.72/55.94	WSVECS04 Frhs2[247]: 6 0 2031.41 shouldn't be
55.72/55.94	WSVECS04 Frhs2[251]: 6 -181.52 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[257]: 6 -107.035 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[260]: 6 0 456.34 shouldn't be
55.72/55.94	WSVECS04 Frhs2[263]: 6 0 153.377 shouldn't be
55.72/55.94	WSVECS04 Frhs2[267]: 6 -1146.73 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[268]: 6 -446.437 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[279]: 6 -565.29 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[282]: 6 -2.00005 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[286]: 6 0 663.374 shouldn't be
55.72/55.94	WSVECS04 Frhs2[300]: 6 -23.2554 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[301]: 6 -2069.82 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[304]: 6 -2.00006 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[320]: 6 0 172.695 shouldn't be
55.72/55.94	WSVECS04 Frhs2[336]: 6 -158.066 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[339]: 6 -3087.84 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[365]: 6 -1405.7 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[366]: 6 -2872.91 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[368]: 6 0 123.553 shouldn't be
55.72/55.94	WSVECS04 Frhs2[369]: 6 0 0.278803 shouldn't be
55.72/55.94	WSVECS04 Frhs2[392]: 6 0 481.228 shouldn't be
55.72/55.94	WSVECS04 Frhs2[406]: 6 -156.273 0 shouldn't be
55.72/55.94	WSVECS04 Frhs2[408]: 6 0 411.453 shouldn't be
55.72/55.94	WSVECS04 Frhs2[409]: 6 0 758.929 shouldn't be
55.72/55.94	WSVECS04 Frhs2[421]: 6 0 581.661 shouldn't be
59.42/59.60	c #Conflicts:     118000 | #Constraints:       9886
59.42/59.60	c #Conflicts:     119000 | #Constraints:      11122
59.42/59.60	c #Conflicts:     120000 | #Constraints:      12156
59.42/59.60	c #Conflicts:     121000 | #Constraints:      13270
59.42/59.60	c #Conflicts:     122000 | #Constraints:      14369
59.42/59.60	c #Conflicts:     123000 | #Constraints:      15536
59.42/59.60	c #Conflicts:     124000 | #Constraints:      16552
59.42/59.60	c INPROCESSING
59.42/59.60	c GARBAGE COLLECT
59.42/59.60	WSVECS04 Frhs2[4]: 6 -5.80084 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[7]: 6 0 108.464 shouldn't be
59.42/59.60	WSVECS04 Frhs2[8]: 6 -1.00006 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[13]: 6 -16.0718 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[14]: 6 0 23.4509 shouldn't be
59.42/59.60	WSVECS04 Frhs2[15]: 6 -11.5323 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[18]: 6 -1.70363 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[19]: 6 0 9.46168 shouldn't be
59.42/59.60	WSVECS04 Frhs2[22]: 6 0 5.40954 shouldn't be
59.42/59.60	WSVECS04 Frhs2[23]: 6 -51.3151 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[24]: 6 0 7.66772 shouldn't be
59.42/59.60	WSVECS04 Frhs2[25]: 6 0 21.8367 shouldn't be
59.42/59.60	WSVECS04 Frhs2[29]: 6 0 21.3489 shouldn't be
59.42/59.60	WSVECS04 Frhs2[30]: 6 0 16.6359 shouldn't be
59.42/59.60	WSVECS04 Frhs2[31]: 6 -0.626656 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[33]: 6 -19.0852 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[34]: 6 0 0.070738 shouldn't be
59.42/59.60	WSVECS04 Frhs2[36]: 6 -20.7773 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[37]: 6 -39.0985 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[39]: 6 -15.5377 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[40]: 6 0 6.49009 shouldn't be
59.42/59.60	WSVECS04 Frhs2[43]: 6 -8.02565 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[45]: 6 0 7.61544 shouldn't be
59.42/59.60	WSVECS04 Frhs2[47]: 6 0 4.13284 shouldn't be
59.42/59.60	WSVECS04 Frhs2[49]: 6 0 24.5817 shouldn't be
59.42/59.60	WSVECS04 Frhs2[58]: 6 0 0.611343 shouldn't be
59.42/59.60	WSVECS04 Frhs2[59]: 6 -16.5681 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[63]: 6 0 4.79952 shouldn't be
59.42/59.60	WSVECS04 Frhs2[67]: 6 -9.3533 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[69]: 6 -12.5117 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[70]: 6 -1.1839 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[73]: 6 -7.15292 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[76]: 6 0 5.21501 shouldn't be
59.42/59.60	WSVECS04 Frhs2[80]: 6 -3.63036 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[85]: 6 -12.1018 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[86]: 6 -102.95 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[91]: 6 -26.01 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[92]: 6 0 1.96371 shouldn't be
59.42/59.60	WSVECS04 Frhs2[94]: 6 -19.9151 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[97]: 6 0 27.6428 shouldn't be
59.42/59.60	WSVECS04 Frhs2[99]: 6 -3.60224 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[103]: 6 0 21.5295 shouldn't be
59.42/59.60	WSVECS04 Frhs2[104]: 6 0 21.6853 shouldn't be
59.42/59.60	WSVECS04 Frhs2[106]: 6 0 2.76059 shouldn't be
59.42/59.60	WSVECS04 Frhs2[107]: 6 0 3.44279 shouldn't be
59.42/59.60	WSVECS04 Frhs2[108]: 6 0 20.0209 shouldn't be
59.42/59.60	WSVECS04 Frhs2[118]: 6 0 9.76064 shouldn't be
59.42/59.60	WSVECS04 Frhs2[128]: 6 -9.52822 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[131]: 6 -62.0361 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[132]: 6 0 0.481911 shouldn't be
59.42/59.60	WSVECS04 Frhs2[134]: 6 0 27.1285 shouldn't be
59.42/59.60	WSVECS04 Frhs2[135]: 6 0 43.6153 shouldn't be
59.42/59.60	WSVECS04 Frhs2[136]: 6 0 0.481851 shouldn't be
59.42/59.60	WSVECS04 Frhs2[139]: 6 0 0.94177 shouldn't be
59.42/59.60	WSVECS04 Frhs2[147]: 6 0 2.54419 shouldn't be
59.42/59.60	WSVECS04 Frhs2[150]: 6 -3.2804 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[152]: 6 0 2.727 shouldn't be
59.42/59.60	WSVECS04 Frhs2[154]: 6 -1.37041 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[157]: 6 -4.01456 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[169]: 6 -8.04533 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[172]: 6 0 1.96375 shouldn't be
59.42/59.60	WSVECS04 Frhs2[173]: 6 -14.8935 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[176]: 6 -16.9434 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[184]: 6 -7.0131 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[191]: 6 0 30.1974 shouldn't be
59.42/59.60	WSVECS04 Frhs2[195]: 6 0 0.481863 shouldn't be
59.42/59.60	WSVECS04 Frhs2[207]: 6 -14.9636 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[208]: 6 -6.1385 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[209]: 6 -6.164 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[214]: 6 0 1.42434 shouldn't be
59.42/59.60	WSVECS04 Frhs2[223]: 6 0 7.97674 shouldn't be
59.42/59.60	WSVECS04 Frhs2[231]: 6 -2.1387 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[243]: 6 -14.5273 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[254]: 6 0 0.700295 shouldn't be
59.42/59.60	WSVECS04 Frhs2[270]: 6 -8.22372 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[290]: 6 0 90.2271 shouldn't be
59.42/59.60	WSVECS04 Frhs2[310]: 6 0 19.5202 shouldn't be
59.42/59.60	WSVECS04 Frhs2[318]: 6 0 0.880538 shouldn't be
59.42/59.60	WSVECS04 Frhs2[326]: 6 -1.00059 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[329]: 6 0 6.15246 shouldn't be
59.42/59.60	WSVECS04 Frhs2[350]: 6 0 0.481875 shouldn't be
59.42/59.60	WSVECS04 Frhs2[354]: 6 -2.97996 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[369]: 6 -2.95776 0 shouldn't be
59.42/59.60	WSVECS04 Frhs2[377]: 6 0 14.3149 shouldn't be
59.42/59.60	WSVECS04 Frhs2[396]: 6 0 12.4541 shouldn't be
59.42/59.60	WSVECS04 Frhs2[408]: 6 0 3.4033 shouldn't be
59.42/59.60	WSVECS04 Frhs2[423]: 6 0 0.481869 shouldn't be
59.42/59.60	WSVECS04 Frhs2[424]: 6 0 10.0806 shouldn't be
59.42/59.60	WSVECS04 Frhs2[436]: 6 0 1.96368 shouldn't be
64.30/64.59	c #Conflicts:     125000 | #Constraints:      10154
64.30/64.59	c #Conflicts:     126000 | #Constraints:      11205
64.30/64.59	c #Conflicts:     127000 | #Constraints:      12219
64.30/64.59	c #Conflicts:     128000 | #Constraints:      13389
64.30/64.59	c #Conflicts:     129000 | #Constraints:      14559
64.30/64.59	c #Conflicts:     130000 | #Constraints:      15761
64.30/64.59	c #Conflicts:     131000 | #Constraints:      16774
64.30/64.59	c INPROCESSING
64.30/64.59	c GARBAGE COLLECT
64.30/64.59	WSVECS04 Frhs2[4]: 6 -258.92 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[11]: 6 0 22.6531 shouldn't be
64.30/64.59	WSVECS04 Frhs2[12]: 6 -135.505 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[13]: 6 0 230.986 shouldn't be
64.30/64.59	WSVECS04 Frhs2[16]: 6 0 34.4654 shouldn't be
64.30/64.59	WSVECS04 Frhs2[20]: 6 0 87.3237 shouldn't be
64.30/64.59	WSVECS04 Frhs2[24]: 6 0 158.56 shouldn't be
64.30/64.59	WSVECS04 Frhs2[26]: 6 0 34.5056 shouldn't be
64.30/64.59	WSVECS04 Frhs2[30]: 6 0 208.463 shouldn't be
64.30/64.59	WSVECS04 Frhs2[35]: 6 0 39.0237 shouldn't be
64.30/64.59	WSVECS04 Frhs2[39]: 6 -105.594 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[40]: 6 0 150.125 shouldn't be
64.30/64.59	WSVECS04 Frhs2[41]: 6 0 127.428 shouldn't be
64.30/64.59	WSVECS04 Frhs2[51]: 6 -109.788 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[52]: 6 -113.094 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[54]: 6 0 22.6531 shouldn't be
64.30/64.59	WSVECS04 Frhs2[55]: 6 -198.609 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[56]: 6 -24.6531 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[57]: 6 0 23.1689 shouldn't be
64.30/64.59	WSVECS04 Frhs2[59]: 6 0 242.058 shouldn't be
64.30/64.59	WSVECS04 Frhs2[60]: 6 -21.6671 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[64]: 6 0 129.288 shouldn't be
64.30/64.59	WSVECS04 Frhs2[66]: 6 -138.13 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[69]: 6 0 162.422 shouldn't be
64.30/64.59	WSVECS04 Frhs2[72]: 6 0 31.0874 shouldn't be
64.30/64.59	WSVECS04 Frhs2[74]: 6 -204.094 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[77]: 6 -115.548 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[78]: 6 0 20.1465 shouldn't be
64.30/64.59	WSVECS04 Frhs2[82]: 6 -257.132 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[83]: 6 0 22.8233 shouldn't be
64.30/64.59	WSVECS04 Frhs2[86]: 6 -95.5036 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[88]: 6 -136.519 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[91]: 6 -260.97 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[94]: 6 0 51.2311 shouldn't be
64.30/64.59	WSVECS04 Frhs2[95]: 6 0 213.558 shouldn't be
64.30/64.59	WSVECS04 Frhs2[105]: 6 0 140.923 shouldn't be
64.30/64.59	WSVECS04 Frhs2[106]: 6 0 307.026 shouldn't be
64.30/64.59	WSVECS04 Frhs2[111]: 6 0 235.82 shouldn't be
64.30/64.59	WSVECS04 Frhs2[116]: 6 0 39.7318 shouldn't be
64.30/64.59	WSVECS04 Frhs2[127]: 6 0 180.56 shouldn't be
64.30/64.59	WSVECS04 Frhs2[131]: 6 -340.944 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[137]: 6 -42.6236 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[140]: 6 0 22.6531 shouldn't be
64.30/64.59	WSVECS04 Frhs2[142]: 6 -43.385 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[143]: 6 -287.523 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[153]: 6 0 58.5003 shouldn't be
64.30/64.59	WSVECS04 Frhs2[154]: 6 -143.552 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[157]: 6 -28.2092 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[158]: 6 0 49.7254 shouldn't be
64.30/64.59	WSVECS04 Frhs2[168]: 6 -286.73 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[179]: 6 0 137.198 shouldn't be
64.30/64.59	WSVECS04 Frhs2[182]: 6 -249.703 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[184]: 6 0 191.872 shouldn't be
64.30/64.59	WSVECS04 Frhs2[191]: 6 -118.954 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[202]: 6 0 248.963 shouldn't be
64.30/64.59	WSVECS04 Frhs2[205]: 6 -61.3166 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[207]: 6 0 376.424 shouldn't be
64.30/64.59	WSVECS04 Frhs2[209]: 6 0 58.8144 shouldn't be
64.30/64.59	WSVECS04 Frhs2[210]: 6 -322.431 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[212]: 6 0 203.617 shouldn't be
64.30/64.59	WSVECS04 Frhs2[240]: 6 -48.8332 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[241]: 6 0 22.6531 shouldn't be
64.30/64.59	WSVECS04 Frhs2[249]: 6 0 360.154 shouldn't be
64.30/64.59	WSVECS04 Frhs2[251]: 6 -336.092 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[252]: 6 0 32.6004 shouldn't be
64.30/64.59	WSVECS04 Frhs2[254]: 6 0 297.738 shouldn't be
64.30/64.59	WSVECS04 Frhs2[257]: 6 0 74.1315 shouldn't be
64.30/64.59	WSVECS04 Frhs2[264]: 6 0 84.155 shouldn't be
64.30/64.59	WSVECS04 Frhs2[266]: 6 -24.6531 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[280]: 6 -157.804 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[282]: 6 -24.653 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[288]: 6 0 256.866 shouldn't be
64.30/64.59	WSVECS04 Frhs2[294]: 6 0 71.4017 shouldn't be
64.30/64.59	WSVECS04 Frhs2[298]: 6 -302.028 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[302]: 6 -318.484 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[304]: 6 -24.653 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[305]: 6 0 222.93 shouldn't be
64.30/64.59	WSVECS04 Frhs2[306]: 6 -126.934 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[308]: 6 0 79.7247 shouldn't be
64.30/64.59	WSVECS04 Frhs2[310]: 6 -225.396 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[316]: 6 -299.362 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[317]: 6 -82.5859 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[322]: 6 0 179.156 shouldn't be
64.30/64.59	WSVECS04 Frhs2[325]: 6 -190.181 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[326]: 6 -24.6621 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[333]: 6 -376.208 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[338]: 6 -263.288 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[343]: 6 -1.03334 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[344]: 6 -230.217 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[349]: 6 0 10.6529 shouldn't be
64.30/64.59	WSVECS04 Frhs2[360]: 6 -124.12 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[363]: 6 0 285.12 shouldn't be
64.30/64.59	WSVECS04 Frhs2[365]: 6 0 177.363 shouldn't be
64.30/64.59	WSVECS04 Frhs2[390]: 6 -10.424 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[409]: 6 -221.306 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[410]: 6 -20.178 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[411]: 6 -1.38697 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[413]: 6 0 186.468 shouldn't be
64.30/64.59	WSVECS04 Frhs2[415]: 6 0 202.349 shouldn't be
64.30/64.59	WSVECS04 Frhs2[423]: 6 0 11.3266 shouldn't be
64.30/64.59	WSVECS04 Frhs2[429]: 6 -199.009 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[431]: 6 -386.117 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[435]: 6 -262.297 0 shouldn't be
64.30/64.59	WSVECS04 Frhs2[438]: 6 -22.6124 0 shouldn't be
68.59/68.84	c #Conflicts:     132000 | #Constraints:       9606
68.59/68.84	c #Conflicts:     133000 | #Constraints:      10798
68.59/68.84	c #Conflicts:     134000 | #Constraints:      11853
68.59/68.84	c #Conflicts:     135000 | #Constraints:      12883
68.59/68.84	c #Conflicts:     136000 | #Constraints:      13907
68.59/68.84	c #Conflicts:     137000 | #Constraints:      15451
68.59/68.84	c #Conflicts:     138000 | #Constraints:      16851
68.59/68.84	c #Conflicts:     139000 | #Constraints:      17909
68.59/68.84	c INPROCESSING
68.59/68.84	c GARBAGE COLLECT
68.59/68.84	WSVECS04 Frhs2[6]: 6 0 3.2998 shouldn't be
68.59/68.84	WSVECS04 Frhs2[8]: 6 -2.00003 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[10]: 6 -18.1553 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[14]: 6 0 21.8799 shouldn't be
68.59/68.84	WSVECS04 Frhs2[17]: 6 0 1.47251 shouldn't be
68.59/68.84	WSVECS04 Frhs2[27]: 6 -0.565322 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[41]: 6 0 8.99982 shouldn't be
68.59/68.84	WSVECS04 Frhs2[44]: 6 -43.9236 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[46]: 6 0 39.2085 shouldn't be
68.59/68.84	WSVECS04 Frhs2[61]: 6 -3.43744 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[63]: 6 -6.924 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[64]: 6 0 7.85205 shouldn't be
68.59/68.84	WSVECS04 Frhs2[81]: 6 -0.589978 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[87]: 6 -2.03208 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[97]: 6 -7.97012 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[103]: 6 -1.68949 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[106]: 6 0 21.7389 shouldn't be
68.59/68.84	WSVECS04 Frhs2[107]: 6 -0.870105 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[108]: 6 -3.40372 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[111]: 6 -1.12662 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[112]: 6 -8.03555 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[114]: 6 0 11.4935 shouldn't be
68.59/68.84	WSVECS04 Frhs2[124]: 6 -43.3941 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[134]: 6 -1.08024 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[137]: 6 0 1.45086 shouldn't be
68.59/68.84	WSVECS04 Frhs2[138]: 6 0 0.278696 shouldn't be
68.59/68.84	WSVECS04 Frhs2[141]: 6 0 1.38326 shouldn't be
68.59/68.84	WSVECS04 Frhs2[142]: 6 -15.5339 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[144]: 6 -31.6652 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[148]: 6 0 3.01598 shouldn't be
68.59/68.84	WSVECS04 Frhs2[149]: 6 -26.4906 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[154]: 6 -43.4628 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[161]: 6 -2.01018 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[171]: 6 -14.978 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[173]: 6 -14.4645 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[185]: 6 -7.59869 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[189]: 6 -1.48701 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[199]: 6 -12.6334 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[207]: 6 0 2.87055 shouldn't be
68.59/68.84	WSVECS04 Frhs2[210]: 6 -1.83235 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[213]: 6 -0.107178 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[215]: 6 -36.1884 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[217]: 6 0 11.224 shouldn't be
68.59/68.84	WSVECS04 Frhs2[219]: 6 -37.9215 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[239]: 6 -3.29452 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[244]: 6 0 8.42193 shouldn't be
68.59/68.84	WSVECS04 Frhs2[250]: 6 -2.00006 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[253]: 6 -2.0001 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[254]: 6 0 2.30815 shouldn't be
68.59/68.84	WSVECS04 Frhs2[271]: 6 -14.9741 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[274]: 6 0 4.08716 shouldn't be
68.59/68.84	WSVECS04 Frhs2[281]: 6 0 0.414468 shouldn't be
68.59/68.84	WSVECS04 Frhs2[290]: 6 0 0.330298 shouldn't be
68.59/68.84	WSVECS04 Frhs2[293]: 6 0 34.086 shouldn't be
68.59/68.84	WSVECS04 Frhs2[300]: 6 -36.5416 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[302]: 6 -1.69427 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[315]: 6 -0.252152 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[316]: 6 -26.0024 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[317]: 6 -0.564189 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[324]: 6 -5.98876 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[338]: 6 -10.2842 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[344]: 6 -23.8718 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[349]: 6 -42.6535 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[352]: 6 -6.64195 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[370]: 6 -19.1014 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[395]: 6 0 40.2988 shouldn't be
68.59/68.84	WSVECS04 Frhs2[413]: 6 0 0.539803 shouldn't be
68.59/68.84	WSVECS04 Frhs2[416]: 6 -2.00001 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[424]: 6 -11.1524 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[427]: 6 -2.42852 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[428]: 6 -3.42128 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[431]: 6 -13.6161 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[433]: 6 -23.5954 0 shouldn't be
68.59/68.84	WSVECS04 Frhs2[437]: 6 -3.89715 0 shouldn't be
205.19/205.85	c #Conflicts:     140000 | #Constraints:      10935
205.19/205.85	c #Conflicts:     141000 | #Constraints:      12744
205.19/205.85	c #Conflicts:     142000 | #Constraints:      14347
205.19/205.85	c #Conflicts:     143000 | #Constraints:      15969
205.19/205.85	c #Conflicts:     144000 | #Constraints:      17677
205.19/205.85	c #Conflicts:     145000 | #Constraints:      19434
205.19/205.85	c #Conflicts:     146000 | #Constraints:      21098
205.19/205.85	c #Conflicts:     147000 | #Constraints:      22706
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     148000 | #Constraints:      13493
205.19/205.85	c #Conflicts:     149000 | #Constraints:      15210
205.19/205.85	c #Conflicts:     150000 | #Constraints:      16825
205.19/205.85	c #Conflicts:     151000 | #Constraints:      18558
205.19/205.85	c #Conflicts:     152000 | #Constraints:      20281
205.19/205.85	c #Conflicts:     153000 | #Constraints:      21891
205.19/205.85	c #Conflicts:     154000 | #Constraints:      23528
205.19/205.85	c #Conflicts:     155000 | #Constraints:      25241
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     156000 | #Constraints:      14761
205.19/205.85	c #Conflicts:     157000 | #Constraints:      16340
205.19/205.85	c #Conflicts:     158000 | #Constraints:      17979
205.19/205.85	c #Conflicts:     159000 | #Constraints:      19682
205.19/205.85	c #Conflicts:     160000 | #Constraints:      21326
205.19/205.85	c #Conflicts:     161000 | #Constraints:      22973
205.19/205.85	c #Conflicts:     162000 | #Constraints:      24697
205.19/205.85	c #Conflicts:     163000 | #Constraints:      26510
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     164000 | #Constraints:      15214
205.19/205.85	c #Conflicts:     165000 | #Constraints:      16937
205.19/205.85	c #Conflicts:     166000 | #Constraints:      18690
205.19/205.85	c #Conflicts:     167000 | #Constraints:      20422
205.19/205.85	c #Conflicts:     168000 | #Constraints:      22181
205.19/205.85	c #Conflicts:     169000 | #Constraints:      23879
205.19/205.85	c #Conflicts:     170000 | #Constraints:      25560
205.19/205.85	c #Conflicts:     171000 | #Constraints:      27244
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     172000 | #Constraints:      15259
205.19/205.85	c #Conflicts:     173000 | #Constraints:      17028
205.19/205.85	c #Conflicts:     174000 | #Constraints:      18777
205.19/205.85	c #Conflicts:     175000 | #Constraints:      20587
205.19/205.85	c #Conflicts:     176000 | #Constraints:      22179
205.19/205.85	c #Conflicts:     177000 | #Constraints:      23875
205.19/205.85	c #Conflicts:     178000 | #Constraints:      25531
205.19/205.85	c #Conflicts:     179000 | #Constraints:      27303
205.19/205.85	c #Conflicts:     180000 | #Constraints:      29000
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     181000 | #Constraints:      16554
205.19/205.85	c #Conflicts:     182000 | #Constraints:      18304
205.19/205.85	c #Conflicts:     183000 | #Constraints:      20094
205.19/205.85	c #Conflicts:     184000 | #Constraints:      21938
205.19/205.85	c #Conflicts:     185000 | #Constraints:      23729
205.19/205.85	c #Conflicts:     186000 | #Constraints:      25401
205.19/205.85	c #Conflicts:     187000 | #Constraints:      27159
205.19/205.85	c #Conflicts:     188000 | #Constraints:      28941
205.19/205.85	c #Conflicts:     189000 | #Constraints:      30665
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     190000 | #Constraints:      17531
205.19/205.85	c #Conflicts:     191000 | #Constraints:      19267
205.19/205.85	c #Conflicts:     192000 | #Constraints:      20964
205.19/205.85	c #Conflicts:     193000 | #Constraints:      22669
205.19/205.85	c #Conflicts:     194000 | #Constraints:      24294
205.19/205.85	c #Conflicts:     195000 | #Constraints:      25924
205.19/205.85	c #Conflicts:     196000 | #Constraints:      27553
205.19/205.85	c #Conflicts:     197000 | #Constraints:      29235
205.19/205.85	c #Conflicts:     198000 | #Constraints:      30925
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     199000 | #Constraints:      17716
205.19/205.85	c #Conflicts:     200000 | #Constraints:      19452
205.19/205.85	c #Conflicts:     201000 | #Constraints:      21177
205.19/205.85	c #Conflicts:     202000 | #Constraints:      22804
205.19/205.85	c #Conflicts:     203000 | #Constraints:      24480
205.19/205.85	c #Conflicts:     204000 | #Constraints:      26170
205.19/205.85	c #Conflicts:     205000 | #Constraints:      27833
205.19/205.85	c #Conflicts:     206000 | #Constraints:      29587
205.19/205.85	c #Conflicts:     207000 | #Constraints:      31352
205.19/205.85	c INPROCESSING
205.19/205.85	c GARBAGE COLLECT
205.19/205.85	c #Conflicts:     208000 | #Constraints:      17780
205.19/205.85	c #Conflicts:     209000 | #Constraints:      19563
205.19/205.85	c #Conflicts:     210000 | #Constraints:      21277
205.19/205.85	c #Conflicts:     211000 | #Constraints:      23005
205.19/205.85	c #Conflicts:     212000 | #Constraints:      24683
205.19/205.85	c #Conflicts:     213000 | #Constraints:      26391
352.59/353.64	c #Conflicts:     214000 | #Constraints:      28185
352.59/353.64	c #Conflicts:     215000 | #Constraints:      29912
352.59/353.64	c #Conflicts:     216000 | #Constraints:      31585
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     217000 | #Constraints:      17465
352.59/353.64	c #Conflicts:     218000 | #Constraints:      19238
352.59/353.64	c #Conflicts:     219000 | #Constraints:      20986
352.59/353.64	c #Conflicts:     220000 | #Constraints:      22743
352.59/353.64	c #Conflicts:     221000 | #Constraints:      24497
352.59/353.64	c #Conflicts:     222000 | #Constraints:      26220
352.59/353.64	c #Conflicts:     223000 | #Constraints:      27911
352.59/353.64	c #Conflicts:     224000 | #Constraints:      29644
352.59/353.64	c #Conflicts:     225000 | #Constraints:      31353
352.59/353.64	c #Conflicts:     226000 | #Constraints:      33066
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     227000 | #Constraints:      18607
352.59/353.64	c #Conflicts:     228000 | #Constraints:      20306
352.59/353.64	c #Conflicts:     229000 | #Constraints:      21991
352.59/353.64	c #Conflicts:     230000 | #Constraints:      23733
352.59/353.64	c #Conflicts:     231000 | #Constraints:      25429
352.59/353.64	c #Conflicts:     232000 | #Constraints:      27054
352.59/353.64	c #Conflicts:     233000 | #Constraints:      28727
352.59/353.64	c #Conflicts:     234000 | #Constraints:      30368
352.59/353.64	c #Conflicts:     235000 | #Constraints:      32034
352.59/353.64	c #Conflicts:     236000 | #Constraints:      33786
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     237000 | #Constraints:      19036
352.59/353.64	c #Conflicts:     238000 | #Constraints:      20792
352.59/353.64	c #Conflicts:     239000 | #Constraints:      22508
352.59/353.64	c #Conflicts:     240000 | #Constraints:      24197
352.59/353.64	c #Conflicts:     241000 | #Constraints:      25853
352.59/353.64	c #Conflicts:     242000 | #Constraints:      27648
352.59/353.64	c #Conflicts:     243000 | #Constraints:      29371
352.59/353.64	c #Conflicts:     244000 | #Constraints:      30997
352.59/353.64	c #Conflicts:     245000 | #Constraints:      32633
352.59/353.64	c #Conflicts:     246000 | #Constraints:      34285
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     247000 | #Constraints:      19449
352.59/353.64	c #Conflicts:     248000 | #Constraints:      21083
352.59/353.64	c #Conflicts:     249000 | #Constraints:      22802
352.59/353.64	c #Conflicts:     250000 | #Constraints:      24542
352.59/353.64	c #Conflicts:     251000 | #Constraints:      26208
352.59/353.64	c #Conflicts:     252000 | #Constraints:      27832
352.59/353.64	c #Conflicts:     253000 | #Constraints:      29408
352.59/353.64	c #Conflicts:     254000 | #Constraints:      31007
352.59/353.64	c #Conflicts:     255000 | #Constraints:      32647
352.59/353.64	c #Conflicts:     256000 | #Constraints:      34241
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     257000 | #Constraints:      19144
352.59/353.64	c #Conflicts:     258000 | #Constraints:      20860
352.59/353.64	c #Conflicts:     259000 | #Constraints:      22536
352.59/353.64	c #Conflicts:     260000 | #Constraints:      24178
352.59/353.64	c #Conflicts:     261000 | #Constraints:      25851
352.59/353.64	c #Conflicts:     262000 | #Constraints:      27487
352.59/353.64	c #Conflicts:     263000 | #Constraints:      29142
352.59/353.64	c #Conflicts:     264000 | #Constraints:      30803
352.59/353.64	c #Conflicts:     265000 | #Constraints:      32436
352.59/353.64	c #Conflicts:     266000 | #Constraints:      34020
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     267000 | #Constraints:      18654
352.59/353.64	c #Conflicts:     268000 | #Constraints:      20288
352.59/353.64	c #Conflicts:     269000 | #Constraints:      22105
352.59/353.64	c #Conflicts:     270000 | #Constraints:      23938
352.59/353.64	c #Conflicts:     271000 | #Constraints:      25729
352.59/353.64	c #Conflicts:     272000 | #Constraints:      27576
352.59/353.64	c #Conflicts:     273000 | #Constraints:      29339
352.59/353.64	c #Conflicts:     274000 | #Constraints:      31102
352.59/353.64	c #Conflicts:     275000 | #Constraints:      32756
352.59/353.64	c #Conflicts:     276000 | #Constraints:      34432
352.59/353.64	c #Conflicts:     277000 | #Constraints:      36162
352.59/353.64	c INPROCESSING
352.59/353.64	c GARBAGE COLLECT
352.59/353.64	c #Conflicts:     278000 | #Constraints:      20006
352.59/353.64	c #Conflicts:     279000 | #Constraints:      21666
352.59/353.64	c #Conflicts:     280000 | #Constraints:      23282
352.59/353.64	c #Conflicts:     281000 | #Constraints:      24888
352.59/353.64	c #Conflicts:     282000 | #Constraints:      26475
352.59/353.64	c #Conflicts:     283000 | #Constraints:      28072
352.59/353.64	c #Conflicts:     284000 | #Constraints:      29711
352.59/353.64	c #Conflicts:     285000 | #Constraints:      31377
352.59/353.64	c #Conflicts:     286000 | #Constraints:      33101
352.59/353.64	c #Conflicts:     287000 | #Constraints:      34856
352.59/353.64	c #Conflicts:     288000 | #Constraints:      36609
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     289000 | #Constraints:      20431
490.70/492.15	c #Conflicts:     290000 | #Constraints:      22151
490.70/492.15	c #Conflicts:     291000 | #Constraints:      23807
490.70/492.15	c #Conflicts:     292000 | #Constraints:      25482
490.70/492.15	c #Conflicts:     293000 | #Constraints:      27194
490.70/492.15	c #Conflicts:     294000 | #Constraints:      28784
490.70/492.15	c #Conflicts:     295000 | #Constraints:      30432
490.70/492.15	c #Conflicts:     296000 | #Constraints:      32185
490.70/492.15	c #Conflicts:     297000 | #Constraints:      33900
490.70/492.15	c #Conflicts:     298000 | #Constraints:      35607
490.70/492.15	c #Conflicts:     299000 | #Constraints:      37238
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     300000 | #Constraints:      20790
490.70/492.15	c #Conflicts:     301000 | #Constraints:      22370
490.70/492.15	c #Conflicts:     302000 | #Constraints:      23932
490.70/492.15	c #Conflicts:     303000 | #Constraints:      25535
490.70/492.15	c #Conflicts:     304000 | #Constraints:      27214
490.70/492.15	c #Conflicts:     305000 | #Constraints:      28897
490.70/492.15	c #Conflicts:     306000 | #Constraints:      30513
490.70/492.15	c #Conflicts:     307000 | #Constraints:      32164
490.70/492.15	c #Conflicts:     308000 | #Constraints:      33895
490.70/492.15	c #Conflicts:     309000 | #Constraints:      35659
490.70/492.15	c #Conflicts:     310000 | #Constraints:      37415
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     311000 | #Constraints:      20805
490.70/492.15	c #Conflicts:     312000 | #Constraints:      22528
490.70/492.15	c #Conflicts:     313000 | #Constraints:      24255
490.70/492.15	c #Conflicts:     314000 | #Constraints:      25973
490.70/492.15	c #Conflicts:     315000 | #Constraints:      27623
490.70/492.15	c #Conflicts:     316000 | #Constraints:      29244
490.70/492.15	c #Conflicts:     317000 | #Constraints:      30962
490.70/492.15	c #Conflicts:     318000 | #Constraints:      32710
490.70/492.15	c #Conflicts:     319000 | #Constraints:      34463
490.70/492.15	c #Conflicts:     320000 | #Constraints:      36203
490.70/492.15	c #Conflicts:     321000 | #Constraints:      37957
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     322000 | #Constraints:      20637
490.70/492.15	c #Conflicts:     323000 | #Constraints:      22246
490.70/492.15	c #Conflicts:     324000 | #Constraints:      23876
490.70/492.15	c #Conflicts:     325000 | #Constraints:      25596
490.70/492.15	c #Conflicts:     326000 | #Constraints:      27251
490.70/492.15	c #Conflicts:     327000 | #Constraints:      28811
490.70/492.15	c #Conflicts:     328000 | #Constraints:      30341
490.70/492.15	c #Conflicts:     329000 | #Constraints:      31868
490.70/492.15	c #Conflicts:     330000 | #Constraints:      33431
490.70/492.15	c #Conflicts:     331000 | #Constraints:      34994
490.70/492.15	c #Conflicts:     332000 | #Constraints:      36551
490.70/492.15	c #Conflicts:     333000 | #Constraints:      38223
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     334000 | #Constraints:      21020
490.70/492.15	c #Conflicts:     335000 | #Constraints:      22659
490.70/492.15	c #Conflicts:     336000 | #Constraints:      24438
490.70/492.15	c #Conflicts:     337000 | #Constraints:      26147
490.70/492.15	c #Conflicts:     338000 | #Constraints:      27850
490.70/492.15	c #Conflicts:     339000 | #Constraints:      29618
490.70/492.15	c #Conflicts:     340000 | #Constraints:      31340
490.70/492.15	c #Conflicts:     341000 | #Constraints:      33107
490.70/492.15	c #Conflicts:     342000 | #Constraints:      34822
490.70/492.15	c #Conflicts:     343000 | #Constraints:      36534
490.70/492.15	c #Conflicts:     344000 | #Constraints:      38230
490.70/492.15	c #Conflicts:     345000 | #Constraints:      39910
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     346000 | #Constraints:      22083
490.70/492.15	c #Conflicts:     347000 | #Constraints:      23756
490.70/492.15	c #Conflicts:     348000 | #Constraints:      25502
490.70/492.15	c #Conflicts:     349000 | #Constraints:      27076
490.70/492.15	c #Conflicts:     350000 | #Constraints:      28792
490.70/492.15	c #Conflicts:     351000 | #Constraints:      30437
490.70/492.15	c #Conflicts:     352000 | #Constraints:      32158
490.70/492.15	c #Conflicts:     353000 | #Constraints:      33821
490.70/492.15	c #Conflicts:     354000 | #Constraints:      35467
490.70/492.15	c #Conflicts:     355000 | #Constraints:      37141
490.70/492.15	c #Conflicts:     356000 | #Constraints:      38777
490.70/492.15	c #Conflicts:     357000 | #Constraints:      40447
490.70/492.15	c INPROCESSING
490.70/492.15	c GARBAGE COLLECT
490.70/492.15	c #Conflicts:     358000 | #Constraints:      22426
490.70/492.15	c #Conflicts:     359000 | #Constraints:      24140
490.70/492.15	c #Conflicts:     360000 | #Constraints:      25936
490.70/492.15	c #Conflicts:     361000 | #Constraints:      27597
490.70/492.15	c #Conflicts:     362000 | #Constraints:      29211
640.22/642.17	c #Conflicts:     363000 | #Constraints:      30856
640.22/642.17	c #Conflicts:     364000 | #Constraints:      32527
640.22/642.17	c #Conflicts:     365000 | #Constraints:      34216
640.22/642.17	c #Conflicts:     366000 | #Constraints:      36030
640.22/642.17	c #Conflicts:     367000 | #Constraints:      37725
640.22/642.17	c #Conflicts:     368000 | #Constraints:      39392
640.22/642.17	c #Conflicts:     369000 | #Constraints:      41170
640.22/642.17	c INPROCESSING
640.22/642.17	c GARBAGE COLLECT
640.22/642.17	c #Conflicts:     370000 | #Constraints:      22669
640.22/642.17	c #Conflicts:     371000 | #Constraints:      24491
640.22/642.17	c #Conflicts:     372000 | #Constraints:      26230
640.22/642.17	c #Conflicts:     373000 | #Constraints:      27974
640.22/642.17	c #Conflicts:     374000 | #Constraints:      29717
640.22/642.17	c #Conflicts:     375000 | #Constraints:      31448
640.22/642.17	c #Conflicts:     376000 | #Constraints:      33096
640.22/642.17	c #Conflicts:     377000 | #Constraints:      34773
640.22/642.17	c #Conflicts:     378000 | #Constraints:      36364
640.22/642.17	c #Conflicts:     379000 | #Constraints:      38030
640.22/642.17	c #Conflicts:     380000 | #Constraints:      39675
640.22/642.17	c #Conflicts:     381000 | #Constraints:      41388
640.22/642.17	c INPROCESSING
640.22/642.17	c GARBAGE COLLECT
640.22/642.17	c #Conflicts:     382000 | #Constraints:      22353
640.22/642.17	c #Conflicts:     383000 | #Constraints:      24005
640.22/642.17	c #Conflicts:     384000 | #Constraints:      25720
640.22/642.17	c #Conflicts:     385000 | #Constraints:      27421
640.22/642.17	c #Conflicts:     386000 | #Constraints:      29073
640.22/642.17	c #Conflicts:     387000 | #Constraints:      30761
640.22/642.17	c #Conflicts:     388000 | #Constraints:      32466
640.22/642.17	c #Conflicts:     389000 | #Constraints:      34207
640.22/642.17	c #Conflicts:     390000 | #Constraints:      35950
640.22/642.17	c #Conflicts:     391000 | #Constraints:      37497
640.22/642.17	c #Conflicts:     392000 | #Constraints:      39088
640.22/642.17	c #Conflicts:     393000 | #Constraints:      40653
640.22/642.17	c #Conflicts:     394000 | #Constraints:      42299
640.22/642.17	c INPROCESSING
640.22/642.17	c GARBAGE COLLECT
640.22/642.17	c #Conflicts:     395000 | #Constraints:      23156
640.22/642.17	c #Conflicts:     396000 | #Constraints:      24869
640.22/642.17	c #Conflicts:     397000 | #Constraints:      26643
640.22/642.17	c #Conflicts:     398000 | #Constraints:      28306
640.22/642.17	c #Conflicts:     399000 | #Constraints:      29968
640.22/642.17	c #Conflicts:     400000 | #Constraints:      31662
640.22/642.17	c #Conflicts:     401000 | #Constraints:      33397
640.22/642.17	c #Conflicts:     402000 | #Constraints:      35115
640.22/642.17	c #Conflicts:     403000 | #Constraints:      36733
640.22/642.17	c #Conflicts:     404000 | #Constraints:      38427
640.22/642.17	c #Conflicts:     405000 | #Constraints:      40140
640.22/642.17	c #Conflicts:     406000 | #Constraints:      41793
640.22/642.17	c #Conflicts:     407000 | #Constraints:      43423
640.22/642.17	c INPROCESSING
640.22/642.17	c GARBAGE COLLECT
640.22/642.17	c #Conflicts:     408000 | #Constraints:      23771
640.22/642.17	c #Conflicts:     409000 | #Constraints:      25347
640.22/642.17	c #Conflicts:     410000 | #Constraints:      26991
640.22/642.17	c #Conflicts:     411000 | #Constraints:      28759
640.22/642.17	c #Conflicts:     412000 | #Constraints:      30447
640.22/642.17	c #Conflicts:     413000 | #Constraints:      32024
640.22/642.17	c #Conflicts:     414000 | #Constraints:      33700
640.22/642.17	c #Conflicts:     415000 | #Constraints:      35484
640.22/642.17	c #Conflicts:     416000 | #Constraints:      37265
640.22/642.17	c #Conflicts:     417000 | #Constraints:      39081
640.22/642.17	c #Conflicts:     418000 | #Constraints:      40975
640.22/642.17	c #Conflicts:     419000 | #Constraints:      42682
640.22/642.17	c #Conflicts:     420000 | #Constraints:      44219
640.22/642.17	c INPROCESSING
640.22/642.17	c GARBAGE COLLECT
640.22/642.17	c #Conflicts:     421000 | #Constraints:      24295
640.22/642.17	c #Conflicts:     422000 | #Constraints:      25974
640.22/642.17	c #Conflicts:     423000 | #Constraints:      27631
640.22/642.17	c #Conflicts:     424000 | #Constraints:      29259
640.22/642.17	c #Conflicts:     425000 | #Constraints:      30815
640.22/642.17	c #Conflicts:     426000 | #Constraints:      32323
640.22/642.17	c #Conflicts:     427000 | #Constraints:      33890
640.22/642.17	c #Conflicts:     428000 | #Constraints:      35446
640.22/642.17	c #Conflicts:     429000 | #Constraints:      37026
640.22/642.17	c #Conflicts:     430000 | #Constraints:      38678
640.22/642.17	c #Conflicts:     431000 | #Constraints:      40286
640.22/642.17	c #Conflicts:     432000 | #Constraints:      41879
640.22/642.17	c #Conflicts:     433000 | #Constraints:      43516
640.22/642.17	c INPROCESSING
640.22/642.17	c GARBAGE COLLECT
640.22/642.17	c #Conflicts:     434000 | #Constraints:      23653
640.22/642.17	c #Conflicts:     435000 | #Constraints:      25307
640.22/642.17	c #Conflicts:     436000 | #Constraints:      27012
640.22/642.17	c #Conflicts:     437000 | #Constraints:      28692
793.90/796.29	c #Conflicts:     438000 | #Constraints:      30293
793.90/796.29	c #Conflicts:     439000 | #Constraints:      31902
793.90/796.29	c #Conflicts:     440000 | #Constraints:      33601
793.90/796.29	c #Conflicts:     441000 | #Constraints:      35335
793.90/796.29	c #Conflicts:     442000 | #Constraints:      37068
793.90/796.29	c #Conflicts:     443000 | #Constraints:      38649
793.90/796.29	c #Conflicts:     444000 | #Constraints:      40226
793.90/796.29	c #Conflicts:     445000 | #Constraints:      41943
793.90/796.29	c #Conflicts:     446000 | #Constraints:      43573
793.90/796.29	c INPROCESSING
793.90/796.29	c GARBAGE COLLECT
793.90/796.29	c #Conflicts:     447000 | #Constraints:      23462
793.90/796.29	c #Conflicts:     448000 | #Constraints:      25246
793.90/796.29	c #Conflicts:     449000 | #Constraints:      27037
793.90/796.29	c #Conflicts:     450000 | #Constraints:      28766
793.90/796.29	c #Conflicts:     451000 | #Constraints:      30451
793.90/796.29	c #Conflicts:     452000 | #Constraints:      32242
793.90/796.29	c #Conflicts:     453000 | #Constraints:      33980
793.90/796.29	c #Conflicts:     454000 | #Constraints:      35730
793.90/796.29	c #Conflicts:     455000 | #Constraints:      37480
793.90/796.29	c #Conflicts:     456000 | #Constraints:      39163
793.90/796.29	c #Conflicts:     457000 | #Constraints:      40786
793.90/796.29	c #Conflicts:     458000 | #Constraints:      42428
793.90/796.29	c #Conflicts:     459000 | #Constraints:      44120
793.90/796.29	c #Conflicts:     460000 | #Constraints:      45705
793.90/796.29	c INPROCESSING
793.90/796.29	c GARBAGE COLLECT
793.90/796.29	c #Conflicts:     461000 | #Constraints:      24943
793.90/796.29	c #Conflicts:     462000 | #Constraints:      26665
793.90/796.29	c #Conflicts:     463000 | #Constraints:      28260
793.90/796.29	c #Conflicts:     464000 | #Constraints:      29848
793.90/796.29	c #Conflicts:     465000 | #Constraints:      31507
793.90/796.29	c #Conflicts:     466000 | #Constraints:      33137
793.90/796.29	c #Conflicts:     467000 | #Constraints:      34796
793.90/796.29	c #Conflicts:     468000 | #Constraints:      36444
793.90/796.29	c #Conflicts:     469000 | #Constraints:      38030
793.90/796.29	c #Conflicts:     470000 | #Constraints:      39707
793.90/796.29	c #Conflicts:     471000 | #Constraints:      41278
793.90/796.29	c #Conflicts:     472000 | #Constraints:      42875
793.90/796.29	c #Conflicts:     473000 | #Constraints:      44430
793.90/796.29	c #Conflicts:     474000 | #Constraints:      46151
793.90/796.29	c INPROCESSING
793.90/796.29	c GARBAGE COLLECT
793.90/796.29	c #Conflicts:     475000 | #Constraints:      25335
793.90/796.29	c #Conflicts:     476000 | #Constraints:      27139
793.90/796.29	c #Conflicts:     477000 | #Constraints:      28764
793.90/796.29	c #Conflicts:     478000 | #Constraints:      30368
793.90/796.29	c #Conflicts:     479000 | #Constraints:      32049
793.90/796.29	c #Conflicts:     480000 | #Constraints:      33587
793.90/796.29	c #Conflicts:     481000 | #Constraints:      35124
793.90/796.29	c #Conflicts:     482000 | #Constraints:      36773
793.90/796.29	c #Conflicts:     483000 | #Constraints:      38282
793.90/796.29	c #Conflicts:     484000 | #Constraints:      39973
793.90/796.29	c #Conflicts:     485000 | #Constraints:      41687
793.90/796.29	c #Conflicts:     486000 | #Constraints:      43437
793.90/796.29	c #Conflicts:     487000 | #Constraints:      45107
793.90/796.29	c #Conflicts:     488000 | #Constraints:      46637
793.90/796.29	c INPROCESSING
793.90/796.29	c GARBAGE COLLECT
793.90/796.29	c #Conflicts:     489000 | #Constraints:      25414
793.90/796.29	c #Conflicts:     490000 | #Constraints:      27093
793.90/796.29	c #Conflicts:     491000 | #Constraints:      28769
793.90/796.29	c #Conflicts:     492000 | #Constraints:      30444
793.90/796.29	c #Conflicts:     493000 | #Constraints:      32193
793.90/796.29	c #Conflicts:     494000 | #Constraints:      33944
793.90/796.29	c #Conflicts:     495000 | #Constraints:      35752
793.90/796.29	c #Conflicts:     496000 | #Constraints:      37539
793.90/796.29	c #Conflicts:     497000 | #Constraints:      39310
793.90/796.29	c #Conflicts:     498000 | #Constraints:      41114
793.90/796.29	c #Conflicts:     499000 | #Constraints:      42766
793.90/796.29	c #Conflicts:     500000 | #Constraints:      44392
793.90/796.29	c #Conflicts:     501000 | #Constraints:      46036
793.90/796.29	c #Conflicts:     502000 | #Constraints:      47691
793.90/796.29	c INPROCESSING
793.90/796.29	c GARBAGE COLLECT
793.90/796.29	c #Conflicts:     503000 | #Constraints:      25742
793.90/796.29	c #Conflicts:     504000 | #Constraints:      27310
793.90/796.29	c #Conflicts:     505000 | #Constraints:      28918
793.90/796.29	c #Conflicts:     506000 | #Constraints:      30552
793.90/796.29	c #Conflicts:     507000 | #Constraints:      32193
793.90/796.29	c #Conflicts:     508000 | #Constraints:      33787
793.90/796.29	c #Conflicts:     509000 | #Constraints:      35333
793.90/796.29	c #Conflicts:     510000 | #Constraints:      36895
793.90/796.29	c #Conflicts:     511000 | #Constraints:      38495
793.90/796.29	c #Conflicts:     512000 | #Constraints:      40176
971.49/974.31	c #Conflicts:     513000 | #Constraints:      41781
971.49/974.31	c #Conflicts:     514000 | #Constraints:      43451
971.49/974.31	c #Conflicts:     515000 | #Constraints:      45163
971.49/974.31	c #Conflicts:     516000 | #Constraints:      46936
971.49/974.31	c INPROCESSING
971.49/974.31	c GARBAGE COLLECT
971.49/974.31	c #Conflicts:     517000 | #Constraints:      25173
971.49/974.31	c #Conflicts:     518000 | #Constraints:      26906
971.49/974.31	c #Conflicts:     519000 | #Constraints:      28687
971.49/974.31	c #Conflicts:     520000 | #Constraints:      30475
971.49/974.31	c #Conflicts:     521000 | #Constraints:      32256
971.49/974.31	c #Conflicts:     522000 | #Constraints:      33949
971.49/974.31	c #Conflicts:     523000 | #Constraints:      35562
971.49/974.31	c #Conflicts:     524000 | #Constraints:      37210
971.49/974.31	c #Conflicts:     525000 | #Constraints:      38849
971.49/974.31	c #Conflicts:     526000 | #Constraints:      40455
971.49/974.31	c #Conflicts:     527000 | #Constraints:      42112
971.49/974.31	c #Conflicts:     528000 | #Constraints:      43819
971.49/974.31	c #Conflicts:     529000 | #Constraints:      45519
971.49/974.31	c #Conflicts:     530000 | #Constraints:      47124
971.49/974.31	c #Conflicts:     531000 | #Constraints:      48813
971.49/974.31	c INPROCESSING
971.49/974.31	c GARBAGE COLLECT
971.49/974.31	c #Conflicts:     532000 | #Constraints:      26385
971.49/974.31	c #Conflicts:     533000 | #Constraints:      28010
971.49/974.31	c #Conflicts:     534000 | #Constraints:      29664
971.49/974.31	c #Conflicts:     535000 | #Constraints:      31369
971.49/974.31	c #Conflicts:     536000 | #Constraints:      33013
971.49/974.31	c #Conflicts:     537000 | #Constraints:      34681
971.49/974.31	c #Conflicts:     538000 | #Constraints:      36440
971.49/974.31	c #Conflicts:     539000 | #Constraints:      37938
971.49/974.31	c #Conflicts:     540000 | #Constraints:      39491
971.49/974.31	c #Conflicts:     541000 | #Constraints:      41155
971.49/974.31	c #Conflicts:     542000 | #Constraints:      42855
971.49/974.31	c #Conflicts:     543000 | #Constraints:      44617
971.49/974.31	c #Conflicts:     544000 | #Constraints:      46365
971.49/974.31	c #Conflicts:     545000 | #Constraints:      48141
971.49/974.31	c #Conflicts:     546000 | #Constraints:      49902
971.49/974.31	c INPROCESSING
971.49/974.31	c GARBAGE COLLECT
971.49/974.31	c #Conflicts:     547000 | #Constraints:      27187
971.49/974.31	c #Conflicts:     548000 | #Constraints:      28901
971.49/974.31	c #Conflicts:     549000 | #Constraints:      30656
971.49/974.31	c #Conflicts:     550000 | #Constraints:      32379
971.49/974.31	c #Conflicts:     551000 | #Constraints:      34090
971.49/974.31	c #Conflicts:     552000 | #Constraints:      35776
971.49/974.31	c #Conflicts:     553000 | #Constraints:      37548
971.49/974.31	c #Conflicts:     554000 | #Constraints:      39417
971.49/974.31	c #Conflicts:     555000 | #Constraints:      41227
971.49/974.31	c #Conflicts:     556000 | #Constraints:      43010
971.49/974.31	c #Conflicts:     557000 | #Constraints:      44754
971.49/974.31	c #Conflicts:     558000 | #Constraints:      46451
971.49/974.31	c #Conflicts:     559000 | #Constraints:      47985
971.49/974.31	c #Conflicts:     560000 | #Constraints:      49597
971.49/974.31	c #Conflicts:     561000 | #Constraints:      51207
971.49/974.31	c INPROCESSING
971.49/974.31	c GARBAGE COLLECT
971.49/974.31	c #Conflicts:     562000 | #Constraints:      27690
971.49/974.31	c #Conflicts:     563000 | #Constraints:      29314
971.49/974.31	c #Conflicts:     564000 | #Constraints:      31032
971.49/974.31	c #Conflicts:     565000 | #Constraints:      32576
971.49/974.31	c #Conflicts:     566000 | #Constraints:      34241
971.49/974.31	c #Conflicts:     567000 | #Constraints:      35920
971.49/974.31	c #Conflicts:     568000 | #Constraints:      37670
971.49/974.31	c #Conflicts:     569000 | #Constraints:      39413
971.49/974.31	c #Conflicts:     570000 | #Constraints:      41083
971.49/974.31	c #Conflicts:     571000 | #Constraints:      42705
971.49/974.31	c #Conflicts:     572000 | #Constraints:      44446
971.49/974.31	c #Conflicts:     573000 | #Constraints:      46127
971.49/974.31	c #Conflicts:     574000 | #Constraints:      47872
971.49/974.31	c #Conflicts:     575000 | #Constraints:      49683
971.49/974.31	c #Conflicts:     576000 | #Constraints:      51372
971.49/974.31	c INPROCESSING
971.49/974.31	c GARBAGE COLLECT
971.49/974.31	c #Conflicts:     577000 | #Constraints:      27788
971.49/974.31	c #Conflicts:     578000 | #Constraints:      29487
971.49/974.31	c #Conflicts:     579000 | #Constraints:      31206
971.49/974.31	c #Conflicts:     580000 | #Constraints:      32983
971.49/974.31	c #Conflicts:     581000 | #Constraints:      34541
971.49/974.31	c #Conflicts:     582000 | #Constraints:      36171
971.49/974.31	c #Conflicts:     583000 | #Constraints:      37836
971.49/974.31	c #Conflicts:     584000 | #Constraints:      39459
971.49/974.31	c #Conflicts:     585000 | #Constraints:      41099
971.49/974.31	c #Conflicts:     586000 | #Constraints:      42779
971.49/974.31	c #Conflicts:     587000 | #Constraints:      44474
971.49/974.31	c #Conflicts:     588000 | #Constraints:      46152
1174.15/1177.61	c #Conflicts:     589000 | #Constraints:      47894
1174.15/1177.61	c #Conflicts:     590000 | #Constraints:      49549
1174.15/1177.61	c #Conflicts:     591000 | #Constraints:      51309
1174.15/1177.61	c INPROCESSING
1174.15/1177.61	c GARBAGE COLLECT
1174.15/1177.61	c #Conflicts:     592000 | #Constraints:      27391
1174.15/1177.61	c #Conflicts:     593000 | #Constraints:      29135
1174.15/1177.61	c #Conflicts:     594000 | #Constraints:      30935
1174.15/1177.61	c #Conflicts:     595000 | #Constraints:      32741
1174.15/1177.61	c #Conflicts:     596000 | #Constraints:      34543
1174.15/1177.61	c #Conflicts:     597000 | #Constraints:      36322
1174.15/1177.61	c #Conflicts:     598000 | #Constraints:      38080
1174.15/1177.61	c #Conflicts:     599000 | #Constraints:      39845
1174.15/1177.61	c #Conflicts:     600000 | #Constraints:      41595
1174.15/1177.61	c #Conflicts:     601000 | #Constraints:      43396
1174.15/1177.61	c #Conflicts:     602000 | #Constraints:      45145
1174.15/1177.61	c #Conflicts:     603000 | #Constraints:      46896
1174.15/1177.61	c #Conflicts:     604000 | #Constraints:      48646
1174.15/1177.61	c #Conflicts:     605000 | #Constraints:      50280
1174.15/1177.61	c #Conflicts:     606000 | #Constraints:      51857
1174.15/1177.61	c #Conflicts:     607000 | #Constraints:      53454
1174.15/1177.61	c INPROCESSING
1174.15/1177.61	c GARBAGE COLLECT
1174.15/1177.61	c #Conflicts:     608000 | #Constraints:      28706
1174.15/1177.61	c #Conflicts:     609000 | #Constraints:      30442
1174.15/1177.61	c #Conflicts:     610000 | #Constraints:      32196
1174.15/1177.61	c #Conflicts:     611000 | #Constraints:      33988
1174.15/1177.61	c #Conflicts:     612000 | #Constraints:      35734
1174.15/1177.61	c #Conflicts:     613000 | #Constraints:      37572
1174.15/1177.61	c #Conflicts:     614000 | #Constraints:      39444
1174.15/1177.61	c #Conflicts:     615000 | #Constraints:      41119
1174.15/1177.61	c #Conflicts:     616000 | #Constraints:      42822
1174.15/1177.61	c #Conflicts:     617000 | #Constraints:      44513
1174.15/1177.61	c #Conflicts:     618000 | #Constraints:      46220
1174.15/1177.61	c #Conflicts:     619000 | #Constraints:      47941
1174.15/1177.61	c #Conflicts:     620000 | #Constraints:      49640
1174.15/1177.61	c #Conflicts:     621000 | #Constraints:      51395
1174.15/1177.61	c #Conflicts:     622000 | #Constraints:      53063
1174.15/1177.61	c #Conflicts:     623000 | #Constraints:      54754
1174.15/1177.61	c INPROCESSING
1174.15/1177.61	c GARBAGE COLLECT
1174.15/1177.61	c #Conflicts:     624000 | #Constraints:      29589
1174.15/1177.61	c #Conflicts:     625000 | #Constraints:      31290
1174.15/1177.61	c #Conflicts:     626000 | #Constraints:      32958
1174.15/1177.61	c #Conflicts:     627000 | #Constraints:      34663
1174.15/1177.61	c #Conflicts:     628000 | #Constraints:      36352
1174.15/1177.61	c #Conflicts:     629000 | #Constraints:      38091
1174.15/1177.61	c #Conflicts:     630000 | #Constraints:      39890
1174.15/1177.61	c #Conflicts:     631000 | #Constraints:      41763
1174.15/1177.61	c #Conflicts:     632000 | #Constraints:      43581
1174.15/1177.61	c #Conflicts:     633000 | #Constraints:      45367
1174.15/1177.61	c #Conflicts:     634000 | #Constraints:      47227
1174.15/1177.61	c #Conflicts:     635000 | #Constraints:      48980
1174.15/1177.61	c #Conflicts:     636000 | #Constraints:      50697
1174.15/1177.61	c #Conflicts:     637000 | #Constraints:      52469
1174.15/1177.61	c #Conflicts:     638000 | #Constraints:      54207
1174.15/1177.61	c #Conflicts:     639000 | #Constraints:      55944
1174.15/1177.61	c INPROCESSING
1174.15/1177.61	c GARBAGE COLLECT
1174.15/1177.61	c #Conflicts:     640000 | #Constraints:      30136
1174.15/1177.61	c #Conflicts:     641000 | #Constraints:      31950
1174.15/1177.61	c #Conflicts:     642000 | #Constraints:      33840
1174.15/1177.61	c #Conflicts:     643000 | #Constraints:      35691
1174.15/1177.61	c #Conflicts:     644000 | #Constraints:      37471
1174.15/1177.61	c #Conflicts:     645000 | #Constraints:      39265
1174.15/1177.61	c #Conflicts:     646000 | #Constraints:      41033
1174.15/1177.61	c #Conflicts:     647000 | #Constraints:      42745
1174.15/1177.61	c #Conflicts:     648000 | #Constraints:      44417
1174.15/1177.61	c #Conflicts:     649000 | #Constraints:      46103
1174.15/1177.61	c #Conflicts:     650000 | #Constraints:      47752
1174.15/1177.61	c #Conflicts:     651000 | #Constraints:      49422
1174.15/1177.61	c #Conflicts:     652000 | #Constraints:      51212
1174.15/1177.61	c #Conflicts:     653000 | #Constraints:      53043
1174.15/1177.61	c #Conflicts:     654000 | #Constraints:      54831
1174.15/1177.61	c #Conflicts:     655000 | #Constraints:      56622
1174.15/1177.61	c INPROCESSING
1174.15/1177.61	c GARBAGE COLLECT
1174.15/1177.61	c #Conflicts:     656000 | #Constraints:      30328
1174.15/1177.61	c #Conflicts:     657000 | #Constraints:      32103
1174.15/1177.61	c #Conflicts:     658000 | #Constraints:      33938
1174.15/1177.61	c #Conflicts:     659000 | #Constraints:      35764
1174.15/1177.61	c #Conflicts:     660000 | #Constraints:      37479
1174.15/1177.61	c #Conflicts:     661000 | #Constraints:      39207
1174.15/1177.61	c #Conflicts:     662000 | #Constraints:      40814
1174.15/1177.61	c #Conflicts:     663000 | #Constraints:      42382
1174.15/1177.61	c #Conflicts:     664000 | #Constraints:      43979
1375.57/1379.60	c #Conflicts:     665000 | #Constraints:      45657
1375.57/1379.60	c #Conflicts:     666000 | #Constraints:      47349
1375.57/1379.60	c #Conflicts:     667000 | #Constraints:      49023
1375.57/1379.60	c #Conflicts:     668000 | #Constraints:      50652
1375.57/1379.60	c #Conflicts:     669000 | #Constraints:      52264
1375.57/1379.60	c #Conflicts:     670000 | #Constraints:      53866
1375.57/1379.60	c #Conflicts:     671000 | #Constraints:      55640
1375.57/1379.60	c INPROCESSING
1375.57/1379.60	c GARBAGE COLLECT
1375.57/1379.60	c #Conflicts:     672000 | #Constraints:      29474
1375.57/1379.60	c #Conflicts:     673000 | #Constraints:      31178
1375.57/1379.60	c #Conflicts:     674000 | #Constraints:      32869
1375.57/1379.60	c #Conflicts:     675000 | #Constraints:      34597
1375.57/1379.60	c #Conflicts:     676000 | #Constraints:      36363
1375.57/1379.60	c #Conflicts:     677000 | #Constraints:      38075
1375.57/1379.60	c #Conflicts:     678000 | #Constraints:      39838
1375.57/1379.60	c #Conflicts:     679000 | #Constraints:      41537
1375.57/1379.60	c #Conflicts:     680000 | #Constraints:      43262
1375.57/1379.60	c #Conflicts:     681000 | #Constraints:      44872
1375.57/1379.60	c #Conflicts:     682000 | #Constraints:      46487
1375.57/1379.60	c #Conflicts:     683000 | #Constraints:      48136
1375.57/1379.60	c #Conflicts:     684000 | #Constraints:      49772
1375.57/1379.60	c #Conflicts:     685000 | #Constraints:      51365
1375.57/1379.60	c #Conflicts:     686000 | #Constraints:      53127
1375.57/1379.60	c #Conflicts:     687000 | #Constraints:      54778
1375.57/1379.60	c #Conflicts:     688000 | #Constraints:      56505
1375.57/1379.60	c INPROCESSING
1375.57/1379.60	c GARBAGE COLLECT
1375.57/1379.60	c #Conflicts:     689000 | #Constraints:      30254
1375.57/1379.60	c #Conflicts:     690000 | #Constraints:      31997
1375.57/1379.60	c #Conflicts:     691000 | #Constraints:      33634
1375.57/1379.60	c #Conflicts:     692000 | #Constraints:      35314
1375.57/1379.60	c #Conflicts:     693000 | #Constraints:      37071
1375.57/1379.60	c #Conflicts:     694000 | #Constraints:      38792
1375.57/1379.60	c #Conflicts:     695000 | #Constraints:      40433
1375.57/1379.60	c #Conflicts:     696000 | #Constraints:      42113
1375.57/1379.60	c #Conflicts:     697000 | #Constraints:      43817
1375.57/1379.60	c #Conflicts:     698000 | #Constraints:      45446
1375.57/1379.60	c #Conflicts:     699000 | #Constraints:      47135
1375.57/1379.60	c #Conflicts:     700000 | #Constraints:      48862
1375.57/1379.60	c #Conflicts:     701000 | #Constraints:      50540
1375.57/1379.60	c #Conflicts:     702000 | #Constraints:      52193
1375.57/1379.60	c #Conflicts:     703000 | #Constraints:      53888
1375.57/1379.60	c #Conflicts:     704000 | #Constraints:      55549
1375.57/1379.60	c #Conflicts:     705000 | #Constraints:      57238
1375.57/1379.60	c INPROCESSING
1375.57/1379.60	c GARBAGE COLLECT
1375.57/1379.60	c #Conflicts:     706000 | #Constraints:      30818
1375.57/1379.60	c #Conflicts:     707000 | #Constraints:      32521
1375.57/1379.60	c #Conflicts:     708000 | #Constraints:      34269
1375.57/1379.60	c #Conflicts:     709000 | #Constraints:      36046
1375.57/1379.60	c #Conflicts:     710000 | #Constraints:      37863
1375.57/1379.60	c #Conflicts:     711000 | #Constraints:      39632
1375.57/1379.60	c #Conflicts:     712000 | #Constraints:      41360
1375.57/1379.60	c #Conflicts:     713000 | #Constraints:      43239
1375.57/1379.60	c #Conflicts:     714000 | #Constraints:      44899
1375.57/1379.60	c #Conflicts:     715000 | #Constraints:      46578
1375.57/1379.60	c #Conflicts:     716000 | #Constraints:      48288
1375.57/1379.60	c #Conflicts:     717000 | #Constraints:      50003
1375.57/1379.60	c #Conflicts:     718000 | #Constraints:      51683
1375.57/1379.60	c #Conflicts:     719000 | #Constraints:      53357
1375.57/1379.60	c #Conflicts:     720000 | #Constraints:      55108
1375.57/1379.60	c #Conflicts:     721000 | #Constraints:      56841
1375.57/1379.60	c #Conflicts:     722000 | #Constraints:      58568
1375.57/1379.60	c INPROCESSING
1375.57/1379.60	c GARBAGE COLLECT
1375.57/1379.60	c #Conflicts:     723000 | #Constraints:      31549
1375.57/1379.60	c #Conflicts:     724000 | #Constraints:      33266
1375.57/1379.60	c #Conflicts:     725000 | #Constraints:      34957
1375.57/1379.60	c #Conflicts:     726000 | #Constraints:      36694
1375.57/1379.60	c #Conflicts:     727000 | #Constraints:      38492
1375.57/1379.60	c #Conflicts:     728000 | #Constraints:      40284
1375.57/1379.60	c #Conflicts:     729000 | #Constraints:      42128
1375.57/1379.60	c #Conflicts:     730000 | #Constraints:      43869
1375.57/1379.60	c #Conflicts:     731000 | #Constraints:      45596
1375.57/1379.60	c #Conflicts:     732000 | #Constraints:      47317
1375.57/1379.60	c #Conflicts:     733000 | #Constraints:      48962
1375.57/1379.60	c #Conflicts:     734000 | #Constraints:      50638
1375.57/1379.60	c #Conflicts:     735000 | #Constraints:      52436
1375.57/1379.60	c #Conflicts:     736000 | #Constraints:      54339
1375.57/1379.60	c #Conflicts:     737000 | #Constraints:      56148
1375.57/1379.60	c #Conflicts:     738000 | #Constraints:      57917
1375.57/1379.60	c #Conflicts:     739000 | #Constraints:      59671
1375.57/1379.60	c INPROCESSING
1375.57/1379.60	c GARBAGE COLLECT
1562.17/1566.72	c #Conflicts:     740000 | #Constraints:      31960
1562.17/1566.72	c #Conflicts:     741000 | #Constraints:      33869
1562.17/1566.72	c #Conflicts:     742000 | #Constraints:      35676
1562.17/1566.72	c #Conflicts:     743000 | #Constraints:      37446
1562.17/1566.72	c #Conflicts:     744000 | #Constraints:      39073
1562.17/1566.72	c #Conflicts:     745000 | #Constraints:      40820
1562.17/1566.72	c #Conflicts:     746000 | #Constraints:      42537
1562.17/1566.72	c #Conflicts:     747000 | #Constraints:      44261
1562.17/1566.72	c #Conflicts:     748000 | #Constraints:      45942
1562.17/1566.72	c #Conflicts:     749000 | #Constraints:      47528
1562.17/1566.72	c #Conflicts:     750000 | #Constraints:      49159
1562.17/1566.72	c #Conflicts:     751000 | #Constraints:      50849
1562.17/1566.72	c #Conflicts:     752000 | #Constraints:      52446
1562.17/1566.72	c #Conflicts:     753000 | #Constraints:      54123
1562.17/1566.72	c #Conflicts:     754000 | #Constraints:      55814
1562.17/1566.72	c #Conflicts:     755000 | #Constraints:      57551
1562.17/1566.72	c #Conflicts:     756000 | #Constraints:      59199
1562.17/1566.72	c INPROCESSING
1562.17/1566.72	c GARBAGE COLLECT
1562.17/1566.72	c #Conflicts:     757000 | #Constraints:      31251
1562.17/1566.72	c #Conflicts:     758000 | #Constraints:      32882
1562.17/1566.72	c #Conflicts:     759000 | #Constraints:      34613
1562.17/1566.72	c #Conflicts:     760000 | #Constraints:      36291
1562.17/1566.72	c #Conflicts:     761000 | #Constraints:      37931
1562.17/1566.72	c #Conflicts:     762000 | #Constraints:      39669
1562.17/1566.72	c #Conflicts:     763000 | #Constraints:      41428
1562.17/1566.72	c #Conflicts:     764000 | #Constraints:      43161
1562.17/1566.72	c #Conflicts:     765000 | #Constraints:      44875
1562.17/1566.72	c #Conflicts:     766000 | #Constraints:      46612
1562.17/1566.72	c #Conflicts:     767000 | #Constraints:      48269
1562.17/1566.72	c #Conflicts:     768000 | #Constraints:      50038
1562.17/1566.72	c #Conflicts:     769000 | #Constraints:      51830
1562.17/1566.72	c #Conflicts:     770000 | #Constraints:      53513
1562.17/1566.72	c #Conflicts:     771000 | #Constraints:      55165
1562.17/1566.72	c #Conflicts:     772000 | #Constraints:      56842
1562.17/1566.72	c #Conflicts:     773000 | #Constraints:      58551
1562.17/1566.72	c #Conflicts:     774000 | #Constraints:      60188
1562.17/1566.72	c INPROCESSING
1562.17/1566.72	c GARBAGE COLLECT
1562.17/1566.72	c #Conflicts:     775000 | #Constraints:      32142
1562.17/1566.72	c #Conflicts:     776000 | #Constraints:      33821
1562.17/1566.72	c #Conflicts:     777000 | #Constraints:      35451
1562.17/1566.72	c #Conflicts:     778000 | #Constraints:      37139
1562.17/1566.72	c #Conflicts:     779000 | #Constraints:      38874
1562.17/1566.72	c #Conflicts:     780000 | #Constraints:      40648
1562.17/1566.72	c #Conflicts:     781000 | #Constraints:      42474
1562.17/1566.72	c #Conflicts:     782000 | #Constraints:      44182
1562.17/1566.72	c #Conflicts:     783000 | #Constraints:      45828
1562.17/1566.72	c #Conflicts:     784000 | #Constraints:      47448
1562.17/1566.72	c #Conflicts:     785000 | #Constraints:      49094
1562.17/1566.72	c #Conflicts:     786000 | #Constraints:      50762
1562.17/1566.72	c #Conflicts:     787000 | #Constraints:      52397
1562.17/1566.72	c #Conflicts:     788000 | #Constraints:      54120
1562.17/1566.72	c #Conflicts:     789000 | #Constraints:      55812
1562.17/1566.72	c #Conflicts:     790000 | #Constraints:      57480
1562.17/1566.72	c #Conflicts:     791000 | #Constraints:      59076
1562.17/1566.72	c #Conflicts:     792000 | #Constraints:      60704
1562.17/1566.72	c INPROCESSING
1562.17/1566.72	c GARBAGE COLLECT
1562.17/1566.72	c #Conflicts:     793000 | #Constraints:      32452
1562.17/1566.72	c #Conflicts:     794000 | #Constraints:      34152
1562.17/1566.72	c #Conflicts:     795000 | #Constraints:      35939
1562.17/1566.72	c #Conflicts:     796000 | #Constraints:      37715
1562.17/1566.72	c #Conflicts:     797000 | #Constraints:      39395
1562.17/1566.72	c #Conflicts:     798000 | #Constraints:      41060
1562.17/1566.72	c #Conflicts:     799000 | #Constraints:      42656
1562.17/1566.72	c #Conflicts:     800000 | #Constraints:      44270
1562.17/1566.72	c #Conflicts:     801000 | #Constraints:      45927
1562.17/1566.72	c #Conflicts:     802000 | #Constraints:      47613
1562.17/1566.72	c #Conflicts:     803000 | #Constraints:      49303
1562.17/1566.72	c #Conflicts:     804000 | #Constraints:      51063
1562.17/1566.72	c #Conflicts:     805000 | #Constraints:      52698
1562.17/1566.72	c #Conflicts:     806000 | #Constraints:      54343
1562.17/1566.72	c #Conflicts:     807000 | #Constraints:      56010
1562.17/1566.72	c #Conflicts:     808000 | #Constraints:      57726
1562.17/1566.72	c #Conflicts:     809000 | #Constraints:      59372
1562.17/1566.72	c #Conflicts:     810000 | #Constraints:      61045
1562.17/1566.72	c INPROCESSING
1562.17/1566.72	c GARBAGE COLLECT
1562.17/1566.72	c #Conflicts:     811000 | #Constraints:      32738
1562.17/1566.72	c #Conflicts:     812000 | #Constraints:      34405
1562.17/1566.72	c #Conflicts:     813000 | #Constraints:      36115
1562.17/1566.72	c #Conflicts:     814000 | #Constraints:      37808
1562.17/1566.72	c #Conflicts:     815000 | #Constraints:      39483
1740.08/1745.14	c #Conflicts:     816000 | #Constraints:      41178
1740.08/1745.14	c #Conflicts:     817000 | #Constraints:      42935
1740.08/1745.14	c #Conflicts:     818000 | #Constraints:      44638
1740.08/1745.14	c #Conflicts:     819000 | #Constraints:      46316
1740.08/1745.14	c #Conflicts:     820000 | #Constraints:      47980
1740.08/1745.14	c #Conflicts:     821000 | #Constraints:      49657
1740.08/1745.14	c #Conflicts:     822000 | #Constraints:      51304
1740.08/1745.14	c #Conflicts:     823000 | #Constraints:      52952
1740.08/1745.14	c #Conflicts:     824000 | #Constraints:      54589
1740.08/1745.14	c #Conflicts:     825000 | #Constraints:      56343
1740.08/1745.14	c #Conflicts:     826000 | #Constraints:      58118
1740.08/1745.14	c #Conflicts:     827000 | #Constraints:      59801
1740.08/1745.14	c #Conflicts:     828000 | #Constraints:      61423
1740.08/1745.14	c INPROCESSING
1740.08/1745.14	c GARBAGE COLLECT
1740.08/1745.14	c #Conflicts:     829000 | #Constraints:      32655
1740.08/1745.14	c #Conflicts:     830000 | #Constraints:      34341
1740.08/1745.14	c #Conflicts:     831000 | #Constraints:      35917
1740.08/1745.14	c #Conflicts:     832000 | #Constraints:      37480
1740.08/1745.14	c #Conflicts:     833000 | #Constraints:      39042
1740.08/1745.14	c #Conflicts:     834000 | #Constraints:      40660
1740.08/1745.14	c #Conflicts:     835000 | #Constraints:      42309
1740.08/1745.14	c #Conflicts:     836000 | #Constraints:      44082
1740.08/1745.14	c #Conflicts:     837000 | #Constraints:      45775
1740.08/1745.14	c #Conflicts:     838000 | #Constraints:      47445
1740.08/1745.14	c #Conflicts:     839000 | #Constraints:      49003
1740.08/1745.14	c #Conflicts:     840000 | #Constraints:      50569
1740.08/1745.14	c #Conflicts:     841000 | #Constraints:      52156
1740.08/1745.14	c #Conflicts:     842000 | #Constraints:      53745
1740.08/1745.14	c #Conflicts:     843000 | #Constraints:      55476
1740.08/1745.14	c #Conflicts:     844000 | #Constraints:      57209
1740.08/1745.14	c #Conflicts:     845000 | #Constraints:      59000
1740.08/1745.14	c #Conflicts:     846000 | #Constraints:      60744
1740.08/1745.14	c INPROCESSING
1740.08/1745.14	c GARBAGE COLLECT
1740.08/1745.14	c #Conflicts:     847000 | #Constraints:      31985
1740.08/1745.14	c #Conflicts:     848000 | #Constraints:      33656
1740.08/1745.14	c #Conflicts:     849000 | #Constraints:      35391
1740.08/1745.14	c #Conflicts:     850000 | #Constraints:      36990
1740.08/1745.14	c #Conflicts:     851000 | #Constraints:      38570
1740.08/1745.14	c #Conflicts:     852000 | #Constraints:      40144
1740.08/1745.14	c #Conflicts:     853000 | #Constraints:      41770
1740.08/1745.14	c #Conflicts:     854000 | #Constraints:      43378
1740.08/1745.14	c #Conflicts:     855000 | #Constraints:      44936
1740.08/1745.14	c #Conflicts:     856000 | #Constraints:      46587
1740.08/1745.14	c #Conflicts:     857000 | #Constraints:      48189
1740.08/1745.14	c #Conflicts:     858000 | #Constraints:      49844
1740.08/1745.14	c #Conflicts:     859000 | #Constraints:      51585
1740.08/1745.14	c #Conflicts:     860000 | #Constraints:      53255
1740.08/1745.14	c #Conflicts:     861000 | #Constraints:      55070
1740.08/1745.14	c #Conflicts:     862000 | #Constraints:      56860
1740.08/1745.14	c #Conflicts:     863000 | #Constraints:      58569
1740.08/1745.14	c #Conflicts:     864000 | #Constraints:      60340
1740.08/1745.14	c #Conflicts:     865000 | #Constraints:      61978
1740.08/1745.14	c INPROCESSING
1740.08/1745.14	c GARBAGE COLLECT
1740.08/1745.14	c #Conflicts:     866000 | #Constraints:      32953
1740.08/1745.14	c #Conflicts:     867000 | #Constraints:      34605
1740.08/1745.14	c #Conflicts:     868000 | #Constraints:      36215
1740.08/1745.14	c #Conflicts:     869000 | #Constraints:      37909
1740.08/1745.14	c #Conflicts:     870000 | #Constraints:      39543
1740.08/1745.14	c #Conflicts:     871000 | #Constraints:      41035
1740.08/1745.14	c #Conflicts:     872000 | #Constraints:      42659
1740.08/1745.14	c #Conflicts:     873000 | #Constraints:      44365
1740.08/1745.14	c #Conflicts:     874000 | #Constraints:      46034
1740.08/1745.14	c #Conflicts:     875000 | #Constraints:      47650
1740.08/1745.14	c #Conflicts:     876000 | #Constraints:      49315
1740.08/1745.14	c #Conflicts:     877000 | #Constraints:      51033
1740.08/1745.14	c #Conflicts:     878000 | #Constraints:      52694
1740.08/1745.14	c #Conflicts:     879000 | #Constraints:      54308
1740.08/1745.14	c #Conflicts:     880000 | #Constraints:      56026
1740.08/1745.14	c #Conflicts:     881000 | #Constraints:      57767
1740.08/1745.14	c #Conflicts:     882000 | #Constraints:      59498
1740.08/1745.14	c #Conflicts:     883000 | #Constraints:      61276
1740.08/1745.14	c #Conflicts:     884000 | #Constraints:      62998
1740.08/1745.14	c INPROCESSING
1740.08/1745.14	c GARBAGE COLLECT
1740.08/1745.14	c #Conflicts:     885000 | #Constraints:      33659
1740.08/1745.14	c #Conflicts:     886000 | #Constraints:      35358
1740.08/1745.14	c #Conflicts:     887000 | #Constraints:      37110
1740.08/1745.14	c #Conflicts:     888000 | #Constraints:      38791
1740.08/1745.14	c #Conflicts:     889000 | #Constraints:      40522
1740.08/1745.14	c #Conflicts:     890000 | #Constraints:      42194
1740.08/1745.14	c #Conflicts:     891000 | #Constraints:      43885
1740.08/1745.14	c #Conflicts:     892000 | #Constraints:      45623
1943.13/1948.72	c #Conflicts:     893000 | #Constraints:      47281
1943.13/1948.72	c #Conflicts:     894000 | #Constraints:      49047
1943.13/1948.72	c #Conflicts:     895000 | #Constraints:      50680
1943.13/1948.72	c #Conflicts:     896000 | #Constraints:      52372
1943.13/1948.72	c #Conflicts:     897000 | #Constraints:      54015
1943.13/1948.72	c #Conflicts:     898000 | #Constraints:      55744
1943.13/1948.72	c #Conflicts:     899000 | #Constraints:      57510
1943.13/1948.72	c #Conflicts:     900000 | #Constraints:      59234
1943.13/1948.72	c #Conflicts:     901000 | #Constraints:      60857
1943.13/1948.72	c #Conflicts:     902000 | #Constraints:      62585
1943.13/1948.72	c #Conflicts:     903000 | #Constraints:      64212
1943.13/1948.72	c INPROCESSING
1943.13/1948.72	c GARBAGE COLLECT
1943.13/1948.72	c #Conflicts:     904000 | #Constraints:      34321
1943.13/1948.72	c #Conflicts:     905000 | #Constraints:      35980
1943.13/1948.72	c #Conflicts:     906000 | #Constraints:      37739
1943.13/1948.72	c #Conflicts:     907000 | #Constraints:      39444
1943.13/1948.72	c #Conflicts:     908000 | #Constraints:      41160
1943.13/1948.72	c #Conflicts:     909000 | #Constraints:      42802
1943.13/1948.72	c #Conflicts:     910000 | #Constraints:      44432
1943.13/1948.72	c #Conflicts:     911000 | #Constraints:      46116
1943.13/1948.72	c #Conflicts:     912000 | #Constraints:      47838
1943.13/1948.72	c #Conflicts:     913000 | #Constraints:      49612
1943.13/1948.72	c #Conflicts:     914000 | #Constraints:      51273
1943.13/1948.72	c #Conflicts:     915000 | #Constraints:      52964
1943.13/1948.72	c #Conflicts:     916000 | #Constraints:      54658
1943.13/1948.72	c #Conflicts:     917000 | #Constraints:      56379
1943.13/1948.72	c #Conflicts:     918000 | #Constraints:      58094
1943.13/1948.72	c #Conflicts:     919000 | #Constraints:      59690
1943.13/1948.72	c #Conflicts:     920000 | #Constraints:      61389
1943.13/1948.72	c #Conflicts:     921000 | #Constraints:      63027
1943.13/1948.72	c #Conflicts:     922000 | #Constraints:      64662
1943.13/1948.72	c INPROCESSING
1943.13/1948.72	c GARBAGE COLLECT
1943.13/1948.72	c #Conflicts:     923000 | #Constraints:      34342
1943.13/1948.72	c #Conflicts:     924000 | #Constraints:      36106
1943.13/1948.72	c #Conflicts:     925000 | #Constraints:      37817
1943.13/1948.72	c #Conflicts:     926000 | #Constraints:      39457
1943.13/1948.72	c #Conflicts:     927000 | #Constraints:      41154
1943.13/1948.72	c #Conflicts:     928000 | #Constraints:      42820
1943.13/1948.72	c #Conflicts:     929000 | #Constraints:      44508
1943.13/1948.72	c #Conflicts:     930000 | #Constraints:      46328
1943.13/1948.72	c #Conflicts:     931000 | #Constraints:      48108
1943.13/1948.72	c #Conflicts:     932000 | #Constraints:      49943
1943.13/1948.72	c #Conflicts:     933000 | #Constraints:      51706
1943.13/1948.72	c #Conflicts:     934000 | #Constraints:      53485
1943.13/1948.72	c #Conflicts:     935000 | #Constraints:      55264
1943.13/1948.72	c #Conflicts:     936000 | #Constraints:      56901
1943.13/1948.72	c #Conflicts:     937000 | #Constraints:      58528
1943.13/1948.72	c #Conflicts:     938000 | #Constraints:      60142
1943.13/1948.72	c #Conflicts:     939000 | #Constraints:      61747
1943.13/1948.72	c #Conflicts:     940000 | #Constraints:      63282
1943.13/1948.72	c #Conflicts:     941000 | #Constraints:      64799
1943.13/1948.72	c INPROCESSING
1943.13/1948.72	c GARBAGE COLLECT
1943.13/1948.72	c #Conflicts:     942000 | #Constraints:      34032
1943.13/1948.72	c #Conflicts:     943000 | #Constraints:      35750
1943.13/1948.72	c #Conflicts:     944000 | #Constraints:      37482
1943.13/1948.72	c #Conflicts:     945000 | #Constraints:      39300
1943.13/1948.72	c #Conflicts:     946000 | #Constraints:      40990
1943.13/1948.72	c #Conflicts:     947000 | #Constraints:      42819
1943.13/1948.72	c #Conflicts:     948000 | #Constraints:      44636
1943.13/1948.72	c #Conflicts:     949000 | #Constraints:      46376
1943.13/1948.72	c #Conflicts:     950000 | #Constraints:      48194
1943.13/1948.72	c #Conflicts:     951000 | #Constraints:      49887
1943.13/1948.72	c #Conflicts:     952000 | #Constraints:      51555
1943.13/1948.72	c #Conflicts:     953000 | #Constraints:      53299
1943.13/1948.72	c #Conflicts:     954000 | #Constraints:      55138
1943.13/1948.72	c #Conflicts:     955000 | #Constraints:      56888
1943.13/1948.72	c #Conflicts:     956000 | #Constraints:      58533
1943.13/1948.72	c #Conflicts:     957000 | #Constraints:      60326
1943.13/1948.72	c #Conflicts:     958000 | #Constraints:      62119
1943.13/1948.72	c #Conflicts:     959000 | #Constraints:      63915
1943.13/1948.72	c #Conflicts:     960000 | #Constraints:      65604
1943.13/1948.72	c #Conflicts:     961000 | #Constraints:      67428
1943.13/1948.72	c INPROCESSING
1943.13/1948.72	c GARBAGE COLLECT
1943.13/1948.72	c #Conflicts:     962000 | #Constraints:      35762
1943.13/1948.72	c #Conflicts:     963000 | #Constraints:      37501
1943.13/1948.72	c #Conflicts:     964000 | #Constraints:      39065
1943.13/1948.72	c #Conflicts:     965000 | #Constraints:      40780
1943.13/1948.72	c #Conflicts:     966000 | #Constraints:      42598
1943.13/1948.72	c #Conflicts:     967000 | #Constraints:      44315
1943.13/1948.72	c #Conflicts:     968000 | #Constraints:      46125
2150.38/2156.52	c #Conflicts:     969000 | #Constraints:      47961
2150.38/2156.52	c #Conflicts:     970000 | #Constraints:      49801
2150.38/2156.52	c #Conflicts:     971000 | #Constraints:      51549
2150.38/2156.52	c #Conflicts:     972000 | #Constraints:      53099
2150.38/2156.52	c #Conflicts:     973000 | #Constraints:      54721
2150.38/2156.52	c #Conflicts:     974000 | #Constraints:      56411
2150.38/2156.52	c #Conflicts:     975000 | #Constraints:      58102
2150.38/2156.52	c #Conflicts:     976000 | #Constraints:      59800
2150.38/2156.52	c #Conflicts:     977000 | #Constraints:      61523
2150.38/2156.52	c #Conflicts:     978000 | #Constraints:      63185
2150.38/2156.52	c #Conflicts:     979000 | #Constraints:      64891
2150.38/2156.52	c #Conflicts:     980000 | #Constraints:      66536
2150.38/2156.52	c #Conflicts:     981000 | #Constraints:      68166
2150.38/2156.52	c INPROCESSING
2150.38/2156.52	c GARBAGE COLLECT
2150.38/2156.52	c #Conflicts:     982000 | #Constraints:      36211
2150.38/2156.52	c #Conflicts:     983000 | #Constraints:      37829
2150.38/2156.52	c #Conflicts:     984000 | #Constraints:      39510
2150.38/2156.52	c #Conflicts:     985000 | #Constraints:      41255
2150.38/2156.52	c #Conflicts:     986000 | #Constraints:      42956
2150.38/2156.52	c #Conflicts:     987000 | #Constraints:      44683
2150.38/2156.52	c #Conflicts:     988000 | #Constraints:      46388
2150.38/2156.52	c #Conflicts:     989000 | #Constraints:      48024
2150.38/2156.52	c #Conflicts:     990000 | #Constraints:      49655
2150.38/2156.52	c #Conflicts:     991000 | #Constraints:      51278
2150.38/2156.52	c #Conflicts:     992000 | #Constraints:      52895
2150.38/2156.52	c #Conflicts:     993000 | #Constraints:      54449
2150.38/2156.52	c #Conflicts:     994000 | #Constraints:      56009
2150.38/2156.52	c #Conflicts:     995000 | #Constraints:      57698
2150.38/2156.52	c #Conflicts:     996000 | #Constraints:      59394
2150.38/2156.52	c #Conflicts:     997000 | #Constraints:      61062
2150.38/2156.52	c #Conflicts:     998000 | #Constraints:      62710
2150.38/2156.52	c #Conflicts:     999000 | #Constraints:      64483
2150.38/2156.52	c #Conflicts:    1000000 | #Constraints:      66140
2150.38/2156.52	c #Conflicts:    1001000 | #Constraints:      67727
2150.38/2156.52	c INPROCESSING
2150.38/2156.52	c GARBAGE COLLECT
2150.38/2156.52	c #Conflicts:    1002000 | #Constraints:      35980
2150.38/2156.52	c #Conflicts:    1003000 | #Constraints:      37657
2150.38/2156.52	c #Conflicts:    1004000 | #Constraints:      39356
2150.38/2156.52	c #Conflicts:    1005000 | #Constraints:      41123
2150.38/2156.52	c #Conflicts:    1006000 | #Constraints:      42818
2150.38/2156.52	c #Conflicts:    1007000 | #Constraints:      44596
2150.38/2156.52	c #Conflicts:    1008000 | #Constraints:      46337
2150.38/2156.52	c #Conflicts:    1009000 | #Constraints:      48071
2150.38/2156.52	c #Conflicts:    1010000 | #Constraints:      49740
2150.38/2156.52	c #Conflicts:    1011000 | #Constraints:      51378
2150.38/2156.52	c #Conflicts:    1012000 | #Constraints:      53161
2150.38/2156.52	c #Conflicts:    1013000 | #Constraints:      54944
2150.38/2156.52	c #Conflicts:    1014000 | #Constraints:      56709
2150.38/2156.52	c #Conflicts:    1015000 | #Constraints:      58505
2150.38/2156.52	c #Conflicts:    1016000 | #Constraints:      60287
2150.38/2156.52	c #Conflicts:    1017000 | #Constraints:      62070
2150.38/2156.52	c #Conflicts:    1018000 | #Constraints:      63828
2150.38/2156.52	c #Conflicts:    1019000 | #Constraints:      65524
2150.38/2156.52	c #Conflicts:    1020000 | #Constraints:      67233
2150.38/2156.52	c #Conflicts:    1021000 | #Constraints:      68895
2150.38/2156.52	c INPROCESSING
2150.38/2156.52	c GARBAGE COLLECT
2150.38/2156.52	c #Conflicts:    1022000 | #Constraints:      36420
2150.38/2156.52	c #Conflicts:    1023000 | #Constraints:      38194
2150.38/2156.52	c #Conflicts:    1024000 | #Constraints:      40031
2150.38/2156.52	c #Conflicts:    1025000 | #Constraints:      41842
2150.38/2156.52	c #Conflicts:    1026000 | #Constraints:      43520
2150.38/2156.52	c #Conflicts:    1027000 | #Constraints:      45153
2150.38/2156.52	c #Conflicts:    1028000 | #Constraints:      46808
2150.38/2156.52	c #Conflicts:    1029000 | #Constraints:      48429
2150.38/2156.52	c #Conflicts:    1030000 | #Constraints:      50104
2150.38/2156.52	c #Conflicts:    1031000 | #Constraints:      51719
2150.38/2156.52	c #Conflicts:    1032000 | #Constraints:      53334
2150.38/2156.52	c #Conflicts:    1033000 | #Constraints:      54960
2150.38/2156.52	c #Conflicts:    1034000 | #Constraints:      56658
2150.38/2156.52	c #Conflicts:    1035000 | #Constraints:      58370
2150.38/2156.52	c #Conflicts:    1036000 | #Constraints:      60029
2150.38/2156.52	c #Conflicts:    1037000 | #Constraints:      61773
2150.38/2156.52	c #Conflicts:    1038000 | #Constraints:      63433
2150.38/2156.52	c #Conflicts:    1039000 | #Constraints:      65301
2150.38/2156.52	c #Conflicts:    1040000 | #Constraints:      66944
2150.38/2156.52	c #Conflicts:    1041000 | #Constraints:      68603
2150.38/2156.52	c INPROCESSING
2150.38/2156.52	c GARBAGE COLLECT
2150.38/2156.52	c #Conflicts:    1042000 | #Constraints:      35932
2150.38/2156.52	c #Conflicts:    1043000 | #Constraints:      37572
2150.38/2156.52	c #Conflicts:    1044000 | #Constraints:      39172
2342.28/2348.90	c #Conflicts:    1045000 | #Constraints:      40779
2342.28/2348.90	c #Conflicts:    1046000 | #Constraints:      42346
2342.28/2348.90	c #Conflicts:    1047000 | #Constraints:      43986
2342.28/2348.90	c #Conflicts:    1048000 | #Constraints:      45620
2342.28/2348.90	c #Conflicts:    1049000 | #Constraints:      47263
2342.28/2348.90	c #Conflicts:    1050000 | #Constraints:      48966
2342.28/2348.90	c #Conflicts:    1051000 | #Constraints:      50612
2342.28/2348.90	c #Conflicts:    1052000 | #Constraints:      52248
2342.28/2348.90	c #Conflicts:    1053000 | #Constraints:      53922
2342.28/2348.90	c #Conflicts:    1054000 | #Constraints:      55610
2342.28/2348.90	c #Conflicts:    1055000 | #Constraints:      57302
2342.28/2348.90	c #Conflicts:    1056000 | #Constraints:      58981
2342.28/2348.90	c #Conflicts:    1057000 | #Constraints:      60678
2342.28/2348.90	c #Conflicts:    1058000 | #Constraints:      62381
2342.28/2348.90	c #Conflicts:    1059000 | #Constraints:      64069
2342.28/2348.90	c #Conflicts:    1060000 | #Constraints:      65819
2342.28/2348.90	c #Conflicts:    1061000 | #Constraints:      67631
2342.28/2348.90	c #Conflicts:    1062000 | #Constraints:      69318
2342.28/2348.90	c INPROCESSING
2342.28/2348.90	c GARBAGE COLLECT
2342.28/2348.90	c #Conflicts:    1063000 | #Constraints:      36678
2342.28/2348.90	c #Conflicts:    1064000 | #Constraints:      38426
2342.28/2348.90	c #Conflicts:    1065000 | #Constraints:      40091
2342.28/2348.90	c #Conflicts:    1066000 | #Constraints:      41849
2342.28/2348.90	c #Conflicts:    1067000 | #Constraints:      43528
2342.28/2348.90	c #Conflicts:    1068000 | #Constraints:      45334
2342.28/2348.90	c #Conflicts:    1069000 | #Constraints:      47001
2342.28/2348.90	c #Conflicts:    1070000 | #Constraints:      48774
2342.28/2348.90	c #Conflicts:    1071000 | #Constraints:      50433
2342.28/2348.90	c #Conflicts:    1072000 | #Constraints:      52154
2342.28/2348.90	c #Conflicts:    1073000 | #Constraints:      53903
2342.28/2348.90	c #Conflicts:    1074000 | #Constraints:      55625
2342.28/2348.90	c #Conflicts:    1075000 | #Constraints:      57394
2342.28/2348.90	c #Conflicts:    1076000 | #Constraints:      59148
2342.28/2348.90	c #Conflicts:    1077000 | #Constraints:      60940
2342.28/2348.90	c #Conflicts:    1078000 | #Constraints:      62640
2342.28/2348.90	c #Conflicts:    1079000 | #Constraints:      64324
2342.28/2348.90	c #Conflicts:    1080000 | #Constraints:      66061
2342.28/2348.90	c #Conflicts:    1081000 | #Constraints:      67788
2342.28/2348.90	c #Conflicts:    1082000 | #Constraints:      69617
2342.28/2348.90	c #Conflicts:    1083000 | #Constraints:      71365
2342.28/2348.90	c INPROCESSING
2342.28/2348.90	c GARBAGE COLLECT
2342.28/2348.90	c #Conflicts:    1084000 | #Constraints:      37897
2342.28/2348.90	c #Conflicts:    1085000 | #Constraints:      39638
2342.28/2348.90	c #Conflicts:    1086000 | #Constraints:      41437
2342.28/2348.90	c #Conflicts:    1087000 | #Constraints:      43118
2342.28/2348.90	c #Conflicts:    1088000 | #Constraints:      44774
2342.28/2348.90	c #Conflicts:    1089000 | #Constraints:      46386
2342.28/2348.90	c #Conflicts:    1090000 | #Constraints:      47951
2342.28/2348.90	c #Conflicts:    1091000 | #Constraints:      49559
2342.28/2348.90	c #Conflicts:    1092000 | #Constraints:      51181
2342.28/2348.90	c #Conflicts:    1093000 | #Constraints:      52765
2342.28/2348.90	c #Conflicts:    1094000 | #Constraints:      54495
2342.28/2348.90	c #Conflicts:    1095000 | #Constraints:      56291
2342.28/2348.90	c #Conflicts:    1096000 | #Constraints:      58050
2342.28/2348.90	c #Conflicts:    1097000 | #Constraints:      59698
2342.28/2348.90	c #Conflicts:    1098000 | #Constraints:      61414
2342.28/2348.90	c #Conflicts:    1099000 | #Constraints:      63099
2342.28/2348.90	c #Conflicts:    1100000 | #Constraints:      64765
2342.28/2348.90	c #Conflicts:    1101000 | #Constraints:      66456
2342.28/2348.90	c #Conflicts:    1102000 | #Constraints:      68224
2342.28/2348.90	c #Conflicts:    1103000 | #Constraints:      69948
2342.28/2348.90	c #Conflicts:    1104000 | #Constraints:      71555
2342.28/2348.90	c INPROCESSING
2342.28/2348.90	c GARBAGE COLLECT
2342.28/2348.90	c #Conflicts:    1105000 | #Constraints:      37959
2342.28/2348.90	c #Conflicts:    1106000 | #Constraints:      39691
2342.28/2348.90	c #Conflicts:    1107000 | #Constraints:      41474
2342.28/2348.90	c #Conflicts:    1108000 | #Constraints:      43212
2342.28/2348.90	c #Conflicts:    1109000 | #Constraints:      45038
2342.28/2348.90	c #Conflicts:    1110000 | #Constraints:      46869
2342.28/2348.90	c #Conflicts:    1111000 | #Constraints:      48650
2342.28/2348.90	c #Conflicts:    1112000 | #Constraints:      50470
2342.28/2348.90	c #Conflicts:    1113000 | #Constraints:      52291
2342.28/2348.90	c #Conflicts:    1114000 | #Constraints:      54092
2342.28/2348.90	c #Conflicts:    1115000 | #Constraints:      55923
2342.28/2348.90	c #Conflicts:    1116000 | #Constraints:      57757
2342.28/2348.90	c #Conflicts:    1117000 | #Constraints:      59571
2342.28/2348.90	c #Conflicts:    1118000 | #Constraints:      61420
2342.28/2348.90	c #Conflicts:    1119000 | #Constraints:      63282
2342.28/2348.90	c #Conflicts:    1120000 | #Constraints:      64967
2342.28/2348.90	c #Conflicts:    1121000 | #Constraints:      66701
2536.47/2543.63	c #Conflicts:    1122000 | #Constraints:      68408
2536.47/2543.63	c #Conflicts:    1123000 | #Constraints:      70190
2536.47/2543.63	c #Conflicts:    1124000 | #Constraints:      71976
2536.47/2543.63	c #Conflicts:    1125000 | #Constraints:      73777
2536.47/2543.63	c INPROCESSING
2536.47/2543.63	c GARBAGE COLLECT
2536.47/2543.63	c #Conflicts:    1126000 | #Constraints:      38979
2536.47/2543.63	c #Conflicts:    1127000 | #Constraints:      40784
2536.47/2543.63	c #Conflicts:    1128000 | #Constraints:      42565
2536.47/2543.63	c #Conflicts:    1129000 | #Constraints:      44310
2536.47/2543.63	c #Conflicts:    1130000 | #Constraints:      46102
2536.47/2543.63	c #Conflicts:    1131000 | #Constraints:      47896
2536.47/2543.63	c #Conflicts:    1132000 | #Constraints:      49666
2536.47/2543.63	c #Conflicts:    1133000 | #Constraints:      51270
2536.47/2543.63	c #Conflicts:    1134000 | #Constraints:      52865
2536.47/2543.63	c #Conflicts:    1135000 | #Constraints:      54510
2536.47/2543.63	c #Conflicts:    1136000 | #Constraints:      56219
2536.47/2543.63	c #Conflicts:    1137000 | #Constraints:      57733
2536.47/2543.63	c #Conflicts:    1138000 | #Constraints:      59360
2536.47/2543.63	c #Conflicts:    1139000 | #Constraints:      61016
2536.47/2543.63	c #Conflicts:    1140000 | #Constraints:      62661
2536.47/2543.63	c #Conflicts:    1141000 | #Constraints:      64197
2536.47/2543.63	c #Conflicts:    1142000 | #Constraints:      65763
2536.47/2543.63	c #Conflicts:    1143000 | #Constraints:      67393
2536.47/2543.63	c #Conflicts:    1144000 | #Constraints:      69025
2536.47/2543.63	c #Conflicts:    1145000 | #Constraints:      70676
2536.47/2543.63	c #Conflicts:    1146000 | #Constraints:      72303
2536.47/2543.63	c INPROCESSING
2536.47/2543.63	c GARBAGE COLLECT
2536.47/2543.63	c #Conflicts:    1147000 | #Constraints:      37797
2536.47/2543.63	c #Conflicts:    1148000 | #Constraints:      39441
2536.47/2543.63	c #Conflicts:    1149000 | #Constraints:      40988
2536.47/2543.63	c #Conflicts:    1150000 | #Constraints:      42687
2536.47/2543.63	c #Conflicts:    1151000 | #Constraints:      44284
2536.47/2543.63	c #Conflicts:    1152000 | #Constraints:      45922
2536.47/2543.63	c #Conflicts:    1153000 | #Constraints:      47689
2536.47/2543.63	c #Conflicts:    1154000 | #Constraints:      49482
2536.47/2543.63	c #Conflicts:    1155000 | #Constraints:      51231
2536.47/2543.63	c #Conflicts:    1156000 | #Constraints:      52906
2536.47/2543.63	c #Conflicts:    1157000 | #Constraints:      54574
2536.47/2543.63	c #Conflicts:    1158000 | #Constraints:      56262
2536.47/2543.63	c #Conflicts:    1159000 | #Constraints:      57925
2536.47/2543.63	c #Conflicts:    1160000 | #Constraints:      59560
2536.47/2543.63	c #Conflicts:    1161000 | #Constraints:      61154
2536.47/2543.63	c #Conflicts:    1162000 | #Constraints:      62867
2536.47/2543.63	c #Conflicts:    1163000 | #Constraints:      64615
2536.47/2543.63	c #Conflicts:    1164000 | #Constraints:      66370
2536.47/2543.63	c #Conflicts:    1165000 | #Constraints:      67968
2536.47/2543.63	c #Conflicts:    1166000 | #Constraints:      69617
2536.47/2543.63	c #Conflicts:    1167000 | #Constraints:      71308
2536.47/2543.63	c #Conflicts:    1168000 | #Constraints:      73126
2536.47/2543.63	c INPROCESSING
2536.47/2543.63	c GARBAGE COLLECT
2536.47/2543.63	c #Conflicts:    1169000 | #Constraints:      38461
2536.47/2543.63	c #Conflicts:    1170000 | #Constraints:      40131
2536.47/2543.63	c #Conflicts:    1171000 | #Constraints:      41775
2536.47/2543.63	c #Conflicts:    1172000 | #Constraints:      43530
2536.47/2543.63	c #Conflicts:    1173000 | #Constraints:      45193
2536.47/2543.63	c #Conflicts:    1174000 | #Constraints:      47014
2536.47/2543.63	c #Conflicts:    1175000 | #Constraints:      48677
2536.47/2543.63	c #Conflicts:    1176000 | #Constraints:      50434
2536.47/2543.63	c #Conflicts:    1177000 | #Constraints:      52237
2536.47/2543.63	c #Conflicts:    1178000 | #Constraints:      54012
2536.47/2543.63	c #Conflicts:    1179000 | #Constraints:      55722
2536.47/2543.63	c #Conflicts:    1180000 | #Constraints:      57509
2536.47/2543.63	c #Conflicts:    1181000 | #Constraints:      59291
2536.47/2543.63	c #Conflicts:    1182000 | #Constraints:      60962
2536.47/2543.63	c #Conflicts:    1183000 | #Constraints:      62565
2536.47/2543.63	c #Conflicts:    1184000 | #Constraints:      64264
2536.47/2543.63	c #Conflicts:    1185000 | #Constraints:      65926
2536.47/2543.63	c #Conflicts:    1186000 | #Constraints:      67723
2536.47/2543.63	c #Conflicts:    1187000 | #Constraints:      69491
2536.47/2543.63	c #Conflicts:    1188000 | #Constraints:      71098
2536.47/2543.63	c #Conflicts:    1189000 | #Constraints:      72752
2536.47/2543.63	c #Conflicts:    1190000 | #Constraints:      74461
2536.47/2543.63	c INPROCESSING
2536.47/2543.63	c GARBAGE COLLECT
2536.47/2543.63	c #Conflicts:    1191000 | #Constraints:      39432
2536.47/2543.63	c #Conflicts:    1192000 | #Constraints:      41114
2536.47/2543.63	c #Conflicts:    1193000 | #Constraints:      42654
2536.47/2543.63	c #Conflicts:    1194000 | #Constraints:      44307
2536.47/2543.63	c #Conflicts:    1195000 | #Constraints:      45929
2536.47/2543.63	c #Conflicts:    1196000 | #Constraints:      47543
2536.47/2543.63	c #Conflicts:    1197000 | #Constraints:      49192
2741.13/2748.83	c #Conflicts:    1198000 | #Constraints:      50931
2741.13/2748.83	c #Conflicts:    1199000 | #Constraints:      52737
2741.13/2748.83	c #Conflicts:    1200000 | #Constraints:      54489
2741.13/2748.83	c #Conflicts:    1201000 | #Constraints:      56136
2741.13/2748.83	c #Conflicts:    1202000 | #Constraints:      57718
2741.13/2748.83	c #Conflicts:    1203000 | #Constraints:      59322
2741.13/2748.83	c #Conflicts:    1204000 | #Constraints:      60909
2741.13/2748.83	c #Conflicts:    1205000 | #Constraints:      62591
2741.13/2748.83	c #Conflicts:    1206000 | #Constraints:      64276
2741.13/2748.83	c #Conflicts:    1207000 | #Constraints:      65945
2741.13/2748.83	c #Conflicts:    1208000 | #Constraints:      67646
2741.13/2748.83	c #Conflicts:    1209000 | #Constraints:      69357
2741.13/2748.83	c #Conflicts:    1210000 | #Constraints:      71021
2741.13/2748.83	c #Conflicts:    1211000 | #Constraints:      72728
2741.13/2748.83	c #Conflicts:    1212000 | #Constraints:      74452
2741.13/2748.83	c INPROCESSING
2741.13/2748.83	c GARBAGE COLLECT
2741.13/2748.83	c #Conflicts:    1213000 | #Constraints:      39522
2741.13/2748.83	c #Conflicts:    1214000 | #Constraints:      41325
2741.13/2748.83	c #Conflicts:    1215000 | #Constraints:      43168
2741.13/2748.83	c #Conflicts:    1216000 | #Constraints:      45008
2741.13/2748.83	c #Conflicts:    1217000 | #Constraints:      46847
2741.13/2748.83	c #Conflicts:    1218000 | #Constraints:      48580
2741.13/2748.83	c #Conflicts:    1219000 | #Constraints:      50367
2741.13/2748.83	c #Conflicts:    1220000 | #Constraints:      52138
2741.13/2748.83	c #Conflicts:    1221000 | #Constraints:      53956
2741.13/2748.83	c #Conflicts:    1222000 | #Constraints:      55819
2741.13/2748.83	c #Conflicts:    1223000 | #Constraints:      57609
2741.13/2748.83	c #Conflicts:    1224000 | #Constraints:      59344
2741.13/2748.83	c #Conflicts:    1225000 | #Constraints:      61144
2741.13/2748.83	c #Conflicts:    1226000 | #Constraints:      62855
2741.13/2748.83	c #Conflicts:    1227000 | #Constraints:      64628
2741.13/2748.83	c #Conflicts:    1228000 | #Constraints:      66262
2741.13/2748.83	c #Conflicts:    1229000 | #Constraints:      67957
2741.13/2748.83	c #Conflicts:    1230000 | #Constraints:      69686
2741.13/2748.83	c #Conflicts:    1231000 | #Constraints:      71456
2741.13/2748.83	c #Conflicts:    1232000 | #Constraints:      73255
2741.13/2748.83	c #Conflicts:    1233000 | #Constraints:      74969
2741.13/2748.83	c #Conflicts:    1234000 | #Constraints:      76529
2741.13/2748.83	c INPROCESSING
2741.13/2748.83	c GARBAGE COLLECT
2741.13/2748.83	c #Conflicts:    1235000 | #Constraints:      40248
2741.13/2748.83	c #Conflicts:    1236000 | #Constraints:      41988
2741.13/2748.83	c #Conflicts:    1237000 | #Constraints:      43670
2741.13/2748.83	c #Conflicts:    1238000 | #Constraints:      45393
2741.13/2748.83	c #Conflicts:    1239000 | #Constraints:      46983
2741.13/2748.83	c #Conflicts:    1240000 | #Constraints:      48558
2741.13/2748.83	c #Conflicts:    1241000 | #Constraints:      50214
2741.13/2748.83	c #Conflicts:    1242000 | #Constraints:      51894
2741.13/2748.83	c #Conflicts:    1243000 | #Constraints:      53534
2741.13/2748.83	c #Conflicts:    1244000 | #Constraints:      55262
2741.13/2748.83	c #Conflicts:    1245000 | #Constraints:      56981
2741.13/2748.83	c #Conflicts:    1246000 | #Constraints:      58635
2741.13/2748.83	c #Conflicts:    1247000 | #Constraints:      60404
2741.13/2748.83	c #Conflicts:    1248000 | #Constraints:      62124
2741.13/2748.83	c #Conflicts:    1249000 | #Constraints:      63748
2741.13/2748.83	c #Conflicts:    1250000 | #Constraints:      65437
2741.13/2748.83	c #Conflicts:    1251000 | #Constraints:      67196
2741.13/2748.83	c #Conflicts:    1252000 | #Constraints:      68817
2741.13/2748.83	c #Conflicts:    1253000 | #Constraints:      70522
2741.13/2748.83	c #Conflicts:    1254000 | #Constraints:      72270
2741.13/2748.83	c #Conflicts:    1255000 | #Constraints:      73943
2741.13/2748.83	c #Conflicts:    1256000 | #Constraints:      75522
2741.13/2748.83	c INPROCESSING
2741.13/2748.83	c GARBAGE COLLECT
2741.13/2748.83	c #Conflicts:    1257000 | #Constraints:      39439
2741.13/2748.83	c #Conflicts:    1258000 | #Constraints:      41179
2741.13/2748.83	c #Conflicts:    1259000 | #Constraints:      42945
2741.13/2748.83	c #Conflicts:    1260000 | #Constraints:      44670
2741.13/2748.83	c #Conflicts:    1261000 | #Constraints:      46303
2741.13/2748.83	c #Conflicts:    1262000 | #Constraints:      48017
2741.13/2748.83	c #Conflicts:    1263000 | #Constraints:      49638
2741.13/2748.83	c #Conflicts:    1264000 | #Constraints:      51236
2741.13/2748.83	c #Conflicts:    1265000 | #Constraints:      52840
2741.13/2748.83	c #Conflicts:    1266000 | #Constraints:      54423
2741.13/2748.83	c #Conflicts:    1267000 | #Constraints:      55961
2741.13/2748.83	c #Conflicts:    1268000 | #Constraints:      57521
2741.13/2748.83	c #Conflicts:    1269000 | #Constraints:      59161
2741.13/2748.83	c #Conflicts:    1270000 | #Constraints:      60827
2741.13/2748.83	c #Conflicts:    1271000 | #Constraints:      62490
2741.13/2748.83	c #Conflicts:    1272000 | #Constraints:      64199
2741.13/2748.83	c #Conflicts:    1273000 | #Constraints:      65911
2741.13/2748.83	c #Conflicts:    1274000 | #Constraints:      67651
2938.93/2947.10	c #Conflicts:    1275000 | #Constraints:      69419
2938.93/2947.10	c #Conflicts:    1276000 | #Constraints:      71121
2938.93/2947.10	c #Conflicts:    1277000 | #Constraints:      72861
2938.93/2947.10	c #Conflicts:    1278000 | #Constraints:      74708
2938.93/2947.10	c #Conflicts:    1279000 | #Constraints:      76432
2938.93/2947.10	c INPROCESSING
2938.93/2947.10	c GARBAGE COLLECT
2938.93/2947.10	c #Conflicts:    1280000 | #Constraints:      40234
2938.93/2947.10	c #Conflicts:    1281000 | #Constraints:      41918
2938.93/2947.10	c #Conflicts:    1282000 | #Constraints:      43639
2938.93/2947.10	c #Conflicts:    1283000 | #Constraints:      45327
2938.93/2947.10	c #Conflicts:    1284000 | #Constraints:      47007
2938.93/2947.10	c #Conflicts:    1285000 | #Constraints:      48674
2938.93/2947.10	c #Conflicts:    1286000 | #Constraints:      50322
2938.93/2947.10	c #Conflicts:    1287000 | #Constraints:      51948
2938.93/2947.10	c #Conflicts:    1288000 | #Constraints:      53619
2938.93/2947.10	c #Conflicts:    1289000 | #Constraints:      55290
2938.93/2947.10	c #Conflicts:    1290000 | #Constraints:      56999
2938.93/2947.10	c #Conflicts:    1291000 | #Constraints:      58583
2938.93/2947.10	c #Conflicts:    1292000 | #Constraints:      60228
2938.93/2947.10	c #Conflicts:    1293000 | #Constraints:      61939
2938.93/2947.10	c #Conflicts:    1294000 | #Constraints:      63641
2938.93/2947.10	c #Conflicts:    1295000 | #Constraints:      65294
2938.93/2947.10	c #Conflicts:    1296000 | #Constraints:      67054
2938.93/2947.10	c #Conflicts:    1297000 | #Constraints:      68681
2938.93/2947.10	c #Conflicts:    1298000 | #Constraints:      70367
2938.93/2947.10	c #Conflicts:    1299000 | #Constraints:      72066
2938.93/2947.10	c #Conflicts:    1300000 | #Constraints:      73714
2938.93/2947.10	c #Conflicts:    1301000 | #Constraints:      75342
2938.93/2947.10	c #Conflicts:    1302000 | #Constraints:      77019
2938.93/2947.10	c INPROCESSING
2938.93/2947.10	c GARBAGE COLLECT
2938.93/2947.10	c #Conflicts:    1303000 | #Constraints:      40686
2938.93/2947.10	c #Conflicts:    1304000 | #Constraints:      42455
2938.93/2947.10	c #Conflicts:    1305000 | #Constraints:      44063
2938.93/2947.10	c #Conflicts:    1306000 | #Constraints:      45625
2938.93/2947.10	c #Conflicts:    1307000 | #Constraints:      47294
2938.93/2947.10	c #Conflicts:    1308000 | #Constraints:      48911
2938.93/2947.10	c #Conflicts:    1309000 | #Constraints:      50600
2938.93/2947.10	c #Conflicts:    1310000 | #Constraints:      52329
2938.93/2947.10	c #Conflicts:    1311000 | #Constraints:      54059
2938.93/2947.10	c #Conflicts:    1312000 | #Constraints:      55688
2938.93/2947.10	c #Conflicts:    1313000 | #Constraints:      57264
2938.93/2947.10	c #Conflicts:    1314000 | #Constraints:      58950
2938.93/2947.10	c #Conflicts:    1315000 | #Constraints:      60567
2938.93/2947.10	c #Conflicts:    1316000 | #Constraints:      62200
2938.93/2947.10	c #Conflicts:    1317000 | #Constraints:      63772
2938.93/2947.10	c #Conflicts:    1318000 | #Constraints:      65390
2938.93/2947.10	c #Conflicts:    1319000 | #Constraints:      66992
2938.93/2947.10	c #Conflicts:    1320000 | #Constraints:      68651
2938.93/2947.10	c #Conflicts:    1321000 | #Constraints:      70263
2938.93/2947.10	c #Conflicts:    1322000 | #Constraints:      71818
2938.93/2947.10	c #Conflicts:    1323000 | #Constraints:      73402
2938.93/2947.10	c #Conflicts:    1324000 | #Constraints:      75015
2938.93/2947.10	c #Conflicts:    1325000 | #Constraints:      76625
2938.93/2947.10	c INPROCESSING
2938.93/2947.10	c GARBAGE COLLECT
2938.93/2947.10	c #Conflicts:    1326000 | #Constraints:      40519
2938.93/2947.10	c #Conflicts:    1327000 | #Constraints:      42288
2938.93/2947.10	c #Conflicts:    1328000 | #Constraints:      44003
2938.93/2947.10	c #Conflicts:    1329000 | #Constraints:      45794
2938.93/2947.10	c #Conflicts:    1330000 | #Constraints:      47604
2938.93/2947.10	c #Conflicts:    1331000 | #Constraints:      49366
2938.93/2947.10	c #Conflicts:    1332000 | #Constraints:      51082
2938.93/2947.10	c #Conflicts:    1333000 | #Constraints:      52723
2938.93/2947.10	c #Conflicts:    1334000 | #Constraints:      54347
2938.93/2947.10	c #Conflicts:    1335000 | #Constraints:      56131
2938.93/2947.10	c #Conflicts:    1336000 | #Constraints:      57932
2938.93/2947.10	c #Conflicts:    1337000 | #Constraints:      59713
2938.93/2947.10	c #Conflicts:    1338000 | #Constraints:      61493
2938.93/2947.10	c #Conflicts:    1339000 | #Constraints:      63266
2938.93/2947.10	c #Conflicts:    1340000 | #Constraints:      65061
2938.93/2947.10	c #Conflicts:    1341000 | #Constraints:      66927
2938.93/2947.10	c #Conflicts:    1342000 | #Constraints:      68719
2938.93/2947.10	c #Conflicts:    1343000 | #Constraints:      70494
2938.93/2947.10	c #Conflicts:    1344000 | #Constraints:      72238
2938.93/2947.10	c #Conflicts:    1345000 | #Constraints:      73978
2938.93/2947.10	c #Conflicts:    1346000 | #Constraints:      75668
2938.93/2947.10	c #Conflicts:    1347000 | #Constraints:      77340
2938.93/2947.10	c #Conflicts:    1348000 | #Constraints:      78982
2938.93/2947.10	c INPROCESSING
2938.93/2947.10	c GARBAGE COLLECT
2938.93/2947.10	c #Conflicts:    1349000 | #Constraints:      41521
2938.93/2947.10	c #Conflicts:    1350000 | #Constraints:      43252
3152.07/3160.85	c #Conflicts:    1351000 | #Constraints:      45060
3152.07/3160.85	c #Conflicts:    1352000 | #Constraints:      46863
3152.07/3160.85	c #Conflicts:    1353000 | #Constraints:      48637
3152.07/3160.85	c #Conflicts:    1354000 | #Constraints:      50421
3152.07/3160.85	c #Conflicts:    1355000 | #Constraints:      52209
3152.07/3160.85	c #Conflicts:    1356000 | #Constraints:      53877
3152.07/3160.85	c #Conflicts:    1357000 | #Constraints:      55629
3152.07/3160.85	c #Conflicts:    1358000 | #Constraints:      57308
3152.07/3160.85	c #Conflicts:    1359000 | #Constraints:      58949
3152.07/3160.85	c #Conflicts:    1360000 | #Constraints:      60606
3152.07/3160.85	c #Conflicts:    1361000 | #Constraints:      62246
3152.07/3160.85	c #Conflicts:    1362000 | #Constraints:      63851
3152.07/3160.85	c #Conflicts:    1363000 | #Constraints:      65556
3152.07/3160.85	c #Conflicts:    1364000 | #Constraints:      67269
3152.07/3160.85	c #Conflicts:    1365000 | #Constraints:      68963
3152.07/3160.85	c #Conflicts:    1366000 | #Constraints:      70684
3152.07/3160.85	c #Conflicts:    1367000 | #Constraints:      72440
3152.07/3160.85	c #Conflicts:    1368000 | #Constraints:      74167
3152.07/3160.85	c #Conflicts:    1369000 | #Constraints:      75801
3152.07/3160.85	c #Conflicts:    1370000 | #Constraints:      77479
3152.07/3160.85	c #Conflicts:    1371000 | #Constraints:      79096
3152.07/3160.85	c INPROCESSING
3152.07/3160.85	c GARBAGE COLLECT
3152.07/3160.85	c #Conflicts:    1372000 | #Constraints:      41205
3152.07/3160.85	c #Conflicts:    1373000 | #Constraints:      42906
3152.07/3160.85	c #Conflicts:    1374000 | #Constraints:      44644
3152.07/3160.85	c #Conflicts:    1375000 | #Constraints:      46192
3152.07/3160.85	c #Conflicts:    1376000 | #Constraints:      47746
3152.07/3160.85	c #Conflicts:    1377000 | #Constraints:      49304
3152.07/3160.85	c #Conflicts:    1378000 | #Constraints:      50852
3152.07/3160.85	c #Conflicts:    1379000 | #Constraints:      52486
3152.07/3160.85	c #Conflicts:    1380000 | #Constraints:      54282
3152.07/3160.85	c #Conflicts:    1381000 | #Constraints:      55963
3152.07/3160.85	c #Conflicts:    1382000 | #Constraints:      57599
3152.07/3160.85	c #Conflicts:    1383000 | #Constraints:      59339
3152.07/3160.85	c #Conflicts:    1384000 | #Constraints:      61174
3152.07/3160.85	c #Conflicts:    1385000 | #Constraints:      62909
3152.07/3160.85	c #Conflicts:    1386000 | #Constraints:      64624
3152.07/3160.85	c #Conflicts:    1387000 | #Constraints:      66266
3152.07/3160.85	c #Conflicts:    1388000 | #Constraints:      67907
3152.07/3160.85	c #Conflicts:    1389000 | #Constraints:      69618
3152.07/3160.85	c #Conflicts:    1390000 | #Constraints:      71298
3152.07/3160.85	c #Conflicts:    1391000 | #Constraints:      72997
3152.07/3160.85	c #Conflicts:    1392000 | #Constraints:      74665
3152.07/3160.85	c #Conflicts:    1393000 | #Constraints:      76435
3152.07/3160.85	c #Conflicts:    1394000 | #Constraints:      78041
3152.07/3160.85	c #Conflicts:    1395000 | #Constraints:      79677
3152.07/3160.85	c INPROCESSING
3152.07/3160.85	c GARBAGE COLLECT
3152.07/3160.85	c #Conflicts:    1396000 | #Constraints:      41708
3152.07/3160.85	c #Conflicts:    1397000 | #Constraints:      43374
3152.07/3160.85	c #Conflicts:    1398000 | #Constraints:      45062
3152.07/3160.85	c #Conflicts:    1399000 | #Constraints:      46800
3152.07/3160.85	c #Conflicts:    1400000 | #Constraints:      48568
3152.07/3160.85	c #Conflicts:    1401000 | #Constraints:      50246
3152.07/3160.85	c #Conflicts:    1402000 | #Constraints:      52002
3152.07/3160.85	c #Conflicts:    1403000 | #Constraints:      53742
3152.07/3160.85	c #Conflicts:    1404000 | #Constraints:      55415
3152.07/3160.85	c #Conflicts:    1405000 | #Constraints:      57045
3152.07/3160.85	c #Conflicts:    1406000 | #Constraints:      58800
3152.07/3160.85	c #Conflicts:    1407000 | #Constraints:      60510
3152.07/3160.85	c #Conflicts:    1408000 | #Constraints:      62090
3152.07/3160.85	c #Conflicts:    1409000 | #Constraints:      63792
3152.07/3160.85	c #Conflicts:    1410000 | #Constraints:      65562
3152.07/3160.85	c #Conflicts:    1411000 | #Constraints:      67361
3152.07/3160.85	c #Conflicts:    1412000 | #Constraints:      69042
3152.07/3160.85	c #Conflicts:    1413000 | #Constraints:      70663
3152.07/3160.85	c #Conflicts:    1414000 | #Constraints:      72262
3152.07/3160.85	c #Conflicts:    1415000 | #Constraints:      73997
3152.07/3160.85	c #Conflicts:    1416000 | #Constraints:      75694
3152.07/3160.85	c #Conflicts:    1417000 | #Constraints:      77285
3152.07/3160.85	c #Conflicts:    1418000 | #Constraints:      78939
3152.07/3160.85	c #Conflicts:    1419000 | #Constraints:      80608
3152.07/3160.85	c INPROCESSING
3152.07/3160.85	c GARBAGE COLLECT
3152.07/3160.85	c #Conflicts:    1420000 | #Constraints:      42618
3152.07/3160.85	c #Conflicts:    1421000 | #Constraints:      44435
3152.07/3160.85	c #Conflicts:    1422000 | #Constraints:      46236
3152.07/3160.85	c #Conflicts:    1423000 | #Constraints:      47886
3152.07/3160.85	c #Conflicts:    1424000 | #Constraints:      49539
3152.07/3160.85	c #Conflicts:    1425000 | #Constraints:      51112
3152.07/3160.85	c #Conflicts:    1426000 | #Constraints:      52682
3152.07/3160.85	c #Conflicts:    1427000 | #Constraints:      54323
3351.44/3360.77	c #Conflicts:    1428000 | #Constraints:      55973
3351.44/3360.77	c #Conflicts:    1429000 | #Constraints:      57717
3351.44/3360.77	c #Conflicts:    1430000 | #Constraints:      59497
3351.44/3360.77	c #Conflicts:    1431000 | #Constraints:      61283
3351.44/3360.77	c #Conflicts:    1432000 | #Constraints:      63000
3351.44/3360.77	c #Conflicts:    1433000 | #Constraints:      64701
3351.44/3360.77	c #Conflicts:    1434000 | #Constraints:      66346
3351.44/3360.77	c #Conflicts:    1435000 | #Constraints:      67971
3351.44/3360.77	c #Conflicts:    1436000 | #Constraints:      69587
3351.44/3360.77	c #Conflicts:    1437000 | #Constraints:      71182
3351.44/3360.77	c #Conflicts:    1438000 | #Constraints:      72802
3351.44/3360.77	c #Conflicts:    1439000 | #Constraints:      74569
3351.44/3360.77	c #Conflicts:    1440000 | #Constraints:      76228
3351.44/3360.77	c #Conflicts:    1441000 | #Constraints:      78014
3351.44/3360.77	c #Conflicts:    1442000 | #Constraints:      79707
3351.44/3360.77	c #Conflicts:    1443000 | #Constraints:      81354
3351.44/3360.77	c INPROCESSING
3351.44/3360.77	c GARBAGE COLLECT
3351.44/3360.77	c #Conflicts:    1444000 | #Constraints:      42723
3351.44/3360.77	c #Conflicts:    1445000 | #Constraints:      44441
3351.44/3360.77	c #Conflicts:    1446000 | #Constraints:      46237
3351.44/3360.77	c #Conflicts:    1447000 | #Constraints:      47943
3351.44/3360.77	c #Conflicts:    1448000 | #Constraints:      49598
3351.44/3360.77	c #Conflicts:    1449000 | #Constraints:      51251
3351.44/3360.77	c #Conflicts:    1450000 | #Constraints:      52949
3351.44/3360.77	c #Conflicts:    1451000 | #Constraints:      54717
3351.44/3360.77	c #Conflicts:    1452000 | #Constraints:      56502
3351.44/3360.77	c #Conflicts:    1453000 | #Constraints:      58294
3351.44/3360.77	c #Conflicts:    1454000 | #Constraints:      60000
3351.44/3360.77	c #Conflicts:    1455000 | #Constraints:      61657
3351.44/3360.77	c #Conflicts:    1456000 | #Constraints:      63291
3351.44/3360.77	c #Conflicts:    1457000 | #Constraints:      64901
3351.44/3360.77	c #Conflicts:    1458000 | #Constraints:      66548
3351.44/3360.77	c #Conflicts:    1459000 | #Constraints:      68110
3351.44/3360.77	c #Conflicts:    1460000 | #Constraints:      69726
3351.44/3360.77	c #Conflicts:    1461000 | #Constraints:      71288
3351.44/3360.77	c #Conflicts:    1462000 | #Constraints:      72884
3351.44/3360.77	c #Conflicts:    1463000 | #Constraints:      74488
3351.44/3360.77	c #Conflicts:    1464000 | #Constraints:      76052
3351.44/3360.77	c #Conflicts:    1465000 | #Constraints:      77743
3351.44/3360.77	c #Conflicts:    1466000 | #Constraints:      79444
3351.44/3360.77	c #Conflicts:    1467000 | #Constraints:      81156
3351.44/3360.77	c INPROCESSING
3351.44/3360.77	c GARBAGE COLLECT
3351.44/3360.77	c #Conflicts:    1468000 | #Constraints:      42550
3351.44/3360.77	c #Conflicts:    1469000 | #Constraints:      44201
3351.44/3360.77	c #Conflicts:    1470000 | #Constraints:      45914
3351.44/3360.77	c #Conflicts:    1471000 | #Constraints:      47577
3351.44/3360.77	c #Conflicts:    1472000 | #Constraints:      49258
3351.44/3360.77	c #Conflicts:    1473000 | #Constraints:      50834
3351.44/3360.77	c #Conflicts:    1474000 | #Constraints:      52474
3351.44/3360.77	c #Conflicts:    1475000 | #Constraints:      54107
3351.44/3360.77	c #Conflicts:    1476000 | #Constraints:      55850
3351.44/3360.77	c #Conflicts:    1477000 | #Constraints:      57573
3351.44/3360.77	c #Conflicts:    1478000 | #Constraints:      59207
3351.44/3360.77	c #Conflicts:    1479000 | #Constraints:      60834
3351.44/3360.77	c #Conflicts:    1480000 | #Constraints:      62496
3351.44/3360.77	c #Conflicts:    1481000 | #Constraints:      64209
3351.44/3360.77	c #Conflicts:    1482000 | #Constraints:      65878
3351.44/3360.77	c #Conflicts:    1483000 | #Constraints:      67533
3351.44/3360.77	c #Conflicts:    1484000 | #Constraints:      69162
3351.44/3360.77	c #Conflicts:    1485000 | #Constraints:      70764
3351.44/3360.77	c #Conflicts:    1486000 | #Constraints:      72421
3351.44/3360.77	c #Conflicts:    1487000 | #Constraints:      74004
3351.44/3360.77	c #Conflicts:    1488000 | #Constraints:      75643
3351.44/3360.77	c #Conflicts:    1489000 | #Constraints:      77240
3351.44/3360.77	c #Conflicts:    1490000 | #Constraints:      78854
3351.44/3360.77	c #Conflicts:    1491000 | #Constraints:      80536
3351.44/3360.77	c INPROCESSING
3351.44/3360.77	c GARBAGE COLLECT
3351.44/3360.77	c #Conflicts:    1492000 | #Constraints:      41916
3351.44/3360.77	c #Conflicts:    1493000 | #Constraints:      43620
3351.44/3360.77	c #Conflicts:    1494000 | #Constraints:      45305
3351.44/3360.77	c #Conflicts:    1495000 | #Constraints:      47017
3351.44/3360.77	c #Conflicts:    1496000 | #Constraints:      48677
3351.44/3360.77	c #Conflicts:    1497000 | #Constraints:      50350
3351.44/3360.77	c #Conflicts:    1498000 | #Constraints:      52006
3351.44/3360.77	c #Conflicts:    1499000 | #Constraints:      53694
3351.44/3360.77	c #Conflicts:    1500000 | #Constraints:      55376
3351.44/3360.77	c #Conflicts:    1501000 | #Constraints:      57099
3351.44/3360.77	c #Conflicts:    1502000 | #Constraints:      58786
3351.44/3360.77	c #Conflicts:    1503000 | #Constraints:      60416
3351.44/3360.77	c #Conflicts:    1504000 | #Constraints:      62084
3543.53/3553.35	c #Conflicts:    1505000 | #Constraints:      63802
3543.53/3553.35	c #Conflicts:    1506000 | #Constraints:      65507
3543.53/3553.35	c #Conflicts:    1507000 | #Constraints:      67190
3543.53/3553.35	c #Conflicts:    1508000 | #Constraints:      68856
3543.53/3553.35	c #Conflicts:    1509000 | #Constraints:      70623
3543.53/3553.35	c #Conflicts:    1510000 | #Constraints:      72268
3543.53/3553.35	c #Conflicts:    1511000 | #Constraints:      73888
3543.53/3553.35	c #Conflicts:    1512000 | #Constraints:      75669
3543.53/3553.35	c #Conflicts:    1513000 | #Constraints:      77467
3543.53/3553.35	c #Conflicts:    1514000 | #Constraints:      79223
3543.53/3553.35	c #Conflicts:    1515000 | #Constraints:      80905
3543.53/3553.35	c #Conflicts:    1516000 | #Constraints:      82577
3543.53/3553.35	c INPROCESSING
3543.53/3553.35	c GARBAGE COLLECT
3543.53/3553.35	c #Conflicts:    1517000 | #Constraints:      43250
3543.53/3553.35	c #Conflicts:    1518000 | #Constraints:      44936
3543.53/3553.35	c #Conflicts:    1519000 | #Constraints:      46530
3543.53/3553.35	c #Conflicts:    1520000 | #Constraints:      48148
3543.53/3553.35	c #Conflicts:    1521000 | #Constraints:      49842
3543.53/3553.35	c #Conflicts:    1522000 | #Constraints:      51535
3543.53/3553.35	c #Conflicts:    1523000 | #Constraints:      53292
3543.53/3553.35	c #Conflicts:    1524000 | #Constraints:      54982
3543.53/3553.35	c #Conflicts:    1525000 | #Constraints:      56576
3543.53/3553.35	c #Conflicts:    1526000 | #Constraints:      58215
3543.53/3553.35	c #Conflicts:    1527000 | #Constraints:      59852
3543.53/3553.35	c #Conflicts:    1528000 | #Constraints:      61552
3543.53/3553.35	c #Conflicts:    1529000 | #Constraints:      63181
3543.53/3553.35	c #Conflicts:    1530000 | #Constraints:      64807
3543.53/3553.35	c #Conflicts:    1531000 | #Constraints:      66428
3543.53/3553.35	c #Conflicts:    1532000 | #Constraints:      67997
3543.53/3553.35	c #Conflicts:    1533000 | #Constraints:      69598
3543.53/3553.35	c #Conflicts:    1534000 | #Constraints:      71349
3543.53/3553.35	c #Conflicts:    1535000 | #Constraints:      72984
3543.53/3553.35	c #Conflicts:    1536000 | #Constraints:      74633
3543.53/3553.35	c #Conflicts:    1537000 | #Constraints:      76349
3543.53/3553.35	c #Conflicts:    1538000 | #Constraints:      77973
3543.53/3553.35	c #Conflicts:    1539000 | #Constraints:      79756
3543.53/3553.35	c #Conflicts:    1540000 | #Constraints:      81360
3543.53/3553.35	c #Conflicts:    1541000 | #Constraints:      82922
3543.53/3553.35	c INPROCESSING
3543.53/3553.35	c GARBAGE COLLECT
3543.53/3553.35	c #Conflicts:    1542000 | #Constraints:      43661
3543.53/3553.35	c #Conflicts:    1543000 | #Constraints:      45337
3543.53/3553.35	c #Conflicts:    1544000 | #Constraints:      47006
3543.53/3553.35	c #Conflicts:    1545000 | #Constraints:      48689
3543.53/3553.35	c #Conflicts:    1546000 | #Constraints:      50347
3543.53/3553.35	c #Conflicts:    1547000 | #Constraints:      51976
3543.53/3553.35	c #Conflicts:    1548000 | #Constraints:      53687
3543.53/3553.35	c #Conflicts:    1549000 | #Constraints:      55340
3543.53/3553.35	c #Conflicts:    1550000 | #Constraints:      56881
3543.53/3553.35	c #Conflicts:    1551000 | #Constraints:      58544
3543.53/3553.35	c #Conflicts:    1552000 | #Constraints:      60170
3543.53/3553.35	c #Conflicts:    1553000 | #Constraints:      61836
3543.53/3553.35	c #Conflicts:    1554000 | #Constraints:      63496
3543.53/3553.35	c #Conflicts:    1555000 | #Constraints:      65138
3543.53/3553.35	c #Conflicts:    1556000 | #Constraints:      66824
3543.53/3553.35	c #Conflicts:    1557000 | #Constraints:      68481
3543.53/3553.35	c #Conflicts:    1558000 | #Constraints:      70059
3543.53/3553.35	c #Conflicts:    1559000 | #Constraints:      71756
3543.53/3553.35	c #Conflicts:    1560000 | #Constraints:      73461
3543.53/3553.35	c #Conflicts:    1561000 | #Constraints:      75154
3543.53/3553.35	c #Conflicts:    1562000 | #Constraints:      76856
3543.53/3553.35	c #Conflicts:    1563000 | #Constraints:      78605
3543.53/3553.35	c #Conflicts:    1564000 | #Constraints:      80162
3543.53/3553.35	c #Conflicts:    1565000 | #Constraints:      81681
3543.53/3553.35	c #Conflicts:    1566000 | #Constraints:      83247
3543.53/3553.35	c INPROCESSING
3543.53/3553.35	c GARBAGE COLLECT
3543.53/3553.35	c #Conflicts:    1567000 | #Constraints:      43790
3543.53/3553.35	c #Conflicts:    1568000 | #Constraints:      45541
3543.53/3553.35	c #Conflicts:    1569000 | #Constraints:      47187
3543.53/3553.35	c #Conflicts:    1570000 | #Constraints:      48916
3543.53/3553.35	c #Conflicts:    1571000 | #Constraints:      50623
3543.53/3553.35	c #Conflicts:    1572000 | #Constraints:      52320
3543.53/3553.35	c #Conflicts:    1573000 | #Constraints:      54041
3543.53/3553.35	c #Conflicts:    1574000 | #Constraints:      55808
3543.53/3553.35	c #Conflicts:    1575000 | #Constraints:      57586
3543.53/3553.35	c #Conflicts:    1576000 | #Constraints:      59318
3543.53/3553.35	c #Conflicts:    1577000 | #Constraints:      61088
3543.53/3553.35	c #Conflicts:    1578000 | #Constraints:      62789
3543.53/3553.35	c #Conflicts:    1579000 | #Constraints:      64486
3543.53/3553.35	c #Conflicts:    1580000 | #Constraints:      66207
3543.53/3553.35	c #Conflicts:    1581c
3600.06/3610.00	s SATISFIABLE
3600.06/3610.00	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 ~x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440
3600.06/3610.00	000 | #Constraints:      67939
3600.06/3610.00	c #Conflicts:    1582000 | #Constraints:      69635
3600.06/3610.00	c #Conflicts:    1583000 | #Constraints:      71363
3600.06/3610.00	c #Conflicts:    1584000 | #Constraints:      73047
3600.06/3610.00	c #Conflicts:    1585000 | #Constraints:      74683
3600.06/3610.00	c #Conflicts:    1586000 | #Constraints:      76340
3600.06/3610.00	c #Conflicts:    1587000 | #Constraints:      78010
3600.06/3610.00	c #Conflicts:    1588000 | #Constraints:      79731
3600.06/3610.00	c #Conflicts:    1589000 | #Constraints:      81353
3600.06/3610.00	c #Conflicts:    1590000 | #Constraints:      83050
3600.06/3610.00	c #Conflicts:    1591000 | #Constraints:      84831
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:    1592000 | #Constraints:      44404
3600.06/3610.00	c #Conflicts:    1593000 | #Constraints:      46046
3600.06/3610.00	c #Conflicts:    1594000 | #Constraints:      47717
3600.06/3610.00	c #Conflicts:    1595000 | #Constraints:      49463
3600.06/3610.00	c #Conflicts:    1596000 | #Constraints:      51257
3600.06/3610.00	c #Conflicts:    1597000 | #Constraints:      52913
3600.06/3610.00	c #Conflicts:    1598000 | #Constraints:      54543
3600.06/3610.00	c #Conflicts:    1599000 | #Constraints:      56335
3600.06/3610.00	c #Conflicts:    1600000 | #Constraints:      58083

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 16
	-2>=-1

Falsified constraint is:
-1*x146[=1] -1*x273[=1] >= -1

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: 63968 MiB (61894 MiB free)
  memory of node 1: 64473 MiB (61971 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1048389, runsolver pid=1048386

[startup+0.101049 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 1048390
/proc/meminfo: memFree=126836804/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=38824 memory=9368 CPUtime=0.09 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 744 0 0 0 9 0 0 0 20 0 1 0 196990716 39755776 2342 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 9706 2342 1797 922 0 1658 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38824 KiB
Current children cumulated memory: 9368 KiB

[startup+0.205582 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 1048390
/proc/meminfo: memFree=126835068/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=39796 memory=10884 CPUtime=0.19 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 1132 0 0 0 19 0 0 0 20 0 1 0 196990716 40751104 2721 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 9949 2721 1797 922 0 1901 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39796 KiB
Current children cumulated memory: 10884 KiB

[startup+0.305711 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 1048390
/proc/meminfo: memFree=126833920/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=40292 memory=11700 CPUtime=0.3 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 1326 0 0 0 29 1 0 0 20 0 1 0 196990716 41259008 2925 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 10073 2925 1797 922 0 2025 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40292 KiB
Current children cumulated memory: 11700 KiB

[startup+0.700227 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1048392
/proc/meminfo: memFree=126832620/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=41164 memory=15236 CPUtime=0.69 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 1687 0 0 0 66 3 0 0 20 0 1 0 196990716 42151936 3809 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 10291 3809 1797 922 0 2243 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 15236 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1048392
/proc/meminfo: memFree=126827056/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=43004 memory=17160 CPUtime=1.48 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 2167 0 0 0 143 5 0 0 20 0 1 0 196990716 44036096 4290 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 10751 4290 1813 922 0 2703 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43004 KiB
Current children cumulated memory: 17160 KiB

[startup+3.10546 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 1048392
/proc/meminfo: memFree=126822588/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=43876 memory=18276 CPUtime=3.08 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 2531 0 0 0 298 10 0 0 20 0 1 0 196990716 44929024 4569 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 10969 4569 1813 922 0 2921 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43876 KiB
Current children cumulated memory: 18276 KiB

[startup+6.30021 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 1048392
/proc/meminfo: memFree=126811604/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=50700 memory=24988 CPUtime=6.27 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 3697 0 0 0 608 19 0 0 20 0 1 0 196990716 51916800 6247 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 12675 6247 1813 922 0 4627 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50700 KiB
Current children cumulated memory: 24988 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 1048393
/proc/meminfo: memFree=126777916/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=57636 memory=30360 CPUtime=12.65 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 4556 0 0 0 1232 33 0 0 20 0 1 0 196990716 59019264 7590 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 14409 7590 1813 922 0 6361 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57636 KiB
Current children cumulated memory: 30360 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1048395
/proc/meminfo: memFree=126764824/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=60924 memory=33344 CPUtime=25.42 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 5365 0 0 0 2480 62 0 0 20 0 1 0 196990716 62386176 8336 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 15231 8336 1813 922 0 7183 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 60924 KiB
Current children cumulated memory: 33344 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1048401
/proc/meminfo: memFree=126735108/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=88348 memory=52828 CPUtime=50.94 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 8344 0 0 0 4980 114 0 0 20 0 1 0 196990716 90468352 13207 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 22087 13207 1813 922 0 14039 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 88348 KiB
Current children cumulated memory: 52828 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 1048410
/proc/meminfo: memFree=126691216/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=99656 memory=69944 CPUtime=101.99 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 10643 0 0 0 9959 240 0 0 20 0 1 0 196990716 102047744 17486 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 24914 17486 1813 922 0 16866 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 99656 KiB
Current children cumulated memory: 69944 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 1048420
/proc/meminfo: memFree=126653376/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=121504 memory=84660 CPUtime=161.81 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 12174 0 0 0 15801 380 0 0 20 0 1 0 196990716 124420096 21165 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 30376 21165 1813 922 0 22328 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 121504 KiB
Current children cumulated memory: 84660 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.09 4/252 1048661
/proc/meminfo: memFree=126716380/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=124260 memory=86832 CPUtime=221.65 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 12927 0 0 0 21658 507 0 0 20 0 1 0 196990716 127242240 21708 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 31065 21708 1813 922 0 23017 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 124260 KiB
Current children cumulated memory: 86832 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 1049500
/proc/meminfo: memFree=126672544/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=126184 memory=90136 CPUtime=281.48 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 13511 0 0 0 27513 635 0 0 20 0 1 0 196990716 129212416 22534 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 31546 22534 1813 922 0 23498 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 126184 KiB
Current children cumulated memory: 90136 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 1049510
/proc/meminfo: memFree=126658444/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=128040 memory=95388 CPUtime=341.33 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 14042 0 0 0 33370 763 0 0 20 0 1 0 196990716 131112960 23847 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 32010 23847 1813 922 0 23962 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 128040 KiB
Current children cumulated memory: 95388 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1049524
/proc/meminfo: memFree=126624384/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=128040 memory=95408 CPUtime=401.16 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 14219 0 0 0 39217 899 0 0 20 0 1 0 196990716 131112960 23852 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 32010 23852 1813 922 0 23962 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 128040 KiB
Current children cumulated memory: 95408 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1049535
/proc/meminfo: memFree=126594564/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=141480 memory=104920 CPUtime=461 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 16266 0 0 0 45073 1027 0 0 20 0 1 0 196990716 144875520 26230 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 35370 26230 1813 922 0 27322 0

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

Current children cumulated memory: 205564 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1050637
/proc/meminfo: memFree=126149280/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=269624 memory=205568 CPUtime=2854.34 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 33586 0 0 0 280270 5164 0 0 20 0 1 0 196990716 276094976 51392 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 67406 51392 1813 922 0 59358 0
Current children cumulated CPU time: 2854.34 s
Current children cumulated vsize: 269624 KiB
Current children cumulated memory: 205568 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1050647
/proc/meminfo: memFree=126144104/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=269624 memory=205568 CPUtime=2914.18 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 33800 0 0 0 286155 5263 0 0 20 0 1 0 196990716 276094976 51392 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 67406 51392 1813 922 0 59358 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 269624 KiB
Current children cumulated memory: 205568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 1050658
/proc/meminfo: memFree=126136400/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273208 memory=207580 CPUtime=2974.03 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 34529 0 0 0 292060 5343 0 0 20 0 1 0 196990716 279764992 51895 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68302 51895 1813 922 0 60254 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 273208 KiB
Current children cumulated memory: 207580 KiB

[startup+3042.3 s]
/proc/loadavg: 4.47 4.19 4.12 5/257 1050670
/proc/meminfo: memFree=126130312/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=207992 CPUtime=3033.87 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 34851 0 0 0 297952 5435 0 0 20 0 1 0 196990716 280551424 51998 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 51998 1813 922 0 60446 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 207992 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/258 1051064
/proc/meminfo: memFree=126125316/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=207992 CPUtime=3093.72 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 35067 0 0 0 303852 5520 0 0 20 0 1 0 196990716 280551424 51998 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 51998 1813 922 0 60446 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 207992 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/256 1051074
/proc/meminfo: memFree=126112948/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=207992 CPUtime=3153.56 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 35283 0 0 0 309740 5616 0 0 20 0 1 0 196990716 280551424 51998 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 51998 1813 922 0 60446 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 207992 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/256 1051084
/proc/meminfo: memFree=126104960/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=207996 CPUtime=3213.4 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 35503 0 0 0 315643 5697 0 0 20 0 1 0 196990716 280551424 51999 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 51999 1813 922 0 60446 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 207996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 1051267
/proc/meminfo: memFree=126096876/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=207996 CPUtime=3273.24 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 35593 0 0 0 321548 5776 0 0 20 0 1 0 196990716 280551424 51999 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 51999 1813 922 0 60446 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 207996 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 1051277
/proc/meminfo: memFree=126090540/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=211584 CPUtime=3333.09 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 35943 0 0 0 327420 5889 0 0 20 0 1 0 196990716 280551424 52896 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 52896 1813 922 0 60446 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 211584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/260 1051292
/proc/meminfo: memFree=126086572/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=211588 CPUtime=3392.93 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 36170 0 0 0 333306 5987 0 0 20 0 1 0 196990716 280551424 52897 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 52897 1813 922 0 60446 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 211588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 1051314
/proc/meminfo: memFree=126083196/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=273976 memory=211588 CPUtime=3452.78 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 36393 0 0 0 339172 6106 0 0 20 0 1 0 196990716 280551424 52897 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 68494 52897 1813 922 0 60446 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 211588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 1051324
/proc/meminfo: memFree=126072528/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=276036 memory=213008 CPUtime=3512.62 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 37011 0 0 0 345080 6182 0 0 20 0 1 0 196990716 282660864 53252 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 69009 53252 1813 922 0 60961 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 276036 KiB
Current children cumulated memory: 213008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1051337
/proc/meminfo: memFree=126042512/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=276036 memory=213008 CPUtime=3572.44 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 37107 0 0 0 350969 6275 0 0 20 0 1 0 196990716 282660864 53252 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 69009 53252 1813 922 0 60961 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 276036 KiB
Current children cumulated memory: 213008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.24 4.14 4.10 5/258 1051386
/proc/meminfo: memFree=126360744/131524600 swapFree=131071996/131071996
[pid=1048389] ppid=1048386 vsize=278456 memory=220592 CPUtime=3600.06 cores=1,3
/proc/1048389/stat : 1048389 (roundingsat) R 1048386 1048389 1045367 0 -1 4194304 37845 0 0 0 353682 6324 0 0 20 0 1 0 196990716 285138944 55148 134679101440 4194304 7968869 140730004799536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 22843392 140730004804540 140730004804704 140730004804704 140730004811721 0
/proc/1048389/statm: 69614 55148 1813 922 0 61566 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 278456 KiB
Current children cumulated memory: 220592 KiB

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

[startup+3610.01 s]
# the end of solver process 1048389 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3536.83 s, system=63.2471 s

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

Child status: 1

Real time (s): 3610.01
CPU time (s): 3600.07
CPU user time (s): 3536.83
CPU system time (s): 63.2471
CPU usage (%): 99.7248
Max. virtual memory (cumulated for all children) (KiB): 279784
Max. memory (cumulated for all children) (KiB): 221648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3536.83
system time used= 63.2471
maximum resident set size= 221648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37853
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= 70
involuntary context switches= 3160


# summary of solver processes directly reported to runsolver:
#   pid: 1048389
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3536.83
#   total CPU system time (s): 63.2471

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57251 second user time and 16.4486 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-20 06:03:31
IDJOB=4453110
IDBENCH=168735
IDSOLVER=3051
FILE ID=nodeC035/4453110-1721448199
RUNJOBID= nodeC035-1721444576-1045379
SLURM_JOB_ID= 7545654
Free space on /tmp= 890052 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-4453110-1721448199/watcher-4453110-1721448199 -o /tmp/evaluation-result-4453110-1721448199/solver-4453110-1721448199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721444576-1045379 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4453110-1721448199.opb

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

MD5SUM BENCH= add936bb86ecdde22f6655365824bd6d
RANDOM SEED=341184881

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126839468 kB
MemAvailable:   129514792 kB
Buffers:          560580 kB
Cached:          2932756 kB
SwapCached:            0 kB
Active:          1049916 kB
Inactive:        2961124 kB
Active(anon):       1552 kB
Inactive(anon):   562080 kB
Active(file):    1048364 kB
Inactive(file):  2399044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18348 kB
Writeback:             0 kB
AnonPages:        517564 kB
Mapped:           116608 kB
Shmem:             45916 kB
KReclaimable:     135480 kB
Slab:             253268 kB
SReclaimable:     135480 kB
SUnreclaim:       117788 kB
KernelStack:        4124 kB
PageTables:        10508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     735616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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:      207572 kB
DirectMap2M:    19488768 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC035 at 2024-07-20 07:03:41