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-4532269-1752600329.opb'
0.00/0.01 c read 0.02MB (0.35ms)
0.00/0.01 c [cnf: #variables 126 #clauses 789 #duplicates 0 #arr 1700]
0.00/0.01 c output proof to 'PROOFDIR/proof-4532269-1752600329'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.41ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.07ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 1167 #edges 3904]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.10ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4532269-1752600329.opb.pre'
0.00/0.01 c wrote 0.02MB (0.10ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.57ms 35.62% other
0.00/0.01 c 0.41ms 25.43% approx_orbits
0.00/0.01 c 0.35ms 21.84% parse
0.00/0.01 c 0.10ms 6.36% output
0.00/0.01 c 0.10ms 6.33% detect_generic
0.00/0.01 c 0.07ms 4.08% detect_special
0.00/0.01 c 0.01ms 0.35% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.61ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 0f876b3
0.00/0.03 c #variables 126 #constraints 788
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c bounds -17 >= -125 @ 0.005776
0.00/0.03 c rational objective -62.5
0.00/0.05 c bounds -18 >= -125 @ 0.019831
0.00/0.05 c bounds -18 >= -124 @ 0.019944
0.00/0.05 c bounds -18 >= -123 @ 0.020029
0.00/0.05 c bounds -18 >= -122 @ 0.020089
0.00/0.05 c bounds -18 >= -121 @ 0.020155
0.00/0.05 c bounds -18 >= -120 @ 0.020211
0.00/0.05 c bounds -18 >= -119 @ 0.020266
0.00/0.05 c bounds -18 >= -118 @ 0.020322
0.00/0.05 c bounds -18 >= -117 @ 0.020375
0.00/0.05 c bounds -18 >= -116 @ 0.020396
0.00/0.05 c bounds -18 >= -115 @ 0.020396
0.00/0.05 c bounds -18 >= -114 @ 0.020396
0.00/0.05 c bounds -18 >= -113 @ 0.020396
0.00/0.05 c bounds -19 >= -113 @ 0.020396
0.00/0.05 c bounds -19 >= -112 @ 0.020396
0.00/0.05 c bounds -19 >= -111 @ 0.020396
0.00/0.05 c bounds -19 >= -110 @ 0.020396
0.00/0.05 c bounds -19 >= -109 @ 0.020396
0.00/0.05 c bounds -19 >= -108 @ 0.020396
0.00/0.05 c bounds -19 >= -107 @ 0.020396
0.00/0.05 c bounds -19 >= -106 @ 0.020396
0.00/0.05 c bounds -19 >= -105 @ 0.020396
0.00/0.05 c bounds -19 >= -104 @ 0.020396
0.00/0.05 c bounds -21 >= -104 @ 0.020403
0.00/0.05 c bounds -21 >= -103 @ 0.02046
0.00/0.05 c bounds -21 >= -102 @ 0.020515
0.00/0.05 c bounds -21 >= -101 @ 0.020577
0.00/0.05 c bounds -21 >= -100 @ 0.020633
0.00/0.05 c bounds -21 >= -99 @ 0.020684
0.00/0.05 c bounds -21 >= -98 @ 0.020735
0.00/0.05 c bounds -21 >= -97 @ 0.020788
0.00/0.05 c bounds -21 >= -96 @ 0.020838
0.00/0.05 c bounds -21 >= -95 @ 0.02089
0.00/0.05 c bounds -21 >= -94 @ 0.020939
0.00/0.05 c bounds -21 >= -93 @ 0.020997
0.00/0.05 c bounds -21 >= -92 @ 0.021052
0.00/0.05 c bounds -21 >= -91 @ 0.021104
0.00/0.05 c bounds -21 >= -90 @ 0.021153
0.00/0.05 c bounds -21 >= -89 @ 0.021203
0.00/0.05 c bounds -23 >= -89 @ 0.021288
0.00/0.05 c bounds -23 >= -88 @ 0.021339
0.00/0.05 c bounds -23 >= -87 @ 0.021388
0.00/0.05 c bounds -23 >= -86 @ 0.021451
0.00/0.05 c bounds -23 >= -85 @ 0.021507
0.00/0.05 c bounds -23 >= -84 @ 0.021556
0.00/0.05 c bounds -23 >= -83 @ 0.021609
0.00/0.05 c bounds -23 >= -82 @ 0.02166
0.00/0.05 c bounds -23 >= -81 @ 0.02171
0.00/0.05 c bounds -23 >= -80 @ 0.021762
0.00/0.05 c bounds -23 >= -79 @ 0.02181
0.00/0.05 c bounds -24 >= -79 @ 0.021892
0.00/0.05 c bounds -24 >= -78 @ 0.021952
0.00/0.05 c bounds -24 >= -77 @ 0.022002
0.00/0.05 c bounds -24 >= -76 @ 0.022053
0.00/0.05 c bounds -24 >= -75 @ 0.022104
0.00/0.05 c bounds -24 >= -74 @ 0.022151
0.00/0.05 c bounds -24 >= -73 @ 0.022198
0.00/0.05 c bounds -24 >= -72 @ 0.022247
0.00/0.05 c bounds -24 >= -71 @ 0.022297
0.00/0.05 c bounds -24 >= -70 @ 0.022345
0.00/0.05 c bounds -24 >= -69 @ 0.022402
0.00/0.05 c bounds -24 >= -68 @ 0.022477
0.00/0.05 c bounds -25 >= -68 @ 0.022564
0.00/0.05 c bounds -25 >= -67 @ 0.022618
0.00/0.05 c bounds -25 >= -66 @ 0.02267
0.00/0.05 c bounds -25 >= -65 @ 0.022721
0.00/0.05 c bounds -25 >= -64 @ 0.02278
0.00/0.05 c bounds -25 >= -63 @ 0.022835
0.00/0.05 c bounds -25 >= -62 @ 0.022896
0.00/0.05 c bounds -25 >= -61 @ 0.022966
0.00/0.05 c bounds -26 >= -61 @ 0.023059
0.00/0.05 c bounds -26 >= -60 @ 0.023188
0.00/0.05 c bounds -26 >= -59 @ 0.025933
0.00/0.05 c bounds -27 >= -59 @ 0.026022
0.00/0.05 c bounds -27 >= -58 @ 0.026203
0.00/0.05 c bounds -28 >= -58 @ 0.026593
0.00/0.05 c bounds -28 >= -57 @ 0.026846
0.00/0.05 c bounds -28 >= -56 @ 0.02701
0.00/0.05 c bounds -28 >= -55 @ 0.02717
0.00/0.05 c bounds -28 >= -54 @ 0.027367
0.00/0.05 c bounds -29 >= -54 @ 0.027608
0.00/0.05 c bounds -29 >= -53 @ 0.027798
0.00/0.05 c bounds -29 >= -52 @ 0.028045
0.00/0.06 c bounds -30 >= -52 @ 0.028903
0.00/0.06 c bounds -30 >= -51 @ 0.029053
0.00/0.06 c bounds -30 >= -50 @ 0.029468
0.00/0.06 c bounds -30 >= -49 @ 0.030368
0.00/0.06 c bounds -30 >= -48 @ 0.03192
0.00/0.06 c bounds -31 >= -48 @ 0.033641
0.00/0.07 c bounds -31 >= -47 @ 0.042201
0.00/0.08 c bounds -32 >= -47 @ 0.051154
0.00/0.10 c bounds -32 >= -46 @ 0.067405
0.07/0.12 c #Conflicts: 1000 | #Constraints: 2172
0.07/0.12 c bounds -33 >= -46 @ 0.089878
0.07/0.16 c bounds -33 >= -45 @ 0.129312
0.07/0.20 c #Conflicts: 2000 | #Constraints: 3212
0.07/0.20 c INPROCESSING
0.07/0.20 c GARBAGE COLLECT
0.07/0.20 c rational objective -45
0.17/0.27 c bounds -33 >= -44 @ 0.225563
0.27/0.40 c #Conflicts: 3000 | #Constraints: 3108
0.27/0.40 c #Conflicts: 4000 | #Constraints: 4150
0.27/0.40 c INPROCESSING
0.27/0.40 c GARBAGE COLLECT
0.27/0.40 c rational objective -44
0.37/0.50 c #Conflicts: 5000 | #Constraints: 3497
0.37/0.50 c bounds -33 >= -43 @ 0.440985
0.56/0.63 c #Conflicts: 6000 | #Constraints: 4518
0.56/0.63 c bounds -33 >= -42 @ 0.56422
0.56/0.64 c INPROCESSING
0.56/0.64 c GARBAGE COLLECT
0.56/0.64 c rational objective -42
0.77/0.89 c #Conflicts: 7000 | #Constraints: 3521
0.77/0.89 c #Conflicts: 8000 | #Constraints: 4571
0.77/0.89 c #Conflicts: 9000 | #Constraints: 5622
0.77/0.89 c INPROCESSING
0.77/0.89 c GARBAGE COLLECT
0.77/0.89 c rational objective -42
1.16/1.21 c #Conflicts: 10000 | #Constraints: 4260
1.16/1.21 c #Conflicts: 11000 | #Constraints: 5260
1.16/1.21 c #Conflicts: 12000 | #Constraints: 6260
1.16/1.21 c INPROCESSING
1.16/1.21 c GARBAGE COLLECT
1.16/1.21 c rational objective -42
1.26/1.39 c #Conflicts: 13000 | #Constraints: 4686
1.26/1.39 c bounds -33 >= -41 @ 1.28381
1.46/1.51 c #Conflicts: 14000 | #Constraints: 5718
1.46/1.51 c #Conflicts: 15000 | #Constraints: 6747
1.46/1.51 c INPROCESSING
1.46/1.51 c GARBAGE COLLECT
1.46/1.51 c rational objective -41
1.86/1.90 c #Conflicts: 16000 | #Constraints: 4932
1.86/1.90 c #Conflicts: 17000 | #Constraints: 5932
1.86/1.90 c #Conflicts: 18000 | #Constraints: 6932
1.86/1.90 c INPROCESSING
1.86/1.90 c GARBAGE COLLECT
1.86/1.90 c rational objective -41
2.16/2.28 c #Conflicts: 19000 | #Constraints: 4931
2.16/2.28 c #Conflicts: 20000 | #Constraints: 5973
2.16/2.28 c #Conflicts: 21000 | #Constraints: 7019
2.16/2.28 c INPROCESSING
2.16/2.28 c GARBAGE COLLECT
2.16/2.28 c rational objective -41
2.66/2.77 c #Conflicts: 22000 | #Constraints: 4780
2.66/2.77 c #Conflicts: 23000 | #Constraints: 5780
2.66/2.77 c #Conflicts: 24000 | #Constraints: 6780
2.66/2.77 c #Conflicts: 25000 | #Constraints: 7780
2.66/2.77 c bounds -33 >= -40 @ 2.59075
2.66/2.77 c INPROCESSING
2.66/2.77 c GARBAGE COLLECT
2.66/2.77 c rational objective -40
3.06/3.18 c #Conflicts: 26000 | #Constraints: 5393
3.06/3.18 c #Conflicts: 27000 | #Constraints: 6442
3.06/3.18 c #Conflicts: 28000 | #Constraints: 7493
3.06/3.18 c #Conflicts: 29000 | #Constraints: 8544
3.06/3.18 c INPROCESSING
3.06/3.18 c GARBAGE COLLECT
3.06/3.18 c rational objective -40
3.66/3.73 c #Conflicts: 30000 | #Constraints: 5838
3.66/3.73 c #Conflicts: 31000 | #Constraints: 6838
3.66/3.73 c #Conflicts: 32000 | #Constraints: 7838
3.66/3.73 c #Conflicts: 33000 | #Constraints: 8838
3.66/3.73 c INPROCESSING
3.66/3.73 c GARBAGE COLLECT
3.66/3.73 c rational objective -40
4.15/4.22 c #Conflicts: 34000 | #Constraints: 5971
4.15/4.22 c #Conflicts: 35000 | #Constraints: 6971
4.15/4.22 c #Conflicts: 36000 | #Constraints: 7971
4.15/4.22 c #Conflicts: 37000 | #Constraints: 8971
4.15/4.22 c INPROCESSING
4.15/4.22 c GARBAGE COLLECT
4.15/4.22 c rational objective -40
4.65/4.76 c #Conflicts: 38000 | #Constraints: 5958
4.65/4.76 c #Conflicts: 39000 | #Constraints: 7006
4.65/4.76 c #Conflicts: 40000 | #Constraints: 8052
4.65/4.76 c #Conflicts: 41000 | #Constraints: 9100
4.65/4.76 c INPROCESSING
4.65/4.76 c GARBAGE COLLECT
4.65/4.76 c rational objective -40
5.25/5.36 c #Conflicts: 42000 | #Constraints: 5830
5.25/5.36 c #Conflicts: 43000 | #Constraints: 6830
5.25/5.36 c #Conflicts: 44000 | #Constraints: 7830
5.25/5.36 c #Conflicts: 45000 | #Constraints: 8830
5.25/5.36 c #Conflicts: 46000 | #Constraints: 9830
5.25/5.36 c INPROCESSING
5.25/5.36 c GARBAGE COLLECT
5.25/5.36 c rational objective -40
5.84/5.95 c #Conflicts: 47000 | #Constraints: 6386
5.84/5.95 c #Conflicts: 48000 | #Constraints: 7386
5.84/5.95 c #Conflicts: 49000 | #Constraints: 8386
5.84/5.95 c #Conflicts: 50000 | #Constraints: 9386
5.84/5.95 c #Conflicts: 51000 | #Constraints: 10386
5.84/5.95 c INPROCESSING
5.84/5.95 c GARBAGE COLLECT
5.84/5.95 c rational objective -40
6.45/6.58 c #Conflicts: 52000 | #Constraints: 6804
6.45/6.58 c #Conflicts: 53000 | #Constraints: 7850
6.45/6.58 c #Conflicts: 54000 | #Constraints: 8898
6.45/6.58 c #Conflicts: 55000 | #Constraints: 9941
6.45/6.58 c #Conflicts: 56000 | #Constraints: 10990
6.45/6.58 c INPROCESSING
6.45/6.58 c GARBAGE COLLECT
6.45/6.58 c rational objective -40
7.15/7.27 c #Conflicts: 57000 | #Constraints: 7059
7.15/7.27 c #Conflicts: 58000 | #Constraints: 8060
7.15/7.27 c #Conflicts: 59000 | #Constraints: 9060
7.15/7.27 c #Conflicts: 60000 | #Constraints: 10060
7.15/7.27 c #Conflicts: 61000 | #Constraints: 11060
7.15/7.27 c INPROCESSING
7.15/7.27 c GARBAGE COLLECT
7.15/7.27 c rational objective -40
7.34/7.47 c #Conflicts: 62000 | #Constraints: 7002
7.34/7.47 c bounds -33 >= -39 @ 7.09834
7.74/7.89 c #Conflicts: 63000 | #Constraints: 8021
7.74/7.89 c #Conflicts: 64000 | #Constraints: 9067
7.74/7.89 c #Conflicts: 65000 | #Constraints: 10119
7.74/7.89 c #Conflicts: 66000 | #Constraints: 11166
7.74/7.89 c INPROCESSING
7.74/7.89 c GARBAGE COLLECT
7.74/7.89 c rational objective -39
8.54/8.68 c #Conflicts: 67000 | #Constraints: 6867
8.54/8.68 c #Conflicts: 68000 | #Constraints: 7867
8.54/8.68 c #Conflicts: 69000 | #Constraints: 8867
8.54/8.68 c #Conflicts: 70000 | #Constraints: 9867
8.54/8.68 c #Conflicts: 71000 | #Constraints: 10867
8.54/8.68 c #Conflicts: 72000 | #Constraints: 11867
8.54/8.68 c INPROCESSING
8.54/8.68 c GARBAGE COLLECT
8.54/8.68 c rational objective -39
9.34/9.47 c #Conflicts: 73000 | #Constraints: 7448
9.34/9.47 c #Conflicts: 74000 | #Constraints: 8500
9.34/9.47 c #Conflicts: 75000 | #Constraints: 9561
9.34/9.47 c #Conflicts: 76000 | #Constraints: 10612
9.34/9.47 c #Conflicts: 77000 | #Constraints: 11660
9.34/9.47 c #Conflicts: 78000 | #Constraints: 12697
9.34/9.47 c INPROCESSING
9.34/9.47 c GARBAGE COLLECT
9.34/9.47 c rational objective -39
10.23/10.35 c #Conflicts: 79000 | #Constraints: 7917
10.23/10.35 c #Conflicts: 80000 | #Constraints: 8917
10.23/10.35 c #Conflicts: 81000 | #Constraints: 9917
10.23/10.35 c #Conflicts: 82000 | #Constraints: 10917
10.23/10.35 c #Conflicts: 83000 | #Constraints: 11917
10.23/10.35 c #Conflicts: 84000 | #Constraints: 12917
10.23/10.35 c INPROCESSING
10.23/10.35 c GARBAGE COLLECT
10.23/10.35 c rational objective -39
11.13/11.22 c #Conflicts: 85000 | #Constraints: 8032
11.13/11.22 c #Conflicts: 86000 | #Constraints: 9033
11.13/11.22 c #Conflicts: 87000 | #Constraints: 10033
11.13/11.22 c #Conflicts: 88000 | #Constraints: 11033
11.13/11.22 c #Conflicts: 89000 | #Constraints: 12033
11.13/11.22 c #Conflicts: 90000 | #Constraints: 13033
11.13/11.22 c INPROCESSING
11.13/11.22 c GARBAGE COLLECT
11.13/11.22 c rational objective -39
12.03/12.18 c #Conflicts: 91000 | #Constraints: 8013
12.03/12.18 c #Conflicts: 92000 | #Constraints: 9039
12.03/12.18 c #Conflicts: 93000 | #Constraints: 10064
12.03/12.18 c #Conflicts: 94000 | #Constraints: 11097
12.03/12.18 c #Conflicts: 95000 | #Constraints: 12135
12.03/12.18 c #Conflicts: 96000 | #Constraints: 13177
12.03/12.18 c INPROCESSING
12.03/12.18 c GARBAGE COLLECT
12.03/12.18 c rational objective -39
13.12/13.23 c #Conflicts: 97000 | #Constraints: 7869
13.12/13.23 c #Conflicts: 98000 | #Constraints: 8869
13.12/13.23 c #Conflicts: 99000 | #Constraints: 9869
13.12/13.23 c #Conflicts: 100000 | #Constraints: 10869
13.12/13.23 c #Conflicts: 101000 | #Constraints: 11869
13.12/13.23 c #Conflicts: 102000 | #Constraints: 12869
13.12/13.23 c #Conflicts: 103000 | #Constraints: 13869
13.12/13.23 c INPROCESSING
13.12/13.23 c GARBAGE COLLECT
13.12/13.23 c rational objective -39
14.12/14.21 c #Conflicts: 104000 | #Constraints: 8421
14.12/14.21 c #Conflicts: 105000 | #Constraints: 9421
14.12/14.21 c #Conflicts: 106000 | #Constraints: 10421
14.12/14.21 c #Conflicts: 107000 | #Constraints: 11421
14.12/14.21 c #Conflicts: 108000 | #Constraints: 12421
14.12/14.21 c #Conflicts: 109000 | #Constraints: 13421
14.12/14.21 c #Conflicts: 110000 | #Constraints: 14421
14.12/14.21 c INPROCESSING
14.12/14.21 c GARBAGE COLLECT
14.12/14.21 c rational objective -39
15.31/15.41 c #Conflicts: 111000 | #Constraints: 8825
15.31/15.41 c #Conflicts: 112000 | #Constraints: 9880
15.31/15.41 c #Conflicts: 113000 | #Constraints: 10928
15.31/15.41 c #Conflicts: 114000 | #Constraints: 11972
15.31/15.41 c #Conflicts: 115000 | #Constraints: 13022
15.31/15.41 c #Conflicts: 116000 | #Constraints: 14058
15.31/15.41 c #Conflicts: 117000 | #Constraints: 15100
15.31/15.41 c INPROCESSING
15.31/15.41 c GARBAGE COLLECT
15.31/15.41 c rational objective -39
16.02/16.19 c #Conflicts: 118000 | #Constraints: 9126
16.02/16.19 c #Conflicts: 119000 | #Constraints: 10126
16.02/16.19 c #Conflicts: 120000 | #Constraints: 11126
16.02/16.19 c #Conflicts: 121000 | #Constraints: 12126
16.02/16.19 c #Conflicts: 122000 | #Constraints: 13126
16.02/16.19 c bounds -33 >= -38 @ 15.4722
16.42/16.55 c #Conflicts: 123000 | #Constraints: 14154
16.42/16.55 c #Conflicts: 124000 | #Constraints: 15154
16.42/16.55 c INPROCESSING
16.42/16.55 c GARBAGE COLLECT
16.42/16.55 c rational objective -38
17.61/17.75 c #Conflicts: 125000 | #Constraints: 9063
17.61/17.75 c #Conflicts: 126000 | #Constraints: 10063
17.61/17.75 c #Conflicts: 127000 | #Constraints: 11063
17.61/17.75 c #Conflicts: 128000 | #Constraints: 12064
17.61/17.75 c #Conflicts: 129000 | #Constraints: 13064
17.61/17.75 c #Conflicts: 130000 | #Constraints: 14064
17.61/17.75 c #Conflicts: 131000 | #Constraints: 15064
17.61/17.75 c INPROCESSING
17.61/17.75 c GARBAGE COLLECT
17.61/17.75 c rational objective -38
18.81/18.92 c #Conflicts: 132000 | #Constraints: 8816
18.81/18.92 c #Conflicts: 133000 | #Constraints: 9816
18.81/18.92 c #Conflicts: 134000 | #Constraints: 10816
18.81/18.92 c #Conflicts: 135000 | #Constraints: 11816
18.81/18.92 c #Conflicts: 136000 | #Constraints: 12816
18.81/18.92 c #Conflicts: 137000 | #Constraints: 13817
18.81/18.92 c #Conflicts: 138000 | #Constraints: 14817
18.81/18.92 c #Conflicts: 139000 | #Constraints: 15817
18.81/18.92 c INPROCESSING
18.81/18.92 c GARBAGE COLLECT
18.81/18.92 c rational objective -38
20.01/20.16 c #Conflicts: 140000 | #Constraints: 9414
20.01/20.16 c #Conflicts: 141000 | #Constraints: 10458
20.01/20.16 c #Conflicts: 142000 | #Constraints: 11509
20.01/20.16 c #Conflicts: 143000 | #Constraints: 12555
20.01/20.16 c #Conflicts: 144000 | #Constraints: 13602
20.01/20.16 c #Conflicts: 145000 | #Constraints: 14642
20.01/20.16 c #Conflicts: 146000 | #Constraints: 15694
20.01/20.16 c #Conflicts: 147000 | #Constraints: 16742
20.01/20.16 c INPROCESSING
20.01/20.16 c GARBAGE COLLECT
20.01/20.16 c rational objective -38
21.50/21.63 c #Conflicts: 148000 | #Constraints: 9949
21.50/21.63 c #Conflicts: 149000 | #Constraints: 10949
21.50/21.63 c #Conflicts: 150000 | #Constraints: 11949
21.50/21.63 c #Conflicts: 151000 | #Constraints: 12950
21.50/21.63 c #Conflicts: 152000 | #Constraints: 13950
21.50/21.63 c #Conflicts: 153000 | #Constraints: 14951
21.50/21.63 c #Conflicts: 154000 | #Constraints: 15953
21.50/21.63 c #Conflicts: 155000 | #Constraints: 16953
21.50/21.63 c INPROCESSING
21.50/21.63 c GARBAGE COLLECT
21.50/21.63 c rational objective -38
22.90/23.01 c #Conflicts: 156000 | #Constraints: 10114
22.90/23.01 c #Conflicts: 157000 | #Constraints: 11163
22.90/23.01 c #Conflicts: 158000 | #Constraints: 12201
22.90/23.01 c #Conflicts: 159000 | #Constraints: 13245
22.90/23.01 c #Conflicts: 160000 | #Constraints: 14288
22.90/23.01 c #Conflicts: 161000 | #Constraints: 15328
22.90/23.01 c #Conflicts: 162000 | #Constraints: 16372
22.90/23.01 c #Conflicts: 163000 | #Constraints: 17421
22.90/23.01 c INPROCESSING
22.90/23.01 c GARBAGE COLLECT
22.90/23.01 c rational objective -38
24.33/24.55 c #Conflicts: 164000 | #Constraints: 10201
24.33/24.55 c #Conflicts: 165000 | #Constraints: 11201
24.33/24.55 c #Conflicts: 166000 | #Constraints: 12201
24.33/24.55 c #Conflicts: 167000 | #Constraints: 13201
24.33/24.55 c #Conflicts: 168000 | #Constraints: 14202
24.33/24.55 c #Conflicts: 169000 | #Constraints: 15202
24.33/24.55 c #Conflicts: 170000 | #Constraints: 16202
24.33/24.55 c #Conflicts: 171000 | #Constraints: 17202
24.33/24.55 c INPROCESSING
24.33/24.55 c GARBAGE COLLECT
24.33/24.55 c rational objective -38
25.72/25.99 c #Conflicts: 172000 | #Constraints: 9889
25.72/25.99 c #Conflicts: 173000 | #Constraints: 10890
25.72/25.99 c #Conflicts: 174000 | #Constraints: 11891
25.72/25.99 c #Conflicts: 175000 | #Constraints: 12891
25.72/25.99 c #Conflicts: 176000 | #Constraints: 13892
25.72/25.99 c #Conflicts: 177000 | #Constraints: 14892
25.72/25.99 c #Conflicts: 178000 | #Constraints: 15892
25.72/25.99 c #Conflicts: 179000 | #Constraints: 16892
25.72/25.99 c #Conflicts: 180000 | #Constraints: 17893
25.72/25.99 c INPROCESSING
25.72/25.99 c GARBAGE COLLECT
25.72/25.99 c rational objective -38
27.42/27.62 c #Conflicts: 181000 | #Constraints: 10467
27.42/27.62 c #Conflicts: 182000 | #Constraints: 11517
27.42/27.62 c #Conflicts: 183000 | #Constraints: 12572
27.42/27.62 c #Conflicts: 184000 | #Constraints: 13622
27.42/27.62 c #Conflicts: 185000 | #Constraints: 14681
27.42/27.62 c #Conflicts: 186000 | #Constraints: 15730
27.42/27.62 c #Conflicts: 187000 | #Constraints: 16779
27.42/27.62 c #Conflicts: 188000 | #Constraints: 17835
27.42/27.62 c #Conflicts: 189000 | #Constraints: 18883
27.42/27.62 c INPROCESSING
27.42/27.62 c GARBAGE COLLECT
27.42/27.62 c rational objective -38
29.01/29.23 c #Conflicts: 190000 | #Constraints: 11028
29.01/29.23 c #Conflicts: 191000 | #Constraints: 12029
29.01/29.23 c #Conflicts: 192000 | #Constraints: 13029
29.01/29.23 c #Conflicts: 193000 | #Constraints: 14030
29.01/29.23 c #Conflicts: 194000 | #Constraints: 15030
29.01/29.23 c #Conflicts: 195000 | #Constraints: 16030
29.01/29.23 c #Conflicts: 196000 | #Constraints: 17030
29.01/29.23 c #Conflicts: 197000 | #Constraints: 18030
29.01/29.23 c #Conflicts: 198000 | #Constraints: 19030
29.01/29.23 c INPROCESSING
29.01/29.23 c GARBAGE COLLECT
29.01/29.23 c rational objective -38
30.60/30.81 c #Conflicts: 199000 | #Constraints: 11107
30.60/30.81 c #Conflicts: 200000 | #Constraints: 12109
30.60/30.81 c #Conflicts: 201000 | #Constraints: 13109
30.60/30.81 c #Conflicts: 202000 | #Constraints: 14109
30.60/30.81 c #Conflicts: 203000 | #Constraints: 15109
30.60/30.81 c #Conflicts: 204000 | #Constraints: 16109
30.60/30.81 c #Conflicts: 205000 | #Constraints: 17109
30.60/30.81 c #Conflicts: 206000 | #Constraints: 18110
30.60/30.81 c #Conflicts: 207000 | #Constraints: 19110
30.60/30.81 c INPROCESSING
30.60/30.81 c GARBAGE COLLECT
30.60/30.81 c rational objective -38
54.50/54.87 c #Conflicts: 208000 | #Constraints: 11058
54.50/54.87 c #Conflicts: 209000 | #Constraints: 12092
54.50/54.87 c #Conflicts: 210000 | #Constraints: 13118
54.50/54.87 c #Conflicts: 211000 | #Constraints: 14149
54.50/54.87 c #Conflicts: 212000 | #Constraints: 15181
54.50/54.87 c #Conflicts: 213000 | #Constraints: 16210
54.50/54.87 c #Conflicts: 214000 | #Constraints: 17244
54.50/54.87 c #Conflicts: 215000 | #Constraints: 18278
54.50/54.87 c #Conflicts: 216000 | #Constraints: 19320
54.50/54.87 c #Conflicts: 217000 | #Constraints: 20356
54.50/54.87 c #Conflicts: 218000 | #Constraints: 21392
54.50/54.87 c #Conflicts: 219000 | #Constraints: 22440
54.50/54.87 c #Conflicts: 220000 | #Constraints: 23487
54.50/54.87 c #Conflicts: 221000 | #Constraints: 24536
54.50/54.87 c #Conflicts: 222000 | #Constraints: 25582
54.50/54.87 c #Conflicts: 223000 | #Constraints: 26631
54.50/54.87 c #Conflicts: 224000 | #Constraints: 27686
54.50/54.87 c #Conflicts: 225000 | #Constraints: 28721
54.50/54.87 c #Conflicts: 226000 | #Constraints: 29771
54.50/54.87 c #Conflicts: 227000 | #Constraints: 30813
54.50/54.87 c #Conflicts: 228000 | #Constraints: 31854
54.50/54.87 c #Conflicts: 229000 | #Constraints: 32892
54.50/54.87 c #Conflicts: 230000 | #Constraints: 33936
54.50/54.87 c #Conflicts: 231000 | #Constraints: 34984
54.50/54.87 c #Conflicts: 232000 | #Constraints: 36030
54.50/54.87 c #Conflicts: 233000 | #Constraints: 37074
54.50/54.87 c #Conflicts: 234000 | #Constraints: 38128
54.50/54.87 c #Conflicts: 235000 | #Constraints: 39171
54.50/54.87 c #Conflicts: 236000 | #Constraints: 40212
54.50/54.87 c #Conflicts: 237000 | #Constraints: 41259
54.50/54.87 c #Conflicts: 238000 | #Constraints: 42307
54.50/54.87 c #Conflicts: 239000 | #Constraints: 43356
54.50/54.87 c #Conflicts: 240000 | #Constraints: 44399
54.50/54.87 c #Conflicts: 241000 | #Constraints: 45433
54.50/54.87 c #Conflicts: 242000 | #Constraints: 46484
54.50/54.87 c #Conflicts: 243000 | #Constraints: 47516
54.50/54.87 c #Conflicts: 244000 | #Constraints: 48551
54.50/54.87 c #Conflicts: 245000 | #Constraints: 49591
54.50/54.87 c #Conflicts: 246000 | #Constraints: 50642
54.50/54.87 c #Conflicts: 247000 | #Constraints: 51691
54.50/54.87 c #Conflicts: 248000 | #Constraints: 52739
54.50/54.87 c #Conflicts: 249000 | #Constraints: 53783
54.50/54.87 c #Conflicts: 250000 | #Constraints: 54829
54.50/54.87 c INPROCESSING
54.50/54.87 c GARBAGE COLLECT
54.50/54.87 c rational objective -38
64.97/68.64 c #Conflicts: 251000 | #Constraints: 28618
64.97/68.64 c #Conflicts: 252000 | #Constraints: 29618
64.97/68.64 c #Conflicts: 253000 | #Constraints: 30619
64.97/68.64 c #Conflicts: 254000 | #Constraints: 31619
64.97/68.64 c #Conflicts: 255000 | #Constraints: 32619
64.97/68.64 c #Conflicts: 256000 | #Constraints: 33619
64.97/68.64 c #Conflicts: 257000 | #Constraints: 34619
64.97/68.64 c #Conflicts: 258000 | #Constraints: 35619
64.97/68.64 c #Conflicts: 259000 | #Constraints: 36619
64.97/68.64 c #Conflicts: 260000 | #Constraints: 37620
64.97/68.64 c #Conflicts: 261000 | #Constraints: 38620
64.97/68.64 c INPROCESSING
64.97/68.64 c GARBAGE COLLECT
64.97/68.64 c rational objective -38
68.06/71.78 c #Conflicts: 262000 | #Constraints: 20756
68.06/71.78 c #Conflicts: 263000 | #Constraints: 21756
68.06/71.78 c #Conflicts: 264000 | #Constraints: 22756
68.06/71.78 c #Conflicts: 265000 | #Constraints: 23756
68.06/71.78 c #Conflicts: 266000 | #Constraints: 24756
68.06/71.78 c #Conflicts: 267000 | #Constraints: 25756
68.06/71.78 c #Conflicts: 268000 | #Constraints: 26756
68.06/71.78 c #Conflicts: 269000 | #Constraints: 27756
68.06/71.78 c bounds -33 >= -37 @ 66.5337
69.15/72.86 c #Conflicts: 270000 | #Constraints: 28786
69.15/72.86 c #Conflicts: 271000 | #Constraints: 29787
69.15/72.86 c #Conflicts: 272000 | #Constraints: 30788
69.15/72.86 c INPROCESSING
69.15/72.86 c GARBAGE COLLECT
69.15/72.86 c rational objective -37
71.95/75.61 c #Conflicts: 273000 | #Constraints: 16997
71.95/75.61 c #Conflicts: 274000 | #Constraints: 17997
71.95/75.61 c #Conflicts: 275000 | #Constraints: 18998
71.95/75.61 c #Conflicts: 276000 | #Constraints: 19998
71.95/75.61 c #Conflicts: 277000 | #Constraints: 20998
71.95/75.61 c #Conflicts: 278000 | #Constraints: 21998
71.95/75.61 c #Conflicts: 279000 | #Constraints: 22999
71.95/75.61 c #Conflicts: 280000 | #Constraints: 23999
71.95/75.61 c #Conflicts: 281000 | #Constraints: 25000
71.95/75.61 c #Conflicts: 282000 | #Constraints: 26002
71.95/75.61 c INPROCESSING
71.95/75.61 c GARBAGE COLLECT
71.95/75.61 c rational objective -37
74.13/77.84 c #Conflicts: 283000 | #Constraints: 14146
74.13/77.84 c #Conflicts: 284000 | #Constraints: 15147
74.13/77.84 c #Conflicts: 285000 | #Constraints: 16147
74.13/77.84 c #Conflicts: 286000 | #Constraints: 17147
74.13/77.84 c #Conflicts: 287000 | #Constraints: 18147
74.13/77.84 c #Conflicts: 288000 | #Constraints: 19147
74.13/77.84 c #Conflicts: 289000 | #Constraints: 20148
74.13/77.84 c #Conflicts: 290000 | #Constraints: 21148
74.13/77.84 c #Conflicts: 291000 | #Constraints: 22148
74.13/77.84 c #Conflicts: 292000 | #Constraints: 23148
74.13/77.84 c #Conflicts: 293000 | #Constraints: 24148
74.13/77.84 c #Conflicts: 294000 | #Constraints: 25148
74.13/77.84 c INPROCESSING
74.13/77.84 c GARBAGE COLLECT
74.13/77.84 c rational objective -37
76.34/80.09 c #Conflicts: 295000 | #Constraints: 14173
76.34/80.09 c #Conflicts: 296000 | #Constraints: 15174
76.34/80.09 c #Conflicts: 297000 | #Constraints: 16175
76.34/80.09 c #Conflicts: 298000 | #Constraints: 17175
76.34/80.09 c #Conflicts: 299000 | #Constraints: 18176
76.34/80.09 c #Conflicts: 300000 | #Constraints: 19177
76.34/80.09 c #Conflicts: 301000 | #Constraints: 20177
76.34/80.09 c #Conflicts: 302000 | #Constraints: 21177
76.34/80.09 c #Conflicts: 303000 | #Constraints: 22177
76.34/80.09 c #Conflicts: 304000 | #Constraints: 23177
76.34/80.09 c #Conflicts: 305000 | #Constraints: 24177
76.34/80.09 c INPROCESSING
76.34/80.09 c GARBAGE COLLECT
76.34/80.09 c rational objective -37
78.63/82.32 c #Conflicts: 306000 | #Constraints: 13530
78.63/82.32 c #Conflicts: 307000 | #Constraints: 14530
78.63/82.32 c #Conflicts: 308000 | #Constraints: 15531
78.63/82.32 c #Conflicts: 309000 | #Constraints: 16533
78.63/82.32 c #Conflicts: 310000 | #Constraints: 17533
78.63/82.32 c #Conflicts: 311000 | #Constraints: 18533
78.63/82.32 c #Conflicts: 312000 | #Constraints: 19533
78.63/82.32 c #Conflicts: 313000 | #Constraints: 20533
78.63/82.32 c #Conflicts: 314000 | #Constraints: 21534
78.63/82.32 c #Conflicts: 315000 | #Constraints: 22534
78.63/82.32 c #Conflicts: 316000 | #Constraints: 23534
78.63/82.32 c INPROCESSING
78.63/82.32 c GARBAGE COLLECT
78.63/82.32 c rational objective -37
95.95/100.03 c #Conflicts: 317000 | #Constraints: 12971
95.95/100.03 c #Conflicts: 318000 | #Constraints: 13971
95.95/100.03 c #Conflicts: 319000 | #Constraints: 14972
95.95/100.03 c #Conflicts: 320000 | #Constraints: 15972
95.95/100.03 c #Conflicts: 321000 | #Constraints: 16972
95.95/100.03 c #Conflicts: 322000 | #Constraints: 17973
95.95/100.03 c #Conflicts: 323000 | #Constraints: 18974
95.95/100.03 c #Conflicts: 324000 | #Constraints: 19974
95.95/100.03 c #Conflicts: 325000 | #Constraints: 20974
95.95/100.03 c #Conflicts: 326000 | #Constraints: 21975
95.95/100.03 c #Conflicts: 327000 | #Constraints: 22975
95.95/100.03 c #Conflicts: 328000 | #Constraints: 23976
95.95/100.03 c #Conflicts: 329000 | #Constraints: 24976
95.95/100.03 c #Conflicts: 330000 | #Constraints: 25977
95.95/100.03 c #Conflicts: 331000 | #Constraints: 26977
95.95/100.03 c #Conflicts: 332000 | #Constraints: 27977
95.95/100.03 c #Conflicts: 333000 | #Constraints: 28977
95.95/100.03 c #Conflicts: 334000 | #Constraints: 29977
95.95/100.03 c #Conflicts: 335000 | #Constraints: 30977
95.95/100.03 c #Conflicts: 336000 | #Constraints: 31978
95.95/100.03 c #Conflicts: 337000 | #Constraints: 32978
95.95/100.03 c #Conflicts: 338000 | #Constraints: 33979
95.95/100.03 c #Conflicts: 339000 | #Constraints: 34980
95.95/100.03 c #Conflicts: 340000 | #Constraints: 35980
95.95/100.03 c #Conflicts: 341000 | #Constraints: 36980
95.95/100.03 c #Conflicts: 342000 | #Constraints: 37980
95.95/100.03 c #Conflicts: 343000 | #Constraints: 38980
95.95/100.03 c #Conflicts: 344000 | #Constraints: 39980
95.95/100.03 c #Conflicts: 345000 | #Constraints: 40980
95.95/100.03 c #Conflicts: 346000 | #Constraints: 41980
95.95/100.03 c #Conflicts: 347000 | #Constraints: 42980
95.95/100.03 c #Conflicts: 348000 | #Constraints: 43980
95.95/100.03 c #Conflicts: 349000 | #Constraints: 44980
95.95/100.03 c #Conflicts: 350000 | #Constraints: 45980
95.95/100.03 c #Conflicts: 351000 | #Constraints: 46980
95.95/100.03 c #Conflicts: 352000 | #Constraints: 47980
95.95/100.03 c #Conflicts: 353000 | #Constraints: 48980
95.95/100.03 c #Conflicts: 354000 | #Constraints: 49980
95.95/100.03 c #Conflicts: 355000 | #Constraints: 50980
95.95/100.03 c #Conflicts: 356000 | #Constraints: 51980
95.95/100.03 c #Conflicts: 357000 | #Constraints: 52980
95.95/100.03 c #Conflicts: 358000 | #Constraints: 53980
95.95/100.03 c #Conflicts: 359000 | #Constraints: 54980
95.95/100.03 c #Conflicts: 360000 | #Constraints: 55980
95.95/100.03 c #Conflicts: 361000 | #Constraints: 56980
95.95/100.03 c #Conflicts: 362000 | #Constraints: 57980
95.95/100.03 c #Conflicts: 363000 | #Constraints: 58980
95.95/100.03 c #Conflicts: 364000 | #Constraints: 59980
95.95/100.03 c #Conflicts: 365000 | #Constraints: 60980
95.95/100.03 c #Conflicts: 366000 | #Constraints: 61980
95.95/100.03 c #Conflicts: 367000 | #Constraints: 62980
95.95/100.03 c #Conflicts: 368000 | #Constraints: 63980
95.95/100.03 c #Conflicts: 369000 | #Constraints: 64980
95.95/100.03 c INPROCESSING
95.95/100.03 c GARBAGE COLLECT
95.95/100.03 c rational objective -37
99.04/103.13 c #Conflicts: 370000 | #Constraints: 34111
99.04/103.13 c #Conflicts: 371000 | #Constraints: 35150
99.04/103.13 c #Conflicts: 372000 | #Constraints: 36197
99.04/103.13 c #Conflicts: 373000 | #Constraints: 37247
99.04/103.13 c #Conflicts: 374000 | #Constraints: 38294
99.04/103.13 c #Conflicts: 375000 | #Constraints: 39343
99.04/103.13 c #Conflicts: 376000 | #Constraints: 40390
99.04/103.13 c #Conflicts: 377000 | #Constraints: 41428
99.04/103.13 c #Conflicts: 378000 | #Constraints: 42468
99.04/103.13 c #Conflicts: 379000 | #Constraints: 43515
99.04/103.13 c #Conflicts: 380000 | #Constraints: 44550
99.04/103.13 c #Conflicts: 381000 | #Constraints: 45597
99.04/103.13 c INPROCESSING
99.04/103.13 c GARBAGE COLLECT
99.04/103.13 c rational objective -37
102.04/106.18 c #Conflicts: 382000 | #Constraints: 24011
102.04/106.18 c #Conflicts: 383000 | #Constraints: 25050
102.04/106.18 c #Conflicts: 384000 | #Constraints: 26092
102.04/106.18 c #Conflicts: 385000 | #Constraints: 27135
102.04/106.18 c #Conflicts: 386000 | #Constraints: 28186
102.04/106.18 c #Conflicts: 387000 | #Constraints: 29221
102.04/106.18 c #Conflicts: 388000 | #Constraints: 30264
102.04/106.18 c #Conflicts: 389000 | #Constraints: 31300
102.04/106.18 c #Conflicts: 390000 | #Constraints: 32334
102.04/106.18 c #Conflicts: 391000 | #Constraints: 33364
102.04/106.18 c #Conflicts: 392000 | #Constraints: 34401
102.04/106.18 c #Conflicts: 393000 | #Constraints: 35447
102.04/106.18 c #Conflicts: 394000 | #Constraints: 36496
102.04/106.18 c INPROCESSING
102.04/106.18 c GARBAGE COLLECT
102.04/106.18 c rational objective -37
105.12/109.23 c #Conflicts: 395000 | #Constraints: 19469
105.12/109.23 c #Conflicts: 396000 | #Constraints: 20516
105.12/109.23 c #Conflicts: 397000 | #Constraints: 21560
105.12/109.23 c #Conflicts: 398000 | #Constraints: 22606
105.12/109.23 c #Conflicts: 399000 | #Constraints: 23656
105.12/109.23 c #Conflicts: 400000 | #Constraints: 24699
105.12/109.23 c #Conflicts: 401000 | #Constraints: 25733
105.12/109.23 c #Conflicts: 402000 | #Constraints: 26774
105.12/109.23 c #Conflicts: 403000 | #Constraints: 27812
105.12/109.23 c #Conflicts: 404000 | #Constraints: 28857
105.12/109.23 c #Conflicts: 405000 | #Constraints: 29905
105.12/109.23 c #Conflicts: 406000 | #Constraints: 30942
105.12/109.23 c #Conflicts: 407000 | #Constraints: 31968
105.12/109.23 c #Conflicts: 408000 | #Constraints: 33008
105.12/109.23 c INPROCESSING
105.12/109.23 c GARBAGE COLLECT
105.12/109.23 c rational objective -37
108.22/112.34 c #Conflicts: 409000 | #Constraints: 18096
108.22/112.34 c #Conflicts: 410000 | #Constraints: 19096
108.22/112.34 c #Conflicts: 411000 | #Constraints: 20097
108.22/112.34 c #Conflicts: 412000 | #Constraints: 21098
108.22/112.34 c #Conflicts: 413000 | #Constraints: 22098
108.22/112.34 c #Conflicts: 414000 | #Constraints: 23098
108.22/112.34 c #Conflicts: 415000 | #Constraints: 24098
108.22/112.34 c #Conflicts: 416000 | #Constraints: 25098
108.22/112.34 c #Conflicts: 417000 | #Constraints: 26098
108.22/112.34 c #Conflicts: 418000 | #Constraints: 27098
108.22/112.34 c #Conflicts: 419000 | #Constraints: 28098
108.22/112.34 c #Conflicts: 420000 | #Constraints: 29099
108.22/112.34 c #Conflicts: 421000 | #Constraints: 30099
108.22/112.34 c INPROCESSING
108.22/112.34 c GARBAGE COLLECT
108.22/112.34 c rational objective -37
111.10/115.29 c #Conflicts: 422000 | #Constraints: 16457
111.10/115.29 c #Conflicts: 423000 | #Constraints: 17457
111.10/115.29 c #Conflicts: 424000 | #Constraints: 18457
111.10/115.29 c #Conflicts: 425000 | #Constraints: 19457
111.10/115.29 c #Conflicts: 426000 | #Constraints: 20458
111.10/115.29 c #Conflicts: 427000 | #Constraints: 21459
111.10/115.29 c #Conflicts: 428000 | #Constraints: 22459
111.10/115.29 c #Conflicts: 429000 | #Constraints: 23459
111.10/115.29 c #Conflicts: 430000 | #Constraints: 24460
111.10/115.29 c #Conflicts: 431000 | #Constraints: 25460
111.10/115.29 c #Conflicts: 432000 | #Constraints: 26460
111.10/115.29 c #Conflicts: 433000 | #Constraints: 27460
111.10/115.29 c #Conflicts: 434000 | #Constraints: 28460
111.10/115.29 c #Conflicts: 435000 | #Constraints: 29460
111.10/115.29 c INPROCESSING
111.10/115.29 c GARBAGE COLLECT
111.10/115.29 c rational objective -37
114.10/118.29 c #Conflicts: 436000 | #Constraints: 16367
114.10/118.29 c #Conflicts: 437000 | #Constraints: 17414
114.10/118.29 c #Conflicts: 438000 | #Constraints: 18461
114.10/118.29 c #Conflicts: 439000 | #Constraints: 19517
114.10/118.29 c #Conflicts: 440000 | #Constraints: 20568
114.10/118.29 c #Conflicts: 441000 | #Constraints: 21616
114.10/118.29 c #Conflicts: 442000 | #Constraints: 22655
114.10/118.29 c #Conflicts: 443000 | #Constraints: 23701
114.10/118.29 c #Conflicts: 444000 | #Constraints: 24746
114.10/118.29 c #Conflicts: 445000 | #Constraints: 25789
114.10/118.29 c #Conflicts: 446000 | #Constraints: 26832
114.10/118.29 c #Conflicts: 447000 | #Constraints: 27875
114.10/118.29 c #Conflicts: 448000 | #Constraints: 28918
114.10/118.29 c INPROCESSING
114.10/118.29 c GARBAGE COLLECT
114.10/118.29 c rational objective -37
117.19/121.31 c #Conflicts: 449000 | #Constraints: 15672
117.19/121.31 c #Conflicts: 450000 | #Constraints: 16673
117.19/121.31 c #Conflicts: 451000 | #Constraints: 17676
117.19/121.31 c #Conflicts: 452000 | #Constraints: 18677
117.19/121.31 c #Conflicts: 453000 | #Constraints: 19678
117.19/121.31 c #Conflicts: 454000 | #Constraints: 20679
117.19/121.31 c #Conflicts: 455000 | #Constraints: 21679
117.19/121.31 c #Conflicts: 456000 | #Constraints: 22679
117.19/121.31 c #Conflicts: 457000 | #Constraints: 23679
117.19/121.31 c #Conflicts: 458000 | #Constraints: 24681
117.19/121.31 c #Conflicts: 459000 | #Constraints: 25681
117.19/121.31 c #Conflicts: 460000 | #Constraints: 26681
117.19/121.31 c #Conflicts: 461000 | #Constraints: 27681
117.19/121.31 c #Conflicts: 462000 | #Constraints: 28682
117.19/121.31 c INPROCESSING
117.19/121.31 c GARBAGE COLLECT
117.19/121.31 c rational objective -37
135.04/139.45 c #Conflicts: 463000 | #Constraints: 15549
135.04/139.45 c #Conflicts: 464000 | #Constraints: 16549
135.04/139.45 c #Conflicts: 465000 | #Constraints: 17549
135.04/139.45 c #Conflicts: 466000 | #Constraints: 18549
135.04/139.45 c #Conflicts: 467000 | #Constraints: 19549
135.04/139.45 c #Conflicts: 468000 | #Constraints: 20550
135.04/139.45 c #Conflicts: 469000 | #Constraints: 21550
135.04/139.45 c #Conflicts: 470000 | #Constraints: 22550
135.04/139.45 c #Conflicts: 471000 | #Constraints: 23551
135.04/139.45 c #Conflicts: 472000 | #Constraints: 24551
135.04/139.45 c #Conflicts: 473000 | #Constraints: 25551
135.04/139.45 c #Conflicts: 474000 | #Constraints: 26552
135.04/139.45 c #Conflicts: 475000 | #Constraints: 27552
135.04/139.45 c #Conflicts: 476000 | #Constraints: 28553
135.04/139.45 c #Conflicts: 477000 | #Constraints: 29555
135.04/139.45 c #Conflicts: 478000 | #Constraints: 30555
135.04/139.45 c #Conflicts: 479000 | #Constraints: 31555
135.04/139.45 c #Conflicts: 480000 | #Constraints: 32556
135.04/139.45 c #Conflicts: 481000 | #Constraints: 33556
135.04/139.45 c #Conflicts: 482000 | #Constraints: 34557
135.04/139.45 c #Conflicts: 483000 | #Constraints: 35557
135.04/139.45 c #Conflicts: 484000 | #Constraints: 36557
135.04/139.45 c #Conflicts: 485000 | #Constraints: 37558
135.04/139.45 c #Conflicts: 486000 | #Constraints: 38558
135.04/139.45 c #Conflicts: 487000 | #Constraints: 39559
135.04/139.45 c #Conflicts: 488000 | #Constraints: 40559
135.04/139.45 c #Conflicts: 489000 | #Constraints: 41559
135.04/139.45 c #Conflicts: 490000 | #Constraints: 42559
135.04/139.45 c #Conflicts: 491000 | #Constraints: 43559
135.04/139.45 c #Conflicts: 492000 | #Constraints: 44559
135.04/139.45 c #Conflicts: 493000 | #Constraints: 45559
135.04/139.45 c #Conflicts: 494000 | #Constraints: 46559
135.04/139.45 c #Conflicts: 495000 | #Constraints: 47559
135.04/139.45 c #Conflicts: 496000 | #Constraints: 48560
135.04/139.45 c #Conflicts: 497000 | #Constraints: 49560
135.04/139.45 c #Conflicts: 498000 | #Constraints: 50560
135.04/139.45 c #Conflicts: 499000 | #Constraints: 51560
135.04/139.45 c #Conflicts: 500000 | #Constraints: 52560
135.04/139.45 c #Conflicts: 501000 | #Constraints: 53560
135.04/139.45 c #Conflicts: 502000 | #Constraints: 54560
135.04/139.45 c #Conflicts: 503000 | #Constraints: 55560
135.04/139.45 c #Conflicts: 504000 | #Constraints: 56560
135.04/139.45 c #Conflicts: 505000 | #Constraints: 57560
135.04/139.45 c #Conflicts: 506000 | #Constraints: 58560
135.04/139.45 c #Conflicts: 507000 | #Constraints: 59560
135.04/139.45 c #Conflicts: 508000 | #Constraints: 60560
135.04/139.45 c #Conflicts: 509000 | #Constraints: 61560
135.04/139.45 c #Conflicts: 510000 | #Constraints: 62560
135.04/139.45 c #Conflicts: 511000 | #Constraints: 63560
135.04/139.45 c #Conflicts: 512000 | #Constraints: 64560
135.04/139.45 c #Conflicts: 513000 | #Constraints: 65560
135.04/139.45 c #Conflicts: 514000 | #Constraints: 66561
135.04/139.45 c #Conflicts: 515000 | #Constraints: 67561
135.04/139.45 c #Conflicts: 516000 | #Constraints: 68561
135.04/139.45 c #Conflicts: 517000 | #Constraints: 69562
135.04/139.45 c bounds -33 >= -36 @ 131.885
136.64/141.07 c #Conflicts: 518000 | #Constraints: 70599
136.64/141.07 c #Conflicts: 519000 | #Constraints: 71651
136.64/141.07 c #Conflicts: 520000 | #Constraints: 72700
136.64/141.07 c #Conflicts: 521000 | #Constraints: 73739
136.64/141.07 c #Conflicts: 522000 | #Constraints: 74784
136.64/141.07 c #Conflicts: 523000 | #Constraints: 75829
136.64/141.07 c #Conflicts: 524000 | #Constraints: 76865
136.64/141.07 c INPROCESSING
136.64/141.07 c GARBAGE COLLECT
136.64/141.07 c rational objective -36
140.43/144.83 c #Conflicts: 525000 | #Constraints: 39701
140.43/144.83 c #Conflicts: 526000 | #Constraints: 40734
140.43/144.83 c #Conflicts: 527000 | #Constraints: 41782
140.43/144.83 c #Conflicts: 528000 | #Constraints: 42830
140.43/144.83 c #Conflicts: 529000 | #Constraints: 43878
140.43/144.83 c #Conflicts: 530000 | #Constraints: 44923
140.43/144.83 c #Conflicts: 531000 | #Constraints: 45965
140.43/144.83 c #Conflicts: 532000 | #Constraints: 47011
140.43/144.83 c #Conflicts: 533000 | #Constraints: 48050
140.43/144.83 c #Conflicts: 534000 | #Constraints: 49085
140.43/144.83 c #Conflicts: 535000 | #Constraints: 50116
140.43/144.83 c #Conflicts: 536000 | #Constraints: 51145
140.43/144.83 c #Conflicts: 537000 | #Constraints: 52173
140.43/144.83 c #Conflicts: 538000 | #Constraints: 53215
140.43/144.83 c #Conflicts: 539000 | #Constraints: 54254
140.43/144.83 c #Conflicts: 540000 | #Constraints: 55294
140.43/144.83 c INPROCESSING
140.43/144.83 c GARBAGE COLLECT
140.43/144.83 c rational objective -36
143.73/148.17 c #Conflicts: 541000 | #Constraints: 29280
143.73/148.17 c #Conflicts: 542000 | #Constraints: 30318
143.73/148.17 c #Conflicts: 543000 | #Constraints: 31355
143.73/148.17 c #Conflicts: 544000 | #Constraints: 32387
143.73/148.17 c #Conflicts: 545000 | #Constraints: 33422
143.73/148.17 c #Conflicts: 546000 | #Constraints: 34457
143.73/148.17 c #Conflicts: 547000 | #Constraints: 35493
143.73/148.17 c #Conflicts: 548000 | #Constraints: 36528
143.73/148.17 c #Conflicts: 549000 | #Constraints: 37574
143.73/148.17 c #Conflicts: 550000 | #Constraints: 38617
143.73/148.17 c #Conflicts: 551000 | #Constraints: 39663
143.73/148.17 c #Conflicts: 552000 | #Constraints: 40701
143.73/148.17 c #Conflicts: 553000 | #Constraints: 41750
143.73/148.17 c #Conflicts: 554000 | #Constraints: 42797
143.73/148.17 c #Conflicts: 555000 | #Constraints: 43845
143.73/148.17 c INPROCESSING
143.73/148.17 c GARBAGE COLLECT
143.73/148.17 c rational objective -36
147.21/151.67 c #Conflicts: 556000 | #Constraints: 23303
147.21/151.67 c #Conflicts: 557000 | #Constraints: 24339
147.21/151.67 c #Conflicts: 558000 | #Constraints: 25380
147.21/151.67 c #Conflicts: 559000 | #Constraints: 26405
147.21/151.67 c #Conflicts: 560000 | #Constraints: 27433
147.21/151.67 c #Conflicts: 561000 | #Constraints: 28463
147.21/151.67 c #Conflicts: 562000 | #Constraints: 29507
147.21/151.67 c #Conflicts: 563000 | #Constraints: 30556
147.21/151.67 c #Conflicts: 564000 | #Constraints: 31596
147.21/151.67 c #Conflicts: 565000 | #Constraints: 32651
147.21/151.67 c #Conflicts: 566000 | #Constraints: 33699
147.21/151.67 c #Conflicts: 567000 | #Constraints: 34742
147.21/151.67 c #Conflicts: 568000 | #Constraints: 35776
147.21/151.67 c #Conflicts: 569000 | #Constraints: 36817
147.21/151.67 c #Conflicts: 570000 | #Constraints: 37856
147.21/151.67 c #Conflicts: 571000 | #Constraints: 38900
147.21/151.67 c INPROCESSING
147.21/151.67 c GARBAGE COLLECT
147.21/151.67 c rational objective -36
151.40/155.85 c #Conflicts: 572000 | #Constraints: 20955
151.40/155.85 c #Conflicts: 573000 | #Constraints: 21956
151.40/155.85 c #Conflicts: 574000 | #Constraints: 22957
151.40/155.85 c #Conflicts: 575000 | #Constraints: 23957
151.40/155.85 c #Conflicts: 576000 | #Constraints: 24957
151.40/155.85 c #Conflicts: 577000 | #Constraints: 25958
151.40/155.85 c #Conflicts: 578000 | #Constraints: 26958
151.40/155.85 c #Conflicts: 579000 | #Constraints: 27959
151.40/155.85 c #Conflicts: 580000 | #Constraints: 28959
151.40/155.85 c #Conflicts: 581000 | #Constraints: 29960
151.40/155.85 c #Conflicts: 582000 | #Constraints: 30962
151.40/155.85 c #Conflicts: 583000 | #Constraints: 31963
151.40/155.85 c #Conflicts: 584000 | #Constraints: 32963
151.40/155.85 c #Conflicts: 585000 | #Constraints: 33964
151.40/155.85 c #Conflicts: 586000 | #Constraints: 34965
151.40/155.85 c #Conflicts: 587000 | #Constraints: 35966
151.40/155.85 c INPROCESSING
151.40/155.85 c GARBAGE COLLECT
151.40/155.85 c rational objective -36
155.48/159.93 c #Conflicts: 588000 | #Constraints: 19574
155.48/159.93 c #Conflicts: 589000 | #Constraints: 20627
155.48/159.93 c #Conflicts: 590000 | #Constraints: 21677
155.48/159.93 c #Conflicts: 591000 | #Constraints: 22733
155.48/159.93 c #Conflicts: 592000 | #Constraints: 23777
155.48/159.93 c #Conflicts: 593000 | #Constraints: 24823
155.48/159.93 c #Conflicts: 594000 | #Constraints: 25860
155.48/159.93 c #Conflicts: 595000 | #Constraints: 26900
155.48/159.93 c #Conflicts: 596000 | #Constraints: 27939
155.48/159.93 c #Conflicts: 597000 | #Constraints: 28986
155.48/159.93 c #Conflicts: 598000 | #Constraints: 30031
155.48/159.93 c #Conflicts: 599000 | #Constraints: 31077
155.48/159.93 c #Conflicts: 600000 | #Constraints: 32131
155.48/159.93 c #Conflicts: 601000 | #Constraints: 33175
155.48/159.93 c #Conflicts: 602000 | #Constraints: 34228
155.48/159.93 c #Conflicts: 603000 | #Constraints: 35268
155.48/159.93 c INPROCESSING
155.48/159.93 c GARBAGE COLLECT
155.48/159.93 c rational objective -36
159.38/163.92 c #Conflicts: 604000 | #Constraints: 19145
159.38/163.92 c #Conflicts: 605000 | #Constraints: 20148
159.38/163.92 c #Conflicts: 606000 | #Constraints: 21152
159.38/163.92 c #Conflicts: 607000 | #Constraints: 22154
159.38/163.92 c #Conflicts: 608000 | #Constraints: 23157
159.38/163.92 c #Conflicts: 609000 | #Constraints: 24159
159.38/163.92 c #Conflicts: 610000 | #Constraints: 25161
159.38/163.92 c #Conflicts: 611000 | #Constraints: 26162
159.38/163.92 c #Conflicts: 612000 | #Constraints: 27163
159.38/163.92 c #Conflicts: 613000 | #Constraints: 28168
159.38/163.92 c #Conflicts: 614000 | #Constraints: 29172
159.38/163.92 c #Conflicts: 615000 | #Constraints: 30175
159.38/163.92 c #Conflicts: 616000 | #Constraints: 31178
159.38/163.92 c #Conflicts: 617000 | #Constraints: 32179
159.38/163.92 c #Conflicts: 618000 | #Constraints: 33180
159.38/163.92 c #Conflicts: 619000 | #Constraints: 34181
159.38/163.92 c INPROCESSING
159.38/163.92 c GARBAGE COLLECT
159.38/163.92 c rational objective -36
163.07/167.68 c #Conflicts: 620000 | #Constraints: 18450
163.07/167.68 c #Conflicts: 621000 | #Constraints: 19451
163.07/167.68 c #Conflicts: 622000 | #Constraints: 20451
163.07/167.68 c #Conflicts: 623000 | #Constraints: 21452
163.07/167.68 c #Conflicts: 624000 | #Constraints: 22452
163.07/167.68 c #Conflicts: 625000 | #Constraints: 23452
163.07/167.68 c #Conflicts: 626000 | #Constraints: 24454
163.07/167.68 c #Conflicts: 627000 | #Constraints: 25454
163.07/167.68 c #Conflicts: 628000 | #Constraints: 26456
163.07/167.68 c #Conflicts: 629000 | #Constraints: 27457
163.07/167.68 c #Conflicts: 630000 | #Constraints: 28458
163.07/167.68 c #Conflicts: 631000 | #Constraints: 29458
163.07/167.68 c #Conflicts: 632000 | #Constraints: 30458
163.07/167.68 c #Conflicts: 633000 | #Constraints: 31460
163.07/167.68 c #Conflicts: 634000 | #Constraints: 32462
163.07/167.68 c #Conflicts: 635000 | #Constraints: 33463
163.07/167.68 c #Conflicts: 636000 | #Constraints: 34464
163.07/167.68 c INPROCESSING
163.07/167.68 c GARBAGE COLLECT
163.07/167.68 c rational objective -36
226.75/231.51 c #Conflicts: 637000 | #Constraints: 18894
226.75/231.51 c #Conflicts: 638000 | #Constraints: 19939
226.75/231.51 c #Conflicts: 639000 | #Constraints: 20987
226.75/231.51 c #Conflicts: 640000 | #Constraints: 22040
226.75/231.51 c #Conflicts: 641000 | #Constraints: 23084
226.75/231.51 c #Conflicts: 642000 | #Constraints: 24135
226.75/231.51 c #Conflicts: 643000 | #Constraints: 25179
226.75/231.51 c #Conflicts: 644000 | #Constraints: 26224
226.75/231.51 c #Conflicts: 645000 | #Constraints: 27270
226.75/231.51 c #Conflicts: 646000 | #Constraints: 28318
226.75/231.51 c #Conflicts: 647000 | #Constraints: 29362
226.75/231.51 c #Conflicts: 648000 | #Constraints: 30406
226.75/231.51 c #Conflicts: 649000 | #Constraints: 31448
226.75/231.51 c #Conflicts: 650000 | #Constraints: 32499
226.75/231.51 c #Conflicts: 651000 | #Constraints: 33552
226.75/231.51 c #Conflicts: 652000 | #Constraints: 34602
226.75/231.51 c #Conflicts: 653000 | #Constraints: 35649
226.75/231.51 c #Conflicts: 654000 | #Constraints: 36693
226.75/231.51 c #Conflicts: 655000 | #Constraints: 37741
226.75/231.51 c #Conflicts: 656000 | #Constraints: 38791
226.75/231.51 c #Conflicts: 657000 | #Constraints: 39833
226.75/231.51 c #Conflicts: 658000 | #Constraints: 40877
226.75/231.51 c #Conflicts: 659000 | #Constraints: 41929
226.75/231.51 c #Conflicts: 660000 | #Constraints: 42978
226.75/231.51 c #Conflicts: 661000 | #Constraints: 44017
226.75/231.51 c #Conflicts: 662000 | #Constraints: 45064
226.75/231.51 c #Conflicts: 663000 | #Constraints: 46098
226.75/231.51 c #Conflicts: 664000 | #Constraints: 47141
226.75/231.51 c #Conflicts: 665000 | #Constraints: 48177
226.75/231.51 c #Conflicts: 666000 | #Constraints: 49219
226.75/231.51 c #Conflicts: 667000 | #Constraints: 50267
226.75/231.51 c #Conflicts: 668000 | #Constraints: 51326
226.75/231.51 c #Conflicts: 669000 | #Constraints: 52368
226.75/231.51 c #Conflicts: 670000 | #Constraints: 53401
226.75/231.51 c #Conflicts: 671000 | #Constraints: 54445
226.75/231.51 c #Conflicts: 672000 | #Constraints: 55491
226.75/231.51 c #Conflicts: 673000 | #Constraints: 56528
226.75/231.51 c #Conflicts: 674000 | #Constraints: 57565
226.75/231.51 c #Conflicts: 675000 | #Constraints: 58599
226.75/231.51 c #Conflicts: 676000 | #Constraints: 59629
226.75/231.51 c #Conflicts: 677000 | #Constraints: 60657
226.75/231.51 c #Conflicts: 678000 | #Constraints: 61690
226.75/231.51 c #Conflicts: 679000 | #Constraints: 62734
226.75/231.51 c #Conflicts: 680000 | #Constraints: 63773
226.75/231.51 c #Conflicts: 681000 | #Constraints: 64807
226.75/231.51 c #Conflicts: 682000 | #Constraints: 65853
226.75/231.51 c #Conflicts: 683000 | #Constraints: 66899
226.75/231.51 c #Conflicts: 684000 | #Constraints: 67938
226.75/231.51 c #Conflicts: 685000 | #Constraints: 68965
226.75/231.51 c #Conflicts: 686000 | #Constraints: 69996
226.75/231.51 c #Conflicts: 687000 | #Constraints: 71031
226.75/231.51 c #Conflicts: 688000 | #Constraints: 72065
226.75/231.51 c #Conflicts: 689000 | #Constraints: 73092
226.75/231.51 c #Conflicts: 690000 | #Constraints: 74112
226.75/231.51 c #Conflicts: 691000 | #Constraints: 75142
226.75/231.51 c #Conflicts: 692000 | #Constraints: 76174
226.75/231.51 c #Conflicts: 693000 | #Constraints: 77197
226.75/231.51 c #Conflicts: 694000 | #Constraints: 78229
226.75/231.51 c #Conflicts: 695000 | #Constraints: 79270
226.75/231.51 c #Conflicts: 696000 | #Constraints: 80312
226.75/231.51 c #Conflicts: 697000 | #Constraints: 81357
226.75/231.51 c #Conflicts: 698000 | #Constraints: 82399
226.75/231.51 c #Conflicts: 699000 | #Constraints: 83445
226.75/231.51 c #Conflicts: 700000 | #Constraints: 84494
226.75/231.51 c #Conflicts: 701000 | #Constraints: 85544
226.75/231.51 c #Conflicts: 702000 | #Constraints: 86598
226.75/231.51 c #Conflicts: 703000 | #Constraints: 87639
226.75/231.51 c #Conflicts: 704000 | #Constraints: 88684
226.75/231.51 c #Conflicts: 705000 | #Constraints: 89734
226.75/231.51 c #Conflicts: 706000 | #Constraints: 90777
226.75/231.51 c #Conflicts: 707000 | #Constraints: 91822
226.75/231.51 c INPROCESSING
226.75/231.51 c GARBAGE COLLECT
226.75/231.51 c rational objective -36
249.14/254.01 c #Conflicts: 708000 | #Constraints: 47224
249.14/254.01 c #Conflicts: 709000 | #Constraints: 48224
249.14/254.01 c #Conflicts: 710000 | #Constraints: 49225
249.14/254.01 c #Conflicts: 711000 | #Constraints: 50229
249.14/254.01 c #Conflicts: 712000 | #Constraints: 51236
249.14/254.01 c #Conflicts: 713000 | #Constraints: 52237
249.14/254.01 c #Conflicts: 714000 | #Constraints: 53237
249.14/254.01 c #Conflicts: 715000 | #Constraints: 54238
249.14/254.01 c #Conflicts: 716000 | #Constraints: 55238
249.14/254.01 c #Conflicts: 717000 | #Constraints: 56239
249.14/254.01 c #Conflicts: 718000 | #Constraints: 57240
249.14/254.01 c #Conflicts: 719000 | #Constraints: 58240
249.14/254.01 c #Conflicts: 720000 | #Constraints: 59240
249.14/254.01 c #Conflicts: 721000 | #Constraints: 60240
249.14/254.01 c #Conflicts: 722000 | #Constraints: 61241
249.14/254.01 c #Conflicts: 723000 | #Constraints: 62243
249.14/254.01 c #Conflicts: 724000 | #Constraints: 63244
249.14/254.01 c #Conflicts: 725000 | #Constraints: 64244
249.14/254.01 c INPROCESSING
249.14/254.01 c GARBAGE COLLECT
249.14/254.01 c rational objective -36
259.41/264.33 c #Conflicts: 726000 | #Constraints: 33533
259.41/264.33 c #Conflicts: 727000 | #Constraints: 34534
259.41/264.33 c #Conflicts: 728000 | #Constraints: 35535
259.41/264.33 c #Conflicts: 729000 | #Constraints: 36535
259.41/264.33 c #Conflicts: 730000 | #Constraints: 37535
259.41/264.33 c #Conflicts: 731000 | #Constraints: 38537
259.41/264.33 c #Conflicts: 732000 | #Constraints: 39538
259.41/264.33 c #Conflicts: 733000 | #Constraints: 40539
259.41/264.33 c #Conflicts: 734000 | #Constraints: 41539
259.41/264.33 c #Conflicts: 735000 | #Constraints: 42539
259.41/264.33 c #Conflicts: 736000 | #Constraints: 43539
259.41/264.33 c #Conflicts: 737000 | #Constraints: 44539
259.41/264.33 c #Conflicts: 738000 | #Constraints: 45539
259.41/264.33 c #Conflicts: 739000 | #Constraints: 46539
259.41/264.33 c #Conflicts: 740000 | #Constraints: 47539
259.41/264.33 c #Conflicts: 741000 | #Constraints: 48540
259.41/264.33 c #Conflicts: 742000 | #Constraints: 49540
259.41/264.33 c #Conflicts: 743000 | #Constraints: 50540
259.41/264.33 c INPROCESSING
259.41/264.33 c GARBAGE COLLECT
259.41/264.33 c rational objective -36
265.32/270.32 c #Conflicts: 744000 | #Constraints: 26676
265.32/270.32 c #Conflicts: 745000 | #Constraints: 27676
265.32/270.32 c #Conflicts: 746000 | #Constraints: 28677
265.32/270.32 c #Conflicts: 747000 | #Constraints: 29678
265.32/270.32 c #Conflicts: 748000 | #Constraints: 30678
265.32/270.32 c #Conflicts: 749000 | #Constraints: 31680
265.32/270.32 c #Conflicts: 750000 | #Constraints: 32681
265.32/270.32 c #Conflicts: 751000 | #Constraints: 33682
265.32/270.32 c #Conflicts: 752000 | #Constraints: 34682
265.32/270.32 c #Conflicts: 753000 | #Constraints: 35683
265.32/270.32 c #Conflicts: 754000 | #Constraints: 36684
265.32/270.32 c #Conflicts: 755000 | #Constraints: 37686
265.32/270.32 c #Conflicts: 756000 | #Constraints: 38687
265.32/270.32 c #Conflicts: 757000 | #Constraints: 39688
265.32/270.32 c #Conflicts: 758000 | #Constraints: 40688
265.32/270.32 c #Conflicts: 759000 | #Constraints: 41690
265.32/270.32 c #Conflicts: 760000 | #Constraints: 42691
265.32/270.32 c #Conflicts: 761000 | #Constraints: 43691
265.32/270.32 c INPROCESSING
265.32/270.32 c GARBAGE COLLECT
265.32/270.32 c rational objective -36
270.20/275.22 c #Conflicts: 762000 | #Constraints: 23155
270.20/275.22 c #Conflicts: 763000 | #Constraints: 24156
270.20/275.22 c #Conflicts: 764000 | #Constraints: 25156
270.20/275.22 c #Conflicts: 765000 | #Constraints: 26156
270.20/275.22 c #Conflicts: 766000 | #Constraints: 27158
270.20/275.22 c #Conflicts: 767000 | #Constraints: 28159
270.20/275.22 c #Conflicts: 768000 | #Constraints: 29160
270.20/275.22 c #Conflicts: 769000 | #Constraints: 30162
270.20/275.22 c #Conflicts: 770000 | #Constraints: 31163
270.20/275.22 c #Conflicts: 771000 | #Constraints: 32166
270.20/275.22 c #Conflicts: 772000 | #Constraints: 33168
270.20/275.22 c #Conflicts: 773000 | #Constraints: 34168
270.20/275.22 c #Conflicts: 774000 | #Constraints: 35170
270.20/275.22 c #Conflicts: 775000 | #Constraints: 36171
270.20/275.22 c #Conflicts: 776000 | #Constraints: 37171
270.20/275.22 c #Conflicts: 777000 | #Constraints: 38171
270.20/275.22 c #Conflicts: 778000 | #Constraints: 39171
270.20/275.22 c #Conflicts: 779000 | #Constraints: 40171
270.20/275.22 c #Conflicts: 780000 | #Constraints: 41172
270.20/275.22 c INPROCESSING
270.20/275.22 c GARBAGE COLLECT
270.20/275.22 c rational objective -36
275.09/280.12 c #Conflicts: 781000 | #Constraints: 22195
275.09/280.12 c #Conflicts: 782000 | #Constraints: 23199
275.09/280.12 c #Conflicts: 783000 | #Constraints: 24201
275.09/280.12 c #Conflicts: 784000 | #Constraints: 25204
275.09/280.12 c #Conflicts: 785000 | #Constraints: 26205
275.09/280.12 c #Conflicts: 786000 | #Constraints: 27207
275.09/280.12 c #Conflicts: 787000 | #Constraints: 28208
275.09/280.12 c #Conflicts: 788000 | #Constraints: 29210
275.09/280.12 c #Conflicts: 789000 | #Constraints: 30210
275.09/280.12 c #Conflicts: 790000 | #Constraints: 31212
275.09/280.12 c #Conflicts: 791000 | #Constraints: 32213
275.09/280.12 c #Conflicts: 792000 | #Constraints: 33215
275.09/280.12 c #Conflicts: 793000 | #Constraints: 34215
275.09/280.12 c #Conflicts: 794000 | #Constraints: 35216
275.09/280.12 c #Conflicts: 795000 | #Constraints: 36216
275.09/280.12 c #Conflicts: 796000 | #Constraints: 37216
275.09/280.12 c #Conflicts: 797000 | #Constraints: 38216
275.09/280.12 c #Conflicts: 798000 | #Constraints: 39216
275.09/280.12 c INPROCESSING
275.09/280.12 c GARBAGE COLLECT
275.09/280.12 c rational objective -36
279.77/284.85 c #Conflicts: 799000 | #Constraints: 20924
279.77/284.85 c #Conflicts: 800000 | #Constraints: 21926
279.77/284.85 c #Conflicts: 801000 | #Constraints: 22926
279.77/284.85 c #Conflicts: 802000 | #Constraints: 23927
279.77/284.85 c #Conflicts: 803000 | #Constraints: 24928
279.77/284.85 c #Conflicts: 804000 | #Constraints: 25928
279.77/284.85 c #Conflicts: 805000 | #Constraints: 26929
279.77/284.85 c #Conflicts: 806000 | #Constraints: 27929
279.77/284.85 c #Conflicts: 807000 | #Constraints: 28929
279.77/284.85 c #Conflicts: 808000 | #Constraints: 29929
279.77/284.85 c #Conflicts: 809000 | #Constraints: 30930
279.77/284.85 c #Conflicts: 810000 | #Constraints: 31933
279.77/284.85 c #Conflicts: 811000 | #Constraints: 32934
279.77/284.85 c #Conflicts: 812000 | #Constraints: 33935
279.77/284.85 c #Conflicts: 813000 | #Constraints: 34937
279.77/284.85 c #Conflicts: 814000 | #Constraints: 35937
279.77/284.85 c #Conflicts: 815000 | #Constraints: 36937
279.77/284.85 c #Conflicts: 816000 | #Constraints: 37938
279.77/284.85 c #Conflicts: 817000 | #Constraints: 38938
279.77/284.85 c INPROCESSING
279.77/284.85 c GARBAGE COLLECT
279.77/284.85 c rational objective -36
314.59/320.29 c #Conflicts: 818000 | #Constraints: 20881
314.59/320.29 c #Conflicts: 819000 | #Constraints: 21881
314.59/320.29 c #Conflicts: 820000 | #Constraints: 22882
314.59/320.29 c #Conflicts: 821000 | #Constraints: 23884
314.59/320.29 c #Conflicts: 822000 | #Constraints: 24885
314.59/320.29 c #Conflicts: 823000 | #Constraints: 25886
314.59/320.29 c #Conflicts: 824000 | #Constraints: 26886
314.59/320.29 c #Conflicts: 825000 | #Constraints: 27887
314.59/320.29 c #Conflicts: 826000 | #Constraints: 28891
314.59/320.29 c #Conflicts: 827000 | #Constraints: 29892
314.59/320.29 c #Conflicts: 828000 | #Constraints: 30895
314.59/320.29 c #Conflicts: 829000 | #Constraints: 31896
314.59/320.29 c #Conflicts: 830000 | #Constraints: 32897
314.59/320.29 c #Conflicts: 831000 | #Constraints: 33898
314.59/320.29 c #Conflicts: 832000 | #Constraints: 34899
314.59/320.29 c #Conflicts: 833000 | #Constraints: 35900
314.59/320.29 c #Conflicts: 834000 | #Constraints: 36900
314.59/320.29 c #Conflicts: 835000 | #Constraints: 37900
314.59/320.29 c #Conflicts: 836000 | #Constraints: 38901
314.59/320.29 c #Conflicts: 837000 | #Constraints: 39901
314.59/320.29 c #Conflicts: 838000 | #Constraints: 40901
314.59/320.29 c #Conflicts: 839000 | #Constraints: 41903
314.59/320.29 c #Conflicts: 840000 | #Constraints: 42904
314.59/320.29 c #Conflicts: 841000 | #Constraints: 43904
314.59/320.29 c #Conflicts: 842000 | #Constraints: 44905
314.59/320.29 c #Conflicts: 843000 | #Constraints: 45907
314.59/320.29 c #Conflicts: 844000 | #Constraints: 46907
314.59/320.29 c #Conflicts: 845000 | #Constraints: 47907
314.59/320.29 c #Conflicts: 846000 | #Constraints: 48907
314.59/320.29 c #Conflicts: 847000 | #Constraints: 49907
314.59/320.29 c #Conflicts: 848000 | #Constraints: 50907
314.59/320.29 c #Conflicts: 849000 | #Constraints: 51908
314.59/320.29 c #Conflicts: 850000 | #Constraints: 52908
314.59/320.29 c #Conflicts: 851000 | #Constraints: 53910
314.59/320.29 c #Conflicts: 852000 | #Constraints: 54910
314.59/320.29 c #Conflicts: 853000 | #Constraints: 55910
314.59/320.29 c #Conflicts: 854000 | #Constraints: 56911
314.59/320.29 c #Conflicts: 855000 | #Constraints: 57911
314.59/320.29 c #Conflicts: 856000 | #Constraints: 58913
314.59/320.29 c #Conflicts: 857000 | #Constraints: 59915
314.59/320.29 c #Conflicts: 858000 | #Constraints: 60917
314.59/320.29 c #Conflicts: 859000 | #Constraints: 61918
314.59/320.29 c #Conflicts: 860000 | #Constraints: 62918
314.59/320.29 c #Conflicts: 861000 | #Constraints: 63918
314.59/320.29 c #Conflicts: 862000 | #Constraints: 64918
314.59/320.29 c #Conflicts: 863000 | #Constraints: 65918
314.59/320.29 c #Conflicts: 864000 | #Constraints: 66918
314.59/320.29 c #Conflicts: 865000 | #Constraints: 67918
314.59/320.29 c #Conflicts: 866000 | #Constraints: 68918
314.59/320.29 c #Conflicts: 867000 | #Constraints: 69918
314.59/320.29 c #Conflicts: 868000 | #Constraints: 70918
314.59/320.29 c #Conflicts: 869000 | #Constraints: 71918
314.59/320.29 c #Conflicts: 870000 | #Constraints: 72918
314.59/320.29 c #Conflicts: 871000 | #Constraints: 73918
314.59/320.29 c #Conflicts: 872000 | #Constraints: 74918
314.59/320.29 c #Conflicts: 873000 | #Constraints: 75918
314.59/320.29 c #Conflicts: 874000 | #Constraints: 76918
314.59/320.29 c #Conflicts: 875000 | #Constraints: 77918
314.59/320.29 c #Conflicts: 876000 | #Constraints: 78918
314.59/320.29 c #Conflicts: 877000 | #Constraints: 79919
314.59/320.29 c #Conflicts: 878000 | #Constraints: 80919
314.59/320.29 c #Conflicts: 879000 | #Constraints: 81919
314.59/320.29 c #Conflicts: 880000 | #Constraints: 82919
314.59/320.29 c #Conflicts: 881000 | #Constraints: 83919
314.59/320.29 c #Conflicts: 882000 | #Constraints: 84919
314.59/320.29 c #Conflicts: 883000 | #Constraints: 85919
314.59/320.29 c #Conflicts: 884000 | #Constraints: 86920
314.59/320.29 c #Conflicts: 885000 | #Constraints: 87921
314.59/320.29 c #Conflicts: 886000 | #Constraints: 88921
314.59/320.29 c #Conflicts: 887000 | #Constraints: 89923
314.59/320.29 c #Conflicts: 888000 | #Constraints: 90923
314.59/320.29 c #Conflicts: 889000 | #Constraints: 91924
314.59/320.29 c #Conflicts: 890000 | #Constraints: 92924
314.59/320.29 c #Conflicts: 891000 | #Constraints: 93924
314.59/320.29 c #Conflicts: 892000 | #Constraints: 94924
314.59/320.29 c #Conflicts: 893000 | #Constraints: 95924
314.59/320.29 c #Conflicts: 894000 | #Constraints: 96925
314.59/320.29 c #Conflicts: 895000 | #Constraints: 97925
314.59/320.29 c #Conflicts: 896000 | #Constraints: 98927
315.88/321.57 c #Conflicts: 897000 | #Constraints: 99928
315.88/321.57 c INPROCESSING
315.88/321.57 c GARBAGE COLLECT
315.88/321.57 c rational objective -36
322.67/328.35 c #Conflicts: 898000 | #Constraints: 51287
322.67/328.35 c #Conflicts: 899000 | #Constraints: 52338
322.67/328.35 c #Conflicts: 900000 | #Constraints: 53383
322.67/328.35 c #Conflicts: 901000 | #Constraints: 54430
322.67/328.35 c #Conflicts: 902000 | #Constraints: 55481
322.67/328.35 c #Conflicts: 903000 | #Constraints: 56531
322.67/328.35 c #Conflicts: 904000 | #Constraints: 57570
322.67/328.35 c #Conflicts: 905000 | #Constraints: 58615
322.67/328.35 c #Conflicts: 906000 | #Constraints: 59662
322.67/328.35 c #Conflicts: 907000 | #Constraints: 60714
322.67/328.35 c #Conflicts: 908000 | #Constraints: 61761
322.67/328.35 c #Conflicts: 909000 | #Constraints: 62803
322.67/328.35 c #Conflicts: 910000 | #Constraints: 63850
322.67/328.35 c #Conflicts: 911000 | #Constraints: 64896
322.67/328.35 c #Conflicts: 912000 | #Constraints: 65925
322.67/328.35 c #Conflicts: 913000 | #Constraints: 66961
322.67/328.35 c #Conflicts: 914000 | #Constraints: 68007
322.67/328.35 c #Conflicts: 915000 | #Constraints: 69045
322.67/328.35 c #Conflicts: 916000 | #Constraints: 70079
322.67/328.35 c #Conflicts: 917000 | #Constraints: 71122
322.67/328.35 c INPROCESSING
322.67/328.35 c GARBAGE COLLECT
322.67/328.35 c rational objective -36
331.24/336.93 c #Conflicts: 918000 | #Constraints: 36837
331.24/336.93 c #Conflicts: 919000 | #Constraints: 37847
331.24/336.93 c #Conflicts: 920000 | #Constraints: 38848
331.24/336.93 c #Conflicts: 921000 | #Constraints: 39849
331.24/336.93 c #Conflicts: 922000 | #Constraints: 40850
331.24/336.93 c #Conflicts: 923000 | #Constraints: 41851
331.24/336.93 c #Conflicts: 924000 | #Constraints: 42851
331.24/336.93 c #Conflicts: 925000 | #Constraints: 43851
331.24/336.93 c #Conflicts: 926000 | #Constraints: 44851
331.24/336.93 c #Conflicts: 927000 | #Constraints: 45851
331.24/336.93 c #Conflicts: 928000 | #Constraints: 46856
331.24/336.93 c #Conflicts: 929000 | #Constraints: 47856
331.24/336.93 c #Conflicts: 930000 | #Constraints: 48856
331.24/336.93 c #Conflicts: 931000 | #Constraints: 49856
331.24/336.93 c #Conflicts: 932000 | #Constraints: 50856
331.24/336.93 c #Conflicts: 933000 | #Constraints: 51856
331.24/336.93 c #Conflicts: 934000 | #Constraints: 52858
331.24/336.93 c #Conflicts: 935000 | #Constraints: 53858
331.24/336.93 c #Conflicts: 936000 | #Constraints: 54859
331.24/336.93 c #Conflicts: 937000 | #Constraints: 55859
331.24/336.93 c #Conflicts: 938000 | #Constraints: 56861
331.24/336.93 c INPROCESSING
331.24/336.93 c GARBAGE COLLECT
331.24/336.93 c rational objective -36
337.42/343.19 c #Conflicts: 939000 | #Constraints: 30083
337.42/343.19 c #Conflicts: 940000 | #Constraints: 31116
337.42/343.19 c #Conflicts: 941000 | #Constraints: 32161
337.42/343.19 c #Conflicts: 942000 | #Constraints: 33199
337.42/343.19 c #Conflicts: 943000 | #Constraints: 34233
337.42/343.19 c #Conflicts: 944000 | #Constraints: 35284
337.42/343.19 c #Conflicts: 945000 | #Constraints: 36327
337.42/343.19 c #Conflicts: 946000 | #Constraints: 37371
337.42/343.19 c #Conflicts: 947000 | #Constraints: 38411
337.42/343.19 c #Conflicts: 948000 | #Constraints: 39451
337.42/343.19 c #Conflicts: 949000 | #Constraints: 40494
337.42/343.19 c #Conflicts: 950000 | #Constraints: 41540
337.42/343.19 c #Conflicts: 951000 | #Constraints: 42584
337.42/343.19 c #Conflicts: 952000 | #Constraints: 43636
337.42/343.19 c #Conflicts: 953000 | #Constraints: 44683
337.42/343.19 c #Conflicts: 954000 | #Constraints: 45730
337.42/343.19 c #Conflicts: 955000 | #Constraints: 46773
337.42/343.19 c #Conflicts: 956000 | #Constraints: 47824
337.42/343.19 c #Conflicts: 957000 | #Constraints: 48875
337.42/343.19 c #Conflicts: 958000 | #Constraints: 49927
337.42/343.19 c INPROCESSING
337.42/343.19 c GARBAGE COLLECT
337.42/343.19 c rational objective -36
343.67/349.42 c #Conflicts: 959000 | #Constraints: 26332
343.67/349.42 c #Conflicts: 960000 | #Constraints: 27336
343.67/349.42 c #Conflicts: 961000 | #Constraints: 28337
343.67/349.42 c #Conflicts: 962000 | #Constraints: 29338
343.67/349.42 c #Conflicts: 963000 | #Constraints: 30339
343.67/349.42 c #Conflicts: 964000 | #Constraints: 31341
343.67/349.42 c #Conflicts: 965000 | #Constraints: 32345
343.67/349.42 c #Conflicts: 966000 | #Constraints: 33345
343.67/349.42 c #Conflicts: 967000 | #Constraints: 34347
343.67/349.42 c #Conflicts: 968000 | #Constraints: 35349
343.67/349.42 c #Conflicts: 969000 | #Constraints: 36350
343.67/349.42 c #Conflicts: 970000 | #Constraints: 37351
343.67/349.42 c #Conflicts: 971000 | #Constraints: 38353
343.67/349.42 c #Conflicts: 972000 | #Constraints: 39354
343.67/349.42 c #Conflicts: 973000 | #Constraints: 40356
343.67/349.42 c #Conflicts: 974000 | #Constraints: 41356
343.67/349.42 c #Conflicts: 975000 | #Constraints: 42357
343.67/349.42 c #Conflicts: 976000 | #Constraints: 43358
343.67/349.42 c #Conflicts: 977000 | #Constraints: 44359
343.67/349.42 c #Conflicts: 978000 | #Constraints: 45361
343.67/349.42 c #Conflicts: 979000 | #Constraints: 46362
343.67/349.42 c INPROCESSING
343.67/349.42 c GARBAGE COLLECT
343.67/349.42 c rational objective -36
350.86/356.60 c #Conflicts: 980000 | #Constraints: 24683
350.86/356.60 c #Conflicts: 981000 | #Constraints: 25700
350.86/356.60 c #Conflicts: 982000 | #Constraints: 26734
350.86/356.60 c #Conflicts: 983000 | #Constraints: 27767
350.86/356.60 c #Conflicts: 984000 | #Constraints: 28802
350.86/356.60 c #Conflicts: 985000 | #Constraints: 29839
350.86/356.60 c #Conflicts: 986000 | #Constraints: 30878
350.86/356.60 c #Conflicts: 987000 | #Constraints: 31918
350.86/356.60 c #Conflicts: 988000 | #Constraints: 32960
350.86/356.60 c #Conflicts: 989000 | #Constraints: 34010
350.86/356.60 c #Conflicts: 990000 | #Constraints: 35053
350.86/356.60 c #Conflicts: 991000 | #Constraints: 36090
350.86/356.60 c #Conflicts: 992000 | #Constraints: 37131
350.86/356.60 c #Conflicts: 993000 | #Constraints: 38171
350.86/356.60 c #Conflicts: 994000 | #Constraints: 39207
350.86/356.60 c #Conflicts: 995000 | #Constraints: 40242
350.86/356.60 c #Conflicts: 996000 | #Constraints: 41282
350.86/356.60 c #Conflicts: 997000 | #Constraints: 42319
350.86/356.60 c #Conflicts: 998000 | #Constraints: 43367
350.86/356.60 c #Conflicts: 999000 | #Constraints: 44404
350.86/356.60 c #Conflicts: 1000000 | #Constraints: 45440
350.86/356.60 c INPROCESSING
350.86/356.60 c GARBAGE COLLECT
350.86/356.60 c rational objective -36
356.54/362.35 c #Conflicts: 1001000 | #Constraints: 24271
356.54/362.35 c #Conflicts: 1002000 | #Constraints: 25275
356.54/362.35 c #Conflicts: 1003000 | #Constraints: 26281
356.54/362.35 c #Conflicts: 1004000 | #Constraints: 27281
356.54/362.35 c #Conflicts: 1005000 | #Constraints: 28285
356.54/362.35 c #Conflicts: 1006000 | #Constraints: 29288
356.54/362.35 c #Conflicts: 1007000 | #Constraints: 30289
356.54/362.35 c #Conflicts: 1008000 | #Constraints: 31293
356.54/362.35 c #Conflicts: 1009000 | #Constraints: 32295
356.54/362.35 c #Conflicts: 1010000 | #Constraints: 33295
356.54/362.35 c #Conflicts: 1011000 | #Constraints: 34295
356.54/362.35 c #Conflicts: 1012000 | #Constraints: 35295
356.54/362.35 c #Conflicts: 1013000 | #Constraints: 36296
356.54/362.35 c #Conflicts: 1014000 | #Constraints: 37296
356.54/362.35 c #Conflicts: 1015000 | #Constraints: 38296
356.54/362.35 c #Conflicts: 1016000 | #Constraints: 39297
356.54/362.35 c #Conflicts: 1017000 | #Constraints: 40297
356.54/362.35 c #Conflicts: 1018000 | #Constraints: 41299
356.54/362.35 c #Conflicts: 1019000 | #Constraints: 42299
356.54/362.35 c #Conflicts: 1020000 | #Constraints: 43300
356.54/362.35 c #Conflicts: 1021000 | #Constraints: 44302
356.54/362.35 c INPROCESSING
356.54/362.35 c GARBAGE COLLECT
356.54/362.35 c rational objective -36
388.55/394.53 c #Conflicts: 1022000 | #Constraints: 23661
388.55/394.53 c #Conflicts: 1023000 | #Constraints: 24661
388.55/394.53 c #Conflicts: 1024000 | #Constraints: 25661
388.55/394.53 c #Conflicts: 1025000 | #Constraints: 26661
388.55/394.53 c #Conflicts: 1026000 | #Constraints: 27661
388.55/394.53 c #Conflicts: 1027000 | #Constraints: 28663
388.55/394.53 c #Conflicts: 1028000 | #Constraints: 29664
388.55/394.53 c #Conflicts: 1029000 | #Constraints: 30665
388.55/394.53 c #Conflicts: 1030000 | #Constraints: 31666
388.55/394.53 c #Conflicts: 1031000 | #Constraints: 32666
388.55/394.53 c #Conflicts: 1032000 | #Constraints: 33667
388.55/394.53 c #Conflicts: 1033000 | #Constraints: 34667
388.55/394.53 c #Conflicts: 1034000 | #Constraints: 35667
388.55/394.53 c #Conflicts: 1035000 | #Constraints: 36667
388.55/394.53 c #Conflicts: 1036000 | #Constraints: 37667
388.55/394.53 c #Conflicts: 1037000 | #Constraints: 38667
388.55/394.53 c #Conflicts: 1038000 | #Constraints: 39669
388.55/394.53 c #Conflicts: 1039000 | #Constraints: 40671
388.55/394.53 c #Conflicts: 1040000 | #Constraints: 41672
388.55/394.53 c #Conflicts: 1041000 | #Constraints: 42672
388.55/394.53 c #Conflicts: 1042000 | #Constraints: 43674
388.55/394.53 c #Conflicts: 1043000 | #Constraints: 44674
388.55/394.53 c #Conflicts: 1044000 | #Constraints: 45674
388.55/394.53 c #Conflicts: 1045000 | #Constraints: 46674
388.55/394.53 c #Conflicts: 1046000 | #Constraints: 47674
388.55/394.53 c #Conflicts: 1047000 | #Constraints: 48674
388.55/394.53 c #Conflicts: 1048000 | #Constraints: 49674
388.55/394.53 c #Conflicts: 1049000 | #Constraints: 50674
388.55/394.53 c #Conflicts: 1050000 | #Constraints: 51674
388.55/394.53 c #Conflicts: 1051000 | #Constraints: 52674
388.55/394.53 c #Conflicts: 1052000 | #Constraints: 53677
388.55/394.53 c #Conflicts: 1053000 | #Constraints: 54677
388.55/394.53 c #Conflicts: 1054000 | #Constraints: 55677
388.55/394.53 c #Conflicts: 1055000 | #Constraints: 56677
388.55/394.53 c #Conflicts: 1056000 | #Constraints: 57677
388.55/394.53 c #Conflicts: 1057000 | #Constraints: 58677
388.55/394.53 c #Conflicts: 1058000 | #Constraints: 59678
388.55/394.53 c #Conflicts: 1059000 | #Constraints: 60679
388.55/394.53 c #Conflicts: 1060000 | #Constraints: 61680
388.55/394.53 c #Conflicts: 1061000 | #Constraints: 62680
388.55/394.53 c #Conflicts: 1062000 | #Constraints: 63681
388.55/394.53 c #Conflicts: 1063000 | #Constraints: 64681
388.55/394.53 c #Conflicts: 1064000 | #Constraints: 65681
388.55/394.53 c #Conflicts: 1065000 | #Constraints: 66681
388.55/394.53 c #Conflicts: 1066000 | #Constraints: 67684
388.55/394.53 c #Conflicts: 1067000 | #Constraints: 68684
388.55/394.53 c #Conflicts: 1068000 | #Constraints: 69684
388.55/394.53 c #Conflicts: 1069000 | #Constraints: 70684
388.55/394.53 c #Conflicts: 1070000 | #Constraints: 71684
388.55/394.53 c #Conflicts: 1071000 | #Constraints: 72684
388.55/394.53 c #Conflicts: 1072000 | #Constraints: 73684
388.55/394.53 c #Conflicts: 1073000 | #Constraints: 74685
388.55/394.53 c #Conflicts: 1074000 | #Constraints: 75685
388.55/394.53 c #Conflicts: 1075000 | #Constraints: 76685
388.55/394.53 c #Conflicts: 1076000 | #Constraints: 77685
388.55/394.53 c #Conflicts: 1077000 | #Constraints: 78685
388.55/394.53 c #Conflicts: 1078000 | #Constraints: 79687
388.55/394.53 c #Conflicts: 1079000 | #Constraints: 80687
388.55/394.53 c #Conflicts: 1080000 | #Constraints: 81687
388.55/394.53 c #Conflicts: 1081000 | #Constraints: 82687
388.55/394.53 c #Conflicts: 1082000 | #Constraints: 83687
388.55/394.53 c #Conflicts: 1083000 | #Constraints: 84688
388.55/394.53 c #Conflicts: 1084000 | #Constraints: 85688
388.55/394.53 c #Conflicts: 1085000 | #Constraints: 86689
388.55/394.53 c #Conflicts: 1086000 | #Constraints: 87690
388.55/394.53 c #Conflicts: 1087000 | #Constraints: 88690
388.55/394.53 c #Conflicts: 1088000 | #Constraints: 89690
388.55/394.53 c #Conflicts: 1089000 | #Constraints: 90690
388.55/394.53 c #Conflicts: 1090000 | #Constraints: 91692
388.55/394.53 c #Conflicts: 1091000 | #Constraints: 92692
388.55/394.53 c #Conflicts: 1092000 | #Constraints: 93692
388.55/394.53 c #Conflicts: 1093000 | #Constraints: 94692
388.55/394.53 c #Conflicts: 1094000 | #Constraints: 95692
388.55/394.53 c #Conflicts: 1095000 | #Constraints: 96692
388.55/394.53 c #Conflicts: 1096000 | #Constraints: 97692
388.55/394.53 c #Conflicts: 1097000 | #Constraints: 98693
388.55/394.53 c #Conflicts: 1098000 | #Constraints: 99696
388.55/394.53 c #Conflicts: 1099000 | #Constraints: 100697
388.55/394.53 c #Conflicts: 1100000 | #Constraints: 101697
394.83/400.86 c #Conflicts: 1101000 | #Constraints: 102697
394.83/400.86 c #Conflicts: 1102000 | #Constraints: 103697
394.83/400.86 c #Conflicts: 1103000 | #Constraints: 104697
394.83/400.86 c #Conflicts: 1104000 | #Constraints: 105697
394.83/400.86 c #Conflicts: 1105000 | #Constraints: 106697
394.83/400.86 c #Conflicts: 1106000 | #Constraints: 107697
394.83/400.86 c #Conflicts: 1107000 | #Constraints: 108697
394.83/400.86 c #Conflicts: 1108000 | #Constraints: 109697
394.83/400.86 c #Conflicts: 1109000 | #Constraints: 110697
394.83/400.86 c #Conflicts: 1110000 | #Constraints: 111697
394.83/400.86 c INPROCESSING
394.83/400.86 c GARBAGE COLLECT
394.83/400.86 c rational objective -36
402.01/408.02 c #Conflicts: 1111000 | #Constraints: 57485
402.01/408.02 c #Conflicts: 1112000 | #Constraints: 58528
402.01/408.02 c #Conflicts: 1113000 | #Constraints: 59570
402.01/408.02 c #Conflicts: 1114000 | #Constraints: 60610
402.01/408.02 c #Conflicts: 1115000 | #Constraints: 61650
402.01/408.02 c #Conflicts: 1116000 | #Constraints: 62688
402.01/408.02 c #Conflicts: 1117000 | #Constraints: 63733
402.01/408.02 c #Conflicts: 1118000 | #Constraints: 64780
402.01/408.02 c #Conflicts: 1119000 | #Constraints: 65825
402.01/408.02 c #Conflicts: 1120000 | #Constraints: 66873
402.01/408.02 c #Conflicts: 1121000 | #Constraints: 67914
402.01/408.02 c #Conflicts: 1122000 | #Constraints: 68963
402.01/408.02 c #Conflicts: 1123000 | #Constraints: 70006
402.01/408.02 c #Conflicts: 1124000 | #Constraints: 71058
402.01/408.02 c #Conflicts: 1125000 | #Constraints: 72106
402.01/408.02 c #Conflicts: 1126000 | #Constraints: 73151
402.01/408.02 c #Conflicts: 1127000 | #Constraints: 74200
402.01/408.02 c #Conflicts: 1128000 | #Constraints: 75243
402.01/408.02 c #Conflicts: 1129000 | #Constraints: 76290
402.01/408.02 c #Conflicts: 1130000 | #Constraints: 77342
402.01/408.02 c #Conflicts: 1131000 | #Constraints: 78390
402.01/408.02 c #Conflicts: 1132000 | #Constraints: 79426
402.01/408.02 c INPROCESSING
402.01/408.02 c GARBAGE COLLECT
402.01/408.02 c rational objective -36
409.27/415.39 c #Conflicts: 1133000 | #Constraints: 41145
409.27/415.39 c #Conflicts: 1134000 | #Constraints: 42196
409.27/415.39 c #Conflicts: 1135000 | #Constraints: 43235
409.27/415.39 c #Conflicts: 1136000 | #Constraints: 44280
409.27/415.39 c #Conflicts: 1137000 | #Constraints: 45315
409.27/415.39 c #Conflicts: 1138000 | #Constraints: 46350
409.27/415.39 c #Conflicts: 1139000 | #Constraints: 47384
409.27/415.39 c #Conflicts: 1140000 | #Constraints: 48426
409.27/415.39 c #Conflicts: 1141000 | #Constraints: 49475
409.27/415.39 c #Conflicts: 1142000 | #Constraints: 50514
409.27/415.39 c #Conflicts: 1143000 | #Constraints: 51554
409.27/415.39 c #Conflicts: 1144000 | #Constraints: 52603
409.27/415.39 c #Conflicts: 1145000 | #Constraints: 53650
409.27/415.39 c #Conflicts: 1146000 | #Constraints: 54688
409.27/415.39 c #Conflicts: 1147000 | #Constraints: 55734
409.27/415.39 c #Conflicts: 1148000 | #Constraints: 56787
409.27/415.39 c #Conflicts: 1149000 | #Constraints: 57824
409.27/415.39 c #Conflicts: 1150000 | #Constraints: 58857
409.27/415.39 c #Conflicts: 1151000 | #Constraints: 59904
409.27/415.39 c #Conflicts: 1152000 | #Constraints: 60947
409.27/415.39 c #Conflicts: 1153000 | #Constraints: 61988
409.27/415.39 c #Conflicts: 1154000 | #Constraints: 63022
409.27/415.39 c #Conflicts: 1155000 | #Constraints: 64059
409.27/415.39 c INPROCESSING
409.27/415.39 c GARBAGE COLLECT
409.27/415.39 c rational objective -36
416.25/422.30 c #Conflicts: 1156000 | #Constraints: 33675
416.25/422.30 c #Conflicts: 1157000 | #Constraints: 34711
416.25/422.30 c #Conflicts: 1158000 | #Constraints: 35767
416.25/422.30 c #Conflicts: 1159000 | #Constraints: 36811
416.25/422.30 c #Conflicts: 1160000 | #Constraints: 37851
416.25/422.30 c #Conflicts: 1161000 | #Constraints: 38896
416.25/422.30 c #Conflicts: 1162000 | #Constraints: 39953
416.25/422.30 c #Conflicts: 1163000 | #Constraints: 40998
416.25/422.30 c #Conflicts: 1164000 | #Constraints: 42041
416.25/422.30 c #Conflicts: 1165000 | #Constraints: 43082
416.25/422.30 c #Conflicts: 1166000 | #Constraints: 44119
416.25/422.30 c #Conflicts: 1167000 | #Constraints: 45161
416.25/422.30 c #Conflicts: 1168000 | #Constraints: 46199
416.25/422.30 c #Conflicts: 1169000 | #Constraints: 47245
416.25/422.30 c #Conflicts: 1170000 | #Constraints: 48289
416.25/422.30 c #Conflicts: 1171000 | #Constraints: 49328
416.25/422.30 c #Conflicts: 1172000 | #Constraints: 50371
416.25/422.30 c #Conflicts: 1173000 | #Constraints: 51414
416.25/422.30 c #Conflicts: 1174000 | #Constraints: 52449
416.25/422.30 c #Conflicts: 1175000 | #Constraints: 53492
416.25/422.30 c #Conflicts: 1176000 | #Constraints: 54536
416.25/422.30 c #Conflicts: 1177000 | #Constraints: 55581
416.25/422.30 c INPROCESSING
416.25/422.30 c GARBAGE COLLECT
416.25/422.30 c rational objective -36
422.83/428.98 c #Conflicts: 1178000 | #Constraints: 29010
422.83/428.98 c #Conflicts: 1179000 | #Constraints: 30010
422.83/428.98 c #Conflicts: 1180000 | #Constraints: 31012
422.83/428.98 c #Conflicts: 1181000 | #Constraints: 32012
422.83/428.98 c #Conflicts: 1182000 | #Constraints: 33012
422.83/428.98 c #Conflicts: 1183000 | #Constraints: 34013
422.83/428.98 c #Conflicts: 1184000 | #Constraints: 35014
422.83/428.98 c #Conflicts: 1185000 | #Constraints: 36016
422.83/428.98 c #Conflicts: 1186000 | #Constraints: 37017
422.83/428.98 c #Conflicts: 1187000 | #Constraints: 38017
422.83/428.98 c #Conflicts: 1188000 | #Constraints: 39018
422.83/428.98 c #Conflicts: 1189000 | #Constraints: 40020
422.83/428.98 c #Conflicts: 1190000 | #Constraints: 41020
422.83/428.98 c #Conflicts: 1191000 | #Constraints: 42020
422.83/428.98 c #Conflicts: 1192000 | #Constraints: 43020
422.83/428.98 c #Conflicts: 1193000 | #Constraints: 44021
422.83/428.98 c #Conflicts: 1194000 | #Constraints: 45021
422.83/428.98 c #Conflicts: 1195000 | #Constraints: 46021
422.83/428.98 c #Conflicts: 1196000 | #Constraints: 47021
422.83/428.98 c #Conflicts: 1197000 | #Constraints: 48021
422.83/428.98 c #Conflicts: 1198000 | #Constraints: 49022
422.83/428.98 c #Conflicts: 1199000 | #Constraints: 50022
422.83/428.98 c #Conflicts: 1200000 | #Constraints: 51022
422.83/428.98 c INPROCESSING
422.83/428.98 c GARBAGE COLLECT
422.83/428.98 c rational objective -36
430.11/436.27 c #Conflicts: 1201000 | #Constraints: 26729
430.11/436.27 c #Conflicts: 1202000 | #Constraints: 27779
430.11/436.27 c #Conflicts: 1203000 | #Constraints: 28834
430.11/436.27 c #Conflicts: 1204000 | #Constraints: 29877
430.11/436.27 c #Conflicts: 1205000 | #Constraints: 30924
430.11/436.27 c #Conflicts: 1206000 | #Constraints: 31968
430.11/436.27 c #Conflicts: 1207000 | #Constraints: 33013
430.11/436.27 c #Conflicts: 1208000 | #Constraints: 34065
430.11/436.27 c #Conflicts: 1209000 | #Constraints: 35111
430.11/436.27 c #Conflicts: 1210000 | #Constraints: 36165
430.11/436.27 c #Conflicts: 1211000 | #Constraints: 37210
430.11/436.27 c #Conflicts: 1212000 | #Constraints: 38258
430.11/436.27 c #Conflicts: 1213000 | #Constraints: 39307
430.11/436.27 c #Conflicts: 1214000 | #Constraints: 40361
430.11/436.27 c #Conflicts: 1215000 | #Constraints: 41408
430.11/436.27 c #Conflicts: 1216000 | #Constraints: 42454
430.11/436.27 c #Conflicts: 1217000 | #Constraints: 43495
430.11/436.27 c #Conflicts: 1218000 | #Constraints: 44530
430.11/436.27 c #Conflicts: 1219000 | #Constraints: 45582
430.11/436.27 c #Conflicts: 1220000 | #Constraints: 46642
430.11/436.27 c #Conflicts: 1221000 | #Constraints: 47692
430.11/436.27 c #Conflicts: 1222000 | #Constraints: 48743
430.11/436.27 c #Conflicts: 1223000 | #Constraints: 49780
430.11/436.27 c #Conflicts: 1224000 | #Constraints: 50822
430.11/436.27 c INPROCESSING
430.11/436.27 c GARBAGE COLLECT
430.11/436.27 c rational objective -36
436.59/442.93 c #Conflicts: 1225000 | #Constraints: 27016
436.59/442.93 c #Conflicts: 1226000 | #Constraints: 28016
436.59/442.93 c #Conflicts: 1227000 | #Constraints: 29018
436.59/442.93 c #Conflicts: 1228000 | #Constraints: 30019
436.59/442.93 c #Conflicts: 1229000 | #Constraints: 31021
436.59/442.93 c #Conflicts: 1230000 | #Constraints: 32021
436.59/442.93 c #Conflicts: 1231000 | #Constraints: 33021
436.59/442.93 c #Conflicts: 1232000 | #Constraints: 34022
436.59/442.93 c #Conflicts: 1233000 | #Constraints: 35023
436.59/442.93 c #Conflicts: 1234000 | #Constraints: 36024
436.59/442.93 c #Conflicts: 1235000 | #Constraints: 37024
436.59/442.93 c #Conflicts: 1236000 | #Constraints: 38025
436.59/442.93 c #Conflicts: 1237000 | #Constraints: 39025
436.59/442.93 c #Conflicts: 1238000 | #Constraints: 40025
436.59/442.93 c #Conflicts: 1239000 | #Constraints: 41026
436.59/442.93 c #Conflicts: 1240000 | #Constraints: 42027
436.59/442.93 c #Conflicts: 1241000 | #Constraints: 43027
436.59/442.93 c #Conflicts: 1242000 | #Constraints: 44030
436.59/442.93 c #Conflicts: 1243000 | #Constraints: 45031
436.59/442.93 c #Conflicts: 1244000 | #Constraints: 46031
436.59/442.93 c #Conflicts: 1245000 | #Constraints: 47032
436.59/442.93 c #Conflicts: 1246000 | #Constraints: 48035
436.59/442.93 c #Conflicts: 1247000 | #Constraints: 49036
436.59/442.93 c INPROCESSING
436.59/442.93 c GARBAGE COLLECT
436.59/442.93 c rational objective -36
468.21/474.73 c #Conflicts: 1248000 | #Constraints: 25933
468.21/474.73 c #Conflicts: 1249000 | #Constraints: 26934
468.21/474.73 c #Conflicts: 1250000 | #Constraints: 27935
468.21/474.73 c #Conflicts: 1251000 | #Constraints: 28936
468.21/474.73 c #Conflicts: 1252000 | #Constraints: 29937
468.21/474.73 c #Conflicts: 1253000 | #Constraints: 30938
468.21/474.73 c #Conflicts: 1254000 | #Constraints: 31938
468.21/474.73 c #Conflicts: 1255000 | #Constraints: 32938
468.21/474.73 c #Conflicts: 1256000 | #Constraints: 33939
468.21/474.73 c #Conflicts: 1257000 | #Constraints: 34940
468.21/474.73 c #Conflicts: 1258000 | #Constraints: 35940
468.21/474.73 c #Conflicts: 1259000 | #Constraints: 36940
468.21/474.73 c #Conflicts: 1260000 | #Constraints: 37940
468.21/474.73 c #Conflicts: 1261000 | #Constraints: 38941
468.21/474.73 c #Conflicts: 1262000 | #Constraints: 39942
468.21/474.73 c #Conflicts: 1263000 | #Constraints: 40942
468.21/474.73 c #Conflicts: 1264000 | #Constraints: 41942
468.21/474.73 c #Conflicts: 1265000 | #Constraints: 42943
468.21/474.73 c #Conflicts: 1266000 | #Constraints: 43943
468.21/474.73 c #Conflicts: 1267000 | #Constraints: 44944
468.21/474.73 c #Conflicts: 1268000 | #Constraints: 45944
468.21/474.73 c #Conflicts: 1269000 | #Constraints: 46945
468.21/474.73 c #Conflicts: 1270000 | #Constraints: 47947
468.21/474.73 c #Conflicts: 1271000 | #Constraints: 48948
468.21/474.73 c #Conflicts: 1272000 | #Constraints: 49950
468.21/474.73 c #Conflicts: 1273000 | #Constraints: 50950
468.21/474.73 c #Conflicts: 1274000 | #Constraints: 51950
468.21/474.73 c #Conflicts: 1275000 | #Constraints: 52951
468.21/474.73 c #Conflicts: 1276000 | #Constraints: 53952
468.21/474.73 c #Conflicts: 1277000 | #Constraints: 54952
468.21/474.73 c #Conflicts: 1278000 | #Constraints: 55953
468.21/474.73 c #Conflicts: 1279000 | #Constraints: 56955
468.21/474.73 c #Conflicts: 1280000 | #Constraints: 57956
468.21/474.73 c #Conflicts: 1281000 | #Constraints: 58956
468.21/474.73 c #Conflicts: 1282000 | #Constraints: 59957
468.21/474.73 c #Conflicts: 1283000 | #Constraints: 60959
468.21/474.73 c #Conflicts: 1284000 | #Constraints: 61961
468.21/474.73 c #Conflicts: 1285000 | #Constraints: 62963
468.21/474.73 c #Conflicts: 1286000 | #Constraints: 63966
468.21/474.73 c #Conflicts: 1287000 | #Constraints: 64967
468.21/474.73 c #Conflicts: 1288000 | #Constraints: 65967
468.21/474.73 c #Conflicts: 1289000 | #Constraints: 66967
468.21/474.73 c #Conflicts: 1290000 | #Constraints: 67968
468.21/474.73 c #Conflicts: 1291000 | #Constraints: 68969
468.21/474.73 c #Conflicts: 1292000 | #Constraints: 69969
468.21/474.73 c #Conflicts: 1293000 | #Constraints: 70969
468.21/474.73 c #Conflicts: 1294000 | #Constraints: 71969
468.21/474.73 c #Conflicts: 1295000 | #Constraints: 72969
468.21/474.73 c #Conflicts: 1296000 | #Constraints: 73969
468.21/474.73 c #Conflicts: 1297000 | #Constraints: 74970
468.21/474.73 c #Conflicts: 1298000 | #Constraints: 75972
468.21/474.73 c #Conflicts: 1299000 | #Constraints: 76973
468.21/474.73 c #Conflicts: 1300000 | #Constraints: 77973
468.21/474.73 c #Conflicts: 1301000 | #Constraints: 78974
468.21/474.73 c #Conflicts: 1302000 | #Constraints: 79976
468.21/474.73 c #Conflicts: 1303000 | #Constraints: 80979
468.21/474.73 c #Conflicts: 1304000 | #Constraints: 81979
468.21/474.73 c #Conflicts: 1305000 | #Constraints: 82979
468.21/474.73 c #Conflicts: 1306000 | #Constraints: 83979
468.21/474.73 c #Conflicts: 1307000 | #Constraints: 84979
468.21/474.73 c #Conflicts: 1308000 | #Constraints: 85981
468.21/474.73 c #Conflicts: 1309000 | #Constraints: 86981
468.21/474.73 c #Conflicts: 1310000 | #Constraints: 87981
468.21/474.73 c #Conflicts: 1311000 | #Constraints: 88981
468.21/474.73 c #Conflicts: 1312000 | #Constraints: 89982
468.21/474.73 c #Conflicts: 1313000 | #Constraints: 90982
468.21/474.73 c #Conflicts: 1314000 | #Constraints: 91982
468.21/474.73 c #Conflicts: 1315000 | #Constraints: 92983
468.21/474.73 c #Conflicts: 1316000 | #Constraints: 93983
468.21/474.73 c #Conflicts: 1317000 | #Constraints: 94983
468.21/474.73 c #Conflicts: 1318000 | #Constraints: 95983
468.21/474.73 c #Conflicts: 1319000 | #Constraints: 96983
468.21/474.73 c #Conflicts: 1320000 | #Constraints: 97983
468.21/474.73 c #Conflicts: 1321000 | #Constraints: 98983
468.21/474.73 c #Conflicts: 1322000 | #Constraints: 99984
468.21/474.73 c #Conflicts: 1323000 | #Constraints: 100985
468.21/474.73 c #Conflicts: 1324000 | #Constraints: 101985
468.21/474.73 c #Conflicts: 1325000 | #Constraints: 102985
468.21/474.73 c #Conflicts: 1326000 | #Constraints: 103985
479.87/486.43 c #Conflicts: 1327000 | #Constraints: 104985
479.87/486.43 c #Conflicts: 1328000 | #Constraints: 105985
479.87/486.43 c #Conflicts: 1329000 | #Constraints: 106986
479.87/486.43 c #Conflicts: 1330000 | #Constraints: 107986
479.87/486.43 c #Conflicts: 1331000 | #Constraints: 108986
479.87/486.43 c #Conflicts: 1332000 | #Constraints: 109988
479.87/486.43 c #Conflicts: 1333000 | #Constraints: 110988
479.87/486.43 c #Conflicts: 1334000 | #Constraints: 111988
479.87/486.43 c #Conflicts: 1335000 | #Constraints: 112988
479.87/486.43 c #Conflicts: 1336000 | #Constraints: 113990
479.87/486.43 c #Conflicts: 1337000 | #Constraints: 114990
479.87/486.43 c #Conflicts: 1338000 | #Constraints: 115990
479.87/486.43 c #Conflicts: 1339000 | #Constraints: 116991
479.87/486.43 c #Conflicts: 1340000 | #Constraints: 117992
479.87/486.43 c #Conflicts: 1341000 | #Constraints: 118992
479.87/486.43 c #Conflicts: 1342000 | #Constraints: 119993
479.87/486.43 c #Conflicts: 1343000 | #Constraints: 120994
479.87/486.43 c #Conflicts: 1344000 | #Constraints: 121994
479.87/486.43 c INPROCESSING
479.87/486.43 c GARBAGE COLLECT
479.87/486.43 c rational objective -36
488.76/495.40 c #Conflicts: 1345000 | #Constraints: 62209
488.76/495.40 c #Conflicts: 1346000 | #Constraints: 63247
488.76/495.40 c #Conflicts: 1347000 | #Constraints: 64287
488.76/495.40 c #Conflicts: 1348000 | #Constraints: 65323
488.76/495.40 c #Conflicts: 1349000 | #Constraints: 66364
488.76/495.40 c #Conflicts: 1350000 | #Constraints: 67402
488.76/495.40 c #Conflicts: 1351000 | #Constraints: 68452
488.76/495.40 c #Conflicts: 1352000 | #Constraints: 69501
488.76/495.40 c #Conflicts: 1353000 | #Constraints: 70542
488.76/495.40 c #Conflicts: 1354000 | #Constraints: 71585
488.76/495.40 c #Conflicts: 1355000 | #Constraints: 72626
488.76/495.40 c #Conflicts: 1356000 | #Constraints: 73668
488.76/495.40 c #Conflicts: 1357000 | #Constraints: 74704
488.76/495.40 c #Conflicts: 1358000 | #Constraints: 75743
488.76/495.40 c #Conflicts: 1359000 | #Constraints: 76784
488.76/495.40 c #Conflicts: 1360000 | #Constraints: 77838
488.76/495.40 c #Conflicts: 1361000 | #Constraints: 78886
488.76/495.40 c #Conflicts: 1362000 | #Constraints: 79947
488.76/495.40 c #Conflicts: 1363000 | #Constraints: 81000
488.76/495.40 c #Conflicts: 1364000 | #Constraints: 82038
488.76/495.40 c #Conflicts: 1365000 | #Constraints: 83082
488.76/495.40 c #Conflicts: 1366000 | #Constraints: 84139
488.76/495.40 c #Conflicts: 1367000 | #Constraints: 85188
488.76/495.40 c #Conflicts: 1368000 | #Constraints: 86233
488.76/495.40 c #Conflicts: 1369000 | #Constraints: 87278
488.76/495.40 c INPROCESSING
488.76/495.40 c GARBAGE COLLECT
488.76/495.40 c rational objective -36
496.94/503.62 c #Conflicts: 1370000 | #Constraints: 45021
496.94/503.62 c #Conflicts: 1371000 | #Constraints: 46058
496.94/503.62 c #Conflicts: 1372000 | #Constraints: 47108
496.94/503.62 c #Conflicts: 1373000 | #Constraints: 48144
496.94/503.62 c #Conflicts: 1374000 | #Constraints: 49198
496.94/503.62 c #Conflicts: 1375000 | #Constraints: 50244
496.94/503.62 c #Conflicts: 1376000 | #Constraints: 51292
496.94/503.62 c #Conflicts: 1377000 | #Constraints: 52332
496.94/503.62 c #Conflicts: 1378000 | #Constraints: 53377
496.94/503.62 c #Conflicts: 1379000 | #Constraints: 54422
496.94/503.62 c #Conflicts: 1380000 | #Constraints: 55468
496.94/503.62 c #Conflicts: 1381000 | #Constraints: 56528
496.94/503.62 c #Conflicts: 1382000 | #Constraints: 57578
496.94/503.62 c #Conflicts: 1383000 | #Constraints: 58624
496.94/503.62 c #Conflicts: 1384000 | #Constraints: 59664
496.94/503.62 c #Conflicts: 1385000 | #Constraints: 60710
496.94/503.62 c #Conflicts: 1386000 | #Constraints: 61757
496.94/503.62 c #Conflicts: 1387000 | #Constraints: 62803
496.94/503.62 c #Conflicts: 1388000 | #Constraints: 63848
496.94/503.62 c #Conflicts: 1389000 | #Constraints: 64892
496.94/503.62 c #Conflicts: 1390000 | #Constraints: 65928
496.94/503.62 c #Conflicts: 1391000 | #Constraints: 66969
496.94/503.62 c #Conflicts: 1392000 | #Constraints: 68010
496.94/503.62 c #Conflicts: 1393000 | #Constraints: 69052
496.94/503.62 c #Conflicts: 1394000 | #Constraints: 70103
496.94/503.62 c INPROCESSING
496.94/503.62 c GARBAGE COLLECT
496.94/503.62 c rational objective -36
505.11/511.82 c #Conflicts: 1395000 | #Constraints: 36489
505.11/511.82 c #Conflicts: 1396000 | #Constraints: 37531
505.11/511.82 c #Conflicts: 1397000 | #Constraints: 38585
505.11/511.82 c #Conflicts: 1398000 | #Constraints: 39637
505.11/511.82 c #Conflicts: 1399000 | #Constraints: 40687
505.11/511.82 c #Conflicts: 1400000 | #Constraints: 41733
505.11/511.82 c #Conflicts: 1401000 | #Constraints: 42779
505.11/511.82 c #Conflicts: 1402000 | #Constraints: 43826
505.11/511.82 c #Conflicts: 1403000 | #Constraints: 44873
505.11/511.82 c #Conflicts: 1404000 | #Constraints: 45915
505.11/511.82 c #Conflicts: 1405000 | #Constraints: 46964
505.11/511.82 c #Conflicts: 1406000 | #Constraints: 48007
505.11/511.82 c #Conflicts: 1407000 | #Constraints: 49054
505.11/511.82 c #Conflicts: 1408000 | #Constraints: 50095
505.11/511.82 c #Conflicts: 1409000 | #Constraints: 51132
505.11/511.82 c #Conflicts: 1410000 | #Constraints: 52174
505.11/511.82 c #Conflicts: 1411000 | #Constraints: 53217
505.11/511.82 c #Conflicts: 1412000 | #Constraints: 54263
505.11/511.82 c #Conflicts: 1413000 | #Constraints: 55296
505.11/511.82 c #Conflicts: 1414000 | #Constraints: 56331
505.11/511.82 c #Conflicts: 1415000 | #Constraints: 57363
505.11/511.82 c #Conflicts: 1416000 | #Constraints: 58406
505.11/511.82 c #Conflicts: 1417000 | #Constraints: 59439
505.11/511.82 c #Conflicts: 1418000 | #Constraints: 60488
505.11/511.82 c #Conflicts: 1419000 | #Constraints: 61530
505.11/511.82 c INPROCESSING
505.11/511.82 c GARBAGE COLLECT
505.11/511.82 c rational objective -36
513.28/520.07 c #Conflicts: 1420000 | #Constraints: 32153
513.28/520.07 c #Conflicts: 1421000 | #Constraints: 33192
513.28/520.07 c #Conflicts: 1422000 | #Constraints: 34240
513.28/520.07 c #Conflicts: 1423000 | #Constraints: 35290
513.28/520.07 c #Conflicts: 1424000 | #Constraints: 36327
513.28/520.07 c #Conflicts: 1425000 | #Constraints: 37364
513.28/520.07 c #Conflicts: 1426000 | #Constraints: 38412
513.28/520.07 c #Conflicts: 1427000 | #Constraints: 39450
513.28/520.07 c #Conflicts: 1428000 | #Constraints: 40489
513.28/520.07 c #Conflicts: 1429000 | #Constraints: 41521
513.28/520.07 c #Conflicts: 1430000 | #Constraints: 42563
513.28/520.07 c #Conflicts: 1431000 | #Constraints: 43608
513.28/520.07 c #Conflicts: 1432000 | #Constraints: 44650
513.28/520.07 c #Conflicts: 1433000 | #Constraints: 45694
513.28/520.07 c #Conflicts: 1434000 | #Constraints: 46734
513.28/520.07 c #Conflicts: 1435000 | #Constraints: 47773
513.28/520.07 c #Conflicts: 1436000 | #Constraints: 48817
513.28/520.07 c #Conflicts: 1437000 | #Constraints: 49869
513.28/520.07 c #Conflicts: 1438000 | #Constraints: 50913
513.28/520.07 c #Conflicts: 1439000 | #Constraints: 51957
513.28/520.07 c #Conflicts: 1440000 | #Constraints: 53001
513.28/520.07 c #Conflicts: 1441000 | #Constraints: 54041
513.28/520.07 c #Conflicts: 1442000 | #Constraints: 55083
513.28/520.07 c #Conflicts: 1443000 | #Constraints: 56129
513.28/520.07 c #Conflicts: 1444000 | #Constraints: 57172
513.28/520.07 c INPROCESSING
513.28/520.07 c GARBAGE COLLECT
513.28/520.07 c rational objective -36
521.05/527.86 c #Conflicts: 1445000 | #Constraints: 29809
521.05/527.86 c #Conflicts: 1446000 | #Constraints: 30817
521.05/527.86 c #Conflicts: 1447000 | #Constraints: 31818
521.05/527.86 c #Conflicts: 1448000 | #Constraints: 32819
521.05/527.86 c #Conflicts: 1449000 | #Constraints: 33824
521.05/527.86 c #Conflicts: 1450000 | #Constraints: 34824
521.05/527.86 c #Conflicts: 1451000 | #Constraints: 35824
521.05/527.86 c #Conflicts: 1452000 | #Constraints: 36824
521.05/527.86 c #Conflicts: 1453000 | #Constraints: 37825
521.05/527.86 c #Conflicts: 1454000 | #Constraints: 38825
521.05/527.86 c #Conflicts: 1455000 | #Constraints: 39826
521.05/527.86 c #Conflicts: 1456000 | #Constraints: 40827
521.05/527.86 c #Conflicts: 1457000 | #Constraints: 41827
521.05/527.86 c #Conflicts: 1458000 | #Constraints: 42827
521.05/527.86 c #Conflicts: 1459000 | #Constraints: 43828
521.05/527.86 c #Conflicts: 1460000 | #Constraints: 44828
521.05/527.86 c #Conflicts: 1461000 | #Constraints: 45829
521.05/527.86 c #Conflicts: 1462000 | #Constraints: 46831
521.05/527.86 c #Conflicts: 1463000 | #Constraints: 47831
521.05/527.86 c #Conflicts: 1464000 | #Constraints: 48831
521.05/527.86 c #Conflicts: 1465000 | #Constraints: 49832
521.05/527.86 c #Conflicts: 1466000 | #Constraints: 50832
521.05/527.86 c #Conflicts: 1467000 | #Constraints: 51832
521.05/527.86 c #Conflicts: 1468000 | #Constraints: 52832
521.05/527.86 c #Conflicts: 1469000 | #Constraints: 53832
521.05/527.86 c #Conflicts: 1470000 | #Constraints: 54832
521.05/527.86 c INPROCESSING
521.05/527.86 c GARBAGE COLLECT
521.05/527.86 c rational objective -36
528.53/535.37 c #Conflicts: 1471000 | #Constraints: 28875
528.53/535.37 c #Conflicts: 1472000 | #Constraints: 29875
528.53/535.37 c #Conflicts: 1473000 | #Constraints: 30876
528.53/535.37 c #Conflicts: 1474000 | #Constraints: 31876
528.53/535.37 c #Conflicts: 1475000 | #Constraints: 32877
528.53/535.37 c #Conflicts: 1476000 | #Constraints: 33880
528.53/535.37 c #Conflicts: 1477000 | #Constraints: 34882
528.53/535.37 c #Conflicts: 1478000 | #Constraints: 35884
528.53/535.37 c #Conflicts: 1479000 | #Constraints: 36884
528.53/535.37 c #Conflicts: 1480000 | #Constraints: 37884
528.53/535.37 c #Conflicts: 1481000 | #Constraints: 38886
528.53/535.37 c #Conflicts: 1482000 | #Constraints: 39886
528.53/535.37 c #Conflicts: 1483000 | #Constraints: 40886
528.53/535.37 c #Conflicts: 1484000 | #Constraints: 41887
528.53/535.37 c #Conflicts: 1485000 | #Constraints: 42887
528.53/535.37 c #Conflicts: 1486000 | #Constraints: 43888
528.53/535.37 c #Conflicts: 1487000 | #Constraints: 44888
528.53/535.37 c #Conflicts: 1488000 | #Constraints: 45888
528.53/535.37 c #Conflicts: 1489000 | #Constraints: 46888
528.53/535.37 c #Conflicts: 1490000 | #Constraints: 47889
528.53/535.37 c #Conflicts: 1491000 | #Constraints: 48890
528.53/535.37 c #Conflicts: 1492000 | #Constraints: 49890
528.53/535.37 c #Conflicts: 1493000 | #Constraints: 50891
528.53/535.37 c #Conflicts: 1494000 | #Constraints: 51892
528.53/535.37 c #Conflicts: 1495000 | #Constraints: 52892
528.53/535.37 c #Conflicts: 1496000 | #Constraints: 53893
528.53/535.37 c INPROCESSING
528.53/535.37 c GARBAGE COLLECT
528.53/535.37 c rational objective -36
592.50/599.56 c #Conflicts: 1497000 | #Constraints: 28597
592.50/599.56 c #Conflicts: 1498000 | #Constraints: 29642
592.50/599.56 c #Conflicts: 1499000 | #Constraints: 30687
592.50/599.56 c #Conflicts: 1500000 | #Constraints: 31736
592.50/599.56 c #Conflicts: 1501000 | #Constraints: 32786
592.50/599.56 c #Conflicts: 1502000 | #Constraints: 33830
592.50/599.56 c #Conflicts: 1503000 | #Constraints: 34872
592.50/599.56 c #Conflicts: 1504000 | #Constraints: 35903
592.50/599.56 c #Conflicts: 1505000 | #Constraints: 36944
592.50/599.56 c #Conflicts: 1506000 | #Constraints: 37991
592.50/599.56 c #Conflicts: 1507000 | #Constraints: 39028
592.50/599.56 c #Conflicts: 1508000 | #Constraints: 40071
592.50/599.56 c #Conflicts: 1509000 | #Constraints: 41110
592.50/599.56 c #Conflicts: 1510000 | #Constraints: 42158
592.50/599.56 c #Conflicts: 1511000 | #Constraints: 43201
592.50/599.56 c #Conflicts: 1512000 | #Constraints: 44240
592.50/599.56 c #Conflicts: 1513000 | #Constraints: 45288
592.50/599.56 c #Conflicts: 1514000 | #Constraints: 46334
592.50/599.56 c #Conflicts: 1515000 | #Constraints: 47384
592.50/599.56 c #Conflicts: 1516000 | #Constraints: 48430
592.50/599.56 c #Conflicts: 1517000 | #Constraints: 49473
592.50/599.56 c #Conflicts: 1518000 | #Constraints: 50516
592.50/599.56 c #Conflicts: 1519000 | #Constraints: 51557
592.50/599.56 c #Conflicts: 1520000 | #Constraints: 52603
592.50/599.56 c #Conflicts: 1521000 | #Constraints: 53644
592.50/599.56 c #Conflicts: 1522000 | #Constraints: 54680
592.50/599.56 c #Conflicts: 1523000 | #Constraints: 55725
592.50/599.56 c #Conflicts: 1524000 | #Constraints: 56770
592.50/599.56 c #Conflicts: 1525000 | #Constraints: 57818
592.50/599.56 c #Conflicts: 1526000 | #Constraints: 58847
592.50/599.56 c #Conflicts: 1527000 | #Constraints: 59888
592.50/599.56 c #Conflicts: 1528000 | #Constraints: 60930
592.50/599.56 c #Conflicts: 1529000 | #Constraints: 61968
592.50/599.56 c #Conflicts: 1530000 | #Constraints: 63003
592.50/599.56 c #Conflicts: 1531000 | #Constraints: 64037
592.50/599.56 c #Conflicts: 1532000 | #Constraints: 65075
592.50/599.56 c #Conflicts: 1533000 | #Constraints: 66115
592.50/599.56 c #Conflicts: 1534000 | #Constraints: 67165
592.50/599.56 c #Conflicts: 1535000 | #Constraints: 68214
592.50/599.56 c #Conflicts: 1536000 | #Constraints: 69244
592.50/599.56 c #Conflicts: 1537000 | #Constraints: 70276
592.50/599.56 c #Conflicts: 1538000 | #Constraints: 71305
592.50/599.56 c #Conflicts: 1539000 | #Constraints: 72346
592.50/599.56 c #Conflicts: 1540000 | #Constraints: 73391
592.50/599.56 c #Conflicts: 1541000 | #Constraints: 74442
592.50/599.56 c #Conflicts: 1542000 | #Constraints: 75487
592.50/599.56 c #Conflicts: 1543000 | #Constraints: 76526
592.50/599.56 c #Conflicts: 1544000 | #Constraints: 77562
592.50/599.56 c #Conflicts: 1545000 | #Constraints: 78603
592.50/599.56 c #Conflicts: 1546000 | #Constraints: 79648
592.50/599.56 c #Conflicts: 1547000 | #Constraints: 80689
592.50/599.56 c #Conflicts: 1548000 | #Constraints: 81736
592.50/599.56 c #Conflicts: 1549000 | #Constraints: 82780
592.50/599.56 c #Conflicts: 1550000 | #Constraints: 83814
592.50/599.56 c #Conflicts: 1551000 | #Constraints: 84857
592.50/599.56 c #Conflicts: 1552000 | #Constraints: 85897
592.50/599.56 c #Conflicts: 1553000 | #Constraints: 86931
592.50/599.56 c #Conflicts: 1554000 | #Constraints: 87967
592.50/599.56 c #Conflicts: 1555000 | #Constraints: 89003
592.50/599.56 c #Conflicts: 1556000 | #Constraints: 90041
592.50/599.56 c #Conflicts: 1557000 | #Constraints: 91079
592.50/599.56 c #Conflicts: 1558000 | #Constraints: 92116
592.50/599.56 c #Conflicts: 1559000 | #Constraints: 93156
592.50/599.56 c #Conflicts: 1560000 | #Constraints: 94203
592.50/599.56 c #Conflicts: 1561000 | #Constraints: 95244
592.50/599.56 c #Conflicts: 1562000 | #Constraints: 96283
592.50/599.56 c #Conflicts: 1563000 | #Constraints: 97320
592.50/599.56 c #Conflicts: 1564000 | #Constraints: 98359
592.50/599.56 c #Conflicts: 1565000 | #Constraints: 99397
592.50/599.56 c #Conflicts: 1566000 | #Constraints: 100437
592.50/599.56 c #Conflicts: 1567000 | #Constraints: 101482
592.50/599.56 c #Conflicts: 1568000 | #Constraints: 102525
592.50/599.56 c #Conflicts: 1569000 | #Constraints: 103575
592.50/599.56 c #Conflicts: 1570000 | #Constraints: 104623
592.50/599.56 c #Conflicts: 1571000 | #Constraints: 105659
592.50/599.56 c #Conflicts: 1572000 | #Constraints: 106703
592.50/599.56 c #Conflicts: 1573000 | #Constraints: 107754
592.50/599.56 c #Conflicts: 1574000 | #Constraints: 108800
592.50/599.56 c #Conflicts: 1575000 | #Constraints: 109843
643.16/650.38 c #Conflicts: 1576000 | #Constraints: 110885
643.16/650.38 c #Conflicts: 1577000 | #Constraints: 111942
643.16/650.38 c #Conflicts: 1578000 | #Constraints: 112983
643.16/650.38 c #Conflicts: 1579000 | #Constraints: 114024
643.16/650.38 c #Conflicts: 1580000 | #Constraints: 115069
643.16/650.38 c #Conflicts: 1581000 | #Constraints: 116112
643.16/650.38 c #Conflicts: 1582000 | #Constraints: 117158
643.16/650.38 c #Conflicts: 1583000 | #Constraints: 118201
643.16/650.38 c #Conflicts: 1584000 | #Constraints: 119245
643.16/650.38 c #Conflicts: 1585000 | #Constraints: 120287
643.16/650.38 c #Conflicts: 1586000 | #Constraints: 121333
643.16/650.38 c #Conflicts: 1587000 | #Constraints: 122374
643.16/650.38 c #Conflicts: 1588000 | #Constraints: 123416
643.16/650.38 c #Conflicts: 1589000 | #Constraints: 124465
643.16/650.38 c #Conflicts: 1590000 | #Constraints: 125510
643.16/650.38 c #Conflicts: 1591000 | #Constraints: 126553
643.16/650.38 c #Conflicts: 1592000 | #Constraints: 127600
643.16/650.38 c #Conflicts: 1593000 | #Constraints: 128649
643.16/650.38 c #Conflicts: 1594000 | #Constraints: 129695
643.16/650.38 c #Conflicts: 1595000 | #Constraints: 130744
643.16/650.38 c #Conflicts: 1596000 | #Constraints: 131783
643.16/650.38 c #Conflicts: 1597000 | #Constraints: 132826
643.16/650.38 c #Conflicts: 1598000 | #Constraints: 133874
643.16/650.38 c #Conflicts: 1599000 | #Constraints: 134917
643.16/650.38 c #Conflicts: 1600000 | #Constraints: 135960
643.16/650.38 c #Conflicts: 1601000 | #Constraints: 137000
643.16/650.38 c #Conflicts: 1602000 | #Constraints: 138033
643.16/650.38 c INPROCESSING
643.16/650.38 c GARBAGE COLLECT
643.16/650.38 c rational objective -36
679.10/686.49 c #Conflicts: 1603000 | #Constraints: 70624
679.10/686.49 c #Conflicts: 1604000 | #Constraints: 71626
679.10/686.49 c #Conflicts: 1605000 | #Constraints: 72628
679.10/686.49 c #Conflicts: 1606000 | #Constraints: 73630
679.10/686.49 c #Conflicts: 1607000 | #Constraints: 74631
679.10/686.49 c #Conflicts: 1608000 | #Constraints: 75632
679.10/686.49 c #Conflicts: 1609000 | #Constraints: 76632
679.10/686.49 c #Conflicts: 1610000 | #Constraints: 77633
679.10/686.49 c #Conflicts: 1611000 | #Constraints: 78634
679.10/686.49 c #Conflicts: 1612000 | #Constraints: 79637
679.10/686.49 c #Conflicts: 1613000 | #Constraints: 80638
679.10/686.49 c #Conflicts: 1614000 | #Constraints: 81640
679.10/686.49 c #Conflicts: 1615000 | #Constraints: 82640
679.10/686.49 c #Conflicts: 1616000 | #Constraints: 83642
679.10/686.49 c #Conflicts: 1617000 | #Constraints: 84643
679.10/686.49 c #Conflicts: 1618000 | #Constraints: 85644
679.10/686.49 c #Conflicts: 1619000 | #Constraints: 86646
679.10/686.49 c #Conflicts: 1620000 | #Constraints: 87646
679.10/686.49 c #Conflicts: 1621000 | #Constraints: 88649
679.10/686.49 c #Conflicts: 1622000 | #Constraints: 89649
679.10/686.49 c #Conflicts: 1623000 | #Constraints: 90650
679.10/686.49 c #Conflicts: 1624000 | #Constraints: 91650
679.10/686.49 c #Conflicts: 1625000 | #Constraints: 92652
679.10/686.49 c #Conflicts: 1626000 | #Constraints: 93653
679.10/686.49 c #Conflicts: 1627000 | #Constraints: 94653
679.10/686.49 c #Conflicts: 1628000 | #Constraints: 95653
679.10/686.49 c #Conflicts: 1629000 | #Constraints: 96653
679.10/686.49 c INPROCESSING
679.10/686.49 c GARBAGE COLLECT
679.10/686.49 c rational objective -36
699.61/707.03 c #Conflicts: 1630000 | #Constraints: 49935
699.61/707.03 c #Conflicts: 1631000 | #Constraints: 50935
699.61/707.03 c #Conflicts: 1632000 | #Constraints: 51935
699.61/707.03 c #Conflicts: 1633000 | #Constraints: 52935
699.61/707.03 c #Conflicts: 1634000 | #Constraints: 53936
699.61/707.03 c #Conflicts: 1635000 | #Constraints: 54936
699.61/707.03 c #Conflicts: 1636000 | #Constraints: 55936
699.61/707.03 c #Conflicts: 1637000 | #Constraints: 56936
699.61/707.03 c #Conflicts: 1638000 | #Constraints: 57936
699.61/707.03 c #Conflicts: 1639000 | #Constraints: 58937
699.61/707.03 c #Conflicts: 1640000 | #Constraints: 59937
699.61/707.03 c #Conflicts: 1641000 | #Constraints: 60937
699.61/707.03 c #Conflicts: 1642000 | #Constraints: 61937
699.61/707.03 c #Conflicts: 1643000 | #Constraints: 62939
699.61/707.03 c #Conflicts: 1644000 | #Constraints: 63940
699.61/707.03 c #Conflicts: 1645000 | #Constraints: 64940
699.61/707.03 c #Conflicts: 1646000 | #Constraints: 65942
699.61/707.03 c #Conflicts: 1647000 | #Constraints: 66942
699.61/707.03 c #Conflicts: 1648000 | #Constraints: 67943
699.61/707.03 c #Conflicts: 1649000 | #Constraints: 68944
699.61/707.03 c #Conflicts: 1650000 | #Constraints: 69945
699.61/707.03 c #Conflicts: 1651000 | #Constraints: 70946
699.61/707.03 c #Conflicts: 1652000 | #Constraints: 71946
699.61/707.03 c #Conflicts: 1653000 | #Constraints: 72946
699.61/707.03 c #Conflicts: 1654000 | #Constraints: 73947
699.61/707.03 c #Conflicts: 1655000 | #Constraints: 74947
699.61/707.03 c #Conflicts: 1656000 | #Constraints: 75947
699.61/707.03 c INPROCESSING
699.61/707.03 c GARBAGE COLLECT
699.61/707.03 c rational objective -36
710.66/718.13 c #Conflicts: 1657000 | #Constraints: 39491
710.66/718.13 c #Conflicts: 1658000 | #Constraints: 40492
710.66/718.13 c #Conflicts: 1659000 | #Constraints: 41492
710.66/718.13 c #Conflicts: 1660000 | #Constraints: 42493
710.66/718.13 c #Conflicts: 1661000 | #Constraints: 43493
710.66/718.13 c #Conflicts: 1662000 | #Constraints: 44495
710.66/718.13 c #Conflicts: 1663000 | #Constraints: 45496
710.66/718.13 c #Conflicts: 1664000 | #Constraints: 46498
710.66/718.13 c #Conflicts: 1665000 | #Constraints: 47498
710.66/718.13 c #Conflicts: 1666000 | #Constraints: 48498
710.66/718.13 c #Conflicts: 1667000 | #Constraints: 49500
710.66/718.13 c #Conflicts: 1668000 | #Constraints: 50502
710.66/718.13 c #Conflicts: 1669000 | #Constraints: 51503
710.66/718.13 c #Conflicts: 1670000 | #Constraints: 52504
710.66/718.13 c #Conflicts: 1671000 | #Constraints: 53504
710.66/718.13 c #Conflicts: 1672000 | #Constraints: 54505
710.66/718.13 c #Conflicts: 1673000 | #Constraints: 55505
710.66/718.13 c #Conflicts: 1674000 | #Constraints: 56506
710.66/718.13 c #Conflicts: 1675000 | #Constraints: 57509
710.66/718.13 c #Conflicts: 1676000 | #Constraints: 58509
710.66/718.13 c #Conflicts: 1677000 | #Constraints: 59510
710.66/718.13 c #Conflicts: 1678000 | #Constraints: 60510
710.66/718.13 c #Conflicts: 1679000 | #Constraints: 61510
710.66/718.13 c #Conflicts: 1680000 | #Constraints: 62510
710.66/718.13 c #Conflicts: 1681000 | #Constraints: 63510
710.66/718.13 c #Conflicts: 1682000 | #Constraints: 64511
710.66/718.13 c #Conflicts: 1683000 | #Constraints: 65512
710.66/718.13 c INPROCESSING
710.66/718.13 c GARBAGE COLLECT
710.66/718.13 c rational objective -36
719.64/727.17 c #Conflicts: 1684000 | #Constraints: 34078
719.64/727.17 c #Conflicts: 1685000 | #Constraints: 35079
719.64/727.17 c #Conflicts: 1686000 | #Constraints: 36079
719.64/727.17 c #Conflicts: 1687000 | #Constraints: 37080
719.64/727.17 c #Conflicts: 1688000 | #Constraints: 38080
719.64/727.17 c #Conflicts: 1689000 | #Constraints: 39080
719.64/727.17 c #Conflicts: 1690000 | #Constraints: 40080
719.64/727.17 c #Conflicts: 1691000 | #Constraints: 41081
719.64/727.17 c #Conflicts: 1692000 | #Constraints: 42082
719.64/727.17 c #Conflicts: 1693000 | #Constraints: 43082
719.64/727.17 c #Conflicts: 1694000 | #Constraints: 44082
719.64/727.17 c #Conflicts: 1695000 | #Constraints: 45082
719.64/727.17 c #Conflicts: 1696000 | #Constraints: 46082
719.64/727.17 c #Conflicts: 1697000 | #Constraints: 47082
719.64/727.17 c #Conflicts: 1698000 | #Constraints: 48082
719.64/727.17 c #Conflicts: 1699000 | #Constraints: 49082
719.64/727.17 c #Conflicts: 1700000 | #Constraints: 50083
719.64/727.17 c #Conflicts: 1701000 | #Constraints: 51086
719.64/727.17 c #Conflicts: 1702000 | #Constraints: 52086
719.64/727.17 c #Conflicts: 1703000 | #Constraints: 53086
719.64/727.17 c #Conflicts: 1704000 | #Constraints: 54086
719.64/727.17 c #Conflicts: 1705000 | #Constraints: 55087
719.64/727.17 c #Conflicts: 1706000 | #Constraints: 56087
719.64/727.17 c #Conflicts: 1707000 | #Constraints: 57087
719.64/727.17 c #Conflicts: 1708000 | #Constraints: 58087
719.64/727.17 c #Conflicts: 1709000 | #Constraints: 59087
719.64/727.17 c #Conflicts: 1710000 | #Constraints: 60088
719.64/727.17 c #Conflicts: 1711000 | #Constraints: 61088
719.64/727.17 c INPROCESSING
719.64/727.17 c GARBAGE COLLECT
719.64/727.17 c rational objective -36
728.01/735.58 c #Conflicts: 1712000 | #Constraints: 32051
728.01/735.58 c #Conflicts: 1713000 | #Constraints: 33053
728.01/735.58 c #Conflicts: 1714000 | #Constraints: 34053
728.01/735.58 c #Conflicts: 1715000 | #Constraints: 35053
728.01/735.58 c #Conflicts: 1716000 | #Constraints: 36054
728.01/735.58 c #Conflicts: 1717000 | #Constraints: 37056
728.01/735.58 c #Conflicts: 1718000 | #Constraints: 38056
728.01/735.58 c #Conflicts: 1719000 | #Constraints: 39058
728.01/735.58 c #Conflicts: 1720000 | #Constraints: 40059
728.01/735.58 c #Conflicts: 1721000 | #Constraints: 41059
728.01/735.58 c #Conflicts: 1722000 | #Constraints: 42059
728.01/735.58 c #Conflicts: 1723000 | #Constraints: 43059
728.01/735.58 c #Conflicts: 1724000 | #Constraints: 44060
728.01/735.58 c #Conflicts: 1725000 | #Constraints: 45061
728.01/735.58 c #Conflicts: 1726000 | #Constraints: 46061
728.01/735.58 c #Conflicts: 1727000 | #Constraints: 47061
728.01/735.58 c #Conflicts: 1728000 | #Constraints: 48061
728.01/735.58 c #Conflicts: 1729000 | #Constraints: 49061
728.01/735.58 c #Conflicts: 1730000 | #Constraints: 50061
728.01/735.58 c #Conflicts: 1731000 | #Constraints: 51061
728.01/735.58 c #Conflicts: 1732000 | #Constraints: 52062
728.01/735.58 c #Conflicts: 1733000 | #Constraints: 53062
728.01/735.58 c #Conflicts: 1734000 | #Constraints: 54062
728.01/735.58 c #Conflicts: 1735000 | #Constraints: 55062
728.01/735.58 c #Conflicts: 1736000 | #Constraints: 56062
728.01/735.58 c #Conflicts: 1737000 | #Constraints: 57065
728.01/735.58 c #Conflicts: 1738000 | #Constraints: 58065
728.01/735.58 c #Conflicts: 1739000 | #Constraints: 59065
728.01/735.58 c INPROCESSING
728.01/735.58 c GARBAGE COLLECT
728.01/735.58 c rational objective -36
736.60/744.21 c #Conflicts: 1740000 | #Constraints: 31147
736.60/744.21 c #Conflicts: 1741000 | #Constraints: 32147
736.60/744.21 c #Conflicts: 1742000 | #Constraints: 33147
736.60/744.21 c #Conflicts: 1743000 | #Constraints: 34147
736.60/744.21 c #Conflicts: 1744000 | #Constraints: 35149
736.60/744.21 c #Conflicts: 1745000 | #Constraints: 36150
736.60/744.21 c #Conflicts: 1746000 | #Constraints: 37150
736.60/744.21 c #Conflicts: 1747000 | #Constraints: 38150
736.60/744.21 c #Conflicts: 1748000 | #Constraints: 39150
736.60/744.21 c #Conflicts: 1749000 | #Constraints: 40150
736.60/744.21 c #Conflicts: 1750000 | #Constraints: 41150
736.60/744.21 c #Conflicts: 1751000 | #Constraints: 42151
736.60/744.21 c #Conflicts: 1752000 | #Constraints: 43154
736.60/744.21 c #Conflicts: 1753000 | #Constraints: 44154
736.60/744.21 c #Conflicts: 1754000 | #Constraints: 45155
736.60/744.21 c #Conflicts: 1755000 | #Constraints: 46156
736.60/744.21 c #Conflicts: 1756000 | #Constraints: 47156
736.60/744.21 c #Conflicts: 1757000 | #Constraints: 48157
736.60/744.21 c #Conflicts: 1758000 | #Constraints: 49157
736.60/744.21 c #Conflicts: 1759000 | #Constraints: 50157
736.60/744.21 c #Conflicts: 1760000 | #Constraints: 51159
736.60/744.21 c #Conflicts: 1761000 | #Constraints: 52159
736.60/744.21 c #Conflicts: 1762000 | #Constraints: 53159
736.60/744.21 c #Conflicts: 1763000 | #Constraints: 54160
736.60/744.21 c #Conflicts: 1764000 | #Constraints: 55160
736.60/744.21 c #Conflicts: 1765000 | #Constraints: 56161
736.60/744.21 c #Conflicts: 1766000 | #Constraints: 57162
736.60/744.21 c #Conflicts: 1767000 | #Constraints: 58163
736.60/744.21 c INPROCESSING
736.60/744.21 c GARBAGE COLLECT
736.60/744.21 c rational objective -36
768.84/776.89 c #Conflicts: 1768000 | #Constraints: 30689
768.84/776.89 c #Conflicts: 1769000 | #Constraints: 31690
768.84/776.89 c #Conflicts: 1770000 | #Constraints: 32690
768.84/776.89 c #Conflicts: 1771000 | #Constraints: 33690
768.84/776.89 c #Conflicts: 1772000 | #Constraints: 34690
768.84/776.89 c #Conflicts: 1773000 | #Constraints: 35691
768.84/776.89 c #Conflicts: 1774000 | #Constraints: 36693
768.84/776.89 c #Conflicts: 1775000 | #Constraints: 37694
768.84/776.89 c #Conflicts: 1776000 | #Constraints: 38695
768.84/776.89 c #Conflicts: 1777000 | #Constraints: 39695
768.84/776.89 c #Conflicts: 1778000 | #Constraints: 40696
768.84/776.89 c #Conflicts: 1779000 | #Constraints: 41696
768.84/776.89 c #Conflicts: 1780000 | #Constraints: 42699
768.84/776.89 c #Conflicts: 1781000 | #Constraints: 43699
768.84/776.89 c #Conflicts: 1782000 | #Constraints: 44699
768.84/776.89 c #Conflicts: 1783000 | #Constraints: 45699
768.84/776.89 c #Conflicts: 1784000 | #Constraints: 46700
768.84/776.89 c #Conflicts: 1785000 | #Constraints: 47700
768.84/776.89 c #Conflicts: 1786000 | #Constraints: 48701
768.84/776.89 c #Conflicts: 1787000 | #Constraints: 49702
768.84/776.89 c #Conflicts: 1788000 | #Constraints: 50703
768.84/776.89 c #Conflicts: 1789000 | #Constraints: 51703
768.84/776.89 c #Conflicts: 1790000 | #Constraints: 52704
768.84/776.89 c #Conflicts: 1791000 | #Constraints: 53704
768.84/776.89 c #Conflicts: 1792000 | #Constraints: 54704
768.84/776.89 c #Conflicts: 1793000 | #Constraints: 55705
768.84/776.89 c #Conflicts: 1794000 | #Constraints: 56705
768.84/776.89 c #Conflicts: 1795000 | #Constraints: 57705
768.84/776.89 c #Conflicts: 1796000 | #Constraints: 58705
768.84/776.89 c #Conflicts: 1797000 | #Constraints: 59705
768.84/776.89 c #Conflicts: 1798000 | #Constraints: 60705
768.84/776.89 c #Conflicts: 1799000 | #Constraints: 61705
768.84/776.89 c #Conflicts: 1800000 | #Constraints: 62706
768.84/776.89 c #Conflicts: 1801000 | #Constraints: 63706
768.84/776.89 c #Conflicts: 1802000 | #Constraints: 64706
768.84/776.89 c #Conflicts: 1803000 | #Constraints: 65706
768.84/776.89 c #Conflicts: 1804000 | #Constraints: 66706
768.84/776.89 c #Conflicts: 1805000 | #Constraints: 67707
768.84/776.89 c #Conflicts: 1806000 | #Constraints: 68707
768.84/776.89 c #Conflicts: 1807000 | #Constraints: 69707
768.84/776.89 c #Conflicts: 1808000 | #Constraints: 70707
768.84/776.89 c #Conflicts: 1809000 | #Constraints: 71707
768.84/776.89 c #Conflicts: 1810000 | #Constraints: 72708
768.84/776.89 c #Conflicts: 1811000 | #Constraints: 73708
768.84/776.89 c #Conflicts: 1812000 | #Constraints: 74708
768.84/776.89 c #Conflicts: 1813000 | #Constraints: 75709
768.84/776.89 c #Conflicts: 1814000 | #Constraints: 76709
768.84/776.89 c #Conflicts: 1815000 | #Constraints: 77709
768.84/776.89 c #Conflicts: 1816000 | #Constraints: 78709
768.84/776.89 c #Conflicts: 1817000 | #Constraints: 79709
768.84/776.89 c #Conflicts: 1818000 | #Constraints: 80709
768.84/776.89 c #Conflicts: 1819000 | #Constraints: 81709
768.84/776.89 c #Conflicts: 1820000 | #Constraints: 82709
768.84/776.89 c #Conflicts: 1821000 | #Constraints: 83710
768.84/776.89 c #Conflicts: 1822000 | #Constraints: 84711
768.84/776.89 c #Conflicts: 1823000 | #Constraints: 85711
768.84/776.89 c #Conflicts: 1824000 | #Constraints: 86711
768.84/776.89 c #Conflicts: 1825000 | #Constraints: 87711
768.84/776.89 c #Conflicts: 1826000 | #Constraints: 88713
768.84/776.89 c #Conflicts: 1827000 | #Constraints: 89713
768.84/776.89 c #Conflicts: 1828000 | #Constraints: 90713
768.84/776.89 c #Conflicts: 1829000 | #Constraints: 91713
768.84/776.89 c #Conflicts: 1830000 | #Constraints: 92713
768.84/776.89 c #Conflicts: 1831000 | #Constraints: 93713
768.84/776.89 c #Conflicts: 1832000 | #Constraints: 94713
768.84/776.89 c #Conflicts: 1833000 | #Constraints: 95713
768.84/776.89 c #Conflicts: 1834000 | #Constraints: 96713
768.84/776.89 c #Conflicts: 1835000 | #Constraints: 97713
768.84/776.89 c #Conflicts: 1836000 | #Constraints: 98714
768.84/776.89 c #Conflicts: 1837000 | #Constraints: 99714
768.84/776.89 c #Conflicts: 1838000 | #Constraints: 100714
768.84/776.89 c #Conflicts: 1839000 | #Constraints: 101715
768.84/776.89 c #Conflicts: 1840000 | #Constraints: 102716
768.84/776.89 c #Conflicts: 1841000 | #Constraints: 103716
768.84/776.89 c #Conflicts: 1842000 | #Constraints: 104716
768.84/776.89 c #Conflicts: 1843000 | #Constraints: 105716
768.84/776.89 c #Conflicts: 1844000 | #Constraints: 106716
768.84/776.89 c #Conflicts: 1845000 | #Constraints: 107717
768.84/776.89 c #Conflicts: 1846000 | #Constraints: 108717
780.30/788.34 c #Conflicts: 1847000 | #Constraints: 109717
780.30/788.34 c #Conflicts: 1848000 | #Constraints: 110718
780.30/788.34 c #Conflicts: 1849000 | #Constraints: 111719
780.30/788.34 c #Conflicts: 1850000 | #Constraints: 112719
780.30/788.34 c #Conflicts: 1851000 | #Constraints: 113719
780.30/788.34 c #Conflicts: 1852000 | #Constraints: 114719
780.30/788.34 c #Conflicts: 1853000 | #Constraints: 115720
780.30/788.34 c #Conflicts: 1854000 | #Constraints: 116720
780.30/788.34 c #Conflicts: 1855000 | #Constraints: 117721
780.30/788.34 c #Conflicts: 1856000 | #Constraints: 118721
780.30/788.34 c #Conflicts: 1857000 | #Constraints: 119721
780.30/788.34 c #Conflicts: 1858000 | #Constraints: 120722
780.30/788.34 c #Conflicts: 1859000 | #Constraints: 121723
780.30/788.34 c #Conflicts: 1860000 | #Constraints: 122723
780.30/788.34 c #Conflicts: 1861000 | #Constraints: 123723
780.30/788.34 c #Conflicts: 1862000 | #Constraints: 124723
780.30/788.34 c #Conflicts: 1863000 | #Constraints: 125723
780.30/788.34 c #Conflicts: 1864000 | #Constraints: 126723
780.30/788.34 c bounds -33 >= -35 @ 768.108
793.06/801.13 c #Conflicts: 1865000 | #Constraints: 127748
793.06/801.13 c #Conflicts: 1866000 | #Constraints: 128751
793.06/801.13 c #Conflicts: 1867000 | #Constraints: 129753
793.06/801.13 c #Conflicts: 1868000 | #Constraints: 130754
793.06/801.13 c #Conflicts: 1869000 | #Constraints: 131757
793.06/801.13 c #Conflicts: 1870000 | #Constraints: 132758
793.06/801.13 c #Conflicts: 1871000 | #Constraints: 133758
793.06/801.13 c #Conflicts: 1872000 | #Constraints: 134759
793.06/801.13 c #Conflicts: 1873000 | #Constraints: 135761
793.06/801.13 c #Conflicts: 1874000 | #Constraints: 136763
793.06/801.13 c #Conflicts: 1875000 | #Constraints: 137767
793.06/801.13 c #Conflicts: 1876000 | #Constraints: 138768
793.06/801.13 c #Conflicts: 1877000 | #Constraints: 139771
793.06/801.13 c #Conflicts: 1878000 | #Constraints: 140773
793.06/801.13 c #Conflicts: 1879000 | #Constraints: 141775
793.06/801.13 c #Conflicts: 1880000 | #Constraints: 142780
793.06/801.13 c #Conflicts: 1881000 | #Constraints: 143783
793.06/801.13 c INPROCESSING
793.06/801.13 c GARBAGE COLLECT
793.06/801.13 c rational objective -35
806.42/814.55 c #Conflicts: 1882000 | #Constraints: 73170
806.42/814.55 c #Conflicts: 1883000 | #Constraints: 74211
806.42/814.55 c #Conflicts: 1884000 | #Constraints: 75263
806.42/814.55 c #Conflicts: 1885000 | #Constraints: 76310
806.42/814.55 c #Conflicts: 1886000 | #Constraints: 77353
806.42/814.55 c #Conflicts: 1887000 | #Constraints: 78404
806.42/814.55 c #Conflicts: 1888000 | #Constraints: 79453
806.42/814.55 c #Conflicts: 1889000 | #Constraints: 80496
806.42/814.55 c #Conflicts: 1890000 | #Constraints: 81548
806.42/814.55 c #Conflicts: 1891000 | #Constraints: 82585
806.42/814.55 c #Conflicts: 1892000 | #Constraints: 83629
806.42/814.55 c #Conflicts: 1893000 | #Constraints: 84671
806.42/814.55 c #Conflicts: 1894000 | #Constraints: 85707
806.42/814.55 c #Conflicts: 1895000 | #Constraints: 86756
806.42/814.55 c #Conflicts: 1896000 | #Constraints: 87798
806.42/814.55 c #Conflicts: 1897000 | #Constraints: 88836
806.42/814.55 c #Conflicts: 1898000 | #Constraints: 89885
806.42/814.55 c #Conflicts: 1899000 | #Constraints: 90929
806.42/814.55 c #Conflicts: 1900000 | #Constraints: 91967
806.42/814.55 c #Conflicts: 1901000 | #Constraints: 93001
806.42/814.55 c #Conflicts: 1902000 | #Constraints: 94049
806.42/814.55 c #Conflicts: 1903000 | #Constraints: 95092
806.42/814.55 c #Conflicts: 1904000 | #Constraints: 96132
806.42/814.55 c #Conflicts: 1905000 | #Constraints: 97169
806.42/814.55 c #Conflicts: 1906000 | #Constraints: 98218
806.42/814.55 c #Conflicts: 1907000 | #Constraints: 99268
806.42/814.55 c #Conflicts: 1908000 | #Constraints: 100314
806.42/814.55 c #Conflicts: 1909000 | #Constraints: 101359
806.42/814.55 c #Conflicts: 1910000 | #Constraints: 102405
806.42/814.55 c INPROCESSING
806.42/814.55 c GARBAGE COLLECT
806.42/814.55 c rational objective -35
820.68/828.89 c #Conflicts: 1911000 | #Constraints: 52374
820.68/828.89 c #Conflicts: 1912000 | #Constraints: 53379
820.68/828.89 c #Conflicts: 1913000 | #Constraints: 54384
820.68/828.89 c #Conflicts: 1914000 | #Constraints: 55386
820.68/828.89 c #Conflicts: 1915000 | #Constraints: 56388
820.68/828.89 c #Conflicts: 1916000 | #Constraints: 57390
820.68/828.89 c #Conflicts: 1917000 | #Constraints: 58397
820.68/828.89 c #Conflicts: 1918000 | #Constraints: 59400
820.68/828.89 c #Conflicts: 1919000 | #Constraints: 60404
820.68/828.89 c #Conflicts: 1920000 | #Constraints: 61405
820.68/828.89 c #Conflicts: 1921000 | #Constraints: 62407
820.68/828.89 c #Conflicts: 1922000 | #Constraints: 63409
820.68/828.89 c #Conflicts: 1923000 | #Constraints: 64410
820.68/828.89 c #Conflicts: 1924000 | #Constraints: 65411
820.68/828.89 c #Conflicts: 1925000 | #Constraints: 66413
820.68/828.89 c #Conflicts: 1926000 | #Constraints: 67414
820.68/828.89 c #Conflicts: 1927000 | #Constraints: 68415
820.68/828.89 c #Conflicts: 1928000 | #Constraints: 69419
820.68/828.89 c #Conflicts: 1929000 | #Constraints: 70421
820.68/828.89 c #Conflicts: 1930000 | #Constraints: 71422
820.68/828.89 c #Conflicts: 1931000 | #Constraints: 72422
820.68/828.89 c #Conflicts: 1932000 | #Constraints: 73423
820.68/828.89 c #Conflicts: 1933000 | #Constraints: 74424
820.68/828.89 c #Conflicts: 1934000 | #Constraints: 75424
820.68/828.89 c #Conflicts: 1935000 | #Constraints: 76424
820.68/828.89 c #Conflicts: 1936000 | #Constraints: 77426
820.68/828.89 c #Conflicts: 1937000 | #Constraints: 78426
820.68/828.89 c #Conflicts: 1938000 | #Constraints: 79427
820.68/828.89 c #Conflicts: 1939000 | #Constraints: 80428
820.68/828.89 c #Conflicts: 1940000 | #Constraints: 81429
820.68/828.89 c INPROCESSING
820.68/828.89 c GARBAGE COLLECT
820.68/828.89 c rational objective -35
833.21/841.42 c #Conflicts: 1941000 | #Constraints: 42164
833.21/841.42 c #Conflicts: 1942000 | #Constraints: 43205
833.21/841.42 c #Conflicts: 1943000 | #Constraints: 44248
833.21/841.42 c #Conflicts: 1944000 | #Constraints: 45299
833.21/841.42 c #Conflicts: 1945000 | #Constraints: 46351
833.21/841.42 c #Conflicts: 1946000 | #Constraints: 47397
833.21/841.42 c #Conflicts: 1947000 | #Constraints: 48443
833.21/841.42 c #Conflicts: 1948000 | #Constraints: 49493
833.21/841.42 c #Conflicts: 1949000 | #Constraints: 50540
833.21/841.42 c #Conflicts: 1950000 | #Constraints: 51594
833.21/841.42 c #Conflicts: 1951000 | #Constraints: 52643
833.21/841.42 c #Conflicts: 1952000 | #Constraints: 53693
833.21/841.42 c #Conflicts: 1953000 | #Constraints: 54744
833.21/841.42 c #Conflicts: 1954000 | #Constraints: 55788
833.21/841.42 c #Conflicts: 1955000 | #Constraints: 56836
833.21/841.42 c #Conflicts: 1956000 | #Constraints: 57884
833.21/841.42 c #Conflicts: 1957000 | #Constraints: 58934
833.21/841.42 c #Conflicts: 1958000 | #Constraints: 59972
833.21/841.42 c #Conflicts: 1959000 | #Constraints: 61015
833.21/841.42 c #Conflicts: 1960000 | #Constraints: 62059
833.21/841.42 c #Conflicts: 1961000 | #Constraints: 63099
833.21/841.42 c #Conflicts: 1962000 | #Constraints: 64140
833.21/841.42 c #Conflicts: 1963000 | #Constraints: 65191
833.21/841.42 c #Conflicts: 1964000 | #Constraints: 66231
833.21/841.42 c #Conflicts: 1965000 | #Constraints: 67285
833.21/841.42 c #Conflicts: 1966000 | #Constraints: 68341
833.21/841.42 c #Conflicts: 1967000 | #Constraints: 69385
833.21/841.42 c #Conflicts: 1968000 | #Constraints: 70427
833.21/841.42 c #Conflicts: 1969000 | #Constraints: 71469
833.21/841.42 c #Conflicts: 1970000 | #Constraints: 72509
833.21/841.42 c INPROCESSING
833.21/841.42 c GARBAGE COLLECT
833.21/841.42 c rational objective -35
843.58/851.84 c #Conflicts: 1971000 | #Constraints: 37824
843.58/851.84 c #Conflicts: 1972000 | #Constraints: 38829
843.58/851.84 c #Conflicts: 1973000 | #Constraints: 39833
843.58/851.84 c #Conflicts: 1974000 | #Constraints: 40836
843.58/851.84 c #Conflicts: 1975000 | #Constraints: 41841
843.58/851.84 c #Conflicts: 1976000 | #Constraints: 42842
843.58/851.84 c #Conflicts: 1977000 | #Constraints: 43843
843.58/851.84 c #Conflicts: 1978000 | #Constraints: 44847
843.58/851.84 c #Conflicts: 1979000 | #Constraints: 45850
843.58/851.84 c #Conflicts: 1980000 | #Constraints: 46854
843.58/851.84 c #Conflicts: 1981000 | #Constraints: 47856
843.58/851.84 c #Conflicts: 1982000 | #Constraints: 48857
843.58/851.84 c #Conflicts: 1983000 | #Constraints: 49857
843.58/851.84 c #Conflicts: 1984000 | #Constraints: 50859
843.58/851.84 c #Conflicts: 1985000 | #Constraints: 51860
843.58/851.84 c #Conflicts: 1986000 | #Constraints: 52865
843.58/851.84 c #Conflicts: 1987000 | #Constraints: 53867
843.58/851.84 c #Conflicts: 1988000 | #Constraints: 54869
843.58/851.84 c #Conflicts: 1989000 | #Constraints: 55870
843.58/851.84 c #Conflicts: 1990000 | #Constraints: 56873
843.58/851.84 c #Conflicts: 1991000 | #Constraints: 57874
843.58/851.84 c #Conflicts: 1992000 | #Constraints: 58875
843.58/851.84 c #Conflicts: 1993000 | #Constraints: 59877
843.58/851.84 c #Conflicts: 1994000 | #Constraints: 60879
843.58/851.84 c #Conflicts: 1995000 | #Constraints: 61883
843.58/851.84 c #Conflicts: 1996000 | #Constraints: 62884
843.58/851.84 c #Conflicts: 1997000 | #Constraints: 63885
843.58/851.84 c #Conflicts: 1998000 | #Constraints: 64889
843.58/851.84 c #Conflicts: 1999000 | #Constraints: 65889
843.58/851.84 c #Conflicts: 2000000 | #Constraints: 66892
843.58/851.84 c INPROCESSING
843.58/851.84 c GARBAGE COLLECT
843.58/851.84 c rational objective -35
853.56/861.86 c #Conflicts: 2001000 | #Constraints: 35067
853.56/861.86 c #Conflicts: 2002000 | #Constraints: 36068
853.56/861.86 c #Conflicts: 2003000 | #Constraints: 37068
853.56/861.86 c #Conflicts: 2004000 | #Constraints: 38069
853.56/861.86 c #Conflicts: 2005000 | #Constraints: 39072
853.56/861.86 c #Conflicts: 2006000 | #Constraints: 40072
853.56/861.86 c #Conflicts: 2007000 | #Constraints: 41074
853.56/861.86 c #Conflicts: 2008000 | #Constraints: 42077
853.56/861.86 c #Conflicts: 2009000 | #Constraints: 43082
853.56/861.86 c #Conflicts: 2010000 | #Constraints: 44082
853.56/861.86 c #Conflicts: 2011000 | #Constraints: 45083
853.56/861.86 c #Conflicts: 2012000 | #Constraints: 46085
853.56/861.86 c #Conflicts: 2013000 | #Constraints: 47087
853.56/861.86 c #Conflicts: 2014000 | #Constraints: 48087
853.56/861.86 c #Conflicts: 2015000 | #Constraints: 49088
853.56/861.86 c #Conflicts: 2016000 | #Constraints: 50090
853.56/861.86 c #Conflicts: 2017000 | #Constraints: 51090
853.56/861.86 c #Conflicts: 2018000 | #Constraints: 52090
853.56/861.86 c #Conflicts: 2019000 | #Constraints: 53090
853.56/861.86 c #Conflicts: 2020000 | #Constraints: 54095
853.56/861.86 c #Conflicts: 2021000 | #Constraints: 55097
853.56/861.86 c #Conflicts: 2022000 | #Constraints: 56099
853.56/861.86 c #Conflicts: 2023000 | #Constraints: 57102
853.56/861.86 c #Conflicts: 2024000 | #Constraints: 58103
853.56/861.86 c #Conflicts: 2025000 | #Constraints: 59103
853.56/861.86 c #Conflicts: 2026000 | #Constraints: 60107
853.56/861.86 c #Conflicts: 2027000 | #Constraints: 61109
853.56/861.86 c #Conflicts: 2028000 | #Constraints: 62111
853.56/861.86 c #Conflicts: 2029000 | #Constraints: 63112
853.56/861.86 c #Conflicts: 2030000 | #Constraints: 64113
853.56/861.86 c INPROCESSING
853.56/861.86 c GARBAGE COLLECT
853.56/861.86 c rational objective -35
929.64/938.27 c #Conflicts: 2031000 | #Constraints: 33659
929.64/938.27 c #Conflicts: 2032000 | #Constraints: 34698
929.64/938.27 c #Conflicts: 2033000 | #Constraints: 35739
929.64/938.27 c #Conflicts: 2034000 | #Constraints: 36789
929.64/938.27 c #Conflicts: 2035000 | #Constraints: 37835
929.64/938.27 c #Conflicts: 2036000 | #Constraints: 38885
929.64/938.27 c #Conflicts: 2037000 | #Constraints: 39940
929.64/938.27 c #Conflicts: 2038000 | #Constraints: 40987
929.64/938.27 c #Conflicts: 2039000 | #Constraints: 42037
929.64/938.27 c #Conflicts: 2040000 | #Constraints: 43086
929.64/938.27 c #Conflicts: 2041000 | #Constraints: 44120
929.64/938.27 c #Conflicts: 2042000 | #Constraints: 45168
929.64/938.27 c #Conflicts: 2043000 | #Constraints: 46216
929.64/938.27 c #Conflicts: 2044000 | #Constraints: 47264
929.64/938.27 c #Conflicts: 2045000 | #Constraints: 48305
929.64/938.27 c #Conflicts: 2046000 | #Constraints: 49360
929.64/938.27 c #Conflicts: 2047000 | #Constraints: 50402
929.64/938.27 c #Conflicts: 2048000 | #Constraints: 51435
929.64/938.27 c #Conflicts: 2049000 | #Constraints: 52469
929.64/938.27 c #Conflicts: 2050000 | #Constraints: 53511
929.64/938.27 c #Conflicts: 2051000 | #Constraints: 54546
929.64/938.27 c #Conflicts: 2052000 | #Constraints: 55580
929.64/938.27 c #Conflicts: 2053000 | #Constraints: 56620
929.64/938.27 c #Conflicts: 2054000 | #Constraints: 57664
929.64/938.27 c #Conflicts: 2055000 | #Constraints: 58709
929.64/938.27 c #Conflicts: 2056000 | #Constraints: 59755
929.64/938.27 c #Conflicts: 2057000 | #Constraints: 60807
929.64/938.27 c #Conflicts: 2058000 | #Constraints: 61858
929.64/938.27 c #Conflicts: 2059000 | #Constraints: 62912
929.64/938.27 c #Conflicts: 2060000 | #Constraints: 63958
929.64/938.27 c #Conflicts: 2061000 | #Constraints: 65006
929.64/938.27 c #Conflicts: 2062000 | #Constraints: 66047
929.64/938.27 c #Conflicts: 2063000 | #Constraints: 67090
929.64/938.27 c #Conflicts: 2064000 | #Constraints: 68140
929.64/938.27 c #Conflicts: 2065000 | #Constraints: 69181
929.64/938.27 c #Conflicts: 2066000 | #Constraints: 70221
929.64/938.27 c #Conflicts: 2067000 | #Constraints: 71259
929.64/938.27 c #Conflicts: 2068000 | #Constraints: 72302
929.64/938.27 c #Conflicts: 2069000 | #Constraints: 73348
929.64/938.27 c #Conflicts: 2070000 | #Constraints: 74385
929.64/938.27 c #Conflicts: 2071000 | #Constraints: 75425
929.64/938.27 c #Conflicts: 2072000 | #Constraints: 76466
929.64/938.27 c #Conflicts: 2073000 | #Constraints: 77507
929.64/938.27 c #Conflicts: 2074000 | #Constraints: 78550
929.64/938.27 c #Conflicts: 2075000 | #Constraints: 79592
929.64/938.27 c #Conflicts: 2076000 | #Constraints: 80635
929.64/938.27 c #Conflicts: 2077000 | #Constraints: 81676
929.64/938.27 c #Conflicts: 2078000 | #Constraints: 82707
929.64/938.27 c #Conflicts: 2079000 | #Constraints: 83744
929.64/938.27 c #Conflicts: 2080000 | #Constraints: 84784
929.64/938.27 c #Conflicts: 2081000 | #Constraints: 85834
929.64/938.27 c #Conflicts: 2082000 | #Constraints: 86874
929.64/938.27 c #Conflicts: 2083000 | #Constraints: 87916
929.64/938.27 c #Conflicts: 2084000 | #Constraints: 88963
929.64/938.27 c #Conflicts: 2085000 | #Constraints: 90006
929.64/938.27 c #Conflicts: 2086000 | #Constraints: 91056
929.64/938.27 c #Conflicts: 2087000 | #Constraints: 92108
929.64/938.27 c #Conflicts: 2088000 | #Constraints: 93150
929.64/938.27 c #Conflicts: 2089000 | #Constraints: 94203
929.64/938.27 c #Conflicts: 2090000 | #Constraints: 95246
929.64/938.27 c #Conflicts: 2091000 | #Constraints: 96291
929.64/938.27 c #Conflicts: 2092000 | #Constraints: 97336
929.64/938.27 c #Conflicts: 2093000 | #Constraints: 98378
929.64/938.27 c #Conflicts: 2094000 | #Constraints: 99419
929.64/938.27 c #Conflicts: 2095000 | #Constraints: 100461
929.64/938.27 c #Conflicts: 2096000 | #Constraints: 101508
929.64/938.27 c #Conflicts: 2097000 | #Constraints: 102546
929.64/938.27 c #Conflicts: 2098000 | #Constraints: 103593
929.64/938.27 c #Conflicts: 2099000 | #Constraints: 104636
929.64/938.27 c #Conflicts: 2100000 | #Constraints: 105688
929.64/938.27 c #Conflicts: 2101000 | #Constraints: 106734
929.64/938.27 c #Conflicts: 2102000 | #Constraints: 107782
929.64/938.27 c #Conflicts: 2103000 | #Constraints: 108828
929.64/938.27 c #Conflicts: 2104000 | #Constraints: 109872
929.64/938.27 c #Conflicts: 2105000 | #Constraints: 110908
929.64/938.27 c #Conflicts: 2106000 | #Constraints: 111951
929.64/938.27 c #Conflicts: 2107000 | #Constraints: 112990
929.64/938.27 c #Conflicts: 2108000 | #Constraints: 114026
929.64/938.27 c #Conflicts: 2109000 | #Constraints: 115065
1038.74/1047.60 c #Conflicts: 2110000 | #Constraints: 116104
1038.74/1047.60 c #Conflicts: 2111000 | #Constraints: 117149
1038.74/1047.60 c #Conflicts: 2112000 | #Constraints: 118186
1038.74/1047.60 c #Conflicts: 2113000 | #Constraints: 119231
1038.74/1047.60 c #Conflicts: 2114000 | #Constraints: 120271
1038.74/1047.60 c #Conflicts: 2115000 | #Constraints: 121314
1038.74/1047.60 c #Conflicts: 2116000 | #Constraints: 122354
1038.74/1047.60 c #Conflicts: 2117000 | #Constraints: 123395
1038.74/1047.60 c #Conflicts: 2118000 | #Constraints: 124439
1038.74/1047.60 c #Conflicts: 2119000 | #Constraints: 125485
1038.74/1047.60 c #Conflicts: 2120000 | #Constraints: 126527
1038.74/1047.60 c #Conflicts: 2121000 | #Constraints: 127564
1038.74/1047.60 c #Conflicts: 2122000 | #Constraints: 128597
1038.74/1047.60 c #Conflicts: 2123000 | #Constraints: 129632
1038.74/1047.60 c #Conflicts: 2124000 | #Constraints: 130667
1038.74/1047.60 c #Conflicts: 2125000 | #Constraints: 131701
1038.74/1047.60 c #Conflicts: 2126000 | #Constraints: 132731
1038.74/1047.60 c #Conflicts: 2127000 | #Constraints: 133773
1038.74/1047.60 c #Conflicts: 2128000 | #Constraints: 134810
1038.74/1047.60 c #Conflicts: 2129000 | #Constraints: 135856
1038.74/1047.60 c #Conflicts: 2130000 | #Constraints: 136902
1038.74/1047.60 c #Conflicts: 2131000 | #Constraints: 137948
1038.74/1047.60 c #Conflicts: 2132000 | #Constraints: 138990
1038.74/1047.60 c #Conflicts: 2133000 | #Constraints: 140033
1038.74/1047.60 c #Conflicts: 2134000 | #Constraints: 141075
1038.74/1047.60 c #Conflicts: 2135000 | #Constraints: 142127
1038.74/1047.60 c #Conflicts: 2136000 | #Constraints: 143170
1038.74/1047.60 c #Conflicts: 2137000 | #Constraints: 144210
1038.74/1047.60 c #Conflicts: 2138000 | #Constraints: 145256
1038.74/1047.60 c #Conflicts: 2139000 | #Constraints: 146295
1038.74/1047.60 c #Conflicts: 2140000 | #Constraints: 147336
1038.74/1047.60 c #Conflicts: 2141000 | #Constraints: 148380
1038.74/1047.60 c #Conflicts: 2142000 | #Constraints: 149425
1038.74/1047.60 c #Conflicts: 2143000 | #Constraints: 150475
1038.74/1047.60 c #Conflicts: 2144000 | #Constraints: 151515
1038.74/1047.60 c #Conflicts: 2145000 | #Constraints: 152559
1038.74/1047.60 c #Conflicts: 2146000 | #Constraints: 153601
1038.74/1047.60 c #Conflicts: 2147000 | #Constraints: 154644
1038.74/1047.60 c #Conflicts: 2148000 | #Constraints: 155689
1038.74/1047.60 c #Conflicts: 2149000 | #Constraints: 156729
1038.74/1047.60 c #Conflicts: 2150000 | #Constraints: 157775
1038.74/1047.60 c #Conflicts: 2151000 | #Constraints: 158823
1038.74/1047.60 c #Conflicts: 2152000 | #Constraints: 159863
1038.74/1047.60 c INPROCESSING
1038.74/1047.60 c GARBAGE COLLECT
1038.74/1047.60 c rational objective -35
1111.69/1120.80 c #Conflicts: 2153000 | #Constraints: 81450
1111.69/1120.80 c #Conflicts: 2154000 | #Constraints: 82470
1111.69/1120.80 c #Conflicts: 2155000 | #Constraints: 83473
1111.69/1120.80 c #Conflicts: 2156000 | #Constraints: 84473
1111.69/1120.80 c #Conflicts: 2157000 | #Constraints: 85473
1111.69/1120.80 c #Conflicts: 2158000 | #Constraints: 86473
1111.69/1120.80 c #Conflicts: 2159000 | #Constraints: 87475
1111.69/1120.80 c #Conflicts: 2160000 | #Constraints: 88475
1111.69/1120.80 c #Conflicts: 2161000 | #Constraints: 89475
1111.69/1120.80 c #Conflicts: 2162000 | #Constraints: 90477
1111.69/1120.80 c #Conflicts: 2163000 | #Constraints: 91477
1111.69/1120.80 c #Conflicts: 2164000 | #Constraints: 92477
1111.69/1120.80 c #Conflicts: 2165000 | #Constraints: 93479
1111.69/1120.80 c #Conflicts: 2166000 | #Constraints: 94480
1111.69/1120.80 c #Conflicts: 2167000 | #Constraints: 95481
1111.69/1120.80 c #Conflicts: 2168000 | #Constraints: 96481
1111.69/1120.80 c #Conflicts: 2169000 | #Constraints: 97481
1111.69/1120.80 c #Conflicts: 2170000 | #Constraints: 98483
1111.69/1120.80 c #Conflicts: 2171000 | #Constraints: 99484
1111.69/1120.80 c #Conflicts: 2172000 | #Constraints: 100484
1111.69/1120.80 c #Conflicts: 2173000 | #Constraints: 101486
1111.69/1120.80 c #Conflicts: 2174000 | #Constraints: 102487
1111.69/1120.80 c #Conflicts: 2175000 | #Constraints: 103489
1111.69/1120.80 c #Conflicts: 2176000 | #Constraints: 104489
1111.69/1120.80 c #Conflicts: 2177000 | #Constraints: 105490
1111.69/1120.80 c #Conflicts: 2178000 | #Constraints: 106491
1111.69/1120.80 c #Conflicts: 2179000 | #Constraints: 107492
1111.69/1120.80 c #Conflicts: 2180000 | #Constraints: 108494
1111.69/1120.80 c #Conflicts: 2181000 | #Constraints: 109497
1111.69/1120.80 c #Conflicts: 2182000 | #Constraints: 110499
1111.69/1120.80 c #Conflicts: 2183000 | #Constraints: 111499
1111.69/1120.80 c INPROCESSING
1111.69/1120.80 c GARBAGE COLLECT
1111.69/1120.80 c rational objective -35
1140.00/1149.23 c #Conflicts: 2184000 | #Constraints: 57071
1140.00/1149.23 c #Conflicts: 2185000 | #Constraints: 58072
1140.00/1149.23 c #Conflicts: 2186000 | #Constraints: 59076
1140.00/1149.23 c #Conflicts: 2187000 | #Constraints: 60077
1140.00/1149.23 c #Conflicts: 2188000 | #Constraints: 61077
1140.00/1149.23 c #Conflicts: 2189000 | #Constraints: 62077
1140.00/1149.23 c #Conflicts: 2190000 | #Constraints: 63077
1140.00/1149.23 c #Conflicts: 2191000 | #Constraints: 64078
1140.00/1149.23 c #Conflicts: 2192000 | #Constraints: 65079
1140.00/1149.23 c #Conflicts: 2193000 | #Constraints: 66079
1140.00/1149.23 c #Conflicts: 2194000 | #Constraints: 67082
1140.00/1149.23 c #Conflicts: 2195000 | #Constraints: 68082
1140.00/1149.23 c #Conflicts: 2196000 | #Constraints: 69085
1140.00/1149.23 c #Conflicts: 2197000 | #Constraints: 70087
1140.00/1149.23 c #Conflicts: 2198000 | #Constraints: 71087
1140.00/1149.23 c #Conflicts: 2199000 | #Constraints: 72087
1140.00/1149.23 c #Conflicts: 2200000 | #Constraints: 73089
1140.00/1149.23 c #Conflicts: 2201000 | #Constraints: 74091
1140.00/1149.23 c #Conflicts: 2202000 | #Constraints: 75093
1140.00/1149.23 c #Conflicts: 2203000 | #Constraints: 76093
1140.00/1149.23 c #Conflicts: 2204000 | #Constraints: 77094
1140.00/1149.23 c #Conflicts: 2205000 | #Constraints: 78096
1140.00/1149.23 c #Conflicts: 2206000 | #Constraints: 79097
1140.00/1149.23 c #Conflicts: 2207000 | #Constraints: 80098
1140.00/1149.23 c #Conflicts: 2208000 | #Constraints: 81100
1140.00/1149.23 c #Conflicts: 2209000 | #Constraints: 82101
1140.00/1149.23 c #Conflicts: 2210000 | #Constraints: 83102
1140.00/1149.23 c #Conflicts: 2211000 | #Constraints: 84102
1140.00/1149.23 c #Conflicts: 2212000 | #Constraints: 85102
1140.00/1149.23 c #Conflicts: 2213000 | #Constraints: 86102
1140.00/1149.23 c #Conflicts: 2214000 | #Constraints: 87102
1140.00/1149.23 c #Conflicts: 2215000 | #Constraints: 88102
1140.00/1149.23 c INPROCESSING
1140.00/1149.23 c GARBAGE COLLECT
1140.00/1149.23 c rational objective -35
1156.05/1165.34 c #Conflicts: 2216000 | #Constraints: 45582
1156.05/1165.34 c #Conflicts: 2217000 | #Constraints: 46584
1156.05/1165.34 c #Conflicts: 2218000 | #Constraints: 47585
1156.05/1165.34 c #Conflicts: 2219000 | #Constraints: 48587
1156.05/1165.34 c #Conflicts: 2220000 | #Constraints: 49587
1156.05/1165.34 c #Conflicts: 2221000 | #Constraints: 50588
1156.05/1165.34 c #Conflicts: 2222000 | #Constraints: 51588
1156.05/1165.34 c #Conflicts: 2223000 | #Constraints: 52588
1156.05/1165.34 c #Conflicts: 2224000 | #Constraints: 53589
1156.05/1165.34 c #Conflicts: 2225000 | #Constraints: 54589
1156.05/1165.34 c #Conflicts: 2226000 | #Constraints: 55589
1156.05/1165.34 c #Conflicts: 2227000 | #Constraints: 56589
1156.05/1165.34 c #Conflicts: 2228000 | #Constraints: 57590
1156.05/1165.34 c #Conflicts: 2229000 | #Constraints: 58590
1156.05/1165.34 c #Conflicts: 2230000 | #Constraints: 59592
1156.05/1165.34 c #Conflicts: 2231000 | #Constraints: 60593
1156.05/1165.34 c #Conflicts: 2232000 | #Constraints: 61593
1156.05/1165.34 c #Conflicts: 2233000 | #Constraints: 62594
1156.05/1165.34 c #Conflicts: 2234000 | #Constraints: 63594
1156.05/1165.34 c #Conflicts: 2235000 | #Constraints: 64595
1156.05/1165.34 c #Conflicts: 2236000 | #Constraints: 65596
1156.05/1165.34 c #Conflicts: 2237000 | #Constraints: 66598
1156.05/1165.34 c #Conflicts: 2238000 | #Constraints: 67599
1156.05/1165.34 c #Conflicts: 2239000 | #Constraints: 68601
1156.05/1165.34 c #Conflicts: 2240000 | #Constraints: 69603
1156.05/1165.34 c #Conflicts: 2241000 | #Constraints: 70605
1156.05/1165.34 c #Conflicts: 2242000 | #Constraints: 71607
1156.05/1165.34 c #Conflicts: 2243000 | #Constraints: 72607
1156.05/1165.34 c #Conflicts: 2244000 | #Constraints: 73607
1156.05/1165.34 c #Conflicts: 2245000 | #Constraints: 74608
1156.05/1165.34 c #Conflicts: 2246000 | #Constraints: 75610
1156.05/1165.34 c #Conflicts: 2247000 | #Constraints: 76611
1156.05/1165.34 c INPROCESSING
1156.05/1165.34 c GARBAGE COLLECT
1156.05/1165.34 c rational objective -35
1168.04/1177.58 c #Conflicts: 2248000 | #Constraints: 39917
1168.04/1177.58 c #Conflicts: 2249000 | #Constraints: 40918
1168.04/1177.58 c #Conflicts: 2250000 | #Constraints: 41919
1168.04/1177.58 c #Conflicts: 2251000 | #Constraints: 42919
1168.04/1177.58 c #Conflicts: 2252000 | #Constraints: 43919
1168.04/1177.58 c #Conflicts: 2253000 | #Constraints: 44919
1168.04/1177.58 c #Conflicts: 2254000 | #Constraints: 45919
1168.04/1177.58 c #Conflicts: 2255000 | #Constraints: 46922
1168.04/1177.58 c #Conflicts: 2256000 | #Constraints: 47922
1168.04/1177.58 c #Conflicts: 2257000 | #Constraints: 48925
1168.04/1177.58 c #Conflicts: 2258000 | #Constraints: 49926
1168.04/1177.58 c #Conflicts: 2259000 | #Constraints: 50927
1168.04/1177.58 c #Conflicts: 2260000 | #Constraints: 51929
1168.04/1177.58 c #Conflicts: 2261000 | #Constraints: 52931
1168.04/1177.58 c #Conflicts: 2262000 | #Constraints: 53931
1168.04/1177.58 c #Conflicts: 2263000 | #Constraints: 54933
1168.04/1177.58 c #Conflicts: 2264000 | #Constraints: 55935
1168.04/1177.58 c #Conflicts: 2265000 | #Constraints: 56935
1168.04/1177.58 c #Conflicts: 2266000 | #Constraints: 57936
1168.04/1177.58 c #Conflicts: 2267000 | #Constraints: 58937
1168.04/1177.58 c #Conflicts: 2268000 | #Constraints: 59937
1168.04/1177.58 c #Conflicts: 2269000 | #Constraints: 60938
1168.04/1177.58 c #Conflicts: 2270000 | #Constraints: 61939
1168.04/1177.58 c #Conflicts: 2271000 | #Constraints: 62939
1168.04/1177.58 c #Conflicts: 2272000 | #Constraints: 63942
1168.04/1177.58 c #Conflicts: 2273000 | #Constraints: 64946
1168.04/1177.58 c #Conflicts: 2274000 | #Constraints: 65947
1168.04/1177.58 c #Conflicts: 2275000 | #Constraints: 66948
1168.04/1177.58 c #Conflicts: 2276000 | #Constraints: 67949
1168.04/1177.58 c #Conflicts: 2277000 | #Constraints: 68949
1168.04/1177.58 c #Conflicts: 2278000 | #Constraints: 69950
1168.04/1177.58 c #Conflicts: 2279000 | #Constraints: 70950
1168.04/1177.58 c INPROCESSING
1168.04/1177.58 c GARBAGE COLLECT
1168.04/1177.58 c rational objective -35
1178.90/1188.46 c #Conflicts: 2280000 | #Constraints: 37096
1178.90/1188.46 c #Conflicts: 2281000 | #Constraints: 38098
1178.90/1188.46 c #Conflicts: 2282000 | #Constraints: 39099
1178.90/1188.46 c #Conflicts: 2283000 | #Constraints: 40099
1178.90/1188.46 c #Conflicts: 2284000 | #Constraints: 41099
1178.90/1188.46 c #Conflicts: 2285000 | #Constraints: 42100
1178.90/1188.46 c #Conflicts: 2286000 | #Constraints: 43100
1178.90/1188.46 c #Conflicts: 2287000 | #Constraints: 44102
1178.90/1188.46 c #Conflicts: 2288000 | #Constraints: 45102
1178.90/1188.46 c #Conflicts: 2289000 | #Constraints: 46102
1178.90/1188.46 c #Conflicts: 2290000 | #Constraints: 47102
1178.90/1188.46 c #Conflicts: 2291000 | #Constraints: 48102
1178.90/1188.46 c #Conflicts: 2292000 | #Constraints: 49103
1178.90/1188.46 c #Conflicts: 2293000 | #Constraints: 50103
1178.90/1188.46 c #Conflicts: 2294000 | #Constraints: 51107
1178.90/1188.46 c #Conflicts: 2295000 | #Constraints: 52107
1178.90/1188.46 c #Conflicts: 2296000 | #Constraints: 53107
1178.90/1188.46 c #Conflicts: 2297000 | #Constraints: 54107
1178.90/1188.46 c #Conflicts: 2298000 | #Constraints: 55109
1178.90/1188.46 c #Conflicts: 2299000 | #Constraints: 56109
1178.90/1188.46 c #Conflicts: 2300000 | #Constraints: 57109
1178.90/1188.46 c #Conflicts: 2301000 | #Constraints: 58111
1178.90/1188.46 c #Conflicts: 2302000 | #Constraints: 59111
1178.90/1188.46 c #Conflicts: 2303000 | #Constraints: 60112
1178.90/1188.46 c #Conflicts: 2304000 | #Constraints: 61112
1178.90/1188.46 c #Conflicts: 2305000 | #Constraints: 62113
1178.90/1188.46 c #Conflicts: 2306000 | #Constraints: 63114
1178.90/1188.46 c #Conflicts: 2307000 | #Constraints: 64114
1178.90/1188.46 c #Conflicts: 2308000 | #Constraints: 65114
1178.90/1188.46 c #Conflicts: 2309000 | #Constraints: 66114
1178.90/1188.46 c #Conflicts: 2310000 | #Constraints: 67114
1178.90/1188.46 c #Conflicts: 2311000 | #Constraints: 68116
1178.90/1188.46 c INPROCESSING
1178.90/1188.46 c GARBAGE COLLECT
1178.90/1188.46 c rational objective -35
1214.42/1224.17 c #Conflicts: 2312000 | #Constraints: 35580
1214.42/1224.17 c #Conflicts: 2313000 | #Constraints: 36583
1214.42/1224.17 c #Conflicts: 2314000 | #Constraints: 37585
1214.42/1224.17 c #Conflicts: 2315000 | #Constraints: 38585
1214.42/1224.17 c #Conflicts: 2316000 | #Constraints: 39590
1214.42/1224.17 c #Conflicts: 2317000 | #Constraints: 40590
1214.42/1224.17 c #Conflicts: 2318000 | #Constraints: 41590
1214.42/1224.17 c #Conflicts: 2319000 | #Constraints: 42590
1214.42/1224.17 c #Conflicts: 2320000 | #Constraints: 43590
1214.42/1224.17 c #Conflicts: 2321000 | #Constraints: 44593
1214.42/1224.17 c #Conflicts: 2322000 | #Constraints: 45597
1214.42/1224.17 c #Conflicts: 2323000 | #Constraints: 46597
1214.42/1224.17 c #Conflicts: 2324000 | #Constraints: 47598
1214.42/1224.17 c #Conflicts: 2325000 | #Constraints: 48599
1214.42/1224.17 c #Conflicts: 2326000 | #Constraints: 49599
1214.42/1224.17 c #Conflicts: 2327000 | #Constraints: 50599
1214.42/1224.17 c #Conflicts: 2328000 | #Constraints: 51601
1214.42/1224.17 c #Conflicts: 2329000 | #Constraints: 52603
1214.42/1224.17 c #Conflicts: 2330000 | #Constraints: 53605
1214.42/1224.17 c #Conflicts: 2331000 | #Constraints: 54606
1214.42/1224.17 c #Conflicts: 2332000 | #Constraints: 55607
1214.42/1224.17 c #Conflicts: 2333000 | #Constraints: 56612
1214.42/1224.17 c #Conflicts: 2334000 | #Constraints: 57612
1214.42/1224.17 c #Conflicts: 2335000 | #Constraints: 58614
1214.42/1224.17 c #Conflicts: 2336000 | #Constraints: 59615
1214.42/1224.17 c #Conflicts: 2337000 | #Constraints: 60617
1214.42/1224.17 c #Conflicts: 2338000 | #Constraints: 61617
1214.42/1224.17 c #Conflicts: 2339000 | #Constraints: 62618
1214.42/1224.17 c #Conflicts: 2340000 | #Constraints: 63618
1214.42/1224.17 c #Conflicts: 2341000 | #Constraints: 64618
1214.42/1224.17 c #Conflicts: 2342000 | #Constraints: 65618
1214.42/1224.17 c #Conflicts: 2343000 | #Constraints: 66619
1214.42/1224.17 c #Conflicts: 2344000 | #Constraints: 67621
1214.42/1224.17 c #Conflicts: 2345000 | #Constraints: 68622
1214.42/1224.17 c #Conflicts: 2346000 | #Constraints: 69622
1214.42/1224.17 c #Conflicts: 2347000 | #Constraints: 70622
1214.42/1224.17 c #Conflicts: 2348000 | #Constraints: 71622
1214.42/1224.17 c #Conflicts: 2349000 | #Constraints: 72622
1214.42/1224.17 c #Conflicts: 2350000 | #Constraints: 73622
1214.42/1224.17 c #Conflicts: 2351000 | #Constraints: 74623
1214.42/1224.17 c #Conflicts: 2352000 | #Constraints: 75623
1214.42/1224.17 c #Conflicts: 2353000 | #Constraints: 76627
1214.42/1224.17 c #Conflicts: 2354000 | #Constraints: 77629
1214.42/1224.17 c #Conflicts: 2355000 | #Constraints: 78630
1214.42/1224.17 c #Conflicts: 2356000 | #Constraints: 79631
1214.42/1224.17 c #Conflicts: 2357000 | #Constraints: 80632
1214.42/1224.17 c #Conflicts: 2358000 | #Constraints: 81632
1214.42/1224.17 c #Conflicts: 2359000 | #Constraints: 82634
1214.42/1224.17 c #Conflicts: 2360000 | #Constraints: 83634
1214.42/1224.17 c #Conflicts: 2361000 | #Constraints: 84638
1214.42/1224.17 c #Conflicts: 2362000 | #Constraints: 85640
1214.42/1224.17 c #Conflicts: 2363000 | #Constraints: 86641
1214.42/1224.17 c #Conflicts: 2364000 | #Constraints: 87641
1214.42/1224.17 c #Conflicts: 2365000 | #Constraints: 88641
1214.42/1224.17 c #Conflicts: 2366000 | #Constraints: 89641
1214.42/1224.17 c #Conflicts: 2367000 | #Constraints: 90642
1214.42/1224.17 c #Conflicts: 2368000 | #Constraints: 91643
1214.42/1224.17 c #Conflicts: 2369000 | #Constraints: 92643
1214.42/1224.17 c #Conflicts: 2370000 | #Constraints: 93643
1214.42/1224.17 c #Conflicts: 2371000 | #Constraints: 94643
1214.42/1224.17 c #Conflicts: 2372000 | #Constraints: 95644
1214.42/1224.17 c #Conflicts: 2373000 | #Constraints: 96646
1214.42/1224.17 c #Conflicts: 2374000 | #Constraints: 97647
1214.42/1224.17 c #Conflicts: 2375000 | #Constraints: 98647
1214.42/1224.17 c #Conflicts: 2376000 | #Constraints: 99647
1214.42/1224.17 c #Conflicts: 2377000 | #Constraints: 100649
1214.42/1224.17 c #Conflicts: 2378000 | #Constraints: 101649
1214.42/1224.17 c #Conflicts: 2379000 | #Constraints: 102650
1214.42/1224.17 c #Conflicts: 2380000 | #Constraints: 103651
1214.42/1224.17 c #Conflicts: 2381000 | #Constraints: 104652
1214.42/1224.17 c #Conflicts: 2382000 | #Constraints: 105656
1214.42/1224.17 c #Conflicts: 2383000 | #Constraints: 106656
1214.42/1224.17 c #Conflicts: 2384000 | #Constraints: 107659
1214.42/1224.17 c #Conflicts: 2385000 | #Constraints: 108659
1214.42/1224.17 c #Conflicts: 2386000 | #Constraints: 109659
1214.42/1224.17 c #Conflicts: 2387000 | #Constraints: 110659
1214.42/1224.17 c #Conflicts: 2388000 | #Constraints: 111660
1214.42/1224.17 c #Conflicts: 2389000 | #Constraints: 112662
1214.42/1224.17 c #Conflicts: 2390000 | #Constraints: 113663
1224.86/1234.63 c #Conflicts: 2391000 | #Constraints: 114664
1224.86/1234.63 c #Conflicts: 2392000 | #Constraints: 115665
1224.86/1234.63 c #Conflicts: 2393000 | #Constraints: 116665
1224.86/1234.63 c #Conflicts: 2394000 | #Constraints: 117666
1224.86/1234.63 c #Conflicts: 2395000 | #Constraints: 118667
1224.86/1234.63 c #Conflicts: 2396000 | #Constraints: 119667
1224.86/1234.63 c #Conflicts: 2397000 | #Constraints: 120670
1224.86/1234.63 c #Conflicts: 2398000 | #Constraints: 121672
1224.86/1234.63 c #Conflicts: 2399000 | #Constraints: 122673
1224.86/1234.63 c #Conflicts: 2400000 | #Constraints: 123676
1224.86/1234.63 c #Conflicts: 2401000 | #Constraints: 124677
1224.86/1234.63 c #Conflicts: 2402000 | #Constraints: 125677
1224.86/1234.63 c #Conflicts: 2403000 | #Constraints: 126677
1224.86/1234.63 c #Conflicts: 2404000 | #Constraints: 127678
1224.86/1234.63 c #Conflicts: 2405000 | #Constraints: 128681
1224.86/1234.63 c bounds -33 >= -34 @ 1208.81
1232.04/1241.80 c #Conflicts: 2406000 | #Constraints: 129700
1232.04/1241.80 c #Conflicts: 2407000 | #Constraints: 130704
1232.04/1241.80 c #Conflicts: 2408000 | #Constraints: 131710
1232.04/1241.80 c #Conflicts: 2409000 | #Constraints: 132715
1232.04/1241.80 c #Conflicts: 2410000 | #Constraints: 133718
1232.04/1241.80 c #Conflicts: 2411000 | #Constraints: 134720
1232.04/1241.80 c #Conflicts: 2412000 | #Constraints: 135724
1232.04/1241.80 c #Conflicts: 2413000 | #Constraints: 136728
1232.04/1241.80 c #Conflicts: 2414000 | #Constraints: 137729
1232.04/1241.80 c #Conflicts: 2415000 | #Constraints: 138731
1232.04/1241.80 c bounds -34 >= -34 @ 1215.9
1232.04/1241.80 c cpu time 1215.9 s
1232.04/1241.80 c deterministic time 62584685171 6.26e+10
1232.04/1241.80 c optimization time 0.009334 s
1232.04/1241.80 c total solve time 1215.88 s
1232.04/1241.80 c core-guided solve time 686.961 s
1232.04/1241.80 c propagation time 986.789 s
1232.04/1241.80 c conflict analysis time 208.049 s
1232.04/1241.80 c propagations 153328116
1232.04/1241.80 c resolve steps 37285057
1232.04/1241.80 c decisions 2913456
1232.04/1241.80 c conflicts 2415053
1232.04/1241.80 c restarts 4094
1232.04/1241.80 c inprocessing phases 107
1232.04/1241.80 c garbage collections 107 ,( 100.00 )
1232.04/1241.80 c input clauses 978 ,( 67.82 )
1232.04/1241.80 c input cardinalities 342 ,( 23.72 )
1232.04/1241.80 c input general constraints 122 ,( 8.46 )
1232.04/1241.80 c input average constraint length 13.10
1232.04/1241.80 c input average constraint degree 5.12
1232.04/1241.80 c learned clauses 1946810 ,( 79.37 )
1232.04/1241.80 c learned cardinalities 160143 ,( 6.53 )
1232.04/1241.80 c learned general constraints 345995 ,( 14.11 )
1232.04/1241.80 c learned average constraint length 59.11
1232.04/1241.80 c learned average constraint degree 8958375.21
1232.04/1241.80 c watched CF 32, 64, 128, Arb: 298194 , 0 , 0 , 0
1232.04/1241.80 c counting CF 32, 64, 128, Arb: 47924 , 0 , 0 , 0
1232.04/1241.80 c watched constraints 298194 ,( 86.15 )
1232.04/1241.80 c counting constraints 47923 ,( 13.85 )
1232.04/1241.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3208140664 , 5275798071 , 2066850889 ,( 436328647 , 1630522242 )
1232.04/1241.80 c gcd simplifications 72359
1232.04/1241.80 c detected cardinalities 45380
1232.04/1241.80 c weakened non-implied lits 19372331
1232.04/1241.80 c weakened non-implying lits 59360
1232.04/1241.80 c original variables 126
1232.04/1241.80 c clausal propagations 100530029
1232.04/1241.80 c cardinality propagations 12286874
1232.04/1241.80 c watched propagations 1531686
1232.04/1241.80 c counting propagations 35982517
1232.04/1241.80 c watch lookups 34125303887
1232.04/1241.80 c watch backjump lookups 0
1232.04/1241.80 c watch checks 25298614764
1232.04/1241.80 c propagation checks 2348170283
1232.04/1241.80 c constraint additions 495318781
1232.04/1241.80 c trail pops 158618994
1232.04/1241.80 c formula constraints 788
1232.04/1241.80 c learned constraints 2377441
1232.04/1241.80 c bound constraints 115
1232.04/1241.80 c core-guided constraints 539
1232.04/1241.80 c encountered formula constraints 10201523
1232.04/1241.80 c encountered learned constraints 19409788
1232.04/1241.80 c encountered bound constraints 1101
1232.04/1241.80 c encountered core-guided constraints 9474330
1232.04/1241.80 c LP total time 48.0277 s
1232.04/1241.80 c LP solve time 41.1 s
1232.04/1241.80 c LP constraints added 1256
1232.04/1241.80 c LP constraints removed 463
1232.04/1241.80 c LP pivots internal 2415066
1232.04/1241.80 c LP pivots root 1823
1232.04/1241.80 c LP calls 104478
1232.04/1241.80 c LP optimalities 66861
1232.04/1241.80 c LP no pivot count 19450
1232.04/1241.80 c LP infeasibilities 37617
1232.04/1241.80 c LP valid Farkas constraints 37617
1232.04/1241.80 c LP learned Farkas constraints 37617
1232.04/1241.80 c LP basis resets 0
1232.04/1241.80 c LP cycling count 0
1232.04/1241.80 c LP singular count 0
1232.04/1241.80 c LP no primal count 0
1232.04/1241.80 c LP no farkas count 0
1232.04/1241.80 c LP other issue count 0
1232.04/1241.80 c LP Gomory cuts 273
1232.04/1241.80 c LP learned cuts 195
1232.04/1241.80 c LP deleted cuts 463
1232.04/1241.80 c LP encountered Gomory constraints 8227
1232.04/1241.80 c LP encountered Farkas constraints 455392
1232.04/1241.80 c LP encountered learned Farkas constraints 112132
1232.04/1241.80 c CG auxiliary variables introduced 210
1232.04/1241.80 c CG solutions found 15
1232.04/1241.80 c CG cores constructed 91
1232.04/1241.80 c CG core cardinality constraints returned 0
1232.04/1241.80 c CG unit cores 0
1232.04/1241.80 c CG single cores 91
1232.04/1241.80 c CG blocks removed during cardinality reduction 0
1232.04/1241.80 c CG first core best 0
1232.04/1241.80 c CG decision core best 0
1232.04/1241.80 c CG core reduction tie 0
1232.04/1241.80 c CG core degree average 1.00
1232.04/1241.80 c CG core slack average 2.59
1232.04/1241.80 c CG core upper bound improvements 0
1232.04/1241.80 c STR number of successful calls 0
1232.04/1241.80 c STR number of unsuccessful calls 0
1232.04/1241.80 c STR number of inconclusive calls 0
1232.04/1241.80 c STR number of successful attempts 0
1232.04/1241.80 c STR number of unsuccessful attempts 0
1232.04/1241.80 c STR number of inconclusive attempts 0
1232.04/1241.80 c STR average degree increase per successful call inf
1232.04/1241.80 c STR average degree increase per successful attempt inf
1232.04/1241.80 c STR total number of conflicts for successful attempts 0
1232.04/1241.80 c STR total number of conflicts for unsuccessful attempts 0
1232.04/1241.80 c STR total number of conflicts for inconclusive attempts 0
1232.04/1241.80 c STR average number of conflicts per successful attempt inf
1232.04/1241.80 c STR average number of conflicts per unsuccessful attempt inf
1232.04/1241.80 c STR average number of conflicts per inconclusive attempt inf
1232.04/1241.80 c AVG.sumWPerc 21.12
1232.04/1241.80 c bigint constraints 0
1232.04/1241.80 o -34
1232.04/1241.80 s OPTIMUM FOUND
1232.04/1241.83 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: 63665 MiB (61859 MiB free)
memory of node 1: 64507 MiB (63387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532269-1752600329/watcher-4532269-1752600329 -o /tmp/evaluation-result-4532269-1752600329/solver-4532269-1752600329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752600329-138233 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532269-1752600329.opb PROOFDIR/proof-4532269-1752600329
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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.el9_5.x86_64
Starting watchdog thread
solver pid=138259, runsolver pid=138253
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.10 3.49 3.91 4/262 138269
/proc/meminfo: memFree=128204320/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=57608 memory=14388 CPUtime=0.07 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 1064 0 0 0 7 0 0 0 20 0 1 0 175712505 58990592 3597 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 14402 3597 2368 1147 0 1828 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61800 KiB
Current children cumulated memory: 17460 KiB
[startup+0.20555 s]*
/proc/loadavg: 2.10 3.49 3.91 4/262 138269
/proc/meminfo: memFree=128152156/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=58404 memory=15028 CPUtime=0.17 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 1235 0 0 0 16 1 0 0 20 0 1 0 175712505 59805696 3757 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 14601 3757 2368 1147 0 2027 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62596 KiB
Current children cumulated memory: 18100 KiB
[startup+0.305487 s]*
/proc/loadavg: 2.10 3.49 3.91 4/262 138269
/proc/meminfo: memFree=128091864/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=58940 memory=15540 CPUtime=0.27 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 1366 0 0 0 25 2 0 0 20 0 1 0 175712505 60354560 3885 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 14735 3885 2368 1147 0 2161 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63132 KiB
Current children cumulated memory: 18612 KiB
[startup+0.700173 s]
/proc/loadavg: 2.10 3.49 3.91 4/262 138269
/proc/meminfo: memFree=127978840/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=60060 memory=16820 CPUtime=0.66 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 1658 0 0 0 62 4 0 0 20 0 1 0 175712505 61501440 4205 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 15015 4205 2368 1147 0 2441 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 64252 KiB
Current children cumulated memory: 19892 KiB
[startup+1.50018 s]
/proc/loadavg: 2.10 3.49 3.91 4/260 138270
/proc/meminfo: memFree=127950872/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=61156 memory=17588 CPUtime=1.46 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 1875 0 0 0 138 8 0 0 20 0 1 0 175712505 62623744 4397 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 15289 4397 2368 1147 0 2715 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65348 KiB
Current children cumulated memory: 20660 KiB
[startup+3.10542 s]
/proc/loadavg: 2.17 3.48 3.91 4/266 138281
/proc/meminfo: memFree=127088784/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=62432 memory=18868 CPUtime=3.06 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 2196 0 0 0 291 15 0 0 20 0 1 0 175712505 63930368 4717 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 15608 4717 2368 1147 0 3034 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66624 KiB
Current children cumulated memory: 21940 KiB
[startup+6.30019 s]
/proc/loadavg: 2.17 3.48 3.91 4/266 138281
/proc/meminfo: memFree=125818236/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=63884 memory=22244 CPUtime=6.25 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 2523 0 0 0 597 28 0 0 20 0 1 0 175712505 65417216 5561 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 15971 5561 2368 1147 0 3397 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 68076 KiB
Current children cumulated memory: 25316 KiB
[startup+12.7002 s]
/proc/loadavg: 2.30 3.46 3.90 4/266 138282
/proc/meminfo: memFree=126469672/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=66044 memory=24292 CPUtime=12.63 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 3020 0 0 0 1211 52 0 0 20 0 1 0 175712505 67629056 6073 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 16511 6073 2368 1147 0 3937 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 27364 KiB
[startup+25.5002 s]
/proc/loadavg: 2.41 3.45 3.89 4/266 138283
/proc/meminfo: memFree=125068724/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=69788 memory=27236 CPUtime=25.32 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 3777 0 0 0 2436 96 0 0 20 0 1 0 175712505 71462912 6809 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 17447 6809 2368 1147 0 4873 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 73980 KiB
Current children cumulated memory: 30308 KiB
[startup+51.1056 s]
/proc/loadavg: 2.75 3.44 3.87 4/266 138283
/proc/meminfo: memFree=125118936/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=102168 memory=56780 CPUtime=50.82 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 9729 0 0 0 4937 145 0 0 20 0 1 0 175712505 104620032 14195 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 25542 14195 2368 1147 0 12968 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 106360 KiB
Current children cumulated memory: 59852 KiB
[startup+102.3 s]
/proc/loadavg: 2.96 3.38 3.83 4/267 138286
/proc/meminfo: memFree=125019180/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=119052 memory=65248 CPUtime=98.24 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 11634 0 0 0 9590 234 0 0 20 0 1 0 175712505 121909248 16312 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 29763 16312 2368 1147 0 17189 0
Current children cumulated CPU time: 98.24 s
Current children cumulated vsize: 123244 KiB
Current children cumulated memory: 68320 KiB
[startup+162.3 s]
/proc/loadavg: 3.03 3.32 3.78 4/266 138288
/proc/meminfo: memFree=124464932/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=124312 memory=70708 CPUtime=157.78 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 13690 0 0 0 15396 382 0 0 20 0 1 0 175712505 127295488 17677 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 31078 17677 2368 1147 0 18504 0
Current children cumulated CPU time: 157.78 s
Current children cumulated vsize: 128504 KiB
Current children cumulated memory: 73780 KiB
[startup+222.3 s]
/proc/loadavg: 3.04 3.28 3.73 4/260 138317
/proc/meminfo: memFree=126829576/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=143244 memory=93052 CPUtime=217.58 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 17572 0 0 0 21321 437 0 0 20 0 1 0 175712505 146681856 23263 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 35811 23263 2368 1147 0 23237 0
################
# More data... #
################
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 29270 0 0 0 97947 1409 0 0 20 0 1 0 175712505 247578624 40554 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 60444 40554 2368 1147 0 47870 0
Current children cumulated CPU time: 993.56 s
Current children cumulated vsize: 245968 KiB
Current children cumulated memory: 165288 KiB
[startup+1062.3 s]
/proc/loadavg: 2.09 2.16 2.74 3/256 138366
/proc/meminfo: memFree=126855680/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=251688 memory=177776 CPUtime=1053.39 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32222 0 0 0 103909 1430 0 0 20 0 1 0 175712505 257728512 44444 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 62922 44444 2368 1147 0 50348 0
Current children cumulated CPU time: 1053.39 s
Current children cumulated vsize: 255880 KiB
Current children cumulated memory: 180848 KiB
[startup+1122.3 s]
/proc/loadavg: 2.14 2.16 2.70 3/256 138368
/proc/meminfo: memFree=126819860/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=183024 CPUtime=1113.18 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32414 0 0 0 109868 1450 0 0 20 0 1 0 175712505 258625536 45756 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 45756 2368 1147 0 50567 0
Current children cumulated CPU time: 1113.18 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 186096 KiB
[startup+1182.3 s]
/proc/loadavg: 2.10 2.14 2.66 3/256 138370
/proc/meminfo: memFree=126766792/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=183920 CPUtime=1172.82 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32415 0 0 0 115754 1528 0 0 20 0 1 0 175712505 258625536 45980 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 45980 2368 1147 0 50567 0
Current children cumulated CPU time: 1172.82 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 186992 KiB
[startup+1241.83 s]
# the end of solver process 138259 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1215.91 s, system=16.1636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 2.15 2.15 2.65 3/256 138373
/proc/meminfo: memFree=126729816/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1193.57 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 117790 1567 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1193.57 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1228.8 s]
/proc/loadavg: 2.10 2.14 2.63 3/256 138373
/proc/meminfo: memFree=126705624/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1219.1 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 120307 1603 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1219.1 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1235.2 s]
/proc/loadavg: 2.09 2.13 2.63 3/256 138373
/proc/meminfo: memFree=126697512/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1225.46 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 120937 1609 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1225.46 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1238.4 s]
/proc/loadavg: 2.08 2.13 2.62 3/256 138373
/proc/meminfo: memFree=126689448/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1228.64 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 121252 1612 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1228.64 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1240 s]*
/proc/loadavg: 2.08 2.13 2.62 3/256 138373
/proc/meminfo: memFree=126689448/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1230.25 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 121411 1614 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1230.25 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1240.8 s]
/proc/loadavg: 2.08 2.13 2.62 3/256 138373
/proc/meminfo: memFree=126689448/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1231.04 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 121490 1614 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1231.04 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1241.6 s]
/proc/loadavg: 2.08 2.13 2.62 3/256 138373
/proc/meminfo: memFree=126689448/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1231.84 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 121569 1615 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1231.84 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
[startup+1241.8 s]
/proc/loadavg: 2.08 2.13 2.62 3/256 138373
/proc/meminfo: memFree=126689448/131249996 swapFree=33005016/33010684
[pid=138259] ppid=138253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/138259/stat : 138259 (run-opt-ls-log.) S 138253 138259 137734 0 -1 4194304 241 307 0 0 0 0 0 0 20 0 1 0 175712503 4292608 768 18446744073709551615 94418890248192 94418891142725 140734494544320 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94418891381776 94418891429520 94418902433792 140734494550297 140734494550495 140734494550495 140734494556099 0
/proc/138259/statm: 1048 768 704 219 0 110 0
[pid=138263] ppid=138259 vsize=252564 memory=185456 CPUtime=1232.04 cores=1,3
/proc/138263/stat : 138263 (roundingsat) R 138259 138259 137734 0 -1 4194304 32417 0 0 0 121589 1615 0 0 20 0 1 0 175712505 258625536 46364 18446744073709551615 4227072 8923577 140722277679056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13082624 140722277685492 140722277685798 140722277685798 140722277691370 0
/proc/138263/statm: 63141 46364 2368 1147 0 50567 0
Current children cumulated CPU time: 1232.04 s
Current children cumulated vsize: 256756 KiB
Current children cumulated memory: 188528 KiB
Child status: 0
Real time (s): 1241.83
CPU time (s): 1232.07
CPU user time (s): 1215.91
CPU system time (s): 16.1636
CPU usage (%): 99.2138
Max. virtual memory (cumulated for all children) (KiB): 256756
Max. memory (cumulated for all children) (KiB): 188528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1215.91
system time used= 16.1636
maximum resident set size= 185456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2210272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 695
involuntary context switches= 1672
# summary of solver processes directly reported to runsolver:
# pid: 138259
# total CPU time (s): 1232.07
# total CPU user time (s): 1215.91
# total CPU system time (s): 16.1636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37713 second user time and 5.56357 second system time
The end
Begin job on nodeC030 at 2025-07-15 19:25:29
IDJOB=4532269
IDBENCH=180666
IDSOLVER=3392
FILE ID=nodeC030/4532269-1752600329
RUNJOBID= nodeC030-1752600329-138233
SLURM_JOB_ID= 9684375
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4532269-1752600329/watcher-4532269-1752600329 -o /tmp/evaluation-result-4532269-1752600329/solver-4532269-1752600329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752600329-138233 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532269-1752600329.opb PROOFDIR/proof-4532269-1752600329
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=792556249
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.328
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 : 7000.62
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 : 3600.199
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 : 7000.62
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 : 3447.718
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 : 7000.62
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 : 3600.329
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 : 7000.62
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 : 3480.484
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 : 7000.62
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.325
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 : 7000.62
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 : 3601.542
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 : 7000.62
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 : 3541.466
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128275952 kB
MemAvailable: 129664136 kB
Buffers: 16 kB
Cached: 2179468 kB
SwapCached: 228 kB
Active: 389600 kB
Inactive: 1859676 kB
Active(anon): 31916 kB
Inactive(anon): 59620 kB
Active(file): 357684 kB
Inactive(file): 1800056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23020 kB
Writeback: 0 kB
AnonPages: 73008 kB
Mapped: 102796 kB
Shmem: 21744 kB
KReclaimable: 138964 kB
Slab: 232612 kB
SReclaimable: 138964 kB
SUnreclaim: 93648 kB
KernelStack: 4240 kB
PageTables: 2812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 348256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC030 at 2025-07-15 19:46:11