0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4524392-1751604678.opb'
0.00/0.01 c read 0.02MB (0.37ms)
0.00/0.01 c [cnf: #variables 126 #clauses 789 #duplicates 0 #arr 1700]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.32ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.06ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 1167 #edges 3904]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.10ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4524392-1751604678.opb.pre'
0.00/0.01 c wrote 0.02MB (0.10ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.37ms 35.86% parse
0.00/0.01 c 0.32ms 30.93% approx_orbits
0.00/0.01 c 0.10ms 9.93% detect_generic
0.00/0.01 c 0.10ms 9.79% output
0.00/0.01 c 0.07ms 6.96% other
0.00/0.01 c 0.06ms 5.98% detect_special
0.00/0.01 c 0.01ms 0.56% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.03ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 126 #constraints 788
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c bounds -17 >= -125 @ 0.003251
0.00/0.02 c rational objective -62.5
0.00/0.03 c bounds -18 >= -125 @ 0.012043
0.00/0.03 c bounds -18 >= -124 @ 0.012117
0.00/0.03 c bounds -18 >= -123 @ 0.012165
0.00/0.03 c bounds -18 >= -122 @ 0.012193
0.00/0.03 c bounds -18 >= -121 @ 0.012219
0.00/0.03 c bounds -18 >= -120 @ 0.012243
0.00/0.03 c bounds -18 >= -119 @ 0.012268
0.00/0.03 c bounds -18 >= -118 @ 0.012295
0.00/0.03 c bounds -18 >= -117 @ 0.012321
0.00/0.03 c bounds -18 >= -116 @ 0.012346
0.00/0.03 c bounds -18 >= -115 @ 0.01237
0.00/0.03 c bounds -18 >= -114 @ 0.012394
0.00/0.03 c bounds -18 >= -113 @ 0.012419
0.00/0.03 c bounds -19 >= -113 @ 0.012514
0.00/0.03 c bounds -19 >= -112 @ 0.012543
0.00/0.03 c bounds -19 >= -111 @ 0.012568
0.00/0.03 c bounds -19 >= -110 @ 0.012592
0.00/0.03 c bounds -19 >= -109 @ 0.012616
0.00/0.03 c bounds -19 >= -108 @ 0.01264
0.00/0.03 c bounds -19 >= -107 @ 0.012667
0.00/0.03 c bounds -19 >= -106 @ 0.012693
0.00/0.03 c bounds -19 >= -105 @ 0.012718
0.00/0.03 c bounds -19 >= -104 @ 0.012745
0.00/0.03 c bounds -21 >= -104 @ 0.012838
0.00/0.03 c bounds -21 >= -103 @ 0.012865
0.00/0.03 c bounds -21 >= -102 @ 0.01289
0.00/0.03 c bounds -21 >= -101 @ 0.012919
0.00/0.03 c bounds -21 >= -100 @ 0.012945
0.00/0.03 c bounds -21 >= -99 @ 0.012972
0.00/0.03 c bounds -21 >= -98 @ 0.012996
0.00/0.03 c bounds -21 >= -97 @ 0.013019
0.00/0.03 c bounds -21 >= -96 @ 0.013043
0.00/0.03 c bounds -21 >= -95 @ 0.013068
0.00/0.03 c bounds -21 >= -94 @ 0.013094
0.00/0.03 c bounds -21 >= -93 @ 0.013117
0.00/0.03 c bounds -21 >= -92 @ 0.013141
0.00/0.03 c bounds -21 >= -91 @ 0.013167
0.00/0.03 c bounds -21 >= -90 @ 0.013191
0.00/0.03 c bounds -21 >= -89 @ 0.013217
0.00/0.03 c bounds -23 >= -89 @ 0.013288
0.00/0.03 c bounds -23 >= -88 @ 0.013313
0.00/0.03 c bounds -23 >= -87 @ 0.013343
0.00/0.03 c bounds -23 >= -86 @ 0.013368
0.00/0.03 c bounds -23 >= -85 @ 0.013394
0.00/0.03 c bounds -23 >= -84 @ 0.013418
0.00/0.03 c bounds -23 >= -83 @ 0.013447
0.00/0.03 c bounds -23 >= -82 @ 0.013471
0.00/0.03 c bounds -23 >= -81 @ 0.013498
0.00/0.03 c bounds -23 >= -80 @ 0.013523
0.00/0.03 c bounds -23 >= -79 @ 0.013546
0.00/0.03 c bounds -24 >= -79 @ 0.013614
0.00/0.03 c bounds -24 >= -78 @ 0.013641
0.00/0.03 c bounds -24 >= -77 @ 0.013664
0.00/0.03 c bounds -24 >= -76 @ 0.01369
0.00/0.03 c bounds -24 >= -75 @ 0.013717
0.00/0.03 c bounds -24 >= -74 @ 0.013741
0.00/0.03 c bounds -24 >= -73 @ 0.013764
0.00/0.03 c bounds -24 >= -72 @ 0.013792
0.00/0.03 c bounds -24 >= -71 @ 0.01382
0.00/0.03 c bounds -24 >= -70 @ 0.013844
0.00/0.03 c bounds -24 >= -69 @ 0.013867
0.00/0.03 c bounds -24 >= -68 @ 0.013901
0.00/0.03 c bounds -25 >= -68 @ 0.013974
0.00/0.03 c bounds -25 >= -67 @ 0.014002
0.00/0.03 c bounds -25 >= -66 @ 0.01403
0.00/0.03 c bounds -25 >= -65 @ 0.014058
0.00/0.03 c bounds -25 >= -64 @ 0.014088
0.00/0.03 c bounds -25 >= -63 @ 0.014116
0.00/0.03 c bounds -25 >= -62 @ 0.014146
0.00/0.03 c bounds -25 >= -61 @ 0.014183
0.00/0.03 c bounds -26 >= -61 @ 0.014251
0.00/0.03 c bounds -26 >= -60 @ 0.014345
0.00/0.04 c bounds -26 >= -59 @ 0.017039
0.00/0.04 c bounds -27 >= -59 @ 0.017114
0.00/0.04 c bounds -27 >= -58 @ 0.017253
0.00/0.04 c bounds -28 >= -58 @ 0.01758
0.00/0.04 c bounds -28 >= -57 @ 0.01778
0.00/0.04 c bounds -28 >= -56 @ 0.017898
0.00/0.04 c bounds -28 >= -55 @ 0.018019
0.00/0.04 c bounds -28 >= -54 @ 0.018159
0.00/0.04 c bounds -29 >= -54 @ 0.018362
0.00/0.04 c bounds -29 >= -53 @ 0.018404
0.00/0.04 c bounds -29 >= -52 @ 0.018404
0.00/0.04 c bounds -30 >= -52 @ 0.019474
0.00/0.04 c bounds -30 >= -51 @ 0.019577
0.00/0.04 c bounds -30 >= -50 @ 0.019864
0.00/0.04 c bounds -30 >= -49 @ 0.020538
0.00/0.04 c bounds -30 >= -48 @ 0.021683
0.00/0.04 c bounds -31 >= -48 @ 0.023991
0.00/0.05 c bounds -31 >= -47 @ 0.031249
0.00/0.06 c bounds -32 >= -47 @ 0.038182
0.00/0.08 c bounds -32 >= -46 @ 0.050685
0.00/0.10 c #Conflicts: 1000 | #Constraints: 2172
0.00/0.10 c bounds -33 >= -46 @ 0.069286
0.08/0.14 c bounds -33 >= -45 @ 0.100463
0.08/0.17 c #Conflicts: 2000 | #Constraints: 3212
0.08/0.17 c INPROCESSING
0.08/0.17 c GARBAGE COLLECT
0.08/0.17 c rational objective -45
0.17/0.23 c bounds -33 >= -44 @ 0.180615
0.27/0.34 c #Conflicts: 3000 | #Constraints: 3108
0.27/0.34 c #Conflicts: 4000 | #Constraints: 4150
0.27/0.34 c INPROCESSING
0.27/0.34 c GARBAGE COLLECT
0.27/0.34 c rational objective -44
0.38/0.43 c #Conflicts: 5000 | #Constraints: 3497
0.38/0.43 c bounds -33 >= -43 @ 0.368284
0.48/0.54 c #Conflicts: 6000 | #Constraints: 4518
0.48/0.54 c bounds -33 >= -42 @ 0.475009
0.48/0.55 c INPROCESSING
0.48/0.55 c GARBAGE COLLECT
0.48/0.55 c rational objective -42
0.67/0.78 c #Conflicts: 7000 | #Constraints: 3521
0.67/0.78 c #Conflicts: 8000 | #Constraints: 4571
0.67/0.78 c #Conflicts: 9000 | #Constraints: 5622
0.67/0.78 c INPROCESSING
0.67/0.78 c GARBAGE COLLECT
0.67/0.78 c rational objective -42
0.97/1.06 c #Conflicts: 10000 | #Constraints: 4260
0.97/1.06 c #Conflicts: 11000 | #Constraints: 5260
0.97/1.06 c #Conflicts: 12000 | #Constraints: 6260
0.97/1.06 c INPROCESSING
0.97/1.06 c GARBAGE COLLECT
0.97/1.06 c rational objective -42
1.17/1.22 c #Conflicts: 13000 | #Constraints: 4686
1.17/1.22 c bounds -33 >= -41 @ 1.11913
1.26/1.33 c #Conflicts: 14000 | #Constraints: 5718
1.26/1.33 c #Conflicts: 15000 | #Constraints: 6747
1.26/1.33 c INPROCESSING
1.26/1.33 c GARBAGE COLLECT
1.26/1.33 c rational objective -41
1.56/1.67 c #Conflicts: 16000 | #Constraints: 4932
1.56/1.67 c #Conflicts: 17000 | #Constraints: 5932
1.56/1.67 c #Conflicts: 18000 | #Constraints: 6932
1.56/1.67 c INPROCESSING
1.56/1.67 c GARBAGE COLLECT
1.56/1.67 c rational objective -41
1.97/2.01 c #Conflicts: 19000 | #Constraints: 4931
1.97/2.01 c #Conflicts: 20000 | #Constraints: 5973
1.97/2.01 c #Conflicts: 21000 | #Constraints: 7019
1.97/2.01 c INPROCESSING
1.97/2.01 c GARBAGE COLLECT
1.97/2.01 c rational objective -41
2.36/2.43 c #Conflicts: 22000 | #Constraints: 4780
2.36/2.43 c #Conflicts: 23000 | #Constraints: 5780
2.36/2.43 c #Conflicts: 24000 | #Constraints: 6780
2.36/2.43 c #Conflicts: 25000 | #Constraints: 7780
2.36/2.43 c bounds -33 >= -40 @ 2.28858
2.36/2.44 c INPROCESSING
2.36/2.44 c GARBAGE COLLECT
2.36/2.44 c rational objective -40
2.76/2.82 c #Conflicts: 26000 | #Constraints: 5393
2.76/2.82 c #Conflicts: 27000 | #Constraints: 6442
2.76/2.82 c #Conflicts: 28000 | #Constraints: 7493
2.76/2.82 c #Conflicts: 29000 | #Constraints: 8544
2.76/2.82 c INPROCESSING
2.76/2.82 c GARBAGE COLLECT
2.76/2.82 c rational objective -40
3.26/3.30 c #Conflicts: 30000 | #Constraints: 5838
3.26/3.30 c #Conflicts: 31000 | #Constraints: 6838
3.26/3.30 c #Conflicts: 32000 | #Constraints: 7838
3.26/3.30 c #Conflicts: 33000 | #Constraints: 8838
3.26/3.30 c INPROCESSING
3.26/3.30 c GARBAGE COLLECT
3.26/3.30 c rational objective -40
3.66/3.73 c #Conflicts: 34000 | #Constraints: 5971
3.66/3.73 c #Conflicts: 35000 | #Constraints: 6971
3.66/3.73 c #Conflicts: 36000 | #Constraints: 7971
3.66/3.73 c #Conflicts: 37000 | #Constraints: 8971
3.66/3.73 c INPROCESSING
3.66/3.73 c GARBAGE COLLECT
3.66/3.73 c rational objective -40
4.16/4.23 c #Conflicts: 38000 | #Constraints: 5958
4.16/4.23 c #Conflicts: 39000 | #Constraints: 7006
4.16/4.23 c #Conflicts: 40000 | #Constraints: 8052
4.16/4.23 c #Conflicts: 41000 | #Constraints: 9100
4.16/4.23 c INPROCESSING
4.16/4.23 c GARBAGE COLLECT
4.16/4.23 c rational objective -40
4.65/4.75 c #Conflicts: 42000 | #Constraints: 5830
4.65/4.75 c #Conflicts: 43000 | #Constraints: 6830
4.65/4.75 c #Conflicts: 44000 | #Constraints: 7830
4.65/4.75 c #Conflicts: 45000 | #Constraints: 8830
4.65/4.75 c #Conflicts: 46000 | #Constraints: 9830
4.65/4.75 c INPROCESSING
4.65/4.75 c GARBAGE COLLECT
4.65/4.75 c rational objective -40
5.15/5.27 c #Conflicts: 47000 | #Constraints: 6386
5.15/5.27 c #Conflicts: 48000 | #Constraints: 7386
5.15/5.27 c #Conflicts: 49000 | #Constraints: 8386
5.15/5.27 c #Conflicts: 50000 | #Constraints: 9386
5.15/5.27 c #Conflicts: 51000 | #Constraints: 10386
5.15/5.27 c INPROCESSING
5.15/5.27 c GARBAGE COLLECT
5.15/5.27 c rational objective -40
5.75/5.86 c #Conflicts: 52000 | #Constraints: 6804
5.75/5.86 c #Conflicts: 53000 | #Constraints: 7850
5.75/5.86 c #Conflicts: 54000 | #Constraints: 8898
5.75/5.86 c #Conflicts: 55000 | #Constraints: 9941
5.75/5.86 c #Conflicts: 56000 | #Constraints: 10990
5.75/5.86 c INPROCESSING
5.75/5.86 c GARBAGE COLLECT
5.75/5.86 c rational objective -40
6.35/6.47 c #Conflicts: 57000 | #Constraints: 7059
6.35/6.47 c #Conflicts: 58000 | #Constraints: 8060
6.35/6.47 c #Conflicts: 59000 | #Constraints: 9060
6.35/6.47 c #Conflicts: 60000 | #Constraints: 10060
6.35/6.47 c #Conflicts: 61000 | #Constraints: 11060
6.35/6.47 c INPROCESSING
6.35/6.47 c GARBAGE COLLECT
6.35/6.47 c rational objective -40
6.55/6.64 c #Conflicts: 62000 | #Constraints: 7002
6.55/6.64 c bounds -33 >= -39 @ 6.28834
6.95/7.03 c #Conflicts: 63000 | #Constraints: 8021
6.95/7.03 c #Conflicts: 64000 | #Constraints: 9067
6.95/7.03 c #Conflicts: 65000 | #Constraints: 10119
6.95/7.03 c #Conflicts: 66000 | #Constraints: 11166
6.95/7.03 c INPROCESSING
6.95/7.03 c GARBAGE COLLECT
6.95/7.03 c rational objective -39
7.65/7.73 c #Conflicts: 67000 | #Constraints: 6867
7.65/7.73 c #Conflicts: 68000 | #Constraints: 7867
7.65/7.73 c #Conflicts: 69000 | #Constraints: 8867
7.65/7.73 c #Conflicts: 70000 | #Constraints: 9867
7.65/7.73 c #Conflicts: 71000 | #Constraints: 10867
7.65/7.73 c #Conflicts: 72000 | #Constraints: 11867
7.65/7.73 c INPROCESSING
7.65/7.73 c GARBAGE COLLECT
7.65/7.73 c rational objective -39
8.34/8.47 c #Conflicts: 73000 | #Constraints: 7448
8.34/8.47 c #Conflicts: 74000 | #Constraints: 8500
8.34/8.47 c #Conflicts: 75000 | #Constraints: 9561
8.34/8.47 c #Conflicts: 76000 | #Constraints: 10612
8.34/8.47 c #Conflicts: 77000 | #Constraints: 11660
8.34/8.47 c #Conflicts: 78000 | #Constraints: 12697
8.34/8.47 c INPROCESSING
8.34/8.47 c GARBAGE COLLECT
8.34/8.47 c rational objective -39
9.14/9.25 c #Conflicts: 79000 | #Constraints: 7917
9.14/9.25 c #Conflicts: 80000 | #Constraints: 8917
9.14/9.25 c #Conflicts: 81000 | #Constraints: 9917
9.14/9.25 c #Conflicts: 82000 | #Constraints: 10917
9.14/9.25 c #Conflicts: 83000 | #Constraints: 11917
9.14/9.25 c #Conflicts: 84000 | #Constraints: 12917
9.14/9.25 c INPROCESSING
9.14/9.25 c GARBAGE COLLECT
9.14/9.25 c rational objective -39
9.95/10.02 c #Conflicts: 85000 | #Constraints: 8032
9.95/10.02 c #Conflicts: 86000 | #Constraints: 9033
9.95/10.02 c #Conflicts: 87000 | #Constraints: 10033
9.95/10.02 c #Conflicts: 88000 | #Constraints: 11033
9.95/10.02 c #Conflicts: 89000 | #Constraints: 12033
9.95/10.02 c #Conflicts: 90000 | #Constraints: 13033
9.95/10.02 c INPROCESSING
9.95/10.02 c GARBAGE COLLECT
9.95/10.02 c rational objective -39
10.84/10.92 c #Conflicts: 91000 | #Constraints: 8013
10.84/10.92 c #Conflicts: 92000 | #Constraints: 9039
10.84/10.92 c #Conflicts: 93000 | #Constraints: 10064
10.84/10.92 c #Conflicts: 94000 | #Constraints: 11097
10.84/10.92 c #Conflicts: 95000 | #Constraints: 12135
10.84/10.92 c #Conflicts: 96000 | #Constraints: 13177
10.84/10.92 c INPROCESSING
10.84/10.92 c GARBAGE COLLECT
10.84/10.92 c rational objective -39
11.74/11.87 c #Conflicts: 97000 | #Constraints: 7869
11.74/11.87 c #Conflicts: 98000 | #Constraints: 8869
11.74/11.87 c #Conflicts: 99000 | #Constraints: 9869
11.74/11.87 c #Conflicts: 100000 | #Constraints: 10869
11.74/11.87 c #Conflicts: 101000 | #Constraints: 11869
11.74/11.87 c #Conflicts: 102000 | #Constraints: 12869
11.74/11.87 c #Conflicts: 103000 | #Constraints: 13869
11.74/11.87 c INPROCESSING
11.74/11.87 c GARBAGE COLLECT
11.74/11.87 c rational objective -39
12.64/12.73 c #Conflicts: 104000 | #Constraints: 8421
12.64/12.73 c #Conflicts: 105000 | #Constraints: 9421
12.64/12.73 c #Conflicts: 106000 | #Constraints: 10421
12.64/12.73 c #Conflicts: 107000 | #Constraints: 11421
12.64/12.73 c #Conflicts: 108000 | #Constraints: 12421
12.64/12.73 c #Conflicts: 109000 | #Constraints: 13421
12.64/12.73 c #Conflicts: 110000 | #Constraints: 14421
12.64/12.73 c INPROCESSING
12.64/12.73 c GARBAGE COLLECT
12.64/12.73 c rational objective -39
13.73/13.85 c #Conflicts: 111000 | #Constraints: 8825
13.73/13.85 c #Conflicts: 112000 | #Constraints: 9880
13.73/13.85 c #Conflicts: 113000 | #Constraints: 10928
13.73/13.85 c #Conflicts: 114000 | #Constraints: 11972
13.73/13.85 c #Conflicts: 115000 | #Constraints: 13022
13.73/13.85 c #Conflicts: 116000 | #Constraints: 14058
13.73/13.85 c #Conflicts: 117000 | #Constraints: 15100
13.73/13.85 c INPROCESSING
13.73/13.85 c GARBAGE COLLECT
13.73/13.85 c rational objective -39
14.42/14.55 c #Conflicts: 118000 | #Constraints: 9126
14.42/14.55 c #Conflicts: 119000 | #Constraints: 10126
14.42/14.55 c #Conflicts: 120000 | #Constraints: 11126
14.42/14.55 c #Conflicts: 121000 | #Constraints: 12126
14.42/14.55 c #Conflicts: 122000 | #Constraints: 13126
14.42/14.55 c bounds -33 >= -38 @ 13.8861
14.73/14.87 c #Conflicts: 123000 | #Constraints: 14154
14.73/14.87 c #Conflicts: 124000 | #Constraints: 15154
14.73/14.87 c INPROCESSING
14.73/14.87 c GARBAGE COLLECT
14.73/14.87 c rational objective -38
15.82/15.92 c #Conflicts: 125000 | #Constraints: 9063
15.82/15.92 c #Conflicts: 126000 | #Constraints: 10063
15.82/15.92 c #Conflicts: 127000 | #Constraints: 11063
15.82/15.92 c #Conflicts: 128000 | #Constraints: 12064
15.82/15.92 c #Conflicts: 129000 | #Constraints: 13064
15.82/15.92 c #Conflicts: 130000 | #Constraints: 14064
15.82/15.92 c #Conflicts: 131000 | #Constraints: 15064
15.82/15.92 c INPROCESSING
15.82/15.92 c GARBAGE COLLECT
15.82/15.92 c rational objective -38
16.82/16.95 c #Conflicts: 132000 | #Constraints: 8816
16.82/16.95 c #Conflicts: 133000 | #Constraints: 9816
16.82/16.95 c #Conflicts: 134000 | #Constraints: 10816
16.82/16.95 c #Conflicts: 135000 | #Constraints: 11816
16.82/16.95 c #Conflicts: 136000 | #Constraints: 12816
16.82/16.95 c #Conflicts: 137000 | #Constraints: 13817
16.82/16.95 c #Conflicts: 138000 | #Constraints: 14817
16.82/16.95 c #Conflicts: 139000 | #Constraints: 15817
16.82/16.95 c INPROCESSING
16.82/16.95 c GARBAGE COLLECT
16.82/16.95 c rational objective -38
17.92/18.08 c #Conflicts: 140000 | #Constraints: 9414
17.92/18.08 c #Conflicts: 141000 | #Constraints: 10458
17.92/18.08 c #Conflicts: 142000 | #Constraints: 11509
17.92/18.08 c #Conflicts: 143000 | #Constraints: 12555
17.92/18.08 c #Conflicts: 144000 | #Constraints: 13602
17.92/18.08 c #Conflicts: 145000 | #Constraints: 14642
17.92/18.08 c #Conflicts: 146000 | #Constraints: 15694
17.92/18.08 c #Conflicts: 147000 | #Constraints: 16742
17.92/18.08 c INPROCESSING
17.92/18.08 c GARBAGE COLLECT
17.92/18.08 c rational objective -38
19.22/19.38 c #Conflicts: 148000 | #Constraints: 9949
19.22/19.38 c #Conflicts: 149000 | #Constraints: 10949
19.22/19.38 c #Conflicts: 150000 | #Constraints: 11949
19.22/19.38 c #Conflicts: 151000 | #Constraints: 12950
19.22/19.38 c #Conflicts: 152000 | #Constraints: 13950
19.22/19.38 c #Conflicts: 153000 | #Constraints: 14951
19.22/19.38 c #Conflicts: 154000 | #Constraints: 15953
19.22/19.38 c #Conflicts: 155000 | #Constraints: 16953
19.22/19.38 c INPROCESSING
19.22/19.38 c GARBAGE COLLECT
19.22/19.38 c rational objective -38
20.51/20.67 c #Conflicts: 156000 | #Constraints: 10114
20.51/20.67 c #Conflicts: 157000 | #Constraints: 11163
20.51/20.67 c #Conflicts: 158000 | #Constraints: 12201
20.51/20.67 c #Conflicts: 159000 | #Constraints: 13245
20.51/20.67 c #Conflicts: 160000 | #Constraints: 14288
20.51/20.67 c #Conflicts: 161000 | #Constraints: 15328
20.51/20.67 c #Conflicts: 162000 | #Constraints: 16372
20.51/20.67 c #Conflicts: 163000 | #Constraints: 17421
20.51/20.67 c INPROCESSING
20.51/20.67 c GARBAGE COLLECT
20.51/20.67 c rational objective -38
21.81/21.96 c #Conflicts: 164000 | #Constraints: 10201
21.81/21.96 c #Conflicts: 165000 | #Constraints: 11201
21.81/21.96 c #Conflicts: 166000 | #Constraints: 12201
21.81/21.96 c #Conflicts: 167000 | #Constraints: 13201
21.81/21.96 c #Conflicts: 168000 | #Constraints: 14202
21.81/21.96 c #Conflicts: 169000 | #Constraints: 15202
21.81/21.96 c #Conflicts: 170000 | #Constraints: 16202
21.81/21.96 c #Conflicts: 171000 | #Constraints: 17202
21.81/21.96 c INPROCESSING
21.81/21.96 c GARBAGE COLLECT
21.81/21.96 c rational objective -38
23.10/23.24 c #Conflicts: 172000 | #Constraints: 9889
23.10/23.24 c #Conflicts: 173000 | #Constraints: 10890
23.10/23.24 c #Conflicts: 174000 | #Constraints: 11891
23.10/23.24 c #Conflicts: 175000 | #Constraints: 12891
23.10/23.24 c #Conflicts: 176000 | #Constraints: 13892
23.10/23.24 c #Conflicts: 177000 | #Constraints: 14892
23.10/23.24 c #Conflicts: 178000 | #Constraints: 15892
23.10/23.24 c #Conflicts: 179000 | #Constraints: 16892
23.10/23.24 c #Conflicts: 180000 | #Constraints: 17893
23.10/23.24 c INPROCESSING
23.10/23.24 c GARBAGE COLLECT
23.10/23.24 c rational objective -38
24.60/24.74 c #Conflicts: 181000 | #Constraints: 10467
24.60/24.74 c #Conflicts: 182000 | #Constraints: 11517
24.60/24.74 c #Conflicts: 183000 | #Constraints: 12572
24.60/24.74 c #Conflicts: 184000 | #Constraints: 13622
24.60/24.74 c #Conflicts: 185000 | #Constraints: 14681
24.60/24.74 c #Conflicts: 186000 | #Constraints: 15730
24.60/24.74 c #Conflicts: 187000 | #Constraints: 16779
24.60/24.74 c #Conflicts: 188000 | #Constraints: 17835
24.60/24.74 c #Conflicts: 189000 | #Constraints: 18883
24.60/24.74 c INPROCESSING
24.60/24.74 c GARBAGE COLLECT
24.60/24.74 c rational objective -38
26.00/26.16 c #Conflicts: 190000 | #Constraints: 11028
26.00/26.16 c #Conflicts: 191000 | #Constraints: 12029
26.00/26.16 c #Conflicts: 192000 | #Constraints: 13029
26.00/26.16 c #Conflicts: 193000 | #Constraints: 14030
26.00/26.16 c #Conflicts: 194000 | #Constraints: 15030
26.00/26.16 c #Conflicts: 195000 | #Constraints: 16030
26.00/26.16 c #Conflicts: 196000 | #Constraints: 17030
26.00/26.16 c #Conflicts: 197000 | #Constraints: 18030
26.00/26.16 c #Conflicts: 198000 | #Constraints: 19030
26.00/26.16 c INPROCESSING
26.00/26.16 c GARBAGE COLLECT
26.00/26.16 c rational objective -38
27.39/27.58 c #Conflicts: 199000 | #Constraints: 11107
27.39/27.58 c #Conflicts: 200000 | #Constraints: 12109
27.39/27.58 c #Conflicts: 201000 | #Constraints: 13109
27.39/27.58 c #Conflicts: 202000 | #Constraints: 14109
27.39/27.58 c #Conflicts: 203000 | #Constraints: 15109
27.39/27.58 c #Conflicts: 204000 | #Constraints: 16109
27.39/27.58 c #Conflicts: 205000 | #Constraints: 17109
27.39/27.58 c #Conflicts: 206000 | #Constraints: 18110
27.39/27.58 c #Conflicts: 207000 | #Constraints: 19110
27.39/27.58 c INPROCESSING
27.39/27.58 c GARBAGE COLLECT
27.39/27.58 c rational objective -38
50.63/50.88 c #Conflicts: 208000 | #Constraints: 11058
50.63/50.88 c #Conflicts: 209000 | #Constraints: 12092
50.63/50.88 c #Conflicts: 210000 | #Constraints: 13118
50.63/50.88 c #Conflicts: 211000 | #Constraints: 14149
50.63/50.88 c #Conflicts: 212000 | #Constraints: 15181
50.63/50.88 c #Conflicts: 213000 | #Constraints: 16210
50.63/50.88 c #Conflicts: 214000 | #Constraints: 17244
50.63/50.88 c #Conflicts: 215000 | #Constraints: 18278
50.63/50.88 c #Conflicts: 216000 | #Constraints: 19320
50.63/50.88 c #Conflicts: 217000 | #Constraints: 20356
50.63/50.88 c #Conflicts: 218000 | #Constraints: 21392
50.63/50.88 c #Conflicts: 219000 | #Constraints: 22440
50.63/50.88 c #Conflicts: 220000 | #Constraints: 23487
50.63/50.88 c #Conflicts: 221000 | #Constraints: 24536
50.63/50.88 c #Conflicts: 222000 | #Constraints: 25582
50.63/50.88 c #Conflicts: 223000 | #Constraints: 26631
50.63/50.88 c #Conflicts: 224000 | #Constraints: 27686
50.63/50.88 c #Conflicts: 225000 | #Constraints: 28721
50.63/50.88 c #Conflicts: 226000 | #Constraints: 29771
50.63/50.88 c #Conflicts: 227000 | #Constraints: 30813
50.63/50.88 c #Conflicts: 228000 | #Constraints: 31854
50.63/50.88 c #Conflicts: 229000 | #Constraints: 32892
50.63/50.88 c #Conflicts: 230000 | #Constraints: 33936
50.63/50.88 c #Conflicts: 231000 | #Constraints: 34984
50.63/50.88 c #Conflicts: 232000 | #Constraints: 36030
50.63/50.88 c #Conflicts: 233000 | #Constraints: 37074
50.63/50.88 c #Conflicts: 234000 | #Constraints: 38128
50.63/50.88 c #Conflicts: 235000 | #Constraints: 39171
50.63/50.88 c #Conflicts: 236000 | #Constraints: 40212
50.63/50.88 c #Conflicts: 237000 | #Constraints: 41259
50.63/50.88 c #Conflicts: 238000 | #Constraints: 42307
50.63/50.88 c #Conflicts: 239000 | #Constraints: 43356
50.63/50.88 c #Conflicts: 240000 | #Constraints: 44399
50.63/50.88 c #Conflicts: 241000 | #Constraints: 45433
50.63/50.88 c #Conflicts: 242000 | #Constraints: 46484
50.63/50.88 c #Conflicts: 243000 | #Constraints: 47516
50.63/50.88 c #Conflicts: 244000 | #Constraints: 48551
50.63/50.88 c #Conflicts: 245000 | #Constraints: 49591
50.63/50.88 c #Conflicts: 246000 | #Constraints: 50642
50.63/50.88 c #Conflicts: 247000 | #Constraints: 51691
50.63/50.88 c #Conflicts: 248000 | #Constraints: 52739
50.63/50.88 c #Conflicts: 249000 | #Constraints: 53783
50.63/50.88 c #Conflicts: 250000 | #Constraints: 54829
50.63/50.88 c INPROCESSING
50.63/50.88 c GARBAGE COLLECT
50.63/50.88 c rational objective -38
60.80/61.09 c #Conflicts: 251000 | #Constraints: 28618
60.80/61.09 c #Conflicts: 252000 | #Constraints: 29618
60.80/61.09 c #Conflicts: 253000 | #Constraints: 30619
60.80/61.09 c #Conflicts: 254000 | #Constraints: 31619
60.80/61.09 c #Conflicts: 255000 | #Constraints: 32619
60.80/61.09 c #Conflicts: 256000 | #Constraints: 33619
60.80/61.09 c #Conflicts: 257000 | #Constraints: 34619
60.80/61.09 c #Conflicts: 258000 | #Constraints: 35619
60.80/61.09 c #Conflicts: 259000 | #Constraints: 36619
60.80/61.09 c #Conflicts: 260000 | #Constraints: 37620
60.80/61.09 c #Conflicts: 261000 | #Constraints: 38620
60.80/61.09 c INPROCESSING
60.80/61.09 c GARBAGE COLLECT
60.80/61.09 c rational objective -38
63.79/64.02 c #Conflicts: 262000 | #Constraints: 20756
63.79/64.02 c #Conflicts: 263000 | #Constraints: 21756
63.79/64.02 c #Conflicts: 264000 | #Constraints: 22756
63.79/64.02 c #Conflicts: 265000 | #Constraints: 23756
63.79/64.02 c #Conflicts: 266000 | #Constraints: 24756
63.79/64.02 c #Conflicts: 267000 | #Constraints: 25756
63.79/64.02 c #Conflicts: 268000 | #Constraints: 26756
63.79/64.02 c #Conflicts: 269000 | #Constraints: 27756
63.79/64.02 c bounds -33 >= -37 @ 62.3853
64.79/65.05 c #Conflicts: 270000 | #Constraints: 28786
64.79/65.05 c #Conflicts: 271000 | #Constraints: 29787
64.79/65.05 c #Conflicts: 272000 | #Constraints: 30788
64.79/65.05 c INPROCESSING
64.79/65.05 c GARBAGE COLLECT
64.79/65.05 c rational objective -37
67.28/67.58 c #Conflicts: 273000 | #Constraints: 16997
67.28/67.58 c #Conflicts: 274000 | #Constraints: 17997
67.28/67.58 c #Conflicts: 275000 | #Constraints: 18998
67.28/67.58 c #Conflicts: 276000 | #Constraints: 19998
67.28/67.58 c #Conflicts: 277000 | #Constraints: 20998
67.28/67.58 c #Conflicts: 278000 | #Constraints: 21998
67.28/67.58 c #Conflicts: 279000 | #Constraints: 22999
67.28/67.58 c #Conflicts: 280000 | #Constraints: 23999
67.28/67.58 c #Conflicts: 281000 | #Constraints: 25000
67.28/67.58 c #Conflicts: 282000 | #Constraints: 26002
67.28/67.58 c INPROCESSING
67.28/67.58 c GARBAGE COLLECT
67.28/67.58 c rational objective -37
69.37/69.62 c #Conflicts: 283000 | #Constraints: 14146
69.37/69.62 c #Conflicts: 284000 | #Constraints: 15147
69.37/69.62 c #Conflicts: 285000 | #Constraints: 16147
69.37/69.62 c #Conflicts: 286000 | #Constraints: 17147
69.37/69.62 c #Conflicts: 287000 | #Constraints: 18147
69.37/69.62 c #Conflicts: 288000 | #Constraints: 19147
69.37/69.62 c #Conflicts: 289000 | #Constraints: 20148
69.37/69.62 c #Conflicts: 290000 | #Constraints: 21148
69.37/69.62 c #Conflicts: 291000 | #Constraints: 22148
69.37/69.62 c #Conflicts: 292000 | #Constraints: 23148
69.37/69.62 c #Conflicts: 293000 | #Constraints: 24148
69.37/69.62 c #Conflicts: 294000 | #Constraints: 25148
69.37/69.62 c INPROCESSING
69.37/69.62 c GARBAGE COLLECT
69.37/69.62 c rational objective -37
71.37/71.69 c #Conflicts: 295000 | #Constraints: 14173
71.37/71.69 c #Conflicts: 296000 | #Constraints: 15174
71.37/71.69 c #Conflicts: 297000 | #Constraints: 16175
71.37/71.69 c #Conflicts: 298000 | #Constraints: 17175
71.37/71.69 c #Conflicts: 299000 | #Constraints: 18176
71.37/71.69 c #Conflicts: 300000 | #Constraints: 19177
71.37/71.69 c #Conflicts: 301000 | #Constraints: 20177
71.37/71.69 c #Conflicts: 302000 | #Constraints: 21177
71.37/71.69 c #Conflicts: 303000 | #Constraints: 22177
71.37/71.69 c #Conflicts: 304000 | #Constraints: 23177
71.37/71.69 c #Conflicts: 305000 | #Constraints: 24177
71.37/71.69 c INPROCESSING
71.37/71.69 c GARBAGE COLLECT
71.37/71.69 c rational objective -37
73.46/73.72 c #Conflicts: 306000 | #Constraints: 13530
73.46/73.72 c #Conflicts: 307000 | #Constraints: 14530
73.46/73.72 c #Conflicts: 308000 | #Constraints: 15531
73.46/73.72 c #Conflicts: 309000 | #Constraints: 16533
73.46/73.72 c #Conflicts: 310000 | #Constraints: 17533
73.46/73.72 c #Conflicts: 311000 | #Constraints: 18533
73.46/73.72 c #Conflicts: 312000 | #Constraints: 19533
73.46/73.72 c #Conflicts: 313000 | #Constraints: 20533
73.46/73.72 c #Conflicts: 314000 | #Constraints: 21534
73.46/73.72 c #Conflicts: 315000 | #Constraints: 22534
73.46/73.72 c #Conflicts: 316000 | #Constraints: 23534
73.46/73.72 c INPROCESSING
73.46/73.72 c GARBAGE COLLECT
73.46/73.72 c rational objective -37
90.52/90.84 c #Conflicts: 317000 | #Constraints: 12971
90.52/90.84 c #Conflicts: 318000 | #Constraints: 13971
90.52/90.84 c #Conflicts: 319000 | #Constraints: 14972
90.52/90.84 c #Conflicts: 320000 | #Constraints: 15972
90.52/90.84 c #Conflicts: 321000 | #Constraints: 16972
90.52/90.84 c #Conflicts: 322000 | #Constraints: 17973
90.52/90.84 c #Conflicts: 323000 | #Constraints: 18974
90.52/90.84 c #Conflicts: 324000 | #Constraints: 19974
90.52/90.84 c #Conflicts: 325000 | #Constraints: 20974
90.52/90.84 c #Conflicts: 326000 | #Constraints: 21975
90.52/90.84 c #Conflicts: 327000 | #Constraints: 22975
90.52/90.84 c #Conflicts: 328000 | #Constraints: 23976
90.52/90.84 c #Conflicts: 329000 | #Constraints: 24976
90.52/90.84 c #Conflicts: 330000 | #Constraints: 25977
90.52/90.84 c #Conflicts: 331000 | #Constraints: 26977
90.52/90.84 c #Conflicts: 332000 | #Constraints: 27977
90.52/90.84 c #Conflicts: 333000 | #Constraints: 28977
90.52/90.84 c #Conflicts: 334000 | #Constraints: 29977
90.52/90.84 c #Conflicts: 335000 | #Constraints: 30977
90.52/90.84 c #Conflicts: 336000 | #Constraints: 31978
90.52/90.84 c #Conflicts: 337000 | #Constraints: 32978
90.52/90.84 c #Conflicts: 338000 | #Constraints: 33979
90.52/90.84 c #Conflicts: 339000 | #Constraints: 34980
90.52/90.84 c #Conflicts: 340000 | #Constraints: 35980
90.52/90.84 c #Conflicts: 341000 | #Constraints: 36980
90.52/90.84 c #Conflicts: 342000 | #Constraints: 37980
90.52/90.84 c #Conflicts: 343000 | #Constraints: 38980
90.52/90.84 c #Conflicts: 344000 | #Constraints: 39980
90.52/90.84 c #Conflicts: 345000 | #Constraints: 40980
90.52/90.84 c #Conflicts: 346000 | #Constraints: 41980
90.52/90.84 c #Conflicts: 347000 | #Constraints: 42980
90.52/90.84 c #Conflicts: 348000 | #Constraints: 43980
90.52/90.84 c #Conflicts: 349000 | #Constraints: 44980
90.52/90.84 c #Conflicts: 350000 | #Constraints: 45980
90.52/90.84 c #Conflicts: 351000 | #Constraints: 46980
90.52/90.84 c #Conflicts: 352000 | #Constraints: 47980
90.52/90.84 c #Conflicts: 353000 | #Constraints: 48980
90.52/90.84 c #Conflicts: 354000 | #Constraints: 49980
90.52/90.84 c #Conflicts: 355000 | #Constraints: 50980
90.52/90.84 c #Conflicts: 356000 | #Constraints: 51980
90.52/90.84 c #Conflicts: 357000 | #Constraints: 52980
90.52/90.84 c #Conflicts: 358000 | #Constraints: 53980
90.52/90.84 c #Conflicts: 359000 | #Constraints: 54980
90.52/90.84 c #Conflicts: 360000 | #Constraints: 55980
90.52/90.84 c #Conflicts: 361000 | #Constraints: 56980
90.52/90.84 c #Conflicts: 362000 | #Constraints: 57980
90.52/90.84 c #Conflicts: 363000 | #Constraints: 58980
90.52/90.84 c #Conflicts: 364000 | #Constraints: 59980
90.52/90.84 c #Conflicts: 365000 | #Constraints: 60980
90.52/90.84 c #Conflicts: 366000 | #Constraints: 61980
90.52/90.84 c #Conflicts: 367000 | #Constraints: 62980
90.52/90.84 c #Conflicts: 368000 | #Constraints: 63980
90.52/90.84 c #Conflicts: 369000 | #Constraints: 64980
90.52/90.84 c INPROCESSING
90.52/90.84 c GARBAGE COLLECT
90.52/90.84 c rational objective -37
93.51/93.85 c #Conflicts: 370000 | #Constraints: 34111
93.51/93.85 c #Conflicts: 371000 | #Constraints: 35150
93.51/93.85 c #Conflicts: 372000 | #Constraints: 36197
93.51/93.85 c #Conflicts: 373000 | #Constraints: 37247
93.51/93.85 c #Conflicts: 374000 | #Constraints: 38294
93.51/93.85 c #Conflicts: 375000 | #Constraints: 39343
93.51/93.85 c #Conflicts: 376000 | #Constraints: 40390
93.51/93.85 c #Conflicts: 377000 | #Constraints: 41428
93.51/93.85 c #Conflicts: 378000 | #Constraints: 42468
93.51/93.85 c #Conflicts: 379000 | #Constraints: 43515
93.51/93.85 c #Conflicts: 380000 | #Constraints: 44550
93.51/93.85 c #Conflicts: 381000 | #Constraints: 45597
93.51/93.85 c INPROCESSING
93.51/93.85 c GARBAGE COLLECT
93.51/93.85 c rational objective -37
96.50/96.84 c #Conflicts: 382000 | #Constraints: 24011
96.50/96.84 c #Conflicts: 383000 | #Constraints: 25050
96.50/96.84 c #Conflicts: 384000 | #Constraints: 26092
96.50/96.84 c #Conflicts: 385000 | #Constraints: 27135
96.50/96.84 c #Conflicts: 386000 | #Constraints: 28186
96.50/96.84 c #Conflicts: 387000 | #Constraints: 29221
96.50/96.84 c #Conflicts: 388000 | #Constraints: 30264
96.50/96.84 c #Conflicts: 389000 | #Constraints: 31300
96.50/96.84 c #Conflicts: 390000 | #Constraints: 32334
96.50/96.84 c #Conflicts: 391000 | #Constraints: 33364
96.50/96.84 c #Conflicts: 392000 | #Constraints: 34401
96.50/96.84 c #Conflicts: 393000 | #Constraints: 35447
96.50/96.84 c #Conflicts: 394000 | #Constraints: 36496
96.50/96.84 c INPROCESSING
96.50/96.84 c GARBAGE COLLECT
96.50/96.84 c rational objective -37
99.49/99.82 c #Conflicts: 395000 | #Constraints: 19469
99.49/99.82 c #Conflicts: 396000 | #Constraints: 20516
99.49/99.82 c #Conflicts: 397000 | #Constraints: 21560
99.49/99.82 c #Conflicts: 398000 | #Constraints: 22606
99.49/99.82 c #Conflicts: 399000 | #Constraints: 23656
99.49/99.82 c #Conflicts: 400000 | #Constraints: 24699
99.49/99.82 c #Conflicts: 401000 | #Constraints: 25733
99.49/99.82 c #Conflicts: 402000 | #Constraints: 26774
99.49/99.82 c #Conflicts: 403000 | #Constraints: 27812
99.49/99.82 c #Conflicts: 404000 | #Constraints: 28857
99.49/99.82 c #Conflicts: 405000 | #Constraints: 29905
99.49/99.82 c #Conflicts: 406000 | #Constraints: 30942
99.49/99.82 c #Conflicts: 407000 | #Constraints: 31968
99.49/99.82 c #Conflicts: 408000 | #Constraints: 33008
99.49/99.82 c INPROCESSING
99.49/99.82 c GARBAGE COLLECT
99.49/99.82 c rational objective -37
102.28/102.60 c #Conflicts: 409000 | #Constraints: 18096
102.28/102.60 c #Conflicts: 410000 | #Constraints: 19096
102.28/102.60 c #Conflicts: 411000 | #Constraints: 20097
102.28/102.60 c #Conflicts: 412000 | #Constraints: 21098
102.28/102.60 c #Conflicts: 413000 | #Constraints: 22098
102.28/102.60 c #Conflicts: 414000 | #Constraints: 23098
102.28/102.60 c #Conflicts: 415000 | #Constraints: 24098
102.28/102.60 c #Conflicts: 416000 | #Constraints: 25098
102.28/102.60 c #Conflicts: 417000 | #Constraints: 26098
102.28/102.60 c #Conflicts: 418000 | #Constraints: 27098
102.28/102.60 c #Conflicts: 419000 | #Constraints: 28098
102.28/102.60 c #Conflicts: 420000 | #Constraints: 29099
102.28/102.60 c #Conflicts: 421000 | #Constraints: 30099
102.28/102.60 c INPROCESSING
102.28/102.60 c GARBAGE COLLECT
102.28/102.60 c rational objective -37
104.98/105.33 c #Conflicts: 422000 | #Constraints: 16457
104.98/105.33 c #Conflicts: 423000 | #Constraints: 17457
104.98/105.33 c #Conflicts: 424000 | #Constraints: 18457
104.98/105.33 c #Conflicts: 425000 | #Constraints: 19457
104.98/105.33 c #Conflicts: 426000 | #Constraints: 20458
104.98/105.33 c #Conflicts: 427000 | #Constraints: 21459
104.98/105.33 c #Conflicts: 428000 | #Constraints: 22459
104.98/105.33 c #Conflicts: 429000 | #Constraints: 23459
104.98/105.33 c #Conflicts: 430000 | #Constraints: 24460
104.98/105.33 c #Conflicts: 431000 | #Constraints: 25460
104.98/105.33 c #Conflicts: 432000 | #Constraints: 26460
104.98/105.33 c #Conflicts: 433000 | #Constraints: 27460
104.98/105.33 c #Conflicts: 434000 | #Constraints: 28460
104.98/105.33 c #Conflicts: 435000 | #Constraints: 29460
104.98/105.33 c INPROCESSING
104.98/105.33 c GARBAGE COLLECT
104.98/105.33 c rational objective -37
107.87/108.27 c #Conflicts: 436000 | #Constraints: 16367
107.87/108.27 c #Conflicts: 437000 | #Constraints: 17414
107.87/108.27 c #Conflicts: 438000 | #Constraints: 18461
107.87/108.27 c #Conflicts: 439000 | #Constraints: 19517
107.87/108.27 c #Conflicts: 440000 | #Constraints: 20568
107.87/108.27 c #Conflicts: 441000 | #Constraints: 21616
107.87/108.27 c #Conflicts: 442000 | #Constraints: 22655
107.87/108.27 c #Conflicts: 443000 | #Constraints: 23701
107.87/108.27 c #Conflicts: 444000 | #Constraints: 24746
107.87/108.27 c #Conflicts: 445000 | #Constraints: 25789
107.87/108.27 c #Conflicts: 446000 | #Constraints: 26832
107.87/108.27 c #Conflicts: 447000 | #Constraints: 27875
107.87/108.27 c #Conflicts: 448000 | #Constraints: 28918
107.87/108.27 c INPROCESSING
107.87/108.27 c GARBAGE COLLECT
107.87/108.27 c rational objective -37
110.66/111.09 c #Conflicts: 449000 | #Constraints: 15672
110.66/111.09 c #Conflicts: 450000 | #Constraints: 16673
110.66/111.09 c #Conflicts: 451000 | #Constraints: 17676
110.66/111.09 c #Conflicts: 452000 | #Constraints: 18677
110.66/111.09 c #Conflicts: 453000 | #Constraints: 19678
110.66/111.09 c #Conflicts: 454000 | #Constraints: 20679
110.66/111.09 c #Conflicts: 455000 | #Constraints: 21679
110.66/111.09 c #Conflicts: 456000 | #Constraints: 22679
110.66/111.09 c #Conflicts: 457000 | #Constraints: 23679
110.66/111.09 c #Conflicts: 458000 | #Constraints: 24681
110.66/111.09 c #Conflicts: 459000 | #Constraints: 25681
110.66/111.09 c #Conflicts: 460000 | #Constraints: 26681
110.66/111.09 c #Conflicts: 461000 | #Constraints: 27681
110.66/111.09 c #Conflicts: 462000 | #Constraints: 28682
110.66/111.09 c INPROCESSING
110.66/111.09 c GARBAGE COLLECT
110.66/111.09 c rational objective -37
128.51/128.90 c #Conflicts: 463000 | #Constraints: 15549
128.51/128.90 c #Conflicts: 464000 | #Constraints: 16549
128.51/128.90 c #Conflicts: 465000 | #Constraints: 17549
128.51/128.90 c #Conflicts: 466000 | #Constraints: 18549
128.51/128.90 c #Conflicts: 467000 | #Constraints: 19549
128.51/128.90 c #Conflicts: 468000 | #Constraints: 20550
128.51/128.90 c #Conflicts: 469000 | #Constraints: 21550
128.51/128.90 c #Conflicts: 470000 | #Constraints: 22550
128.51/128.90 c #Conflicts: 471000 | #Constraints: 23551
128.51/128.90 c #Conflicts: 472000 | #Constraints: 24551
128.51/128.90 c #Conflicts: 473000 | #Constraints: 25551
128.51/128.90 c #Conflicts: 474000 | #Constraints: 26552
128.51/128.90 c #Conflicts: 475000 | #Constraints: 27552
128.51/128.90 c #Conflicts: 476000 | #Constraints: 28553
128.51/128.90 c #Conflicts: 477000 | #Constraints: 29555
128.51/128.90 c #Conflicts: 478000 | #Constraints: 30555
128.51/128.90 c #Conflicts: 479000 | #Constraints: 31555
128.51/128.90 c #Conflicts: 480000 | #Constraints: 32556
128.51/128.90 c #Conflicts: 481000 | #Constraints: 33556
128.51/128.90 c #Conflicts: 482000 | #Constraints: 34557
128.51/128.90 c #Conflicts: 483000 | #Constraints: 35557
128.51/128.90 c #Conflicts: 484000 | #Constraints: 36557
128.51/128.90 c #Conflicts: 485000 | #Constraints: 37558
128.51/128.90 c #Conflicts: 486000 | #Constraints: 38558
128.51/128.90 c #Conflicts: 487000 | #Constraints: 39559
128.51/128.90 c #Conflicts: 488000 | #Constraints: 40559
128.51/128.90 c #Conflicts: 489000 | #Constraints: 41559
128.51/128.90 c #Conflicts: 490000 | #Constraints: 42559
128.51/128.90 c #Conflicts: 491000 | #Constraints: 43559
128.51/128.90 c #Conflicts: 492000 | #Constraints: 44559
128.51/128.90 c #Conflicts: 493000 | #Constraints: 45559
128.51/128.90 c #Conflicts: 494000 | #Constraints: 46559
128.51/128.90 c #Conflicts: 495000 | #Constraints: 47559
128.51/128.90 c #Conflicts: 496000 | #Constraints: 48560
128.51/128.90 c #Conflicts: 497000 | #Constraints: 49560
128.51/128.90 c #Conflicts: 498000 | #Constraints: 50560
128.51/128.90 c #Conflicts: 499000 | #Constraints: 51560
128.51/128.90 c #Conflicts: 500000 | #Constraints: 52560
128.51/128.90 c #Conflicts: 501000 | #Constraints: 53560
128.51/128.90 c #Conflicts: 502000 | #Constraints: 54560
128.51/128.90 c #Conflicts: 503000 | #Constraints: 55560
128.51/128.90 c #Conflicts: 504000 | #Constraints: 56560
128.51/128.90 c #Conflicts: 505000 | #Constraints: 57560
128.51/128.90 c #Conflicts: 506000 | #Constraints: 58560
128.51/128.90 c #Conflicts: 507000 | #Constraints: 59560
128.51/128.90 c #Conflicts: 508000 | #Constraints: 60560
128.51/128.90 c #Conflicts: 509000 | #Constraints: 61560
128.51/128.90 c #Conflicts: 510000 | #Constraints: 62560
128.51/128.90 c #Conflicts: 511000 | #Constraints: 63560
128.51/128.90 c #Conflicts: 512000 | #Constraints: 64560
128.51/128.90 c #Conflicts: 513000 | #Constraints: 65560
128.51/128.90 c #Conflicts: 514000 | #Constraints: 66561
128.51/128.90 c #Conflicts: 515000 | #Constraints: 67561
128.51/128.90 c #Conflicts: 516000 | #Constraints: 68561
128.51/128.90 c #Conflicts: 517000 | #Constraints: 69562
128.51/128.90 c bounds -33 >= -36 @ 125.79
130.11/130.52 c #Conflicts: 518000 | #Constraints: 70599
130.11/130.52 c #Conflicts: 519000 | #Constraints: 71651
130.11/130.52 c #Conflicts: 520000 | #Constraints: 72700
130.11/130.52 c #Conflicts: 521000 | #Constraints: 73739
130.11/130.52 c #Conflicts: 522000 | #Constraints: 74784
130.11/130.52 c #Conflicts: 523000 | #Constraints: 75829
130.11/130.52 c #Conflicts: 524000 | #Constraints: 76865
130.11/130.52 c INPROCESSING
130.11/130.52 c GARBAGE COLLECT
130.11/130.52 c rational objective -36
133.79/134.25 c #Conflicts: 525000 | #Constraints: 39701
133.79/134.25 c #Conflicts: 526000 | #Constraints: 40734
133.79/134.25 c #Conflicts: 527000 | #Constraints: 41782
133.79/134.25 c #Conflicts: 528000 | #Constraints: 42830
133.79/134.25 c #Conflicts: 529000 | #Constraints: 43878
133.79/134.25 c #Conflicts: 530000 | #Constraints: 44923
133.79/134.25 c #Conflicts: 531000 | #Constraints: 45965
133.79/134.25 c #Conflicts: 532000 | #Constraints: 47011
133.79/134.25 c #Conflicts: 533000 | #Constraints: 48050
133.79/134.25 c #Conflicts: 534000 | #Constraints: 49085
133.79/134.25 c #Conflicts: 535000 | #Constraints: 50116
133.79/134.25 c #Conflicts: 536000 | #Constraints: 51145
133.79/134.25 c #Conflicts: 537000 | #Constraints: 52173
133.79/134.25 c #Conflicts: 538000 | #Constraints: 53215
133.79/134.25 c #Conflicts: 539000 | #Constraints: 54254
133.79/134.25 c #Conflicts: 540000 | #Constraints: 55294
133.79/134.25 c INPROCESSING
133.79/134.25 c GARBAGE COLLECT
133.79/134.25 c rational objective -36
137.09/137.55 c #Conflicts: 541000 | #Constraints: 29280
137.09/137.55 c #Conflicts: 542000 | #Constraints: 30318
137.09/137.55 c #Conflicts: 543000 | #Constraints: 31355
137.09/137.55 c #Conflicts: 544000 | #Constraints: 32387
137.09/137.55 c #Conflicts: 545000 | #Constraints: 33422
137.09/137.55 c #Conflicts: 546000 | #Constraints: 34457
137.09/137.55 c #Conflicts: 547000 | #Constraints: 35493
137.09/137.55 c #Conflicts: 548000 | #Constraints: 36528
137.09/137.55 c #Conflicts: 549000 | #Constraints: 37574
137.09/137.55 c #Conflicts: 550000 | #Constraints: 38617
137.09/137.55 c #Conflicts: 551000 | #Constraints: 39663
137.09/137.55 c #Conflicts: 552000 | #Constraints: 40701
137.09/137.55 c #Conflicts: 553000 | #Constraints: 41750
137.09/137.55 c #Conflicts: 554000 | #Constraints: 42797
137.09/137.55 c #Conflicts: 555000 | #Constraints: 43845
137.09/137.55 c INPROCESSING
137.09/137.55 c GARBAGE COLLECT
137.09/137.55 c rational objective -36
140.58/141.00 c #Conflicts: 556000 | #Constraints: 23303
140.58/141.00 c #Conflicts: 557000 | #Constraints: 24339
140.58/141.00 c #Conflicts: 558000 | #Constraints: 25380
140.58/141.00 c #Conflicts: 559000 | #Constraints: 26405
140.58/141.00 c #Conflicts: 560000 | #Constraints: 27433
140.58/141.00 c #Conflicts: 561000 | #Constraints: 28463
140.58/141.00 c #Conflicts: 562000 | #Constraints: 29507
140.58/141.00 c #Conflicts: 563000 | #Constraints: 30556
140.58/141.00 c #Conflicts: 564000 | #Constraints: 31596
140.58/141.00 c #Conflicts: 565000 | #Constraints: 32651
140.58/141.00 c #Conflicts: 566000 | #Constraints: 33699
140.58/141.00 c #Conflicts: 567000 | #Constraints: 34742
140.58/141.00 c #Conflicts: 568000 | #Constraints: 35776
140.58/141.00 c #Conflicts: 569000 | #Constraints: 36817
140.58/141.00 c #Conflicts: 570000 | #Constraints: 37856
140.58/141.00 c #Conflicts: 571000 | #Constraints: 38900
140.58/141.00 c INPROCESSING
140.58/141.00 c GARBAGE COLLECT
140.58/141.00 c rational objective -36
144.47/144.97 c #Conflicts: 572000 | #Constraints: 20955
144.47/144.97 c #Conflicts: 573000 | #Constraints: 21956
144.47/144.97 c #Conflicts: 574000 | #Constraints: 22957
144.47/144.97 c #Conflicts: 575000 | #Constraints: 23957
144.47/144.97 c #Conflicts: 576000 | #Constraints: 24957
144.47/144.97 c #Conflicts: 577000 | #Constraints: 25958
144.47/144.97 c #Conflicts: 578000 | #Constraints: 26958
144.47/144.97 c #Conflicts: 579000 | #Constraints: 27959
144.47/144.97 c #Conflicts: 580000 | #Constraints: 28959
144.47/144.97 c #Conflicts: 581000 | #Constraints: 29960
144.47/144.97 c #Conflicts: 582000 | #Constraints: 30962
144.47/144.97 c #Conflicts: 583000 | #Constraints: 31963
144.47/144.97 c #Conflicts: 584000 | #Constraints: 32963
144.47/144.97 c #Conflicts: 585000 | #Constraints: 33964
144.47/144.97 c #Conflicts: 586000 | #Constraints: 34965
144.47/144.97 c #Conflicts: 587000 | #Constraints: 35966
144.47/144.97 c INPROCESSING
144.47/144.97 c GARBAGE COLLECT
144.47/144.97 c rational objective -36
148.56/149.03 c #Conflicts: 588000 | #Constraints: 19574
148.56/149.03 c #Conflicts: 589000 | #Constraints: 20627
148.56/149.03 c #Conflicts: 590000 | #Constraints: 21677
148.56/149.03 c #Conflicts: 591000 | #Constraints: 22733
148.56/149.03 c #Conflicts: 592000 | #Constraints: 23777
148.56/149.03 c #Conflicts: 593000 | #Constraints: 24823
148.56/149.03 c #Conflicts: 594000 | #Constraints: 25860
148.56/149.03 c #Conflicts: 595000 | #Constraints: 26900
148.56/149.03 c #Conflicts: 596000 | #Constraints: 27939
148.56/149.03 c #Conflicts: 597000 | #Constraints: 28986
148.56/149.03 c #Conflicts: 598000 | #Constraints: 30031
148.56/149.03 c #Conflicts: 599000 | #Constraints: 31077
148.56/149.03 c #Conflicts: 600000 | #Constraints: 32131
148.56/149.03 c #Conflicts: 601000 | #Constraints: 33175
148.56/149.03 c #Conflicts: 602000 | #Constraints: 34228
148.56/149.03 c #Conflicts: 603000 | #Constraints: 35268
148.56/149.03 c INPROCESSING
148.56/149.03 c GARBAGE COLLECT
148.56/149.03 c rational objective -36
152.15/152.68 c #Conflicts: 604000 | #Constraints: 19145
152.15/152.68 c #Conflicts: 605000 | #Constraints: 20148
152.15/152.68 c #Conflicts: 606000 | #Constraints: 21152
152.15/152.68 c #Conflicts: 607000 | #Constraints: 22154
152.15/152.68 c #Conflicts: 608000 | #Constraints: 23157
152.15/152.68 c #Conflicts: 609000 | #Constraints: 24159
152.15/152.68 c #Conflicts: 610000 | #Constraints: 25161
152.15/152.68 c #Conflicts: 611000 | #Constraints: 26162
152.15/152.68 c #Conflicts: 612000 | #Constraints: 27163
152.15/152.68 c #Conflicts: 613000 | #Constraints: 28168
152.15/152.68 c #Conflicts: 614000 | #Constraints: 29172
152.15/152.68 c #Conflicts: 615000 | #Constraints: 30175
152.15/152.68 c #Conflicts: 616000 | #Constraints: 31178
152.15/152.68 c #Conflicts: 617000 | #Constraints: 32179
152.15/152.68 c #Conflicts: 618000 | #Constraints: 33180
152.15/152.68 c #Conflicts: 619000 | #Constraints: 34181
152.15/152.68 c INPROCESSING
152.15/152.68 c GARBAGE COLLECT
152.15/152.68 c rational objective -36
155.64/156.19 c #Conflicts: 620000 | #Constraints: 18450
155.64/156.19 c #Conflicts: 621000 | #Constraints: 19451
155.64/156.19 c #Conflicts: 622000 | #Constraints: 20451
155.64/156.19 c #Conflicts: 623000 | #Constraints: 21452
155.64/156.19 c #Conflicts: 624000 | #Constraints: 22452
155.64/156.19 c #Conflicts: 625000 | #Constraints: 23452
155.64/156.19 c #Conflicts: 626000 | #Constraints: 24454
155.64/156.19 c #Conflicts: 627000 | #Constraints: 25454
155.64/156.19 c #Conflicts: 628000 | #Constraints: 26456
155.64/156.19 c #Conflicts: 629000 | #Constraints: 27457
155.64/156.19 c #Conflicts: 630000 | #Constraints: 28458
155.64/156.19 c #Conflicts: 631000 | #Constraints: 29458
155.64/156.19 c #Conflicts: 632000 | #Constraints: 30458
155.64/156.19 c #Conflicts: 633000 | #Constraints: 31460
155.64/156.19 c #Conflicts: 634000 | #Constraints: 32462
155.64/156.19 c #Conflicts: 635000 | #Constraints: 33463
155.64/156.19 c #Conflicts: 636000 | #Constraints: 34464
155.64/156.19 c INPROCESSING
155.64/156.19 c GARBAGE COLLECT
155.64/156.19 c rational objective -36
224.05/224.75 c #Conflicts: 637000 | #Constraints: 18894
224.05/224.75 c #Conflicts: 638000 | #Constraints: 19939
224.05/224.75 c #Conflicts: 639000 | #Constraints: 20987
224.05/224.75 c #Conflicts: 640000 | #Constraints: 22040
224.05/224.75 c #Conflicts: 641000 | #Constraints: 23084
224.05/224.75 c #Conflicts: 642000 | #Constraints: 24135
224.05/224.75 c #Conflicts: 643000 | #Constraints: 25179
224.05/224.75 c #Conflicts: 644000 | #Constraints: 26224
224.05/224.75 c #Conflicts: 645000 | #Constraints: 27270
224.05/224.75 c #Conflicts: 646000 | #Constraints: 28318
224.05/224.75 c #Conflicts: 647000 | #Constraints: 29362
224.05/224.75 c #Conflicts: 648000 | #Constraints: 30406
224.05/224.75 c #Conflicts: 649000 | #Constraints: 31448
224.05/224.75 c #Conflicts: 650000 | #Constraints: 32499
224.05/224.75 c #Conflicts: 651000 | #Constraints: 33552
224.05/224.75 c #Conflicts: 652000 | #Constraints: 34602
224.05/224.75 c #Conflicts: 653000 | #Constraints: 35649
224.05/224.75 c #Conflicts: 654000 | #Constraints: 36693
224.05/224.75 c #Conflicts: 655000 | #Constraints: 37741
224.05/224.75 c #Conflicts: 656000 | #Constraints: 38791
224.05/224.75 c #Conflicts: 657000 | #Constraints: 39833
224.05/224.75 c #Conflicts: 658000 | #Constraints: 40877
224.05/224.75 c #Conflicts: 659000 | #Constraints: 41929
224.05/224.75 c #Conflicts: 660000 | #Constraints: 42978
224.05/224.75 c #Conflicts: 661000 | #Constraints: 44017
224.05/224.75 c #Conflicts: 662000 | #Constraints: 45064
224.05/224.75 c #Conflicts: 663000 | #Constraints: 46098
224.05/224.75 c #Conflicts: 664000 | #Constraints: 47141
224.05/224.75 c #Conflicts: 665000 | #Constraints: 48177
224.05/224.75 c #Conflicts: 666000 | #Constraints: 49219
224.05/224.75 c #Conflicts: 667000 | #Constraints: 50267
224.05/224.75 c #Conflicts: 668000 | #Constraints: 51326
224.05/224.75 c #Conflicts: 669000 | #Constraints: 52368
224.05/224.75 c #Conflicts: 670000 | #Constraints: 53401
224.05/224.75 c #Conflicts: 671000 | #Constraints: 54445
224.05/224.75 c #Conflicts: 672000 | #Constraints: 55491
224.05/224.75 c #Conflicts: 673000 | #Constraints: 56528
224.05/224.75 c #Conflicts: 674000 | #Constraints: 57565
224.05/224.75 c #Conflicts: 675000 | #Constraints: 58599
224.05/224.75 c #Conflicts: 676000 | #Constraints: 59629
224.05/224.75 c #Conflicts: 677000 | #Constraints: 60657
224.05/224.75 c #Conflicts: 678000 | #Constraints: 61690
224.05/224.75 c #Conflicts: 679000 | #Constraints: 62734
224.05/224.75 c #Conflicts: 680000 | #Constraints: 63773
224.05/224.75 c #Conflicts: 681000 | #Constraints: 64807
224.05/224.75 c #Conflicts: 682000 | #Constraints: 65853
224.05/224.75 c #Conflicts: 683000 | #Constraints: 66899
224.05/224.75 c #Conflicts: 684000 | #Constraints: 67938
224.05/224.75 c #Conflicts: 685000 | #Constraints: 68965
224.05/224.75 c #Conflicts: 686000 | #Constraints: 69996
224.05/224.75 c #Conflicts: 687000 | #Constraints: 71031
224.05/224.75 c #Conflicts: 688000 | #Constraints: 72065
224.05/224.75 c #Conflicts: 689000 | #Constraints: 73092
224.05/224.75 c #Conflicts: 690000 | #Constraints: 74112
224.05/224.75 c #Conflicts: 691000 | #Constraints: 75142
224.05/224.75 c #Conflicts: 692000 | #Constraints: 76174
224.05/224.75 c #Conflicts: 693000 | #Constraints: 77197
224.05/224.75 c #Conflicts: 694000 | #Constraints: 78229
224.05/224.75 c #Conflicts: 695000 | #Constraints: 79270
224.05/224.75 c #Conflicts: 696000 | #Constraints: 80312
224.05/224.75 c #Conflicts: 697000 | #Constraints: 81357
224.05/224.75 c #Conflicts: 698000 | #Constraints: 82399
224.05/224.75 c #Conflicts: 699000 | #Constraints: 83445
224.05/224.75 c #Conflicts: 700000 | #Constraints: 84494
224.05/224.75 c #Conflicts: 701000 | #Constraints: 85544
224.05/224.75 c #Conflicts: 702000 | #Constraints: 86598
224.05/224.75 c #Conflicts: 703000 | #Constraints: 87639
224.05/224.75 c #Conflicts: 704000 | #Constraints: 88684
224.05/224.75 c #Conflicts: 705000 | #Constraints: 89734
224.05/224.75 c #Conflicts: 706000 | #Constraints: 90777
224.05/224.75 c #Conflicts: 707000 | #Constraints: 91822
224.05/224.75 c INPROCESSING
224.05/224.75 c GARBAGE COLLECT
224.05/224.75 c rational objective -36
246.39/247.12 c #Conflicts: 708000 | #Constraints: 47224
246.39/247.12 c #Conflicts: 709000 | #Constraints: 48224
246.39/247.12 c #Conflicts: 710000 | #Constraints: 49225
246.39/247.12 c #Conflicts: 711000 | #Constraints: 50229
246.39/247.12 c #Conflicts: 712000 | #Constraints: 51236
246.39/247.12 c #Conflicts: 713000 | #Constraints: 52237
246.39/247.12 c #Conflicts: 714000 | #Constraints: 53237
246.39/247.12 c #Conflicts: 715000 | #Constraints: 54238
246.39/247.12 c #Conflicts: 716000 | #Constraints: 55238
246.39/247.12 c #Conflicts: 717000 | #Constraints: 56239
246.39/247.12 c #Conflicts: 718000 | #Constraints: 57240
246.39/247.12 c #Conflicts: 719000 | #Constraints: 58240
246.39/247.12 c #Conflicts: 720000 | #Constraints: 59240
246.39/247.12 c #Conflicts: 721000 | #Constraints: 60240
246.39/247.12 c #Conflicts: 722000 | #Constraints: 61241
246.39/247.12 c #Conflicts: 723000 | #Constraints: 62243
246.39/247.12 c #Conflicts: 724000 | #Constraints: 63244
246.39/247.12 c #Conflicts: 725000 | #Constraints: 64244
246.39/247.12 c INPROCESSING
246.39/247.12 c GARBAGE COLLECT
246.39/247.12 c rational objective -36
256.36/257.17 c #Conflicts: 726000 | #Constraints: 33533
256.36/257.17 c #Conflicts: 727000 | #Constraints: 34534
256.36/257.17 c #Conflicts: 728000 | #Constraints: 35535
256.36/257.17 c #Conflicts: 729000 | #Constraints: 36535
256.36/257.17 c #Conflicts: 730000 | #Constraints: 37535
256.36/257.17 c #Conflicts: 731000 | #Constraints: 38537
256.36/257.17 c #Conflicts: 732000 | #Constraints: 39538
256.36/257.17 c #Conflicts: 733000 | #Constraints: 40539
256.36/257.17 c #Conflicts: 734000 | #Constraints: 41539
256.36/257.17 c #Conflicts: 735000 | #Constraints: 42539
256.36/257.17 c #Conflicts: 736000 | #Constraints: 43539
256.36/257.17 c #Conflicts: 737000 | #Constraints: 44539
256.36/257.17 c #Conflicts: 738000 | #Constraints: 45539
256.36/257.17 c #Conflicts: 739000 | #Constraints: 46539
256.36/257.17 c #Conflicts: 740000 | #Constraints: 47539
256.36/257.17 c #Conflicts: 741000 | #Constraints: 48540
256.36/257.17 c #Conflicts: 742000 | #Constraints: 49540
256.36/257.17 c #Conflicts: 743000 | #Constraints: 50540
256.36/257.17 c INPROCESSING
256.36/257.17 c GARBAGE COLLECT
256.36/257.17 c rational objective -36
261.95/262.76 c #Conflicts: 744000 | #Constraints: 26676
261.95/262.76 c #Conflicts: 745000 | #Constraints: 27676
261.95/262.76 c #Conflicts: 746000 | #Constraints: 28677
261.95/262.76 c #Conflicts: 747000 | #Constraints: 29678
261.95/262.76 c #Conflicts: 748000 | #Constraints: 30678
261.95/262.76 c #Conflicts: 749000 | #Constraints: 31680
261.95/262.76 c #Conflicts: 750000 | #Constraints: 32681
261.95/262.76 c #Conflicts: 751000 | #Constraints: 33682
261.95/262.76 c #Conflicts: 752000 | #Constraints: 34682
261.95/262.76 c #Conflicts: 753000 | #Constraints: 35683
261.95/262.76 c #Conflicts: 754000 | #Constraints: 36684
261.95/262.76 c #Conflicts: 755000 | #Constraints: 37686
261.95/262.76 c #Conflicts: 756000 | #Constraints: 38687
261.95/262.76 c #Conflicts: 757000 | #Constraints: 39688
261.95/262.76 c #Conflicts: 758000 | #Constraints: 40688
261.95/262.76 c #Conflicts: 759000 | #Constraints: 41690
261.95/262.76 c #Conflicts: 760000 | #Constraints: 42691
261.95/262.76 c #Conflicts: 761000 | #Constraints: 43691
261.95/262.76 c INPROCESSING
261.95/262.76 c GARBAGE COLLECT
261.95/262.76 c rational objective -36
266.53/267.34 c #Conflicts: 762000 | #Constraints: 23155
266.53/267.34 c #Conflicts: 763000 | #Constraints: 24156
266.53/267.34 c #Conflicts: 764000 | #Constraints: 25156
266.53/267.34 c #Conflicts: 765000 | #Constraints: 26156
266.53/267.34 c #Conflicts: 766000 | #Constraints: 27158
266.53/267.34 c #Conflicts: 767000 | #Constraints: 28159
266.53/267.34 c #Conflicts: 768000 | #Constraints: 29160
266.53/267.34 c #Conflicts: 769000 | #Constraints: 30162
266.53/267.34 c #Conflicts: 770000 | #Constraints: 31163
266.53/267.34 c #Conflicts: 771000 | #Constraints: 32166
266.53/267.34 c #Conflicts: 772000 | #Constraints: 33168
266.53/267.34 c #Conflicts: 773000 | #Constraints: 34168
266.53/267.34 c #Conflicts: 774000 | #Constraints: 35170
266.53/267.34 c #Conflicts: 775000 | #Constraints: 36171
266.53/267.34 c #Conflicts: 776000 | #Constraints: 37171
266.53/267.34 c #Conflicts: 777000 | #Constraints: 38171
266.53/267.34 c #Conflicts: 778000 | #Constraints: 39171
266.53/267.34 c #Conflicts: 779000 | #Constraints: 40171
266.53/267.34 c #Conflicts: 780000 | #Constraints: 41172
266.53/267.34 c INPROCESSING
266.53/267.34 c GARBAGE COLLECT
266.53/267.34 c rational objective -36
271.11/271.91 c #Conflicts: 781000 | #Constraints: 22195
271.11/271.91 c #Conflicts: 782000 | #Constraints: 23199
271.11/271.91 c #Conflicts: 783000 | #Constraints: 24201
271.11/271.91 c #Conflicts: 784000 | #Constraints: 25204
271.11/271.91 c #Conflicts: 785000 | #Constraints: 26205
271.11/271.91 c #Conflicts: 786000 | #Constraints: 27207
271.11/271.91 c #Conflicts: 787000 | #Constraints: 28208
271.11/271.91 c #Conflicts: 788000 | #Constraints: 29210
271.11/271.91 c #Conflicts: 789000 | #Constraints: 30210
271.11/271.91 c #Conflicts: 790000 | #Constraints: 31212
271.11/271.91 c #Conflicts: 791000 | #Constraints: 32213
271.11/271.91 c #Conflicts: 792000 | #Constraints: 33215
271.11/271.91 c #Conflicts: 793000 | #Constraints: 34215
271.11/271.91 c #Conflicts: 794000 | #Constraints: 35216
271.11/271.91 c #Conflicts: 795000 | #Constraints: 36216
271.11/271.91 c #Conflicts: 796000 | #Constraints: 37216
271.11/271.91 c #Conflicts: 797000 | #Constraints: 38216
271.11/271.91 c #Conflicts: 798000 | #Constraints: 39216
271.11/271.91 c INPROCESSING
271.11/271.91 c GARBAGE COLLECT
271.11/271.91 c rational objective -36
275.50/276.34 c #Conflicts: 799000 | #Constraints: 20924
275.50/276.34 c #Conflicts: 800000 | #Constraints: 21926
275.50/276.34 c #Conflicts: 801000 | #Constraints: 22926
275.50/276.34 c #Conflicts: 802000 | #Constraints: 23927
275.50/276.34 c #Conflicts: 803000 | #Constraints: 24928
275.50/276.34 c #Conflicts: 804000 | #Constraints: 25928
275.50/276.34 c #Conflicts: 805000 | #Constraints: 26929
275.50/276.34 c #Conflicts: 806000 | #Constraints: 27929
275.50/276.34 c #Conflicts: 807000 | #Constraints: 28929
275.50/276.34 c #Conflicts: 808000 | #Constraints: 29929
275.50/276.34 c #Conflicts: 809000 | #Constraints: 30930
275.50/276.34 c #Conflicts: 810000 | #Constraints: 31933
275.50/276.34 c #Conflicts: 811000 | #Constraints: 32934
275.50/276.34 c #Conflicts: 812000 | #Constraints: 33935
275.50/276.34 c #Conflicts: 813000 | #Constraints: 34937
275.50/276.34 c #Conflicts: 814000 | #Constraints: 35937
275.50/276.34 c #Conflicts: 815000 | #Constraints: 36937
275.50/276.34 c #Conflicts: 816000 | #Constraints: 37938
275.50/276.34 c #Conflicts: 817000 | #Constraints: 38938
275.50/276.34 c INPROCESSING
275.50/276.34 c GARBAGE COLLECT
275.50/276.34 c rational objective -36
309.41/310.30 c #Conflicts: 818000 | #Constraints: 20881
309.41/310.30 c #Conflicts: 819000 | #Constraints: 21881
309.41/310.30 c #Conflicts: 820000 | #Constraints: 22882
309.41/310.30 c #Conflicts: 821000 | #Constraints: 23884
309.41/310.30 c #Conflicts: 822000 | #Constraints: 24885
309.41/310.30 c #Conflicts: 823000 | #Constraints: 25886
309.41/310.30 c #Conflicts: 824000 | #Constraints: 26886
309.41/310.30 c #Conflicts: 825000 | #Constraints: 27887
309.41/310.30 c #Conflicts: 826000 | #Constraints: 28891
309.41/310.30 c #Conflicts: 827000 | #Constraints: 29892
309.41/310.30 c #Conflicts: 828000 | #Constraints: 30895
309.41/310.30 c #Conflicts: 829000 | #Constraints: 31896
309.41/310.30 c #Conflicts: 830000 | #Constraints: 32897
309.41/310.30 c #Conflicts: 831000 | #Constraints: 33898
309.41/310.30 c #Conflicts: 832000 | #Constraints: 34899
309.41/310.30 c #Conflicts: 833000 | #Constraints: 35900
309.41/310.30 c #Conflicts: 834000 | #Constraints: 36900
309.41/310.30 c #Conflicts: 835000 | #Constraints: 37900
309.41/310.30 c #Conflicts: 836000 | #Constraints: 38901
309.41/310.30 c #Conflicts: 837000 | #Constraints: 39901
309.41/310.30 c #Conflicts: 838000 | #Constraints: 40901
309.41/310.30 c #Conflicts: 839000 | #Constraints: 41903
309.41/310.30 c #Conflicts: 840000 | #Constraints: 42904
309.41/310.30 c #Conflicts: 841000 | #Constraints: 43904
309.41/310.30 c #Conflicts: 842000 | #Constraints: 44905
309.41/310.30 c #Conflicts: 843000 | #Constraints: 45907
309.41/310.30 c #Conflicts: 844000 | #Constraints: 46907
309.41/310.30 c #Conflicts: 845000 | #Constraints: 47907
309.41/310.30 c #Conflicts: 846000 | #Constraints: 48907
309.41/310.30 c #Conflicts: 847000 | #Constraints: 49907
309.41/310.30 c #Conflicts: 848000 | #Constraints: 50907
309.41/310.30 c #Conflicts: 849000 | #Constraints: 51908
309.41/310.30 c #Conflicts: 850000 | #Constraints: 52908
309.41/310.30 c #Conflicts: 851000 | #Constraints: 53910
309.41/310.30 c #Conflicts: 852000 | #Constraints: 54910
309.41/310.30 c #Conflicts: 853000 | #Constraints: 55910
309.41/310.30 c #Conflicts: 854000 | #Constraints: 56911
309.41/310.30 c #Conflicts: 855000 | #Constraints: 57911
309.41/310.30 c #Conflicts: 856000 | #Constraints: 58913
309.41/310.30 c #Conflicts: 857000 | #Constraints: 59915
309.41/310.30 c #Conflicts: 858000 | #Constraints: 60917
309.41/310.30 c #Conflicts: 859000 | #Constraints: 61918
309.41/310.30 c #Conflicts: 860000 | #Constraints: 62918
309.41/310.30 c #Conflicts: 861000 | #Constraints: 63918
309.41/310.30 c #Conflicts: 862000 | #Constraints: 64918
309.41/310.30 c #Conflicts: 863000 | #Constraints: 65918
309.41/310.30 c #Conflicts: 864000 | #Constraints: 66918
309.41/310.30 c #Conflicts: 865000 | #Constraints: 67918
309.41/310.30 c #Conflicts: 866000 | #Constraints: 68918
309.41/310.30 c #Conflicts: 867000 | #Constraints: 69918
309.41/310.30 c #Conflicts: 868000 | #Constraints: 70918
309.41/310.30 c #Conflicts: 869000 | #Constraints: 71918
309.41/310.30 c #Conflicts: 870000 | #Constraints: 72918
309.41/310.30 c #Conflicts: 871000 | #Constraints: 73918
309.41/310.30 c #Conflicts: 872000 | #Constraints: 74918
309.41/310.30 c #Conflicts: 873000 | #Constraints: 75918
309.41/310.30 c #Conflicts: 874000 | #Constraints: 76918
309.41/310.30 c #Conflicts: 875000 | #Constraints: 77918
309.41/310.30 c #Conflicts: 876000 | #Constraints: 78918
309.41/310.30 c #Conflicts: 877000 | #Constraints: 79919
309.41/310.30 c #Conflicts: 878000 | #Constraints: 80919
309.41/310.30 c #Conflicts: 879000 | #Constraints: 81919
309.41/310.30 c #Conflicts: 880000 | #Constraints: 82919
309.41/310.30 c #Conflicts: 881000 | #Constraints: 83919
309.41/310.30 c #Conflicts: 882000 | #Constraints: 84919
309.41/310.30 c #Conflicts: 883000 | #Constraints: 85919
309.41/310.30 c #Conflicts: 884000 | #Constraints: 86920
309.41/310.30 c #Conflicts: 885000 | #Constraints: 87921
309.41/310.30 c #Conflicts: 886000 | #Constraints: 88921
309.41/310.30 c #Conflicts: 887000 | #Constraints: 89923
309.41/310.30 c #Conflicts: 888000 | #Constraints: 90923
309.41/310.30 c #Conflicts: 889000 | #Constraints: 91924
309.41/310.30 c #Conflicts: 890000 | #Constraints: 92924
309.41/310.30 c #Conflicts: 891000 | #Constraints: 93924
309.41/310.30 c #Conflicts: 892000 | #Constraints: 94924
309.41/310.30 c #Conflicts: 893000 | #Constraints: 95924
309.41/310.30 c #Conflicts: 894000 | #Constraints: 96925
309.41/310.30 c #Conflicts: 895000 | #Constraints: 97925
309.41/310.30 c #Conflicts: 896000 | #Constraints: 98927
310.60/311.55 c #Conflicts: 897000 | #Constraints: 99928
310.60/311.55 c INPROCESSING
310.60/311.55 c GARBAGE COLLECT
310.60/311.55 c rational objective -36
317.09/318.07 c #Conflicts: 898000 | #Constraints: 51287
317.09/318.07 c #Conflicts: 899000 | #Constraints: 52338
317.09/318.07 c #Conflicts: 900000 | #Constraints: 53383
317.09/318.07 c #Conflicts: 901000 | #Constraints: 54430
317.09/318.07 c #Conflicts: 902000 | #Constraints: 55481
317.09/318.07 c #Conflicts: 903000 | #Constraints: 56531
317.09/318.07 c #Conflicts: 904000 | #Constraints: 57570
317.09/318.07 c #Conflicts: 905000 | #Constraints: 58615
317.09/318.07 c #Conflicts: 906000 | #Constraints: 59662
317.09/318.07 c #Conflicts: 907000 | #Constraints: 60714
317.09/318.07 c #Conflicts: 908000 | #Constraints: 61761
317.09/318.07 c #Conflicts: 909000 | #Constraints: 62803
317.09/318.07 c #Conflicts: 910000 | #Constraints: 63850
317.09/318.07 c #Conflicts: 911000 | #Constraints: 64896
317.09/318.07 c #Conflicts: 912000 | #Constraints: 65925
317.09/318.07 c #Conflicts: 913000 | #Constraints: 66961
317.09/318.07 c #Conflicts: 914000 | #Constraints: 68007
317.09/318.07 c #Conflicts: 915000 | #Constraints: 69045
317.09/318.07 c #Conflicts: 916000 | #Constraints: 70079
317.09/318.07 c #Conflicts: 917000 | #Constraints: 71122
317.09/318.07 c INPROCESSING
317.09/318.07 c GARBAGE COLLECT
317.09/318.07 c rational objective -36
325.36/326.31 c #Conflicts: 918000 | #Constraints: 36837
325.36/326.31 c #Conflicts: 919000 | #Constraints: 37847
325.36/326.31 c #Conflicts: 920000 | #Constraints: 38848
325.36/326.31 c #Conflicts: 921000 | #Constraints: 39849
325.36/326.31 c #Conflicts: 922000 | #Constraints: 40850
325.36/326.31 c #Conflicts: 923000 | #Constraints: 41851
325.36/326.31 c #Conflicts: 924000 | #Constraints: 42851
325.36/326.31 c #Conflicts: 925000 | #Constraints: 43851
325.36/326.31 c #Conflicts: 926000 | #Constraints: 44851
325.36/326.31 c #Conflicts: 927000 | #Constraints: 45851
325.36/326.31 c #Conflicts: 928000 | #Constraints: 46856
325.36/326.31 c #Conflicts: 929000 | #Constraints: 47856
325.36/326.31 c #Conflicts: 930000 | #Constraints: 48856
325.36/326.31 c #Conflicts: 931000 | #Constraints: 49856
325.36/326.31 c #Conflicts: 932000 | #Constraints: 50856
325.36/326.31 c #Conflicts: 933000 | #Constraints: 51856
325.36/326.31 c #Conflicts: 934000 | #Constraints: 52858
325.36/326.31 c #Conflicts: 935000 | #Constraints: 53858
325.36/326.31 c #Conflicts: 936000 | #Constraints: 54859
325.36/326.31 c #Conflicts: 937000 | #Constraints: 55859
325.36/326.31 c #Conflicts: 938000 | #Constraints: 56861
325.36/326.31 c INPROCESSING
325.36/326.31 c GARBAGE COLLECT
325.36/326.31 c rational objective -36
331.35/332.35 c #Conflicts: 939000 | #Constraints: 30083
331.35/332.35 c #Conflicts: 940000 | #Constraints: 31116
331.35/332.35 c #Conflicts: 941000 | #Constraints: 32161
331.35/332.35 c #Conflicts: 942000 | #Constraints: 33199
331.35/332.35 c #Conflicts: 943000 | #Constraints: 34233
331.35/332.35 c #Conflicts: 944000 | #Constraints: 35284
331.35/332.35 c #Conflicts: 945000 | #Constraints: 36327
331.35/332.35 c #Conflicts: 946000 | #Constraints: 37371
331.35/332.35 c #Conflicts: 947000 | #Constraints: 38411
331.35/332.35 c #Conflicts: 948000 | #Constraints: 39451
331.35/332.35 c #Conflicts: 949000 | #Constraints: 40494
331.35/332.35 c #Conflicts: 950000 | #Constraints: 41540
331.35/332.35 c #Conflicts: 951000 | #Constraints: 42584
331.35/332.35 c #Conflicts: 952000 | #Constraints: 43636
331.35/332.35 c #Conflicts: 953000 | #Constraints: 44683
331.35/332.35 c #Conflicts: 954000 | #Constraints: 45730
331.35/332.35 c #Conflicts: 955000 | #Constraints: 46773
331.35/332.35 c #Conflicts: 956000 | #Constraints: 47824
331.35/332.35 c #Conflicts: 957000 | #Constraints: 48875
331.35/332.35 c #Conflicts: 958000 | #Constraints: 49927
331.35/332.35 c INPROCESSING
331.35/332.35 c GARBAGE COLLECT
331.35/332.35 c rational objective -36
337.14/338.18 c #Conflicts: 959000 | #Constraints: 26332
337.14/338.18 c #Conflicts: 960000 | #Constraints: 27336
337.14/338.18 c #Conflicts: 961000 | #Constraints: 28337
337.14/338.18 c #Conflicts: 962000 | #Constraints: 29338
337.14/338.18 c #Conflicts: 963000 | #Constraints: 30339
337.14/338.18 c #Conflicts: 964000 | #Constraints: 31341
337.14/338.18 c #Conflicts: 965000 | #Constraints: 32345
337.14/338.18 c #Conflicts: 966000 | #Constraints: 33345
337.14/338.18 c #Conflicts: 967000 | #Constraints: 34347
337.14/338.18 c #Conflicts: 968000 | #Constraints: 35349
337.14/338.18 c #Conflicts: 969000 | #Constraints: 36350
337.14/338.18 c #Conflicts: 970000 | #Constraints: 37351
337.14/338.18 c #Conflicts: 971000 | #Constraints: 38353
337.14/338.18 c #Conflicts: 972000 | #Constraints: 39354
337.14/338.18 c #Conflicts: 973000 | #Constraints: 40356
337.14/338.18 c #Conflicts: 974000 | #Constraints: 41356
337.14/338.18 c #Conflicts: 975000 | #Constraints: 42357
337.14/338.18 c #Conflicts: 976000 | #Constraints: 43358
337.14/338.18 c #Conflicts: 977000 | #Constraints: 44359
337.14/338.18 c #Conflicts: 978000 | #Constraints: 45361
337.14/338.18 c #Conflicts: 979000 | #Constraints: 46362
337.14/338.18 c INPROCESSING
337.14/338.18 c GARBAGE COLLECT
337.14/338.18 c rational objective -36
344.12/345.17 c #Conflicts: 980000 | #Constraints: 24683
344.12/345.17 c #Conflicts: 981000 | #Constraints: 25700
344.12/345.17 c #Conflicts: 982000 | #Constraints: 26734
344.12/345.17 c #Conflicts: 983000 | #Constraints: 27767
344.12/345.17 c #Conflicts: 984000 | #Constraints: 28802
344.12/345.17 c #Conflicts: 985000 | #Constraints: 29839
344.12/345.17 c #Conflicts: 986000 | #Constraints: 30878
344.12/345.17 c #Conflicts: 987000 | #Constraints: 31918
344.12/345.17 c #Conflicts: 988000 | #Constraints: 32960
344.12/345.17 c #Conflicts: 989000 | #Constraints: 34010
344.12/345.17 c #Conflicts: 990000 | #Constraints: 35053
344.12/345.17 c #Conflicts: 991000 | #Constraints: 36090
344.12/345.17 c #Conflicts: 992000 | #Constraints: 37131
344.12/345.17 c #Conflicts: 993000 | #Constraints: 38171
344.12/345.17 c #Conflicts: 994000 | #Constraints: 39207
344.12/345.17 c #Conflicts: 995000 | #Constraints: 40242
344.12/345.17 c #Conflicts: 996000 | #Constraints: 41282
344.12/345.17 c #Conflicts: 997000 | #Constraints: 42319
344.12/345.17 c #Conflicts: 998000 | #Constraints: 43367
344.12/345.17 c #Conflicts: 999000 | #Constraints: 44404
344.12/345.17 c #Conflicts: 1000000 | #Constraints: 45440
344.12/345.17 c INPROCESSING
344.12/345.17 c GARBAGE COLLECT
344.12/345.17 c rational objective -36
349.50/350.54 c #Conflicts: 1001000 | #Constraints: 24271
349.50/350.54 c #Conflicts: 1002000 | #Constraints: 25275
349.50/350.54 c #Conflicts: 1003000 | #Constraints: 26281
349.50/350.54 c #Conflicts: 1004000 | #Constraints: 27281
349.50/350.54 c #Conflicts: 1005000 | #Constraints: 28285
349.50/350.54 c #Conflicts: 1006000 | #Constraints: 29288
349.50/350.54 c #Conflicts: 1007000 | #Constraints: 30289
349.50/350.54 c #Conflicts: 1008000 | #Constraints: 31293
349.50/350.54 c #Conflicts: 1009000 | #Constraints: 32295
349.50/350.54 c #Conflicts: 1010000 | #Constraints: 33295
349.50/350.54 c #Conflicts: 1011000 | #Constraints: 34295
349.50/350.54 c #Conflicts: 1012000 | #Constraints: 35295
349.50/350.54 c #Conflicts: 1013000 | #Constraints: 36296
349.50/350.54 c #Conflicts: 1014000 | #Constraints: 37296
349.50/350.54 c #Conflicts: 1015000 | #Constraints: 38296
349.50/350.54 c #Conflicts: 1016000 | #Constraints: 39297
349.50/350.54 c #Conflicts: 1017000 | #Constraints: 40297
349.50/350.54 c #Conflicts: 1018000 | #Constraints: 41299
349.50/350.54 c #Conflicts: 1019000 | #Constraints: 42299
349.50/350.54 c #Conflicts: 1020000 | #Constraints: 43300
349.50/350.54 c #Conflicts: 1021000 | #Constraints: 44302
349.50/350.54 c INPROCESSING
349.50/350.54 c GARBAGE COLLECT
349.50/350.54 c rational objective -36
380.32/381.40 c #Conflicts: 1022000 | #Constraints: 23661
380.32/381.40 c #Conflicts: 1023000 | #Constraints: 24661
380.32/381.40 c #Conflicts: 1024000 | #Constraints: 25661
380.32/381.40 c #Conflicts: 1025000 | #Constraints: 26661
380.32/381.40 c #Conflicts: 1026000 | #Constraints: 27661
380.32/381.40 c #Conflicts: 1027000 | #Constraints: 28663
380.32/381.40 c #Conflicts: 1028000 | #Constraints: 29664
380.32/381.40 c #Conflicts: 1029000 | #Constraints: 30665
380.32/381.40 c #Conflicts: 1030000 | #Constraints: 31666
380.32/381.40 c #Conflicts: 1031000 | #Constraints: 32666
380.32/381.40 c #Conflicts: 1032000 | #Constraints: 33667
380.32/381.40 c #Conflicts: 1033000 | #Constraints: 34667
380.32/381.40 c #Conflicts: 1034000 | #Constraints: 35667
380.32/381.40 c #Conflicts: 1035000 | #Constraints: 36667
380.32/381.40 c #Conflicts: 1036000 | #Constraints: 37667
380.32/381.40 c #Conflicts: 1037000 | #Constraints: 38667
380.32/381.40 c #Conflicts: 1038000 | #Constraints: 39669
380.32/381.40 c #Conflicts: 1039000 | #Constraints: 40671
380.32/381.40 c #Conflicts: 1040000 | #Constraints: 41672
380.32/381.40 c #Conflicts: 1041000 | #Constraints: 42672
380.32/381.40 c #Conflicts: 1042000 | #Constraints: 43674
380.32/381.40 c #Conflicts: 1043000 | #Constraints: 44674
380.32/381.40 c #Conflicts: 1044000 | #Constraints: 45674
380.32/381.40 c #Conflicts: 1045000 | #Constraints: 46674
380.32/381.40 c #Conflicts: 1046000 | #Constraints: 47674
380.32/381.40 c #Conflicts: 1047000 | #Constraints: 48674
380.32/381.40 c #Conflicts: 1048000 | #Constraints: 49674
380.32/381.40 c #Conflicts: 1049000 | #Constraints: 50674
380.32/381.40 c #Conflicts: 1050000 | #Constraints: 51674
380.32/381.40 c #Conflicts: 1051000 | #Constraints: 52674
380.32/381.40 c #Conflicts: 1052000 | #Constraints: 53677
380.32/381.40 c #Conflicts: 1053000 | #Constraints: 54677
380.32/381.40 c #Conflicts: 1054000 | #Constraints: 55677
380.32/381.40 c #Conflicts: 1055000 | #Constraints: 56677
380.32/381.40 c #Conflicts: 1056000 | #Constraints: 57677
380.32/381.40 c #Conflicts: 1057000 | #Constraints: 58677
380.32/381.40 c #Conflicts: 1058000 | #Constraints: 59678
380.32/381.40 c #Conflicts: 1059000 | #Constraints: 60679
380.32/381.40 c #Conflicts: 1060000 | #Constraints: 61680
380.32/381.40 c #Conflicts: 1061000 | #Constraints: 62680
380.32/381.40 c #Conflicts: 1062000 | #Constraints: 63681
380.32/381.40 c #Conflicts: 1063000 | #Constraints: 64681
380.32/381.40 c #Conflicts: 1064000 | #Constraints: 65681
380.32/381.40 c #Conflicts: 1065000 | #Constraints: 66681
380.32/381.40 c #Conflicts: 1066000 | #Constraints: 67684
380.32/381.40 c #Conflicts: 1067000 | #Constraints: 68684
380.32/381.40 c #Conflicts: 1068000 | #Constraints: 69684
380.32/381.40 c #Conflicts: 1069000 | #Constraints: 70684
380.32/381.40 c #Conflicts: 1070000 | #Constraints: 71684
380.32/381.40 c #Conflicts: 1071000 | #Constraints: 72684
380.32/381.40 c #Conflicts: 1072000 | #Constraints: 73684
380.32/381.40 c #Conflicts: 1073000 | #Constraints: 74685
380.32/381.40 c #Conflicts: 1074000 | #Constraints: 75685
380.32/381.40 c #Conflicts: 1075000 | #Constraints: 76685
380.32/381.40 c #Conflicts: 1076000 | #Constraints: 77685
380.32/381.40 c #Conflicts: 1077000 | #Constraints: 78685
380.32/381.40 c #Conflicts: 1078000 | #Constraints: 79687
380.32/381.40 c #Conflicts: 1079000 | #Constraints: 80687
380.32/381.40 c #Conflicts: 1080000 | #Constraints: 81687
380.32/381.40 c #Conflicts: 1081000 | #Constraints: 82687
380.32/381.40 c #Conflicts: 1082000 | #Constraints: 83687
380.32/381.40 c #Conflicts: 1083000 | #Constraints: 84688
380.32/381.40 c #Conflicts: 1084000 | #Constraints: 85688
380.32/381.40 c #Conflicts: 1085000 | #Constraints: 86689
380.32/381.40 c #Conflicts: 1086000 | #Constraints: 87690
380.32/381.40 c #Conflicts: 1087000 | #Constraints: 88690
380.32/381.40 c #Conflicts: 1088000 | #Constraints: 89690
380.32/381.40 c #Conflicts: 1089000 | #Constraints: 90690
380.32/381.40 c #Conflicts: 1090000 | #Constraints: 91692
380.32/381.40 c #Conflicts: 1091000 | #Constraints: 92692
380.32/381.40 c #Conflicts: 1092000 | #Constraints: 93692
380.32/381.40 c #Conflicts: 1093000 | #Constraints: 94692
380.32/381.40 c #Conflicts: 1094000 | #Constraints: 95692
380.32/381.40 c #Conflicts: 1095000 | #Constraints: 96692
380.32/381.40 c #Conflicts: 1096000 | #Constraints: 97692
380.32/381.40 c #Conflicts: 1097000 | #Constraints: 98693
380.32/381.40 c #Conflicts: 1098000 | #Constraints: 99696
380.32/381.40 c #Conflicts: 1099000 | #Constraints: 100697
380.32/381.40 c #Conflicts: 1100000 | #Constraints: 101697
386.49/387.62 c #Conflicts: 1101000 | #Constraints: 102697
386.49/387.62 c #Conflicts: 1102000 | #Constraints: 103697
386.49/387.62 c #Conflicts: 1103000 | #Constraints: 104697
386.49/387.62 c #Conflicts: 1104000 | #Constraints: 105697
386.49/387.62 c #Conflicts: 1105000 | #Constraints: 106697
386.49/387.62 c #Conflicts: 1106000 | #Constraints: 107697
386.49/387.62 c #Conflicts: 1107000 | #Constraints: 108697
386.49/387.62 c #Conflicts: 1108000 | #Constraints: 109697
386.49/387.62 c #Conflicts: 1109000 | #Constraints: 110697
386.49/387.62 c #Conflicts: 1110000 | #Constraints: 111697
386.49/387.62 c INPROCESSING
386.49/387.62 c GARBAGE COLLECT
386.49/387.62 c rational objective -36
393.47/394.64 c #Conflicts: 1111000 | #Constraints: 57485
393.47/394.64 c #Conflicts: 1112000 | #Constraints: 58528
393.47/394.64 c #Conflicts: 1113000 | #Constraints: 59570
393.47/394.64 c #Conflicts: 1114000 | #Constraints: 60610
393.47/394.64 c #Conflicts: 1115000 | #Constraints: 61650
393.47/394.64 c #Conflicts: 1116000 | #Constraints: 62688
393.47/394.64 c #Conflicts: 1117000 | #Constraints: 63733
393.47/394.64 c #Conflicts: 1118000 | #Constraints: 64780
393.47/394.64 c #Conflicts: 1119000 | #Constraints: 65825
393.47/394.64 c #Conflicts: 1120000 | #Constraints: 66873
393.47/394.64 c #Conflicts: 1121000 | #Constraints: 67914
393.47/394.64 c #Conflicts: 1122000 | #Constraints: 68963
393.47/394.64 c #Conflicts: 1123000 | #Constraints: 70006
393.47/394.64 c #Conflicts: 1124000 | #Constraints: 71058
393.47/394.64 c #Conflicts: 1125000 | #Constraints: 72106
393.47/394.64 c #Conflicts: 1126000 | #Constraints: 73151
393.47/394.64 c #Conflicts: 1127000 | #Constraints: 74200
393.47/394.64 c #Conflicts: 1128000 | #Constraints: 75243
393.47/394.64 c #Conflicts: 1129000 | #Constraints: 76290
393.47/394.64 c #Conflicts: 1130000 | #Constraints: 77342
393.47/394.64 c #Conflicts: 1131000 | #Constraints: 78390
393.47/394.64 c #Conflicts: 1132000 | #Constraints: 79426
393.47/394.64 c INPROCESSING
393.47/394.64 c GARBAGE COLLECT
393.47/394.64 c rational objective -36
400.86/402.06 c #Conflicts: 1133000 | #Constraints: 41145
400.86/402.06 c #Conflicts: 1134000 | #Constraints: 42196
400.86/402.06 c #Conflicts: 1135000 | #Constraints: 43235
400.86/402.06 c #Conflicts: 1136000 | #Constraints: 44280
400.86/402.06 c #Conflicts: 1137000 | #Constraints: 45315
400.86/402.06 c #Conflicts: 1138000 | #Constraints: 46350
400.86/402.06 c #Conflicts: 1139000 | #Constraints: 47384
400.86/402.06 c #Conflicts: 1140000 | #Constraints: 48426
400.86/402.06 c #Conflicts: 1141000 | #Constraints: 49475
400.86/402.06 c #Conflicts: 1142000 | #Constraints: 50514
400.86/402.06 c #Conflicts: 1143000 | #Constraints: 51554
400.86/402.06 c #Conflicts: 1144000 | #Constraints: 52603
400.86/402.06 c #Conflicts: 1145000 | #Constraints: 53650
400.86/402.06 c #Conflicts: 1146000 | #Constraints: 54688
400.86/402.06 c #Conflicts: 1147000 | #Constraints: 55734
400.86/402.06 c #Conflicts: 1148000 | #Constraints: 56787
400.86/402.06 c #Conflicts: 1149000 | #Constraints: 57824
400.86/402.06 c #Conflicts: 1150000 | #Constraints: 58857
400.86/402.06 c #Conflicts: 1151000 | #Constraints: 59904
400.86/402.06 c #Conflicts: 1152000 | #Constraints: 60947
400.86/402.06 c #Conflicts: 1153000 | #Constraints: 61988
400.86/402.06 c #Conflicts: 1154000 | #Constraints: 63022
400.86/402.06 c #Conflicts: 1155000 | #Constraints: 64059
400.86/402.06 c INPROCESSING
400.86/402.06 c GARBAGE COLLECT
400.86/402.06 c rational objective -36
408.03/409.23 c #Conflicts: 1156000 | #Constraints: 33675
408.03/409.23 c #Conflicts: 1157000 | #Constraints: 34711
408.03/409.23 c #Conflicts: 1158000 | #Constraints: 35767
408.03/409.23 c #Conflicts: 1159000 | #Constraints: 36811
408.03/409.23 c #Conflicts: 1160000 | #Constraints: 37851
408.03/409.23 c #Conflicts: 1161000 | #Constraints: 38896
408.03/409.23 c #Conflicts: 1162000 | #Constraints: 39953
408.03/409.23 c #Conflicts: 1163000 | #Constraints: 40998
408.03/409.23 c #Conflicts: 1164000 | #Constraints: 42041
408.03/409.23 c #Conflicts: 1165000 | #Constraints: 43082
408.03/409.23 c #Conflicts: 1166000 | #Constraints: 44119
408.03/409.23 c #Conflicts: 1167000 | #Constraints: 45161
408.03/409.23 c #Conflicts: 1168000 | #Constraints: 46199
408.03/409.23 c #Conflicts: 1169000 | #Constraints: 47245
408.03/409.23 c #Conflicts: 1170000 | #Constraints: 48289
408.03/409.23 c #Conflicts: 1171000 | #Constraints: 49328
408.03/409.23 c #Conflicts: 1172000 | #Constraints: 50371
408.03/409.23 c #Conflicts: 1173000 | #Constraints: 51414
408.03/409.23 c #Conflicts: 1174000 | #Constraints: 52449
408.03/409.23 c #Conflicts: 1175000 | #Constraints: 53492
408.03/409.23 c #Conflicts: 1176000 | #Constraints: 54536
408.03/409.23 c #Conflicts: 1177000 | #Constraints: 55581
408.03/409.23 c INPROCESSING
408.03/409.23 c GARBAGE COLLECT
408.03/409.23 c rational objective -36
414.52/415.74 c #Conflicts: 1178000 | #Constraints: 29010
414.52/415.74 c #Conflicts: 1179000 | #Constraints: 30010
414.52/415.74 c #Conflicts: 1180000 | #Constraints: 31012
414.52/415.74 c #Conflicts: 1181000 | #Constraints: 32012
414.52/415.74 c #Conflicts: 1182000 | #Constraints: 33012
414.52/415.74 c #Conflicts: 1183000 | #Constraints: 34013
414.52/415.74 c #Conflicts: 1184000 | #Constraints: 35014
414.52/415.74 c #Conflicts: 1185000 | #Constraints: 36016
414.52/415.74 c #Conflicts: 1186000 | #Constraints: 37017
414.52/415.74 c #Conflicts: 1187000 | #Constraints: 38017
414.52/415.74 c #Conflicts: 1188000 | #Constraints: 39018
414.52/415.74 c #Conflicts: 1189000 | #Constraints: 40020
414.52/415.74 c #Conflicts: 1190000 | #Constraints: 41020
414.52/415.74 c #Conflicts: 1191000 | #Constraints: 42020
414.52/415.74 c #Conflicts: 1192000 | #Constraints: 43020
414.52/415.74 c #Conflicts: 1193000 | #Constraints: 44021
414.52/415.74 c #Conflicts: 1194000 | #Constraints: 45021
414.52/415.74 c #Conflicts: 1195000 | #Constraints: 46021
414.52/415.74 c #Conflicts: 1196000 | #Constraints: 47021
414.52/415.74 c #Conflicts: 1197000 | #Constraints: 48021
414.52/415.75 c #Conflicts: 1198000 | #Constraints: 49022
414.52/415.75 c #Conflicts: 1199000 | #Constraints: 50022
414.52/415.75 c #Conflicts: 1200000 | #Constraints: 51022
414.52/415.75 c INPROCESSING
414.52/415.75 c GARBAGE COLLECT
414.52/415.75 c rational objective -36
422.00/423.20 c #Conflicts: 1201000 | #Constraints: 26729
422.00/423.20 c #Conflicts: 1202000 | #Constraints: 27779
422.00/423.20 c #Conflicts: 1203000 | #Constraints: 28834
422.00/423.20 c #Conflicts: 1204000 | #Constraints: 29877
422.00/423.20 c #Conflicts: 1205000 | #Constraints: 30924
422.00/423.20 c #Conflicts: 1206000 | #Constraints: 31968
422.00/423.20 c #Conflicts: 1207000 | #Constraints: 33013
422.00/423.20 c #Conflicts: 1208000 | #Constraints: 34065
422.00/423.20 c #Conflicts: 1209000 | #Constraints: 35111
422.00/423.20 c #Conflicts: 1210000 | #Constraints: 36165
422.00/423.20 c #Conflicts: 1211000 | #Constraints: 37210
422.00/423.20 c #Conflicts: 1212000 | #Constraints: 38258
422.00/423.20 c #Conflicts: 1213000 | #Constraints: 39307
422.00/423.20 c #Conflicts: 1214000 | #Constraints: 40361
422.00/423.20 c #Conflicts: 1215000 | #Constraints: 41408
422.00/423.20 c #Conflicts: 1216000 | #Constraints: 42454
422.00/423.20 c #Conflicts: 1217000 | #Constraints: 43495
422.00/423.20 c #Conflicts: 1218000 | #Constraints: 44530
422.00/423.20 c #Conflicts: 1219000 | #Constraints: 45582
422.00/423.20 c #Conflicts: 1220000 | #Constraints: 46642
422.00/423.20 c #Conflicts: 1221000 | #Constraints: 47692
422.00/423.20 c #Conflicts: 1222000 | #Constraints: 48743
422.00/423.20 c #Conflicts: 1223000 | #Constraints: 49780
422.00/423.20 c #Conflicts: 1224000 | #Constraints: 50822
422.00/423.20 c INPROCESSING
422.00/423.20 c GARBAGE COLLECT
422.00/423.20 c rational objective -36
428.18/429.46 c #Conflicts: 1225000 | #Constraints: 27016
428.18/429.46 c #Conflicts: 1226000 | #Constraints: 28016
428.18/429.46 c #Conflicts: 1227000 | #Constraints: 29018
428.18/429.46 c #Conflicts: 1228000 | #Constraints: 30019
428.18/429.46 c #Conflicts: 1229000 | #Constraints: 31021
428.18/429.46 c #Conflicts: 1230000 | #Constraints: 32021
428.18/429.46 c #Conflicts: 1231000 | #Constraints: 33021
428.18/429.46 c #Conflicts: 1232000 | #Constraints: 34022
428.18/429.46 c #Conflicts: 1233000 | #Constraints: 35023
428.18/429.46 c #Conflicts: 1234000 | #Constraints: 36024
428.18/429.46 c #Conflicts: 1235000 | #Constraints: 37024
428.18/429.46 c #Conflicts: 1236000 | #Constraints: 38025
428.18/429.46 c #Conflicts: 1237000 | #Constraints: 39025
428.18/429.46 c #Conflicts: 1238000 | #Constraints: 40025
428.18/429.46 c #Conflicts: 1239000 | #Constraints: 41026
428.18/429.46 c #Conflicts: 1240000 | #Constraints: 42027
428.18/429.46 c #Conflicts: 1241000 | #Constraints: 43027
428.18/429.46 c #Conflicts: 1242000 | #Constraints: 44030
428.18/429.46 c #Conflicts: 1243000 | #Constraints: 45031
428.18/429.46 c #Conflicts: 1244000 | #Constraints: 46031
428.18/429.46 c #Conflicts: 1245000 | #Constraints: 47032
428.18/429.46 c #Conflicts: 1246000 | #Constraints: 48035
428.18/429.46 c #Conflicts: 1247000 | #Constraints: 49036
428.18/429.46 c INPROCESSING
428.18/429.46 c GARBAGE COLLECT
428.18/429.46 c rational objective -36
460.80/462.19 c #Conflicts: 1248000 | #Constraints: 25933
460.80/462.19 c #Conflicts: 1249000 | #Constraints: 26934
460.80/462.19 c #Conflicts: 1250000 | #Constraints: 27935
460.80/462.19 c #Conflicts: 1251000 | #Constraints: 28936
460.80/462.19 c #Conflicts: 1252000 | #Constraints: 29937
460.80/462.19 c #Conflicts: 1253000 | #Constraints: 30938
460.80/462.19 c #Conflicts: 1254000 | #Constraints: 31938
460.80/462.19 c #Conflicts: 1255000 | #Constraints: 32938
460.80/462.19 c #Conflicts: 1256000 | #Constraints: 33939
460.80/462.19 c #Conflicts: 1257000 | #Constraints: 34940
460.80/462.19 c #Conflicts: 1258000 | #Constraints: 35940
460.80/462.19 c #Conflicts: 1259000 | #Constraints: 36940
460.80/462.19 c #Conflicts: 1260000 | #Constraints: 37940
460.80/462.19 c #Conflicts: 1261000 | #Constraints: 38941
460.80/462.19 c #Conflicts: 1262000 | #Constraints: 39942
460.80/462.19 c #Conflicts: 1263000 | #Constraints: 40942
460.80/462.19 c #Conflicts: 1264000 | #Constraints: 41942
460.80/462.19 c #Conflicts: 1265000 | #Constraints: 42943
460.80/462.19 c #Conflicts: 1266000 | #Constraints: 43943
460.80/462.19 c #Conflicts: 1267000 | #Constraints: 44944
460.80/462.19 c #Conflicts: 1268000 | #Constraints: 45944
460.80/462.19 c #Conflicts: 1269000 | #Constraints: 46945
460.80/462.19 c #Conflicts: 1270000 | #Constraints: 47947
460.80/462.19 c #Conflicts: 1271000 | #Constraints: 48948
460.80/462.19 c #Conflicts: 1272000 | #Constraints: 49950
460.80/462.19 c #Conflicts: 1273000 | #Constraints: 50950
460.80/462.19 c #Conflicts: 1274000 | #Constraints: 51950
460.80/462.19 c #Conflicts: 1275000 | #Constraints: 52951
460.80/462.19 c #Conflicts: 1276000 | #Constraints: 53952
460.80/462.19 c #Conflicts: 1277000 | #Constraints: 54952
460.80/462.19 c #Conflicts: 1278000 | #Constraints: 55953
460.80/462.19 c #Conflicts: 1279000 | #Constraints: 56955
460.80/462.19 c #Conflicts: 1280000 | #Constraints: 57956
460.80/462.19 c #Conflicts: 1281000 | #Constraints: 58956
460.80/462.19 c #Conflicts: 1282000 | #Constraints: 59957
460.80/462.19 c #Conflicts: 1283000 | #Constraints: 60959
460.80/462.19 c #Conflicts: 1284000 | #Constraints: 61961
460.80/462.19 c #Conflicts: 1285000 | #Constraints: 62963
460.80/462.19 c #Conflicts: 1286000 | #Constraints: 63966
460.80/462.19 c #Conflicts: 1287000 | #Constraints: 64967
460.80/462.19 c #Conflicts: 1288000 | #Constraints: 65967
460.80/462.19 c #Conflicts: 1289000 | #Constraints: 66967
460.80/462.19 c #Conflicts: 1290000 | #Constraints: 67968
460.80/462.19 c #Conflicts: 1291000 | #Constraints: 68969
460.80/462.19 c #Conflicts: 1292000 | #Constraints: 69969
460.80/462.19 c #Conflicts: 1293000 | #Constraints: 70969
460.80/462.19 c #Conflicts: 1294000 | #Constraints: 71969
460.80/462.19 c #Conflicts: 1295000 | #Constraints: 72969
460.80/462.19 c #Conflicts: 1296000 | #Constraints: 73969
460.80/462.19 c #Conflicts: 1297000 | #Constraints: 74970
460.80/462.19 c #Conflicts: 1298000 | #Constraints: 75972
460.80/462.19 c #Conflicts: 1299000 | #Constraints: 76973
460.80/462.19 c #Conflicts: 1300000 | #Constraints: 77973
460.80/462.19 c #Conflicts: 1301000 | #Constraints: 78974
460.80/462.19 c #Conflicts: 1302000 | #Constraints: 79976
460.80/462.19 c #Conflicts: 1303000 | #Constraints: 80979
460.80/462.19 c #Conflicts: 1304000 | #Constraints: 81979
460.80/462.19 c #Conflicts: 1305000 | #Constraints: 82979
460.80/462.19 c #Conflicts: 1306000 | #Constraints: 83979
460.80/462.19 c #Conflicts: 1307000 | #Constraints: 84979
460.80/462.19 c #Conflicts: 1308000 | #Constraints: 85981
460.80/462.19 c #Conflicts: 1309000 | #Constraints: 86981
460.80/462.19 c #Conflicts: 1310000 | #Constraints: 87981
460.80/462.19 c #Conflicts: 1311000 | #Constraints: 88981
460.80/462.19 c #Conflicts: 1312000 | #Constraints: 89982
460.80/462.19 c #Conflicts: 1313000 | #Constraints: 90982
460.80/462.19 c #Conflicts: 1314000 | #Constraints: 91982
460.80/462.19 c #Conflicts: 1315000 | #Constraints: 92983
460.80/462.19 c #Conflicts: 1316000 | #Constraints: 93983
460.80/462.19 c #Conflicts: 1317000 | #Constraints: 94983
460.80/462.19 c #Conflicts: 1318000 | #Constraints: 95983
460.80/462.19 c #Conflicts: 1319000 | #Constraints: 96983
460.80/462.19 c #Conflicts: 1320000 | #Constraints: 97983
460.80/462.19 c #Conflicts: 1321000 | #Constraints: 98983
460.80/462.19 c #Conflicts: 1322000 | #Constraints: 99984
460.80/462.19 c #Conflicts: 1323000 | #Constraints: 100985
460.80/462.19 c #Conflicts: 1324000 | #Constraints: 101985
460.80/462.19 c #Conflicts: 1325000 | #Constraints: 102985
460.80/462.19 c #Conflicts: 1326000 | #Constraints: 103985
473.35/474.77 c #Conflicts: 1327000 | #Constraints: 104985
473.35/474.77 c #Conflicts: 1328000 | #Constraints: 105985
473.35/474.77 c #Conflicts: 1329000 | #Constraints: 106986
473.35/474.77 c #Conflicts: 1330000 | #Constraints: 107986
473.35/474.77 c #Conflicts: 1331000 | #Constraints: 108986
473.35/474.77 c #Conflicts: 1332000 | #Constraints: 109988
473.35/474.77 c #Conflicts: 1333000 | #Constraints: 110988
473.35/474.77 c #Conflicts: 1334000 | #Constraints: 111988
473.35/474.77 c #Conflicts: 1335000 | #Constraints: 112988
473.35/474.77 c #Conflicts: 1336000 | #Constraints: 113990
473.35/474.77 c #Conflicts: 1337000 | #Constraints: 114990
473.35/474.77 c #Conflicts: 1338000 | #Constraints: 115990
473.35/474.77 c #Conflicts: 1339000 | #Constraints: 116991
473.35/474.77 c #Conflicts: 1340000 | #Constraints: 117992
473.35/474.77 c #Conflicts: 1341000 | #Constraints: 118992
473.35/474.77 c #Conflicts: 1342000 | #Constraints: 119993
473.35/474.77 c #Conflicts: 1343000 | #Constraints: 120994
473.35/474.77 c #Conflicts: 1344000 | #Constraints: 121994
473.35/474.77 c INPROCESSING
473.35/474.77 c GARBAGE COLLECT
473.35/474.77 c rational objective -36
482.63/484.01 c #Conflicts: 1345000 | #Constraints: 62209
482.63/484.01 c #Conflicts: 1346000 | #Constraints: 63247
482.63/484.01 c #Conflicts: 1347000 | #Constraints: 64287
482.63/484.01 c #Conflicts: 1348000 | #Constraints: 65323
482.63/484.01 c #Conflicts: 1349000 | #Constraints: 66364
482.63/484.01 c #Conflicts: 1350000 | #Constraints: 67402
482.63/484.01 c #Conflicts: 1351000 | #Constraints: 68452
482.63/484.01 c #Conflicts: 1352000 | #Constraints: 69501
482.63/484.01 c #Conflicts: 1353000 | #Constraints: 70542
482.63/484.01 c #Conflicts: 1354000 | #Constraints: 71585
482.63/484.01 c #Conflicts: 1355000 | #Constraints: 72626
482.63/484.01 c #Conflicts: 1356000 | #Constraints: 73668
482.63/484.01 c #Conflicts: 1357000 | #Constraints: 74704
482.63/484.01 c #Conflicts: 1358000 | #Constraints: 75743
482.63/484.01 c #Conflicts: 1359000 | #Constraints: 76784
482.63/484.01 c #Conflicts: 1360000 | #Constraints: 77838
482.63/484.01 c #Conflicts: 1361000 | #Constraints: 78886
482.63/484.01 c #Conflicts: 1362000 | #Constraints: 79947
482.63/484.01 c #Conflicts: 1363000 | #Constraints: 81000
482.63/484.01 c #Conflicts: 1364000 | #Constraints: 82038
482.63/484.01 c #Conflicts: 1365000 | #Constraints: 83082
482.63/484.01 c #Conflicts: 1366000 | #Constraints: 84139
482.63/484.01 c #Conflicts: 1367000 | #Constraints: 85188
482.63/484.01 c #Conflicts: 1368000 | #Constraints: 86233
482.63/484.01 c #Conflicts: 1369000 | #Constraints: 87278
482.63/484.01 c INPROCESSING
482.63/484.01 c GARBAGE COLLECT
482.63/484.01 c rational objective -36
491.11/492.51 c #Conflicts: 1370000 | #Constraints: 45021
491.11/492.51 c #Conflicts: 1371000 | #Constraints: 46058
491.11/492.51 c #Conflicts: 1372000 | #Constraints: 47108
491.11/492.51 c #Conflicts: 1373000 | #Constraints: 48144
491.11/492.51 c #Conflicts: 1374000 | #Constraints: 49198
491.11/492.51 c #Conflicts: 1375000 | #Constraints: 50244
491.11/492.51 c #Conflicts: 1376000 | #Constraints: 51292
491.11/492.51 c #Conflicts: 1377000 | #Constraints: 52332
491.11/492.51 c #Conflicts: 1378000 | #Constraints: 53377
491.11/492.51 c #Conflicts: 1379000 | #Constraints: 54422
491.11/492.51 c #Conflicts: 1380000 | #Constraints: 55468
491.11/492.51 c #Conflicts: 1381000 | #Constraints: 56528
491.11/492.51 c #Conflicts: 1382000 | #Constraints: 57578
491.11/492.51 c #Conflicts: 1383000 | #Constraints: 58624
491.11/492.51 c #Conflicts: 1384000 | #Constraints: 59664
491.11/492.51 c #Conflicts: 1385000 | #Constraints: 60710
491.11/492.51 c #Conflicts: 1386000 | #Constraints: 61757
491.11/492.51 c #Conflicts: 1387000 | #Constraints: 62803
491.11/492.51 c #Conflicts: 1388000 | #Constraints: 63848
491.11/492.51 c #Conflicts: 1389000 | #Constraints: 64892
491.11/492.51 c #Conflicts: 1390000 | #Constraints: 65928
491.11/492.51 c #Conflicts: 1391000 | #Constraints: 66969
491.11/492.51 c #Conflicts: 1392000 | #Constraints: 68010
491.11/492.51 c #Conflicts: 1393000 | #Constraints: 69052
491.11/492.51 c #Conflicts: 1394000 | #Constraints: 70103
491.11/492.51 c INPROCESSING
491.11/492.51 c GARBAGE COLLECT
491.11/492.51 c rational objective -36
499.58/501.07 c #Conflicts: 1395000 | #Constraints: 36489
499.58/501.07 c #Conflicts: 1396000 | #Constraints: 37531
499.58/501.07 c #Conflicts: 1397000 | #Constraints: 38585
499.58/501.07 c #Conflicts: 1398000 | #Constraints: 39637
499.58/501.07 c #Conflicts: 1399000 | #Constraints: 40687
499.58/501.07 c #Conflicts: 1400000 | #Constraints: 41733
499.58/501.07 c #Conflicts: 1401000 | #Constraints: 42779
499.58/501.07 c #Conflicts: 1402000 | #Constraints: 43826
499.58/501.07 c #Conflicts: 1403000 | #Constraints: 44873
499.58/501.07 c #Conflicts: 1404000 | #Constraints: 45915
499.58/501.07 c #Conflicts: 1405000 | #Constraints: 46964
499.58/501.07 c #Conflicts: 1406000 | #Constraints: 48007
499.58/501.07 c #Conflicts: 1407000 | #Constraints: 49054
499.58/501.07 c #Conflicts: 1408000 | #Constraints: 50095
499.58/501.07 c #Conflicts: 1409000 | #Constraints: 51132
499.58/501.07 c #Conflicts: 1410000 | #Constraints: 52174
499.58/501.07 c #Conflicts: 1411000 | #Constraints: 53217
499.58/501.07 c #Conflicts: 1412000 | #Constraints: 54263
499.58/501.07 c #Conflicts: 1413000 | #Constraints: 55296
499.58/501.07 c #Conflicts: 1414000 | #Constraints: 56331
499.58/501.07 c #Conflicts: 1415000 | #Constraints: 57363
499.58/501.07 c #Conflicts: 1416000 | #Constraints: 58406
499.58/501.07 c #Conflicts: 1417000 | #Constraints: 59439
499.58/501.07 c #Conflicts: 1418000 | #Constraints: 60488
499.58/501.07 c #Conflicts: 1419000 | #Constraints: 61530
499.58/501.07 c INPROCESSING
499.58/501.07 c GARBAGE COLLECT
499.58/501.07 c rational objective -36
508.06/509.57 c #Conflicts: 1420000 | #Constraints: 32153
508.06/509.57 c #Conflicts: 1421000 | #Constraints: 33192
508.06/509.57 c #Conflicts: 1422000 | #Constraints: 34240
508.06/509.57 c #Conflicts: 1423000 | #Constraints: 35290
508.06/509.57 c #Conflicts: 1424000 | #Constraints: 36327
508.06/509.57 c #Conflicts: 1425000 | #Constraints: 37364
508.06/509.57 c #Conflicts: 1426000 | #Constraints: 38412
508.06/509.57 c #Conflicts: 1427000 | #Constraints: 39450
508.06/509.57 c #Conflicts: 1428000 | #Constraints: 40489
508.06/509.57 c #Conflicts: 1429000 | #Constraints: 41521
508.06/509.57 c #Conflicts: 1430000 | #Constraints: 42563
508.06/509.57 c #Conflicts: 1431000 | #Constraints: 43608
508.06/509.57 c #Conflicts: 1432000 | #Constraints: 44650
508.06/509.57 c #Conflicts: 1433000 | #Constraints: 45694
508.06/509.57 c #Conflicts: 1434000 | #Constraints: 46734
508.06/509.57 c #Conflicts: 1435000 | #Constraints: 47773
508.06/509.57 c #Conflicts: 1436000 | #Constraints: 48817
508.06/509.57 c #Conflicts: 1437000 | #Constraints: 49869
508.06/509.57 c #Conflicts: 1438000 | #Constraints: 50913
508.06/509.57 c #Conflicts: 1439000 | #Constraints: 51957
508.06/509.57 c #Conflicts: 1440000 | #Constraints: 53001
508.06/509.57 c #Conflicts: 1441000 | #Constraints: 54041
508.06/509.57 c #Conflicts: 1442000 | #Constraints: 55083
508.06/509.57 c #Conflicts: 1443000 | #Constraints: 56129
508.06/509.57 c #Conflicts: 1444000 | #Constraints: 57172
508.06/509.57 c INPROCESSING
508.06/509.57 c GARBAGE COLLECT
508.06/509.57 c rational objective -36
515.74/517.22 c #Conflicts: 1445000 | #Constraints: 29809
515.74/517.22 c #Conflicts: 1446000 | #Constraints: 30817
515.74/517.22 c #Conflicts: 1447000 | #Constraints: 31818
515.74/517.22 c #Conflicts: 1448000 | #Constraints: 32819
515.74/517.22 c #Conflicts: 1449000 | #Constraints: 33824
515.74/517.22 c #Conflicts: 1450000 | #Constraints: 34824
515.74/517.22 c #Conflicts: 1451000 | #Constraints: 35824
515.74/517.22 c #Conflicts: 1452000 | #Constraints: 36824
515.74/517.22 c #Conflicts: 1453000 | #Constraints: 37825
515.74/517.22 c #Conflicts: 1454000 | #Constraints: 38825
515.74/517.22 c #Conflicts: 1455000 | #Constraints: 39826
515.74/517.22 c #Conflicts: 1456000 | #Constraints: 40827
515.74/517.22 c #Conflicts: 1457000 | #Constraints: 41827
515.74/517.22 c #Conflicts: 1458000 | #Constraints: 42827
515.74/517.22 c #Conflicts: 1459000 | #Constraints: 43828
515.74/517.22 c #Conflicts: 1460000 | #Constraints: 44828
515.74/517.22 c #Conflicts: 1461000 | #Constraints: 45829
515.74/517.22 c #Conflicts: 1462000 | #Constraints: 46831
515.74/517.22 c #Conflicts: 1463000 | #Constraints: 47831
515.74/517.22 c #Conflicts: 1464000 | #Constraints: 48831
515.74/517.22 c #Conflicts: 1465000 | #Constraints: 49832
515.74/517.22 c #Conflicts: 1466000 | #Constraints: 50832
515.74/517.22 c #Conflicts: 1467000 | #Constraints: 51832
515.74/517.22 c #Conflicts: 1468000 | #Constraints: 52832
515.74/517.22 c #Conflicts: 1469000 | #Constraints: 53832
515.74/517.22 c #Conflicts: 1470000 | #Constraints: 54832
515.74/517.22 c INPROCESSING
515.74/517.22 c GARBAGE COLLECT
515.74/517.22 c rational objective -36
523.01/524.55 c #Conflicts: 1471000 | #Constraints: 28875
523.01/524.55 c #Conflicts: 1472000 | #Constraints: 29875
523.01/524.55 c #Conflicts: 1473000 | #Constraints: 30876
523.01/524.55 c #Conflicts: 1474000 | #Constraints: 31876
523.01/524.55 c #Conflicts: 1475000 | #Constraints: 32877
523.01/524.55 c #Conflicts: 1476000 | #Constraints: 33880
523.01/524.55 c #Conflicts: 1477000 | #Constraints: 34882
523.01/524.55 c #Conflicts: 1478000 | #Constraints: 35884
523.01/524.55 c #Conflicts: 1479000 | #Constraints: 36884
523.01/524.55 c #Conflicts: 1480000 | #Constraints: 37884
523.01/524.55 c #Conflicts: 1481000 | #Constraints: 38886
523.01/524.55 c #Conflicts: 1482000 | #Constraints: 39886
523.01/524.55 c #Conflicts: 1483000 | #Constraints: 40886
523.01/524.55 c #Conflicts: 1484000 | #Constraints: 41887
523.01/524.55 c #Conflicts: 1485000 | #Constraints: 42887
523.01/524.55 c #Conflicts: 1486000 | #Constraints: 43888
523.01/524.55 c #Conflicts: 1487000 | #Constraints: 44888
523.01/524.55 c #Conflicts: 1488000 | #Constraints: 45888
523.01/524.55 c #Conflicts: 1489000 | #Constraints: 46888
523.01/524.55 c #Conflicts: 1490000 | #Constraints: 47889
523.01/524.55 c #Conflicts: 1491000 | #Constraints: 48890
523.01/524.55 c #Conflicts: 1492000 | #Constraints: 49890
523.01/524.55 c #Conflicts: 1493000 | #Constraints: 50891
523.01/524.55 c #Conflicts: 1494000 | #Constraints: 51892
523.01/524.55 c #Conflicts: 1495000 | #Constraints: 52892
523.01/524.55 c #Conflicts: 1496000 | #Constraints: 53893
523.01/524.55 c INPROCESSING
523.01/524.55 c GARBAGE COLLECT
523.01/524.55 c rational objective -36
594.02/595.75 c #Conflicts: 1497000 | #Constraints: 28597
594.02/595.75 c #Conflicts: 1498000 | #Constraints: 29642
594.02/595.75 c #Conflicts: 1499000 | #Constraints: 30687
594.02/595.75 c #Conflicts: 1500000 | #Constraints: 31736
594.02/595.75 c #Conflicts: 1501000 | #Constraints: 32786
594.02/595.75 c #Conflicts: 1502000 | #Constraints: 33830
594.02/595.75 c #Conflicts: 1503000 | #Constraints: 34872
594.02/595.75 c #Conflicts: 1504000 | #Constraints: 35903
594.02/595.75 c #Conflicts: 1505000 | #Constraints: 36944
594.02/595.75 c #Conflicts: 1506000 | #Constraints: 37991
594.02/595.75 c #Conflicts: 1507000 | #Constraints: 39028
594.02/595.75 c #Conflicts: 1508000 | #Constraints: 40071
594.02/595.75 c #Conflicts: 1509000 | #Constraints: 41110
594.02/595.75 c #Conflicts: 1510000 | #Constraints: 42158
594.02/595.75 c #Conflicts: 1511000 | #Constraints: 43201
594.02/595.75 c #Conflicts: 1512000 | #Constraints: 44240
594.02/595.75 c #Conflicts: 1513000 | #Constraints: 45288
594.02/595.75 c #Conflicts: 1514000 | #Constraints: 46334
594.02/595.75 c #Conflicts: 1515000 | #Constraints: 47384
594.02/595.75 c #Conflicts: 1516000 | #Constraints: 48430
594.02/595.75 c #Conflicts: 1517000 | #Constraints: 49473
594.02/595.75 c #Conflicts: 1518000 | #Constraints: 50516
594.02/595.75 c #Conflicts: 1519000 | #Constraints: 51557
594.02/595.75 c #Conflicts: 1520000 | #Constraints: 52603
594.02/595.75 c #Conflicts: 1521000 | #Constraints: 53644
594.02/595.75 c #Conflicts: 1522000 | #Constraints: 54680
594.02/595.75 c #Conflicts: 1523000 | #Constraints: 55725
594.02/595.75 c #Conflicts: 1524000 | #Constraints: 56770
594.02/595.75 c #Conflicts: 1525000 | #Constraints: 57818
594.02/595.75 c #Conflicts: 1526000 | #Constraints: 58847
594.02/595.75 c #Conflicts: 1527000 | #Constraints: 59888
594.02/595.75 c #Conflicts: 1528000 | #Constraints: 60930
594.02/595.75 c #Conflicts: 1529000 | #Constraints: 61968
594.02/595.75 c #Conflicts: 1530000 | #Constraints: 63003
594.02/595.75 c #Conflicts: 1531000 | #Constraints: 64037
594.02/595.75 c #Conflicts: 1532000 | #Constraints: 65075
594.02/595.75 c #Conflicts: 1533000 | #Constraints: 66115
594.02/595.75 c #Conflicts: 1534000 | #Constraints: 67165
594.02/595.75 c #Conflicts: 1535000 | #Constraints: 68214
594.02/595.75 c #Conflicts: 1536000 | #Constraints: 69244
594.02/595.75 c #Conflicts: 1537000 | #Constraints: 70276
594.02/595.75 c #Conflicts: 1538000 | #Constraints: 71305
594.02/595.75 c #Conflicts: 1539000 | #Constraints: 72346
594.02/595.75 c #Conflicts: 1540000 | #Constraints: 73391
594.02/595.75 c #Conflicts: 1541000 | #Constraints: 74442
594.02/595.75 c #Conflicts: 1542000 | #Constraints: 75487
594.02/595.75 c #Conflicts: 1543000 | #Constraints: 76526
594.02/595.75 c #Conflicts: 1544000 | #Constraints: 77562
594.02/595.75 c #Conflicts: 1545000 | #Constraints: 78603
594.02/595.75 c #Conflicts: 1546000 | #Constraints: 79648
594.02/595.75 c #Conflicts: 1547000 | #Constraints: 80689
594.02/595.75 c #Conflicts: 1548000 | #Constraints: 81736
594.02/595.75 c #Conflicts: 1549000 | #Constraints: 82780
594.02/595.75 c #Conflicts: 1550000 | #Constraints: 83814
594.02/595.75 c #Conflicts: 1551000 | #Constraints: 84857
594.02/595.75 c #Conflicts: 1552000 | #Constraints: 85897
594.02/595.75 c #Conflicts: 1553000 | #Constraints: 86931
594.02/595.75 c #Conflicts: 1554000 | #Constraints: 87967
594.02/595.75 c #Conflicts: 1555000 | #Constraints: 89003
594.02/595.75 c #Conflicts: 1556000 | #Constraints: 90041
594.02/595.75 c #Conflicts: 1557000 | #Constraints: 91079
594.02/595.75 c #Conflicts: 1558000 | #Constraints: 92116
594.02/595.75 c #Conflicts: 1559000 | #Constraints: 93156
594.02/595.75 c #Conflicts: 1560000 | #Constraints: 94203
594.02/595.75 c #Conflicts: 1561000 | #Constraints: 95244
594.02/595.75 c #Conflicts: 1562000 | #Constraints: 96283
594.02/595.75 c #Conflicts: 1563000 | #Constraints: 97320
594.02/595.75 c #Conflicts: 1564000 | #Constraints: 98359
594.02/595.75 c #Conflicts: 1565000 | #Constraints: 99397
594.02/595.75 c #Conflicts: 1566000 | #Constraints: 100437
594.02/595.75 c #Conflicts: 1567000 | #Constraints: 101482
594.02/595.75 c #Conflicts: 1568000 | #Constraints: 102525
594.02/595.75 c #Conflicts: 1569000 | #Constraints: 103575
594.02/595.75 c #Conflicts: 1570000 | #Constraints: 104623
594.02/595.75 c #Conflicts: 1571000 | #Constraints: 105659
594.02/595.75 c #Conflicts: 1572000 | #Constraints: 106703
594.02/595.75 c #Conflicts: 1573000 | #Constraints: 107754
594.02/595.75 c #Conflicts: 1574000 | #Constraints: 108800
594.02/595.75 c #Conflicts: 1575000 | #Constraints: 109843
649.27/651.11 c #Conflicts: 1576000 | #Constraints: 110885
649.27/651.11 c #Conflicts: 1577000 | #Constraints: 111942
649.27/651.11 c #Conflicts: 1578000 | #Constraints: 112983
649.27/651.11 c #Conflicts: 1579000 | #Constraints: 114024
649.27/651.11 c #Conflicts: 1580000 | #Constraints: 115069
649.27/651.11 c #Conflicts: 1581000 | #Constraints: 116112
649.27/651.11 c #Conflicts: 1582000 | #Constraints: 117158
649.27/651.11 c #Conflicts: 1583000 | #Constraints: 118201
649.27/651.11 c #Conflicts: 1584000 | #Constraints: 119245
649.27/651.11 c #Conflicts: 1585000 | #Constraints: 120287
649.27/651.11 c #Conflicts: 1586000 | #Constraints: 121333
649.27/651.11 c #Conflicts: 1587000 | #Constraints: 122374
649.27/651.11 c #Conflicts: 1588000 | #Constraints: 123416
649.27/651.11 c #Conflicts: 1589000 | #Constraints: 124465
649.27/651.11 c #Conflicts: 1590000 | #Constraints: 125510
649.27/651.11 c #Conflicts: 1591000 | #Constraints: 126553
649.27/651.11 c #Conflicts: 1592000 | #Constraints: 127600
649.27/651.11 c #Conflicts: 1593000 | #Constraints: 128649
649.27/651.11 c #Conflicts: 1594000 | #Constraints: 129695
649.27/651.11 c #Conflicts: 1595000 | #Constraints: 130744
649.27/651.11 c #Conflicts: 1596000 | #Constraints: 131783
649.27/651.11 c #Conflicts: 1597000 | #Constraints: 132826
649.27/651.11 c #Conflicts: 1598000 | #Constraints: 133874
649.27/651.11 c #Conflicts: 1599000 | #Constraints: 134917
649.27/651.11 c #Conflicts: 1600000 | #Constraints: 135960
649.27/651.11 c #Conflicts: 1601000 | #Constraints: 137000
649.27/651.11 c #Conflicts: 1602000 | #Constraints: 138033
649.27/651.11 c INPROCESSING
649.27/651.11 c GARBAGE COLLECT
649.27/651.11 c rational objective -36
688.66/690.68 c #Conflicts: 1603000 | #Constraints: 70624
688.66/690.68 c #Conflicts: 1604000 | #Constraints: 71626
688.66/690.68 c #Conflicts: 1605000 | #Constraints: 72628
688.66/690.68 c #Conflicts: 1606000 | #Constraints: 73630
688.66/690.68 c #Conflicts: 1607000 | #Constraints: 74631
688.66/690.68 c #Conflicts: 1608000 | #Constraints: 75632
688.66/690.68 c #Conflicts: 1609000 | #Constraints: 76632
688.66/690.68 c #Conflicts: 1610000 | #Constraints: 77633
688.66/690.68 c #Conflicts: 1611000 | #Constraints: 78634
688.66/690.68 c #Conflicts: 1612000 | #Constraints: 79637
688.66/690.68 c #Conflicts: 1613000 | #Constraints: 80638
688.66/690.68 c #Conflicts: 1614000 | #Constraints: 81640
688.66/690.68 c #Conflicts: 1615000 | #Constraints: 82640
688.66/690.68 c #Conflicts: 1616000 | #Constraints: 83642
688.66/690.68 c #Conflicts: 1617000 | #Constraints: 84643
688.66/690.68 c #Conflicts: 1618000 | #Constraints: 85644
688.66/690.68 c #Conflicts: 1619000 | #Constraints: 86646
688.66/690.68 c #Conflicts: 1620000 | #Constraints: 87646
688.66/690.68 c #Conflicts: 1621000 | #Constraints: 88649
688.66/690.68 c #Conflicts: 1622000 | #Constraints: 89649
688.66/690.68 c #Conflicts: 1623000 | #Constraints: 90650
688.66/690.68 c #Conflicts: 1624000 | #Constraints: 91650
688.66/690.68 c #Conflicts: 1625000 | #Constraints: 92652
688.66/690.68 c #Conflicts: 1626000 | #Constraints: 93653
688.66/690.68 c #Conflicts: 1627000 | #Constraints: 94653
688.66/690.68 c #Conflicts: 1628000 | #Constraints: 95653
688.66/690.68 c #Conflicts: 1629000 | #Constraints: 96653
688.66/690.68 c INPROCESSING
688.66/690.68 c GARBAGE COLLECT
688.66/690.68 c rational objective -36
710.40/712.43 c #Conflicts: 1630000 | #Constraints: 49935
710.40/712.43 c #Conflicts: 1631000 | #Constraints: 50935
710.40/712.43 c #Conflicts: 1632000 | #Constraints: 51935
710.40/712.43 c #Conflicts: 1633000 | #Constraints: 52935
710.40/712.43 c #Conflicts: 1634000 | #Constraints: 53936
710.40/712.43 c #Conflicts: 1635000 | #Constraints: 54936
710.40/712.43 c #Conflicts: 1636000 | #Constraints: 55936
710.40/712.43 c #Conflicts: 1637000 | #Constraints: 56936
710.40/712.43 c #Conflicts: 1638000 | #Constraints: 57936
710.40/712.43 c #Conflicts: 1639000 | #Constraints: 58937
710.40/712.43 c #Conflicts: 1640000 | #Constraints: 59937
710.40/712.43 c #Conflicts: 1641000 | #Constraints: 60937
710.40/712.43 c #Conflicts: 1642000 | #Constraints: 61937
710.40/712.43 c #Conflicts: 1643000 | #Constraints: 62939
710.40/712.43 c #Conflicts: 1644000 | #Constraints: 63940
710.40/712.43 c #Conflicts: 1645000 | #Constraints: 64940
710.40/712.43 c #Conflicts: 1646000 | #Constraints: 65942
710.40/712.43 c #Conflicts: 1647000 | #Constraints: 66942
710.40/712.43 c #Conflicts: 1648000 | #Constraints: 67943
710.40/712.43 c #Conflicts: 1649000 | #Constraints: 68944
710.40/712.43 c #Conflicts: 1650000 | #Constraints: 69945
710.40/712.43 c #Conflicts: 1651000 | #Constraints: 70946
710.40/712.43 c #Conflicts: 1652000 | #Constraints: 71946
710.40/712.43 c #Conflicts: 1653000 | #Constraints: 72946
710.40/712.43 c #Conflicts: 1654000 | #Constraints: 73947
710.40/712.43 c #Conflicts: 1655000 | #Constraints: 74947
710.40/712.43 c #Conflicts: 1656000 | #Constraints: 75947
710.40/712.43 c INPROCESSING
710.40/712.43 c GARBAGE COLLECT
710.40/712.43 c rational objective -36
721.57/723.65 c #Conflicts: 1657000 | #Constraints: 39491
721.57/723.65 c #Conflicts: 1658000 | #Constraints: 40492
721.57/723.65 c #Conflicts: 1659000 | #Constraints: 41492
721.57/723.65 c #Conflicts: 1660000 | #Constraints: 42493
721.57/723.65 c #Conflicts: 1661000 | #Constraints: 43493
721.57/723.65 c #Conflicts: 1662000 | #Constraints: 44495
721.57/723.65 c #Conflicts: 1663000 | #Constraints: 45496
721.57/723.65 c #Conflicts: 1664000 | #Constraints: 46498
721.57/723.65 c #Conflicts: 1665000 | #Constraints: 47498
721.57/723.65 c #Conflicts: 1666000 | #Constraints: 48498
721.57/723.65 c #Conflicts: 1667000 | #Constraints: 49500
721.57/723.65 c #Conflicts: 1668000 | #Constraints: 50502
721.57/723.65 c #Conflicts: 1669000 | #Constraints: 51503
721.57/723.65 c #Conflicts: 1670000 | #Constraints: 52504
721.57/723.65 c #Conflicts: 1671000 | #Constraints: 53504
721.57/723.65 c #Conflicts: 1672000 | #Constraints: 54505
721.57/723.65 c #Conflicts: 1673000 | #Constraints: 55505
721.57/723.65 c #Conflicts: 1674000 | #Constraints: 56506
721.57/723.65 c #Conflicts: 1675000 | #Constraints: 57509
721.57/723.65 c #Conflicts: 1676000 | #Constraints: 58509
721.57/723.65 c #Conflicts: 1677000 | #Constraints: 59510
721.57/723.65 c #Conflicts: 1678000 | #Constraints: 60510
721.57/723.65 c #Conflicts: 1679000 | #Constraints: 61510
721.57/723.65 c #Conflicts: 1680000 | #Constraints: 62510
721.57/723.65 c #Conflicts: 1681000 | #Constraints: 63510
721.57/723.65 c #Conflicts: 1682000 | #Constraints: 64511
721.57/723.65 c #Conflicts: 1683000 | #Constraints: 65512
721.57/723.65 c INPROCESSING
721.57/723.65 c GARBAGE COLLECT
721.57/723.65 c rational objective -36
730.44/732.50 c #Conflicts: 1684000 | #Constraints: 34078
730.44/732.50 c #Conflicts: 1685000 | #Constraints: 35079
730.44/732.50 c #Conflicts: 1686000 | #Constraints: 36079
730.44/732.50 c #Conflicts: 1687000 | #Constraints: 37080
730.44/732.50 c #Conflicts: 1688000 | #Constraints: 38080
730.44/732.50 c #Conflicts: 1689000 | #Constraints: 39080
730.44/732.50 c #Conflicts: 1690000 | #Constraints: 40080
730.44/732.50 c #Conflicts: 1691000 | #Constraints: 41081
730.44/732.50 c #Conflicts: 1692000 | #Constraints: 42082
730.44/732.50 c #Conflicts: 1693000 | #Constraints: 43082
730.44/732.50 c #Conflicts: 1694000 | #Constraints: 44082
730.44/732.50 c #Conflicts: 1695000 | #Constraints: 45082
730.44/732.50 c #Conflicts: 1696000 | #Constraints: 46082
730.44/732.50 c #Conflicts: 1697000 | #Constraints: 47082
730.44/732.50 c #Conflicts: 1698000 | #Constraints: 48082
730.44/732.50 c #Conflicts: 1699000 | #Constraints: 49082
730.44/732.50 c #Conflicts: 1700000 | #Constraints: 50083
730.44/732.50 c #Conflicts: 1701000 | #Constraints: 51086
730.44/732.50 c #Conflicts: 1702000 | #Constraints: 52086
730.44/732.50 c #Conflicts: 1703000 | #Constraints: 53086
730.44/732.50 c #Conflicts: 1704000 | #Constraints: 54086
730.44/732.50 c #Conflicts: 1705000 | #Constraints: 55087
730.44/732.50 c #Conflicts: 1706000 | #Constraints: 56087
730.44/732.50 c #Conflicts: 1707000 | #Constraints: 57087
730.44/732.50 c #Conflicts: 1708000 | #Constraints: 58087
730.44/732.50 c #Conflicts: 1709000 | #Constraints: 59087
730.44/732.50 c #Conflicts: 1710000 | #Constraints: 60088
730.44/732.50 c #Conflicts: 1711000 | #Constraints: 61088
730.44/732.50 c INPROCESSING
730.44/732.50 c GARBAGE COLLECT
730.44/732.50 c rational objective -36
738.61/740.70 c #Conflicts: 1712000 | #Constraints: 32051
738.61/740.70 c #Conflicts: 1713000 | #Constraints: 33053
738.61/740.70 c #Conflicts: 1714000 | #Constraints: 34053
738.61/740.70 c #Conflicts: 1715000 | #Constraints: 35053
738.61/740.70 c #Conflicts: 1716000 | #Constraints: 36054
738.61/740.70 c #Conflicts: 1717000 | #Constraints: 37056
738.61/740.70 c #Conflicts: 1718000 | #Constraints: 38056
738.61/740.70 c #Conflicts: 1719000 | #Constraints: 39058
738.61/740.70 c #Conflicts: 1720000 | #Constraints: 40059
738.61/740.70 c #Conflicts: 1721000 | #Constraints: 41059
738.61/740.70 c #Conflicts: 1722000 | #Constraints: 42059
738.61/740.70 c #Conflicts: 1723000 | #Constraints: 43059
738.61/740.70 c #Conflicts: 1724000 | #Constraints: 44060
738.61/740.70 c #Conflicts: 1725000 | #Constraints: 45061
738.61/740.70 c #Conflicts: 1726000 | #Constraints: 46061
738.61/740.70 c #Conflicts: 1727000 | #Constraints: 47061
738.61/740.70 c #Conflicts: 1728000 | #Constraints: 48061
738.61/740.70 c #Conflicts: 1729000 | #Constraints: 49061
738.61/740.70 c #Conflicts: 1730000 | #Constraints: 50061
738.61/740.70 c #Conflicts: 1731000 | #Constraints: 51061
738.61/740.70 c #Conflicts: 1732000 | #Constraints: 52062
738.61/740.70 c #Conflicts: 1733000 | #Constraints: 53062
738.61/740.70 c #Conflicts: 1734000 | #Constraints: 54062
738.61/740.70 c #Conflicts: 1735000 | #Constraints: 55062
738.61/740.70 c #Conflicts: 1736000 | #Constraints: 56062
738.61/740.70 c #Conflicts: 1737000 | #Constraints: 57065
738.61/740.70 c #Conflicts: 1738000 | #Constraints: 58065
738.61/740.70 c #Conflicts: 1739000 | #Constraints: 59065
738.61/740.70 c INPROCESSING
738.61/740.70 c GARBAGE COLLECT
738.61/740.70 c rational objective -36
746.90/749.02 c #Conflicts: 1740000 | #Constraints: 31147
746.90/749.02 c #Conflicts: 1741000 | #Constraints: 32147
746.90/749.02 c #Conflicts: 1742000 | #Constraints: 33147
746.90/749.02 c #Conflicts: 1743000 | #Constraints: 34147
746.90/749.02 c #Conflicts: 1744000 | #Constraints: 35149
746.90/749.02 c #Conflicts: 1745000 | #Constraints: 36150
746.90/749.02 c #Conflicts: 1746000 | #Constraints: 37150
746.90/749.02 c #Conflicts: 1747000 | #Constraints: 38150
746.90/749.02 c #Conflicts: 1748000 | #Constraints: 39150
746.90/749.02 c #Conflicts: 1749000 | #Constraints: 40150
746.90/749.02 c #Conflicts: 1750000 | #Constraints: 41150
746.90/749.02 c #Conflicts: 1751000 | #Constraints: 42151
746.90/749.02 c #Conflicts: 1752000 | #Constraints: 43154
746.90/749.02 c #Conflicts: 1753000 | #Constraints: 44154
746.90/749.02 c #Conflicts: 1754000 | #Constraints: 45155
746.90/749.02 c #Conflicts: 1755000 | #Constraints: 46156
746.90/749.02 c #Conflicts: 1756000 | #Constraints: 47156
746.90/749.02 c #Conflicts: 1757000 | #Constraints: 48157
746.90/749.02 c #Conflicts: 1758000 | #Constraints: 49157
746.90/749.02 c #Conflicts: 1759000 | #Constraints: 50157
746.90/749.02 c #Conflicts: 1760000 | #Constraints: 51159
746.90/749.02 c #Conflicts: 1761000 | #Constraints: 52159
746.90/749.02 c #Conflicts: 1762000 | #Constraints: 53159
746.90/749.02 c #Conflicts: 1763000 | #Constraints: 54160
746.90/749.02 c #Conflicts: 1764000 | #Constraints: 55160
746.90/749.02 c #Conflicts: 1765000 | #Constraints: 56161
746.90/749.02 c #Conflicts: 1766000 | #Constraints: 57162
746.90/749.02 c #Conflicts: 1767000 | #Constraints: 58163
746.90/749.02 c INPROCESSING
746.90/749.02 c GARBAGE COLLECT
746.90/749.02 c rational objective -36
780.01/782.25 c #Conflicts: 1768000 | #Constraints: 30689
780.01/782.25 c #Conflicts: 1769000 | #Constraints: 31690
780.01/782.25 c #Conflicts: 1770000 | #Constraints: 32690
780.01/782.25 c #Conflicts: 1771000 | #Constraints: 33690
780.01/782.25 c #Conflicts: 1772000 | #Constraints: 34690
780.01/782.25 c #Conflicts: 1773000 | #Constraints: 35691
780.01/782.25 c #Conflicts: 1774000 | #Constraints: 36693
780.01/782.25 c #Conflicts: 1775000 | #Constraints: 37694
780.01/782.25 c #Conflicts: 1776000 | #Constraints: 38695
780.01/782.25 c #Conflicts: 1777000 | #Constraints: 39695
780.01/782.25 c #Conflicts: 1778000 | #Constraints: 40696
780.01/782.25 c #Conflicts: 1779000 | #Constraints: 41696
780.01/782.25 c #Conflicts: 1780000 | #Constraints: 42699
780.01/782.25 c #Conflicts: 1781000 | #Constraints: 43699
780.01/782.25 c #Conflicts: 1782000 | #Constraints: 44699
780.01/782.25 c #Conflicts: 1783000 | #Constraints: 45699
780.01/782.25 c #Conflicts: 1784000 | #Constraints: 46700
780.01/782.25 c #Conflicts: 1785000 | #Constraints: 47700
780.01/782.25 c #Conflicts: 1786000 | #Constraints: 48701
780.01/782.25 c #Conflicts: 1787000 | #Constraints: 49702
780.01/782.25 c #Conflicts: 1788000 | #Constraints: 50703
780.01/782.25 c #Conflicts: 1789000 | #Constraints: 51703
780.01/782.25 c #Conflicts: 1790000 | #Constraints: 52704
780.01/782.25 c #Conflicts: 1791000 | #Constraints: 53704
780.01/782.25 c #Conflicts: 1792000 | #Constraints: 54704
780.01/782.25 c #Conflicts: 1793000 | #Constraints: 55705
780.01/782.25 c #Conflicts: 1794000 | #Constraints: 56705
780.01/782.25 c #Conflicts: 1795000 | #Constraints: 57705
780.01/782.25 c #Conflicts: 1796000 | #Constraints: 58705
780.01/782.25 c #Conflicts: 1797000 | #Constraints: 59705
780.01/782.25 c #Conflicts: 1798000 | #Constraints: 60705
780.01/782.25 c #Conflicts: 1799000 | #Constraints: 61705
780.01/782.25 c #Conflicts: 1800000 | #Constraints: 62706
780.01/782.25 c #Conflicts: 1801000 | #Constraints: 63706
780.01/782.25 c #Conflicts: 1802000 | #Constraints: 64706
780.01/782.25 c #Conflicts: 1803000 | #Constraints: 65706
780.01/782.25 c #Conflicts: 1804000 | #Constraints: 66706
780.01/782.25 c #Conflicts: 1805000 | #Constraints: 67707
780.01/782.25 c #Conflicts: 1806000 | #Constraints: 68707
780.01/782.25 c #Conflicts: 1807000 | #Constraints: 69707
780.01/782.25 c #Conflicts: 1808000 | #Constraints: 70707
780.01/782.25 c #Conflicts: 1809000 | #Constraints: 71707
780.01/782.25 c #Conflicts: 1810000 | #Constraints: 72708
780.01/782.25 c #Conflicts: 1811000 | #Constraints: 73708
780.01/782.25 c #Conflicts: 1812000 | #Constraints: 74708
780.01/782.25 c #Conflicts: 1813000 | #Constraints: 75709
780.01/782.25 c #Conflicts: 1814000 | #Constraints: 76709
780.01/782.25 c #Conflicts: 1815000 | #Constraints: 77709
780.01/782.25 c #Conflicts: 1816000 | #Constraints: 78709
780.01/782.25 c #Conflicts: 1817000 | #Constraints: 79709
780.01/782.25 c #Conflicts: 1818000 | #Constraints: 80709
780.01/782.25 c #Conflicts: 1819000 | #Constraints: 81709
780.01/782.25 c #Conflicts: 1820000 | #Constraints: 82709
780.01/782.25 c #Conflicts: 1821000 | #Constraints: 83710
780.01/782.25 c #Conflicts: 1822000 | #Constraints: 84711
780.01/782.25 c #Conflicts: 1823000 | #Constraints: 85711
780.01/782.25 c #Conflicts: 1824000 | #Constraints: 86711
780.01/782.25 c #Conflicts: 1825000 | #Constraints: 87711
780.01/782.25 c #Conflicts: 1826000 | #Constraints: 88713
780.01/782.25 c #Conflicts: 1827000 | #Constraints: 89713
780.01/782.25 c #Conflicts: 1828000 | #Constraints: 90713
780.01/782.25 c #Conflicts: 1829000 | #Constraints: 91713
780.01/782.25 c #Conflicts: 1830000 | #Constraints: 92713
780.01/782.25 c #Conflicts: 1831000 | #Constraints: 93713
780.01/782.25 c #Conflicts: 1832000 | #Constraints: 94713
780.01/782.25 c #Conflicts: 1833000 | #Constraints: 95713
780.01/782.25 c #Conflicts: 1834000 | #Constraints: 96713
780.01/782.25 c #Conflicts: 1835000 | #Constraints: 97713
780.01/782.25 c #Conflicts: 1836000 | #Constraints: 98714
780.01/782.25 c #Conflicts: 1837000 | #Constraints: 99714
780.01/782.25 c #Conflicts: 1838000 | #Constraints: 100714
780.01/782.25 c #Conflicts: 1839000 | #Constraints: 101715
780.01/782.25 c #Conflicts: 1840000 | #Constraints: 102716
780.01/782.25 c #Conflicts: 1841000 | #Constraints: 103716
780.01/782.25 c #Conflicts: 1842000 | #Constraints: 104716
780.01/782.25 c #Conflicts: 1843000 | #Constraints: 105716
780.01/782.25 c #Conflicts: 1844000 | #Constraints: 106716
780.01/782.25 c #Conflicts: 1845000 | #Constraints: 107717
780.01/782.25 c #Conflicts: 1846000 | #Constraints: 108717
792.27/794.53 c #Conflicts: 1847000 | #Constraints: 109717
792.27/794.53 c #Conflicts: 1848000 | #Constraints: 110718
792.27/794.53 c #Conflicts: 1849000 | #Constraints: 111719
792.27/794.53 c #Conflicts: 1850000 | #Constraints: 112719
792.27/794.53 c #Conflicts: 1851000 | #Constraints: 113719
792.27/794.53 c #Conflicts: 1852000 | #Constraints: 114719
792.27/794.53 c #Conflicts: 1853000 | #Constraints: 115720
792.27/794.53 c #Conflicts: 1854000 | #Constraints: 116720
792.27/794.53 c #Conflicts: 1855000 | #Constraints: 117721
792.27/794.53 c #Conflicts: 1856000 | #Constraints: 118721
792.27/794.53 c #Conflicts: 1857000 | #Constraints: 119721
792.27/794.53 c #Conflicts: 1858000 | #Constraints: 120722
792.27/794.53 c #Conflicts: 1859000 | #Constraints: 121723
792.27/794.53 c #Conflicts: 1860000 | #Constraints: 122723
792.27/794.53 c #Conflicts: 1861000 | #Constraints: 123723
792.27/794.53 c #Conflicts: 1862000 | #Constraints: 124723
792.27/794.53 c #Conflicts: 1863000 | #Constraints: 125723
792.27/794.53 c #Conflicts: 1864000 | #Constraints: 126723
792.27/794.53 c bounds -33 >= -35 @ 781.57
806.13/808.40 c #Conflicts: 1865000 | #Constraints: 127748
806.13/808.40 c #Conflicts: 1866000 | #Constraints: 128751
806.13/808.40 c #Conflicts: 1867000 | #Constraints: 129753
806.13/808.40 c #Conflicts: 1868000 | #Constraints: 130754
806.13/808.40 c #Conflicts: 1869000 | #Constraints: 131757
806.13/808.40 c #Conflicts: 1870000 | #Constraints: 132758
806.13/808.40 c #Conflicts: 1871000 | #Constraints: 133758
806.13/808.40 c #Conflicts: 1872000 | #Constraints: 134759
806.13/808.40 c #Conflicts: 1873000 | #Constraints: 135761
806.13/808.40 c #Conflicts: 1874000 | #Constraints: 136763
806.13/808.40 c #Conflicts: 1875000 | #Constraints: 137767
806.13/808.40 c #Conflicts: 1876000 | #Constraints: 138768
806.13/808.40 c #Conflicts: 1877000 | #Constraints: 139771
806.13/808.40 c #Conflicts: 1878000 | #Constraints: 140773
806.13/808.40 c #Conflicts: 1879000 | #Constraints: 141775
806.13/808.40 c #Conflicts: 1880000 | #Constraints: 142780
806.13/808.40 c #Conflicts: 1881000 | #Constraints: 143783
806.13/808.40 c INPROCESSING
806.13/808.40 c GARBAGE COLLECT
806.13/808.40 c rational objective -35
820.20/822.56 c #Conflicts: 1882000 | #Constraints: 73170
820.20/822.56 c #Conflicts: 1883000 | #Constraints: 74211
820.20/822.56 c #Conflicts: 1884000 | #Constraints: 75263
820.20/822.56 c #Conflicts: 1885000 | #Constraints: 76310
820.20/822.56 c #Conflicts: 1886000 | #Constraints: 77353
820.20/822.56 c #Conflicts: 1887000 | #Constraints: 78404
820.20/822.56 c #Conflicts: 1888000 | #Constraints: 79453
820.20/822.56 c #Conflicts: 1889000 | #Constraints: 80496
820.20/822.56 c #Conflicts: 1890000 | #Constraints: 81548
820.20/822.56 c #Conflicts: 1891000 | #Constraints: 82585
820.20/822.56 c #Conflicts: 1892000 | #Constraints: 83629
820.20/822.56 c #Conflicts: 1893000 | #Constraints: 84671
820.20/822.56 c #Conflicts: 1894000 | #Constraints: 85707
820.20/822.56 c #Conflicts: 1895000 | #Constraints: 86756
820.20/822.56 c #Conflicts: 1896000 | #Constraints: 87798
820.20/822.56 c #Conflicts: 1897000 | #Constraints: 88836
820.20/822.56 c #Conflicts: 1898000 | #Constraints: 89885
820.20/822.56 c #Conflicts: 1899000 | #Constraints: 90929
820.20/822.56 c #Conflicts: 1900000 | #Constraints: 91967
820.20/822.56 c #Conflicts: 1901000 | #Constraints: 93001
820.20/822.56 c #Conflicts: 1902000 | #Constraints: 94049
820.20/822.56 c #Conflicts: 1903000 | #Constraints: 95092
820.20/822.56 c #Conflicts: 1904000 | #Constraints: 96132
820.20/822.56 c #Conflicts: 1905000 | #Constraints: 97169
820.20/822.56 c #Conflicts: 1906000 | #Constraints: 98218
820.20/822.56 c #Conflicts: 1907000 | #Constraints: 99268
820.20/822.56 c #Conflicts: 1908000 | #Constraints: 100314
820.20/822.56 c #Conflicts: 1909000 | #Constraints: 101359
820.20/822.56 c #Conflicts: 1910000 | #Constraints: 102405
820.20/822.56 c INPROCESSING
820.20/822.56 c GARBAGE COLLECT
820.20/822.56 c rational objective -35
834.95/837.31 c #Conflicts: 1911000 | #Constraints: 52374
834.95/837.31 c #Conflicts: 1912000 | #Constraints: 53379
834.95/837.31 c #Conflicts: 1913000 | #Constraints: 54384
834.95/837.31 c #Conflicts: 1914000 | #Constraints: 55386
834.95/837.31 c #Conflicts: 1915000 | #Constraints: 56388
834.95/837.31 c #Conflicts: 1916000 | #Constraints: 57390
834.95/837.31 c #Conflicts: 1917000 | #Constraints: 58397
834.95/837.31 c #Conflicts: 1918000 | #Constraints: 59400
834.95/837.31 c #Conflicts: 1919000 | #Constraints: 60404
834.95/837.31 c #Conflicts: 1920000 | #Constraints: 61405
834.95/837.31 c #Conflicts: 1921000 | #Constraints: 62407
834.95/837.31 c #Conflicts: 1922000 | #Constraints: 63409
834.95/837.31 c #Conflicts: 1923000 | #Constraints: 64410
834.95/837.31 c #Conflicts: 1924000 | #Constraints: 65411
834.95/837.31 c #Conflicts: 1925000 | #Constraints: 66413
834.95/837.31 c #Conflicts: 1926000 | #Constraints: 67414
834.95/837.31 c #Conflicts: 1927000 | #Constraints: 68415
834.95/837.31 c #Conflicts: 1928000 | #Constraints: 69419
834.95/837.31 c #Conflicts: 1929000 | #Constraints: 70421
834.95/837.31 c #Conflicts: 1930000 | #Constraints: 71422
834.95/837.31 c #Conflicts: 1931000 | #Constraints: 72422
834.95/837.31 c #Conflicts: 1932000 | #Constraints: 73423
834.95/837.31 c #Conflicts: 1933000 | #Constraints: 74424
834.95/837.31 c #Conflicts: 1934000 | #Constraints: 75424
834.95/837.31 c #Conflicts: 1935000 | #Constraints: 76424
834.95/837.31 c #Conflicts: 1936000 | #Constraints: 77426
834.95/837.31 c #Conflicts: 1937000 | #Constraints: 78426
834.95/837.31 c #Conflicts: 1938000 | #Constraints: 79427
834.95/837.31 c #Conflicts: 1939000 | #Constraints: 80428
834.95/837.31 c #Conflicts: 1940000 | #Constraints: 81429
834.95/837.31 c INPROCESSING
834.95/837.31 c GARBAGE COLLECT
834.95/837.31 c rational objective -35
848.21/850.60 c #Conflicts: 1941000 | #Constraints: 42164
848.21/850.60 c #Conflicts: 1942000 | #Constraints: 43205
848.21/850.60 c #Conflicts: 1943000 | #Constraints: 44248
848.21/850.60 c #Conflicts: 1944000 | #Constraints: 45299
848.21/850.60 c #Conflicts: 1945000 | #Constraints: 46351
848.21/850.60 c #Conflicts: 1946000 | #Constraints: 47397
848.21/850.60 c #Conflicts: 1947000 | #Constraints: 48443
848.21/850.60 c #Conflicts: 1948000 | #Constraints: 49493
848.21/850.60 c #Conflicts: 1949000 | #Constraints: 50540
848.21/850.60 c #Conflicts: 1950000 | #Constraints: 51594
848.21/850.60 c #Conflicts: 1951000 | #Constraints: 52643
848.21/850.60 c #Conflicts: 1952000 | #Constraints: 53693
848.21/850.60 c #Conflicts: 1953000 | #Constraints: 54744
848.21/850.60 c #Conflicts: 1954000 | #Constraints: 55788
848.21/850.60 c #Conflicts: 1955000 | #Constraints: 56836
848.21/850.60 c #Conflicts: 1956000 | #Constraints: 57884
848.21/850.60 c #Conflicts: 1957000 | #Constraints: 58934
848.21/850.60 c #Conflicts: 1958000 | #Constraints: 59972
848.21/850.60 c #Conflicts: 1959000 | #Constraints: 61015
848.21/850.60 c #Conflicts: 1960000 | #Constraints: 62059
848.21/850.60 c #Conflicts: 1961000 | #Constraints: 63099
848.21/850.60 c #Conflicts: 1962000 | #Constraints: 64140
848.21/850.60 c #Conflicts: 1963000 | #Constraints: 65191
848.21/850.60 c #Conflicts: 1964000 | #Constraints: 66231
848.21/850.60 c #Conflicts: 1965000 | #Constraints: 67285
848.21/850.60 c #Conflicts: 1966000 | #Constraints: 68341
848.21/850.60 c #Conflicts: 1967000 | #Constraints: 69385
848.21/850.60 c #Conflicts: 1968000 | #Constraints: 70427
848.21/850.60 c #Conflicts: 1969000 | #Constraints: 71469
848.21/850.60 c #Conflicts: 1970000 | #Constraints: 72509
848.21/850.60 c INPROCESSING
848.21/850.60 c GARBAGE COLLECT
848.21/850.60 c rational objective -35
858.50/860.92 c #Conflicts: 1971000 | #Constraints: 37824
858.50/860.92 c #Conflicts: 1972000 | #Constraints: 38829
858.50/860.92 c #Conflicts: 1973000 | #Constraints: 39833
858.50/860.92 c #Conflicts: 1974000 | #Constraints: 40836
858.50/860.92 c #Conflicts: 1975000 | #Constraints: 41841
858.50/860.92 c #Conflicts: 1976000 | #Constraints: 42842
858.50/860.92 c #Conflicts: 1977000 | #Constraints: 43843
858.50/860.92 c #Conflicts: 1978000 | #Constraints: 44847
858.50/860.92 c #Conflicts: 1979000 | #Constraints: 45850
858.50/860.92 c #Conflicts: 1980000 | #Constraints: 46854
858.50/860.92 c #Conflicts: 1981000 | #Constraints: 47856
858.50/860.92 c #Conflicts: 1982000 | #Constraints: 48857
858.50/860.92 c #Conflicts: 1983000 | #Constraints: 49857
858.50/860.92 c #Conflicts: 1984000 | #Constraints: 50859
858.50/860.92 c #Conflicts: 1985000 | #Constraints: 51860
858.50/860.92 c #Conflicts: 1986000 | #Constraints: 52865
858.50/860.92 c #Conflicts: 1987000 | #Constraints: 53867
858.50/860.92 c #Conflicts: 1988000 | #Constraints: 54869
858.50/860.92 c #Conflicts: 1989000 | #Constraints: 55870
858.50/860.92 c #Conflicts: 1990000 | #Constraints: 56873
858.50/860.92 c #Conflicts: 1991000 | #Constraints: 57874
858.50/860.92 c #Conflicts: 1992000 | #Constraints: 58875
858.50/860.92 c #Conflicts: 1993000 | #Constraints: 59877
858.50/860.92 c #Conflicts: 1994000 | #Constraints: 60879
858.50/860.92 c #Conflicts: 1995000 | #Constraints: 61883
858.50/860.92 c #Conflicts: 1996000 | #Constraints: 62884
858.50/860.92 c #Conflicts: 1997000 | #Constraints: 63885
858.50/860.92 c #Conflicts: 1998000 | #Constraints: 64889
858.50/860.92 c #Conflicts: 1999000 | #Constraints: 65889
858.50/860.92 c #Conflicts: 2000000 | #Constraints: 66892
858.50/860.92 c INPROCESSING
858.50/860.92 c GARBAGE COLLECT
858.50/860.92 c rational objective -35
868.36/870.87 c #Conflicts: 2001000 | #Constraints: 35067
868.36/870.87 c #Conflicts: 2002000 | #Constraints: 36068
868.36/870.87 c #Conflicts: 2003000 | #Constraints: 37068
868.36/870.87 c #Conflicts: 2004000 | #Constraints: 38069
868.36/870.87 c #Conflicts: 2005000 | #Constraints: 39072
868.36/870.87 c #Conflicts: 2006000 | #Constraints: 40072
868.36/870.87 c #Conflicts: 2007000 | #Constraints: 41074
868.36/870.87 c #Conflicts: 2008000 | #Constraints: 42077
868.36/870.87 c #Conflicts: 2009000 | #Constraints: 43082
868.36/870.87 c #Conflicts: 2010000 | #Constraints: 44082
868.36/870.87 c #Conflicts: 2011000 | #Constraints: 45083
868.36/870.87 c #Conflicts: 2012000 | #Constraints: 46085
868.36/870.87 c #Conflicts: 2013000 | #Constraints: 47087
868.36/870.87 c #Conflicts: 2014000 | #Constraints: 48087
868.36/870.87 c #Conflicts: 2015000 | #Constraints: 49088
868.36/870.87 c #Conflicts: 2016000 | #Constraints: 50090
868.36/870.87 c #Conflicts: 2017000 | #Constraints: 51090
868.36/870.87 c #Conflicts: 2018000 | #Constraints: 52090
868.36/870.87 c #Conflicts: 2019000 | #Constraints: 53090
868.36/870.87 c #Conflicts: 2020000 | #Constraints: 54095
868.36/870.87 c #Conflicts: 2021000 | #Constraints: 55097
868.36/870.87 c #Conflicts: 2022000 | #Constraints: 56099
868.36/870.87 c #Conflicts: 2023000 | #Constraints: 57102
868.36/870.87 c #Conflicts: 2024000 | #Constraints: 58103
868.36/870.87 c #Conflicts: 2025000 | #Constraints: 59103
868.36/870.87 c #Conflicts: 2026000 | #Constraints: 60107
868.36/870.87 c #Conflicts: 2027000 | #Constraints: 61109
868.36/870.87 c #Conflicts: 2028000 | #Constraints: 62111
868.36/870.87 c #Conflicts: 2029000 | #Constraints: 63112
868.36/870.87 c #Conflicts: 2030000 | #Constraints: 64113
868.36/870.87 c INPROCESSING
868.36/870.87 c GARBAGE COLLECT
868.36/870.87 c rational objective -35
953.13/955.87 c #Conflicts: 2031000 | #Constraints: 33659
953.13/955.87 c #Conflicts: 2032000 | #Constraints: 34698
953.13/955.87 c #Conflicts: 2033000 | #Constraints: 35739
953.13/955.87 c #Conflicts: 2034000 | #Constraints: 36789
953.13/955.87 c #Conflicts: 2035000 | #Constraints: 37835
953.13/955.87 c #Conflicts: 2036000 | #Constraints: 38885
953.13/955.87 c #Conflicts: 2037000 | #Constraints: 39940
953.13/955.87 c #Conflicts: 2038000 | #Constraints: 40987
953.13/955.87 c #Conflicts: 2039000 | #Constraints: 42037
953.13/955.87 c #Conflicts: 2040000 | #Constraints: 43086
953.13/955.87 c #Conflicts: 2041000 | #Constraints: 44120
953.13/955.87 c #Conflicts: 2042000 | #Constraints: 45168
953.13/955.87 c #Conflicts: 2043000 | #Constraints: 46216
953.13/955.87 c #Conflicts: 2044000 | #Constraints: 47264
953.13/955.87 c #Conflicts: 2045000 | #Constraints: 48305
953.13/955.87 c #Conflicts: 2046000 | #Constraints: 49360
953.13/955.87 c #Conflicts: 2047000 | #Constraints: 50402
953.13/955.87 c #Conflicts: 2048000 | #Constraints: 51435
953.13/955.87 c #Conflicts: 2049000 | #Constraints: 52469
953.13/955.87 c #Conflicts: 2050000 | #Constraints: 53511
953.13/955.87 c #Conflicts: 2051000 | #Constraints: 54546
953.13/955.87 c #Conflicts: 2052000 | #Constraints: 55580
953.13/955.87 c #Conflicts: 2053000 | #Constraints: 56620
953.13/955.87 c #Conflicts: 2054000 | #Constraints: 57664
953.13/955.87 c #Conflicts: 2055000 | #Constraints: 58709
953.13/955.87 c #Conflicts: 2056000 | #Constraints: 59755
953.13/955.87 c #Conflicts: 2057000 | #Constraints: 60807
953.13/955.87 c #Conflicts: 2058000 | #Constraints: 61858
953.13/955.87 c #Conflicts: 2059000 | #Constraints: 62912
953.13/955.87 c #Conflicts: 2060000 | #Constraints: 63958
953.13/955.87 c #Conflicts: 2061000 | #Constraints: 65006
953.13/955.87 c #Conflicts: 2062000 | #Constraints: 66047
953.13/955.87 c #Conflicts: 2063000 | #Constraints: 67090
953.13/955.87 c #Conflicts: 2064000 | #Constraints: 68140
953.13/955.87 c #Conflicts: 2065000 | #Constraints: 69181
953.13/955.87 c #Conflicts: 2066000 | #Constraints: 70221
953.13/955.87 c #Conflicts: 2067000 | #Constraints: 71259
953.13/955.87 c #Conflicts: 2068000 | #Constraints: 72302
953.13/955.87 c #Conflicts: 2069000 | #Constraints: 73348
953.13/955.87 c #Conflicts: 2070000 | #Constraints: 74385
953.13/955.87 c #Conflicts: 2071000 | #Constraints: 75425
953.13/955.87 c #Conflicts: 2072000 | #Constraints: 76466
953.13/955.87 c #Conflicts: 2073000 | #Constraints: 77507
953.13/955.87 c #Conflicts: 2074000 | #Constraints: 78550
953.13/955.87 c #Conflicts: 2075000 | #Constraints: 79592
953.13/955.87 c #Conflicts: 2076000 | #Constraints: 80635
953.13/955.87 c #Conflicts: 2077000 | #Constraints: 81676
953.13/955.87 c #Conflicts: 2078000 | #Constraints: 82707
953.13/955.87 c #Conflicts: 2079000 | #Constraints: 83744
953.13/955.87 c #Conflicts: 2080000 | #Constraints: 84784
953.13/955.87 c #Conflicts: 2081000 | #Constraints: 85834
953.13/955.87 c #Conflicts: 2082000 | #Constraints: 86874
953.13/955.87 c #Conflicts: 2083000 | #Constraints: 87916
953.13/955.87 c #Conflicts: 2084000 | #Constraints: 88963
953.13/955.87 c #Conflicts: 2085000 | #Constraints: 90006
953.13/955.87 c #Conflicts: 2086000 | #Constraints: 91056
953.13/955.87 c #Conflicts: 2087000 | #Constraints: 92108
953.13/955.87 c #Conflicts: 2088000 | #Constraints: 93150
953.13/955.87 c #Conflicts: 2089000 | #Constraints: 94203
953.13/955.87 c #Conflicts: 2090000 | #Constraints: 95246
953.13/955.87 c #Conflicts: 2091000 | #Constraints: 96291
953.13/955.87 c #Conflicts: 2092000 | #Constraints: 97336
953.13/955.87 c #Conflicts: 2093000 | #Constraints: 98378
953.13/955.87 c #Conflicts: 2094000 | #Constraints: 99419
953.13/955.87 c #Conflicts: 2095000 | #Constraints: 100461
953.13/955.87 c #Conflicts: 2096000 | #Constraints: 101508
953.13/955.87 c #Conflicts: 2097000 | #Constraints: 102546
953.13/955.87 c #Conflicts: 2098000 | #Constraints: 103593
953.13/955.87 c #Conflicts: 2099000 | #Constraints: 104636
953.13/955.87 c #Conflicts: 2100000 | #Constraints: 105688
953.13/955.87 c #Conflicts: 2101000 | #Constraints: 106734
953.13/955.87 c #Conflicts: 2102000 | #Constraints: 107782
953.13/955.87 c #Conflicts: 2103000 | #Constraints: 108828
953.13/955.87 c #Conflicts: 2104000 | #Constraints: 109872
953.13/955.87 c #Conflicts: 2105000 | #Constraints: 110908
953.13/955.87 c #Conflicts: 2106000 | #Constraints: 111951
953.13/955.87 c #Conflicts: 2107000 | #Constraints: 112990
953.13/955.87 c #Conflicts: 2108000 | #Constraints: 114026
953.13/955.87 c #Conflicts: 2109000 | #Constraints: 115065
1073.68/1076.74 c #Conflicts: 2110000 | #Constraints: 116104
1073.68/1076.74 c #Conflicts: 2111000 | #Constraints: 117149
1073.68/1076.74 c #Conflicts: 2112000 | #Constraints: 118186
1073.68/1076.74 c #Conflicts: 2113000 | #Constraints: 119231
1073.68/1076.74 c #Conflicts: 2114000 | #Constraints: 120271
1073.68/1076.74 c #Conflicts: 2115000 | #Constraints: 121314
1073.68/1076.74 c #Conflicts: 2116000 | #Constraints: 122354
1073.68/1076.74 c #Conflicts: 2117000 | #Constraints: 123395
1073.68/1076.74 c #Conflicts: 2118000 | #Constraints: 124439
1073.68/1076.74 c #Conflicts: 2119000 | #Constraints: 125485
1073.68/1076.74 c #Conflicts: 2120000 | #Constraints: 126527
1073.68/1076.74 c #Conflicts: 2121000 | #Constraints: 127564
1073.68/1076.74 c #Conflicts: 2122000 | #Constraints: 128597
1073.68/1076.74 c #Conflicts: 2123000 | #Constraints: 129632
1073.68/1076.74 c #Conflicts: 2124000 | #Constraints: 130667
1073.68/1076.74 c #Conflicts: 2125000 | #Constraints: 131701
1073.68/1076.74 c #Conflicts: 2126000 | #Constraints: 132731
1073.68/1076.74 c #Conflicts: 2127000 | #Constraints: 133773
1073.68/1076.74 c #Conflicts: 2128000 | #Constraints: 134810
1073.68/1076.74 c #Conflicts: 2129000 | #Constraints: 135856
1073.68/1076.74 c #Conflicts: 2130000 | #Constraints: 136902
1073.68/1076.74 c #Conflicts: 2131000 | #Constraints: 137948
1073.68/1076.74 c #Conflicts: 2132000 | #Constraints: 138990
1073.68/1076.74 c #Conflicts: 2133000 | #Constraints: 140033
1073.68/1076.74 c #Conflicts: 2134000 | #Constraints: 141075
1073.68/1076.74 c #Conflicts: 2135000 | #Constraints: 142127
1073.68/1076.74 c #Conflicts: 2136000 | #Constraints: 143170
1073.68/1076.74 c #Conflicts: 2137000 | #Constraints: 144210
1073.68/1076.74 c #Conflicts: 2138000 | #Constraints: 145256
1073.68/1076.74 c #Conflicts: 2139000 | #Constraints: 146295
1073.68/1076.74 c #Conflicts: 2140000 | #Constraints: 147336
1073.68/1076.74 c #Conflicts: 2141000 | #Constraints: 148380
1073.68/1076.74 c #Conflicts: 2142000 | #Constraints: 149425
1073.68/1076.74 c #Conflicts: 2143000 | #Constraints: 150475
1073.68/1076.74 c #Conflicts: 2144000 | #Constraints: 151515
1073.68/1076.74 c #Conflicts: 2145000 | #Constraints: 152559
1073.68/1076.74 c #Conflicts: 2146000 | #Constraints: 153601
1073.68/1076.74 c #Conflicts: 2147000 | #Constraints: 154644
1073.68/1076.74 c #Conflicts: 2148000 | #Constraints: 155689
1073.68/1076.74 c #Conflicts: 2149000 | #Constraints: 156729
1073.68/1076.74 c #Conflicts: 2150000 | #Constraints: 157775
1073.68/1076.74 c #Conflicts: 2151000 | #Constraints: 158823
1073.68/1076.74 c #Conflicts: 2152000 | #Constraints: 159863
1073.68/1076.74 c INPROCESSING
1073.68/1076.74 c GARBAGE COLLECT
1073.68/1076.74 c rational objective -35
1155.84/1159.17 c #Conflicts: 2153000 | #Constraints: 81450
1155.84/1159.17 c #Conflicts: 2154000 | #Constraints: 82470
1155.84/1159.17 c #Conflicts: 2155000 | #Constraints: 83473
1155.84/1159.17 c #Conflicts: 2156000 | #Constraints: 84473
1155.84/1159.17 c #Conflicts: 2157000 | #Constraints: 85473
1155.84/1159.17 c #Conflicts: 2158000 | #Constraints: 86473
1155.84/1159.17 c #Conflicts: 2159000 | #Constraints: 87475
1155.84/1159.17 c #Conflicts: 2160000 | #Constraints: 88475
1155.84/1159.17 c #Conflicts: 2161000 | #Constraints: 89475
1155.84/1159.17 c #Conflicts: 2162000 | #Constraints: 90477
1155.84/1159.17 c #Conflicts: 2163000 | #Constraints: 91477
1155.84/1159.17 c #Conflicts: 2164000 | #Constraints: 92477
1155.84/1159.17 c #Conflicts: 2165000 | #Constraints: 93479
1155.84/1159.17 c #Conflicts: 2166000 | #Constraints: 94480
1155.84/1159.17 c #Conflicts: 2167000 | #Constraints: 95481
1155.84/1159.17 c #Conflicts: 2168000 | #Constraints: 96481
1155.84/1159.17 c #Conflicts: 2169000 | #Constraints: 97481
1155.84/1159.17 c #Conflicts: 2170000 | #Constraints: 98483
1155.84/1159.17 c #Conflicts: 2171000 | #Constraints: 99484
1155.84/1159.17 c #Conflicts: 2172000 | #Constraints: 100484
1155.84/1159.17 c #Conflicts: 2173000 | #Constraints: 101486
1155.84/1159.17 c #Conflicts: 2174000 | #Constraints: 102487
1155.84/1159.17 c #Conflicts: 2175000 | #Constraints: 103489
1155.84/1159.17 c #Conflicts: 2176000 | #Constraints: 104489
1155.84/1159.17 c #Conflicts: 2177000 | #Constraints: 105490
1155.84/1159.17 c #Conflicts: 2178000 | #Constraints: 106491
1155.84/1159.17 c #Conflicts: 2179000 | #Constraints: 107492
1155.84/1159.17 c #Conflicts: 2180000 | #Constraints: 108494
1155.84/1159.17 c #Conflicts: 2181000 | #Constraints: 109497
1155.84/1159.17 c #Conflicts: 2182000 | #Constraints: 110499
1155.84/1159.17 c #Conflicts: 2183000 | #Constraints: 111499
1155.84/1159.17 c INPROCESSING
1155.84/1159.17 c GARBAGE COLLECT
1155.84/1159.17 c rational objective -35
1186.25/1189.66 c #Conflicts: 2184000 | #Constraints: 57071
1186.25/1189.66 c #Conflicts: 2185000 | #Constraints: 58072
1186.25/1189.66 c #Conflicts: 2186000 | #Constraints: 59076
1186.25/1189.66 c #Conflicts: 2187000 | #Constraints: 60077
1186.25/1189.66 c #Conflicts: 2188000 | #Constraints: 61077
1186.25/1189.66 c #Conflicts: 2189000 | #Constraints: 62077
1186.25/1189.66 c #Conflicts: 2190000 | #Constraints: 63077
1186.25/1189.66 c #Conflicts: 2191000 | #Constraints: 64078
1186.25/1189.66 c #Conflicts: 2192000 | #Constraints: 65079
1186.25/1189.66 c #Conflicts: 2193000 | #Constraints: 66079
1186.25/1189.66 c #Conflicts: 2194000 | #Constraints: 67082
1186.25/1189.66 c #Conflicts: 2195000 | #Constraints: 68082
1186.25/1189.66 c #Conflicts: 2196000 | #Constraints: 69085
1186.25/1189.66 c #Conflicts: 2197000 | #Constraints: 70087
1186.25/1189.66 c #Conflicts: 2198000 | #Constraints: 71087
1186.25/1189.66 c #Conflicts: 2199000 | #Constraints: 72087
1186.25/1189.66 c #Conflicts: 2200000 | #Constraints: 73089
1186.25/1189.66 c #Conflicts: 2201000 | #Constraints: 74091
1186.25/1189.66 c #Conflicts: 2202000 | #Constraints: 75093
1186.25/1189.66 c #Conflicts: 2203000 | #Constraints: 76093
1186.25/1189.66 c #Conflicts: 2204000 | #Constraints: 77094
1186.25/1189.66 c #Conflicts: 2205000 | #Constraints: 78096
1186.25/1189.66 c #Conflicts: 2206000 | #Constraints: 79097
1186.25/1189.66 c #Conflicts: 2207000 | #Constraints: 80098
1186.25/1189.66 c #Conflicts: 2208000 | #Constraints: 81100
1186.25/1189.66 c #Conflicts: 2209000 | #Constraints: 82101
1186.25/1189.66 c #Conflicts: 2210000 | #Constraints: 83102
1186.25/1189.66 c #Conflicts: 2211000 | #Constraints: 84102
1186.25/1189.66 c #Conflicts: 2212000 | #Constraints: 85102
1186.25/1189.66 c #Conflicts: 2213000 | #Constraints: 86102
1186.25/1189.66 c #Conflicts: 2214000 | #Constraints: 87102
1186.25/1189.66 c #Conflicts: 2215000 | #Constraints: 88102
1186.25/1189.66 c INPROCESSING
1186.25/1189.66 c GARBAGE COLLECT
1186.25/1189.66 c rational objective -35
1202.71/1206.17 c #Conflicts: 2216000 | #Constraints: 45582
1202.71/1206.17 c #Conflicts: 2217000 | #Constraints: 46584
1202.71/1206.17 c #Conflicts: 2218000 | #Constraints: 47585
1202.71/1206.17 c #Conflicts: 2219000 | #Constraints: 48587
1202.71/1206.17 c #Conflicts: 2220000 | #Constraints: 49587
1202.71/1206.17 c #Conflicts: 2221000 | #Constraints: 50588
1202.71/1206.17 c #Conflicts: 2222000 | #Constraints: 51588
1202.71/1206.17 c #Conflicts: 2223000 | #Constraints: 52588
1202.71/1206.17 c #Conflicts: 2224000 | #Constraints: 53589
1202.71/1206.17 c #Conflicts: 2225000 | #Constraints: 54589
1202.71/1206.17 c #Conflicts: 2226000 | #Constraints: 55589
1202.71/1206.17 c #Conflicts: 2227000 | #Constraints: 56589
1202.71/1206.17 c #Conflicts: 2228000 | #Constraints: 57590
1202.71/1206.17 c #Conflicts: 2229000 | #Constraints: 58590
1202.71/1206.17 c #Conflicts: 2230000 | #Constraints: 59592
1202.71/1206.17 c #Conflicts: 2231000 | #Constraints: 60593
1202.71/1206.17 c #Conflicts: 2232000 | #Constraints: 61593
1202.71/1206.17 c #Conflicts: 2233000 | #Constraints: 62594
1202.71/1206.17 c #Conflicts: 2234000 | #Constraints: 63594
1202.71/1206.17 c #Conflicts: 2235000 | #Constraints: 64595
1202.71/1206.17 c #Conflicts: 2236000 | #Constraints: 65596
1202.71/1206.17 c #Conflicts: 2237000 | #Constraints: 66598
1202.71/1206.17 c #Conflicts: 2238000 | #Constraints: 67599
1202.71/1206.17 c #Conflicts: 2239000 | #Constraints: 68601
1202.71/1206.17 c #Conflicts: 2240000 | #Constraints: 69603
1202.71/1206.17 c #Conflicts: 2241000 | #Constraints: 70605
1202.71/1206.17 c #Conflicts: 2242000 | #Constraints: 71607
1202.71/1206.17 c #Conflicts: 2243000 | #Constraints: 72607
1202.71/1206.17 c #Conflicts: 2244000 | #Constraints: 73607
1202.71/1206.17 c #Conflicts: 2245000 | #Constraints: 74608
1202.71/1206.17 c #Conflicts: 2246000 | #Constraints: 75610
1202.71/1206.17 c #Conflicts: 2247000 | #Constraints: 76611
1202.71/1206.17 c INPROCESSING
1202.71/1206.17 c GARBAGE COLLECT
1202.71/1206.17 c rational objective -35
1214.58/1218.10 c #Conflicts: 2248000 | #Constraints: 39917
1214.58/1218.10 c #Conflicts: 2249000 | #Constraints: 40918
1214.58/1218.10 c #Conflicts: 2250000 | #Constraints: 41919
1214.58/1218.10 c #Conflicts: 2251000 | #Constraints: 42919
1214.58/1218.10 c #Conflicts: 2252000 | #Constraints: 43919
1214.58/1218.10 c #Conflicts: 2253000 | #Constraints: 44919
1214.58/1218.10 c #Conflicts: 2254000 | #Constraints: 45919
1214.58/1218.10 c #Conflicts: 2255000 | #Constraints: 46922
1214.58/1218.10 c #Conflicts: 2256000 | #Constraints: 47922
1214.58/1218.10 c #Conflicts: 2257000 | #Constraints: 48925
1214.58/1218.10 c #Conflicts: 2258000 | #Constraints: 49926
1214.58/1218.10 c #Conflicts: 2259000 | #Constraints: 50927
1214.58/1218.10 c #Conflicts: 2260000 | #Constraints: 51929
1214.58/1218.10 c #Conflicts: 2261000 | #Constraints: 52931
1214.58/1218.10 c #Conflicts: 2262000 | #Constraints: 53931
1214.58/1218.10 c #Conflicts: 2263000 | #Constraints: 54933
1214.58/1218.10 c #Conflicts: 2264000 | #Constraints: 55935
1214.58/1218.10 c #Conflicts: 2265000 | #Constraints: 56935
1214.58/1218.10 c #Conflicts: 2266000 | #Constraints: 57936
1214.58/1218.10 c #Conflicts: 2267000 | #Constraints: 58937
1214.58/1218.10 c #Conflicts: 2268000 | #Constraints: 59937
1214.58/1218.10 c #Conflicts: 2269000 | #Constraints: 60938
1214.58/1218.10 c #Conflicts: 2270000 | #Constraints: 61939
1214.58/1218.10 c #Conflicts: 2271000 | #Constraints: 62939
1214.58/1218.10 c #Conflicts: 2272000 | #Constraints: 63942
1214.58/1218.10 c #Conflicts: 2273000 | #Constraints: 64946
1214.58/1218.10 c #Conflicts: 2274000 | #Constraints: 65947
1214.58/1218.10 c #Conflicts: 2275000 | #Constraints: 66948
1214.58/1218.10 c #Conflicts: 2276000 | #Constraints: 67949
1214.58/1218.10 c #Conflicts: 2277000 | #Constraints: 68949
1214.58/1218.10 c #Conflicts: 2278000 | #Constraints: 69950
1214.58/1218.10 c #Conflicts: 2279000 | #Constraints: 70950
1214.58/1218.10 c INPROCESSING
1214.58/1218.10 c GARBAGE COLLECT
1214.58/1218.10 c rational objective -35
1225.34/1228.87 c #Conflicts: 2280000 | #Constraints: 37096
1225.34/1228.87 c #Conflicts: 2281000 | #Constraints: 38098
1225.34/1228.87 c #Conflicts: 2282000 | #Constraints: 39099
1225.34/1228.87 c #Conflicts: 2283000 | #Constraints: 40099
1225.34/1228.87 c #Conflicts: 2284000 | #Constraints: 41099
1225.34/1228.87 c #Conflicts: 2285000 | #Constraints: 42100
1225.34/1228.87 c #Conflicts: 2286000 | #Constraints: 43100
1225.34/1228.87 c #Conflicts: 2287000 | #Constraints: 44102
1225.34/1228.87 c #Conflicts: 2288000 | #Constraints: 45102
1225.34/1228.87 c #Conflicts: 2289000 | #Constraints: 46102
1225.34/1228.87 c #Conflicts: 2290000 | #Constraints: 47102
1225.34/1228.87 c #Conflicts: 2291000 | #Constraints: 48102
1225.34/1228.87 c #Conflicts: 2292000 | #Constraints: 49103
1225.34/1228.87 c #Conflicts: 2293000 | #Constraints: 50103
1225.34/1228.87 c #Conflicts: 2294000 | #Constraints: 51107
1225.34/1228.87 c #Conflicts: 2295000 | #Constraints: 52107
1225.34/1228.87 c #Conflicts: 2296000 | #Constraints: 53107
1225.34/1228.87 c #Conflicts: 2297000 | #Constraints: 54107
1225.34/1228.87 c #Conflicts: 2298000 | #Constraints: 55109
1225.34/1228.87 c #Conflicts: 2299000 | #Constraints: 56109
1225.34/1228.87 c #Conflicts: 2300000 | #Constraints: 57109
1225.34/1228.87 c #Conflicts: 2301000 | #Constraints: 58111
1225.34/1228.87 c #Conflicts: 2302000 | #Constraints: 59111
1225.34/1228.87 c #Conflicts: 2303000 | #Constraints: 60112
1225.34/1228.87 c #Conflicts: 2304000 | #Constraints: 61112
1225.34/1228.87 c #Conflicts: 2305000 | #Constraints: 62113
1225.34/1228.87 c #Conflicts: 2306000 | #Constraints: 63114
1225.34/1228.87 c #Conflicts: 2307000 | #Constraints: 64114
1225.34/1228.87 c #Conflicts: 2308000 | #Constraints: 65114
1225.34/1228.87 c #Conflicts: 2309000 | #Constraints: 66114
1225.34/1228.87 c #Conflicts: 2310000 | #Constraints: 67114
1225.34/1228.87 c #Conflicts: 2311000 | #Constraints: 68116
1225.34/1228.87 c INPROCESSING
1225.34/1228.87 c GARBAGE COLLECT
1225.34/1228.87 c rational objective -35
1261.93/1265.52 c #Conflicts: 2312000 | #Constraints: 35580
1261.93/1265.52 c #Conflicts: 2313000 | #Constraints: 36583
1261.93/1265.52 c #Conflicts: 2314000 | #Constraints: 37585
1261.93/1265.52 c #Conflicts: 2315000 | #Constraints: 38585
1261.93/1265.52 c #Conflicts: 2316000 | #Constraints: 39590
1261.93/1265.52 c #Conflicts: 2317000 | #Constraints: 40590
1261.93/1265.52 c #Conflicts: 2318000 | #Constraints: 41590
1261.93/1265.52 c #Conflicts: 2319000 | #Constraints: 42590
1261.93/1265.52 c #Conflicts: 2320000 | #Constraints: 43590
1261.93/1265.52 c #Conflicts: 2321000 | #Constraints: 44593
1261.93/1265.52 c #Conflicts: 2322000 | #Constraints: 45597
1261.93/1265.52 c #Conflicts: 2323000 | #Constraints: 46597
1261.93/1265.52 c #Conflicts: 2324000 | #Constraints: 47598
1261.93/1265.52 c #Conflicts: 2325000 | #Constraints: 48599
1261.93/1265.52 c #Conflicts: 2326000 | #Constraints: 49599
1261.93/1265.52 c #Conflicts: 2327000 | #Constraints: 50599
1261.93/1265.52 c #Conflicts: 2328000 | #Constraints: 51601
1261.93/1265.52 c #Conflicts: 2329000 | #Constraints: 52603
1261.93/1265.52 c #Conflicts: 2330000 | #Constraints: 53605
1261.93/1265.52 c #Conflicts: 2331000 | #Constraints: 54606
1261.93/1265.52 c #Conflicts: 2332000 | #Constraints: 55607
1261.93/1265.52 c #Conflicts: 2333000 | #Constraints: 56612
1261.93/1265.52 c #Conflicts: 2334000 | #Constraints: 57612
1261.93/1265.52 c #Conflicts: 2335000 | #Constraints: 58614
1261.93/1265.52 c #Conflicts: 2336000 | #Constraints: 59615
1261.93/1265.52 c #Conflicts: 2337000 | #Constraints: 60617
1261.93/1265.52 c #Conflicts: 2338000 | #Constraints: 61617
1261.93/1265.52 c #Conflicts: 2339000 | #Constraints: 62618
1261.93/1265.52 c #Conflicts: 2340000 | #Constraints: 63618
1261.93/1265.52 c #Conflicts: 2341000 | #Constraints: 64618
1261.93/1265.52 c #Conflicts: 2342000 | #Constraints: 65618
1261.93/1265.52 c #Conflicts: 2343000 | #Constraints: 66619
1261.93/1265.52 c #Conflicts: 2344000 | #Constraints: 67621
1261.93/1265.52 c #Conflicts: 2345000 | #Constraints: 68622
1261.93/1265.52 c #Conflicts: 2346000 | #Constraints: 69622
1261.93/1265.52 c #Conflicts: 2347000 | #Constraints: 70622
1261.93/1265.52 c #Conflicts: 2348000 | #Constraints: 71622
1261.93/1265.52 c #Conflicts: 2349000 | #Constraints: 72622
1261.93/1265.52 c #Conflicts: 2350000 | #Constraints: 73622
1261.93/1265.52 c #Conflicts: 2351000 | #Constraints: 74623
1261.93/1265.52 c #Conflicts: 2352000 | #Constraints: 75623
1261.93/1265.52 c #Conflicts: 2353000 | #Constraints: 76627
1261.93/1265.52 c #Conflicts: 2354000 | #Constraints: 77629
1261.93/1265.52 c #Conflicts: 2355000 | #Constraints: 78630
1261.93/1265.52 c #Conflicts: 2356000 | #Constraints: 79631
1261.93/1265.52 c #Conflicts: 2357000 | #Constraints: 80632
1261.93/1265.52 c #Conflicts: 2358000 | #Constraints: 81632
1261.93/1265.52 c #Conflicts: 2359000 | #Constraints: 82634
1261.93/1265.52 c #Conflicts: 2360000 | #Constraints: 83634
1261.93/1265.52 c #Conflicts: 2361000 | #Constraints: 84638
1261.93/1265.52 c #Conflicts: 2362000 | #Constraints: 85640
1261.93/1265.52 c #Conflicts: 2363000 | #Constraints: 86641
1261.93/1265.52 c #Conflicts: 2364000 | #Constraints: 87641
1261.93/1265.52 c #Conflicts: 2365000 | #Constraints: 88641
1261.93/1265.52 c #Conflicts: 2366000 | #Constraints: 89641
1261.93/1265.52 c #Conflicts: 2367000 | #Constraints: 90642
1261.93/1265.52 c #Conflicts: 2368000 | #Constraints: 91643
1261.93/1265.52 c #Conflicts: 2369000 | #Constraints: 92643
1261.93/1265.52 c #Conflicts: 2370000 | #Constraints: 93643
1261.93/1265.52 c #Conflicts: 2371000 | #Constraints: 94643
1261.93/1265.52 c #Conflicts: 2372000 | #Constraints: 95644
1261.93/1265.52 c #Conflicts: 2373000 | #Constraints: 96646
1261.93/1265.52 c #Conflicts: 2374000 | #Constraints: 97647
1261.93/1265.52 c #Conflicts: 2375000 | #Constraints: 98647
1261.93/1265.52 c #Conflicts: 2376000 | #Constraints: 99647
1261.93/1265.52 c #Conflicts: 2377000 | #Constraints: 100649
1261.93/1265.52 c #Conflicts: 2378000 | #Constraints: 101649
1261.93/1265.52 c #Conflicts: 2379000 | #Constraints: 102650
1261.93/1265.52 c #Conflicts: 2380000 | #Constraints: 103651
1261.93/1265.52 c #Conflicts: 2381000 | #Constraints: 104652
1261.93/1265.52 c #Conflicts: 2382000 | #Constraints: 105656
1261.93/1265.52 c #Conflicts: 2383000 | #Constraints: 106656
1261.93/1265.52 c #Conflicts: 2384000 | #Constraints: 107659
1261.93/1265.52 c #Conflicts: 2385000 | #Constraints: 108659
1261.93/1265.52 c #Conflicts: 2386000 | #Constraints: 109659
1261.93/1265.52 c #Conflicts: 2387000 | #Constraints: 110659
1261.93/1265.52 c #Conflicts: 2388000 | #Constraints: 111660
1261.93/1265.52 c #Conflicts: 2389000 | #Constraints: 112662
1261.93/1265.52 c #Conflicts: 2390000 | #Constraints: 113663
1273.01/1276.66 c #Conflicts: 2391000 | #Constraints: 114664
1273.01/1276.66 c #Conflicts: 2392000 | #Constraints: 115665
1273.01/1276.66 c #Conflicts: 2393000 | #Constraints: 116665
1273.01/1276.66 c #Conflicts: 2394000 | #Constraints: 117666
1273.01/1276.66 c #Conflicts: 2395000 | #Constraints: 118667
1273.01/1276.66 c #Conflicts: 2396000 | #Constraints: 119667
1273.01/1276.66 c #Conflicts: 2397000 | #Constraints: 120670
1273.01/1276.66 c #Conflicts: 2398000 | #Constraints: 121672
1273.01/1276.66 c #Conflicts: 2399000 | #Constraints: 122673
1273.01/1276.66 c #Conflicts: 2400000 | #Constraints: 123676
1273.01/1276.66 c #Conflicts: 2401000 | #Constraints: 124677
1273.01/1276.66 c #Conflicts: 2402000 | #Constraints: 125677
1273.01/1276.66 c #Conflicts: 2403000 | #Constraints: 126677
1273.01/1276.66 c #Conflicts: 2404000 | #Constraints: 127678
1273.01/1276.66 c #Conflicts: 2405000 | #Constraints: 128681
1273.01/1276.66 c bounds -33 >= -34 @ 1258.86
1280.78/1284.41 c #Conflicts: 2406000 | #Constraints: 129700
1280.78/1284.41 c #Conflicts: 2407000 | #Constraints: 130704
1280.78/1284.41 c #Conflicts: 2408000 | #Constraints: 131710
1280.78/1284.41 c #Conflicts: 2409000 | #Constraints: 132715
1280.78/1284.41 c #Conflicts: 2410000 | #Constraints: 133718
1280.78/1284.41 c #Conflicts: 2411000 | #Constraints: 134720
1280.78/1284.41 c #Conflicts: 2412000 | #Constraints: 135724
1280.78/1284.41 c #Conflicts: 2413000 | #Constraints: 136728
1280.78/1284.41 c #Conflicts: 2414000 | #Constraints: 137729
1280.78/1284.41 c #Conflicts: 2415000 | #Constraints: 138731
1280.78/1284.41 c bounds -34 >= -34 @ 1266.53
1280.78/1284.41 c cpu time 1266.53 s
1280.78/1284.41 c deterministic time 62584685171 6.26e+10
1280.78/1284.41 c optimization time 0.004868 s
1280.78/1284.41 c total solve time 1266.52 s
1280.78/1284.41 c core-guided solve time 700.309 s
1280.78/1284.41 c propagation time 1062.94 s
1280.78/1284.41 c conflict analysis time 186.64 s
1280.78/1284.41 c propagations 153328116
1280.78/1284.41 c resolve steps 37285057
1280.78/1284.41 c decisions 2913456
1280.78/1284.41 c conflicts 2415053
1280.78/1284.41 c restarts 4094
1280.78/1284.41 c inprocessing phases 107
1280.78/1284.41 c garbage collections 107 ,( 100.00 )
1280.78/1284.41 c input clauses 978 ,( 67.82 )
1280.78/1284.41 c input cardinalities 342 ,( 23.72 )
1280.78/1284.41 c input general constraints 122 ,( 8.46 )
1280.78/1284.41 c input average constraint length 13.10
1280.78/1284.41 c input average constraint degree 5.12
1280.78/1284.41 c learned clauses 1946810 ,( 79.37 )
1280.78/1284.41 c learned cardinalities 160143 ,( 6.53 )
1280.78/1284.41 c learned general constraints 345995 ,( 14.11 )
1280.78/1284.41 c learned average constraint length 59.11
1280.78/1284.41 c learned average constraint degree 8958375.21
1280.78/1284.41 c watched CF 32, 64, 128, Arb: 298194 , 0 , 0 , 0
1280.78/1284.41 c counting CF 32, 64, 128, Arb: 47924 , 0 , 0 , 0
1280.78/1284.41 c watched constraints 298194 ,( 86.15 )
1280.78/1284.41 c counting constraints 47923 ,( 13.85 )
1280.78/1284.41 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3208140664 , 5275798071 , 2066850889 ,( 436328647 , 1630522242 )
1280.78/1284.41 c gcd simplifications 72359
1280.78/1284.41 c detected cardinalities 45380
1280.78/1284.41 c weakened non-implied lits 19372331
1280.78/1284.41 c weakened non-implying lits 59360
1280.78/1284.41 c original variables 126
1280.78/1284.41 c clausal propagations 100530029
1280.78/1284.41 c cardinality propagations 12286874
1280.78/1284.41 c watched propagations 1531686
1280.78/1284.41 c counting propagations 35982517
1280.78/1284.41 c watch lookups 34125303887
1280.78/1284.41 c watch backjump lookups 0
1280.78/1284.41 c watch checks 25298614764
1280.78/1284.41 c propagation checks 2348170283
1280.78/1284.41 c constraint additions 495318781
1280.78/1284.41 c trail pops 158618994
1280.78/1284.41 c formula constraints 788
1280.78/1284.41 c learned constraints 2377441
1280.78/1284.41 c bound constraints 115
1280.78/1284.41 c core-guided constraints 539
1280.78/1284.41 c encountered formula constraints 10201523
1280.78/1284.41 c encountered learned constraints 19409788
1280.78/1284.41 c encountered bound constraints 1101
1280.78/1284.41 c encountered core-guided constraints 9474330
1280.78/1284.41 c LP total time 46.5785 s
1280.78/1284.41 c LP solve time 41.5 s
1280.78/1284.41 c LP constraints added 1256
1280.78/1284.41 c LP constraints removed 463
1280.78/1284.41 c LP pivots internal 2415066
1280.78/1284.41 c LP pivots root 1823
1280.78/1284.41 c LP calls 104478
1280.78/1284.41 c LP optimalities 66861
1280.78/1284.41 c LP no pivot count 19450
1280.78/1284.41 c LP infeasibilities 37617
1280.78/1284.41 c LP valid Farkas constraints 37617
1280.78/1284.41 c LP learned Farkas constraints 37617
1280.78/1284.41 c LP basis resets 0
1280.78/1284.41 c LP cycling count 0
1280.78/1284.41 c LP singular count 0
1280.78/1284.41 c LP no primal count 0
1280.78/1284.41 c LP no farkas count 0
1280.78/1284.41 c LP other issue count 0
1280.78/1284.41 c LP Gomory cuts 273
1280.78/1284.41 c LP learned cuts 195
1280.78/1284.41 c LP deleted cuts 463
1280.78/1284.41 c LP encountered Gomory constraints 8227
1280.78/1284.41 c LP encountered Farkas constraints 455392
1280.78/1284.41 c LP encountered learned Farkas constraints 112132
1280.78/1284.41 c CG auxiliary variables introduced 210
1280.78/1284.41 c CG solutions found 15
1280.78/1284.41 c CG cores constructed 91
1280.78/1284.41 c CG core cardinality constraints returned 0
1280.78/1284.41 c CG unit cores 0
1280.78/1284.41 c CG single cores 91
1280.78/1284.41 c CG blocks removed during cardinality reduction 0
1280.78/1284.41 c CG first core best 0
1280.78/1284.41 c CG decision core best 0
1280.78/1284.41 c CG core reduction tie 0
1280.78/1284.41 c CG core degree average 1.00
1280.78/1284.41 c CG core slack average 2.59
1280.78/1284.41 c CG core upper bound improvements 0
1280.78/1284.41 c STR number of successful calls 0
1280.78/1284.41 c STR number of unsuccessful calls 0
1280.78/1284.41 c STR number of inconclusive calls 0
1280.78/1284.41 c STR number of successful attempts 0
1280.78/1284.41 c STR number of unsuccessful attempts 0
1280.78/1284.41 c STR number of inconclusive attempts 0
1280.78/1284.41 c STR average degree increase per successful call inf
1280.78/1284.41 c STR average degree increase per successful attempt inf
1280.78/1284.41 c STR total number of conflicts for successful attempts 0
1280.78/1284.41 c STR total number of conflicts for unsuccessful attempts 0
1280.78/1284.41 c STR total number of conflicts for inconclusive attempts 0
1280.78/1284.41 c STR average number of conflicts per successful attempt inf
1280.78/1284.41 c STR average number of conflicts per unsuccessful attempt inf
1280.78/1284.41 c STR average number of conflicts per inconclusive attempt inf
1280.78/1284.41 c AVG.sumWPerc 21.12
1280.78/1284.41 c bigint constraints 0
1280.78/1284.41 o -34
1280.78/1284.41 s OPTIMUM FOUND
1280.78/1284.42 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
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: 63708 MiB (50326 MiB free)
memory of node 1: 64465 MiB (49071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524392-1751604678/watcher-4524392-1751604678 -o /tmp/evaluation-result-4524392-1751604678/solver-4524392-1751604678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751604450-85077 --watchdog 3760 run-opt-ls.sh HOME/instance-4524392-1751604678.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85199, runsolver pid=85196
[startup+0.10005 s]*
/proc/loadavg: 4.03 2.74 2.29 5/267 85202
/proc/meminfo: memFree=101779876/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=57656 memory=14736 CPUtime=0.08 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 1063 0 0 0 7 1 0 0 20 0 1 0 76146364 59039744 3684 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 14414 3684 2432 1147 0 1841 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61848 KiB
Current children cumulated memory: 17680 KiB
[startup+0.204637 s]*
/proc/loadavg: 4.03 2.74 2.29 6/267 85202
/proc/meminfo: memFree=101777860/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=58052 memory=15120 CPUtime=0.17 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 1163 0 0 0 16 1 0 0 20 0 1 0 76146364 59445248 3780 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 14513 3780 2432 1147 0 1940 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62244 KiB
Current children cumulated memory: 18064 KiB
[startup+0.305695 s]*
/proc/loadavg: 4.03 2.74 2.29 5/267 85202
/proc/meminfo: memFree=101763496/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=58976 memory=16016 CPUtime=0.27 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 1403 0 0 0 25 2 0 0 20 0 1 0 76146364 60391424 4004 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 14744 4004 2432 1147 0 2171 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63168 KiB
Current children cumulated memory: 18960 KiB
[startup+0.700211 s]
/proc/loadavg: 4.03 2.74 2.29 5/267 85202
/proc/meminfo: memFree=101763496/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=59948 memory=16912 CPUtime=0.67 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 1619 0 0 0 62 5 0 0 20 0 1 0 76146364 61386752 4228 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 14987 4228 2432 1147 0 2414 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64140 KiB
Current children cumulated memory: 19856 KiB
[startup+1.50021 s]
/proc/loadavg: 4.03 2.74 2.29 5/267 85202
/proc/meminfo: memFree=101762740/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=60512 memory=17424 CPUtime=1.46 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 1752 0 0 0 138 8 0 0 20 0 1 0 76146364 61964288 4356 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 15128 4356 2432 1147 0 2555 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64704 KiB
Current children cumulated memory: 20368 KiB
[startup+3.10542 s]
/proc/loadavg: 4.03 2.74 2.29 5/267 85202
/proc/meminfo: memFree=101760232/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=62336 memory=18960 CPUtime=3.06 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 2133 0 0 0 293 13 0 0 20 0 1 0 76146364 63832064 4740 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 15584 4740 2432 1147 0 3011 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66528 KiB
Current children cumulated memory: 21904 KiB
[startup+6.30019 s]
/proc/loadavg: 4.03 2.76 2.30 5/267 85202
/proc/meminfo: memFree=101760500/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=64100 memory=22440 CPUtime=6.25 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 2515 0 0 0 596 29 0 0 20 0 1 0 76146364 65638400 5610 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 16025 5610 2432 1147 0 3452 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 68292 KiB
Current children cumulated memory: 25384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 2.78 2.31 5/267 85202
/proc/meminfo: memFree=101747912/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=65156 memory=23720 CPUtime=12.64 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 2808 0 0 0 1210 54 0 0 20 0 1 0 76146364 66719744 5930 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 16289 5930 2432 1147 0 3716 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 69348 KiB
Current children cumulated memory: 26664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 2.84 2.34 5/267 85202
/proc/meminfo: memFree=101735012/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=71664 memory=27048 CPUtime=25.4 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 3659 0 0 0 2444 96 0 0 20 0 1 0 76146364 73383936 6762 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 17916 6762 2432 1147 0 5343 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 75856 KiB
Current children cumulated memory: 29992 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 2.95 2.39 5/267 85203
/proc/meminfo: memFree=101629880/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=114668 memory=58496 CPUtime=50.93 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 10249 0 0 0 4960 133 0 0 20 0 1 0 76146364 117420032 14624 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 28667 14624 2432 1147 0 16094 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 118860 KiB
Current children cumulated memory: 61440 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.13 2.48 5/267 85204
/proc/meminfo: memFree=101608500/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=116456 memory=60072 CPUtime=101.98 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 11031 0 0 0 9974 224 0 0 20 0 1 0 76146364 119250944 15018 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 29114 15018 2432 1147 0 16541 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 120648 KiB
Current children cumulated memory: 63016 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.31 2.58 5/267 85206
/proc/meminfo: memFree=101514664/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=120376 memory=63048 CPUtime=161.82 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 12564 0 0 0 15832 350 0 0 20 0 1 0 76146364 123265024 15762 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 30094 15762 2432 1147 0 17521 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 124568 KiB
Current children cumulated memory: 65992 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.45 2.68 5/267 85208
/proc/meminfo: memFree=101478340/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=161012 memory=91864 CPUtime=221.66 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 18049 0 0 0 21780 386 0 0 20 0 1 0 76146364 164876288 22966 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 40253 22966 2432 1147 0 27680 0
################
# More data... #
################
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 32888 0 0 0 104676 1257 0 0 20 0 1 0 76146364 245968896 39300 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 60051 39300 2432 1147 0 47478 0
Current children cumulated CPU time: 1059.33 s
Current children cumulated vsize: 244396 KiB
Current children cumulated memory: 160144 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.06 3.59 5/267 85261
/proc/meminfo: memFree=100657540/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1119.15 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 33997 0 0 0 110641 1274 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1119.15 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.06 3.62 5/267 85264
/proc/meminfo: memFree=100647604/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1178.97 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 33997 0 0 0 116597 1300 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1178.97 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1242.3 s]
/proc/loadavg: 4.08 4.06 3.65 5/267 85271
/proc/meminfo: memFree=100646416/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1238.8 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 33997 0 0 0 122496 1384 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1238.8 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1284.43 s]
# the end of solver process 85199 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1266.54 s, system=14.2868 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.15 4.08 3.66 5/267 85271
/proc/meminfo: memFree=100648196/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1250.87 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 33997 0 0 0 123689 1398 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1250.87 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1267.2 s]
/proc/loadavg: 4.12 4.07 3.67 5/267 85272
/proc/meminfo: memFree=100645600/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1263.63 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 33997 0 0 0 124951 1412 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1263.63 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1273.6 s]
/proc/loadavg: 4.11 4.07 3.67 5/267 85272
/proc/meminfo: memFree=100645560/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1270.01 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 34004 0 0 0 125583 1418 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1270.01 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1280 s]*
/proc/loadavg: 4.10 4.07 3.67 5/267 85273
/proc/meminfo: memFree=100645560/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1276.4 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 34006 0 0 0 126217 1423 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1276.4 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1281.6 s]
/proc/loadavg: 4.10 4.07 3.67 5/267 85273
/proc/meminfo: memFree=100624204/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1277.98 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 34006 0 0 0 126374 1424 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1277.98 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1283.2 s]
/proc/loadavg: 4.10 4.07 3.67 5/267 85273
/proc/meminfo: memFree=100624324/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1279.59 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 34006 0 0 0 126533 1426 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1279.59 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1284 s]*
/proc/loadavg: 4.09 4.07 3.67 5/267 85273
/proc/meminfo: memFree=100624324/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1280.39 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 34006 0 0 0 126612 1427 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1280.39 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
[startup+1284.4 s]
/proc/loadavg: 4.09 4.07 3.67 5/267 85273
/proc/meminfo: memFree=100624324/131249988 swapFree=33010416/33010684
[pid=85199] ppid=85196 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85199/stat : 85199 (run-opt-ls.sh) S 85196 85199 85067 0 -1 4194304 237 301 0 0 0 0 0 0 20 0 1 0 76146362 4292608 736 18446744073709551615 94817291436032 94817292330565 140729003261712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94817292569616 94817292617360 94817307439104 140729003268455 140729003268581 140729003268581 140729003274183 0
/proc/85199/statm: 1048 736 672 219 0 110 0
[pid=85202] ppid=85199 vsize=244336 memory=162668 CPUtime=1280.78 cores=0,2
/proc/85202/stat : 85202 (roundingsat) R 85199 85199 85067 0 -1 4194304 34006 0 0 0 126651 1427 0 0 20 0 1 0 76146364 250200064 40667 18446744073709551615 4227072 8923433 140724532260032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28758016 140724532263238 140724532263464 140724532263464 140724532269034 0
/proc/85202/statm: 61084 40667 2432 1147 0 48511 0
Current children cumulated CPU time: 1280.78 s
Current children cumulated vsize: 248528 KiB
Current children cumulated memory: 165612 KiB
Child status: 0
Real time (s): 1284.43
CPU time (s): 1280.82
CPU user time (s): 1266.54
CPU system time (s): 14.2868
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 249112
Max. memory (cumulated for all children) (KiB): 165972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1266.54
system time used= 14.2868
maximum resident set size= 163668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 2869
# summary of solver processes directly reported to runsolver:
# pid: 85199
# total CPU time (s): 1280.82
# total CPU user time (s): 1266.54
# total CPU system time (s): 14.2868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57123 second user time and 5.91762 second system time
The end
Begin job on nodeC031 at 2025-07-04 06:51:18
IDJOB=4524392
IDBENCH=180666
IDSOLVER=3355
FILE ID=nodeC031/4524392-1751604678
RUNJOBID= nodeC031-1751604450-85077
SLURM_JOB_ID= 9598890
Free space on /tmp= 430740 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Clique-c0125-9_c24.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524392-1751604678/watcher-4524392-1751604678 -o /tmp/evaluation-result-4524392-1751604678/solver-4524392-1751604678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751604450-85077 --watchdog 3760 run-opt-ls.sh HOME/instance-4524392-1751604678.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=1618304941
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.268
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.858
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.893
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3576.955
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.883
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.885
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3598.193
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3502.619
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 101783392 kB
MemAvailable: 124093032 kB
Buffers: 2128 kB
Cached: 22993008 kB
SwapCached: 12 kB
Active: 5994772 kB
Inactive: 22586276 kB
Active(anon): 5593508 kB
Inactive(anon): 10468 kB
Active(file): 401264 kB
Inactive(file): 22575808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7160 kB
Writeback: 88 kB
AnonPages: 5589020 kB
Mapped: 117340 kB
Shmem: 18052 kB
KReclaimable: 343616 kB
Slab: 437108 kB
SReclaimable: 343616 kB
SUnreclaim: 93492 kB
KernelStack: 4336 kB
PageTables: 14796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 6731132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1329152 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430732 MiB
End job on nodeC031 at 2025-07-04 07:12:43