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-4524393-1751604964.opb'
0.00/0.01 c read 0.02MB (0.41ms)
0.00/0.01 c [cnf: #variables 126 #clauses 789 #duplicates 0 #arr 1700]
0.00/0.03 c output proof to 'PROOFDIR/proof-4524393-1751604964'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 0] (0.26ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (0.06ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 1167 #edges 3904]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.00*10^0 #generators 0] (0.10ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4524393-1751604964.opb.pre'
0.00/0.03 c wrote 0.02MB (0.09ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 19.25ms 95.38% other
0.00/0.03 c 0.41ms 2.04% parse
0.00/0.03 c 0.26ms 1.30% approx_orbits
0.00/0.03 c 0.10ms 0.50% detect_generic
0.00/0.03 c 0.09ms 0.46% output
0.00/0.03 c 0.06ms 0.29% detect_special
0.00/0.03 c 0.01ms 0.03% finalize_order
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 20.18ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.04 c #variables 126 #constraints 788
0.00/0.04 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04 c bounds -17 >= -125 @ 0.004752
0.00/0.04 c rational objective -62.5
0.00/0.06 c bounds -18 >= -125 @ 0.018981
0.00/0.06 c bounds -18 >= -124 @ 0.01909
0.00/0.06 c bounds -18 >= -123 @ 0.019172
0.00/0.06 c bounds -18 >= -122 @ 0.01923
0.00/0.06 c bounds -18 >= -121 @ 0.019292
0.00/0.06 c bounds -18 >= -120 @ 0.019348
0.00/0.06 c bounds -18 >= -119 @ 0.019402
0.00/0.06 c bounds -18 >= -118 @ 0.019456
0.00/0.06 c bounds -18 >= -117 @ 0.019508
0.00/0.06 c bounds -18 >= -116 @ 0.019558
0.00/0.06 c bounds -18 >= -115 @ 0.019609
0.00/0.06 c bounds -18 >= -114 @ 0.019668
0.00/0.06 c bounds -18 >= -113 @ 0.019724
0.00/0.06 c bounds -19 >= -113 @ 0.019826
0.00/0.06 c bounds -19 >= -112 @ 0.019878
0.00/0.06 c bounds -19 >= -111 @ 0.019929
0.00/0.06 c bounds -19 >= -110 @ 0.019979
0.00/0.06 c bounds -19 >= -109 @ 0.020029
0.00/0.06 c bounds -19 >= -108 @ 0.020088
0.00/0.06 c bounds -19 >= -107 @ 0.02014
0.00/0.06 c bounds -19 >= -106 @ 0.020192
0.00/0.06 c bounds -19 >= -105 @ 0.020245
0.00/0.06 c bounds -19 >= -104 @ 0.020298
0.00/0.06 c bounds -21 >= -104 @ 0.020315
0.00/0.06 c bounds -21 >= -103 @ 0.020315
0.00/0.06 c bounds -21 >= -102 @ 0.020315
0.00/0.06 c bounds -21 >= -101 @ 0.020361
0.00/0.06 c bounds -21 >= -100 @ 0.020407
0.00/0.06 c bounds -21 >= -99 @ 0.020448
0.00/0.06 c bounds -21 >= -98 @ 0.020489
0.00/0.06 c bounds -21 >= -97 @ 0.020531
0.00/0.06 c bounds -21 >= -96 @ 0.020573
0.00/0.06 c bounds -21 >= -95 @ 0.020615
0.00/0.06 c bounds -21 >= -94 @ 0.020655
0.00/0.06 c bounds -21 >= -93 @ 0.020701
0.00/0.06 c bounds -21 >= -92 @ 0.020745
0.00/0.06 c bounds -21 >= -91 @ 0.020786
0.00/0.06 c bounds -21 >= -90 @ 0.020827
0.00/0.06 c bounds -21 >= -89 @ 0.020866
0.00/0.06 c bounds -23 >= -89 @ 0.020938
0.00/0.06 c bounds -23 >= -88 @ 0.020984
0.00/0.06 c bounds -23 >= -87 @ 0.021032
0.00/0.06 c bounds -23 >= -86 @ 0.021092
0.00/0.06 c bounds -23 >= -85 @ 0.021142
0.00/0.06 c bounds -23 >= -84 @ 0.021189
0.00/0.06 c bounds -23 >= -83 @ 0.02124
0.00/0.06 c bounds -23 >= -82 @ 0.02129
0.00/0.06 c bounds -23 >= -81 @ 0.021337
0.00/0.06 c bounds -23 >= -80 @ 0.021387
0.00/0.06 c bounds -23 >= -79 @ 0.021432
0.00/0.06 c bounds -24 >= -79 @ 0.021511
0.00/0.06 c bounds -24 >= -78 @ 0.021567
0.00/0.06 c bounds -24 >= -77 @ 0.021614
0.00/0.06 c bounds -24 >= -76 @ 0.021662
0.00/0.06 c bounds -24 >= -75 @ 0.021711
0.00/0.06 c bounds -24 >= -74 @ 0.021756
0.00/0.06 c bounds -24 >= -73 @ 0.021801
0.00/0.06 c bounds -24 >= -72 @ 0.021848
0.00/0.06 c bounds -24 >= -71 @ 0.021896
0.00/0.06 c bounds -24 >= -70 @ 0.021941
0.00/0.06 c bounds -24 >= -69 @ 0.021962
0.00/0.06 c bounds -24 >= -68 @ 0.021962
0.00/0.06 c bounds -25 >= -68 @ 0.021962
0.00/0.06 c bounds -25 >= -67 @ 0.021962
0.00/0.06 c bounds -25 >= -66 @ 0.021962
0.00/0.06 c bounds -25 >= -65 @ 0.021962
0.00/0.06 c bounds -25 >= -64 @ 0.021962
0.00/0.06 c bounds -25 >= -63 @ 0.021962
0.00/0.06 c bounds -25 >= -62 @ 0.021962
0.00/0.06 c bounds -25 >= -61 @ 0.021962
0.00/0.06 c bounds -26 >= -61 @ 0.021962
0.00/0.06 c bounds -26 >= -60 @ 0.021962
0.00/0.06 c bounds -26 >= -59 @ 0.023474
0.00/0.06 c bounds -27 >= -59 @ 0.023562
0.00/0.06 c bounds -27 >= -58 @ 0.023738
0.00/0.06 c bounds -28 >= -58 @ 0.024107
0.00/0.06 c bounds -28 >= -57 @ 0.024357
0.00/0.06 c bounds -28 >= -56 @ 0.024515
0.00/0.06 c bounds -28 >= -55 @ 0.024671
0.00/0.06 c bounds -28 >= -54 @ 0.024862
0.00/0.06 c bounds -29 >= -54 @ 0.0251
0.00/0.06 c bounds -29 >= -53 @ 0.025287
0.00/0.06 c bounds -29 >= -52 @ 0.025522
0.00/0.07 c bounds -30 >= -52 @ 0.027369
0.00/0.07 c bounds -30 >= -51 @ 0.027515
0.00/0.07 c bounds -30 >= -50 @ 0.027924
0.00/0.07 c bounds -30 >= -49 @ 0.028816
0.00/0.07 c bounds -30 >= -48 @ 0.030363
0.00/0.07 c bounds -31 >= -48 @ 0.033022
0.00/0.08 c bounds -31 >= -47 @ 0.0399
0.00/0.09 c bounds -32 >= -47 @ 0.046868
0.06/0.11 c bounds -32 >= -46 @ 0.064558
0.06/0.13 c #Conflicts: 1000 | #Constraints: 2172
0.06/0.13 c bounds -33 >= -46 @ 0.0849
0.06/0.17 c bounds -33 >= -45 @ 0.12609
0.16/0.21 c #Conflicts: 2000 | #Constraints: 3212
0.16/0.21 c INPROCESSING
0.16/0.21 c GARBAGE COLLECT
0.16/0.21 c rational objective -45
0.16/0.28 c bounds -33 >= -44 @ 0.222743
0.26/0.40 c #Conflicts: 3000 | #Constraints: 3108
0.26/0.40 c #Conflicts: 4000 | #Constraints: 4150
0.26/0.40 c INPROCESSING
0.26/0.40 c GARBAGE COLLECT
0.26/0.40 c rational objective -44
0.36/0.50 c #Conflicts: 5000 | #Constraints: 3497
0.36/0.50 c bounds -33 >= -43 @ 0.429994
0.56/0.63 c #Conflicts: 6000 | #Constraints: 4518
0.56/0.63 c bounds -33 >= -42 @ 0.554952
0.56/0.64 c INPROCESSING
0.56/0.64 c GARBAGE COLLECT
0.56/0.64 c rational objective -42
0.75/0.89 c #Conflicts: 7000 | #Constraints: 3521
0.75/0.89 c #Conflicts: 8000 | #Constraints: 4571
0.75/0.89 c #Conflicts: 9000 | #Constraints: 5622
0.75/0.89 c INPROCESSING
0.75/0.89 c GARBAGE COLLECT
0.75/0.89 c rational objective -42
1.15/1.21 c #Conflicts: 10000 | #Constraints: 4260
1.15/1.21 c #Conflicts: 11000 | #Constraints: 5260
1.15/1.21 c #Conflicts: 12000 | #Constraints: 6260
1.15/1.21 c INPROCESSING
1.15/1.21 c GARBAGE COLLECT
1.15/1.21 c rational objective -42
1.25/1.39 c #Conflicts: 13000 | #Constraints: 4686
1.25/1.39 c bounds -33 >= -41 @ 1.28431
1.45/1.51 c #Conflicts: 14000 | #Constraints: 5718
1.45/1.51 c #Conflicts: 15000 | #Constraints: 6747
1.45/1.51 c INPROCESSING
1.45/1.51 c GARBAGE COLLECT
1.45/1.51 c rational objective -41
1.84/1.90 c #Conflicts: 16000 | #Constraints: 4932
1.84/1.90 c #Conflicts: 17000 | #Constraints: 5932
1.84/1.90 c #Conflicts: 18000 | #Constraints: 6932
1.84/1.90 c INPROCESSING
1.84/1.90 c GARBAGE COLLECT
1.84/1.90 c rational objective -41
2.15/2.28 c #Conflicts: 19000 | #Constraints: 4931
2.15/2.28 c #Conflicts: 20000 | #Constraints: 5973
2.15/2.28 c #Conflicts: 21000 | #Constraints: 7019
2.15/2.28 c INPROCESSING
2.15/2.28 c GARBAGE COLLECT
2.15/2.28 c rational objective -41
2.64/2.76 c #Conflicts: 22000 | #Constraints: 4780
2.64/2.76 c #Conflicts: 23000 | #Constraints: 5780
2.64/2.76 c #Conflicts: 24000 | #Constraints: 6780
2.64/2.76 c #Conflicts: 25000 | #Constraints: 7780
2.64/2.76 c bounds -33 >= -40 @ 2.58316
2.64/2.77 c INPROCESSING
2.64/2.77 c GARBAGE COLLECT
2.64/2.77 c rational objective -40
3.05/3.17 c #Conflicts: 26000 | #Constraints: 5393
3.05/3.17 c #Conflicts: 27000 | #Constraints: 6442
3.05/3.17 c #Conflicts: 28000 | #Constraints: 7493
3.05/3.17 c #Conflicts: 29000 | #Constraints: 8544
3.05/3.17 c INPROCESSING
3.05/3.17 c GARBAGE COLLECT
3.05/3.17 c rational objective -40
3.64/3.71 c #Conflicts: 30000 | #Constraints: 5838
3.64/3.71 c #Conflicts: 31000 | #Constraints: 6838
3.64/3.71 c #Conflicts: 32000 | #Constraints: 7838
3.64/3.71 c #Conflicts: 33000 | #Constraints: 8838
3.64/3.71 c INPROCESSING
3.64/3.71 c GARBAGE COLLECT
3.64/3.71 c rational objective -40
4.14/4.20 c #Conflicts: 34000 | #Constraints: 5971
4.14/4.20 c #Conflicts: 35000 | #Constraints: 6971
4.14/4.20 c #Conflicts: 36000 | #Constraints: 7971
4.14/4.20 c #Conflicts: 37000 | #Constraints: 8971
4.14/4.20 c INPROCESSING
4.14/4.20 c GARBAGE COLLECT
4.14/4.20 c rational objective -40
4.64/4.73 c #Conflicts: 38000 | #Constraints: 5958
4.64/4.73 c #Conflicts: 39000 | #Constraints: 7006
4.64/4.73 c #Conflicts: 40000 | #Constraints: 8052
4.64/4.73 c #Conflicts: 41000 | #Constraints: 9100
4.64/4.73 c INPROCESSING
4.64/4.73 c GARBAGE COLLECT
4.64/4.73 c rational objective -40
5.24/5.33 c #Conflicts: 42000 | #Constraints: 5830
5.24/5.33 c #Conflicts: 43000 | #Constraints: 6830
5.24/5.33 c #Conflicts: 44000 | #Constraints: 7830
5.24/5.33 c #Conflicts: 45000 | #Constraints: 8830
5.24/5.33 c #Conflicts: 46000 | #Constraints: 9830
5.24/5.33 c INPROCESSING
5.24/5.33 c GARBAGE COLLECT
5.24/5.33 c rational objective -40
5.83/5.92 c #Conflicts: 47000 | #Constraints: 6386
5.83/5.92 c #Conflicts: 48000 | #Constraints: 7386
5.83/5.92 c #Conflicts: 49000 | #Constraints: 8386
5.83/5.92 c #Conflicts: 50000 | #Constraints: 9386
5.83/5.92 c #Conflicts: 51000 | #Constraints: 10386
5.83/5.92 c INPROCESSING
5.83/5.92 c GARBAGE COLLECT
5.83/5.92 c rational objective -40
6.43/6.55 c #Conflicts: 52000 | #Constraints: 6804
6.43/6.55 c #Conflicts: 53000 | #Constraints: 7850
6.43/6.55 c #Conflicts: 54000 | #Constraints: 8898
6.43/6.55 c #Conflicts: 55000 | #Constraints: 9941
6.43/6.55 c #Conflicts: 56000 | #Constraints: 10990
6.43/6.55 c INPROCESSING
6.43/6.55 c GARBAGE COLLECT
6.43/6.55 c rational objective -40
7.12/7.23 c #Conflicts: 57000 | #Constraints: 7059
7.12/7.23 c #Conflicts: 58000 | #Constraints: 8060
7.12/7.23 c #Conflicts: 59000 | #Constraints: 9060
7.12/7.23 c #Conflicts: 60000 | #Constraints: 10060
7.12/7.23 c #Conflicts: 61000 | #Constraints: 11060
7.12/7.23 c INPROCESSING
7.12/7.23 c GARBAGE COLLECT
7.12/7.23 c rational objective -40
7.33/7.44 c #Conflicts: 62000 | #Constraints: 7002
7.33/7.44 c bounds -33 >= -39 @ 7.06371
7.72/7.85 c #Conflicts: 63000 | #Constraints: 8021
7.72/7.85 c #Conflicts: 64000 | #Constraints: 9067
7.72/7.85 c #Conflicts: 65000 | #Constraints: 10119
7.72/7.85 c #Conflicts: 66000 | #Constraints: 11166
7.72/7.85 c INPROCESSING
7.72/7.85 c GARBAGE COLLECT
7.72/7.85 c rational objective -39
8.52/8.63 c #Conflicts: 67000 | #Constraints: 6867
8.52/8.63 c #Conflicts: 68000 | #Constraints: 7867
8.52/8.63 c #Conflicts: 69000 | #Constraints: 8867
8.52/8.63 c #Conflicts: 70000 | #Constraints: 9867
8.52/8.63 c #Conflicts: 71000 | #Constraints: 10867
8.52/8.63 c #Conflicts: 72000 | #Constraints: 11867
8.52/8.63 c INPROCESSING
8.52/8.63 c GARBAGE COLLECT
8.52/8.63 c rational objective -39
9.32/9.41 c #Conflicts: 73000 | #Constraints: 7448
9.32/9.41 c #Conflicts: 74000 | #Constraints: 8500
9.32/9.41 c #Conflicts: 75000 | #Constraints: 9561
9.32/9.41 c #Conflicts: 76000 | #Constraints: 10612
9.32/9.41 c #Conflicts: 77000 | #Constraints: 11660
9.32/9.41 c #Conflicts: 78000 | #Constraints: 12697
9.32/9.41 c INPROCESSING
9.32/9.41 c GARBAGE COLLECT
9.32/9.41 c rational objective -39
10.12/10.29 c #Conflicts: 79000 | #Constraints: 7917
10.12/10.29 c #Conflicts: 80000 | #Constraints: 8917
10.12/10.29 c #Conflicts: 81000 | #Constraints: 9917
10.12/10.29 c #Conflicts: 82000 | #Constraints: 10917
10.12/10.29 c #Conflicts: 83000 | #Constraints: 11917
10.12/10.29 c #Conflicts: 84000 | #Constraints: 12917
10.12/10.29 c INPROCESSING
10.12/10.29 c GARBAGE COLLECT
10.12/10.29 c rational objective -39
11.02/11.14 c #Conflicts: 85000 | #Constraints: 8032
11.02/11.14 c #Conflicts: 86000 | #Constraints: 9033
11.02/11.14 c #Conflicts: 87000 | #Constraints: 10033
11.02/11.14 c #Conflicts: 88000 | #Constraints: 11033
11.02/11.14 c #Conflicts: 89000 | #Constraints: 12033
11.02/11.14 c #Conflicts: 90000 | #Constraints: 13033
11.02/11.14 c INPROCESSING
11.02/11.14 c GARBAGE COLLECT
11.02/11.14 c rational objective -39
11.92/12.09 c #Conflicts: 91000 | #Constraints: 8013
11.92/12.09 c #Conflicts: 92000 | #Constraints: 9039
11.92/12.09 c #Conflicts: 93000 | #Constraints: 10064
11.92/12.09 c #Conflicts: 94000 | #Constraints: 11097
11.92/12.09 c #Conflicts: 95000 | #Constraints: 12135
11.92/12.09 c #Conflicts: 96000 | #Constraints: 13177
11.92/12.09 c INPROCESSING
11.92/12.09 c GARBAGE COLLECT
11.92/12.09 c rational objective -39
13.02/13.12 c #Conflicts: 97000 | #Constraints: 7869
13.02/13.12 c #Conflicts: 98000 | #Constraints: 8869
13.02/13.12 c #Conflicts: 99000 | #Constraints: 9869
13.02/13.12 c #Conflicts: 100000 | #Constraints: 10869
13.02/13.12 c #Conflicts: 101000 | #Constraints: 11869
13.02/13.12 c #Conflicts: 102000 | #Constraints: 12869
13.02/13.12 c #Conflicts: 103000 | #Constraints: 13869
13.02/13.12 c INPROCESSING
13.02/13.12 c GARBAGE COLLECT
13.02/13.12 c rational objective -39
13.92/14.08 c #Conflicts: 104000 | #Constraints: 8421
13.92/14.08 c #Conflicts: 105000 | #Constraints: 9421
13.92/14.08 c #Conflicts: 106000 | #Constraints: 10421
13.92/14.08 c #Conflicts: 107000 | #Constraints: 11421
13.92/14.08 c #Conflicts: 108000 | #Constraints: 12421
13.92/14.08 c #Conflicts: 109000 | #Constraints: 13421
13.92/14.08 c #Conflicts: 110000 | #Constraints: 14421
13.92/14.08 c INPROCESSING
13.92/14.08 c GARBAGE COLLECT
13.92/14.08 c rational objective -39
15.11/15.24 c #Conflicts: 111000 | #Constraints: 8825
15.11/15.24 c #Conflicts: 112000 | #Constraints: 9880
15.11/15.24 c #Conflicts: 113000 | #Constraints: 10928
15.11/15.24 c #Conflicts: 114000 | #Constraints: 11972
15.11/15.24 c #Conflicts: 115000 | #Constraints: 13022
15.11/15.24 c #Conflicts: 116000 | #Constraints: 14058
15.11/15.24 c #Conflicts: 117000 | #Constraints: 15100
15.11/15.24 c INPROCESSING
15.11/15.24 c GARBAGE COLLECT
15.11/15.24 c rational objective -39
15.91/16.01 c #Conflicts: 118000 | #Constraints: 9126
15.91/16.01 c #Conflicts: 119000 | #Constraints: 10126
15.91/16.01 c #Conflicts: 120000 | #Constraints: 11126
15.91/16.01 c #Conflicts: 121000 | #Constraints: 12126
15.91/16.01 c #Conflicts: 122000 | #Constraints: 13126
15.91/16.01 c bounds -33 >= -38 @ 15.2959
16.20/16.36 c #Conflicts: 123000 | #Constraints: 14154
16.20/16.36 c #Conflicts: 124000 | #Constraints: 15154
16.20/16.36 c INPROCESSING
16.20/16.36 c GARBAGE COLLECT
16.20/16.36 c rational objective -38
17.40/17.51 c #Conflicts: 125000 | #Constraints: 9063
17.40/17.51 c #Conflicts: 126000 | #Constraints: 10063
17.40/17.51 c #Conflicts: 127000 | #Constraints: 11063
17.40/17.51 c #Conflicts: 128000 | #Constraints: 12064
17.40/17.51 c #Conflicts: 129000 | #Constraints: 13064
17.40/17.51 c #Conflicts: 130000 | #Constraints: 14064
17.40/17.51 c #Conflicts: 131000 | #Constraints: 15064
17.40/17.51 c INPROCESSING
17.40/17.51 c GARBAGE COLLECT
17.40/17.51 c rational objective -38
18.49/18.65 c #Conflicts: 132000 | #Constraints: 8816
18.49/18.65 c #Conflicts: 133000 | #Constraints: 9816
18.49/18.65 c #Conflicts: 134000 | #Constraints: 10816
18.49/18.65 c #Conflicts: 135000 | #Constraints: 11816
18.49/18.65 c #Conflicts: 136000 | #Constraints: 12816
18.49/18.65 c #Conflicts: 137000 | #Constraints: 13817
18.49/18.65 c #Conflicts: 138000 | #Constraints: 14817
18.49/18.65 c #Conflicts: 139000 | #Constraints: 15817
18.49/18.65 c INPROCESSING
18.49/18.65 c GARBAGE COLLECT
18.49/18.65 c rational objective -38
19.69/19.84 c #Conflicts: 140000 | #Constraints: 9414
19.69/19.84 c #Conflicts: 141000 | #Constraints: 10458
19.69/19.84 c #Conflicts: 142000 | #Constraints: 11509
19.69/19.84 c #Conflicts: 143000 | #Constraints: 12555
19.69/19.84 c #Conflicts: 144000 | #Constraints: 13602
19.69/19.84 c #Conflicts: 145000 | #Constraints: 14642
19.69/19.84 c #Conflicts: 146000 | #Constraints: 15694
19.69/19.84 c #Conflicts: 147000 | #Constraints: 16742
19.69/19.84 c INPROCESSING
19.69/19.84 c GARBAGE COLLECT
19.69/19.84 c rational objective -38
21.08/21.25 c #Conflicts: 148000 | #Constraints: 9949
21.08/21.25 c #Conflicts: 149000 | #Constraints: 10949
21.08/21.25 c #Conflicts: 150000 | #Constraints: 11949
21.08/21.25 c #Conflicts: 151000 | #Constraints: 12950
21.08/21.25 c #Conflicts: 152000 | #Constraints: 13950
21.08/21.25 c #Conflicts: 153000 | #Constraints: 14951
21.08/21.25 c #Conflicts: 154000 | #Constraints: 15953
21.08/21.25 c #Conflicts: 155000 | #Constraints: 16953
21.08/21.25 c INPROCESSING
21.08/21.25 c GARBAGE COLLECT
21.08/21.25 c rational objective -38
22.38/22.55 c #Conflicts: 156000 | #Constraints: 10114
22.38/22.55 c #Conflicts: 157000 | #Constraints: 11163
22.38/22.55 c #Conflicts: 158000 | #Constraints: 12201
22.38/22.55 c #Conflicts: 159000 | #Constraints: 13245
22.38/22.55 c #Conflicts: 160000 | #Constraints: 14288
22.38/22.55 c #Conflicts: 161000 | #Constraints: 15328
22.38/22.55 c #Conflicts: 162000 | #Constraints: 16372
22.38/22.55 c #Conflicts: 163000 | #Constraints: 17421
22.38/22.55 c INPROCESSING
22.38/22.55 c GARBAGE COLLECT
22.38/22.55 c rational objective -38
23.77/23.96 c #Conflicts: 164000 | #Constraints: 10201
23.77/23.96 c #Conflicts: 165000 | #Constraints: 11201
23.77/23.96 c #Conflicts: 166000 | #Constraints: 12201
23.77/23.96 c #Conflicts: 167000 | #Constraints: 13201
23.77/23.96 c #Conflicts: 168000 | #Constraints: 14202
23.77/23.96 c #Conflicts: 169000 | #Constraints: 15202
23.77/23.96 c #Conflicts: 170000 | #Constraints: 16202
23.77/23.96 c #Conflicts: 171000 | #Constraints: 17202
23.77/23.96 c INPROCESSING
23.77/23.96 c GARBAGE COLLECT
23.77/23.96 c rational objective -38
25.17/25.35 c #Conflicts: 172000 | #Constraints: 9889
25.17/25.35 c #Conflicts: 173000 | #Constraints: 10890
25.17/25.35 c #Conflicts: 174000 | #Constraints: 11891
25.17/25.35 c #Conflicts: 175000 | #Constraints: 12891
25.17/25.35 c #Conflicts: 176000 | #Constraints: 13892
25.17/25.35 c #Conflicts: 177000 | #Constraints: 14892
25.17/25.35 c #Conflicts: 178000 | #Constraints: 15892
25.17/25.35 c #Conflicts: 179000 | #Constraints: 16892
25.17/25.35 c #Conflicts: 180000 | #Constraints: 17893
25.17/25.35 c INPROCESSING
25.17/25.35 c GARBAGE COLLECT
25.17/25.35 c rational objective -38
26.67/26.89 c #Conflicts: 181000 | #Constraints: 10467
26.67/26.89 c #Conflicts: 182000 | #Constraints: 11517
26.67/26.89 c #Conflicts: 183000 | #Constraints: 12572
26.67/26.89 c #Conflicts: 184000 | #Constraints: 13622
26.67/26.89 c #Conflicts: 185000 | #Constraints: 14681
26.67/26.89 c #Conflicts: 186000 | #Constraints: 15730
26.67/26.89 c #Conflicts: 187000 | #Constraints: 16779
26.67/26.89 c #Conflicts: 188000 | #Constraints: 17835
26.67/26.89 c #Conflicts: 189000 | #Constraints: 18883
26.67/26.89 c INPROCESSING
26.67/26.89 c GARBAGE COLLECT
26.67/26.89 c rational objective -38
28.26/28.43 c #Conflicts: 190000 | #Constraints: 11028
28.26/28.43 c #Conflicts: 191000 | #Constraints: 12029
28.26/28.43 c #Conflicts: 192000 | #Constraints: 13029
28.26/28.43 c #Conflicts: 193000 | #Constraints: 14030
28.26/28.43 c #Conflicts: 194000 | #Constraints: 15030
28.26/28.43 c #Conflicts: 195000 | #Constraints: 16030
28.26/28.43 c #Conflicts: 196000 | #Constraints: 17030
28.26/28.43 c #Conflicts: 197000 | #Constraints: 18030
28.26/28.43 c #Conflicts: 198000 | #Constraints: 19030
28.26/28.43 c INPROCESSING
28.26/28.43 c GARBAGE COLLECT
28.26/28.43 c rational objective -38
29.75/29.95 c #Conflicts: 199000 | #Constraints: 11107
29.75/29.95 c #Conflicts: 200000 | #Constraints: 12109
29.75/29.95 c #Conflicts: 201000 | #Constraints: 13109
29.75/29.95 c #Conflicts: 202000 | #Constraints: 14109
29.75/29.95 c #Conflicts: 203000 | #Constraints: 15109
29.75/29.95 c #Conflicts: 204000 | #Constraints: 16109
29.75/29.95 c #Conflicts: 205000 | #Constraints: 17109
29.75/29.95 c #Conflicts: 206000 | #Constraints: 18110
29.75/29.95 c #Conflicts: 207000 | #Constraints: 19110
29.75/29.95 c INPROCESSING
29.75/29.95 c GARBAGE COLLECT
29.75/29.95 c rational objective -38
50.21/50.52 c #Conflicts: 208000 | #Constraints: 11058
50.21/50.52 c #Conflicts: 209000 | #Constraints: 12092
50.21/50.52 c #Conflicts: 210000 | #Constraints: 13118
50.21/50.52 c #Conflicts: 211000 | #Constraints: 14149
50.21/50.52 c #Conflicts: 212000 | #Constraints: 15181
50.21/50.52 c #Conflicts: 213000 | #Constraints: 16210
50.21/50.52 c #Conflicts: 214000 | #Constraints: 17244
50.21/50.52 c #Conflicts: 215000 | #Constraints: 18278
50.21/50.52 c #Conflicts: 216000 | #Constraints: 19320
50.21/50.52 c #Conflicts: 217000 | #Constraints: 20356
50.21/50.52 c #Conflicts: 218000 | #Constraints: 21392
50.21/50.52 c #Conflicts: 219000 | #Constraints: 22440
50.21/50.52 c #Conflicts: 220000 | #Constraints: 23487
50.21/50.52 c #Conflicts: 221000 | #Constraints: 24536
50.21/50.52 c #Conflicts: 222000 | #Constraints: 25582
50.21/50.52 c #Conflicts: 223000 | #Constraints: 26631
50.21/50.52 c #Conflicts: 224000 | #Constraints: 27686
50.21/50.52 c #Conflicts: 225000 | #Constraints: 28721
50.21/50.52 c #Conflicts: 226000 | #Constraints: 29771
50.21/50.52 c #Conflicts: 227000 | #Constraints: 30813
50.21/50.52 c #Conflicts: 228000 | #Constraints: 31854
50.21/50.52 c #Conflicts: 229000 | #Constraints: 32892
50.21/50.52 c #Conflicts: 230000 | #Constraints: 33936
50.21/50.52 c #Conflicts: 231000 | #Constraints: 34984
50.21/50.52 c #Conflicts: 232000 | #Constraints: 36030
50.21/50.52 c #Conflicts: 233000 | #Constraints: 37074
50.21/50.52 c #Conflicts: 234000 | #Constraints: 38128
50.21/50.52 c #Conflicts: 235000 | #Constraints: 39171
50.21/50.52 c #Conflicts: 236000 | #Constraints: 40212
50.21/50.52 c #Conflicts: 237000 | #Constraints: 41259
50.21/50.52 c #Conflicts: 238000 | #Constraints: 42307
50.21/50.52 c #Conflicts: 239000 | #Constraints: 43356
50.21/50.52 c #Conflicts: 240000 | #Constraints: 44399
50.21/50.52 c #Conflicts: 241000 | #Constraints: 45433
50.21/50.52 c #Conflicts: 242000 | #Constraints: 46484
50.21/50.52 c #Conflicts: 243000 | #Constraints: 47516
50.21/50.52 c #Conflicts: 244000 | #Constraints: 48551
50.21/50.52 c #Conflicts: 245000 | #Constraints: 49591
50.21/50.52 c #Conflicts: 246000 | #Constraints: 50642
50.21/50.52 c #Conflicts: 247000 | #Constraints: 51691
50.21/50.52 c #Conflicts: 248000 | #Constraints: 52739
50.21/50.52 c #Conflicts: 249000 | #Constraints: 53783
50.21/50.52 c #Conflicts: 250000 | #Constraints: 54829
50.21/50.52 c INPROCESSING
50.21/50.52 c GARBAGE COLLECT
50.21/50.52 c rational objective -38
58.99/59.30 c #Conflicts: 251000 | #Constraints: 28618
58.99/59.30 c #Conflicts: 252000 | #Constraints: 29618
58.99/59.30 c #Conflicts: 253000 | #Constraints: 30619
58.99/59.30 c #Conflicts: 254000 | #Constraints: 31619
58.99/59.30 c #Conflicts: 255000 | #Constraints: 32619
58.99/59.30 c #Conflicts: 256000 | #Constraints: 33619
58.99/59.30 c #Conflicts: 257000 | #Constraints: 34619
58.99/59.30 c #Conflicts: 258000 | #Constraints: 35619
58.99/59.30 c #Conflicts: 259000 | #Constraints: 36619
58.99/59.30 c #Conflicts: 260000 | #Constraints: 37620
58.99/59.30 c #Conflicts: 261000 | #Constraints: 38620
58.99/59.30 c INPROCESSING
58.99/59.30 c GARBAGE COLLECT
58.99/59.30 c rational objective -38
61.78/62.17 c #Conflicts: 262000 | #Constraints: 20756
61.78/62.17 c #Conflicts: 263000 | #Constraints: 21756
61.78/62.17 c #Conflicts: 264000 | #Constraints: 22756
61.78/62.17 c #Conflicts: 265000 | #Constraints: 23756
61.78/62.17 c #Conflicts: 266000 | #Constraints: 24756
61.78/62.17 c #Conflicts: 267000 | #Constraints: 25756
61.78/62.17 c #Conflicts: 268000 | #Constraints: 26756
61.78/62.17 c #Conflicts: 269000 | #Constraints: 27756
61.78/62.17 c bounds -33 >= -37 @ 60.3111
62.76/63.15 c #Conflicts: 270000 | #Constraints: 28786
62.76/63.15 c #Conflicts: 271000 | #Constraints: 29787
62.76/63.15 c #Conflicts: 272000 | #Constraints: 30788
62.76/63.15 c INPROCESSING
62.76/63.15 c GARBAGE COLLECT
62.76/63.15 c rational objective -37
65.35/65.74 c #Conflicts: 273000 | #Constraints: 16997
65.35/65.74 c #Conflicts: 274000 | #Constraints: 17997
65.35/65.74 c #Conflicts: 275000 | #Constraints: 18998
65.35/65.74 c #Conflicts: 276000 | #Constraints: 19998
65.35/65.74 c #Conflicts: 277000 | #Constraints: 20998
65.35/65.74 c #Conflicts: 278000 | #Constraints: 21998
65.35/65.74 c #Conflicts: 279000 | #Constraints: 22999
65.35/65.74 c #Conflicts: 280000 | #Constraints: 23999
65.35/65.74 c #Conflicts: 281000 | #Constraints: 25000
65.35/65.74 c #Conflicts: 282000 | #Constraints: 26002
65.35/65.74 c INPROCESSING
65.35/65.74 c GARBAGE COLLECT
65.35/65.74 c rational objective -37
67.55/67.90 c #Conflicts: 283000 | #Constraints: 14146
67.55/67.90 c #Conflicts: 284000 | #Constraints: 15147
67.55/67.90 c #Conflicts: 285000 | #Constraints: 16147
67.55/67.90 c #Conflicts: 286000 | #Constraints: 17147
67.55/67.90 c #Conflicts: 287000 | #Constraints: 18147
67.55/67.90 c #Conflicts: 288000 | #Constraints: 19147
67.55/67.90 c #Conflicts: 289000 | #Constraints: 20148
67.55/67.90 c #Conflicts: 290000 | #Constraints: 21148
67.55/67.90 c #Conflicts: 291000 | #Constraints: 22148
67.55/67.90 c #Conflicts: 292000 | #Constraints: 23148
67.55/67.90 c #Conflicts: 293000 | #Constraints: 24148
67.55/67.90 c #Conflicts: 294000 | #Constraints: 25148
67.55/67.90 c INPROCESSING
67.55/67.90 c GARBAGE COLLECT
67.55/67.90 c rational objective -37
69.64/70.09 c #Conflicts: 295000 | #Constraints: 14173
69.64/70.09 c #Conflicts: 296000 | #Constraints: 15174
69.64/70.09 c #Conflicts: 297000 | #Constraints: 16175
69.64/70.09 c #Conflicts: 298000 | #Constraints: 17175
69.64/70.09 c #Conflicts: 299000 | #Constraints: 18176
69.64/70.09 c #Conflicts: 300000 | #Constraints: 19177
69.64/70.09 c #Conflicts: 301000 | #Constraints: 20177
69.64/70.09 c #Conflicts: 302000 | #Constraints: 21177
69.64/70.09 c #Conflicts: 303000 | #Constraints: 22177
69.64/70.09 c #Conflicts: 304000 | #Constraints: 23177
69.64/70.09 c #Conflicts: 305000 | #Constraints: 24177
69.64/70.09 c INPROCESSING
69.64/70.09 c GARBAGE COLLECT
69.64/70.09 c rational objective -37
71.83/72.24 c #Conflicts: 306000 | #Constraints: 13530
71.83/72.24 c #Conflicts: 307000 | #Constraints: 14530
71.83/72.24 c #Conflicts: 308000 | #Constraints: 15531
71.83/72.24 c #Conflicts: 309000 | #Constraints: 16533
71.83/72.24 c #Conflicts: 310000 | #Constraints: 17533
71.83/72.24 c #Conflicts: 311000 | #Constraints: 18533
71.83/72.24 c #Conflicts: 312000 | #Constraints: 19533
71.83/72.24 c #Conflicts: 313000 | #Constraints: 20533
71.83/72.24 c #Conflicts: 314000 | #Constraints: 21534
71.83/72.24 c #Conflicts: 315000 | #Constraints: 22534
71.83/72.24 c #Conflicts: 316000 | #Constraints: 23534
71.83/72.24 c INPROCESSING
71.83/72.24 c GARBAGE COLLECT
71.83/72.24 c rational objective -37
88.29/88.76 c #Conflicts: 317000 | #Constraints: 12971
88.29/88.76 c #Conflicts: 318000 | #Constraints: 13971
88.29/88.76 c #Conflicts: 319000 | #Constraints: 14972
88.29/88.76 c #Conflicts: 320000 | #Constraints: 15972
88.29/88.76 c #Conflicts: 321000 | #Constraints: 16972
88.29/88.76 c #Conflicts: 322000 | #Constraints: 17973
88.29/88.76 c #Conflicts: 323000 | #Constraints: 18974
88.29/88.76 c #Conflicts: 324000 | #Constraints: 19974
88.29/88.76 c #Conflicts: 325000 | #Constraints: 20974
88.29/88.76 c #Conflicts: 326000 | #Constraints: 21975
88.29/88.76 c #Conflicts: 327000 | #Constraints: 22975
88.29/88.76 c #Conflicts: 328000 | #Constraints: 23976
88.29/88.76 c #Conflicts: 329000 | #Constraints: 24976
88.29/88.76 c #Conflicts: 330000 | #Constraints: 25977
88.29/88.76 c #Conflicts: 331000 | #Constraints: 26977
88.29/88.76 c #Conflicts: 332000 | #Constraints: 27977
88.29/88.76 c #Conflicts: 333000 | #Constraints: 28977
88.29/88.76 c #Conflicts: 334000 | #Constraints: 29977
88.29/88.76 c #Conflicts: 335000 | #Constraints: 30977
88.29/88.76 c #Conflicts: 336000 | #Constraints: 31978
88.29/88.76 c #Conflicts: 337000 | #Constraints: 32978
88.29/88.76 c #Conflicts: 338000 | #Constraints: 33979
88.29/88.76 c #Conflicts: 339000 | #Constraints: 34980
88.29/88.76 c #Conflicts: 340000 | #Constraints: 35980
88.29/88.76 c #Conflicts: 341000 | #Constraints: 36980
88.29/88.76 c #Conflicts: 342000 | #Constraints: 37980
88.29/88.76 c #Conflicts: 343000 | #Constraints: 38980
88.29/88.76 c #Conflicts: 344000 | #Constraints: 39980
88.29/88.76 c #Conflicts: 345000 | #Constraints: 40980
88.29/88.76 c #Conflicts: 346000 | #Constraints: 41980
88.29/88.76 c #Conflicts: 347000 | #Constraints: 42980
88.29/88.76 c #Conflicts: 348000 | #Constraints: 43980
88.29/88.76 c #Conflicts: 349000 | #Constraints: 44980
88.29/88.76 c #Conflicts: 350000 | #Constraints: 45980
88.29/88.76 c #Conflicts: 351000 | #Constraints: 46980
88.29/88.76 c #Conflicts: 352000 | #Constraints: 47980
88.29/88.76 c #Conflicts: 353000 | #Constraints: 48980
88.29/88.76 c #Conflicts: 354000 | #Constraints: 49980
88.29/88.76 c #Conflicts: 355000 | #Constraints: 50980
88.29/88.76 c #Conflicts: 356000 | #Constraints: 51980
88.29/88.76 c #Conflicts: 357000 | #Constraints: 52980
88.29/88.76 c #Conflicts: 358000 | #Constraints: 53980
88.29/88.76 c #Conflicts: 359000 | #Constraints: 54980
88.29/88.76 c #Conflicts: 360000 | #Constraints: 55980
88.29/88.76 c #Conflicts: 361000 | #Constraints: 56980
88.29/88.76 c #Conflicts: 362000 | #Constraints: 57980
88.29/88.76 c #Conflicts: 363000 | #Constraints: 58980
88.29/88.76 c #Conflicts: 364000 | #Constraints: 59980
88.29/88.76 c #Conflicts: 365000 | #Constraints: 60980
88.29/88.76 c #Conflicts: 366000 | #Constraints: 61980
88.29/88.76 c #Conflicts: 367000 | #Constraints: 62980
88.29/88.76 c #Conflicts: 368000 | #Constraints: 63980
88.29/88.76 c #Conflicts: 369000 | #Constraints: 64980
88.29/88.76 c INPROCESSING
88.29/88.76 c GARBAGE COLLECT
88.29/88.76 c rational objective -37
91.18/91.68 c #Conflicts: 370000 | #Constraints: 34111
91.18/91.68 c #Conflicts: 371000 | #Constraints: 35150
91.18/91.68 c #Conflicts: 372000 | #Constraints: 36197
91.18/91.68 c #Conflicts: 373000 | #Constraints: 37247
91.18/91.68 c #Conflicts: 374000 | #Constraints: 38294
91.18/91.68 c #Conflicts: 375000 | #Constraints: 39343
91.18/91.68 c #Conflicts: 376000 | #Constraints: 40390
91.18/91.68 c #Conflicts: 377000 | #Constraints: 41428
91.18/91.68 c #Conflicts: 378000 | #Constraints: 42468
91.18/91.68 c #Conflicts: 379000 | #Constraints: 43515
91.18/91.68 c #Conflicts: 380000 | #Constraints: 44550
91.18/91.68 c #Conflicts: 381000 | #Constraints: 45597
91.18/91.68 c INPROCESSING
91.18/91.68 c GARBAGE COLLECT
91.18/91.68 c rational objective -37
94.13/94.60 c #Conflicts: 382000 | #Constraints: 24011
94.13/94.60 c #Conflicts: 383000 | #Constraints: 25050
94.13/94.60 c #Conflicts: 384000 | #Constraints: 26092
94.13/94.60 c #Conflicts: 385000 | #Constraints: 27135
94.13/94.60 c #Conflicts: 386000 | #Constraints: 28186
94.13/94.60 c #Conflicts: 387000 | #Constraints: 29221
94.13/94.60 c #Conflicts: 388000 | #Constraints: 30264
94.13/94.60 c #Conflicts: 389000 | #Constraints: 31300
94.13/94.60 c #Conflicts: 390000 | #Constraints: 32334
94.13/94.60 c #Conflicts: 391000 | #Constraints: 33364
94.13/94.60 c #Conflicts: 392000 | #Constraints: 34401
94.13/94.60 c #Conflicts: 393000 | #Constraints: 35447
94.13/94.60 c #Conflicts: 394000 | #Constraints: 36496
94.13/94.60 c INPROCESSING
94.13/94.60 c GARBAGE COLLECT
94.13/94.60 c rational objective -37
96.92/97.49 c #Conflicts: 395000 | #Constraints: 19469
96.92/97.49 c #Conflicts: 396000 | #Constraints: 20516
96.92/97.49 c #Conflicts: 397000 | #Constraints: 21560
96.92/97.49 c #Conflicts: 398000 | #Constraints: 22606
96.92/97.49 c #Conflicts: 399000 | #Constraints: 23656
96.92/97.49 c #Conflicts: 400000 | #Constraints: 24699
96.92/97.49 c #Conflicts: 401000 | #Constraints: 25733
96.92/97.49 c #Conflicts: 402000 | #Constraints: 26774
96.92/97.49 c #Conflicts: 403000 | #Constraints: 27812
96.92/97.49 c #Conflicts: 404000 | #Constraints: 28857
96.92/97.49 c #Conflicts: 405000 | #Constraints: 29905
96.92/97.49 c #Conflicts: 406000 | #Constraints: 30942
96.92/97.49 c #Conflicts: 407000 | #Constraints: 31968
96.92/97.49 c #Conflicts: 408000 | #Constraints: 33008
96.92/97.49 c INPROCESSING
96.92/97.49 c GARBAGE COLLECT
96.92/97.49 c rational objective -37
99.92/100.46 c #Conflicts: 409000 | #Constraints: 18096
99.92/100.46 c #Conflicts: 410000 | #Constraints: 19096
99.92/100.46 c #Conflicts: 411000 | #Constraints: 20097
99.92/100.46 c #Conflicts: 412000 | #Constraints: 21098
99.92/100.46 c #Conflicts: 413000 | #Constraints: 22098
99.92/100.46 c #Conflicts: 414000 | #Constraints: 23098
99.92/100.46 c #Conflicts: 415000 | #Constraints: 24098
99.92/100.46 c #Conflicts: 416000 | #Constraints: 25098
99.92/100.46 c #Conflicts: 417000 | #Constraints: 26098
99.92/100.46 c #Conflicts: 418000 | #Constraints: 27098
99.92/100.46 c #Conflicts: 419000 | #Constraints: 28098
99.92/100.46 c #Conflicts: 420000 | #Constraints: 29099
99.92/100.46 c #Conflicts: 421000 | #Constraints: 30099
99.92/100.46 c INPROCESSING
99.92/100.46 c GARBAGE COLLECT
99.92/100.46 c rational objective -37
102.81/103.31 c #Conflicts: 422000 | #Constraints: 16457
102.81/103.31 c #Conflicts: 423000 | #Constraints: 17457
102.81/103.31 c #Conflicts: 424000 | #Constraints: 18457
102.81/103.31 c #Conflicts: 425000 | #Constraints: 19457
102.81/103.31 c #Conflicts: 426000 | #Constraints: 20458
102.81/103.31 c #Conflicts: 427000 | #Constraints: 21459
102.81/103.31 c #Conflicts: 428000 | #Constraints: 22459
102.81/103.31 c #Conflicts: 429000 | #Constraints: 23459
102.81/103.31 c #Conflicts: 430000 | #Constraints: 24460
102.81/103.31 c #Conflicts: 431000 | #Constraints: 25460
102.81/103.31 c #Conflicts: 432000 | #Constraints: 26460
102.81/103.31 c #Conflicts: 433000 | #Constraints: 27460
102.81/103.31 c #Conflicts: 434000 | #Constraints: 28460
102.81/103.31 c #Conflicts: 435000 | #Constraints: 29460
102.81/103.31 c INPROCESSING
102.81/103.31 c GARBAGE COLLECT
102.81/103.31 c rational objective -37
105.61/106.16 c #Conflicts: 436000 | #Constraints: 16367
105.61/106.16 c #Conflicts: 437000 | #Constraints: 17414
105.61/106.16 c #Conflicts: 438000 | #Constraints: 18461
105.61/106.16 c #Conflicts: 439000 | #Constraints: 19517
105.61/106.16 c #Conflicts: 440000 | #Constraints: 20568
105.61/106.16 c #Conflicts: 441000 | #Constraints: 21616
105.61/106.16 c #Conflicts: 442000 | #Constraints: 22655
105.61/106.16 c #Conflicts: 443000 | #Constraints: 23701
105.61/106.16 c #Conflicts: 444000 | #Constraints: 24746
105.61/106.16 c #Conflicts: 445000 | #Constraints: 25789
105.61/106.16 c #Conflicts: 446000 | #Constraints: 26832
105.61/106.16 c #Conflicts: 447000 | #Constraints: 27875
105.61/106.16 c #Conflicts: 448000 | #Constraints: 28918
105.61/106.16 c INPROCESSING
105.61/106.16 c GARBAGE COLLECT
105.61/106.16 c rational objective -37
108.50/109.06 c #Conflicts: 449000 | #Constraints: 15672
108.50/109.06 c #Conflicts: 450000 | #Constraints: 16673
108.50/109.06 c #Conflicts: 451000 | #Constraints: 17676
108.50/109.06 c #Conflicts: 452000 | #Constraints: 18677
108.50/109.06 c #Conflicts: 453000 | #Constraints: 19678
108.50/109.06 c #Conflicts: 454000 | #Constraints: 20679
108.50/109.06 c #Conflicts: 455000 | #Constraints: 21679
108.50/109.06 c #Conflicts: 456000 | #Constraints: 22679
108.50/109.06 c #Conflicts: 457000 | #Constraints: 23679
108.50/109.06 c #Conflicts: 458000 | #Constraints: 24681
108.50/109.06 c #Conflicts: 459000 | #Constraints: 25681
108.50/109.06 c #Conflicts: 460000 | #Constraints: 26681
108.50/109.06 c #Conflicts: 461000 | #Constraints: 27681
108.50/109.06 c #Conflicts: 462000 | #Constraints: 28682
108.50/109.06 c INPROCESSING
108.50/109.06 c GARBAGE COLLECT
108.50/109.06 c rational objective -37
125.60/126.24 c #Conflicts: 463000 | #Constraints: 15549
125.60/126.24 c #Conflicts: 464000 | #Constraints: 16549
125.60/126.24 c #Conflicts: 465000 | #Constraints: 17549
125.60/126.24 c #Conflicts: 466000 | #Constraints: 18549
125.60/126.24 c #Conflicts: 467000 | #Constraints: 19549
125.60/126.24 c #Conflicts: 468000 | #Constraints: 20550
125.60/126.24 c #Conflicts: 469000 | #Constraints: 21550
125.60/126.24 c #Conflicts: 470000 | #Constraints: 22550
125.60/126.24 c #Conflicts: 471000 | #Constraints: 23551
125.60/126.24 c #Conflicts: 472000 | #Constraints: 24551
125.60/126.24 c #Conflicts: 473000 | #Constraints: 25551
125.60/126.24 c #Conflicts: 474000 | #Constraints: 26552
125.60/126.24 c #Conflicts: 475000 | #Constraints: 27552
125.60/126.24 c #Conflicts: 476000 | #Constraints: 28553
125.60/126.24 c #Conflicts: 477000 | #Constraints: 29555
125.60/126.24 c #Conflicts: 478000 | #Constraints: 30555
125.60/126.24 c #Conflicts: 479000 | #Constraints: 31555
125.60/126.24 c #Conflicts: 480000 | #Constraints: 32556
125.60/126.24 c #Conflicts: 481000 | #Constraints: 33556
125.60/126.24 c #Conflicts: 482000 | #Constraints: 34557
125.60/126.24 c #Conflicts: 483000 | #Constraints: 35557
125.60/126.24 c #Conflicts: 484000 | #Constraints: 36557
125.60/126.24 c #Conflicts: 485000 | #Constraints: 37558
125.60/126.24 c #Conflicts: 486000 | #Constraints: 38558
125.60/126.24 c #Conflicts: 487000 | #Constraints: 39559
125.60/126.24 c #Conflicts: 488000 | #Constraints: 40559
125.60/126.24 c #Conflicts: 489000 | #Constraints: 41559
125.60/126.24 c #Conflicts: 490000 | #Constraints: 42559
125.60/126.24 c #Conflicts: 491000 | #Constraints: 43559
125.60/126.24 c #Conflicts: 492000 | #Constraints: 44559
125.60/126.24 c #Conflicts: 493000 | #Constraints: 45559
125.60/126.24 c #Conflicts: 494000 | #Constraints: 46559
125.60/126.24 c #Conflicts: 495000 | #Constraints: 47559
125.60/126.24 c #Conflicts: 496000 | #Constraints: 48560
125.60/126.24 c #Conflicts: 497000 | #Constraints: 49560
125.60/126.24 c #Conflicts: 498000 | #Constraints: 50560
125.60/126.24 c #Conflicts: 499000 | #Constraints: 51560
125.60/126.24 c #Conflicts: 500000 | #Constraints: 52560
125.60/126.24 c #Conflicts: 501000 | #Constraints: 53560
125.60/126.24 c #Conflicts: 502000 | #Constraints: 54560
125.60/126.24 c #Conflicts: 503000 | #Constraints: 55560
125.60/126.24 c #Conflicts: 504000 | #Constraints: 56560
125.60/126.24 c #Conflicts: 505000 | #Constraints: 57560
125.60/126.24 c #Conflicts: 506000 | #Constraints: 58560
125.60/126.24 c #Conflicts: 507000 | #Constraints: 59560
125.60/126.24 c #Conflicts: 508000 | #Constraints: 60560
125.60/126.24 c #Conflicts: 509000 | #Constraints: 61560
125.60/126.24 c #Conflicts: 510000 | #Constraints: 62560
125.60/126.24 c #Conflicts: 511000 | #Constraints: 63560
125.60/126.24 c #Conflicts: 512000 | #Constraints: 64560
125.60/126.24 c #Conflicts: 513000 | #Constraints: 65560
125.60/126.24 c #Conflicts: 514000 | #Constraints: 66561
125.60/126.24 c #Conflicts: 515000 | #Constraints: 67561
125.60/126.24 c #Conflicts: 516000 | #Constraints: 68561
125.60/126.24 c #Conflicts: 517000 | #Constraints: 69562
125.60/126.24 c bounds -33 >= -36 @ 122.612
127.20/127.80 c #Conflicts: 518000 | #Constraints: 70599
127.20/127.80 c #Conflicts: 519000 | #Constraints: 71651
127.20/127.80 c #Conflicts: 520000 | #Constraints: 72700
127.20/127.80 c #Conflicts: 521000 | #Constraints: 73739
127.20/127.80 c #Conflicts: 522000 | #Constraints: 74784
127.20/127.80 c #Conflicts: 523000 | #Constraints: 75829
127.20/127.80 c #Conflicts: 524000 | #Constraints: 76865
127.20/127.80 c INPROCESSING
127.20/127.80 c GARBAGE COLLECT
127.20/127.80 c rational objective -36
130.68/131.38 c #Conflicts: 525000 | #Constraints: 39701
130.68/131.38 c #Conflicts: 526000 | #Constraints: 40734
130.68/131.38 c #Conflicts: 527000 | #Constraints: 41782
130.68/131.38 c #Conflicts: 528000 | #Constraints: 42830
130.68/131.38 c #Conflicts: 529000 | #Constraints: 43878
130.68/131.38 c #Conflicts: 530000 | #Constraints: 44923
130.68/131.38 c #Conflicts: 531000 | #Constraints: 45965
130.68/131.38 c #Conflicts: 532000 | #Constraints: 47011
130.68/131.38 c #Conflicts: 533000 | #Constraints: 48050
130.68/131.38 c #Conflicts: 534000 | #Constraints: 49085
130.68/131.38 c #Conflicts: 535000 | #Constraints: 50116
130.68/131.38 c #Conflicts: 536000 | #Constraints: 51145
130.68/131.38 c #Conflicts: 537000 | #Constraints: 52173
130.68/131.38 c #Conflicts: 538000 | #Constraints: 53215
130.68/131.38 c #Conflicts: 539000 | #Constraints: 54254
130.68/131.38 c #Conflicts: 540000 | #Constraints: 55294
130.68/131.38 c INPROCESSING
130.68/131.38 c GARBAGE COLLECT
130.68/131.38 c rational objective -36
133.97/134.60 c #Conflicts: 541000 | #Constraints: 29280
133.97/134.60 c #Conflicts: 542000 | #Constraints: 30318
133.97/134.60 c #Conflicts: 543000 | #Constraints: 31355
133.97/134.60 c #Conflicts: 544000 | #Constraints: 32387
133.97/134.60 c #Conflicts: 545000 | #Constraints: 33422
133.97/134.60 c #Conflicts: 546000 | #Constraints: 34457
133.97/134.60 c #Conflicts: 547000 | #Constraints: 35493
133.97/134.60 c #Conflicts: 548000 | #Constraints: 36528
133.97/134.60 c #Conflicts: 549000 | #Constraints: 37574
133.97/134.60 c #Conflicts: 550000 | #Constraints: 38617
133.97/134.60 c #Conflicts: 551000 | #Constraints: 39663
133.97/134.60 c #Conflicts: 552000 | #Constraints: 40701
133.97/134.60 c #Conflicts: 553000 | #Constraints: 41750
133.97/134.60 c #Conflicts: 554000 | #Constraints: 42797
133.97/134.60 c #Conflicts: 555000 | #Constraints: 43845
133.97/134.60 c INPROCESSING
133.97/134.60 c GARBAGE COLLECT
133.97/134.60 c rational objective -36
137.26/137.95 c #Conflicts: 556000 | #Constraints: 23303
137.26/137.95 c #Conflicts: 557000 | #Constraints: 24339
137.26/137.95 c #Conflicts: 558000 | #Constraints: 25380
137.26/137.95 c #Conflicts: 559000 | #Constraints: 26405
137.26/137.95 c #Conflicts: 560000 | #Constraints: 27433
137.26/137.95 c #Conflicts: 561000 | #Constraints: 28463
137.26/137.95 c #Conflicts: 562000 | #Constraints: 29507
137.26/137.95 c #Conflicts: 563000 | #Constraints: 30556
137.26/137.95 c #Conflicts: 564000 | #Constraints: 31596
137.26/137.95 c #Conflicts: 565000 | #Constraints: 32651
137.26/137.95 c #Conflicts: 566000 | #Constraints: 33699
137.26/137.95 c #Conflicts: 567000 | #Constraints: 34742
137.26/137.95 c #Conflicts: 568000 | #Constraints: 35776
137.26/137.95 c #Conflicts: 569000 | #Constraints: 36817
137.26/137.95 c #Conflicts: 570000 | #Constraints: 37856
137.26/137.95 c #Conflicts: 571000 | #Constraints: 38900
137.26/137.95 c INPROCESSING
137.26/137.95 c GARBAGE COLLECT
137.26/137.95 c rational objective -36
141.25/141.98 c #Conflicts: 572000 | #Constraints: 20955
141.25/141.98 c #Conflicts: 573000 | #Constraints: 21956
141.25/141.98 c #Conflicts: 574000 | #Constraints: 22957
141.25/141.98 c #Conflicts: 575000 | #Constraints: 23957
141.25/141.98 c #Conflicts: 576000 | #Constraints: 24957
141.25/141.98 c #Conflicts: 577000 | #Constraints: 25958
141.25/141.98 c #Conflicts: 578000 | #Constraints: 26958
141.25/141.98 c #Conflicts: 579000 | #Constraints: 27959
141.25/141.98 c #Conflicts: 580000 | #Constraints: 28959
141.25/141.98 c #Conflicts: 581000 | #Constraints: 29960
141.25/141.98 c #Conflicts: 582000 | #Constraints: 30962
141.25/141.98 c #Conflicts: 583000 | #Constraints: 31963
141.25/141.98 c #Conflicts: 584000 | #Constraints: 32963
141.25/141.98 c #Conflicts: 585000 | #Constraints: 33964
141.25/141.98 c #Conflicts: 586000 | #Constraints: 34965
141.25/141.98 c #Conflicts: 587000 | #Constraints: 35966
141.25/141.98 c INPROCESSING
141.25/141.98 c GARBAGE COLLECT
141.25/141.98 c rational objective -36
145.15/145.86 c #Conflicts: 588000 | #Constraints: 19574
145.15/145.86 c #Conflicts: 589000 | #Constraints: 20627
145.15/145.86 c #Conflicts: 590000 | #Constraints: 21677
145.15/145.86 c #Conflicts: 591000 | #Constraints: 22733
145.15/145.86 c #Conflicts: 592000 | #Constraints: 23777
145.15/145.86 c #Conflicts: 593000 | #Constraints: 24823
145.15/145.86 c #Conflicts: 594000 | #Constraints: 25860
145.15/145.86 c #Conflicts: 595000 | #Constraints: 26900
145.15/145.86 c #Conflicts: 596000 | #Constraints: 27939
145.15/145.86 c #Conflicts: 597000 | #Constraints: 28986
145.15/145.86 c #Conflicts: 598000 | #Constraints: 30031
145.15/145.86 c #Conflicts: 599000 | #Constraints: 31077
145.15/145.86 c #Conflicts: 600000 | #Constraints: 32131
145.15/145.86 c #Conflicts: 601000 | #Constraints: 33175
145.15/145.86 c #Conflicts: 602000 | #Constraints: 34228
145.15/145.86 c #Conflicts: 603000 | #Constraints: 35268
145.15/145.86 c INPROCESSING
145.15/145.86 c GARBAGE COLLECT
145.15/145.86 c rational objective -36
148.83/149.59 c #Conflicts: 604000 | #Constraints: 19145
148.83/149.59 c #Conflicts: 605000 | #Constraints: 20148
148.83/149.59 c #Conflicts: 606000 | #Constraints: 21152
148.83/149.59 c #Conflicts: 607000 | #Constraints: 22154
148.83/149.59 c #Conflicts: 608000 | #Constraints: 23157
148.83/149.59 c #Conflicts: 609000 | #Constraints: 24159
148.83/149.59 c #Conflicts: 610000 | #Constraints: 25161
148.83/149.59 c #Conflicts: 611000 | #Constraints: 26162
148.83/149.59 c #Conflicts: 612000 | #Constraints: 27163
148.83/149.59 c #Conflicts: 613000 | #Constraints: 28168
148.83/149.59 c #Conflicts: 614000 | #Constraints: 29172
148.83/149.59 c #Conflicts: 615000 | #Constraints: 30175
148.83/149.59 c #Conflicts: 616000 | #Constraints: 31178
148.83/149.59 c #Conflicts: 617000 | #Constraints: 32179
148.83/149.59 c #Conflicts: 618000 | #Constraints: 33180
148.83/149.59 c #Conflicts: 619000 | #Constraints: 34181
148.83/149.59 c INPROCESSING
148.83/149.59 c GARBAGE COLLECT
148.83/149.59 c rational objective -36
152.53/153.20 c #Conflicts: 620000 | #Constraints: 18450
152.53/153.20 c #Conflicts: 621000 | #Constraints: 19451
152.53/153.20 c #Conflicts: 622000 | #Constraints: 20451
152.53/153.20 c #Conflicts: 623000 | #Constraints: 21452
152.53/153.20 c #Conflicts: 624000 | #Constraints: 22452
152.53/153.20 c #Conflicts: 625000 | #Constraints: 23452
152.53/153.20 c #Conflicts: 626000 | #Constraints: 24454
152.53/153.20 c #Conflicts: 627000 | #Constraints: 25454
152.53/153.20 c #Conflicts: 628000 | #Constraints: 26456
152.53/153.20 c #Conflicts: 629000 | #Constraints: 27457
152.53/153.20 c #Conflicts: 630000 | #Constraints: 28458
152.53/153.20 c #Conflicts: 631000 | #Constraints: 29458
152.53/153.20 c #Conflicts: 632000 | #Constraints: 30458
152.53/153.20 c #Conflicts: 633000 | #Constraints: 31460
152.53/153.20 c #Conflicts: 634000 | #Constraints: 32462
152.53/153.20 c #Conflicts: 635000 | #Constraints: 33463
152.53/153.20 c #Conflicts: 636000 | #Constraints: 34464
152.53/153.20 c INPROCESSING
152.53/153.20 c GARBAGE COLLECT
152.53/153.20 c rational objective -36
206.94/207.83 c #Conflicts: 637000 | #Constraints: 18894
206.94/207.83 c #Conflicts: 638000 | #Constraints: 19939
206.94/207.83 c #Conflicts: 639000 | #Constraints: 20987
206.94/207.83 c #Conflicts: 640000 | #Constraints: 22040
206.94/207.83 c #Conflicts: 641000 | #Constraints: 23084
206.94/207.83 c #Conflicts: 642000 | #Constraints: 24135
206.94/207.83 c #Conflicts: 643000 | #Constraints: 25179
206.94/207.83 c #Conflicts: 644000 | #Constraints: 26224
206.94/207.83 c #Conflicts: 645000 | #Constraints: 27270
206.94/207.83 c #Conflicts: 646000 | #Constraints: 28318
206.94/207.83 c #Conflicts: 647000 | #Constraints: 29362
206.94/207.83 c #Conflicts: 648000 | #Constraints: 30406
206.94/207.83 c #Conflicts: 649000 | #Constraints: 31448
206.94/207.83 c #Conflicts: 650000 | #Constraints: 32499
206.94/207.83 c #Conflicts: 651000 | #Constraints: 33552
206.94/207.83 c #Conflicts: 652000 | #Constraints: 34602
206.94/207.83 c #Conflicts: 653000 | #Constraints: 35649
206.94/207.83 c #Conflicts: 654000 | #Constraints: 36693
206.94/207.83 c #Conflicts: 655000 | #Constraints: 37741
206.94/207.83 c #Conflicts: 656000 | #Constraints: 38791
206.94/207.83 c #Conflicts: 657000 | #Constraints: 39833
206.94/207.83 c #Conflicts: 658000 | #Constraints: 40877
206.94/207.83 c #Conflicts: 659000 | #Constraints: 41929
206.94/207.83 c #Conflicts: 660000 | #Constraints: 42978
206.94/207.83 c #Conflicts: 661000 | #Constraints: 44017
206.94/207.83 c #Conflicts: 662000 | #Constraints: 45064
206.94/207.83 c #Conflicts: 663000 | #Constraints: 46098
206.94/207.83 c #Conflicts: 664000 | #Constraints: 47141
206.94/207.83 c #Conflicts: 665000 | #Constraints: 48177
206.94/207.83 c #Conflicts: 666000 | #Constraints: 49219
206.94/207.83 c #Conflicts: 667000 | #Constraints: 50267
206.94/207.83 c #Conflicts: 668000 | #Constraints: 51326
206.94/207.83 c #Conflicts: 669000 | #Constraints: 52368
206.94/207.83 c #Conflicts: 670000 | #Constraints: 53401
206.94/207.83 c #Conflicts: 671000 | #Constraints: 54445
206.94/207.83 c #Conflicts: 672000 | #Constraints: 55491
206.94/207.83 c #Conflicts: 673000 | #Constraints: 56528
206.94/207.83 c #Conflicts: 674000 | #Constraints: 57565
206.94/207.83 c #Conflicts: 675000 | #Constraints: 58599
206.94/207.83 c #Conflicts: 676000 | #Constraints: 59629
206.94/207.83 c #Conflicts: 677000 | #Constraints: 60657
206.94/207.83 c #Conflicts: 678000 | #Constraints: 61690
206.94/207.83 c #Conflicts: 679000 | #Constraints: 62734
206.94/207.83 c #Conflicts: 680000 | #Constraints: 63773
206.94/207.83 c #Conflicts: 681000 | #Constraints: 64807
206.94/207.83 c #Conflicts: 682000 | #Constraints: 65853
206.94/207.83 c #Conflicts: 683000 | #Constraints: 66899
206.94/207.83 c #Conflicts: 684000 | #Constraints: 67938
206.94/207.83 c #Conflicts: 685000 | #Constraints: 68965
206.94/207.83 c #Conflicts: 686000 | #Constraints: 69996
206.94/207.83 c #Conflicts: 687000 | #Constraints: 71031
206.94/207.83 c #Conflicts: 688000 | #Constraints: 72065
206.94/207.83 c #Conflicts: 689000 | #Constraints: 73092
206.94/207.83 c #Conflicts: 690000 | #Constraints: 74112
206.94/207.83 c #Conflicts: 691000 | #Constraints: 75142
206.94/207.83 c #Conflicts: 692000 | #Constraints: 76174
206.94/207.83 c #Conflicts: 693000 | #Constraints: 77197
206.94/207.83 c #Conflicts: 694000 | #Constraints: 78229
206.94/207.83 c #Conflicts: 695000 | #Constraints: 79270
206.94/207.83 c #Conflicts: 696000 | #Constraints: 80312
206.94/207.83 c #Conflicts: 697000 | #Constraints: 81357
206.94/207.83 c #Conflicts: 698000 | #Constraints: 82399
206.94/207.83 c #Conflicts: 699000 | #Constraints: 83445
206.94/207.83 c #Conflicts: 700000 | #Constraints: 84494
206.94/207.83 c #Conflicts: 701000 | #Constraints: 85544
206.94/207.83 c #Conflicts: 702000 | #Constraints: 86598
206.94/207.83 c #Conflicts: 703000 | #Constraints: 87639
206.94/207.83 c #Conflicts: 704000 | #Constraints: 88684
206.94/207.83 c #Conflicts: 705000 | #Constraints: 89734
206.94/207.83 c #Conflicts: 706000 | #Constraints: 90777
206.94/207.83 c #Conflicts: 707000 | #Constraints: 91822
206.94/207.83 c INPROCESSING
206.94/207.83 c GARBAGE COLLECT
206.94/207.83 c rational objective -36
224.88/225.84 c #Conflicts: 708000 | #Constraints: 47224
224.88/225.84 c #Conflicts: 709000 | #Constraints: 48224
224.88/225.84 c #Conflicts: 710000 | #Constraints: 49225
224.88/225.84 c #Conflicts: 711000 | #Constraints: 50229
224.88/225.84 c #Conflicts: 712000 | #Constraints: 51236
224.88/225.84 c #Conflicts: 713000 | #Constraints: 52237
224.88/225.84 c #Conflicts: 714000 | #Constraints: 53237
224.88/225.84 c #Conflicts: 715000 | #Constraints: 54238
224.88/225.84 c #Conflicts: 716000 | #Constraints: 55238
224.88/225.84 c #Conflicts: 717000 | #Constraints: 56239
224.88/225.84 c #Conflicts: 718000 | #Constraints: 57240
224.88/225.84 c #Conflicts: 719000 | #Constraints: 58240
224.88/225.84 c #Conflicts: 720000 | #Constraints: 59240
224.88/225.84 c #Conflicts: 721000 | #Constraints: 60240
224.88/225.84 c #Conflicts: 722000 | #Constraints: 61241
224.88/225.84 c #Conflicts: 723000 | #Constraints: 62243
224.88/225.84 c #Conflicts: 724000 | #Constraints: 63244
224.88/225.84 c #Conflicts: 725000 | #Constraints: 64244
224.88/225.84 c INPROCESSING
224.88/225.84 c GARBAGE COLLECT
224.88/225.84 c rational objective -36
234.07/235.09 c #Conflicts: 726000 | #Constraints: 33533
234.07/235.09 c #Conflicts: 727000 | #Constraints: 34534
234.07/235.09 c #Conflicts: 728000 | #Constraints: 35535
234.07/235.09 c #Conflicts: 729000 | #Constraints: 36535
234.07/235.09 c #Conflicts: 730000 | #Constraints: 37535
234.07/235.09 c #Conflicts: 731000 | #Constraints: 38537
234.07/235.09 c #Conflicts: 732000 | #Constraints: 39538
234.07/235.09 c #Conflicts: 733000 | #Constraints: 40539
234.07/235.09 c #Conflicts: 734000 | #Constraints: 41539
234.07/235.09 c #Conflicts: 735000 | #Constraints: 42539
234.07/235.09 c #Conflicts: 736000 | #Constraints: 43539
234.07/235.09 c #Conflicts: 737000 | #Constraints: 44539
234.07/235.09 c #Conflicts: 738000 | #Constraints: 45539
234.07/235.09 c #Conflicts: 739000 | #Constraints: 46539
234.07/235.09 c #Conflicts: 740000 | #Constraints: 47539
234.07/235.09 c #Conflicts: 741000 | #Constraints: 48540
234.07/235.09 c #Conflicts: 742000 | #Constraints: 49540
234.07/235.09 c #Conflicts: 743000 | #Constraints: 50540
234.07/235.09 c INPROCESSING
234.07/235.09 c GARBAGE COLLECT
234.07/235.09 c rational objective -36
239.55/240.58 c #Conflicts: 744000 | #Constraints: 26676
239.55/240.58 c #Conflicts: 745000 | #Constraints: 27676
239.55/240.58 c #Conflicts: 746000 | #Constraints: 28677
239.55/240.58 c #Conflicts: 747000 | #Constraints: 29678
239.55/240.58 c #Conflicts: 748000 | #Constraints: 30678
239.55/240.58 c #Conflicts: 749000 | #Constraints: 31680
239.55/240.58 c #Conflicts: 750000 | #Constraints: 32681
239.55/240.58 c #Conflicts: 751000 | #Constraints: 33682
239.55/240.58 c #Conflicts: 752000 | #Constraints: 34682
239.55/240.58 c #Conflicts: 753000 | #Constraints: 35683
239.55/240.58 c #Conflicts: 754000 | #Constraints: 36684
239.55/240.58 c #Conflicts: 755000 | #Constraints: 37686
239.55/240.58 c #Conflicts: 756000 | #Constraints: 38687
239.55/240.58 c #Conflicts: 757000 | #Constraints: 39688
239.55/240.58 c #Conflicts: 758000 | #Constraints: 40688
239.55/240.58 c #Conflicts: 759000 | #Constraints: 41690
239.55/240.58 c #Conflicts: 760000 | #Constraints: 42691
239.55/240.58 c #Conflicts: 761000 | #Constraints: 43691
239.55/240.58 c INPROCESSING
239.55/240.58 c GARBAGE COLLECT
239.55/240.58 c rational objective -36
244.14/245.19 c #Conflicts: 762000 | #Constraints: 23155
244.14/245.19 c #Conflicts: 763000 | #Constraints: 24156
244.14/245.19 c #Conflicts: 764000 | #Constraints: 25156
244.14/245.19 c #Conflicts: 765000 | #Constraints: 26156
244.14/245.19 c #Conflicts: 766000 | #Constraints: 27158
244.14/245.19 c #Conflicts: 767000 | #Constraints: 28159
244.14/245.19 c #Conflicts: 768000 | #Constraints: 29160
244.14/245.19 c #Conflicts: 769000 | #Constraints: 30162
244.14/245.19 c #Conflicts: 770000 | #Constraints: 31163
244.14/245.19 c #Conflicts: 771000 | #Constraints: 32166
244.14/245.19 c #Conflicts: 772000 | #Constraints: 33168
244.14/245.19 c #Conflicts: 773000 | #Constraints: 34168
244.14/245.19 c #Conflicts: 774000 | #Constraints: 35170
244.14/245.19 c #Conflicts: 775000 | #Constraints: 36171
244.14/245.19 c #Conflicts: 776000 | #Constraints: 37171
244.14/245.19 c #Conflicts: 777000 | #Constraints: 38171
244.14/245.19 c #Conflicts: 778000 | #Constraints: 39171
244.14/245.19 c #Conflicts: 779000 | #Constraints: 40171
244.14/245.19 c #Conflicts: 780000 | #Constraints: 41172
244.14/245.19 c INPROCESSING
244.14/245.19 c GARBAGE COLLECT
244.14/245.19 c rational objective -36
248.80/249.86 c #Conflicts: 781000 | #Constraints: 22195
248.80/249.86 c #Conflicts: 782000 | #Constraints: 23199
248.80/249.86 c #Conflicts: 783000 | #Constraints: 24201
248.80/249.86 c #Conflicts: 784000 | #Constraints: 25204
248.80/249.86 c #Conflicts: 785000 | #Constraints: 26205
248.80/249.86 c #Conflicts: 786000 | #Constraints: 27207
248.80/249.86 c #Conflicts: 787000 | #Constraints: 28208
248.80/249.86 c #Conflicts: 788000 | #Constraints: 29210
248.80/249.86 c #Conflicts: 789000 | #Constraints: 30210
248.80/249.86 c #Conflicts: 790000 | #Constraints: 31212
248.80/249.86 c #Conflicts: 791000 | #Constraints: 32213
248.80/249.86 c #Conflicts: 792000 | #Constraints: 33215
248.80/249.86 c #Conflicts: 793000 | #Constraints: 34215
248.80/249.86 c #Conflicts: 794000 | #Constraints: 35216
248.80/249.86 c #Conflicts: 795000 | #Constraints: 36216
248.80/249.86 c #Conflicts: 796000 | #Constraints: 37216
248.80/249.86 c #Conflicts: 797000 | #Constraints: 38216
248.80/249.86 c #Conflicts: 798000 | #Constraints: 39216
248.80/249.86 c INPROCESSING
248.80/249.86 c GARBAGE COLLECT
248.80/249.86 c rational objective -36
253.28/254.35 c #Conflicts: 799000 | #Constraints: 20924
253.28/254.35 c #Conflicts: 800000 | #Constraints: 21926
253.28/254.35 c #Conflicts: 801000 | #Constraints: 22926
253.28/254.35 c #Conflicts: 802000 | #Constraints: 23927
253.28/254.35 c #Conflicts: 803000 | #Constraints: 24928
253.28/254.35 c #Conflicts: 804000 | #Constraints: 25928
253.28/254.35 c #Conflicts: 805000 | #Constraints: 26929
253.28/254.35 c #Conflicts: 806000 | #Constraints: 27929
253.28/254.35 c #Conflicts: 807000 | #Constraints: 28929
253.28/254.35 c #Conflicts: 808000 | #Constraints: 29929
253.28/254.35 c #Conflicts: 809000 | #Constraints: 30930
253.28/254.35 c #Conflicts: 810000 | #Constraints: 31933
253.28/254.35 c #Conflicts: 811000 | #Constraints: 32934
253.28/254.35 c #Conflicts: 812000 | #Constraints: 33935
253.28/254.35 c #Conflicts: 813000 | #Constraints: 34937
253.28/254.35 c #Conflicts: 814000 | #Constraints: 35937
253.28/254.35 c #Conflicts: 815000 | #Constraints: 36937
253.28/254.35 c #Conflicts: 816000 | #Constraints: 37938
253.28/254.35 c #Conflicts: 817000 | #Constraints: 38938
253.28/254.35 c INPROCESSING
253.28/254.35 c GARBAGE COLLECT
253.28/254.35 c rational objective -36
284.08/288.82 c #Conflicts: 818000 | #Constraints: 20881
284.08/288.82 c #Conflicts: 819000 | #Constraints: 21881
284.08/288.82 c #Conflicts: 820000 | #Constraints: 22882
284.08/288.82 c #Conflicts: 821000 | #Constraints: 23884
284.08/288.82 c #Conflicts: 822000 | #Constraints: 24885
284.08/288.82 c #Conflicts: 823000 | #Constraints: 25886
284.08/288.82 c #Conflicts: 824000 | #Constraints: 26886
284.08/288.82 c #Conflicts: 825000 | #Constraints: 27887
284.08/288.82 c #Conflicts: 826000 | #Constraints: 28891
284.08/288.82 c #Conflicts: 827000 | #Constraints: 29892
284.08/288.82 c #Conflicts: 828000 | #Constraints: 30895
284.08/288.82 c #Conflicts: 829000 | #Constraints: 31896
284.08/288.82 c #Conflicts: 830000 | #Constraints: 32897
284.08/288.82 c #Conflicts: 831000 | #Constraints: 33898
284.08/288.82 c #Conflicts: 832000 | #Constraints: 34899
284.08/288.82 c #Conflicts: 833000 | #Constraints: 35900
284.08/288.82 c #Conflicts: 834000 | #Constraints: 36900
284.08/288.82 c #Conflicts: 835000 | #Constraints: 37900
284.08/288.82 c #Conflicts: 836000 | #Constraints: 38901
284.08/288.82 c #Conflicts: 837000 | #Constraints: 39901
284.08/288.82 c #Conflicts: 838000 | #Constraints: 40901
284.08/288.82 c #Conflicts: 839000 | #Constraints: 41903
284.08/288.82 c #Conflicts: 840000 | #Constraints: 42904
284.08/288.82 c #Conflicts: 841000 | #Constraints: 43904
284.08/288.82 c #Conflicts: 842000 | #Constraints: 44905
284.08/288.82 c #Conflicts: 843000 | #Constraints: 45907
284.08/288.82 c #Conflicts: 844000 | #Constraints: 46907
284.08/288.82 c #Conflicts: 845000 | #Constraints: 47907
284.08/288.82 c #Conflicts: 846000 | #Constraints: 48907
284.08/288.82 c #Conflicts: 847000 | #Constraints: 49907
284.08/288.82 c #Conflicts: 848000 | #Constraints: 50907
284.08/288.82 c #Conflicts: 849000 | #Constraints: 51908
284.08/288.82 c #Conflicts: 850000 | #Constraints: 52908
284.08/288.82 c #Conflicts: 851000 | #Constraints: 53910
284.08/288.82 c #Conflicts: 852000 | #Constraints: 54910
284.08/288.82 c #Conflicts: 853000 | #Constraints: 55910
284.08/288.82 c #Conflicts: 854000 | #Constraints: 56911
284.08/288.82 c #Conflicts: 855000 | #Constraints: 57911
284.08/288.82 c #Conflicts: 856000 | #Constraints: 58913
284.08/288.82 c #Conflicts: 857000 | #Constraints: 59915
284.08/288.82 c #Conflicts: 858000 | #Constraints: 60917
284.08/288.82 c #Conflicts: 859000 | #Constraints: 61918
284.08/288.82 c #Conflicts: 860000 | #Constraints: 62918
284.08/288.82 c #Conflicts: 861000 | #Constraints: 63918
284.08/288.82 c #Conflicts: 862000 | #Constraints: 64918
284.08/288.82 c #Conflicts: 863000 | #Constraints: 65918
284.08/288.82 c #Conflicts: 864000 | #Constraints: 66918
284.08/288.82 c #Conflicts: 865000 | #Constraints: 67918
284.08/288.82 c #Conflicts: 866000 | #Constraints: 68918
284.08/288.82 c #Conflicts: 867000 | #Constraints: 69918
284.08/288.82 c #Conflicts: 868000 | #Constraints: 70918
284.08/288.82 c #Conflicts: 869000 | #Constraints: 71918
284.08/288.82 c #Conflicts: 870000 | #Constraints: 72918
284.08/288.82 c #Conflicts: 871000 | #Constraints: 73918
284.08/288.82 c #Conflicts: 872000 | #Constraints: 74918
284.08/288.82 c #Conflicts: 873000 | #Constraints: 75918
284.08/288.82 c #Conflicts: 874000 | #Constraints: 76918
284.08/288.82 c #Conflicts: 875000 | #Constraints: 77918
284.08/288.82 c #Conflicts: 876000 | #Constraints: 78918
284.08/288.82 c #Conflicts: 877000 | #Constraints: 79919
284.08/288.82 c #Conflicts: 878000 | #Constraints: 80919
284.08/288.82 c #Conflicts: 879000 | #Constraints: 81919
284.08/288.82 c #Conflicts: 880000 | #Constraints: 82919
284.08/288.82 c #Conflicts: 881000 | #Constraints: 83919
284.08/288.82 c #Conflicts: 882000 | #Constraints: 84919
284.08/288.82 c #Conflicts: 883000 | #Constraints: 85919
284.08/288.82 c #Conflicts: 884000 | #Constraints: 86920
284.08/288.82 c #Conflicts: 885000 | #Constraints: 87921
284.08/288.82 c #Conflicts: 886000 | #Constraints: 88921
284.08/288.82 c #Conflicts: 887000 | #Constraints: 89923
284.08/288.82 c #Conflicts: 888000 | #Constraints: 90923
284.08/288.82 c #Conflicts: 889000 | #Constraints: 91924
284.08/288.82 c #Conflicts: 890000 | #Constraints: 92924
284.08/288.82 c #Conflicts: 891000 | #Constraints: 93924
284.08/288.82 c #Conflicts: 892000 | #Constraints: 94924
284.08/288.82 c #Conflicts: 893000 | #Constraints: 95924
284.08/288.82 c #Conflicts: 894000 | #Constraints: 96925
284.08/288.82 c #Conflicts: 895000 | #Constraints: 97925
284.08/288.82 c #Conflicts: 896000 | #Constraints: 98927
285.07/289.88 c #Conflicts: 897000 | #Constraints: 99928
285.07/289.88 c INPROCESSING
285.07/289.88 c GARBAGE COLLECT
285.07/289.88 c rational objective -36
291.06/295.89 c #Conflicts: 898000 | #Constraints: 51287
291.06/295.89 c #Conflicts: 899000 | #Constraints: 52338
291.06/295.89 c #Conflicts: 900000 | #Constraints: 53383
291.06/295.89 c #Conflicts: 901000 | #Constraints: 54430
291.06/295.89 c #Conflicts: 902000 | #Constraints: 55481
291.06/295.89 c #Conflicts: 903000 | #Constraints: 56531
291.06/295.89 c #Conflicts: 904000 | #Constraints: 57570
291.06/295.89 c #Conflicts: 905000 | #Constraints: 58615
291.06/295.89 c #Conflicts: 906000 | #Constraints: 59662
291.06/295.89 c #Conflicts: 907000 | #Constraints: 60714
291.06/295.89 c #Conflicts: 908000 | #Constraints: 61761
291.06/295.89 c #Conflicts: 909000 | #Constraints: 62803
291.06/295.89 c #Conflicts: 910000 | #Constraints: 63850
291.06/295.89 c #Conflicts: 911000 | #Constraints: 64896
291.06/295.89 c #Conflicts: 912000 | #Constraints: 65925
291.06/295.89 c #Conflicts: 913000 | #Constraints: 66961
291.06/295.89 c #Conflicts: 914000 | #Constraints: 68007
291.06/295.89 c #Conflicts: 915000 | #Constraints: 69045
291.06/295.89 c #Conflicts: 916000 | #Constraints: 70079
291.06/295.89 c #Conflicts: 917000 | #Constraints: 71122
291.06/295.89 c INPROCESSING
291.06/295.89 c GARBAGE COLLECT
291.06/295.89 c rational objective -36
298.84/303.66 c #Conflicts: 918000 | #Constraints: 36837
298.84/303.66 c #Conflicts: 919000 | #Constraints: 37847
298.84/303.66 c #Conflicts: 920000 | #Constraints: 38848
298.84/303.66 c #Conflicts: 921000 | #Constraints: 39849
298.84/303.66 c #Conflicts: 922000 | #Constraints: 40850
298.84/303.66 c #Conflicts: 923000 | #Constraints: 41851
298.84/303.66 c #Conflicts: 924000 | #Constraints: 42851
298.84/303.66 c #Conflicts: 925000 | #Constraints: 43851
298.84/303.66 c #Conflicts: 926000 | #Constraints: 44851
298.84/303.66 c #Conflicts: 927000 | #Constraints: 45851
298.84/303.66 c #Conflicts: 928000 | #Constraints: 46856
298.84/303.66 c #Conflicts: 929000 | #Constraints: 47856
298.84/303.66 c #Conflicts: 930000 | #Constraints: 48856
298.84/303.66 c #Conflicts: 931000 | #Constraints: 49856
298.84/303.66 c #Conflicts: 932000 | #Constraints: 50856
298.84/303.66 c #Conflicts: 933000 | #Constraints: 51856
298.84/303.66 c #Conflicts: 934000 | #Constraints: 52858
298.84/303.66 c #Conflicts: 935000 | #Constraints: 53858
298.84/303.66 c #Conflicts: 936000 | #Constraints: 54859
298.84/303.66 c #Conflicts: 937000 | #Constraints: 55859
298.84/303.66 c #Conflicts: 938000 | #Constraints: 56861
298.84/303.66 c INPROCESSING
298.84/303.66 c GARBAGE COLLECT
298.84/303.66 c rational objective -36
304.53/309.37 c #Conflicts: 939000 | #Constraints: 30083
304.53/309.37 c #Conflicts: 940000 | #Constraints: 31116
304.53/309.37 c #Conflicts: 941000 | #Constraints: 32161
304.53/309.37 c #Conflicts: 942000 | #Constraints: 33199
304.53/309.37 c #Conflicts: 943000 | #Constraints: 34233
304.53/309.37 c #Conflicts: 944000 | #Constraints: 35284
304.53/309.37 c #Conflicts: 945000 | #Constraints: 36327
304.53/309.37 c #Conflicts: 946000 | #Constraints: 37371
304.53/309.37 c #Conflicts: 947000 | #Constraints: 38411
304.53/309.37 c #Conflicts: 948000 | #Constraints: 39451
304.53/309.37 c #Conflicts: 949000 | #Constraints: 40494
304.53/309.37 c #Conflicts: 950000 | #Constraints: 41540
304.53/309.37 c #Conflicts: 951000 | #Constraints: 42584
304.53/309.37 c #Conflicts: 952000 | #Constraints: 43636
304.53/309.37 c #Conflicts: 953000 | #Constraints: 44683
304.53/309.37 c #Conflicts: 954000 | #Constraints: 45730
304.53/309.37 c #Conflicts: 955000 | #Constraints: 46773
304.53/309.37 c #Conflicts: 956000 | #Constraints: 47824
304.53/309.37 c #Conflicts: 957000 | #Constraints: 48875
304.53/309.37 c #Conflicts: 958000 | #Constraints: 49927
304.53/309.37 c INPROCESSING
304.53/309.37 c GARBAGE COLLECT
304.53/309.37 c rational objective -36
310.28/315.18 c #Conflicts: 959000 | #Constraints: 26332
310.28/315.18 c #Conflicts: 960000 | #Constraints: 27336
310.28/315.18 c #Conflicts: 961000 | #Constraints: 28337
310.28/315.18 c #Conflicts: 962000 | #Constraints: 29338
310.28/315.18 c #Conflicts: 963000 | #Constraints: 30339
310.28/315.18 c #Conflicts: 964000 | #Constraints: 31341
310.28/315.18 c #Conflicts: 965000 | #Constraints: 32345
310.28/315.18 c #Conflicts: 966000 | #Constraints: 33345
310.28/315.18 c #Conflicts: 967000 | #Constraints: 34347
310.28/315.18 c #Conflicts: 968000 | #Constraints: 35349
310.28/315.18 c #Conflicts: 969000 | #Constraints: 36350
310.28/315.18 c #Conflicts: 970000 | #Constraints: 37351
310.28/315.18 c #Conflicts: 971000 | #Constraints: 38353
310.28/315.18 c #Conflicts: 972000 | #Constraints: 39354
310.28/315.18 c #Conflicts: 973000 | #Constraints: 40356
310.28/315.18 c #Conflicts: 974000 | #Constraints: 41356
310.28/315.18 c #Conflicts: 975000 | #Constraints: 42357
310.28/315.18 c #Conflicts: 976000 | #Constraints: 43358
310.28/315.18 c #Conflicts: 977000 | #Constraints: 44359
310.28/315.18 c #Conflicts: 978000 | #Constraints: 45361
310.28/315.18 c #Conflicts: 979000 | #Constraints: 46362
310.28/315.18 c INPROCESSING
310.28/315.18 c GARBAGE COLLECT
310.28/315.18 c rational objective -36
316.95/321.80 c #Conflicts: 980000 | #Constraints: 24683
316.95/321.80 c #Conflicts: 981000 | #Constraints: 25700
316.95/321.80 c #Conflicts: 982000 | #Constraints: 26734
316.95/321.80 c #Conflicts: 983000 | #Constraints: 27767
316.95/321.80 c #Conflicts: 984000 | #Constraints: 28802
316.95/321.80 c #Conflicts: 985000 | #Constraints: 29839
316.95/321.80 c #Conflicts: 986000 | #Constraints: 30878
316.95/321.80 c #Conflicts: 987000 | #Constraints: 31918
316.95/321.80 c #Conflicts: 988000 | #Constraints: 32960
316.95/321.80 c #Conflicts: 989000 | #Constraints: 34010
316.95/321.80 c #Conflicts: 990000 | #Constraints: 35053
316.95/321.80 c #Conflicts: 991000 | #Constraints: 36090
316.95/321.80 c #Conflicts: 992000 | #Constraints: 37131
316.95/321.80 c #Conflicts: 993000 | #Constraints: 38171
316.95/321.80 c #Conflicts: 994000 | #Constraints: 39207
316.95/321.80 c #Conflicts: 995000 | #Constraints: 40242
316.95/321.80 c #Conflicts: 996000 | #Constraints: 41282
316.95/321.80 c #Conflicts: 997000 | #Constraints: 42319
316.95/321.80 c #Conflicts: 998000 | #Constraints: 43367
316.95/321.80 c #Conflicts: 999000 | #Constraints: 44404
316.95/321.80 c #Conflicts: 1000000 | #Constraints: 45440
316.95/321.80 c INPROCESSING
316.95/321.80 c GARBAGE COLLECT
316.95/321.80 c rational objective -36
322.34/327.21 c #Conflicts: 1001000 | #Constraints: 24271
322.34/327.21 c #Conflicts: 1002000 | #Constraints: 25275
322.34/327.21 c #Conflicts: 1003000 | #Constraints: 26281
322.34/327.21 c #Conflicts: 1004000 | #Constraints: 27281
322.34/327.21 c #Conflicts: 1005000 | #Constraints: 28285
322.34/327.21 c #Conflicts: 1006000 | #Constraints: 29288
322.34/327.21 c #Conflicts: 1007000 | #Constraints: 30289
322.34/327.21 c #Conflicts: 1008000 | #Constraints: 31293
322.34/327.21 c #Conflicts: 1009000 | #Constraints: 32295
322.34/327.21 c #Conflicts: 1010000 | #Constraints: 33295
322.34/327.21 c #Conflicts: 1011000 | #Constraints: 34295
322.34/327.21 c #Conflicts: 1012000 | #Constraints: 35295
322.34/327.21 c #Conflicts: 1013000 | #Constraints: 36296
322.34/327.21 c #Conflicts: 1014000 | #Constraints: 37296
322.34/327.21 c #Conflicts: 1015000 | #Constraints: 38296
322.34/327.21 c #Conflicts: 1016000 | #Constraints: 39297
322.34/327.21 c #Conflicts: 1017000 | #Constraints: 40297
322.34/327.21 c #Conflicts: 1018000 | #Constraints: 41299
322.34/327.21 c #Conflicts: 1019000 | #Constraints: 42299
322.34/327.21 c #Conflicts: 1020000 | #Constraints: 43300
322.34/327.21 c #Conflicts: 1021000 | #Constraints: 44302
322.34/327.21 c INPROCESSING
322.34/327.21 c GARBAGE COLLECT
322.34/327.21 c rational objective -36
351.31/356.30 c #Conflicts: 1022000 | #Constraints: 23661
351.31/356.30 c #Conflicts: 1023000 | #Constraints: 24661
351.31/356.30 c #Conflicts: 1024000 | #Constraints: 25661
351.31/356.30 c #Conflicts: 1025000 | #Constraints: 26661
351.31/356.30 c #Conflicts: 1026000 | #Constraints: 27661
351.31/356.30 c #Conflicts: 1027000 | #Constraints: 28663
351.31/356.30 c #Conflicts: 1028000 | #Constraints: 29664
351.31/356.30 c #Conflicts: 1029000 | #Constraints: 30665
351.31/356.30 c #Conflicts: 1030000 | #Constraints: 31666
351.31/356.30 c #Conflicts: 1031000 | #Constraints: 32666
351.31/356.30 c #Conflicts: 1032000 | #Constraints: 33667
351.31/356.30 c #Conflicts: 1033000 | #Constraints: 34667
351.31/356.30 c #Conflicts: 1034000 | #Constraints: 35667
351.31/356.30 c #Conflicts: 1035000 | #Constraints: 36667
351.31/356.30 c #Conflicts: 1036000 | #Constraints: 37667
351.31/356.30 c #Conflicts: 1037000 | #Constraints: 38667
351.31/356.30 c #Conflicts: 1038000 | #Constraints: 39669
351.31/356.30 c #Conflicts: 1039000 | #Constraints: 40671
351.31/356.30 c #Conflicts: 1040000 | #Constraints: 41672
351.31/356.30 c #Conflicts: 1041000 | #Constraints: 42672
351.31/356.30 c #Conflicts: 1042000 | #Constraints: 43674
351.31/356.30 c #Conflicts: 1043000 | #Constraints: 44674
351.31/356.30 c #Conflicts: 1044000 | #Constraints: 45674
351.31/356.30 c #Conflicts: 1045000 | #Constraints: 46674
351.31/356.30 c #Conflicts: 1046000 | #Constraints: 47674
351.31/356.30 c #Conflicts: 1047000 | #Constraints: 48674
351.31/356.30 c #Conflicts: 1048000 | #Constraints: 49674
351.31/356.30 c #Conflicts: 1049000 | #Constraints: 50674
351.31/356.30 c #Conflicts: 1050000 | #Constraints: 51674
351.31/356.30 c #Conflicts: 1051000 | #Constraints: 52674
351.31/356.30 c #Conflicts: 1052000 | #Constraints: 53677
351.31/356.30 c #Conflicts: 1053000 | #Constraints: 54677
351.31/356.30 c #Conflicts: 1054000 | #Constraints: 55677
351.31/356.30 c #Conflicts: 1055000 | #Constraints: 56677
351.31/356.30 c #Conflicts: 1056000 | #Constraints: 57677
351.31/356.30 c #Conflicts: 1057000 | #Constraints: 58677
351.31/356.30 c #Conflicts: 1058000 | #Constraints: 59678
351.31/356.30 c #Conflicts: 1059000 | #Constraints: 60679
351.31/356.30 c #Conflicts: 1060000 | #Constraints: 61680
351.31/356.30 c #Conflicts: 1061000 | #Constraints: 62680
351.31/356.30 c #Conflicts: 1062000 | #Constraints: 63681
351.31/356.30 c #Conflicts: 1063000 | #Constraints: 64681
351.31/356.30 c #Conflicts: 1064000 | #Constraints: 65681
351.31/356.30 c #Conflicts: 1065000 | #Constraints: 66681
351.31/356.30 c #Conflicts: 1066000 | #Constraints: 67684
351.31/356.30 c #Conflicts: 1067000 | #Constraints: 68684
351.31/356.30 c #Conflicts: 1068000 | #Constraints: 69684
351.31/356.30 c #Conflicts: 1069000 | #Constraints: 70684
351.31/356.30 c #Conflicts: 1070000 | #Constraints: 71684
351.31/356.30 c #Conflicts: 1071000 | #Constraints: 72684
351.31/356.30 c #Conflicts: 1072000 | #Constraints: 73684
351.31/356.30 c #Conflicts: 1073000 | #Constraints: 74685
351.31/356.30 c #Conflicts: 1074000 | #Constraints: 75685
351.31/356.30 c #Conflicts: 1075000 | #Constraints: 76685
351.31/356.30 c #Conflicts: 1076000 | #Constraints: 77685
351.31/356.30 c #Conflicts: 1077000 | #Constraints: 78685
351.31/356.30 c #Conflicts: 1078000 | #Constraints: 79687
351.31/356.30 c #Conflicts: 1079000 | #Constraints: 80687
351.31/356.30 c #Conflicts: 1080000 | #Constraints: 81687
351.31/356.30 c #Conflicts: 1081000 | #Constraints: 82687
351.31/356.30 c #Conflicts: 1082000 | #Constraints: 83687
351.31/356.30 c #Conflicts: 1083000 | #Constraints: 84688
351.31/356.30 c #Conflicts: 1084000 | #Constraints: 85688
351.31/356.30 c #Conflicts: 1085000 | #Constraints: 86689
351.31/356.30 c #Conflicts: 1086000 | #Constraints: 87690
351.31/356.30 c #Conflicts: 1087000 | #Constraints: 88690
351.31/356.30 c #Conflicts: 1088000 | #Constraints: 89690
351.31/356.30 c #Conflicts: 1089000 | #Constraints: 90690
351.31/356.30 c #Conflicts: 1090000 | #Constraints: 91692
351.31/356.30 c #Conflicts: 1091000 | #Constraints: 92692
351.31/356.30 c #Conflicts: 1092000 | #Constraints: 93692
351.31/356.30 c #Conflicts: 1093000 | #Constraints: 94692
351.31/356.30 c #Conflicts: 1094000 | #Constraints: 95692
351.31/356.30 c #Conflicts: 1095000 | #Constraints: 96692
351.31/356.30 c #Conflicts: 1096000 | #Constraints: 97692
351.31/356.30 c #Conflicts: 1097000 | #Constraints: 98693
351.31/356.30 c #Conflicts: 1098000 | #Constraints: 99696
351.31/356.30 c #Conflicts: 1099000 | #Constraints: 100697
351.31/356.30 c #Conflicts: 1100000 | #Constraints: 101697
356.80/361.86 c #Conflicts: 1101000 | #Constraints: 102697
356.80/361.86 c #Conflicts: 1102000 | #Constraints: 103697
356.80/361.86 c #Conflicts: 1103000 | #Constraints: 104697
356.80/361.86 c #Conflicts: 1104000 | #Constraints: 105697
356.80/361.86 c #Conflicts: 1105000 | #Constraints: 106697
356.80/361.86 c #Conflicts: 1106000 | #Constraints: 107697
356.80/361.86 c #Conflicts: 1107000 | #Constraints: 108697
356.80/361.86 c #Conflicts: 1108000 | #Constraints: 109697
356.80/361.86 c #Conflicts: 1109000 | #Constraints: 110697
356.80/361.86 c #Conflicts: 1110000 | #Constraints: 111697
356.80/361.86 c INPROCESSING
356.80/361.86 c GARBAGE COLLECT
356.80/361.86 c rational objective -36
363.38/368.41 c #Conflicts: 1111000 | #Constraints: 57485
363.38/368.41 c #Conflicts: 1112000 | #Constraints: 58528
363.38/368.41 c #Conflicts: 1113000 | #Constraints: 59570
363.38/368.41 c #Conflicts: 1114000 | #Constraints: 60610
363.38/368.41 c #Conflicts: 1115000 | #Constraints: 61650
363.38/368.41 c #Conflicts: 1116000 | #Constraints: 62688
363.38/368.41 c #Conflicts: 1117000 | #Constraints: 63733
363.38/368.41 c #Conflicts: 1118000 | #Constraints: 64780
363.38/368.41 c #Conflicts: 1119000 | #Constraints: 65825
363.38/368.41 c #Conflicts: 1120000 | #Constraints: 66873
363.38/368.41 c #Conflicts: 1121000 | #Constraints: 67914
363.38/368.41 c #Conflicts: 1122000 | #Constraints: 68963
363.38/368.41 c #Conflicts: 1123000 | #Constraints: 70006
363.38/368.41 c #Conflicts: 1124000 | #Constraints: 71058
363.38/368.41 c #Conflicts: 1125000 | #Constraints: 72106
363.38/368.41 c #Conflicts: 1126000 | #Constraints: 73151
363.38/368.41 c #Conflicts: 1127000 | #Constraints: 74200
363.38/368.41 c #Conflicts: 1128000 | #Constraints: 75243
363.38/368.41 c #Conflicts: 1129000 | #Constraints: 76290
363.38/368.41 c #Conflicts: 1130000 | #Constraints: 77342
363.38/368.41 c #Conflicts: 1131000 | #Constraints: 78390
363.38/368.41 c #Conflicts: 1132000 | #Constraints: 79426
363.38/368.41 c INPROCESSING
363.38/368.41 c GARBAGE COLLECT
363.38/368.41 c rational objective -36
370.13/375.22 c #Conflicts: 1133000 | #Constraints: 41145
370.13/375.22 c #Conflicts: 1134000 | #Constraints: 42196
370.13/375.22 c #Conflicts: 1135000 | #Constraints: 43235
370.13/375.22 c #Conflicts: 1136000 | #Constraints: 44280
370.13/375.22 c #Conflicts: 1137000 | #Constraints: 45315
370.13/375.22 c #Conflicts: 1138000 | #Constraints: 46350
370.13/375.22 c #Conflicts: 1139000 | #Constraints: 47384
370.13/375.22 c #Conflicts: 1140000 | #Constraints: 48426
370.13/375.22 c #Conflicts: 1141000 | #Constraints: 49475
370.13/375.22 c #Conflicts: 1142000 | #Constraints: 50514
370.13/375.22 c #Conflicts: 1143000 | #Constraints: 51554
370.13/375.22 c #Conflicts: 1144000 | #Constraints: 52603
370.13/375.22 c #Conflicts: 1145000 | #Constraints: 53650
370.13/375.22 c #Conflicts: 1146000 | #Constraints: 54688
370.13/375.22 c #Conflicts: 1147000 | #Constraints: 55734
370.13/375.22 c #Conflicts: 1148000 | #Constraints: 56787
370.13/375.22 c #Conflicts: 1149000 | #Constraints: 57824
370.13/375.22 c #Conflicts: 1150000 | #Constraints: 58857
370.13/375.22 c #Conflicts: 1151000 | #Constraints: 59904
370.13/375.22 c #Conflicts: 1152000 | #Constraints: 60947
370.13/375.22 c #Conflicts: 1153000 | #Constraints: 61988
370.13/375.22 c #Conflicts: 1154000 | #Constraints: 63022
370.13/375.22 c #Conflicts: 1155000 | #Constraints: 64059
370.13/375.22 c INPROCESSING
370.13/375.22 c GARBAGE COLLECT
370.13/375.22 c rational objective -36
376.72/381.85 c #Conflicts: 1156000 | #Constraints: 33675
376.72/381.85 c #Conflicts: 1157000 | #Constraints: 34711
376.72/381.85 c #Conflicts: 1158000 | #Constraints: 35767
376.72/381.85 c #Conflicts: 1159000 | #Constraints: 36811
376.72/381.85 c #Conflicts: 1160000 | #Constraints: 37851
376.72/381.85 c #Conflicts: 1161000 | #Constraints: 38896
376.72/381.85 c #Conflicts: 1162000 | #Constraints: 39953
376.72/381.85 c #Conflicts: 1163000 | #Constraints: 40998
376.72/381.85 c #Conflicts: 1164000 | #Constraints: 42041
376.72/381.85 c #Conflicts: 1165000 | #Constraints: 43082
376.72/381.85 c #Conflicts: 1166000 | #Constraints: 44119
376.72/381.85 c #Conflicts: 1167000 | #Constraints: 45161
376.72/381.85 c #Conflicts: 1168000 | #Constraints: 46199
376.72/381.85 c #Conflicts: 1169000 | #Constraints: 47245
376.72/381.85 c #Conflicts: 1170000 | #Constraints: 48289
376.72/381.85 c #Conflicts: 1171000 | #Constraints: 49328
376.72/381.85 c #Conflicts: 1172000 | #Constraints: 50371
376.72/381.85 c #Conflicts: 1173000 | #Constraints: 51414
376.72/381.85 c #Conflicts: 1174000 | #Constraints: 52449
376.72/381.85 c #Conflicts: 1175000 | #Constraints: 53492
376.72/381.86 c #Conflicts: 1176000 | #Constraints: 54536
376.72/381.86 c #Conflicts: 1177000 | #Constraints: 55581
376.72/381.86 c INPROCESSING
376.72/381.86 c GARBAGE COLLECT
376.72/381.86 c rational objective -36
383.11/388.26 c #Conflicts: 1178000 | #Constraints: 29010
383.11/388.26 c #Conflicts: 1179000 | #Constraints: 30010
383.11/388.26 c #Conflicts: 1180000 | #Constraints: 31012
383.11/388.26 c #Conflicts: 1181000 | #Constraints: 32012
383.11/388.26 c #Conflicts: 1182000 | #Constraints: 33012
383.11/388.26 c #Conflicts: 1183000 | #Constraints: 34013
383.11/388.26 c #Conflicts: 1184000 | #Constraints: 35014
383.11/388.26 c #Conflicts: 1185000 | #Constraints: 36016
383.11/388.26 c #Conflicts: 1186000 | #Constraints: 37017
383.11/388.26 c #Conflicts: 1187000 | #Constraints: 38017
383.11/388.26 c #Conflicts: 1188000 | #Constraints: 39018
383.11/388.26 c #Conflicts: 1189000 | #Constraints: 40020
383.11/388.26 c #Conflicts: 1190000 | #Constraints: 41020
383.11/388.26 c #Conflicts: 1191000 | #Constraints: 42020
383.11/388.26 c #Conflicts: 1192000 | #Constraints: 43020
383.11/388.26 c #Conflicts: 1193000 | #Constraints: 44021
383.11/388.26 c #Conflicts: 1194000 | #Constraints: 45021
383.11/388.26 c #Conflicts: 1195000 | #Constraints: 46021
383.11/388.26 c #Conflicts: 1196000 | #Constraints: 47021
383.11/388.26 c #Conflicts: 1197000 | #Constraints: 48021
383.11/388.26 c #Conflicts: 1198000 | #Constraints: 49022
383.11/388.26 c #Conflicts: 1199000 | #Constraints: 50022
383.11/388.26 c #Conflicts: 1200000 | #Constraints: 51022
383.11/388.26 c INPROCESSING
383.11/388.26 c GARBAGE COLLECT
383.11/388.26 c rational objective -36
389.99/395.13 c #Conflicts: 1201000 | #Constraints: 26729
389.99/395.13 c #Conflicts: 1202000 | #Constraints: 27779
389.99/395.13 c #Conflicts: 1203000 | #Constraints: 28834
389.99/395.13 c #Conflicts: 1204000 | #Constraints: 29877
389.99/395.13 c #Conflicts: 1205000 | #Constraints: 30924
389.99/395.13 c #Conflicts: 1206000 | #Constraints: 31968
389.99/395.13 c #Conflicts: 1207000 | #Constraints: 33013
389.99/395.13 c #Conflicts: 1208000 | #Constraints: 34065
389.99/395.13 c #Conflicts: 1209000 | #Constraints: 35111
389.99/395.13 c #Conflicts: 1210000 | #Constraints: 36165
389.99/395.13 c #Conflicts: 1211000 | #Constraints: 37210
389.99/395.13 c #Conflicts: 1212000 | #Constraints: 38258
389.99/395.13 c #Conflicts: 1213000 | #Constraints: 39307
389.99/395.13 c #Conflicts: 1214000 | #Constraints: 40361
389.99/395.13 c #Conflicts: 1215000 | #Constraints: 41408
389.99/395.13 c #Conflicts: 1216000 | #Constraints: 42454
389.99/395.13 c #Conflicts: 1217000 | #Constraints: 43495
389.99/395.13 c #Conflicts: 1218000 | #Constraints: 44530
389.99/395.13 c #Conflicts: 1219000 | #Constraints: 45582
389.99/395.13 c #Conflicts: 1220000 | #Constraints: 46642
389.99/395.13 c #Conflicts: 1221000 | #Constraints: 47692
389.99/395.13 c #Conflicts: 1222000 | #Constraints: 48743
389.99/395.13 c #Conflicts: 1223000 | #Constraints: 49780
389.99/395.13 c #Conflicts: 1224000 | #Constraints: 50822
389.99/395.13 c INPROCESSING
389.99/395.13 c GARBAGE COLLECT
389.99/395.13 c rational objective -36
396.17/401.33 c #Conflicts: 1225000 | #Constraints: 27016
396.17/401.33 c #Conflicts: 1226000 | #Constraints: 28016
396.17/401.33 c #Conflicts: 1227000 | #Constraints: 29018
396.17/401.33 c #Conflicts: 1228000 | #Constraints: 30019
396.17/401.33 c #Conflicts: 1229000 | #Constraints: 31021
396.17/401.33 c #Conflicts: 1230000 | #Constraints: 32021
396.17/401.33 c #Conflicts: 1231000 | #Constraints: 33021
396.17/401.33 c #Conflicts: 1232000 | #Constraints: 34022
396.17/401.33 c #Conflicts: 1233000 | #Constraints: 35023
396.17/401.33 c #Conflicts: 1234000 | #Constraints: 36024
396.17/401.33 c #Conflicts: 1235000 | #Constraints: 37024
396.17/401.33 c #Conflicts: 1236000 | #Constraints: 38025
396.17/401.33 c #Conflicts: 1237000 | #Constraints: 39025
396.17/401.33 c #Conflicts: 1238000 | #Constraints: 40025
396.17/401.33 c #Conflicts: 1239000 | #Constraints: 41026
396.17/401.33 c #Conflicts: 1240000 | #Constraints: 42027
396.17/401.33 c #Conflicts: 1241000 | #Constraints: 43027
396.17/401.33 c #Conflicts: 1242000 | #Constraints: 44030
396.17/401.33 c #Conflicts: 1243000 | #Constraints: 45031
396.17/401.33 c #Conflicts: 1244000 | #Constraints: 46031
396.17/401.33 c #Conflicts: 1245000 | #Constraints: 47032
396.17/401.33 c #Conflicts: 1246000 | #Constraints: 48035
396.17/401.33 c #Conflicts: 1247000 | #Constraints: 49036
396.17/401.33 c INPROCESSING
396.17/401.33 c GARBAGE COLLECT
396.17/401.33 c rational objective -36
425.91/431.27 c #Conflicts: 1248000 | #Constraints: 25933
425.91/431.27 c #Conflicts: 1249000 | #Constraints: 26934
425.91/431.27 c #Conflicts: 1250000 | #Constraints: 27935
425.91/431.27 c #Conflicts: 1251000 | #Constraints: 28936
425.91/431.27 c #Conflicts: 1252000 | #Constraints: 29937
425.91/431.27 c #Conflicts: 1253000 | #Constraints: 30938
425.91/431.27 c #Conflicts: 1254000 | #Constraints: 31938
425.91/431.27 c #Conflicts: 1255000 | #Constraints: 32938
425.91/431.27 c #Conflicts: 1256000 | #Constraints: 33939
425.91/431.27 c #Conflicts: 1257000 | #Constraints: 34940
425.91/431.27 c #Conflicts: 1258000 | #Constraints: 35940
425.91/431.27 c #Conflicts: 1259000 | #Constraints: 36940
425.91/431.27 c #Conflicts: 1260000 | #Constraints: 37940
425.91/431.27 c #Conflicts: 1261000 | #Constraints: 38941
425.91/431.27 c #Conflicts: 1262000 | #Constraints: 39942
425.91/431.27 c #Conflicts: 1263000 | #Constraints: 40942
425.91/431.27 c #Conflicts: 1264000 | #Constraints: 41942
425.91/431.27 c #Conflicts: 1265000 | #Constraints: 42943
425.91/431.27 c #Conflicts: 1266000 | #Constraints: 43943
425.91/431.27 c #Conflicts: 1267000 | #Constraints: 44944
425.91/431.27 c #Conflicts: 1268000 | #Constraints: 45944
425.91/431.27 c #Conflicts: 1269000 | #Constraints: 46945
425.91/431.27 c #Conflicts: 1270000 | #Constraints: 47947
425.91/431.27 c #Conflicts: 1271000 | #Constraints: 48948
425.91/431.27 c #Conflicts: 1272000 | #Constraints: 49950
425.91/431.27 c #Conflicts: 1273000 | #Constraints: 50950
425.91/431.27 c #Conflicts: 1274000 | #Constraints: 51950
425.91/431.27 c #Conflicts: 1275000 | #Constraints: 52951
425.91/431.27 c #Conflicts: 1276000 | #Constraints: 53952
425.91/431.27 c #Conflicts: 1277000 | #Constraints: 54952
425.91/431.27 c #Conflicts: 1278000 | #Constraints: 55953
425.91/431.27 c #Conflicts: 1279000 | #Constraints: 56955
425.91/431.27 c #Conflicts: 1280000 | #Constraints: 57956
425.91/431.27 c #Conflicts: 1281000 | #Constraints: 58956
425.91/431.27 c #Conflicts: 1282000 | #Constraints: 59957
425.91/431.27 c #Conflicts: 1283000 | #Constraints: 60959
425.91/431.27 c #Conflicts: 1284000 | #Constraints: 61961
425.91/431.27 c #Conflicts: 1285000 | #Constraints: 62963
425.91/431.27 c #Conflicts: 1286000 | #Constraints: 63966
425.91/431.27 c #Conflicts: 1287000 | #Constraints: 64967
425.91/431.27 c #Conflicts: 1288000 | #Constraints: 65967
425.91/431.27 c #Conflicts: 1289000 | #Constraints: 66967
425.91/431.27 c #Conflicts: 1290000 | #Constraints: 67968
425.91/431.27 c #Conflicts: 1291000 | #Constraints: 68969
425.91/431.27 c #Conflicts: 1292000 | #Constraints: 69969
425.91/431.27 c #Conflicts: 1293000 | #Constraints: 70969
425.91/431.27 c #Conflicts: 1294000 | #Constraints: 71969
425.91/431.27 c #Conflicts: 1295000 | #Constraints: 72969
425.91/431.27 c #Conflicts: 1296000 | #Constraints: 73969
425.91/431.27 c #Conflicts: 1297000 | #Constraints: 74970
425.91/431.27 c #Conflicts: 1298000 | #Constraints: 75972
425.91/431.27 c #Conflicts: 1299000 | #Constraints: 76973
425.91/431.27 c #Conflicts: 1300000 | #Constraints: 77973
425.91/431.27 c #Conflicts: 1301000 | #Constraints: 78974
425.91/431.27 c #Conflicts: 1302000 | #Constraints: 79976
425.91/431.27 c #Conflicts: 1303000 | #Constraints: 80979
425.91/431.27 c #Conflicts: 1304000 | #Constraints: 81979
425.91/431.27 c #Conflicts: 1305000 | #Constraints: 82979
425.91/431.27 c #Conflicts: 1306000 | #Constraints: 83979
425.91/431.27 c #Conflicts: 1307000 | #Constraints: 84979
425.91/431.27 c #Conflicts: 1308000 | #Constraints: 85981
425.91/431.27 c #Conflicts: 1309000 | #Constraints: 86981
425.91/431.27 c #Conflicts: 1310000 | #Constraints: 87981
425.91/431.27 c #Conflicts: 1311000 | #Constraints: 88981
425.91/431.27 c #Conflicts: 1312000 | #Constraints: 89982
425.91/431.27 c #Conflicts: 1313000 | #Constraints: 90982
425.91/431.27 c #Conflicts: 1314000 | #Constraints: 91982
425.91/431.27 c #Conflicts: 1315000 | #Constraints: 92983
425.91/431.27 c #Conflicts: 1316000 | #Constraints: 93983
425.91/431.27 c #Conflicts: 1317000 | #Constraints: 94983
425.91/431.27 c #Conflicts: 1318000 | #Constraints: 95983
425.91/431.27 c #Conflicts: 1319000 | #Constraints: 96983
425.91/431.27 c #Conflicts: 1320000 | #Constraints: 97983
425.91/431.27 c #Conflicts: 1321000 | #Constraints: 98983
425.91/431.27 c #Conflicts: 1322000 | #Constraints: 99984
425.91/431.27 c #Conflicts: 1323000 | #Constraints: 100985
425.91/431.27 c #Conflicts: 1324000 | #Constraints: 101985
425.91/431.27 c #Conflicts: 1325000 | #Constraints: 102985
425.91/431.27 c #Conflicts: 1326000 | #Constraints: 103985
436.72/445.68 c #Conflicts: 1327000 | #Constraints: 104985
436.72/445.68 c #Conflicts: 1328000 | #Constraints: 105985
436.72/445.68 c #Conflicts: 1329000 | #Constraints: 106986
436.72/445.68 c #Conflicts: 1330000 | #Constraints: 107986
436.72/445.68 c #Conflicts: 1331000 | #Constraints: 108986
436.72/445.68 c #Conflicts: 1332000 | #Constraints: 109988
436.72/445.68 c #Conflicts: 1333000 | #Constraints: 110988
436.72/445.68 c #Conflicts: 1334000 | #Constraints: 111988
436.72/445.68 c #Conflicts: 1335000 | #Constraints: 112988
436.72/445.68 c #Conflicts: 1336000 | #Constraints: 113990
436.72/445.68 c #Conflicts: 1337000 | #Constraints: 114990
436.72/445.68 c #Conflicts: 1338000 | #Constraints: 115990
436.72/445.68 c #Conflicts: 1339000 | #Constraints: 116991
436.72/445.68 c #Conflicts: 1340000 | #Constraints: 117992
436.72/445.68 c #Conflicts: 1341000 | #Constraints: 118992
436.72/445.68 c #Conflicts: 1342000 | #Constraints: 119993
436.72/445.68 c #Conflicts: 1343000 | #Constraints: 120994
436.72/445.68 c #Conflicts: 1344000 | #Constraints: 121994
436.72/445.68 c INPROCESSING
436.72/445.68 c GARBAGE COLLECT
436.72/445.68 c rational objective -36
445.21/454.19 c #Conflicts: 1345000 | #Constraints: 62209
445.21/454.19 c #Conflicts: 1346000 | #Constraints: 63247
445.21/454.19 c #Conflicts: 1347000 | #Constraints: 64287
445.21/454.19 c #Conflicts: 1348000 | #Constraints: 65323
445.21/454.19 c #Conflicts: 1349000 | #Constraints: 66364
445.21/454.19 c #Conflicts: 1350000 | #Constraints: 67402
445.21/454.19 c #Conflicts: 1351000 | #Constraints: 68452
445.21/454.19 c #Conflicts: 1352000 | #Constraints: 69501
445.21/454.19 c #Conflicts: 1353000 | #Constraints: 70542
445.21/454.19 c #Conflicts: 1354000 | #Constraints: 71585
445.21/454.19 c #Conflicts: 1355000 | #Constraints: 72626
445.21/454.19 c #Conflicts: 1356000 | #Constraints: 73668
445.21/454.19 c #Conflicts: 1357000 | #Constraints: 74704
445.21/454.19 c #Conflicts: 1358000 | #Constraints: 75743
445.21/454.19 c #Conflicts: 1359000 | #Constraints: 76784
445.21/454.19 c #Conflicts: 1360000 | #Constraints: 77838
445.21/454.19 c #Conflicts: 1361000 | #Constraints: 78886
445.21/454.19 c #Conflicts: 1362000 | #Constraints: 79947
445.21/454.19 c #Conflicts: 1363000 | #Constraints: 81000
445.21/454.19 c #Conflicts: 1364000 | #Constraints: 82038
445.21/454.19 c #Conflicts: 1365000 | #Constraints: 83082
445.21/454.19 c #Conflicts: 1366000 | #Constraints: 84139
445.21/454.19 c #Conflicts: 1367000 | #Constraints: 85188
445.21/454.19 c #Conflicts: 1368000 | #Constraints: 86233
445.21/454.19 c #Conflicts: 1369000 | #Constraints: 87278
445.21/454.19 c INPROCESSING
445.21/454.19 c GARBAGE COLLECT
445.21/454.19 c rational objective -36
452.98/461.98 c #Conflicts: 1370000 | #Constraints: 45021
452.98/461.98 c #Conflicts: 1371000 | #Constraints: 46058
452.98/461.98 c #Conflicts: 1372000 | #Constraints: 47108
452.98/461.98 c #Conflicts: 1373000 | #Constraints: 48144
452.98/461.98 c #Conflicts: 1374000 | #Constraints: 49198
452.98/461.98 c #Conflicts: 1375000 | #Constraints: 50244
452.98/461.98 c #Conflicts: 1376000 | #Constraints: 51292
452.98/461.98 c #Conflicts: 1377000 | #Constraints: 52332
452.98/461.98 c #Conflicts: 1378000 | #Constraints: 53377
452.98/461.98 c #Conflicts: 1379000 | #Constraints: 54422
452.98/461.98 c #Conflicts: 1380000 | #Constraints: 55468
452.98/461.98 c #Conflicts: 1381000 | #Constraints: 56528
452.98/461.98 c #Conflicts: 1382000 | #Constraints: 57578
452.98/461.98 c #Conflicts: 1383000 | #Constraints: 58624
452.98/461.98 c #Conflicts: 1384000 | #Constraints: 59664
452.98/461.98 c #Conflicts: 1385000 | #Constraints: 60710
452.98/461.98 c #Conflicts: 1386000 | #Constraints: 61757
452.98/461.98 c #Conflicts: 1387000 | #Constraints: 62803
452.98/461.98 c #Conflicts: 1388000 | #Constraints: 63848
452.98/461.98 c #Conflicts: 1389000 | #Constraints: 64892
452.98/461.98 c #Conflicts: 1390000 | #Constraints: 65928
452.98/461.98 c #Conflicts: 1391000 | #Constraints: 66969
452.98/461.98 c #Conflicts: 1392000 | #Constraints: 68010
452.98/461.98 c #Conflicts: 1393000 | #Constraints: 69052
452.98/461.98 c #Conflicts: 1394000 | #Constraints: 70103
452.98/461.98 c INPROCESSING
452.98/461.98 c GARBAGE COLLECT
452.98/461.98 c rational objective -36
460.86/469.84 c #Conflicts: 1395000 | #Constraints: 36489
460.86/469.84 c #Conflicts: 1396000 | #Constraints: 37531
460.86/469.84 c #Conflicts: 1397000 | #Constraints: 38585
460.86/469.84 c #Conflicts: 1398000 | #Constraints: 39637
460.86/469.84 c #Conflicts: 1399000 | #Constraints: 40687
460.86/469.84 c #Conflicts: 1400000 | #Constraints: 41733
460.86/469.84 c #Conflicts: 1401000 | #Constraints: 42779
460.86/469.84 c #Conflicts: 1402000 | #Constraints: 43826
460.86/469.84 c #Conflicts: 1403000 | #Constraints: 44873
460.86/469.84 c #Conflicts: 1404000 | #Constraints: 45915
460.86/469.84 c #Conflicts: 1405000 | #Constraints: 46964
460.86/469.84 c #Conflicts: 1406000 | #Constraints: 48007
460.86/469.84 c #Conflicts: 1407000 | #Constraints: 49054
460.86/469.84 c #Conflicts: 1408000 | #Constraints: 50095
460.86/469.84 c #Conflicts: 1409000 | #Constraints: 51132
460.86/469.84 c #Conflicts: 1410000 | #Constraints: 52174
460.86/469.84 c #Conflicts: 1411000 | #Constraints: 53217
460.86/469.84 c #Conflicts: 1412000 | #Constraints: 54263
460.86/469.84 c #Conflicts: 1413000 | #Constraints: 55296
460.86/469.84 c #Conflicts: 1414000 | #Constraints: 56331
460.86/469.84 c #Conflicts: 1415000 | #Constraints: 57363
460.86/469.84 c #Conflicts: 1416000 | #Constraints: 58406
460.86/469.84 c #Conflicts: 1417000 | #Constraints: 59439
460.86/469.84 c #Conflicts: 1418000 | #Constraints: 60488
460.86/469.84 c #Conflicts: 1419000 | #Constraints: 61530
460.86/469.84 c INPROCESSING
460.86/469.84 c GARBAGE COLLECT
460.86/469.84 c rational objective -36
468.71/477.72 c #Conflicts: 1420000 | #Constraints: 32153
468.71/477.72 c #Conflicts: 1421000 | #Constraints: 33192
468.71/477.72 c #Conflicts: 1422000 | #Constraints: 34240
468.71/477.72 c #Conflicts: 1423000 | #Constraints: 35290
468.71/477.72 c #Conflicts: 1424000 | #Constraints: 36327
468.71/477.72 c #Conflicts: 1425000 | #Constraints: 37364
468.71/477.72 c #Conflicts: 1426000 | #Constraints: 38412
468.71/477.72 c #Conflicts: 1427000 | #Constraints: 39450
468.71/477.72 c #Conflicts: 1428000 | #Constraints: 40489
468.71/477.72 c #Conflicts: 1429000 | #Constraints: 41521
468.71/477.72 c #Conflicts: 1430000 | #Constraints: 42563
468.71/477.72 c #Conflicts: 1431000 | #Constraints: 43608
468.71/477.72 c #Conflicts: 1432000 | #Constraints: 44650
468.71/477.72 c #Conflicts: 1433000 | #Constraints: 45694
468.71/477.72 c #Conflicts: 1434000 | #Constraints: 46734
468.71/477.72 c #Conflicts: 1435000 | #Constraints: 47773
468.71/477.72 c #Conflicts: 1436000 | #Constraints: 48817
468.71/477.72 c #Conflicts: 1437000 | #Constraints: 49869
468.71/477.72 c #Conflicts: 1438000 | #Constraints: 50913
468.71/477.72 c #Conflicts: 1439000 | #Constraints: 51957
468.71/477.72 c #Conflicts: 1440000 | #Constraints: 53001
468.71/477.72 c #Conflicts: 1441000 | #Constraints: 54041
468.71/477.72 c #Conflicts: 1442000 | #Constraints: 55083
468.71/477.72 c #Conflicts: 1443000 | #Constraints: 56129
468.71/477.72 c #Conflicts: 1444000 | #Constraints: 57172
468.71/477.72 c INPROCESSING
468.71/477.72 c GARBAGE COLLECT
468.71/477.72 c rational objective -36
476.10/485.19 c #Conflicts: 1445000 | #Constraints: 29809
476.10/485.19 c #Conflicts: 1446000 | #Constraints: 30817
476.10/485.19 c #Conflicts: 1447000 | #Constraints: 31818
476.10/485.19 c #Conflicts: 1448000 | #Constraints: 32819
476.10/485.19 c #Conflicts: 1449000 | #Constraints: 33824
476.10/485.19 c #Conflicts: 1450000 | #Constraints: 34824
476.10/485.19 c #Conflicts: 1451000 | #Constraints: 35824
476.10/485.19 c #Conflicts: 1452000 | #Constraints: 36824
476.10/485.19 c #Conflicts: 1453000 | #Constraints: 37825
476.10/485.19 c #Conflicts: 1454000 | #Constraints: 38825
476.10/485.19 c #Conflicts: 1455000 | #Constraints: 39826
476.10/485.19 c #Conflicts: 1456000 | #Constraints: 40827
476.10/485.19 c #Conflicts: 1457000 | #Constraints: 41827
476.10/485.19 c #Conflicts: 1458000 | #Constraints: 42827
476.10/485.19 c #Conflicts: 1459000 | #Constraints: 43828
476.10/485.19 c #Conflicts: 1460000 | #Constraints: 44828
476.10/485.19 c #Conflicts: 1461000 | #Constraints: 45829
476.10/485.19 c #Conflicts: 1462000 | #Constraints: 46831
476.10/485.19 c #Conflicts: 1463000 | #Constraints: 47831
476.10/485.19 c #Conflicts: 1464000 | #Constraints: 48831
476.10/485.19 c #Conflicts: 1465000 | #Constraints: 49832
476.10/485.19 c #Conflicts: 1466000 | #Constraints: 50832
476.10/485.19 c #Conflicts: 1467000 | #Constraints: 51832
476.10/485.19 c #Conflicts: 1468000 | #Constraints: 52832
476.10/485.19 c #Conflicts: 1469000 | #Constraints: 53832
476.10/485.19 c #Conflicts: 1470000 | #Constraints: 54832
476.10/485.19 c INPROCESSING
476.10/485.19 c GARBAGE COLLECT
476.10/485.19 c rational objective -36
483.27/492.38 c #Conflicts: 1471000 | #Constraints: 28875
483.27/492.38 c #Conflicts: 1472000 | #Constraints: 29875
483.27/492.38 c #Conflicts: 1473000 | #Constraints: 30876
483.27/492.38 c #Conflicts: 1474000 | #Constraints: 31876
483.27/492.38 c #Conflicts: 1475000 | #Constraints: 32877
483.27/492.38 c #Conflicts: 1476000 | #Constraints: 33880
483.27/492.38 c #Conflicts: 1477000 | #Constraints: 34882
483.27/492.38 c #Conflicts: 1478000 | #Constraints: 35884
483.27/492.38 c #Conflicts: 1479000 | #Constraints: 36884
483.27/492.38 c #Conflicts: 1480000 | #Constraints: 37884
483.27/492.38 c #Conflicts: 1481000 | #Constraints: 38886
483.27/492.38 c #Conflicts: 1482000 | #Constraints: 39886
483.27/492.38 c #Conflicts: 1483000 | #Constraints: 40886
483.27/492.38 c #Conflicts: 1484000 | #Constraints: 41887
483.27/492.38 c #Conflicts: 1485000 | #Constraints: 42887
483.27/492.38 c #Conflicts: 1486000 | #Constraints: 43888
483.27/492.38 c #Conflicts: 1487000 | #Constraints: 44888
483.27/492.38 c #Conflicts: 1488000 | #Constraints: 45888
483.27/492.38 c #Conflicts: 1489000 | #Constraints: 46888
483.27/492.38 c #Conflicts: 1490000 | #Constraints: 47889
483.27/492.38 c #Conflicts: 1491000 | #Constraints: 48890
483.27/492.38 c #Conflicts: 1492000 | #Constraints: 49890
483.27/492.38 c #Conflicts: 1493000 | #Constraints: 50891
483.27/492.38 c #Conflicts: 1494000 | #Constraints: 51892
483.27/492.38 c #Conflicts: 1495000 | #Constraints: 52892
483.27/492.38 c #Conflicts: 1496000 | #Constraints: 53893
483.27/492.38 c INPROCESSING
483.27/492.38 c GARBAGE COLLECT
483.27/492.38 c rational objective -36
540.08/549.35 c #Conflicts: 1497000 | #Constraints: 28597
540.08/549.35 c #Conflicts: 1498000 | #Constraints: 29642
540.08/549.35 c #Conflicts: 1499000 | #Constraints: 30687
540.08/549.35 c #Conflicts: 1500000 | #Constraints: 31736
540.08/549.35 c #Conflicts: 1501000 | #Constraints: 32786
540.08/549.35 c #Conflicts: 1502000 | #Constraints: 33830
540.08/549.35 c #Conflicts: 1503000 | #Constraints: 34872
540.08/549.35 c #Conflicts: 1504000 | #Constraints: 35903
540.08/549.35 c #Conflicts: 1505000 | #Constraints: 36944
540.08/549.35 c #Conflicts: 1506000 | #Constraints: 37991
540.08/549.35 c #Conflicts: 1507000 | #Constraints: 39028
540.08/549.35 c #Conflicts: 1508000 | #Constraints: 40071
540.08/549.35 c #Conflicts: 1509000 | #Constraints: 41110
540.08/549.35 c #Conflicts: 1510000 | #Constraints: 42158
540.08/549.35 c #Conflicts: 1511000 | #Constraints: 43201
540.08/549.35 c #Conflicts: 1512000 | #Constraints: 44240
540.08/549.35 c #Conflicts: 1513000 | #Constraints: 45288
540.08/549.35 c #Conflicts: 1514000 | #Constraints: 46334
540.08/549.35 c #Conflicts: 1515000 | #Constraints: 47384
540.08/549.35 c #Conflicts: 1516000 | #Constraints: 48430
540.08/549.35 c #Conflicts: 1517000 | #Constraints: 49473
540.08/549.35 c #Conflicts: 1518000 | #Constraints: 50516
540.08/549.35 c #Conflicts: 1519000 | #Constraints: 51557
540.08/549.35 c #Conflicts: 1520000 | #Constraints: 52603
540.08/549.35 c #Conflicts: 1521000 | #Constraints: 53644
540.08/549.35 c #Conflicts: 1522000 | #Constraints: 54680
540.08/549.35 c #Conflicts: 1523000 | #Constraints: 55725
540.08/549.35 c #Conflicts: 1524000 | #Constraints: 56770
540.08/549.35 c #Conflicts: 1525000 | #Constraints: 57818
540.08/549.35 c #Conflicts: 1526000 | #Constraints: 58847
540.08/549.35 c #Conflicts: 1527000 | #Constraints: 59888
540.08/549.35 c #Conflicts: 1528000 | #Constraints: 60930
540.08/549.35 c #Conflicts: 1529000 | #Constraints: 61968
540.08/549.35 c #Conflicts: 1530000 | #Constraints: 63003
540.08/549.35 c #Conflicts: 1531000 | #Constraints: 64037
540.08/549.35 c #Conflicts: 1532000 | #Constraints: 65075
540.08/549.35 c #Conflicts: 1533000 | #Constraints: 66115
540.08/549.35 c #Conflicts: 1534000 | #Constraints: 67165
540.08/549.35 c #Conflicts: 1535000 | #Constraints: 68214
540.08/549.35 c #Conflicts: 1536000 | #Constraints: 69244
540.08/549.35 c #Conflicts: 1537000 | #Constraints: 70276
540.08/549.35 c #Conflicts: 1538000 | #Constraints: 71305
540.08/549.35 c #Conflicts: 1539000 | #Constraints: 72346
540.08/549.35 c #Conflicts: 1540000 | #Constraints: 73391
540.08/549.35 c #Conflicts: 1541000 | #Constraints: 74442
540.08/549.35 c #Conflicts: 1542000 | #Constraints: 75487
540.08/549.35 c #Conflicts: 1543000 | #Constraints: 76526
540.08/549.35 c #Conflicts: 1544000 | #Constraints: 77562
540.08/549.35 c #Conflicts: 1545000 | #Constraints: 78603
540.08/549.35 c #Conflicts: 1546000 | #Constraints: 79648
540.08/549.35 c #Conflicts: 1547000 | #Constraints: 80689
540.08/549.35 c #Conflicts: 1548000 | #Constraints: 81736
540.08/549.35 c #Conflicts: 1549000 | #Constraints: 82780
540.08/549.35 c #Conflicts: 1550000 | #Constraints: 83814
540.08/549.35 c #Conflicts: 1551000 | #Constraints: 84857
540.08/549.35 c #Conflicts: 1552000 | #Constraints: 85897
540.08/549.35 c #Conflicts: 1553000 | #Constraints: 86931
540.08/549.35 c #Conflicts: 1554000 | #Constraints: 87967
540.08/549.35 c #Conflicts: 1555000 | #Constraints: 89003
540.08/549.35 c #Conflicts: 1556000 | #Constraints: 90041
540.08/549.35 c #Conflicts: 1557000 | #Constraints: 91079
540.08/549.35 c #Conflicts: 1558000 | #Constraints: 92116
540.08/549.35 c #Conflicts: 1559000 | #Constraints: 93156
540.08/549.35 c #Conflicts: 1560000 | #Constraints: 94203
540.08/549.35 c #Conflicts: 1561000 | #Constraints: 95244
540.08/549.35 c #Conflicts: 1562000 | #Constraints: 96283
540.08/549.35 c #Conflicts: 1563000 | #Constraints: 97320
540.08/549.35 c #Conflicts: 1564000 | #Constraints: 98359
540.08/549.35 c #Conflicts: 1565000 | #Constraints: 99397
540.08/549.35 c #Conflicts: 1566000 | #Constraints: 100437
540.08/549.35 c #Conflicts: 1567000 | #Constraints: 101482
540.08/549.35 c #Conflicts: 1568000 | #Constraints: 102525
540.08/549.35 c #Conflicts: 1569000 | #Constraints: 103575
540.08/549.35 c #Conflicts: 1570000 | #Constraints: 104623
540.08/549.35 c #Conflicts: 1571000 | #Constraints: 105659
540.08/549.35 c #Conflicts: 1572000 | #Constraints: 106703
540.08/549.35 c #Conflicts: 1573000 | #Constraints: 107754
540.08/549.35 c #Conflicts: 1574000 | #Constraints: 108800
540.08/549.35 c #Conflicts: 1575000 | #Constraints: 109843
580.37/589.79 c #Conflicts: 1576000 | #Constraints: 110885
580.37/589.79 c #Conflicts: 1577000 | #Constraints: 111942
580.37/589.79 c #Conflicts: 1578000 | #Constraints: 112983
580.37/589.79 c #Conflicts: 1579000 | #Constraints: 114024
580.37/589.79 c #Conflicts: 1580000 | #Constraints: 115069
580.37/589.79 c #Conflicts: 1581000 | #Constraints: 116112
580.37/589.79 c #Conflicts: 1582000 | #Constraints: 117158
580.37/589.79 c #Conflicts: 1583000 | #Constraints: 118201
580.37/589.79 c #Conflicts: 1584000 | #Constraints: 119245
580.37/589.79 c #Conflicts: 1585000 | #Constraints: 120287
580.37/589.79 c #Conflicts: 1586000 | #Constraints: 121333
580.37/589.79 c #Conflicts: 1587000 | #Constraints: 122374
580.37/589.79 c #Conflicts: 1588000 | #Constraints: 123416
580.37/589.79 c #Conflicts: 1589000 | #Constraints: 124465
580.37/589.79 c #Conflicts: 1590000 | #Constraints: 125510
580.37/589.79 c #Conflicts: 1591000 | #Constraints: 126553
580.37/589.79 c #Conflicts: 1592000 | #Constraints: 127600
580.37/589.79 c #Conflicts: 1593000 | #Constraints: 128649
580.37/589.79 c #Conflicts: 1594000 | #Constraints: 129695
580.37/589.79 c #Conflicts: 1595000 | #Constraints: 130744
580.37/589.79 c #Conflicts: 1596000 | #Constraints: 131783
580.37/589.79 c #Conflicts: 1597000 | #Constraints: 132826
580.37/589.79 c #Conflicts: 1598000 | #Constraints: 133874
580.37/589.79 c #Conflicts: 1599000 | #Constraints: 134917
580.37/589.79 c #Conflicts: 1600000 | #Constraints: 135960
580.37/589.79 c #Conflicts: 1601000 | #Constraints: 137000
580.37/589.79 c #Conflicts: 1602000 | #Constraints: 138033
580.37/589.79 c INPROCESSING
580.37/589.79 c GARBAGE COLLECT
580.37/589.79 c rational objective -36
610.28/619.76 c #Conflicts: 1603000 | #Constraints: 70624
610.28/619.76 c #Conflicts: 1604000 | #Constraints: 71626
610.28/619.76 c #Conflicts: 1605000 | #Constraints: 72628
610.28/619.76 c #Conflicts: 1606000 | #Constraints: 73630
610.28/619.76 c #Conflicts: 1607000 | #Constraints: 74631
610.28/619.76 c #Conflicts: 1608000 | #Constraints: 75632
610.28/619.76 c #Conflicts: 1609000 | #Constraints: 76632
610.28/619.76 c #Conflicts: 1610000 | #Constraints: 77633
610.28/619.76 c #Conflicts: 1611000 | #Constraints: 78634
610.28/619.76 c #Conflicts: 1612000 | #Constraints: 79637
610.28/619.76 c #Conflicts: 1613000 | #Constraints: 80638
610.28/619.76 c #Conflicts: 1614000 | #Constraints: 81640
610.28/619.76 c #Conflicts: 1615000 | #Constraints: 82640
610.28/619.76 c #Conflicts: 1616000 | #Constraints: 83642
610.28/619.76 c #Conflicts: 1617000 | #Constraints: 84643
610.28/619.76 c #Conflicts: 1618000 | #Constraints: 85644
610.28/619.76 c #Conflicts: 1619000 | #Constraints: 86646
610.28/619.76 c #Conflicts: 1620000 | #Constraints: 87646
610.28/619.76 c #Conflicts: 1621000 | #Constraints: 88649
610.28/619.76 c #Conflicts: 1622000 | #Constraints: 89649
610.28/619.76 c #Conflicts: 1623000 | #Constraints: 90650
610.28/619.76 c #Conflicts: 1624000 | #Constraints: 91650
610.28/619.76 c #Conflicts: 1625000 | #Constraints: 92652
610.28/619.76 c #Conflicts: 1626000 | #Constraints: 93653
610.28/619.76 c #Conflicts: 1627000 | #Constraints: 94653
610.28/619.76 c #Conflicts: 1628000 | #Constraints: 95653
610.28/619.76 c #Conflicts: 1629000 | #Constraints: 96653
610.28/619.76 c INPROCESSING
610.28/619.76 c GARBAGE COLLECT
610.28/619.76 c rational objective -36
628.32/637.87 c #Conflicts: 1630000 | #Constraints: 49935
628.32/637.87 c #Conflicts: 1631000 | #Constraints: 50935
628.32/637.87 c #Conflicts: 1632000 | #Constraints: 51935
628.32/637.87 c #Conflicts: 1633000 | #Constraints: 52935
628.32/637.87 c #Conflicts: 1634000 | #Constraints: 53936
628.32/637.87 c #Conflicts: 1635000 | #Constraints: 54936
628.32/637.87 c #Conflicts: 1636000 | #Constraints: 55936
628.32/637.87 c #Conflicts: 1637000 | #Constraints: 56936
628.32/637.87 c #Conflicts: 1638000 | #Constraints: 57936
628.32/637.87 c #Conflicts: 1639000 | #Constraints: 58937
628.32/637.87 c #Conflicts: 1640000 | #Constraints: 59937
628.32/637.87 c #Conflicts: 1641000 | #Constraints: 60937
628.32/637.87 c #Conflicts: 1642000 | #Constraints: 61937
628.32/637.87 c #Conflicts: 1643000 | #Constraints: 62939
628.32/637.87 c #Conflicts: 1644000 | #Constraints: 63940
628.32/637.87 c #Conflicts: 1645000 | #Constraints: 64940
628.32/637.87 c #Conflicts: 1646000 | #Constraints: 65942
628.32/637.87 c #Conflicts: 1647000 | #Constraints: 66942
628.32/637.87 c #Conflicts: 1648000 | #Constraints: 67943
628.32/637.87 c #Conflicts: 1649000 | #Constraints: 68944
628.32/637.87 c #Conflicts: 1650000 | #Constraints: 69945
628.32/637.87 c #Conflicts: 1651000 | #Constraints: 70946
628.32/637.87 c #Conflicts: 1652000 | #Constraints: 71946
628.32/637.87 c #Conflicts: 1653000 | #Constraints: 72946
628.32/637.87 c #Conflicts: 1654000 | #Constraints: 73947
628.32/637.87 c #Conflicts: 1655000 | #Constraints: 74947
628.32/637.87 c #Conflicts: 1656000 | #Constraints: 75947
628.32/637.87 c INPROCESSING
628.32/637.87 c GARBAGE COLLECT
628.32/637.87 c rational objective -36
638.30/647.87 c #Conflicts: 1657000 | #Constraints: 39491
638.30/647.87 c #Conflicts: 1658000 | #Constraints: 40492
638.30/647.87 c #Conflicts: 1659000 | #Constraints: 41492
638.30/647.87 c #Conflicts: 1660000 | #Constraints: 42493
638.30/647.87 c #Conflicts: 1661000 | #Constraints: 43493
638.30/647.87 c #Conflicts: 1662000 | #Constraints: 44495
638.30/647.87 c #Conflicts: 1663000 | #Constraints: 45496
638.30/647.87 c #Conflicts: 1664000 | #Constraints: 46498
638.30/647.87 c #Conflicts: 1665000 | #Constraints: 47498
638.30/647.87 c #Conflicts: 1666000 | #Constraints: 48498
638.30/647.87 c #Conflicts: 1667000 | #Constraints: 49500
638.30/647.87 c #Conflicts: 1668000 | #Constraints: 50502
638.30/647.87 c #Conflicts: 1669000 | #Constraints: 51503
638.30/647.87 c #Conflicts: 1670000 | #Constraints: 52504
638.30/647.87 c #Conflicts: 1671000 | #Constraints: 53504
638.30/647.87 c #Conflicts: 1672000 | #Constraints: 54505
638.30/647.87 c #Conflicts: 1673000 | #Constraints: 55505
638.30/647.87 c #Conflicts: 1674000 | #Constraints: 56506
638.30/647.87 c #Conflicts: 1675000 | #Constraints: 57509
638.30/647.87 c #Conflicts: 1676000 | #Constraints: 58509
638.30/647.87 c #Conflicts: 1677000 | #Constraints: 59510
638.30/647.87 c #Conflicts: 1678000 | #Constraints: 60510
638.30/647.87 c #Conflicts: 1679000 | #Constraints: 61510
638.30/647.87 c #Conflicts: 1680000 | #Constraints: 62510
638.30/647.87 c #Conflicts: 1681000 | #Constraints: 63510
638.30/647.87 c #Conflicts: 1682000 | #Constraints: 64511
638.30/647.87 c #Conflicts: 1683000 | #Constraints: 65512
638.30/647.87 c INPROCESSING
638.30/647.87 c GARBAGE COLLECT
638.30/647.87 c rational objective -36
646.33/655.95 c #Conflicts: 1684000 | #Constraints: 34078
646.33/655.95 c #Conflicts: 1685000 | #Constraints: 35079
646.33/655.95 c #Conflicts: 1686000 | #Constraints: 36079
646.33/655.95 c #Conflicts: 1687000 | #Constraints: 37080
646.33/655.95 c #Conflicts: 1688000 | #Constraints: 38080
646.33/655.95 c #Conflicts: 1689000 | #Constraints: 39080
646.33/655.95 c #Conflicts: 1690000 | #Constraints: 40080
646.33/655.95 c #Conflicts: 1691000 | #Constraints: 41081
646.33/655.95 c #Conflicts: 1692000 | #Constraints: 42082
646.33/655.95 c #Conflicts: 1693000 | #Constraints: 43082
646.33/655.95 c #Conflicts: 1694000 | #Constraints: 44082
646.33/655.95 c #Conflicts: 1695000 | #Constraints: 45082
646.33/655.95 c #Conflicts: 1696000 | #Constraints: 46082
646.33/655.95 c #Conflicts: 1697000 | #Constraints: 47082
646.33/655.95 c #Conflicts: 1698000 | #Constraints: 48082
646.33/655.95 c #Conflicts: 1699000 | #Constraints: 49082
646.33/655.95 c #Conflicts: 1700000 | #Constraints: 50083
646.33/655.95 c #Conflicts: 1701000 | #Constraints: 51086
646.33/655.95 c #Conflicts: 1702000 | #Constraints: 52086
646.33/655.95 c #Conflicts: 1703000 | #Constraints: 53086
646.33/655.95 c #Conflicts: 1704000 | #Constraints: 54086
646.33/655.95 c #Conflicts: 1705000 | #Constraints: 55087
646.33/655.95 c #Conflicts: 1706000 | #Constraints: 56087
646.33/655.95 c #Conflicts: 1707000 | #Constraints: 57087
646.33/655.95 c #Conflicts: 1708000 | #Constraints: 58087
646.33/655.95 c #Conflicts: 1709000 | #Constraints: 59087
646.33/655.95 c #Conflicts: 1710000 | #Constraints: 60088
646.33/655.95 c #Conflicts: 1711000 | #Constraints: 61088
646.33/655.95 c INPROCESSING
646.33/655.95 c GARBAGE COLLECT
646.33/655.95 c rational objective -36
653.91/663.54 c #Conflicts: 1712000 | #Constraints: 32051
653.91/663.54 c #Conflicts: 1713000 | #Constraints: 33053
653.91/663.54 c #Conflicts: 1714000 | #Constraints: 34053
653.91/663.54 c #Conflicts: 1715000 | #Constraints: 35053
653.91/663.54 c #Conflicts: 1716000 | #Constraints: 36054
653.91/663.54 c #Conflicts: 1717000 | #Constraints: 37056
653.91/663.54 c #Conflicts: 1718000 | #Constraints: 38056
653.91/663.54 c #Conflicts: 1719000 | #Constraints: 39058
653.91/663.54 c #Conflicts: 1720000 | #Constraints: 40059
653.91/663.54 c #Conflicts: 1721000 | #Constraints: 41059
653.91/663.54 c #Conflicts: 1722000 | #Constraints: 42059
653.91/663.54 c #Conflicts: 1723000 | #Constraints: 43059
653.91/663.54 c #Conflicts: 1724000 | #Constraints: 44060
653.91/663.54 c #Conflicts: 1725000 | #Constraints: 45061
653.91/663.54 c #Conflicts: 1726000 | #Constraints: 46061
653.91/663.54 c #Conflicts: 1727000 | #Constraints: 47061
653.91/663.54 c #Conflicts: 1728000 | #Constraints: 48061
653.91/663.54 c #Conflicts: 1729000 | #Constraints: 49061
653.91/663.54 c #Conflicts: 1730000 | #Constraints: 50061
653.91/663.54 c #Conflicts: 1731000 | #Constraints: 51061
653.91/663.54 c #Conflicts: 1732000 | #Constraints: 52062
653.91/663.54 c #Conflicts: 1733000 | #Constraints: 53062
653.91/663.54 c #Conflicts: 1734000 | #Constraints: 54062
653.91/663.54 c #Conflicts: 1735000 | #Constraints: 55062
653.91/663.54 c #Conflicts: 1736000 | #Constraints: 56062
653.91/663.54 c #Conflicts: 1737000 | #Constraints: 57065
653.91/663.54 c #Conflicts: 1738000 | #Constraints: 58065
653.91/663.54 c #Conflicts: 1739000 | #Constraints: 59065
653.91/663.54 c INPROCESSING
653.91/663.54 c GARBAGE COLLECT
653.91/663.54 c rational objective -36
661.50/671.16 c #Conflicts: 1740000 | #Constraints: 31147
661.50/671.16 c #Conflicts: 1741000 | #Constraints: 32147
661.50/671.16 c #Conflicts: 1742000 | #Constraints: 33147
661.50/671.16 c #Conflicts: 1743000 | #Constraints: 34147
661.50/671.16 c #Conflicts: 1744000 | #Constraints: 35149
661.50/671.16 c #Conflicts: 1745000 | #Constraints: 36150
661.50/671.16 c #Conflicts: 1746000 | #Constraints: 37150
661.50/671.16 c #Conflicts: 1747000 | #Constraints: 38150
661.50/671.16 c #Conflicts: 1748000 | #Constraints: 39150
661.50/671.16 c #Conflicts: 1749000 | #Constraints: 40150
661.50/671.16 c #Conflicts: 1750000 | #Constraints: 41150
661.50/671.16 c #Conflicts: 1751000 | #Constraints: 42151
661.50/671.16 c #Conflicts: 1752000 | #Constraints: 43154
661.50/671.16 c #Conflicts: 1753000 | #Constraints: 44154
661.50/671.16 c #Conflicts: 1754000 | #Constraints: 45155
661.50/671.16 c #Conflicts: 1755000 | #Constraints: 46156
661.50/671.16 c #Conflicts: 1756000 | #Constraints: 47156
661.50/671.16 c #Conflicts: 1757000 | #Constraints: 48157
661.50/671.16 c #Conflicts: 1758000 | #Constraints: 49157
661.50/671.16 c #Conflicts: 1759000 | #Constraints: 50157
661.50/671.16 c #Conflicts: 1760000 | #Constraints: 51159
661.50/671.16 c #Conflicts: 1761000 | #Constraints: 52159
661.50/671.16 c #Conflicts: 1762000 | #Constraints: 53159
661.50/671.16 c #Conflicts: 1763000 | #Constraints: 54160
661.50/671.16 c #Conflicts: 1764000 | #Constraints: 55160
661.50/671.16 c #Conflicts: 1765000 | #Constraints: 56161
661.50/671.16 c #Conflicts: 1766000 | #Constraints: 57162
661.50/671.16 c #Conflicts: 1767000 | #Constraints: 58163
661.50/671.16 c INPROCESSING
661.50/671.16 c GARBAGE COLLECT
661.50/671.16 c rational objective -36
689.38/699.14 c #Conflicts: 1768000 | #Constraints: 30689
689.38/699.14 c #Conflicts: 1769000 | #Constraints: 31690
689.38/699.14 c #Conflicts: 1770000 | #Constraints: 32690
689.38/699.14 c #Conflicts: 1771000 | #Constraints: 33690
689.38/699.14 c #Conflicts: 1772000 | #Constraints: 34690
689.38/699.14 c #Conflicts: 1773000 | #Constraints: 35691
689.38/699.14 c #Conflicts: 1774000 | #Constraints: 36693
689.38/699.14 c #Conflicts: 1775000 | #Constraints: 37694
689.38/699.14 c #Conflicts: 1776000 | #Constraints: 38695
689.38/699.14 c #Conflicts: 1777000 | #Constraints: 39695
689.38/699.14 c #Conflicts: 1778000 | #Constraints: 40696
689.38/699.14 c #Conflicts: 1779000 | #Constraints: 41696
689.38/699.14 c #Conflicts: 1780000 | #Constraints: 42699
689.38/699.14 c #Conflicts: 1781000 | #Constraints: 43699
689.38/699.14 c #Conflicts: 1782000 | #Constraints: 44699
689.38/699.14 c #Conflicts: 1783000 | #Constraints: 45699
689.38/699.14 c #Conflicts: 1784000 | #Constraints: 46700
689.38/699.14 c #Conflicts: 1785000 | #Constraints: 47700
689.38/699.14 c #Conflicts: 1786000 | #Constraints: 48701
689.38/699.14 c #Conflicts: 1787000 | #Constraints: 49702
689.38/699.14 c #Conflicts: 1788000 | #Constraints: 50703
689.38/699.14 c #Conflicts: 1789000 | #Constraints: 51703
689.38/699.14 c #Conflicts: 1790000 | #Constraints: 52704
689.38/699.14 c #Conflicts: 1791000 | #Constraints: 53704
689.38/699.14 c #Conflicts: 1792000 | #Constraints: 54704
689.38/699.14 c #Conflicts: 1793000 | #Constraints: 55705
689.38/699.14 c #Conflicts: 1794000 | #Constraints: 56705
689.38/699.14 c #Conflicts: 1795000 | #Constraints: 57705
689.38/699.14 c #Conflicts: 1796000 | #Constraints: 58705
689.38/699.14 c #Conflicts: 1797000 | #Constraints: 59705
689.38/699.14 c #Conflicts: 1798000 | #Constraints: 60705
689.38/699.14 c #Conflicts: 1799000 | #Constraints: 61705
689.38/699.14 c #Conflicts: 1800000 | #Constraints: 62706
689.38/699.14 c #Conflicts: 1801000 | #Constraints: 63706
689.38/699.14 c #Conflicts: 1802000 | #Constraints: 64706
689.38/699.14 c #Conflicts: 1803000 | #Constraints: 65706
689.38/699.14 c #Conflicts: 1804000 | #Constraints: 66706
689.38/699.14 c #Conflicts: 1805000 | #Constraints: 67707
689.38/699.14 c #Conflicts: 1806000 | #Constraints: 68707
689.38/699.14 c #Conflicts: 1807000 | #Constraints: 69707
689.38/699.14 c #Conflicts: 1808000 | #Constraints: 70707
689.38/699.14 c #Conflicts: 1809000 | #Constraints: 71707
689.38/699.14 c #Conflicts: 1810000 | #Constraints: 72708
689.38/699.14 c #Conflicts: 1811000 | #Constraints: 73708
689.38/699.14 c #Conflicts: 1812000 | #Constraints: 74708
689.38/699.14 c #Conflicts: 1813000 | #Constraints: 75709
689.38/699.14 c #Conflicts: 1814000 | #Constraints: 76709
689.38/699.14 c #Conflicts: 1815000 | #Constraints: 77709
689.38/699.14 c #Conflicts: 1816000 | #Constraints: 78709
689.38/699.14 c #Conflicts: 1817000 | #Constraints: 79709
689.38/699.14 c #Conflicts: 1818000 | #Constraints: 80709
689.38/699.14 c #Conflicts: 1819000 | #Constraints: 81709
689.38/699.14 c #Conflicts: 1820000 | #Constraints: 82709
689.38/699.14 c #Conflicts: 1821000 | #Constraints: 83710
689.38/699.14 c #Conflicts: 1822000 | #Constraints: 84711
689.38/699.14 c #Conflicts: 1823000 | #Constraints: 85711
689.38/699.14 c #Conflicts: 1824000 | #Constraints: 86711
689.38/699.14 c #Conflicts: 1825000 | #Constraints: 87711
689.38/699.14 c #Conflicts: 1826000 | #Constraints: 88713
689.38/699.14 c #Conflicts: 1827000 | #Constraints: 89713
689.38/699.14 c #Conflicts: 1828000 | #Constraints: 90713
689.38/699.14 c #Conflicts: 1829000 | #Constraints: 91713
689.38/699.14 c #Conflicts: 1830000 | #Constraints: 92713
689.38/699.14 c #Conflicts: 1831000 | #Constraints: 93713
689.38/699.14 c #Conflicts: 1832000 | #Constraints: 94713
689.38/699.14 c #Conflicts: 1833000 | #Constraints: 95713
689.38/699.14 c #Conflicts: 1834000 | #Constraints: 96713
689.38/699.14 c #Conflicts: 1835000 | #Constraints: 97713
689.38/699.14 c #Conflicts: 1836000 | #Constraints: 98714
689.38/699.14 c #Conflicts: 1837000 | #Constraints: 99714
689.38/699.14 c #Conflicts: 1838000 | #Constraints: 100714
689.38/699.14 c #Conflicts: 1839000 | #Constraints: 101715
689.38/699.14 c #Conflicts: 1840000 | #Constraints: 102716
689.38/699.14 c #Conflicts: 1841000 | #Constraints: 103716
689.38/699.14 c #Conflicts: 1842000 | #Constraints: 104716
689.38/699.14 c #Conflicts: 1843000 | #Constraints: 105716
689.38/699.14 c #Conflicts: 1844000 | #Constraints: 106716
689.38/699.14 c #Conflicts: 1845000 | #Constraints: 107717
689.38/699.14 c #Conflicts: 1846000 | #Constraints: 108717
698.85/708.64 c #Conflicts: 1847000 | #Constraints: 109717
698.85/708.64 c #Conflicts: 1848000 | #Constraints: 110718
698.85/708.64 c #Conflicts: 1849000 | #Constraints: 111719
698.85/708.64 c #Conflicts: 1850000 | #Constraints: 112719
698.85/708.64 c #Conflicts: 1851000 | #Constraints: 113719
698.85/708.64 c #Conflicts: 1852000 | #Constraints: 114719
698.85/708.64 c #Conflicts: 1853000 | #Constraints: 115720
698.85/708.64 c #Conflicts: 1854000 | #Constraints: 116720
698.85/708.64 c #Conflicts: 1855000 | #Constraints: 117721
698.85/708.64 c #Conflicts: 1856000 | #Constraints: 118721
698.85/708.64 c #Conflicts: 1857000 | #Constraints: 119721
698.85/708.64 c #Conflicts: 1858000 | #Constraints: 120722
698.85/708.64 c #Conflicts: 1859000 | #Constraints: 121723
698.85/708.64 c #Conflicts: 1860000 | #Constraints: 122723
698.85/708.64 c #Conflicts: 1861000 | #Constraints: 123723
698.85/708.64 c #Conflicts: 1862000 | #Constraints: 124723
698.85/708.64 c #Conflicts: 1863000 | #Constraints: 125723
698.85/708.64 c #Conflicts: 1864000 | #Constraints: 126723
698.85/708.64 c bounds -33 >= -35 @ 687.224
709.39/719.20 c #Conflicts: 1865000 | #Constraints: 127748
709.39/719.20 c #Conflicts: 1866000 | #Constraints: 128751
709.39/719.20 c #Conflicts: 1867000 | #Constraints: 129753
709.39/719.20 c #Conflicts: 1868000 | #Constraints: 130754
709.39/719.20 c #Conflicts: 1869000 | #Constraints: 131757
709.39/719.20 c #Conflicts: 1870000 | #Constraints: 132758
709.39/719.20 c #Conflicts: 1871000 | #Constraints: 133758
709.39/719.20 c #Conflicts: 1872000 | #Constraints: 134759
709.39/719.20 c #Conflicts: 1873000 | #Constraints: 135761
709.39/719.20 c #Conflicts: 1874000 | #Constraints: 136763
709.39/719.20 c #Conflicts: 1875000 | #Constraints: 137767
709.39/719.20 c #Conflicts: 1876000 | #Constraints: 138768
709.39/719.20 c #Conflicts: 1877000 | #Constraints: 139771
709.39/719.20 c #Conflicts: 1878000 | #Constraints: 140773
709.39/719.20 c #Conflicts: 1879000 | #Constraints: 141775
709.39/719.20 c #Conflicts: 1880000 | #Constraints: 142780
709.39/719.20 c #Conflicts: 1881000 | #Constraints: 143783
709.39/719.20 c INPROCESSING
709.39/719.20 c GARBAGE COLLECT
709.39/719.20 c rational objective -35
720.96/730.81 c #Conflicts: 1882000 | #Constraints: 73170
720.96/730.81 c #Conflicts: 1883000 | #Constraints: 74211
720.96/730.81 c #Conflicts: 1884000 | #Constraints: 75263
720.96/730.81 c #Conflicts: 1885000 | #Constraints: 76310
720.96/730.81 c #Conflicts: 1886000 | #Constraints: 77353
720.96/730.81 c #Conflicts: 1887000 | #Constraints: 78404
720.96/730.81 c #Conflicts: 1888000 | #Constraints: 79453
720.96/730.81 c #Conflicts: 1889000 | #Constraints: 80496
720.96/730.81 c #Conflicts: 1890000 | #Constraints: 81548
720.96/730.81 c #Conflicts: 1891000 | #Constraints: 82585
720.96/730.81 c #Conflicts: 1892000 | #Constraints: 83629
720.96/730.81 c #Conflicts: 1893000 | #Constraints: 84671
720.96/730.81 c #Conflicts: 1894000 | #Constraints: 85707
720.96/730.81 c #Conflicts: 1895000 | #Constraints: 86756
720.96/730.81 c #Conflicts: 1896000 | #Constraints: 87798
720.96/730.81 c #Conflicts: 1897000 | #Constraints: 88836
720.96/730.81 c #Conflicts: 1898000 | #Constraints: 89885
720.96/730.81 c #Conflicts: 1899000 | #Constraints: 90929
720.96/730.81 c #Conflicts: 1900000 | #Constraints: 91967
720.96/730.81 c #Conflicts: 1901000 | #Constraints: 93001
720.96/730.81 c #Conflicts: 1902000 | #Constraints: 94049
720.96/730.81 c #Conflicts: 1903000 | #Constraints: 95092
720.96/730.81 c #Conflicts: 1904000 | #Constraints: 96132
720.96/730.81 c #Conflicts: 1905000 | #Constraints: 97169
720.96/730.81 c #Conflicts: 1906000 | #Constraints: 98218
720.96/730.81 c #Conflicts: 1907000 | #Constraints: 99268
720.96/730.81 c #Conflicts: 1908000 | #Constraints: 100314
720.96/730.81 c #Conflicts: 1909000 | #Constraints: 101359
720.96/730.81 c #Conflicts: 1910000 | #Constraints: 102405
720.96/730.81 c INPROCESSING
720.96/730.81 c GARBAGE COLLECT
720.96/730.81 c rational objective -35
733.48/747.34 c #Conflicts: 1911000 | #Constraints: 52374
733.48/747.34 c #Conflicts: 1912000 | #Constraints: 53379
733.48/747.34 c #Conflicts: 1913000 | #Constraints: 54384
733.48/747.34 c #Conflicts: 1914000 | #Constraints: 55386
733.48/747.34 c #Conflicts: 1915000 | #Constraints: 56388
733.48/747.34 c #Conflicts: 1916000 | #Constraints: 57390
733.48/747.34 c #Conflicts: 1917000 | #Constraints: 58397
733.48/747.34 c #Conflicts: 1918000 | #Constraints: 59400
733.48/747.34 c #Conflicts: 1919000 | #Constraints: 60404
733.48/747.34 c #Conflicts: 1920000 | #Constraints: 61405
733.48/747.34 c #Conflicts: 1921000 | #Constraints: 62407
733.48/747.34 c #Conflicts: 1922000 | #Constraints: 63409
733.48/747.34 c #Conflicts: 1923000 | #Constraints: 64410
733.48/747.34 c #Conflicts: 1924000 | #Constraints: 65411
733.48/747.34 c #Conflicts: 1925000 | #Constraints: 66413
733.48/747.34 c #Conflicts: 1926000 | #Constraints: 67414
733.48/747.34 c #Conflicts: 1927000 | #Constraints: 68415
733.48/747.34 c #Conflicts: 1928000 | #Constraints: 69419
733.48/747.34 c #Conflicts: 1929000 | #Constraints: 70421
733.48/747.34 c #Conflicts: 1930000 | #Constraints: 71422
733.48/747.34 c #Conflicts: 1931000 | #Constraints: 72422
733.48/747.34 c #Conflicts: 1932000 | #Constraints: 73423
733.48/747.34 c #Conflicts: 1933000 | #Constraints: 74424
733.48/747.34 c #Conflicts: 1934000 | #Constraints: 75424
733.48/747.34 c #Conflicts: 1935000 | #Constraints: 76424
733.48/747.34 c #Conflicts: 1936000 | #Constraints: 77426
733.48/747.34 c #Conflicts: 1937000 | #Constraints: 78426
733.48/747.34 c #Conflicts: 1938000 | #Constraints: 79427
733.48/747.34 c #Conflicts: 1939000 | #Constraints: 80428
733.48/747.34 c #Conflicts: 1940000 | #Constraints: 81429
733.48/747.34 c INPROCESSING
733.48/747.34 c GARBAGE COLLECT
733.48/747.34 c rational objective -35
744.35/758.26 c #Conflicts: 1941000 | #Constraints: 42164
744.35/758.26 c #Conflicts: 1942000 | #Constraints: 43205
744.35/758.26 c #Conflicts: 1943000 | #Constraints: 44248
744.35/758.26 c #Conflicts: 1944000 | #Constraints: 45299
744.35/758.26 c #Conflicts: 1945000 | #Constraints: 46351
744.35/758.26 c #Conflicts: 1946000 | #Constraints: 47397
744.35/758.26 c #Conflicts: 1947000 | #Constraints: 48443
744.35/758.26 c #Conflicts: 1948000 | #Constraints: 49493
744.35/758.26 c #Conflicts: 1949000 | #Constraints: 50540
744.35/758.26 c #Conflicts: 1950000 | #Constraints: 51594
744.35/758.26 c #Conflicts: 1951000 | #Constraints: 52643
744.35/758.26 c #Conflicts: 1952000 | #Constraints: 53693
744.35/758.26 c #Conflicts: 1953000 | #Constraints: 54744
744.35/758.26 c #Conflicts: 1954000 | #Constraints: 55788
744.35/758.26 c #Conflicts: 1955000 | #Constraints: 56836
744.35/758.26 c #Conflicts: 1956000 | #Constraints: 57884
744.35/758.26 c #Conflicts: 1957000 | #Constraints: 58934
744.35/758.26 c #Conflicts: 1958000 | #Constraints: 59972
744.35/758.26 c #Conflicts: 1959000 | #Constraints: 61015
744.35/758.26 c #Conflicts: 1960000 | #Constraints: 62059
744.35/758.26 c #Conflicts: 1961000 | #Constraints: 63099
744.35/758.26 c #Conflicts: 1962000 | #Constraints: 64140
744.35/758.26 c #Conflicts: 1963000 | #Constraints: 65191
744.35/758.26 c #Conflicts: 1964000 | #Constraints: 66231
744.35/758.26 c #Conflicts: 1965000 | #Constraints: 67285
744.35/758.26 c #Conflicts: 1966000 | #Constraints: 68341
744.35/758.26 c #Conflicts: 1967000 | #Constraints: 69385
744.35/758.26 c #Conflicts: 1968000 | #Constraints: 70427
744.35/758.26 c #Conflicts: 1969000 | #Constraints: 71469
744.35/758.26 c #Conflicts: 1970000 | #Constraints: 72509
744.35/758.26 c INPROCESSING
744.35/758.26 c GARBAGE COLLECT
744.35/758.26 c rational objective -35
753.63/767.56 c #Conflicts: 1971000 | #Constraints: 37824
753.63/767.56 c #Conflicts: 1972000 | #Constraints: 38829
753.63/767.56 c #Conflicts: 1973000 | #Constraints: 39833
753.63/767.56 c #Conflicts: 1974000 | #Constraints: 40836
753.63/767.56 c #Conflicts: 1975000 | #Constraints: 41841
753.63/767.56 c #Conflicts: 1976000 | #Constraints: 42842
753.63/767.56 c #Conflicts: 1977000 | #Constraints: 43843
753.63/767.56 c #Conflicts: 1978000 | #Constraints: 44847
753.63/767.56 c #Conflicts: 1979000 | #Constraints: 45850
753.63/767.56 c #Conflicts: 1980000 | #Constraints: 46854
753.63/767.56 c #Conflicts: 1981000 | #Constraints: 47856
753.63/767.56 c #Conflicts: 1982000 | #Constraints: 48857
753.63/767.56 c #Conflicts: 1983000 | #Constraints: 49857
753.63/767.56 c #Conflicts: 1984000 | #Constraints: 50859
753.63/767.56 c #Conflicts: 1985000 | #Constraints: 51860
753.63/767.56 c #Conflicts: 1986000 | #Constraints: 52865
753.63/767.56 c #Conflicts: 1987000 | #Constraints: 53867
753.63/767.56 c #Conflicts: 1988000 | #Constraints: 54869
753.63/767.56 c #Conflicts: 1989000 | #Constraints: 55870
753.63/767.56 c #Conflicts: 1990000 | #Constraints: 56873
753.63/767.56 c #Conflicts: 1991000 | #Constraints: 57874
753.63/767.56 c #Conflicts: 1992000 | #Constraints: 58875
753.63/767.56 c #Conflicts: 1993000 | #Constraints: 59877
753.63/767.56 c #Conflicts: 1994000 | #Constraints: 60879
753.63/767.56 c #Conflicts: 1995000 | #Constraints: 61883
753.63/767.56 c #Conflicts: 1996000 | #Constraints: 62884
753.63/767.56 c #Conflicts: 1997000 | #Constraints: 63885
753.63/767.56 c #Conflicts: 1998000 | #Constraints: 64889
753.63/767.56 c #Conflicts: 1999000 | #Constraints: 65889
753.63/767.56 c #Conflicts: 2000000 | #Constraints: 66892
753.63/767.56 c INPROCESSING
753.63/767.56 c GARBAGE COLLECT
753.63/767.56 c rational objective -35
762.67/776.66 c #Conflicts: 2001000 | #Constraints: 35067
762.67/776.66 c #Conflicts: 2002000 | #Constraints: 36068
762.67/776.66 c #Conflicts: 2003000 | #Constraints: 37068
762.67/776.66 c #Conflicts: 2004000 | #Constraints: 38069
762.67/776.66 c #Conflicts: 2005000 | #Constraints: 39072
762.67/776.66 c #Conflicts: 2006000 | #Constraints: 40072
762.67/776.66 c #Conflicts: 2007000 | #Constraints: 41074
762.67/776.66 c #Conflicts: 2008000 | #Constraints: 42077
762.67/776.66 c #Conflicts: 2009000 | #Constraints: 43082
762.67/776.66 c #Conflicts: 2010000 | #Constraints: 44082
762.67/776.66 c #Conflicts: 2011000 | #Constraints: 45083
762.67/776.66 c #Conflicts: 2012000 | #Constraints: 46085
762.67/776.66 c #Conflicts: 2013000 | #Constraints: 47087
762.67/776.66 c #Conflicts: 2014000 | #Constraints: 48087
762.67/776.66 c #Conflicts: 2015000 | #Constraints: 49088
762.67/776.66 c #Conflicts: 2016000 | #Constraints: 50090
762.67/776.66 c #Conflicts: 2017000 | #Constraints: 51090
762.67/776.66 c #Conflicts: 2018000 | #Constraints: 52090
762.67/776.66 c #Conflicts: 2019000 | #Constraints: 53090
762.67/776.66 c #Conflicts: 2020000 | #Constraints: 54095
762.67/776.66 c #Conflicts: 2021000 | #Constraints: 55097
762.67/776.66 c #Conflicts: 2022000 | #Constraints: 56099
762.67/776.66 c #Conflicts: 2023000 | #Constraints: 57102
762.67/776.66 c #Conflicts: 2024000 | #Constraints: 58103
762.67/776.66 c #Conflicts: 2025000 | #Constraints: 59103
762.67/776.66 c #Conflicts: 2026000 | #Constraints: 60107
762.67/776.66 c #Conflicts: 2027000 | #Constraints: 61109
762.67/776.66 c #Conflicts: 2028000 | #Constraints: 62111
762.67/776.66 c #Conflicts: 2029000 | #Constraints: 63112
762.67/776.66 c #Conflicts: 2030000 | #Constraints: 64113
762.67/776.66 c INPROCESSING
762.67/776.66 c GARBAGE COLLECT
762.67/776.66 c rational objective -35
822.33/836.41 c #Conflicts: 2031000 | #Constraints: 33659
822.33/836.41 c #Conflicts: 2032000 | #Constraints: 34698
822.33/836.41 c #Conflicts: 2033000 | #Constraints: 35739
822.33/836.41 c #Conflicts: 2034000 | #Constraints: 36789
822.33/836.41 c #Conflicts: 2035000 | #Constraints: 37835
822.33/836.41 c #Conflicts: 2036000 | #Constraints: 38885
822.33/836.41 c #Conflicts: 2037000 | #Constraints: 39940
822.33/836.41 c #Conflicts: 2038000 | #Constraints: 40987
822.33/836.41 c #Conflicts: 2039000 | #Constraints: 42037
822.33/836.41 c #Conflicts: 2040000 | #Constraints: 43086
822.33/836.41 c #Conflicts: 2041000 | #Constraints: 44120
822.33/836.41 c #Conflicts: 2042000 | #Constraints: 45168
822.33/836.41 c #Conflicts: 2043000 | #Constraints: 46216
822.33/836.41 c #Conflicts: 2044000 | #Constraints: 47264
822.33/836.41 c #Conflicts: 2045000 | #Constraints: 48305
822.33/836.41 c #Conflicts: 2046000 | #Constraints: 49360
822.33/836.41 c #Conflicts: 2047000 | #Constraints: 50402
822.33/836.41 c #Conflicts: 2048000 | #Constraints: 51435
822.33/836.41 c #Conflicts: 2049000 | #Constraints: 52469
822.33/836.41 c #Conflicts: 2050000 | #Constraints: 53511
822.33/836.41 c #Conflicts: 2051000 | #Constraints: 54546
822.33/836.41 c #Conflicts: 2052000 | #Constraints: 55580
822.33/836.41 c #Conflicts: 2053000 | #Constraints: 56620
822.33/836.41 c #Conflicts: 2054000 | #Constraints: 57664
822.33/836.41 c #Conflicts: 2055000 | #Constraints: 58709
822.33/836.41 c #Conflicts: 2056000 | #Constraints: 59755
822.33/836.41 c #Conflicts: 2057000 | #Constraints: 60807
822.33/836.41 c #Conflicts: 2058000 | #Constraints: 61858
822.33/836.41 c #Conflicts: 2059000 | #Constraints: 62912
822.33/836.41 c #Conflicts: 2060000 | #Constraints: 63958
822.33/836.41 c #Conflicts: 2061000 | #Constraints: 65006
822.33/836.41 c #Conflicts: 2062000 | #Constraints: 66047
822.33/836.41 c #Conflicts: 2063000 | #Constraints: 67090
822.33/836.41 c #Conflicts: 2064000 | #Constraints: 68140
822.33/836.41 c #Conflicts: 2065000 | #Constraints: 69181
822.33/836.41 c #Conflicts: 2066000 | #Constraints: 70221
822.33/836.41 c #Conflicts: 2067000 | #Constraints: 71259
822.33/836.41 c #Conflicts: 2068000 | #Constraints: 72302
822.33/836.41 c #Conflicts: 2069000 | #Constraints: 73348
822.33/836.41 c #Conflicts: 2070000 | #Constraints: 74385
822.33/836.41 c #Conflicts: 2071000 | #Constraints: 75425
822.33/836.41 c #Conflicts: 2072000 | #Constraints: 76466
822.33/836.41 c #Conflicts: 2073000 | #Constraints: 77507
822.33/836.41 c #Conflicts: 2074000 | #Constraints: 78550
822.33/836.41 c #Conflicts: 2075000 | #Constraints: 79592
822.33/836.41 c #Conflicts: 2076000 | #Constraints: 80635
822.33/836.41 c #Conflicts: 2077000 | #Constraints: 81676
822.33/836.41 c #Conflicts: 2078000 | #Constraints: 82707
822.33/836.41 c #Conflicts: 2079000 | #Constraints: 83744
822.33/836.41 c #Conflicts: 2080000 | #Constraints: 84784
822.33/836.41 c #Conflicts: 2081000 | #Constraints: 85834
822.33/836.41 c #Conflicts: 2082000 | #Constraints: 86874
822.33/836.41 c #Conflicts: 2083000 | #Constraints: 87916
822.33/836.41 c #Conflicts: 2084000 | #Constraints: 88963
822.33/836.41 c #Conflicts: 2085000 | #Constraints: 90006
822.33/836.41 c #Conflicts: 2086000 | #Constraints: 91056
822.33/836.41 c #Conflicts: 2087000 | #Constraints: 92108
822.33/836.41 c #Conflicts: 2088000 | #Constraints: 93150
822.33/836.41 c #Conflicts: 2089000 | #Constraints: 94203
822.33/836.41 c #Conflicts: 2090000 | #Constraints: 95246
822.33/836.41 c #Conflicts: 2091000 | #Constraints: 96291
822.33/836.41 c #Conflicts: 2092000 | #Constraints: 97336
822.33/836.41 c #Conflicts: 2093000 | #Constraints: 98378
822.33/836.41 c #Conflicts: 2094000 | #Constraints: 99419
822.33/836.41 c #Conflicts: 2095000 | #Constraints: 100461
822.33/836.41 c #Conflicts: 2096000 | #Constraints: 101508
822.33/836.41 c #Conflicts: 2097000 | #Constraints: 102546
822.33/836.41 c #Conflicts: 2098000 | #Constraints: 103593
822.33/836.41 c #Conflicts: 2099000 | #Constraints: 104636
822.33/836.41 c #Conflicts: 2100000 | #Constraints: 105688
822.33/836.41 c #Conflicts: 2101000 | #Constraints: 106734
822.33/836.41 c #Conflicts: 2102000 | #Constraints: 107782
822.33/836.41 c #Conflicts: 2103000 | #Constraints: 108828
822.33/836.41 c #Conflicts: 2104000 | #Constraints: 109872
822.33/836.41 c #Conflicts: 2105000 | #Constraints: 110908
822.33/836.41 c #Conflicts: 2106000 | #Constraints: 111951
822.33/836.41 c #Conflicts: 2107000 | #Constraints: 112990
822.33/836.41 c #Conflicts: 2108000 | #Constraints: 114026
822.33/836.41 c #Conflicts: 2109000 | #Constraints: 115065
901.55/915.85 c #Conflicts: 2110000 | #Constraints: 116104
901.55/915.85 c #Conflicts: 2111000 | #Constraints: 117149
901.55/915.85 c #Conflicts: 2112000 | #Constraints: 118186
901.55/915.85 c #Conflicts: 2113000 | #Constraints: 119231
901.55/915.85 c #Conflicts: 2114000 | #Constraints: 120271
901.55/915.85 c #Conflicts: 2115000 | #Constraints: 121314
901.55/915.85 c #Conflicts: 2116000 | #Constraints: 122354
901.55/915.85 c #Conflicts: 2117000 | #Constraints: 123395
901.55/915.85 c #Conflicts: 2118000 | #Constraints: 124439
901.55/915.85 c #Conflicts: 2119000 | #Constraints: 125485
901.55/915.85 c #Conflicts: 2120000 | #Constraints: 126527
901.55/915.85 c #Conflicts: 2121000 | #Constraints: 127564
901.55/915.85 c #Conflicts: 2122000 | #Constraints: 128597
901.55/915.85 c #Conflicts: 2123000 | #Constraints: 129632
901.55/915.85 c #Conflicts: 2124000 | #Constraints: 130667
901.55/915.85 c #Conflicts: 2125000 | #Constraints: 131701
901.55/915.85 c #Conflicts: 2126000 | #Constraints: 132731
901.55/915.85 c #Conflicts: 2127000 | #Constraints: 133773
901.55/915.85 c #Conflicts: 2128000 | #Constraints: 134810
901.55/915.85 c #Conflicts: 2129000 | #Constraints: 135856
901.55/915.85 c #Conflicts: 2130000 | #Constraints: 136902
901.55/915.85 c #Conflicts: 2131000 | #Constraints: 137948
901.55/915.85 c #Conflicts: 2132000 | #Constraints: 138990
901.55/915.85 c #Conflicts: 2133000 | #Constraints: 140033
901.55/915.85 c #Conflicts: 2134000 | #Constraints: 141075
901.55/915.85 c #Conflicts: 2135000 | #Constraints: 142127
901.55/915.85 c #Conflicts: 2136000 | #Constraints: 143170
901.55/915.85 c #Conflicts: 2137000 | #Constraints: 144210
901.55/915.85 c #Conflicts: 2138000 | #Constraints: 145256
901.55/915.85 c #Conflicts: 2139000 | #Constraints: 146295
901.55/915.85 c #Conflicts: 2140000 | #Constraints: 147336
901.55/915.85 c #Conflicts: 2141000 | #Constraints: 148380
901.55/915.85 c #Conflicts: 2142000 | #Constraints: 149425
901.55/915.85 c #Conflicts: 2143000 | #Constraints: 150475
901.55/915.85 c #Conflicts: 2144000 | #Constraints: 151515
901.55/915.85 c #Conflicts: 2145000 | #Constraints: 152559
901.55/915.85 c #Conflicts: 2146000 | #Constraints: 153601
901.55/915.85 c #Conflicts: 2147000 | #Constraints: 154644
901.55/915.85 c #Conflicts: 2148000 | #Constraints: 155689
901.55/915.85 c #Conflicts: 2149000 | #Constraints: 156729
901.55/915.85 c #Conflicts: 2150000 | #Constraints: 157775
901.55/915.85 c #Conflicts: 2151000 | #Constraints: 158823
901.55/915.85 c #Conflicts: 2152000 | #Constraints: 159863
901.55/915.85 c INPROCESSING
901.55/915.85 c GARBAGE COLLECT
901.55/915.85 c rational objective -35
955.63/970.01 c #Conflicts: 2153000 | #Constraints: 81450
955.63/970.01 c #Conflicts: 2154000 | #Constraints: 82470
955.63/970.01 c #Conflicts: 2155000 | #Constraints: 83473
955.63/970.01 c #Conflicts: 2156000 | #Constraints: 84473
955.63/970.01 c #Conflicts: 2157000 | #Constraints: 85473
955.63/970.01 c #Conflicts: 2158000 | #Constraints: 86473
955.63/970.01 c #Conflicts: 2159000 | #Constraints: 87475
955.63/970.01 c #Conflicts: 2160000 | #Constraints: 88475
955.63/970.01 c #Conflicts: 2161000 | #Constraints: 89475
955.63/970.01 c #Conflicts: 2162000 | #Constraints: 90477
955.63/970.01 c #Conflicts: 2163000 | #Constraints: 91477
955.63/970.01 c #Conflicts: 2164000 | #Constraints: 92477
955.63/970.01 c #Conflicts: 2165000 | #Constraints: 93479
955.63/970.01 c #Conflicts: 2166000 | #Constraints: 94480
955.63/970.01 c #Conflicts: 2167000 | #Constraints: 95481
955.63/970.01 c #Conflicts: 2168000 | #Constraints: 96481
955.63/970.01 c #Conflicts: 2169000 | #Constraints: 97481
955.63/970.01 c #Conflicts: 2170000 | #Constraints: 98483
955.63/970.01 c #Conflicts: 2171000 | #Constraints: 99484
955.63/970.01 c #Conflicts: 2172000 | #Constraints: 100484
955.63/970.01 c #Conflicts: 2173000 | #Constraints: 101486
955.63/970.01 c #Conflicts: 2174000 | #Constraints: 102487
955.63/970.01 c #Conflicts: 2175000 | #Constraints: 103489
955.63/970.01 c #Conflicts: 2176000 | #Constraints: 104489
955.63/970.01 c #Conflicts: 2177000 | #Constraints: 105490
955.63/970.01 c #Conflicts: 2178000 | #Constraints: 106491
955.63/970.01 c #Conflicts: 2179000 | #Constraints: 107492
955.63/970.01 c #Conflicts: 2180000 | #Constraints: 108494
955.63/970.01 c #Conflicts: 2181000 | #Constraints: 109497
955.63/970.01 c #Conflicts: 2182000 | #Constraints: 110499
955.63/970.01 c #Conflicts: 2183000 | #Constraints: 111499
955.63/970.01 c INPROCESSING
955.63/970.01 c GARBAGE COLLECT
955.63/970.01 c rational objective -35
978.65/993.14 c #Conflicts: 2184000 | #Constraints: 57071
978.65/993.14 c #Conflicts: 2185000 | #Constraints: 58072
978.65/993.14 c #Conflicts: 2186000 | #Constraints: 59076
978.65/993.14 c #Conflicts: 2187000 | #Constraints: 60077
978.65/993.14 c #Conflicts: 2188000 | #Constraints: 61077
978.65/993.14 c #Conflicts: 2189000 | #Constraints: 62077
978.65/993.14 c #Conflicts: 2190000 | #Constraints: 63077
978.65/993.14 c #Conflicts: 2191000 | #Constraints: 64078
978.65/993.14 c #Conflicts: 2192000 | #Constraints: 65079
978.65/993.14 c #Conflicts: 2193000 | #Constraints: 66079
978.65/993.14 c #Conflicts: 2194000 | #Constraints: 67082
978.65/993.14 c #Conflicts: 2195000 | #Constraints: 68082
978.65/993.14 c #Conflicts: 2196000 | #Constraints: 69085
978.65/993.14 c #Conflicts: 2197000 | #Constraints: 70087
978.65/993.14 c #Conflicts: 2198000 | #Constraints: 71087
978.65/993.14 c #Conflicts: 2199000 | #Constraints: 72087
978.65/993.14 c #Conflicts: 2200000 | #Constraints: 73089
978.65/993.14 c #Conflicts: 2201000 | #Constraints: 74091
978.65/993.14 c #Conflicts: 2202000 | #Constraints: 75093
978.65/993.14 c #Conflicts: 2203000 | #Constraints: 76093
978.65/993.15 c #Conflicts: 2204000 | #Constraints: 77094
978.65/993.15 c #Conflicts: 2205000 | #Constraints: 78096
978.65/993.15 c #Conflicts: 2206000 | #Constraints: 79097
978.65/993.15 c #Conflicts: 2207000 | #Constraints: 80098
978.65/993.15 c #Conflicts: 2208000 | #Constraints: 81100
978.65/993.15 c #Conflicts: 2209000 | #Constraints: 82101
978.65/993.15 c #Conflicts: 2210000 | #Constraints: 83102
978.65/993.15 c #Conflicts: 2211000 | #Constraints: 84102
978.65/993.15 c #Conflicts: 2212000 | #Constraints: 85102
978.65/993.15 c #Conflicts: 2213000 | #Constraints: 86102
978.65/993.15 c #Conflicts: 2214000 | #Constraints: 87102
978.65/993.15 c #Conflicts: 2215000 | #Constraints: 88102
978.65/993.15 c INPROCESSING
978.65/993.15 c GARBAGE COLLECT
978.65/993.15 c rational objective -35
992.78/1007.32 c #Conflicts: 2216000 | #Constraints: 45582
992.78/1007.32 c #Conflicts: 2217000 | #Constraints: 46584
992.78/1007.32 c #Conflicts: 2218000 | #Constraints: 47585
992.78/1007.32 c #Conflicts: 2219000 | #Constraints: 48587
992.78/1007.32 c #Conflicts: 2220000 | #Constraints: 49587
992.78/1007.32 c #Conflicts: 2221000 | #Constraints: 50588
992.78/1007.32 c #Conflicts: 2222000 | #Constraints: 51588
992.78/1007.32 c #Conflicts: 2223000 | #Constraints: 52588
992.78/1007.32 c #Conflicts: 2224000 | #Constraints: 53589
992.78/1007.32 c #Conflicts: 2225000 | #Constraints: 54589
992.78/1007.32 c #Conflicts: 2226000 | #Constraints: 55589
992.78/1007.32 c #Conflicts: 2227000 | #Constraints: 56589
992.78/1007.32 c #Conflicts: 2228000 | #Constraints: 57590
992.78/1007.32 c #Conflicts: 2229000 | #Constraints: 58590
992.78/1007.32 c #Conflicts: 2230000 | #Constraints: 59592
992.78/1007.32 c #Conflicts: 2231000 | #Constraints: 60593
992.78/1007.32 c #Conflicts: 2232000 | #Constraints: 61593
992.78/1007.32 c #Conflicts: 2233000 | #Constraints: 62594
992.78/1007.32 c #Conflicts: 2234000 | #Constraints: 63594
992.78/1007.32 c #Conflicts: 2235000 | #Constraints: 64595
992.78/1007.32 c #Conflicts: 2236000 | #Constraints: 65596
992.78/1007.32 c #Conflicts: 2237000 | #Constraints: 66598
992.78/1007.32 c #Conflicts: 2238000 | #Constraints: 67599
992.78/1007.32 c #Conflicts: 2239000 | #Constraints: 68601
992.78/1007.32 c #Conflicts: 2240000 | #Constraints: 69603
992.78/1007.32 c #Conflicts: 2241000 | #Constraints: 70605
992.78/1007.32 c #Conflicts: 2242000 | #Constraints: 71607
992.78/1007.32 c #Conflicts: 2243000 | #Constraints: 72607
992.78/1007.32 c #Conflicts: 2244000 | #Constraints: 73607
992.78/1007.32 c #Conflicts: 2245000 | #Constraints: 74608
992.78/1007.32 c #Conflicts: 2246000 | #Constraints: 75610
992.78/1007.32 c #Conflicts: 2247000 | #Constraints: 76611
992.78/1007.32 c INPROCESSING
992.78/1007.32 c GARBAGE COLLECT
992.78/1007.32 c rational objective -35
1003.56/1018.19 c #Conflicts: 2248000 | #Constraints: 39917
1003.56/1018.19 c #Conflicts: 2249000 | #Constraints: 40918
1003.56/1018.19 c #Conflicts: 2250000 | #Constraints: 41919
1003.56/1018.19 c #Conflicts: 2251000 | #Constraints: 42919
1003.56/1018.19 c #Conflicts: 2252000 | #Constraints: 43919
1003.56/1018.19 c #Conflicts: 2253000 | #Constraints: 44919
1003.56/1018.19 c #Conflicts: 2254000 | #Constraints: 45919
1003.56/1018.19 c #Conflicts: 2255000 | #Constraints: 46922
1003.56/1018.19 c #Conflicts: 2256000 | #Constraints: 47922
1003.56/1018.19 c #Conflicts: 2257000 | #Constraints: 48925
1003.56/1018.19 c #Conflicts: 2258000 | #Constraints: 49926
1003.56/1018.19 c #Conflicts: 2259000 | #Constraints: 50927
1003.56/1018.19 c #Conflicts: 2260000 | #Constraints: 51929
1003.56/1018.19 c #Conflicts: 2261000 | #Constraints: 52931
1003.56/1018.19 c #Conflicts: 2262000 | #Constraints: 53931
1003.56/1018.19 c #Conflicts: 2263000 | #Constraints: 54933
1003.56/1018.19 c #Conflicts: 2264000 | #Constraints: 55935
1003.56/1018.19 c #Conflicts: 2265000 | #Constraints: 56935
1003.56/1018.19 c #Conflicts: 2266000 | #Constraints: 57936
1003.56/1018.19 c #Conflicts: 2267000 | #Constraints: 58937
1003.56/1018.19 c #Conflicts: 2268000 | #Constraints: 59937
1003.56/1018.19 c #Conflicts: 2269000 | #Constraints: 60938
1003.56/1018.19 c #Conflicts: 2270000 | #Constraints: 61939
1003.56/1018.19 c #Conflicts: 2271000 | #Constraints: 62939
1003.56/1018.19 c #Conflicts: 2272000 | #Constraints: 63942
1003.56/1018.19 c #Conflicts: 2273000 | #Constraints: 64946
1003.56/1018.19 c #Conflicts: 2274000 | #Constraints: 65947
1003.56/1018.19 c #Conflicts: 2275000 | #Constraints: 66948
1003.56/1018.19 c #Conflicts: 2276000 | #Constraints: 67949
1003.56/1018.19 c #Conflicts: 2277000 | #Constraints: 68949
1003.56/1018.19 c #Conflicts: 2278000 | #Constraints: 69950
1003.56/1018.19 c #Conflicts: 2279000 | #Constraints: 70950
1003.56/1018.19 c INPROCESSING
1003.56/1018.19 c GARBAGE COLLECT
1003.56/1018.19 c rational objective -35
1013.54/1028.19 c #Conflicts: 2280000 | #Constraints: 37096
1013.54/1028.19 c #Conflicts: 2281000 | #Constraints: 38098
1013.54/1028.19 c #Conflicts: 2282000 | #Constraints: 39099
1013.54/1028.19 c #Conflicts: 2283000 | #Constraints: 40099
1013.54/1028.19 c #Conflicts: 2284000 | #Constraints: 41099
1013.54/1028.19 c #Conflicts: 2285000 | #Constraints: 42100
1013.54/1028.19 c #Conflicts: 2286000 | #Constraints: 43100
1013.54/1028.19 c #Conflicts: 2287000 | #Constraints: 44102
1013.54/1028.19 c #Conflicts: 2288000 | #Constraints: 45102
1013.54/1028.19 c #Conflicts: 2289000 | #Constraints: 46102
1013.54/1028.19 c #Conflicts: 2290000 | #Constraints: 47102
1013.54/1028.19 c #Conflicts: 2291000 | #Constraints: 48102
1013.54/1028.19 c #Conflicts: 2292000 | #Constraints: 49103
1013.54/1028.19 c #Conflicts: 2293000 | #Constraints: 50103
1013.54/1028.19 c #Conflicts: 2294000 | #Constraints: 51107
1013.54/1028.19 c #Conflicts: 2295000 | #Constraints: 52107
1013.54/1028.19 c #Conflicts: 2296000 | #Constraints: 53107
1013.54/1028.19 c #Conflicts: 2297000 | #Constraints: 54107
1013.54/1028.19 c #Conflicts: 2298000 | #Constraints: 55109
1013.54/1028.19 c #Conflicts: 2299000 | #Constraints: 56109
1013.54/1028.19 c #Conflicts: 2300000 | #Constraints: 57109
1013.54/1028.19 c #Conflicts: 2301000 | #Constraints: 58111
1013.54/1028.19 c #Conflicts: 2302000 | #Constraints: 59111
1013.54/1028.19 c #Conflicts: 2303000 | #Constraints: 60112
1013.54/1028.19 c #Conflicts: 2304000 | #Constraints: 61112
1013.54/1028.19 c #Conflicts: 2305000 | #Constraints: 62113
1013.54/1028.19 c #Conflicts: 2306000 | #Constraints: 63114
1013.54/1028.19 c #Conflicts: 2307000 | #Constraints: 64114
1013.54/1028.19 c #Conflicts: 2308000 | #Constraints: 65114
1013.54/1028.19 c #Conflicts: 2309000 | #Constraints: 66114
1013.54/1028.19 c #Conflicts: 2310000 | #Constraints: 67114
1013.54/1028.19 c #Conflicts: 2311000 | #Constraints: 68116
1013.54/1028.19 c INPROCESSING
1013.54/1028.19 c GARBAGE COLLECT
1013.54/1028.19 c rational objective -35
1045.27/1060.10 c #Conflicts: 2312000 | #Constraints: 35580
1045.27/1060.10 c #Conflicts: 2313000 | #Constraints: 36583
1045.27/1060.10 c #Conflicts: 2314000 | #Constraints: 37585
1045.27/1060.10 c #Conflicts: 2315000 | #Constraints: 38585
1045.27/1060.10 c #Conflicts: 2316000 | #Constraints: 39590
1045.27/1060.10 c #Conflicts: 2317000 | #Constraints: 40590
1045.27/1060.10 c #Conflicts: 2318000 | #Constraints: 41590
1045.27/1060.10 c #Conflicts: 2319000 | #Constraints: 42590
1045.27/1060.10 c #Conflicts: 2320000 | #Constraints: 43590
1045.27/1060.10 c #Conflicts: 2321000 | #Constraints: 44593
1045.27/1060.10 c #Conflicts: 2322000 | #Constraints: 45597
1045.27/1060.10 c #Conflicts: 2323000 | #Constraints: 46597
1045.27/1060.10 c #Conflicts: 2324000 | #Constraints: 47598
1045.27/1060.10 c #Conflicts: 2325000 | #Constraints: 48599
1045.27/1060.10 c #Conflicts: 2326000 | #Constraints: 49599
1045.27/1060.10 c #Conflicts: 2327000 | #Constraints: 50599
1045.27/1060.10 c #Conflicts: 2328000 | #Constraints: 51601
1045.27/1060.10 c #Conflicts: 2329000 | #Constraints: 52603
1045.27/1060.10 c #Conflicts: 2330000 | #Constraints: 53605
1045.27/1060.10 c #Conflicts: 2331000 | #Constraints: 54606
1045.27/1060.10 c #Conflicts: 2332000 | #Constraints: 55607
1045.27/1060.10 c #Conflicts: 2333000 | #Constraints: 56612
1045.27/1060.10 c #Conflicts: 2334000 | #Constraints: 57612
1045.27/1060.10 c #Conflicts: 2335000 | #Constraints: 58614
1045.27/1060.10 c #Conflicts: 2336000 | #Constraints: 59615
1045.27/1060.10 c #Conflicts: 2337000 | #Constraints: 60617
1045.27/1060.10 c #Conflicts: 2338000 | #Constraints: 61617
1045.27/1060.10 c #Conflicts: 2339000 | #Constraints: 62618
1045.27/1060.10 c #Conflicts: 2340000 | #Constraints: 63618
1045.27/1060.10 c #Conflicts: 2341000 | #Constraints: 64618
1045.27/1060.10 c #Conflicts: 2342000 | #Constraints: 65618
1045.27/1060.10 c #Conflicts: 2343000 | #Constraints: 66619
1045.27/1060.10 c #Conflicts: 2344000 | #Constraints: 67621
1045.27/1060.10 c #Conflicts: 2345000 | #Constraints: 68622
1045.27/1060.10 c #Conflicts: 2346000 | #Constraints: 69622
1045.27/1060.10 c #Conflicts: 2347000 | #Constraints: 70622
1045.27/1060.10 c #Conflicts: 2348000 | #Constraints: 71622
1045.27/1060.10 c #Conflicts: 2349000 | #Constraints: 72622
1045.27/1060.10 c #Conflicts: 2350000 | #Constraints: 73622
1045.27/1060.10 c #Conflicts: 2351000 | #Constraints: 74623
1045.27/1060.10 c #Conflicts: 2352000 | #Constraints: 75623
1045.27/1060.10 c #Conflicts: 2353000 | #Constraints: 76627
1045.27/1060.10 c #Conflicts: 2354000 | #Constraints: 77629
1045.27/1060.10 c #Conflicts: 2355000 | #Constraints: 78630
1045.27/1060.10 c #Conflicts: 2356000 | #Constraints: 79631
1045.27/1060.10 c #Conflicts: 2357000 | #Constraints: 80632
1045.27/1060.10 c #Conflicts: 2358000 | #Constraints: 81632
1045.27/1060.10 c #Conflicts: 2359000 | #Constraints: 82634
1045.27/1060.10 c #Conflicts: 2360000 | #Constraints: 83634
1045.27/1060.10 c #Conflicts: 2361000 | #Constraints: 84638
1045.27/1060.10 c #Conflicts: 2362000 | #Constraints: 85640
1045.27/1060.10 c #Conflicts: 2363000 | #Constraints: 86641
1045.27/1060.10 c #Conflicts: 2364000 | #Constraints: 87641
1045.27/1060.10 c #Conflicts: 2365000 | #Constraints: 88641
1045.27/1060.10 c #Conflicts: 2366000 | #Constraints: 89641
1045.27/1060.10 c #Conflicts: 2367000 | #Constraints: 90642
1045.27/1060.10 c #Conflicts: 2368000 | #Constraints: 91643
1045.27/1060.10 c #Conflicts: 2369000 | #Constraints: 92643
1045.27/1060.10 c #Conflicts: 2370000 | #Constraints: 93643
1045.27/1060.10 c #Conflicts: 2371000 | #Constraints: 94643
1045.27/1060.10 c #Conflicts: 2372000 | #Constraints: 95644
1045.27/1060.10 c #Conflicts: 2373000 | #Constraints: 96646
1045.27/1060.10 c #Conflicts: 2374000 | #Constraints: 97647
1045.27/1060.10 c #Conflicts: 2375000 | #Constraints: 98647
1045.27/1060.10 c #Conflicts: 2376000 | #Constraints: 99647
1045.27/1060.10 c #Conflicts: 2377000 | #Constraints: 100649
1045.27/1060.10 c #Conflicts: 2378000 | #Constraints: 101649
1045.27/1060.10 c #Conflicts: 2379000 | #Constraints: 102650
1045.27/1060.10 c #Conflicts: 2380000 | #Constraints: 103651
1045.27/1060.10 c #Conflicts: 2381000 | #Constraints: 104652
1045.27/1060.10 c #Conflicts: 2382000 | #Constraints: 105656
1045.27/1060.10 c #Conflicts: 2383000 | #Constraints: 106656
1045.27/1060.10 c #Conflicts: 2384000 | #Constraints: 107659
1045.27/1060.10 c #Conflicts: 2385000 | #Constraints: 108659
1045.27/1060.10 c #Conflicts: 2386000 | #Constraints: 109659
1045.27/1060.10 c #Conflicts: 2387000 | #Constraints: 110659
1045.27/1060.10 c #Conflicts: 2388000 | #Constraints: 111660
1045.27/1060.10 c #Conflicts: 2389000 | #Constraints: 112662
1045.27/1060.10 c #Conflicts: 2390000 | #Constraints: 113663
1054.41/1069.23 c #Conflicts: 2391000 | #Constraints: 114664
1054.41/1069.23 c #Conflicts: 2392000 | #Constraints: 115665
1054.41/1069.23 c #Conflicts: 2393000 | #Constraints: 116665
1054.41/1069.23 c #Conflicts: 2394000 | #Constraints: 117666
1054.41/1069.23 c #Conflicts: 2395000 | #Constraints: 118667
1054.41/1069.23 c #Conflicts: 2396000 | #Constraints: 119667
1054.41/1069.23 c #Conflicts: 2397000 | #Constraints: 120670
1054.41/1069.23 c #Conflicts: 2398000 | #Constraints: 121672
1054.41/1069.23 c #Conflicts: 2399000 | #Constraints: 122673
1054.41/1069.23 c #Conflicts: 2400000 | #Constraints: 123676
1054.41/1069.23 c #Conflicts: 2401000 | #Constraints: 124677
1054.41/1069.23 c #Conflicts: 2402000 | #Constraints: 125677
1054.41/1069.23 c #Conflicts: 2403000 | #Constraints: 126677
1054.41/1069.23 c #Conflicts: 2404000 | #Constraints: 127678
1054.41/1069.23 c #Conflicts: 2405000 | #Constraints: 128681
1054.41/1069.23 c bounds -33 >= -34 @ 1039.39
1060.49/1075.30 c #Conflicts: 2406000 | #Constraints: 129700
1060.49/1075.30 c #Conflicts: 2407000 | #Constraints: 130704
1060.49/1075.30 c #Conflicts: 2408000 | #Constraints: 131710
1060.49/1075.30 c #Conflicts: 2409000 | #Constraints: 132715
1060.49/1075.30 c #Conflicts: 2410000 | #Constraints: 133718
1060.49/1075.30 c #Conflicts: 2411000 | #Constraints: 134720
1060.49/1075.30 c #Conflicts: 2412000 | #Constraints: 135724
1060.49/1075.30 c #Conflicts: 2413000 | #Constraints: 136728
1060.49/1075.30 c #Conflicts: 2414000 | #Constraints: 137729
1060.49/1075.30 c #Conflicts: 2415000 | #Constraints: 138731
1060.49/1075.30 c bounds -34 >= -34 @ 1045.39
1060.49/1075.30 c cpu time 1045.39 s
1060.49/1075.30 c deterministic time 62584685171 6.26e+10
1060.49/1075.30 c optimization time 0.008454 s
1060.49/1075.30 c total solve time 1045.37 s
1060.49/1075.30 c core-guided solve time 603.076 s
1060.49/1075.30 c propagation time 828.305 s
1060.49/1075.30 c conflict analysis time 197.81 s
1060.49/1075.30 c propagations 153328116
1060.49/1075.30 c resolve steps 37285057
1060.49/1075.30 c decisions 2913456
1060.49/1075.30 c conflicts 2415053
1060.49/1075.30 c restarts 4094
1060.49/1075.30 c inprocessing phases 107
1060.49/1075.30 c garbage collections 107 ,( 100.00 )
1060.49/1075.30 c input clauses 978 ,( 67.82 )
1060.49/1075.30 c input cardinalities 342 ,( 23.72 )
1060.49/1075.30 c input general constraints 122 ,( 8.46 )
1060.49/1075.30 c input average constraint length 13.10
1060.49/1075.30 c input average constraint degree 5.12
1060.49/1075.30 c learned clauses 1946810 ,( 79.37 )
1060.49/1075.30 c learned cardinalities 160143 ,( 6.53 )
1060.49/1075.30 c learned general constraints 345995 ,( 14.11 )
1060.49/1075.30 c learned average constraint length 59.11
1060.49/1075.30 c learned average constraint degree 8958375.21
1060.49/1075.30 c watched CF 32, 64, 128, Arb: 298194 , 0 , 0 , 0
1060.49/1075.30 c counting CF 32, 64, 128, Arb: 47924 , 0 , 0 , 0
1060.49/1075.30 c watched constraints 298194 ,( 86.15 )
1060.49/1075.30 c counting constraints 47923 ,( 13.85 )
1060.49/1075.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3208140664 , 5275798071 , 2066850889 ,( 436328647 , 1630522242 )
1060.49/1075.30 c gcd simplifications 72359
1060.49/1075.30 c detected cardinalities 45380
1060.49/1075.30 c weakened non-implied lits 19372331
1060.49/1075.30 c weakened non-implying lits 59360
1060.49/1075.30 c original variables 126
1060.49/1075.30 c clausal propagations 100530029
1060.49/1075.30 c cardinality propagations 12286874
1060.49/1075.30 c watched propagations 1531686
1060.49/1075.30 c counting propagations 35982517
1060.49/1075.30 c watch lookups 34125303887
1060.49/1075.30 c watch backjump lookups 0
1060.49/1075.30 c watch checks 25298614764
1060.49/1075.30 c propagation checks 2348170283
1060.49/1075.30 c constraint additions 495318781
1060.49/1075.30 c trail pops 158618994
1060.49/1075.30 c formula constraints 788
1060.49/1075.30 c learned constraints 2377441
1060.49/1075.30 c bound constraints 115
1060.49/1075.30 c core-guided constraints 539
1060.49/1075.30 c encountered formula constraints 10201523
1060.49/1075.30 c encountered learned constraints 19409788
1060.49/1075.30 c encountered bound constraints 1101
1060.49/1075.30 c encountered core-guided constraints 9474330
1060.49/1075.30 c LP total time 44.0704 s
1060.49/1075.30 c LP solve time 37.78 s
1060.49/1075.30 c LP constraints added 1256
1060.49/1075.30 c LP constraints removed 463
1060.49/1075.30 c LP pivots internal 2415066
1060.49/1075.30 c LP pivots root 1823
1060.49/1075.30 c LP calls 104478
1060.49/1075.30 c LP optimalities 66861
1060.49/1075.30 c LP no pivot count 19450
1060.49/1075.30 c LP infeasibilities 37617
1060.49/1075.30 c LP valid Farkas constraints 37617
1060.49/1075.30 c LP learned Farkas constraints 37617
1060.49/1075.30 c LP basis resets 0
1060.49/1075.30 c LP cycling count 0
1060.49/1075.30 c LP singular count 0
1060.49/1075.30 c LP no primal count 0
1060.49/1075.30 c LP no farkas count 0
1060.49/1075.30 c LP other issue count 0
1060.49/1075.30 c LP Gomory cuts 273
1060.49/1075.30 c LP learned cuts 195
1060.49/1075.30 c LP deleted cuts 463
1060.49/1075.30 c LP encountered Gomory constraints 8227
1060.49/1075.30 c LP encountered Farkas constraints 455392
1060.49/1075.30 c LP encountered learned Farkas constraints 112132
1060.49/1075.30 c CG auxiliary variables introduced 210
1060.49/1075.30 c CG solutions found 15
1060.49/1075.30 c CG cores constructed 91
1060.49/1075.30 c CG core cardinality constraints returned 0
1060.49/1075.30 c CG unit cores 0
1060.49/1075.30 c CG single cores 91
1060.49/1075.30 c CG blocks removed during cardinality reduction 0
1060.49/1075.30 c CG first core best 0
1060.49/1075.30 c CG decision core best 0
1060.49/1075.30 c CG core reduction tie 0
1060.49/1075.30 c CG core degree average 1.00
1060.49/1075.30 c CG core slack average 2.59
1060.49/1075.30 c CG core upper bound improvements 0
1060.49/1075.30 c STR number of successful calls 0
1060.49/1075.30 c STR number of unsuccessful calls 0
1060.49/1075.30 c STR number of inconclusive calls 0
1060.49/1075.30 c STR number of successful attempts 0
1060.49/1075.30 c STR number of unsuccessful attempts 0
1060.49/1075.30 c STR number of inconclusive attempts 0
1060.49/1075.30 c STR average degree increase per successful call inf
1060.49/1075.30 c STR average degree increase per successful attempt inf
1060.49/1075.30 c STR total number of conflicts for successful attempts 0
1060.49/1075.30 c STR total number of conflicts for unsuccessful attempts 0
1060.49/1075.30 c STR total number of conflicts for inconclusive attempts 0
1060.49/1075.30 c STR average number of conflicts per successful attempt inf
1060.49/1075.30 c STR average number of conflicts per unsuccessful attempt inf
1060.49/1075.30 c STR average number of conflicts per inconclusive attempt inf
1060.49/1075.30 c AVG.sumWPerc 21.12
1060.49/1075.30 c bigint constraints 0
1060.49/1075.30 o -34
1060.49/1075.30 s OPTIMUM FOUND
1060.49/1075.33 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 (57356 MiB free)
memory of node 1: 64465 MiB (37253 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524393-1751604964/watcher-4524393-1751604964 -o /tmp/evaluation-result-4524393-1751604964/solver-4524393-1751604964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751597363-96998 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4524393-1751604964.opb PROOFDIR/proof-4524393-1751604964
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 FSIZE limit: 102400000 KiB
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.el
solver pid=98615, runsolver pid=98612
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.21 4.14 4.11 5/275 98618
/proc/meminfo: memFree=96880076/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=57604 memory=14564 CPUtime=0.06 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 1050 0 0 0 5 1 0 0 20 0 1 0 76175206 58986496 3641 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 14401 3641 2432 1147 0 1828 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61796 KiB
Current children cumulated memory: 17508 KiB
[startup+0.20543 s]*
/proc/loadavg: 4.21 4.14 4.11 5/275 98618
/proc/meminfo: memFree=96879824/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=58268 memory=15076 CPUtime=0.16 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 1207 0 0 0 15 1 0 0 20 0 1 0 76175206 59666432 3769 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 14567 3769 2432 1147 0 1994 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62460 KiB
Current children cumulated memory: 18020 KiB
[startup+0.304688 s]*
/proc/loadavg: 4.21 4.14 4.11 5/275 98618
/proc/meminfo: memFree=96879824/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=58804 memory=15588 CPUtime=0.26 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 1334 0 0 0 24 2 0 0 20 0 1 0 76175206 60215296 3897 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 14701 3897 2432 1147 0 2128 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 62996 KiB
Current children cumulated memory: 18532 KiB
[startup+0.70011 s]
/proc/loadavg: 4.20 4.14 4.11 5/275 98618
/proc/meminfo: memFree=96879824/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=60056 memory=16868 CPUtime=0.65 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 1656 0 0 0 61 4 0 0 20 0 1 0 76175206 61497344 4217 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 15014 4217 2432 1147 0 2441 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 64248 KiB
Current children cumulated memory: 19812 KiB
[startup+1.50011 s]
/proc/loadavg: 4.20 4.14 4.11 5/275 98618
/proc/meminfo: memFree=96888296/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=61152 memory=17764 CPUtime=1.45 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 1875 0 0 0 138 7 0 0 20 0 1 0 76175206 62619648 4441 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 15288 4441 2432 1147 0 2715 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 65344 KiB
Current children cumulated memory: 20708 KiB
[startup+3.10495 s]
/proc/loadavg: 4.20 4.14 4.11 5/275 98618
/proc/meminfo: memFree=96902284/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=62600 memory=19172 CPUtime=3.05 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 2212 0 0 0 291 14 0 0 20 0 1 0 76175206 64102400 4793 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 15650 4793 2432 1147 0 3077 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 66792 KiB
Current children cumulated memory: 22116 KiB
[startup+6.30012 s]
/proc/loadavg: 4.18 4.13 4.11 5/275 98618
/proc/meminfo: memFree=96904040/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=64036 memory=22424 CPUtime=6.23 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 2534 0 0 0 596 27 0 0 20 0 1 0 76175206 65572864 5606 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 16009 5606 2432 1147 0 3436 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 68228 KiB
Current children cumulated memory: 25368 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.13 4.11 5/275 98618
/proc/meminfo: memFree=96955160/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=66040 memory=24472 CPUtime=12.62 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 3020 0 0 0 1212 50 0 0 20 0 1 0 76175206 67624960 6118 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 16510 6118 2432 1147 0 3937 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 70232 KiB
Current children cumulated memory: 27416 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.13 4.11 4/268 98649
/proc/meminfo: memFree=101617720/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=69784 memory=27416 CPUtime=25.37 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 3779 0 0 0 2441 96 0 0 20 0 1 0 76175206 71458816 6854 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 17446 6854 2432 1147 0 4873 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 73976 KiB
Current children cumulated memory: 30360 KiB
[startup+51.1054 s]
/proc/loadavg: 3.75 4.03 4.07 4/269 98650
/proc/meminfo: memFree=101493600/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=116252 memory=60444 CPUtime=50.82 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 10836 0 0 0 4940 142 0 0 20 0 1 0 76175206 119042048 15111 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 29063 15111 2432 1147 0 16490 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 120444 KiB
Current children cumulated memory: 63388 KiB
[startup+102.3 s]
/proc/loadavg: 3.32 3.87 4.02 4/270 98657
/proc/meminfo: memFree=101269416/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=119768 memory=63068 CPUtime=101.81 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 12046 0 0 0 9928 253 0 0 20 0 1 0 76175206 122642432 15767 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 29942 15767 2432 1147 0 17369 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 123960 KiB
Current children cumulated memory: 66012 KiB
[startup+162.3 s]
/proc/loadavg: 3.28 3.76 3.97 4/269 98659
/proc/meminfo: memFree=100937724/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=124308 memory=66636 CPUtime=161.56 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 13730 0 0 0 15764 392 0 0 20 0 1 0 76175206 127291392 16659 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 31077 16659 2432 1147 0 18504 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 128500 KiB
Current children cumulated memory: 69580 KiB
[startup+222.3 s]
/proc/loadavg: 3.16 3.63 3.91 4/269 98661
/proc/meminfo: memFree=100655004/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=167076 memory=99852 CPUtime=221.4 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 19941 0 0 0 21702 438 0 0 20 0 1 0 76175206 171085824 24963 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 41769 24963 2432 1147 0 29196 0
################
# More data... #
################
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 31035 0 0 0 85479 1334 0 0 20 0 1 0 76175206 247574528 40524 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 60443 40524 2432 1147 0 47870 0
Current children cumulated CPU time: 868.13 s
Current children cumulated vsize: 245964 KiB
Current children cumulated memory: 165040 KiB
[startup+942.3 s]
/proc/loadavg: 2.07 2.28 2.99 3/258 98737
/proc/meminfo: memFree=119944976/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=251684 memory=178104 CPUtime=927.99 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34125 0 0 0 91441 1358 0 0 20 0 1 0 76175206 257724416 44526 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 62921 44526 2432 1147 0 50348 0
Current children cumulated CPU time: 927.99 s
Current children cumulated vsize: 255876 KiB
Current children cumulated memory: 181048 KiB
[startup+1002.3 s]
/proc/loadavg: 2.08 2.24 2.93 3/255 98739
/proc/meminfo: memFree=119900772/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=178744 CPUtime=987.83 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34318 0 0 0 97379 1404 0 0 20 0 1 0 76175206 258621440 44686 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 44686 2432 1147 0 50567 0
Current children cumulated CPU time: 987.83 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 181688 KiB
[startup+1062.3 s]
/proc/loadavg: 2.07 2.21 2.87 3/257 98745
/proc/meminfo: memFree=119774244/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1047.56 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34332 0 0 0 103257 1499 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1047.56 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1075.34 s]
# the end of solver process 98615 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1045.4 s, system=15.1248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1062.4 s]
/proc/loadavg: 2.07 2.21 2.87 3/257 98745
/proc/meminfo: memFree=119774244/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1047.66 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34332 0 0 0 103267 1499 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1047.66 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1068.8 s]
/proc/loadavg: 2.14 2.22 2.87 3/257 98745
/proc/meminfo: memFree=119794468/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1054.01 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34333 0 0 0 103896 1505 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1054.01 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1072 s]*
/proc/loadavg: 2.13 2.22 2.87 3/258 98746
/proc/meminfo: memFree=119786484/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1057.2 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34334 0 0 0 104211 1509 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1057.2 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1073.6 s]
/proc/loadavg: 2.13 2.22 2.87 3/258 98746
/proc/meminfo: memFree=119786484/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1058.79 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34335 0 0 0 104369 1510 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1058.79 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1074.4 s]
/proc/loadavg: 2.13 2.22 2.87 3/258 98746
/proc/meminfo: memFree=119786484/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1059.6 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34335 0 0 0 104449 1511 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1059.6 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1074.8 s]
/proc/loadavg: 2.13 2.22 2.87 3/258 98746
/proc/meminfo: memFree=119786484/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1059.99 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34335 0 0 0 104488 1511 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1059.99 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1075.2 s]
/proc/loadavg: 2.13 2.22 2.87 3/258 98746
/proc/meminfo: memFree=119786484/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1060.39 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34335 0 0 0 104528 1511 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1060.39 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
[startup+1075.3 s]
/proc/loadavg: 2.13 2.22 2.87 3/258 98746
/proc/meminfo: memFree=119786484/131249992 swapFree=33010160/33010684
[pid=98615] ppid=98612 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98615/stat : 98615 (run-opt-ls-log.) S 98612 98615 96988 0 -1 4194304 242 304 0 0 0 0 0 0 20 0 1 0 76175203 4292608 736 18446744073709551615 94050950451200 94050951345733 140730702620208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94050951584784 94050951632528 94050971316224 140730702629147 140730702629345 140730702629345 140730702634947 0
/proc/98615/statm: 1048 736 672 219 0 110 0
[pid=98618] ppid=98615 vsize=252560 memory=184248 CPUtime=1060.49 cores=0,2
/proc/98618/stat : 98618 (roundingsat) R 98615 98615 96988 0 -1 4194304 34335 0 0 0 104538 1511 0 0 20 0 1 0 76175206 258621440 46062 18446744073709551615 4227072 8923433 140731915509776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35319808 140731915516150 140731915516456 140731915516456 140731915522026 0
/proc/98618/statm: 63140 46062 2432 1147 0 50567 0
Current children cumulated CPU time: 1060.49 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 187192 KiB
Child status: 0
Real time (s): 1075.34
CPU time (s): 1060.52
CPU user time (s): 1045.4
CPU system time (s): 15.1248
CPU usage (%): 98.6222
Max. virtual memory (cumulated for all children) (KiB): 257128
Max. memory (cumulated for all children) (KiB): 187192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1045.4
system time used= 15.1248
maximum resident set size= 184248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2210096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 720
involuntary context switches= 1460
# summary of solver processes directly reported to runsolver:
# pid: 98615
# total CPU time (s): 1060.52
# total CPU user time (s): 1045.4
# total CPU system time (s): 15.1248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.27402 second user time and 4.17835 second system time
The end
Begin job on nodeC025 at 2025-07-04 06:56:04
IDJOB=4524393
IDBENCH=180666
IDSOLVER=3356
FILE ID=nodeC025/4524393-1751604964
RUNJOBID= nodeC025-1751597363-96998
SLURM_JOB_ID= 9598865
Free space on /tmp= 432860 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Clique-c0125-9_c24.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524393-1751604964/watcher-4524393-1751604964 -o /tmp/evaluation-result-4524393-1751604964/solver-4524393-1751604964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751597363-96998 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4524393-1751604964.opb PROOFDIR/proof-4524393-1751604964
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=1124622574
nodeC025 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 : 3599.836
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.67
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.800
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.67
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 : 3487.057
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.67
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 : 3598.285
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.67
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.837
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.67
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 : 3600.000
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.67
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 : 3593.972
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.67
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 : 3700.000
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 96880316 kB
MemAvailable: 124530620 kB
Buffers: 2128 kB
Cached: 28398188 kB
SwapCached: 200 kB
Active: 5403664 kB
Inactive: 28063784 kB
Active(anon): 5067904 kB
Inactive(anon): 17156 kB
Active(file): 335760 kB
Inactive(file): 28046628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 207300 kB
Writeback: 0 kB
AnonPages: 5067124 kB
Mapped: 117744 kB
Shmem: 17856 kB
KReclaimable: 214308 kB
Slab: 311420 kB
SReclaimable: 214308 kB
SUnreclaim: 97112 kB
KernelStack: 4432 kB
PageTables: 13364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6015040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150728 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3147776 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC025 at 2025-07-04 07:14:00