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-4496041-1751157620.opb'
0.00/0.01 c read 0.00MB (0.14ms)
0.00/0.01 c [cnf: #variables 86 #clauses 2 #duplicates 0 #arr 172]
0.00/0.01 c output proof to 'PROOFDIR/proof-4496041-1751157620'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.08ms)
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.03ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 346 #edges 860]
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.06ms)
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-4496041-1751157620.opb.pre'
0.00/0.01 c wrote 0.00MB (0.06ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.69ms 64.49% other
0.00/0.01 c 0.14ms 13.32% parse
0.00/0.01 c 0.08ms 7.17% approx_orbits
0.00/0.01 c 0.06ms 5.85% output
0.00/0.01 c 0.06ms 5.61% detect_generic
0.00/0.01 c 0.03ms 3.05% detect_special
0.00/0.01 c 0.01ms 0.51% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.07ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 86 #constraints 2
0.00/0.02 c rational objective 1.25844
0.18/0.24 c #Conflicts: 1000 | #Constraints: 1052
0.18/0.24 c #Conflicts: 2000 | #Constraints: 2154
0.18/0.24 c INPROCESSING
0.18/0.24 c GARBAGE COLLECT
0.18/0.24 c rational objective 2
0.48/0.59 c #Conflicts: 3000 | #Constraints: 2189
0.48/0.59 c #Conflicts: 4000 | #Constraints: 3293
0.48/0.59 c INPROCESSING
0.48/0.59 c GARBAGE COLLECT
0.48/0.59 c rational objective 2
0.87/0.98 c #Conflicts: 5000 | #Constraints: 2557
0.87/0.98 c #Conflicts: 6000 | #Constraints: 3557
0.87/0.98 c INPROCESSING
0.87/0.98 c GARBAGE COLLECT
0.87/0.98 c rational objective 2
1.37/1.45 c #Conflicts: 7000 | #Constraints: 2484
1.37/1.45 c #Conflicts: 8000 | #Constraints: 3484
1.37/1.45 c #Conflicts: 9000 | #Constraints: 4588
1.37/1.45 c INPROCESSING
1.37/1.45 c GARBAGE COLLECT
1.37/1.45 c rational objective 2
2.07/2.11 c #Conflicts: 10000 | #Constraints: 3285
2.07/2.11 c #Conflicts: 11000 | #Constraints: 4384
2.07/2.11 c #Conflicts: 12000 | #Constraints: 5497
2.07/2.11 c INPROCESSING
2.07/2.11 c GARBAGE COLLECT
2.07/2.11 c rational objective 2
2.76/2.83 c #Conflicts: 13000 | #Constraints: 3863
2.76/2.83 c #Conflicts: 14000 | #Constraints: 5006
2.76/2.83 c #Conflicts: 15000 | #Constraints: 6178
2.76/2.83 c INPROCESSING
2.76/2.83 c GARBAGE COLLECT
2.76/2.83 c rational objective 2
3.56/3.64 c #Conflicts: 16000 | #Constraints: 4156
3.56/3.64 c #Conflicts: 17000 | #Constraints: 5244
3.56/3.64 c #Conflicts: 18000 | #Constraints: 6328
3.56/3.64 c INPROCESSING
3.56/3.64 c GARBAGE COLLECT
3.56/3.64 c rational objective 2
4.46/4.53 c #Conflicts: 19000 | #Constraints: 4113
4.46/4.53 c #Conflicts: 20000 | #Constraints: 5206
4.46/4.53 c #Conflicts: 21000 | #Constraints: 6242
4.46/4.53 c INPROCESSING
4.46/4.53 c GARBAGE COLLECT
4.46/4.53 c rational objective 2.00014
5.45/5.50 c #Conflicts: 22000 | #Constraints: 3856
5.45/5.50 c #Conflicts: 23000 | #Constraints: 4916
5.45/5.50 c #Conflicts: 24000 | #Constraints: 5965
5.45/5.50 c #Conflicts: 25000 | #Constraints: 7015
5.45/5.50 c INPROCESSING
5.45/5.50 c GARBAGE COLLECT
5.45/5.50 c rational objective 2.00007
6.55/6.63 c #Conflicts: 26000 | #Constraints: 4490
6.55/6.63 c #Conflicts: 27000 | #Constraints: 5526
6.55/6.63 c #Conflicts: 28000 | #Constraints: 6526
6.55/6.63 c #Conflicts: 29000 | #Constraints: 7526
6.55/6.63 c INPROCESSING
6.55/6.63 c GARBAGE COLLECT
6.55/6.63 c rational objective 2
7.95/8.03 c #Conflicts: 30000 | #Constraints: 4869
7.95/8.03 c #Conflicts: 31000 | #Constraints: 5964
7.95/8.03 c #Conflicts: 32000 | #Constraints: 7087
7.95/8.03 c #Conflicts: 33000 | #Constraints: 8184
7.95/8.03 c INPROCESSING
7.95/8.03 c GARBAGE COLLECT
7.95/8.03 c rational objective 2
9.44/9.50 c #Conflicts: 34000 | #Constraints: 5172
9.44/9.50 c #Conflicts: 35000 | #Constraints: 6243
9.44/9.50 c #Conflicts: 36000 | #Constraints: 7366
9.44/9.50 c #Conflicts: 37000 | #Constraints: 8495
9.44/9.50 c INPROCESSING
9.44/9.50 c GARBAGE COLLECT
9.44/9.50 c rational objective 2
11.34/11.47 c #Conflicts: 38000 | #Constraints: 5211
11.34/11.47 c #Conflicts: 39000 | #Constraints: 6417
11.34/11.47 c #Conflicts: 40000 | #Constraints: 7963
11.34/11.47 c #Conflicts: 41000 | #Constraints: 9269
11.34/11.47 c INPROCESSING
11.34/11.47 c GARBAGE COLLECT
11.34/11.47 c rational objective 2
13.23/13.36 c #Conflicts: 42000 | #Constraints: 5381
13.23/13.36 c #Conflicts: 43000 | #Constraints: 6400
13.23/13.36 c #Conflicts: 44000 | #Constraints: 7402
13.23/13.36 c #Conflicts: 45000 | #Constraints: 8438
13.23/13.36 c #Conflicts: 46000 | #Constraints: 9493
13.23/13.36 c INPROCESSING
13.23/13.36 c GARBAGE COLLECT
13.23/13.36 c rational objective 2
15.23/15.32 c #Conflicts: 47000 | #Constraints: 5710
15.23/15.32 c #Conflicts: 48000 | #Constraints: 6774
15.23/15.32 c #Conflicts: 49000 | #Constraints: 7790
15.23/15.32 c #Conflicts: 50000 | #Constraints: 8804
15.23/15.32 c #Conflicts: 51000 | #Constraints: 9805
15.23/15.32 c INPROCESSING
15.23/15.32 c GARBAGE COLLECT
15.23/15.32 c rational objective 2
17.51/17.62 c #Conflicts: 52000 | #Constraints: 5907
17.51/17.62 c #Conflicts: 53000 | #Constraints: 6907
17.51/17.62 c #Conflicts: 54000 | #Constraints: 7918
17.51/17.62 c #Conflicts: 55000 | #Constraints: 8950
17.51/17.62 c #Conflicts: 56000 | #Constraints: 9987
17.51/17.62 c INPROCESSING
17.51/17.62 c GARBAGE COLLECT
17.51/17.62 c rational objective 2.01386
19.81/19.93 c #Conflicts: 57000 | #Constraints: 6040
19.81/19.93 c #Conflicts: 58000 | #Constraints: 7067
19.81/19.93 c #Conflicts: 59000 | #Constraints: 8072
19.81/19.93 c #Conflicts: 60000 | #Constraints: 9072
19.81/19.93 c #Conflicts: 61000 | #Constraints: 10072
19.81/19.93 c INPROCESSING
19.81/19.93 c GARBAGE COLLECT
19.81/19.93 c rational objective 2
22.70/22.86 c #Conflicts: 62000 | #Constraints: 5956
22.70/22.86 c #Conflicts: 63000 | #Constraints: 6956
22.70/22.86 c #Conflicts: 64000 | #Constraints: 7956
22.70/22.86 c #Conflicts: 65000 | #Constraints: 8956
22.70/22.86 c #Conflicts: 66000 | #Constraints: 9968
22.70/22.86 c INPROCESSING
22.70/22.86 c GARBAGE COLLECT
22.70/22.86 c rational objective 2
25.79/25.93 c #Conflicts: 67000 | #Constraints: 5711
25.79/25.93 c #Conflicts: 68000 | #Constraints: 6760
25.79/25.93 c #Conflicts: 69000 | #Constraints: 7838
25.79/25.93 c #Conflicts: 70000 | #Constraints: 8895
25.79/25.93 c #Conflicts: 71000 | #Constraints: 9923
25.79/25.93 c #Conflicts: 72000 | #Constraints: 11043
25.79/25.93 c INPROCESSING
25.79/25.93 c GARBAGE COLLECT
25.79/25.93 c rational objective 2
28.78/28.98 c #Conflicts: 73000 | #Constraints: 6473
28.78/28.98 c #Conflicts: 74000 | #Constraints: 7473
28.78/28.98 c #Conflicts: 75000 | #Constraints: 8473
28.78/28.98 c #Conflicts: 76000 | #Constraints: 9473
28.78/28.98 c #Conflicts: 77000 | #Constraints: 10473
28.78/28.98 c #Conflicts: 78000 | #Constraints: 11473
28.78/28.98 c INPROCESSING
28.78/28.98 c GARBAGE COLLECT
28.78/28.98 c rational objective 2
32.11/32.34 c #Conflicts: 79000 | #Constraints: 6844
32.11/32.34 c #Conflicts: 80000 | #Constraints: 7991
32.11/32.34 c #Conflicts: 81000 | #Constraints: 9091
32.11/32.34 c #Conflicts: 82000 | #Constraints: 10215
32.11/32.34 c #Conflicts: 83000 | #Constraints: 11316
32.11/32.34 c #Conflicts: 84000 | #Constraints: 12415
32.11/32.34 c INPROCESSING
32.11/32.34 c GARBAGE COLLECT
32.11/32.34 c rational objective 2
35.80/36.08 c #Conflicts: 85000 | #Constraints: 7333
35.80/36.08 c #Conflicts: 86000 | #Constraints: 8448
35.80/36.08 c #Conflicts: 87000 | #Constraints: 9608
35.80/36.08 c #Conflicts: 88000 | #Constraints: 10729
35.80/36.08 c #Conflicts: 89000 | #Constraints: 11871
35.80/36.08 c #Conflicts: 90000 | #Constraints: 12987
35.80/36.08 c INPROCESSING
35.80/36.08 c GARBAGE COLLECT
35.80/36.08 c rational objective 2
40.29/40.58 c #Conflicts: 91000 | #Constraints: 7441
40.29/40.58 c #Conflicts: 92000 | #Constraints: 8493
40.29/40.58 c #Conflicts: 93000 | #Constraints: 9520
40.29/40.58 c #Conflicts: 94000 | #Constraints: 10520
40.29/40.58 c #Conflicts: 95000 | #Constraints: 11520
40.29/40.58 c #Conflicts: 96000 | #Constraints: 12520
40.29/40.58 c INPROCESSING
40.29/40.58 c GARBAGE COLLECT
40.29/40.58 c rational objective 2
44.78/45.03 c #Conflicts: 97000 | #Constraints: 7016
44.78/45.03 c #Conflicts: 98000 | #Constraints: 8103
44.78/45.03 c #Conflicts: 99000 | #Constraints: 9258
44.78/45.03 c #Conflicts: 100000 | #Constraints: 10374
44.78/45.03 c #Conflicts: 101000 | #Constraints: 11490
44.78/45.03 c #Conflicts: 102000 | #Constraints: 12599
44.78/45.03 c #Conflicts: 103000 | #Constraints: 13690
44.78/45.03 c INPROCESSING
44.78/45.03 c GARBAGE COLLECT
44.78/45.03 c rational objective 2
49.16/49.48 c #Conflicts: 104000 | #Constraints: 7830
49.16/49.48 c #Conflicts: 105000 | #Constraints: 8889
49.16/49.48 c #Conflicts: 106000 | #Constraints: 9928
49.16/49.48 c #Conflicts: 107000 | #Constraints: 10936
49.16/49.48 c #Conflicts: 108000 | #Constraints: 11966
49.16/49.48 c #Conflicts: 109000 | #Constraints: 12979
49.16/49.48 c #Conflicts: 110000 | #Constraints: 14164
49.16/49.48 c INPROCESSING
49.16/49.48 c GARBAGE COLLECT
49.16/49.48 c rational objective 2
53.85/54.16 c #Conflicts: 111000 | #Constraints: 8209
53.85/54.16 c #Conflicts: 112000 | #Constraints: 9336
53.85/54.16 c #Conflicts: 113000 | #Constraints: 10402
53.85/54.16 c #Conflicts: 114000 | #Constraints: 11519
53.85/54.16 c #Conflicts: 115000 | #Constraints: 12635
53.85/54.16 c #Conflicts: 116000 | #Constraints: 13691
53.85/54.16 c #Conflicts: 117000 | #Constraints: 14758
53.85/54.16 c INPROCESSING
53.85/54.16 c GARBAGE COLLECT
53.85/54.16 c rational objective 2
59.23/59.51 c #Conflicts: 118000 | #Constraints: 8433
59.23/59.51 c #Conflicts: 119000 | #Constraints: 9467
59.23/59.51 c #Conflicts: 120000 | #Constraints: 10504
59.23/59.51 c #Conflicts: 121000 | #Constraints: 11646
59.23/59.51 c #Conflicts: 122000 | #Constraints: 12852
59.23/59.51 c #Conflicts: 123000 | #Constraints: 13939
59.23/59.51 c #Conflicts: 124000 | #Constraints: 15013
59.23/59.51 c INPROCESSING
59.23/59.51 c GARBAGE COLLECT
59.23/59.51 c rational objective 2
64.68/66.82 c #Conflicts: 125000 | #Constraints: 8443
64.68/66.82 c #Conflicts: 126000 | #Constraints: 9530
64.68/66.82 c #Conflicts: 127000 | #Constraints: 10574
64.68/66.82 c #Conflicts: 128000 | #Constraints: 11634
64.68/66.82 c #Conflicts: 129000 | #Constraints: 12655
64.68/66.82 c #Conflicts: 130000 | #Constraints: 13683
64.68/66.82 c #Conflicts: 131000 | #Constraints: 14765
64.68/66.82 c INPROCESSING
64.68/66.82 c GARBAGE COLLECT
64.68/66.82 c rational objective 2
70.36/72.50 c #Conflicts: 132000 | #Constraints: 8136
70.36/72.50 c #Conflicts: 133000 | #Constraints: 9158
70.36/72.50 c #Conflicts: 134000 | #Constraints: 10239
70.36/72.50 c #Conflicts: 135000 | #Constraints: 11284
70.36/72.50 c #Conflicts: 136000 | #Constraints: 12284
70.36/72.50 c #Conflicts: 137000 | #Constraints: 13315
70.36/72.50 c #Conflicts: 138000 | #Constraints: 14345
70.36/72.50 c #Conflicts: 139000 | #Constraints: 15388
70.36/72.50 c INPROCESSING
70.36/72.50 c GARBAGE COLLECT
70.36/72.50 c rational objective 2
75.85/78.04 c #Conflicts: 140000 | #Constraints: 8661
75.85/78.04 c #Conflicts: 141000 | #Constraints: 9661
75.85/78.04 c #Conflicts: 142000 | #Constraints: 10661
75.85/78.04 c #Conflicts: 143000 | #Constraints: 11661
75.85/78.04 c #Conflicts: 144000 | #Constraints: 12661
75.85/78.04 c #Conflicts: 145000 | #Constraints: 13661
75.85/78.04 c #Conflicts: 146000 | #Constraints: 14661
75.85/78.04 c #Conflicts: 147000 | #Constraints: 15661
75.85/78.04 c INPROCESSING
75.85/78.04 c GARBAGE COLLECT
75.85/78.04 c rational objective 2
82.12/84.34 c #Conflicts: 148000 | #Constraints: 8946
82.12/84.34 c #Conflicts: 149000 | #Constraints: 10044
82.12/84.34 c #Conflicts: 150000 | #Constraints: 11137
82.12/84.34 c #Conflicts: 151000 | #Constraints: 12238
82.12/84.34 c #Conflicts: 152000 | #Constraints: 13346
82.12/84.34 c #Conflicts: 153000 | #Constraints: 14455
82.12/84.34 c #Conflicts: 154000 | #Constraints: 15577
82.12/84.34 c #Conflicts: 155000 | #Constraints: 16691
82.12/84.34 c INPROCESSING
82.12/84.34 c GARBAGE COLLECT
82.12/84.34 c rational objective 2
89.10/91.34 c #Conflicts: 156000 | #Constraints: 9466
89.10/91.34 c #Conflicts: 157000 | #Constraints: 10550
89.10/91.34 c #Conflicts: 158000 | #Constraints: 11687
89.10/91.34 c #Conflicts: 159000 | #Constraints: 12804
89.10/91.34 c #Conflicts: 160000 | #Constraints: 13912
89.10/91.34 c #Conflicts: 161000 | #Constraints: 14967
89.10/91.34 c #Conflicts: 162000 | #Constraints: 15972
89.10/91.34 c #Conflicts: 163000 | #Constraints: 17039
89.10/91.34 c INPROCESSING
89.10/91.34 c GARBAGE COLLECT
89.10/91.34 c rational objective 2
96.07/98.62 c #Conflicts: 164000 | #Constraints: 9445
96.07/98.62 c #Conflicts: 165000 | #Constraints: 10445
96.07/98.62 c #Conflicts: 166000 | #Constraints: 11488
96.07/98.62 c #Conflicts: 167000 | #Constraints: 12526
96.07/98.62 c #Conflicts: 168000 | #Constraints: 13604
96.07/98.62 c #Conflicts: 169000 | #Constraints: 14678
96.07/98.62 c #Conflicts: 170000 | #Constraints: 15747
96.07/98.62 c #Conflicts: 171000 | #Constraints: 16821
96.07/98.62 c INPROCESSING
96.07/98.62 c GARBAGE COLLECT
96.07/98.62 c rational objective 2
102.85/105.48 c #Conflicts: 172000 | #Constraints: 9167
102.85/105.48 c #Conflicts: 173000 | #Constraints: 10173
102.85/105.48 c #Conflicts: 174000 | #Constraints: 11173
102.85/105.48 c #Conflicts: 175000 | #Constraints: 12190
102.85/105.48 c #Conflicts: 176000 | #Constraints: 13232
102.85/105.48 c #Conflicts: 177000 | #Constraints: 14298
102.85/105.48 c #Conflicts: 178000 | #Constraints: 15398
102.85/105.48 c #Conflicts: 179000 | #Constraints: 16404
102.85/105.48 c #Conflicts: 180000 | #Constraints: 17425
102.85/105.48 c INPROCESSING
102.85/105.48 c GARBAGE COLLECT
102.85/105.48 c rational objective 2
110.43/113.07 c #Conflicts: 181000 | #Constraints: 9651
110.43/113.07 c #Conflicts: 182000 | #Constraints: 10733
110.43/113.07 c #Conflicts: 183000 | #Constraints: 11848
110.43/113.07 c #Conflicts: 184000 | #Constraints: 12965
110.43/113.07 c #Conflicts: 185000 | #Constraints: 14067
110.43/113.07 c #Conflicts: 186000 | #Constraints: 15191
110.43/113.07 c #Conflicts: 187000 | #Constraints: 16301
110.43/113.07 c #Conflicts: 188000 | #Constraints: 17406
110.43/113.07 c #Conflicts: 189000 | #Constraints: 18499
110.43/113.07 c INPROCESSING
110.43/113.07 c GARBAGE COLLECT
110.43/113.07 c rational objective 2
118.89/121.58 c #Conflicts: 190000 | #Constraints: 10293
118.89/121.58 c #Conflicts: 191000 | #Constraints: 11326
118.89/121.58 c #Conflicts: 192000 | #Constraints: 12378
118.89/121.58 c #Conflicts: 193000 | #Constraints: 13424
118.89/121.58 c #Conflicts: 194000 | #Constraints: 14504
118.89/121.58 c #Conflicts: 195000 | #Constraints: 15648
118.89/121.58 c #Conflicts: 196000 | #Constraints: 16759
118.89/121.58 c #Conflicts: 197000 | #Constraints: 17845
118.89/121.58 c #Conflicts: 198000 | #Constraints: 18894
118.89/121.58 c INPROCESSING
118.89/121.58 c GARBAGE COLLECT
118.89/121.58 c rational objective 2
128.24/131.00 c #Conflicts: 199000 | #Constraints: 10472
128.24/131.00 c #Conflicts: 200000 | #Constraints: 11476
128.24/131.00 c #Conflicts: 201000 | #Constraints: 12476
128.24/131.00 c #Conflicts: 202000 | #Constraints: 13478
128.24/131.00 c #Conflicts: 203000 | #Constraints: 14496
128.24/131.00 c #Conflicts: 204000 | #Constraints: 15531
128.24/131.00 c #Conflicts: 205000 | #Constraints: 16566
128.24/131.00 c #Conflicts: 206000 | #Constraints: 17570
128.24/131.00 c #Conflicts: 207000 | #Constraints: 18570
128.24/131.00 c INPROCESSING
128.24/131.00 c GARBAGE COLLECT
128.24/131.00 c rational objective 2
137.02/139.72 c #Conflicts: 208000 | #Constraints: 10265
137.02/139.72 c #Conflicts: 209000 | #Constraints: 11420
137.02/139.72 c #Conflicts: 210000 | #Constraints: 12561
137.02/139.72 c #Conflicts: 211000 | #Constraints: 13675
137.02/139.72 c #Conflicts: 212000 | #Constraints: 14830
137.02/139.72 c #Conflicts: 213000 | #Constraints: 15942
137.02/139.72 c #Conflicts: 214000 | #Constraints: 17070
137.02/139.72 c #Conflicts: 215000 | #Constraints: 18227
137.02/139.72 c #Conflicts: 216000 | #Constraints: 19419
137.02/139.72 c INPROCESSING
137.02/139.72 c GARBAGE COLLECT
137.02/139.72 c rational objective 2
147.29/150.01 c #Conflicts: 217000 | #Constraints: 10484
147.29/150.01 c #Conflicts: 218000 | #Constraints: 11524
147.29/150.01 c #Conflicts: 219000 | #Constraints: 12685
147.29/150.01 c #Conflicts: 220000 | #Constraints: 13863
147.29/150.01 c #Conflicts: 221000 | #Constraints: 15005
147.29/150.01 c #Conflicts: 222000 | #Constraints: 16207
147.29/150.01 c #Conflicts: 223000 | #Constraints: 17726
147.29/150.01 c #Conflicts: 224000 | #Constraints: 19207
147.29/150.01 c #Conflicts: 225000 | #Constraints: 20640
147.29/150.01 c #Conflicts: 226000 | #Constraints: 22044
147.29/150.01 c INPROCESSING
147.29/150.01 c GARBAGE COLLECT
147.29/150.01 c rational objective 2
157.63/160.45 c #Conflicts: 227000 | #Constraints: 11987
157.63/160.45 c #Conflicts: 228000 | #Constraints: 12987
157.63/160.45 c #Conflicts: 229000 | #Constraints: 13987
157.63/160.45 c #Conflicts: 230000 | #Constraints: 15010
157.63/160.45 c #Conflicts: 231000 | #Constraints: 16041
157.63/160.45 c #Conflicts: 232000 | #Constraints: 17065
157.63/160.45 c #Conflicts: 233000 | #Constraints: 18089
157.63/160.45 c #Conflicts: 234000 | #Constraints: 19089
157.63/160.45 c #Conflicts: 235000 | #Constraints: 20089
157.63/160.45 c #Conflicts: 236000 | #Constraints: 21089
157.63/160.45 c INPROCESSING
157.63/160.45 c GARBAGE COLLECT
157.63/160.45 c rational objective 2
167.50/170.37 c #Conflicts: 237000 | #Constraints: 11656
167.50/170.37 c #Conflicts: 238000 | #Constraints: 12737
167.50/170.37 c #Conflicts: 239000 | #Constraints: 13819
167.50/170.37 c #Conflicts: 240000 | #Constraints: 14924
167.50/170.37 c #Conflicts: 241000 | #Constraints: 16027
167.50/170.37 c #Conflicts: 242000 | #Constraints: 17132
167.50/170.37 c #Conflicts: 243000 | #Constraints: 18231
167.50/170.37 c #Conflicts: 244000 | #Constraints: 19335
167.50/170.37 c #Conflicts: 245000 | #Constraints: 20442
167.50/170.37 c #Conflicts: 246000 | #Constraints: 21544
167.50/170.37 c INPROCESSING
167.50/170.37 c GARBAGE COLLECT
167.50/170.37 c rational objective 2
178.67/181.59 c #Conflicts: 247000 | #Constraints: 11812
178.67/181.59 c #Conflicts: 248000 | #Constraints: 12879
178.67/181.59 c #Conflicts: 249000 | #Constraints: 13979
178.67/181.59 c #Conflicts: 250000 | #Constraints: 15080
178.67/181.59 c #Conflicts: 251000 | #Constraints: 16175
178.67/181.59 c #Conflicts: 252000 | #Constraints: 17295
178.67/181.59 c #Conflicts: 253000 | #Constraints: 18366
178.67/181.59 c #Conflicts: 254000 | #Constraints: 19430
178.67/181.59 c #Conflicts: 255000 | #Constraints: 20552
178.67/181.59 c #Conflicts: 256000 | #Constraints: 21668
178.67/181.59 c INPROCESSING
178.67/181.59 c GARBAGE COLLECT
178.67/181.59 c rational objective 2
189.31/192.28 c #Conflicts: 257000 | #Constraints: 11742
189.31/192.28 c #Conflicts: 258000 | #Constraints: 12807
189.31/192.28 c #Conflicts: 259000 | #Constraints: 13956
189.31/192.28 c #Conflicts: 260000 | #Constraints: 15001
189.31/192.28 c #Conflicts: 261000 | #Constraints: 16072
189.31/192.28 c #Conflicts: 262000 | #Constraints: 17073
189.31/192.28 c #Conflicts: 263000 | #Constraints: 18073
189.31/192.28 c #Conflicts: 264000 | #Constraints: 19073
189.31/192.28 c #Conflicts: 265000 | #Constraints: 20073
189.31/192.28 c #Conflicts: 266000 | #Constraints: 21073
189.31/192.28 c INPROCESSING
189.31/192.28 c GARBAGE COLLECT
189.31/192.28 c rational objective 2
201.28/204.22 c #Conflicts: 267000 | #Constraints: 11255
201.28/204.22 c #Conflicts: 268000 | #Constraints: 12301
201.28/204.22 c #Conflicts: 269000 | #Constraints: 13301
201.28/204.22 c #Conflicts: 270000 | #Constraints: 14301
201.28/204.22 c #Conflicts: 271000 | #Constraints: 15400
201.28/204.22 c #Conflicts: 272000 | #Constraints: 16582
201.28/204.22 c #Conflicts: 273000 | #Constraints: 17988
201.28/204.22 c #Conflicts: 274000 | #Constraints: 19017
201.28/204.22 c #Conflicts: 275000 | #Constraints: 20120
201.28/204.22 c #Conflicts: 276000 | #Constraints: 21208
201.28/204.22 c #Conflicts: 277000 | #Constraints: 22262
201.28/204.22 c INPROCESSING
201.28/204.22 c GARBAGE COLLECT
201.28/204.22 c rational objective 2
212.55/215.50 c #Conflicts: 278000 | #Constraints: 12033
212.55/215.50 c #Conflicts: 279000 | #Constraints: 13039
212.55/215.50 c #Conflicts: 280000 | #Constraints: 14114
212.55/215.50 c #Conflicts: 281000 | #Constraints: 15254
212.55/215.50 c #Conflicts: 282000 | #Constraints: 16372
212.55/215.50 c #Conflicts: 283000 | #Constraints: 17480
212.55/215.50 c #Conflicts: 284000 | #Constraints: 18525
212.55/215.50 c #Conflicts: 285000 | #Constraints: 19640
212.55/215.50 c #Conflicts: 286000 | #Constraints: 20743
212.55/215.50 c #Conflicts: 287000 | #Constraints: 21849
212.55/215.50 c #Conflicts: 288000 | #Constraints: 22949
212.55/215.50 c INPROCESSING
212.55/215.50 c GARBAGE COLLECT
212.55/215.50 c rational objective 2
224.77/227.86 c #Conflicts: 289000 | #Constraints: 12507
224.77/227.86 c #Conflicts: 290000 | #Constraints: 13507
224.77/227.86 c #Conflicts: 291000 | #Constraints: 14507
224.77/227.86 c #Conflicts: 292000 | #Constraints: 15507
224.77/227.86 c #Conflicts: 293000 | #Constraints: 16536
224.77/227.86 c #Conflicts: 294000 | #Constraints: 17586
224.77/227.86 c #Conflicts: 295000 | #Constraints: 18616
224.77/227.86 c #Conflicts: 296000 | #Constraints: 19681
224.77/227.86 c #Conflicts: 297000 | #Constraints: 20732
224.77/227.86 c #Conflicts: 298000 | #Constraints: 21803
224.77/227.86 c #Conflicts: 299000 | #Constraints: 22962
224.77/227.86 c INPROCESSING
224.77/227.86 c GARBAGE COLLECT
224.77/227.86 c rational objective 2
237.63/240.70 c #Conflicts: 300000 | #Constraints: 12522
237.63/240.70 c #Conflicts: 301000 | #Constraints: 13651
237.63/240.70 c #Conflicts: 302000 | #Constraints: 14731
237.63/240.70 c #Conflicts: 303000 | #Constraints: 15786
237.63/240.70 c #Conflicts: 304000 | #Constraints: 16907
237.63/240.70 c #Conflicts: 305000 | #Constraints: 17965
237.63/240.70 c #Conflicts: 306000 | #Constraints: 18965
237.63/240.70 c #Conflicts: 307000 | #Constraints: 19965
237.63/240.70 c #Conflicts: 308000 | #Constraints: 20965
237.63/240.70 c #Conflicts: 309000 | #Constraints: 21965
237.63/240.70 c #Conflicts: 310000 | #Constraints: 22965
237.63/240.70 c INPROCESSING
237.63/240.70 c GARBAGE COLLECT
237.63/240.70 c rational objective 2
250.27/253.43 c #Conflicts: 311000 | #Constraints: 12428
250.27/253.43 c #Conflicts: 312000 | #Constraints: 13497
250.27/253.43 c #Conflicts: 313000 | #Constraints: 14586
250.27/253.43 c #Conflicts: 314000 | #Constraints: 15714
250.27/253.43 c #Conflicts: 315000 | #Constraints: 16814
250.27/253.43 c #Conflicts: 316000 | #Constraints: 17866
250.27/253.43 c #Conflicts: 317000 | #Constraints: 18866
250.27/253.43 c #Conflicts: 318000 | #Constraints: 19866
250.27/253.43 c #Conflicts: 319000 | #Constraints: 20866
250.27/253.43 c #Conflicts: 320000 | #Constraints: 21866
250.27/253.43 c #Conflicts: 321000 | #Constraints: 22866
250.27/253.43 c INPROCESSING
250.27/253.43 c GARBAGE COLLECT
250.27/253.43 c rational objective 2
264.43/267.69 c #Conflicts: 322000 | #Constraints: 12157
264.43/267.69 c #Conflicts: 323000 | #Constraints: 13192
264.43/267.69 c #Conflicts: 324000 | #Constraints: 14299
264.43/267.69 c #Conflicts: 325000 | #Constraints: 15399
264.43/267.69 c #Conflicts: 326000 | #Constraints: 16454
264.43/267.69 c #Conflicts: 327000 | #Constraints: 17494
264.43/267.69 c #Conflicts: 328000 | #Constraints: 18494
264.43/267.69 c #Conflicts: 329000 | #Constraints: 19570
264.43/267.69 c #Conflicts: 330000 | #Constraints: 20611
264.43/267.69 c #Conflicts: 331000 | #Constraints: 21677
264.43/267.69 c #Conflicts: 332000 | #Constraints: 22733
264.43/267.69 c #Conflicts: 333000 | #Constraints: 23770
264.43/267.69 c INPROCESSING
264.43/267.69 c GARBAGE COLLECT
264.43/267.69 c rational objective 2
278.28/281.52 c #Conflicts: 334000 | #Constraints: 12803
278.28/281.52 c #Conflicts: 335000 | #Constraints: 13811
278.28/281.52 c #Conflicts: 336000 | #Constraints: 14890
278.28/281.52 c #Conflicts: 337000 | #Constraints: 16084
278.28/281.52 c #Conflicts: 338000 | #Constraints: 17182
278.28/281.52 c #Conflicts: 339000 | #Constraints: 18216
278.28/281.52 c #Conflicts: 340000 | #Constraints: 19216
278.28/281.52 c #Conflicts: 341000 | #Constraints: 20220
278.28/281.52 c #Conflicts: 342000 | #Constraints: 21238
278.28/281.52 c #Conflicts: 343000 | #Constraints: 22291
278.28/281.52 c #Conflicts: 344000 | #Constraints: 23465
278.28/281.52 c #Conflicts: 345000 | #Constraints: 24465
278.28/281.52 c INPROCESSING
278.28/281.52 c GARBAGE COLLECT
278.28/281.52 c rational objective 2
292.31/295.66 c #Conflicts: 346000 | #Constraints: 13267
292.31/295.66 c #Conflicts: 347000 | #Constraints: 14530
292.31/295.66 c #Conflicts: 348000 | #Constraints: 15564
292.31/295.66 c #Conflicts: 349000 | #Constraints: 16584
292.31/295.66 c #Conflicts: 350000 | #Constraints: 17588
292.31/295.66 c #Conflicts: 351000 | #Constraints: 18622
292.31/295.66 c #Conflicts: 352000 | #Constraints: 19654
292.31/295.66 c #Conflicts: 353000 | #Constraints: 20722
292.31/295.66 c #Conflicts: 354000 | #Constraints: 21770
292.31/295.66 c #Conflicts: 355000 | #Constraints: 22770
292.31/295.66 c #Conflicts: 356000 | #Constraints: 23770
292.31/295.66 c #Conflicts: 357000 | #Constraints: 24770
292.31/295.66 c INPROCESSING
292.31/295.66 c GARBAGE COLLECT
292.31/295.66 c rational objective 2
306.78/310.12 c #Conflicts: 358000 | #Constraints: 13493
306.78/310.12 c #Conflicts: 359000 | #Constraints: 14579
306.78/310.12 c #Conflicts: 360000 | #Constraints: 15701
306.78/310.12 c #Conflicts: 361000 | #Constraints: 16846
306.78/310.12 c #Conflicts: 362000 | #Constraints: 17961
306.78/310.12 c #Conflicts: 363000 | #Constraints: 19100
306.78/310.12 c #Conflicts: 364000 | #Constraints: 20241
306.78/310.12 c #Conflicts: 365000 | #Constraints: 21347
306.78/310.12 c #Conflicts: 366000 | #Constraints: 22461
306.78/310.12 c #Conflicts: 367000 | #Constraints: 23566
306.78/310.12 c #Conflicts: 368000 | #Constraints: 24665
306.78/310.12 c #Conflicts: 369000 | #Constraints: 25777
306.78/310.12 c INPROCESSING
306.78/310.12 c GARBAGE COLLECT
306.78/310.12 c rational objective 2
322.90/326.39 c #Conflicts: 370000 | #Constraints: 13849
322.90/326.39 c #Conflicts: 371000 | #Constraints: 14936
322.90/326.39 c #Conflicts: 372000 | #Constraints: 15979
322.90/326.39 c #Conflicts: 373000 | #Constraints: 17099
322.90/326.39 c #Conflicts: 374000 | #Constraints: 18253
322.90/326.39 c #Conflicts: 375000 | #Constraints: 19378
322.90/326.39 c #Conflicts: 376000 | #Constraints: 20529
322.90/326.39 c #Conflicts: 377000 | #Constraints: 21716
322.90/326.39 c #Conflicts: 378000 | #Constraints: 22906
322.90/326.39 c #Conflicts: 379000 | #Constraints: 24078
322.90/326.39 c #Conflicts: 380000 | #Constraints: 25260
322.90/326.39 c #Conflicts: 381000 | #Constraints: 26407
322.90/326.39 c INPROCESSING
322.90/326.39 c GARBAGE COLLECT
322.90/326.39 c rational objective 2
339.45/342.91 c #Conflicts: 382000 | #Constraints: 13980
339.45/342.91 c #Conflicts: 383000 | #Constraints: 15016
339.45/342.91 c #Conflicts: 384000 | #Constraints: 16078
339.45/342.91 c #Conflicts: 385000 | #Constraints: 17080
339.45/342.91 c #Conflicts: 386000 | #Constraints: 18080
339.45/342.91 c #Conflicts: 387000 | #Constraints: 19175
339.45/342.91 c #Conflicts: 388000 | #Constraints: 20277
339.45/342.91 c #Conflicts: 389000 | #Constraints: 21317
339.45/342.91 c #Conflicts: 390000 | #Constraints: 22331
339.45/342.91 c #Conflicts: 391000 | #Constraints: 23347
339.45/342.91 c #Conflicts: 392000 | #Constraints: 24382
339.45/342.91 c #Conflicts: 393000 | #Constraints: 25444
339.45/342.91 c #Conflicts: 394000 | #Constraints: 26537
339.45/342.91 c INPROCESSING
339.45/342.91 c GARBAGE COLLECT
339.45/342.91 c rational objective 2
356.59/360.16 c #Conflicts: 395000 | #Constraints: 14191
356.59/360.16 c #Conflicts: 396000 | #Constraints: 15191
356.59/360.16 c #Conflicts: 397000 | #Constraints: 16191
356.59/360.16 c #Conflicts: 398000 | #Constraints: 17191
356.59/360.16 c #Conflicts: 399000 | #Constraints: 18191
356.59/360.16 c #Conflicts: 400000 | #Constraints: 19191
356.59/360.16 c #Conflicts: 401000 | #Constraints: 20191
356.59/360.16 c #Conflicts: 402000 | #Constraints: 21191
356.59/360.16 c #Conflicts: 403000 | #Constraints: 22275
356.59/360.16 c #Conflicts: 404000 | #Constraints: 23432
356.59/360.16 c #Conflicts: 405000 | #Constraints: 24498
356.59/360.16 c #Conflicts: 406000 | #Constraints: 25533
356.59/360.16 c #Conflicts: 407000 | #Constraints: 26567
356.59/360.16 c INPROCESSING
356.59/360.16 c GARBAGE COLLECT
356.59/360.16 c rational objective 2
372.51/376.11 c #Conflicts: 408000 | #Constraints: 14293
372.51/376.11 c #Conflicts: 409000 | #Constraints: 15293
372.51/376.11 c #Conflicts: 410000 | #Constraints: 16312
372.51/376.11 c #Conflicts: 411000 | #Constraints: 17433
372.51/376.11 c #Conflicts: 412000 | #Constraints: 18510
372.51/376.11 c #Conflicts: 413000 | #Constraints: 19626
372.51/376.11 c #Conflicts: 414000 | #Constraints: 20709
372.51/376.11 c #Conflicts: 415000 | #Constraints: 21843
372.51/376.11 c #Conflicts: 416000 | #Constraints: 22942
372.51/376.11 c #Conflicts: 417000 | #Constraints: 24068
372.51/376.11 c #Conflicts: 418000 | #Constraints: 25197
372.51/376.11 c #Conflicts: 419000 | #Constraints: 26311
372.51/376.11 c #Conflicts: 420000 | #Constraints: 27384
372.51/376.11 c INPROCESSING
372.51/376.11 c GARBAGE COLLECT
372.51/376.11 c rational objective 2
391.85/395.52 c #Conflicts: 421000 | #Constraints: 14785
391.85/395.52 c #Conflicts: 422000 | #Constraints: 15933
391.85/395.52 c #Conflicts: 423000 | #Constraints: 17042
391.85/395.52 c #Conflicts: 424000 | #Constraints: 18112
391.85/395.52 c #Conflicts: 425000 | #Constraints: 19151
391.85/395.52 c #Conflicts: 426000 | #Constraints: 20168
391.85/395.52 c #Conflicts: 427000 | #Constraints: 21191
391.85/395.52 c #Conflicts: 428000 | #Constraints: 22198
391.85/395.52 c #Conflicts: 429000 | #Constraints: 23198
391.85/395.52 c #Conflicts: 430000 | #Constraints: 24225
391.85/395.52 c #Conflicts: 431000 | #Constraints: 25255
391.85/395.52 c #Conflicts: 432000 | #Constraints: 26334
391.85/395.52 c #Conflicts: 433000 | #Constraints: 27388
391.85/395.52 c INPROCESSING
391.85/395.52 c GARBAGE COLLECT
391.85/395.52 c rational objective 2
410.58/414.34 c #Conflicts: 434000 | #Constraints: 14622
410.58/414.34 c #Conflicts: 435000 | #Constraints: 15630
410.58/414.34 c #Conflicts: 436000 | #Constraints: 16660
410.58/414.34 c #Conflicts: 437000 | #Constraints: 17672
410.58/414.34 c #Conflicts: 438000 | #Constraints: 18672
410.58/414.34 c #Conflicts: 439000 | #Constraints: 19679
410.58/414.34 c #Conflicts: 440000 | #Constraints: 20699
410.58/414.34 c #Conflicts: 441000 | #Constraints: 21718
410.58/414.34 c #Conflicts: 442000 | #Constraints: 22741
410.58/414.34 c #Conflicts: 443000 | #Constraints: 23775
410.58/414.34 c #Conflicts: 444000 | #Constraints: 24837
410.58/414.34 c #Conflicts: 445000 | #Constraints: 25862
410.58/414.34 c #Conflicts: 446000 | #Constraints: 26918
410.58/414.34 c INPROCESSING
410.58/414.34 c GARBAGE COLLECT
410.58/414.34 c rational objective 2
431.10/435.00 c #Conflicts: 447000 | #Constraints: 14196
431.10/435.00 c #Conflicts: 448000 | #Constraints: 15242
431.10/435.00 c #Conflicts: 449000 | #Constraints: 16280
431.10/435.00 c #Conflicts: 450000 | #Constraints: 17340
431.10/435.00 c #Conflicts: 451000 | #Constraints: 18464
431.10/435.00 c #Conflicts: 452000 | #Constraints: 19535
431.10/435.00 c #Conflicts: 453000 | #Constraints: 20654
431.10/435.00 c #Conflicts: 454000 | #Constraints: 21771
431.10/435.00 c #Conflicts: 455000 | #Constraints: 22904
431.10/435.00 c #Conflicts: 456000 | #Constraints: 23926
431.10/435.00 c #Conflicts: 457000 | #Constraints: 24926
431.10/435.00 c #Conflicts: 458000 | #Constraints: 25926
431.10/435.00 c #Conflicts: 459000 | #Constraints: 26926
431.10/435.00 c #Conflicts: 460000 | #Constraints: 27926
431.10/435.00 c INPROCESSING
431.10/435.00 c GARBAGE COLLECT
431.10/435.00 c rational objective 2
455.41/459.37 c #Conflicts: 461000 | #Constraints: 15064
455.41/459.37 c #Conflicts: 462000 | #Constraints: 16469
455.41/459.37 c #Conflicts: 463000 | #Constraints: 17837
455.41/459.37 c #Conflicts: 464000 | #Constraints: 19164
455.41/459.37 c #Conflicts: 465000 | #Constraints: 20351
455.41/459.37 c #Conflicts: 466000 | #Constraints: 21550
455.41/459.37 c #Conflicts: 467000 | #Constraints: 22902
455.41/459.37 c #Conflicts: 468000 | #Constraints: 24190
455.41/459.37 c #Conflicts: 469000 | #Constraints: 25481
455.41/459.37 c #Conflicts: 470000 | #Constraints: 26758
455.41/459.37 c #Conflicts: 471000 | #Constraints: 28117
455.41/459.37 c #Conflicts: 472000 | #Constraints: 29417
455.41/459.37 c #Conflicts: 473000 | #Constraints: 30654
455.41/459.37 c #Conflicts: 474000 | #Constraints: 31902
455.41/459.37 c INPROCESSING
455.41/459.37 c GARBAGE COLLECT
455.41/459.37 c rational objective 2
479.23/483.23 c #Conflicts: 475000 | #Constraints: 17010
479.23/483.23 c #Conflicts: 476000 | #Constraints: 18072
479.23/483.23 c #Conflicts: 477000 | #Constraints: 19111
479.23/483.23 c #Conflicts: 478000 | #Constraints: 20168
479.23/483.23 c #Conflicts: 479000 | #Constraints: 21254
479.23/483.23 c #Conflicts: 480000 | #Constraints: 22362
479.23/483.23 c #Conflicts: 481000 | #Constraints: 23420
479.23/483.23 c #Conflicts: 482000 | #Constraints: 24495
479.23/483.23 c #Conflicts: 483000 | #Constraints: 25610
479.23/483.23 c #Conflicts: 484000 | #Constraints: 26688
479.23/483.23 c #Conflicts: 485000 | #Constraints: 27787
479.23/483.23 c #Conflicts: 486000 | #Constraints: 28882
479.23/483.23 c #Conflicts: 487000 | #Constraints: 29977
479.23/483.23 c #Conflicts: 488000 | #Constraints: 31065
479.23/483.23 c INPROCESSING
479.23/483.23 c GARBAGE COLLECT
479.23/483.23 c rational objective 2
503.05/507.17 c #Conflicts: 489000 | #Constraints: 16596
503.05/507.17 c #Conflicts: 490000 | #Constraints: 17599
503.05/507.17 c #Conflicts: 491000 | #Constraints: 18631
503.05/507.17 c #Conflicts: 492000 | #Constraints: 19699
503.05/507.17 c #Conflicts: 493000 | #Constraints: 20862
503.05/507.17 c #Conflicts: 494000 | #Constraints: 21933
503.05/507.17 c #Conflicts: 495000 | #Constraints: 22973
503.05/507.17 c #Conflicts: 496000 | #Constraints: 24021
503.05/507.17 c #Conflicts: 497000 | #Constraints: 25126
503.05/507.17 c #Conflicts: 498000 | #Constraints: 26459
503.05/507.17 c #Conflicts: 499000 | #Constraints: 27958
503.05/507.17 c #Conflicts: 500000 | #Constraints: 29303
503.05/507.17 c #Conflicts: 501000 | #Constraints: 30805
503.05/507.17 c #Conflicts: 502000 | #Constraints: 32333
503.05/507.17 c INPROCESSING
503.05/507.17 c GARBAGE COLLECT
503.05/507.17 c rational objective 2.00006
527.56/531.74 c #Conflicts: 503000 | #Constraints: 17203
527.56/531.74 c #Conflicts: 504000 | #Constraints: 18264
527.56/531.74 c #Conflicts: 505000 | #Constraints: 19278
527.56/531.74 c #Conflicts: 506000 | #Constraints: 20278
527.56/531.74 c #Conflicts: 507000 | #Constraints: 21305
527.56/531.74 c #Conflicts: 508000 | #Constraints: 22319
527.56/531.74 c #Conflicts: 509000 | #Constraints: 23319
527.56/531.74 c #Conflicts: 510000 | #Constraints: 24341
527.56/531.74 c #Conflicts: 511000 | #Constraints: 25396
527.56/531.74 c #Conflicts: 512000 | #Constraints: 26464
527.56/531.74 c #Conflicts: 513000 | #Constraints: 27489
527.56/531.74 c #Conflicts: 514000 | #Constraints: 28498
527.56/531.74 c #Conflicts: 515000 | #Constraints: 29498
527.56/531.74 c #Conflicts: 516000 | #Constraints: 30500
527.56/531.74 c INPROCESSING
527.56/531.74 c GARBAGE COLLECT
527.56/531.74 c rational objective 2
571.11/575.47 c #Conflicts: 517000 | #Constraints: 15969
571.11/575.47 c #Conflicts: 518000 | #Constraints: 17016
571.11/575.47 c #Conflicts: 519000 | #Constraints: 18073
571.11/575.47 c #Conflicts: 520000 | #Constraints: 19081
571.11/575.47 c #Conflicts: 521000 | #Constraints: 20081
571.11/575.47 c #Conflicts: 522000 | #Constraints: 21081
571.11/575.47 c #Conflicts: 523000 | #Constraints: 22081
571.11/575.47 c #Conflicts: 524000 | #Constraints: 23087
571.11/575.47 c #Conflicts: 525000 | #Constraints: 24090
571.11/575.47 c #Conflicts: 526000 | #Constraints: 25090
571.11/575.47 c #Conflicts: 527000 | #Constraints: 26090
571.11/575.47 c #Conflicts: 528000 | #Constraints: 27090
571.11/575.47 c #Conflicts: 529000 | #Constraints: 28090
571.11/575.47 c #Conflicts: 530000 | #Constraints: 29113
571.11/575.47 c #Conflicts: 531000 | #Constraints: 30144
571.11/575.47 c INPROCESSING
571.11/575.47 c GARBAGE COLLECT
571.11/575.47 c #Conflicts: 532000 | #Constraints: 15994
571.11/575.47 c #Conflicts: 533000 | #Constraints: 17015
571.11/575.47 c #Conflicts: 534000 | #Constraints: 18015
571.11/575.47 c #Conflicts: 535000 | #Constraints: 19046
571.11/575.47 c #Conflicts: 536000 | #Constraints: 20071
571.11/575.47 c #Conflicts: 537000 | #Constraints: 21116
571.11/575.47 c #Conflicts: 538000 | #Constraints: 22128
571.11/575.47 c #Conflicts: 539000 | #Constraints: 23128
571.11/575.47 c #Conflicts: 540000 | #Constraints: 24162
571.11/575.47 c #Conflicts: 541000 | #Constraints: 25176
571.11/575.47 c #Conflicts: 542000 | #Constraints: 26176
571.11/575.47 c #Conflicts: 543000 | #Constraints: 27176
571.11/575.47 c #Conflicts: 544000 | #Constraints: 28176
571.11/575.47 c #Conflicts: 545000 | #Constraints: 29242
571.11/575.47 c #Conflicts: 546000 | #Constraints: 30242
571.11/575.47 c INPROCESSING
571.11/575.47 c GARBAGE COLLECT
571.11/575.47 c rational objective 2
591.93/596.31 c #Conflicts: 547000 | #Constraints: 16145
591.93/596.31 c #Conflicts: 548000 | #Constraints: 17169
591.93/596.31 c #Conflicts: 549000 | #Constraints: 18173
591.93/596.31 c #Conflicts: 550000 | #Constraints: 19173
591.93/596.31 c #Conflicts: 551000 | #Constraints: 20173
591.93/596.31 c #Conflicts: 552000 | #Constraints: 21173
591.93/596.31 c #Conflicts: 553000 | #Constraints: 22173
591.93/596.31 c #Conflicts: 554000 | #Constraints: 23173
591.93/596.31 c #Conflicts: 555000 | #Constraints: 24173
591.93/596.31 c #Conflicts: 556000 | #Constraints: 25173
591.93/596.31 c #Conflicts: 557000 | #Constraints: 26173
591.93/596.31 c #Conflicts: 558000 | #Constraints: 27173
591.93/596.31 c #Conflicts: 559000 | #Constraints: 28173
591.93/596.31 c #Conflicts: 560000 | #Constraints: 29173
591.93/596.31 c #Conflicts: 561000 | #Constraints: 30173
591.93/596.31 c INPROCESSING
591.93/596.31 c GARBAGE COLLECT
591.93/596.31 c rational objective 2
613.96/618.42 c #Conflicts: 562000 | #Constraints: 16105
613.96/618.42 c #Conflicts: 563000 | #Constraints: 17120
613.96/618.42 c #Conflicts: 564000 | #Constraints: 18120
613.96/618.42 c #Conflicts: 565000 | #Constraints: 19120
613.96/618.42 c #Conflicts: 566000 | #Constraints: 20120
613.96/618.42 c #Conflicts: 567000 | #Constraints: 21120
613.96/618.42 c #Conflicts: 568000 | #Constraints: 22132
613.96/618.42 c #Conflicts: 569000 | #Constraints: 23167
613.96/618.42 c #Conflicts: 570000 | #Constraints: 24190
613.96/618.42 c #Conflicts: 571000 | #Constraints: 25232
613.96/618.42 c #Conflicts: 572000 | #Constraints: 26232
613.96/618.42 c #Conflicts: 573000 | #Constraints: 27232
613.96/618.42 c #Conflicts: 574000 | #Constraints: 28232
613.96/618.42 c #Conflicts: 575000 | #Constraints: 29232
613.96/618.42 c #Conflicts: 576000 | #Constraints: 30232
613.96/618.42 c INPROCESSING
613.96/618.42 c GARBAGE COLLECT
613.96/618.42 c rational objective 2
635.59/640.19 c #Conflicts: 577000 | #Constraints: 16039
635.59/640.19 c #Conflicts: 578000 | #Constraints: 17059
635.59/640.19 c #Conflicts: 579000 | #Constraints: 18061
635.59/640.19 c #Conflicts: 580000 | #Constraints: 19062
635.59/640.19 c #Conflicts: 581000 | #Constraints: 20062
635.59/640.19 c #Conflicts: 582000 | #Constraints: 21066
635.59/640.19 c #Conflicts: 583000 | #Constraints: 22066
635.59/640.19 c #Conflicts: 584000 | #Constraints: 23066
635.59/640.19 c #Conflicts: 585000 | #Constraints: 24066
635.59/640.19 c #Conflicts: 586000 | #Constraints: 25066
635.59/640.19 c #Conflicts: 587000 | #Constraints: 26066
635.59/640.19 c #Conflicts: 588000 | #Constraints: 27066
635.59/640.19 c #Conflicts: 589000 | #Constraints: 28066
635.59/640.19 c #Conflicts: 590000 | #Constraints: 29066
635.59/640.19 c #Conflicts: 591000 | #Constraints: 30066
635.59/640.19 c INPROCESSING
635.59/640.19 c GARBAGE COLLECT
635.59/640.19 c rational objective 2
660.00/664.66 c #Conflicts: 592000 | #Constraints: 15752
660.00/664.66 c #Conflicts: 593000 | #Constraints: 16783
660.00/664.66 c #Conflicts: 594000 | #Constraints: 17783
660.00/664.66 c #Conflicts: 595000 | #Constraints: 18783
660.00/664.66 c #Conflicts: 596000 | #Constraints: 19783
660.00/664.66 c #Conflicts: 597000 | #Constraints: 20783
660.00/664.66 c #Conflicts: 598000 | #Constraints: 21783
660.00/664.66 c #Conflicts: 599000 | #Constraints: 22783
660.00/664.66 c #Conflicts: 600000 | #Constraints: 23783
660.00/664.66 c #Conflicts: 601000 | #Constraints: 24783
660.00/664.66 c #Conflicts: 602000 | #Constraints: 25783
660.00/664.66 c #Conflicts: 603000 | #Constraints: 26783
660.00/664.66 c #Conflicts: 604000 | #Constraints: 27783
660.00/664.66 c #Conflicts: 605000 | #Constraints: 28783
660.00/664.66 c #Conflicts: 606000 | #Constraints: 29783
660.00/664.66 c #Conflicts: 607000 | #Constraints: 30783
660.00/664.66 c INPROCESSING
660.00/664.66 c GARBAGE COLLECT
660.00/664.66 c rational objective 2
683.52/688.21 c #Conflicts: 608000 | #Constraints: 16322
683.52/688.21 c #Conflicts: 609000 | #Constraints: 17375
683.52/688.21 c #Conflicts: 610000 | #Constraints: 18395
683.52/688.21 c #Conflicts: 611000 | #Constraints: 19395
683.52/688.21 c #Conflicts: 612000 | #Constraints: 20395
683.52/688.21 c #Conflicts: 613000 | #Constraints: 21395
683.52/688.21 c #Conflicts: 614000 | #Constraints: 22395
683.52/688.21 c #Conflicts: 615000 | #Constraints: 23395
683.52/688.21 c #Conflicts: 616000 | #Constraints: 24396
683.52/688.21 c #Conflicts: 617000 | #Constraints: 25402
683.52/688.21 c #Conflicts: 618000 | #Constraints: 26444
683.52/688.21 c #Conflicts: 619000 | #Constraints: 27503
683.52/688.21 c #Conflicts: 620000 | #Constraints: 28521
683.52/688.21 c #Conflicts: 621000 | #Constraints: 29546
683.52/688.21 c #Conflicts: 622000 | #Constraints: 30546
683.52/688.21 c #Conflicts: 623000 | #Constraints: 31546
683.52/688.21 c INPROCESSING
683.52/688.21 c GARBAGE COLLECT
683.52/688.21 c rational objective 2
706.14/710.92 c #Conflicts: 624000 | #Constraints: 16794
706.14/710.92 c #Conflicts: 625000 | #Constraints: 17794
706.14/710.92 c #Conflicts: 626000 | #Constraints: 18794
706.14/710.92 c #Conflicts: 627000 | #Constraints: 19794
706.14/710.92 c #Conflicts: 628000 | #Constraints: 20794
706.14/710.92 c #Conflicts: 629000 | #Constraints: 21794
706.14/710.92 c #Conflicts: 630000 | #Constraints: 22794
706.14/710.92 c #Conflicts: 631000 | #Constraints: 23794
706.14/710.92 c #Conflicts: 632000 | #Constraints: 24794
706.14/710.92 c #Conflicts: 633000 | #Constraints: 25794
706.14/710.92 c #Conflicts: 634000 | #Constraints: 26794
706.14/710.92 c #Conflicts: 635000 | #Constraints: 27798
706.14/710.92 c #Conflicts: 636000 | #Constraints: 28798
706.14/710.92 c #Conflicts: 637000 | #Constraints: 29798
706.14/710.92 c #Conflicts: 638000 | #Constraints: 30798
706.14/710.92 c #Conflicts: 639000 | #Constraints: 31798
706.14/710.92 c INPROCESSING
706.14/710.92 c GARBAGE COLLECT
706.14/710.92 c rational objective 2
729.76/734.61 c #Conflicts: 640000 | #Constraints: 16928
729.76/734.61 c #Conflicts: 641000 | #Constraints: 17936
729.76/734.61 c #Conflicts: 642000 | #Constraints: 18936
729.76/734.61 c #Conflicts: 643000 | #Constraints: 19936
729.76/734.61 c #Conflicts: 644000 | #Constraints: 20936
729.76/734.61 c #Conflicts: 645000 | #Constraints: 21939
729.76/734.61 c #Conflicts: 646000 | #Constraints: 22939
729.76/734.61 c #Conflicts: 647000 | #Constraints: 23987
729.76/734.61 c #Conflicts: 648000 | #Constraints: 25028
729.76/734.61 c #Conflicts: 649000 | #Constraints: 26028
729.76/734.61 c #Conflicts: 650000 | #Constraints: 27028
729.76/734.61 c #Conflicts: 651000 | #Constraints: 28028
729.76/734.61 c #Conflicts: 652000 | #Constraints: 29028
729.76/734.61 c #Conflicts: 653000 | #Constraints: 30028
729.76/734.61 c #Conflicts: 654000 | #Constraints: 31028
729.76/734.61 c #Conflicts: 655000 | #Constraints: 32028
729.76/734.61 c INPROCESSING
729.76/734.61 c GARBAGE COLLECT
729.76/734.61 c rational objective 2
758.84/763.85 c #Conflicts: 656000 | #Constraints: 16961
758.84/763.85 c #Conflicts: 657000 | #Constraints: 18086
758.84/763.85 c #Conflicts: 658000 | #Constraints: 19328
758.84/763.85 c #Conflicts: 659000 | #Constraints: 20629
758.84/763.85 c #Conflicts: 660000 | #Constraints: 21875
758.84/763.85 c #Conflicts: 661000 | #Constraints: 22939
758.84/763.85 c #Conflicts: 662000 | #Constraints: 23994
758.84/763.85 c #Conflicts: 663000 | #Constraints: 25030
758.84/763.85 c #Conflicts: 664000 | #Constraints: 26071
758.84/763.85 c #Conflicts: 665000 | #Constraints: 27076
758.84/763.85 c #Conflicts: 666000 | #Constraints: 28076
758.84/763.85 c #Conflicts: 667000 | #Constraints: 29076
758.84/763.85 c #Conflicts: 668000 | #Constraints: 30076
758.84/763.85 c #Conflicts: 669000 | #Constraints: 31087
758.84/763.85 c #Conflicts: 670000 | #Constraints: 32087
758.84/763.85 c #Conflicts: 671000 | #Constraints: 33087
758.84/763.85 c INPROCESSING
758.84/763.85 c GARBAGE COLLECT
758.84/763.85 c rational objective 2
786.15/791.28 c #Conflicts: 672000 | #Constraints: 17268
786.15/791.28 c #Conflicts: 673000 | #Constraints: 18268
786.15/791.28 c #Conflicts: 674000 | #Constraints: 19268
786.15/791.28 c #Conflicts: 675000 | #Constraints: 20268
786.15/791.28 c #Conflicts: 676000 | #Constraints: 21268
786.15/791.28 c #Conflicts: 677000 | #Constraints: 22268
786.15/791.28 c #Conflicts: 678000 | #Constraints: 23268
786.15/791.28 c #Conflicts: 679000 | #Constraints: 24268
786.15/791.28 c #Conflicts: 680000 | #Constraints: 25268
786.15/791.28 c #Conflicts: 681000 | #Constraints: 26268
786.15/791.28 c #Conflicts: 682000 | #Constraints: 27268
786.15/791.28 c #Conflicts: 683000 | #Constraints: 28268
786.15/791.28 c #Conflicts: 684000 | #Constraints: 29275
786.15/791.28 c #Conflicts: 685000 | #Constraints: 30277
786.15/791.28 c #Conflicts: 686000 | #Constraints: 31301
786.15/791.28 c #Conflicts: 687000 | #Constraints: 32307
786.15/791.28 c #Conflicts: 688000 | #Constraints: 33311
786.15/791.28 c INPROCESSING
786.15/791.28 c GARBAGE COLLECT
786.15/791.28 c rational objective 2
814.44/819.68 c #Conflicts: 689000 | #Constraints: 17576
814.44/819.68 c #Conflicts: 690000 | #Constraints: 18579
814.44/819.68 c #Conflicts: 691000 | #Constraints: 19579
814.44/819.68 c #Conflicts: 692000 | #Constraints: 20579
814.44/819.68 c #Conflicts: 693000 | #Constraints: 21581
814.44/819.68 c #Conflicts: 694000 | #Constraints: 22607
814.44/819.68 c #Conflicts: 695000 | #Constraints: 23636
814.44/819.68 c #Conflicts: 696000 | #Constraints: 24643
814.44/819.68 c #Conflicts: 697000 | #Constraints: 25643
814.44/819.68 c #Conflicts: 698000 | #Constraints: 26643
814.44/819.68 c #Conflicts: 699000 | #Constraints: 27643
814.44/819.68 c #Conflicts: 700000 | #Constraints: 28643
814.44/819.68 c #Conflicts: 701000 | #Constraints: 29643
814.44/819.68 c #Conflicts: 702000 | #Constraints: 30643
814.44/819.68 c #Conflicts: 703000 | #Constraints: 31643
814.44/819.68 c #Conflicts: 704000 | #Constraints: 32643
814.44/819.68 c #Conflicts: 705000 | #Constraints: 33643
814.44/819.68 c INPROCESSING
814.44/819.68 c GARBAGE COLLECT
814.44/819.68 c rational objective 2
844.52/849.80 c #Conflicts: 706000 | #Constraints: 17879
844.52/849.80 c #Conflicts: 707000 | #Constraints: 18932
844.52/849.80 c #Conflicts: 708000 | #Constraints: 19941
844.52/849.80 c #Conflicts: 709000 | #Constraints: 20941
844.52/849.80 c #Conflicts: 710000 | #Constraints: 21941
844.52/849.80 c #Conflicts: 711000 | #Constraints: 22941
844.52/849.80 c #Conflicts: 712000 | #Constraints: 23941
844.52/849.80 c #Conflicts: 713000 | #Constraints: 24941
844.52/849.80 c #Conflicts: 714000 | #Constraints: 25941
844.52/849.80 c #Conflicts: 715000 | #Constraints: 26941
844.52/849.80 c #Conflicts: 716000 | #Constraints: 27941
844.52/849.80 c #Conflicts: 717000 | #Constraints: 28941
844.52/849.80 c #Conflicts: 718000 | #Constraints: 29941
844.52/849.80 c #Conflicts: 719000 | #Constraints: 30941
844.52/849.80 c #Conflicts: 720000 | #Constraints: 31941
844.52/849.80 c #Conflicts: 721000 | #Constraints: 32941
844.52/849.80 c #Conflicts: 722000 | #Constraints: 33941
844.52/849.80 c INPROCESSING
844.52/849.80 c GARBAGE COLLECT
844.52/849.80 c rational objective 2
874.13/879.54 c #Conflicts: 723000 | #Constraints: 17999
874.13/879.54 c #Conflicts: 724000 | #Constraints: 18999
874.13/879.54 c #Conflicts: 725000 | #Constraints: 19999
874.13/879.54 c #Conflicts: 726000 | #Constraints: 20999
874.13/879.54 c #Conflicts: 727000 | #Constraints: 21999
874.13/879.54 c #Conflicts: 728000 | #Constraints: 22999
874.13/879.54 c #Conflicts: 729000 | #Constraints: 23999
874.13/879.54 c #Conflicts: 730000 | #Constraints: 24999
874.13/879.54 c #Conflicts: 731000 | #Constraints: 25999
874.13/879.54 c #Conflicts: 732000 | #Constraints: 26999
874.13/879.54 c #Conflicts: 733000 | #Constraints: 27999
874.13/879.54 c #Conflicts: 734000 | #Constraints: 28999
874.13/879.54 c #Conflicts: 735000 | #Constraints: 29999
874.13/879.54 c #Conflicts: 736000 | #Constraints: 30999
874.13/879.54 c #Conflicts: 737000 | #Constraints: 31999
874.13/879.54 c #Conflicts: 738000 | #Constraints: 32999
874.13/879.54 c #Conflicts: 739000 | #Constraints: 33999
874.13/879.54 c INPROCESSING
874.13/879.54 c GARBAGE COLLECT
874.13/879.54 c rational objective 2
903.42/908.93 c #Conflicts: 740000 | #Constraints: 17933
903.42/908.93 c #Conflicts: 741000 | #Constraints: 18960
903.42/908.93 c #Conflicts: 742000 | #Constraints: 19960
903.42/908.93 c #Conflicts: 743000 | #Constraints: 20960
903.42/908.93 c #Conflicts: 744000 | #Constraints: 21960
903.42/908.93 c #Conflicts: 745000 | #Constraints: 22960
903.42/908.93 c #Conflicts: 746000 | #Constraints: 23980
903.42/908.93 c #Conflicts: 747000 | #Constraints: 25004
903.42/908.93 c #Conflicts: 748000 | #Constraints: 26004
903.42/908.93 c #Conflicts: 749000 | #Constraints: 27004
903.42/908.93 c #Conflicts: 750000 | #Constraints: 28004
903.42/908.93 c #Conflicts: 751000 | #Constraints: 29004
903.42/908.93 c #Conflicts: 752000 | #Constraints: 30004
903.42/908.93 c #Conflicts: 753000 | #Constraints: 31004
903.42/908.93 c #Conflicts: 754000 | #Constraints: 32004
903.42/908.93 c #Conflicts: 755000 | #Constraints: 33004
903.42/908.93 c #Conflicts: 756000 | #Constraints: 34004
903.42/908.93 c INPROCESSING
903.42/908.93 c GARBAGE COLLECT
903.42/908.93 c rational objective 2
933.90/939.50 c #Conflicts: 757000 | #Constraints: 17722
933.90/939.50 c #Conflicts: 758000 | #Constraints: 18843
933.90/939.50 c #Conflicts: 759000 | #Constraints: 19852
933.90/939.50 c #Conflicts: 760000 | #Constraints: 20852
933.90/939.50 c #Conflicts: 761000 | #Constraints: 21852
933.90/939.50 c #Conflicts: 762000 | #Constraints: 22852
933.90/939.50 c #Conflicts: 763000 | #Constraints: 23852
933.90/939.50 c #Conflicts: 764000 | #Constraints: 24852
933.90/939.50 c #Conflicts: 765000 | #Constraints: 25852
933.90/939.50 c #Conflicts: 766000 | #Constraints: 26852
933.90/939.50 c #Conflicts: 767000 | #Constraints: 27879
933.90/939.50 c #Conflicts: 768000 | #Constraints: 28879
933.90/939.50 c #Conflicts: 769000 | #Constraints: 29879
933.90/939.50 c #Conflicts: 770000 | #Constraints: 30879
933.90/939.50 c #Conflicts: 771000 | #Constraints: 31879
933.90/939.50 c #Conflicts: 772000 | #Constraints: 32879
933.90/939.50 c #Conflicts: 773000 | #Constraints: 33879
933.90/939.50 c #Conflicts: 774000 | #Constraints: 34879
933.90/939.50 c INPROCESSING
933.90/939.50 c GARBAGE COLLECT
933.90/939.50 c rational objective 2
966.50/972.22 c #Conflicts: 775000 | #Constraints: 18436
966.50/972.22 c #Conflicts: 776000 | #Constraints: 19490
966.50/972.22 c #Conflicts: 777000 | #Constraints: 20490
966.50/972.22 c #Conflicts: 778000 | #Constraints: 21490
966.50/972.22 c #Conflicts: 779000 | #Constraints: 22490
966.50/972.22 c #Conflicts: 780000 | #Constraints: 23490
966.50/972.22 c #Conflicts: 781000 | #Constraints: 24490
966.50/972.22 c #Conflicts: 782000 | #Constraints: 25490
966.50/972.22 c #Conflicts: 783000 | #Constraints: 26490
966.50/972.22 c #Conflicts: 784000 | #Constraints: 27490
966.50/972.22 c #Conflicts: 785000 | #Constraints: 28490
966.50/972.22 c #Conflicts: 786000 | #Constraints: 29490
966.50/972.22 c #Conflicts: 787000 | #Constraints: 30490
966.50/972.22 c #Conflicts: 788000 | #Constraints: 31490
966.50/972.22 c #Conflicts: 789000 | #Constraints: 32490
966.50/972.22 c #Conflicts: 790000 | #Constraints: 33490
966.50/972.22 c #Conflicts: 791000 | #Constraints: 34490
966.50/972.22 c #Conflicts: 792000 | #Constraints: 35490
966.50/972.22 c INPROCESSING
966.50/972.22 c GARBAGE COLLECT
966.50/972.22 c rational objective 2.00006
999.08/1004.95 c #Conflicts: 793000 | #Constraints: 18802
999.08/1004.95 c #Conflicts: 794000 | #Constraints: 19876
999.08/1004.95 c #Conflicts: 795000 | #Constraints: 20891
999.08/1004.95 c #Conflicts: 796000 | #Constraints: 21891
999.08/1004.95 c #Conflicts: 797000 | #Constraints: 22893
999.08/1004.95 c #Conflicts: 798000 | #Constraints: 23899
999.08/1004.95 c #Conflicts: 799000 | #Constraints: 24899
999.08/1004.95 c #Conflicts: 800000 | #Constraints: 25899
999.08/1004.95 c #Conflicts: 801000 | #Constraints: 26899
999.08/1004.95 c #Conflicts: 802000 | #Constraints: 27899
999.08/1004.95 c #Conflicts: 803000 | #Constraints: 28899
999.08/1004.95 c #Conflicts: 804000 | #Constraints: 29899
999.08/1004.95 c #Conflicts: 805000 | #Constraints: 30899
999.08/1004.95 c #Conflicts: 806000 | #Constraints: 31899
999.08/1004.95 c #Conflicts: 807000 | #Constraints: 32899
999.08/1004.95 c #Conflicts: 808000 | #Constraints: 33899
999.08/1004.95 c #Conflicts: 809000 | #Constraints: 34899
999.08/1004.95 c #Conflicts: 810000 | #Constraints: 35899
999.08/1004.95 c INPROCESSING
999.08/1004.95 c GARBAGE COLLECT
999.08/1004.95 c rational objective 2.00004
1033.16/1039.11 c #Conflicts: 811000 | #Constraints: 19065
1033.16/1039.11 c #Conflicts: 812000 | #Constraints: 20151
1033.16/1039.11 c #Conflicts: 813000 | #Constraints: 21152
1033.16/1039.11 c #Conflicts: 814000 | #Constraints: 22152
1033.16/1039.11 c #Conflicts: 815000 | #Constraints: 23160
1033.16/1039.11 c #Conflicts: 816000 | #Constraints: 24196
1033.16/1039.11 c #Conflicts: 817000 | #Constraints: 25299
1033.16/1039.11 c #Conflicts: 818000 | #Constraints: 26357
1033.16/1039.11 c #Conflicts: 819000 | #Constraints: 27357
1033.16/1039.11 c #Conflicts: 820000 | #Constraints: 28357
1033.16/1039.11 c #Conflicts: 821000 | #Constraints: 29357
1033.16/1039.11 c #Conflicts: 822000 | #Constraints: 30357
1033.16/1039.11 c #Conflicts: 823000 | #Constraints: 31357
1033.16/1039.11 c #Conflicts: 824000 | #Constraints: 32357
1033.16/1039.11 c #Conflicts: 825000 | #Constraints: 33357
1033.16/1039.11 c #Conflicts: 826000 | #Constraints: 34357
1033.16/1039.11 c #Conflicts: 827000 | #Constraints: 35357
1033.16/1039.11 c #Conflicts: 828000 | #Constraints: 36357
1033.16/1039.11 c INPROCESSING
1033.16/1039.11 c GARBAGE COLLECT
1033.16/1039.11 c rational objective 2.00004
1075.25/1082.06 c #Conflicts: 829000 | #Constraints: 19140
1075.25/1082.06 c #Conflicts: 830000 | #Constraints: 20206
1075.25/1082.06 c #Conflicts: 831000 | #Constraints: 21302
1075.25/1082.06 c #Conflicts: 832000 | #Constraints: 22384
1075.25/1082.06 c #Conflicts: 833000 | #Constraints: 23430
1075.25/1082.06 c #Conflicts: 834000 | #Constraints: 24435
1075.25/1082.06 c #Conflicts: 835000 | #Constraints: 25458
1075.25/1082.06 c #Conflicts: 836000 | #Constraints: 26483
1075.25/1082.06 c #Conflicts: 837000 | #Constraints: 27573
1075.25/1082.06 c #Conflicts: 838000 | #Constraints: 28659
1075.25/1082.06 c #Conflicts: 839000 | #Constraints: 29734
1075.25/1082.06 c #Conflicts: 840000 | #Constraints: 30734
1075.25/1082.06 c #Conflicts: 841000 | #Constraints: 31734
1075.25/1082.06 c #Conflicts: 842000 | #Constraints: 32734
1075.25/1082.06 c #Conflicts: 843000 | #Constraints: 33734
1075.25/1082.06 c #Conflicts: 844000 | #Constraints: 34734
1075.25/1082.06 c #Conflicts: 845000 | #Constraints: 35734
1075.25/1082.06 c #Conflicts: 846000 | #Constraints: 36734
1075.25/1082.06 c INPROCESSING
1075.25/1082.06 c GARBAGE COLLECT
1075.25/1082.06 c rational objective 2.00027
1113.60/1120.58 c #Conflicts: 847000 | #Constraints: 19095
1113.60/1120.58 c #Conflicts: 848000 | #Constraints: 20130
1113.60/1120.58 c #Conflicts: 849000 | #Constraints: 21152
1113.60/1120.58 c #Conflicts: 850000 | #Constraints: 22173
1113.60/1120.58 c #Conflicts: 851000 | #Constraints: 23173
1113.60/1120.58 c #Conflicts: 852000 | #Constraints: 24215
1113.60/1120.58 c #Conflicts: 853000 | #Constraints: 25284
1113.60/1120.58 c #Conflicts: 854000 | #Constraints: 26320
1113.60/1120.58 c #Conflicts: 855000 | #Constraints: 27406
1113.60/1120.58 c #Conflicts: 856000 | #Constraints: 28494
1113.60/1120.58 c #Conflicts: 857000 | #Constraints: 29570
1113.60/1120.58 c #Conflicts: 858000 | #Constraints: 30633
1113.60/1120.58 c #Conflicts: 859000 | #Constraints: 31699
1113.60/1120.58 c #Conflicts: 860000 | #Constraints: 32785
1113.60/1120.58 c #Conflicts: 861000 | #Constraints: 33868
1113.60/1120.58 c #Conflicts: 862000 | #Constraints: 35024
1113.60/1120.58 c #Conflicts: 863000 | #Constraints: 36189
1113.60/1120.58 c #Conflicts: 864000 | #Constraints: 37352
1113.60/1120.58 c #Conflicts: 865000 | #Constraints: 38556
1113.60/1120.58 c INPROCESSING
1113.60/1120.58 c GARBAGE COLLECT
1113.60/1120.58 c rational objective 1.99985
1156.84/1163.95 c #Conflicts: 866000 | #Constraints: 20267
1156.84/1163.95 c #Conflicts: 867000 | #Constraints: 21325
1156.84/1163.95 c #Conflicts: 868000 | #Constraints: 22382
1156.84/1163.95 c #Conflicts: 869000 | #Constraints: 23437
1156.84/1163.95 c #Conflicts: 870000 | #Constraints: 24474
1156.84/1163.95 c #Conflicts: 871000 | #Constraints: 25489
1156.84/1163.95 c #Conflicts: 872000 | #Constraints: 26489
1156.84/1163.95 c #Conflicts: 873000 | #Constraints: 27489
1156.84/1163.95 c #Conflicts: 874000 | #Constraints: 28495
1156.84/1163.95 c #Conflicts: 875000 | #Constraints: 29499
1156.84/1163.95 c #Conflicts: 876000 | #Constraints: 30527
1156.84/1163.95 c #Conflicts: 877000 | #Constraints: 31579
1156.84/1163.95 c #Conflicts: 878000 | #Constraints: 32610
1156.84/1163.95 c #Conflicts: 879000 | #Constraints: 33655
1156.84/1163.95 c #Conflicts: 880000 | #Constraints: 34670
1156.84/1163.95 c #Conflicts: 881000 | #Constraints: 35670
1156.84/1163.95 c #Conflicts: 882000 | #Constraints: 36691
1156.84/1163.95 c #Conflicts: 883000 | #Constraints: 37740
1156.84/1163.95 c #Conflicts: 884000 | #Constraints: 38742
1156.84/1163.95 c INPROCESSING
1156.84/1163.95 c GARBAGE COLLECT
1156.84/1163.95 c rational objective 1.99991
1195.30/1202.56 c #Conflicts: 885000 | #Constraints: 20410
1195.30/1202.56 c #Conflicts: 886000 | #Constraints: 21410
1195.30/1202.56 c #Conflicts: 887000 | #Constraints: 22410
1195.30/1202.56 c #Conflicts: 888000 | #Constraints: 23410
1195.30/1202.56 c #Conflicts: 889000 | #Constraints: 24410
1195.30/1202.56 c #Conflicts: 890000 | #Constraints: 25410
1195.30/1202.56 c #Conflicts: 891000 | #Constraints: 26410
1195.30/1202.56 c #Conflicts: 892000 | #Constraints: 27410
1195.30/1202.56 c #Conflicts: 893000 | #Constraints: 28410
1195.30/1202.56 c #Conflicts: 894000 | #Constraints: 29413
1195.30/1202.56 c #Conflicts: 895000 | #Constraints: 30443
1195.30/1202.56 c #Conflicts: 896000 | #Constraints: 31465
1195.30/1202.56 c #Conflicts: 897000 | #Constraints: 32494
1195.30/1202.56 c #Conflicts: 898000 | #Constraints: 33494
1195.30/1202.56 c #Conflicts: 899000 | #Constraints: 34494
1195.30/1202.56 c #Conflicts: 900000 | #Constraints: 35494
1195.30/1202.56 c #Conflicts: 901000 | #Constraints: 36494
1195.30/1202.56 c #Conflicts: 902000 | #Constraints: 37494
1195.30/1202.56 c #Conflicts: 903000 | #Constraints: 38494
1195.30/1202.56 c INPROCESSING
1195.30/1202.56 c GARBAGE COLLECT
1195.30/1202.56 c rational objective 1.9998
1234.76/1242.18 c #Conflicts: 904000 | #Constraints: 20266
1234.76/1242.18 c #Conflicts: 905000 | #Constraints: 21286
1234.76/1242.18 c #Conflicts: 906000 | #Constraints: 22308
1234.76/1242.18 c #Conflicts: 907000 | #Constraints: 23345
1234.76/1242.18 c #Conflicts: 908000 | #Constraints: 24346
1234.76/1242.18 c #Conflicts: 909000 | #Constraints: 25346
1234.76/1242.18 c #Conflicts: 910000 | #Constraints: 26346
1234.76/1242.18 c #Conflicts: 911000 | #Constraints: 27346
1234.76/1242.18 c #Conflicts: 912000 | #Constraints: 28346
1234.76/1242.18 c #Conflicts: 913000 | #Constraints: 29346
1234.76/1242.18 c #Conflicts: 914000 | #Constraints: 30346
1234.76/1242.18 c #Conflicts: 915000 | #Constraints: 31346
1234.76/1242.18 c #Conflicts: 916000 | #Constraints: 32346
1234.76/1242.18 c #Conflicts: 917000 | #Constraints: 33346
1234.76/1242.18 c #Conflicts: 918000 | #Constraints: 34346
1234.76/1242.18 c #Conflicts: 919000 | #Constraints: 35346
1234.76/1242.18 c #Conflicts: 920000 | #Constraints: 36346
1234.76/1242.18 c #Conflicts: 921000 | #Constraints: 37346
1234.76/1242.18 c #Conflicts: 922000 | #Constraints: 38346
1234.76/1242.18 c INPROCESSING
1234.76/1242.18 c GARBAGE COLLECT
1234.76/1242.18 c rational objective 1.99938
1282.99/1290.54 c #Conflicts: 923000 | #Constraints: 20124
1282.99/1290.54 c #Conflicts: 924000 | #Constraints: 21211
1282.99/1290.54 c #Conflicts: 925000 | #Constraints: 22291
1282.99/1290.54 c #Conflicts: 926000 | #Constraints: 23417
1282.99/1290.54 c #Conflicts: 927000 | #Constraints: 24545
1282.99/1290.54 c #Conflicts: 928000 | #Constraints: 25675
1282.99/1290.54 c #Conflicts: 929000 | #Constraints: 26780
1282.99/1290.54 c #Conflicts: 930000 | #Constraints: 27871
1282.99/1290.54 c #Conflicts: 931000 | #Constraints: 29020
1282.99/1290.54 c #Conflicts: 932000 | #Constraints: 30182
1282.99/1290.54 c #Conflicts: 933000 | #Constraints: 31300
1282.99/1290.54 c #Conflicts: 934000 | #Constraints: 32443
1282.99/1290.54 c #Conflicts: 935000 | #Constraints: 33558
1282.99/1290.54 c #Conflicts: 936000 | #Constraints: 34653
1282.99/1290.54 c #Conflicts: 937000 | #Constraints: 35729
1282.99/1290.54 c #Conflicts: 938000 | #Constraints: 36823
1282.99/1290.54 c #Conflicts: 939000 | #Constraints: 37866
1282.99/1290.54 c #Conflicts: 940000 | #Constraints: 38955
1282.99/1290.54 c #Conflicts: 941000 | #Constraints: 40037
1282.99/1290.54 c INPROCESSING
1282.99/1290.54 c GARBAGE COLLECT
1282.99/1290.54 c rational objective 1.99938
1327.63/1335.39 c #Conflicts: 942000 | #Constraints: 20783
1327.63/1335.39 c #Conflicts: 943000 | #Constraints: 21816
1327.63/1335.39 c #Conflicts: 944000 | #Constraints: 22830
1327.63/1335.39 c #Conflicts: 945000 | #Constraints: 23830
1327.63/1335.39 c #Conflicts: 946000 | #Constraints: 24830
1327.63/1335.39 c #Conflicts: 947000 | #Constraints: 25830
1327.63/1335.39 c #Conflicts: 948000 | #Constraints: 26830
1327.63/1335.39 c #Conflicts: 949000 | #Constraints: 27830
1327.63/1335.39 c #Conflicts: 950000 | #Constraints: 28830
1327.63/1335.39 c #Conflicts: 951000 | #Constraints: 29830
1327.63/1335.39 c #Conflicts: 952000 | #Constraints: 30830
1327.63/1335.39 c #Conflicts: 953000 | #Constraints: 31830
1327.63/1335.39 c #Conflicts: 954000 | #Constraints: 32830
1327.63/1335.39 c #Conflicts: 955000 | #Constraints: 33830
1327.63/1335.39 c #Conflicts: 956000 | #Constraints: 34830
1327.63/1335.39 c #Conflicts: 957000 | #Constraints: 35830
1327.63/1335.39 c #Conflicts: 958000 | #Constraints: 36830
1327.63/1335.39 c #Conflicts: 959000 | #Constraints: 37830
1327.63/1335.39 c #Conflicts: 960000 | #Constraints: 38830
1327.63/1335.39 c #Conflicts: 961000 | #Constraints: 39830
1327.63/1335.40 c INPROCESSING
1327.63/1335.40 c GARBAGE COLLECT
1327.63/1335.40 c rational objective 1.99938
1380.04/1387.95 c #Conflicts: 962000 | #Constraints: 20876
1380.04/1387.95 c #Conflicts: 963000 | #Constraints: 21924
1380.04/1387.95 c #Conflicts: 964000 | #Constraints: 22979
1380.04/1387.95 c #Conflicts: 965000 | #Constraints: 24018
1380.04/1387.95 c #Conflicts: 966000 | #Constraints: 25058
1380.04/1387.95 c #Conflicts: 967000 | #Constraints: 26100
1380.04/1387.95 c #Conflicts: 968000 | #Constraints: 27130
1380.04/1387.95 c #Conflicts: 969000 | #Constraints: 28172
1380.04/1387.95 c #Conflicts: 970000 | #Constraints: 29215
1380.04/1387.95 c #Conflicts: 971000 | #Constraints: 30221
1380.04/1387.95 c #Conflicts: 972000 | #Constraints: 31221
1380.04/1387.95 c #Conflicts: 973000 | #Constraints: 32221
1380.04/1387.95 c #Conflicts: 974000 | #Constraints: 33221
1380.04/1387.95 c #Conflicts: 975000 | #Constraints: 34221
1380.04/1387.95 c #Conflicts: 976000 | #Constraints: 35221
1380.04/1387.95 c #Conflicts: 977000 | #Constraints: 36221
1380.04/1387.95 c #Conflicts: 978000 | #Constraints: 37221
1380.04/1387.95 c #Conflicts: 979000 | #Constraints: 38221
1380.04/1387.95 c #Conflicts: 980000 | #Constraints: 39221
1380.04/1387.95 c #Conflicts: 981000 | #Constraints: 40221
1380.04/1387.95 c INPROCESSING
1380.04/1387.95 c GARBAGE COLLECT
1380.04/1387.95 c rational objective 1.9994
1431.18/1439.28 c #Conflicts: 982000 | #Constraints: 21218
1431.18/1439.28 c #Conflicts: 983000 | #Constraints: 22308
1431.18/1439.28 c #Conflicts: 984000 | #Constraints: 23434
1431.18/1439.28 c #Conflicts: 985000 | #Constraints: 24474
1431.18/1439.28 c #Conflicts: 986000 | #Constraints: 25474
1431.18/1439.28 c #Conflicts: 987000 | #Constraints: 26474
1431.18/1439.28 c #Conflicts: 988000 | #Constraints: 27474
1431.18/1439.28 c #Conflicts: 989000 | #Constraints: 28474
1431.18/1439.28 c #Conflicts: 990000 | #Constraints: 29474
1431.18/1439.28 c #Conflicts: 991000 | #Constraints: 30474
1431.18/1439.28 c #Conflicts: 992000 | #Constraints: 31474
1431.18/1439.28 c #Conflicts: 993000 | #Constraints: 32474
1431.18/1439.28 c #Conflicts: 994000 | #Constraints: 33474
1431.18/1439.28 c #Conflicts: 995000 | #Constraints: 34474
1431.18/1439.28 c #Conflicts: 996000 | #Constraints: 35474
1431.18/1439.28 c #Conflicts: 997000 | #Constraints: 36474
1431.18/1439.28 c #Conflicts: 998000 | #Constraints: 37474
1431.18/1439.28 c #Conflicts: 999000 | #Constraints: 38474
1431.18/1439.28 c #Conflicts: 1000000 | #Constraints: 39474
1431.18/1439.28 c #Conflicts: 1001000 | #Constraints: 40474
1431.18/1439.28 c INPROCESSING
1431.18/1439.28 c GARBAGE COLLECT
1431.18/1439.28 c rational objective 1.99941
1481.27/1489.55 c #Conflicts: 1002000 | #Constraints: 21296
1481.27/1489.55 c #Conflicts: 1003000 | #Constraints: 22325
1481.27/1489.55 c #Conflicts: 1004000 | #Constraints: 23349
1481.27/1489.55 c #Conflicts: 1005000 | #Constraints: 24357
1481.27/1489.55 c #Conflicts: 1006000 | #Constraints: 25398
1481.27/1489.55 c #Conflicts: 1007000 | #Constraints: 26398
1481.27/1489.55 c #Conflicts: 1008000 | #Constraints: 27398
1481.27/1489.55 c #Conflicts: 1009000 | #Constraints: 28398
1481.27/1489.55 c #Conflicts: 1010000 | #Constraints: 29398
1481.27/1489.55 c #Conflicts: 1011000 | #Constraints: 30398
1481.27/1489.55 c #Conflicts: 1012000 | #Constraints: 31398
1481.27/1489.55 c #Conflicts: 1013000 | #Constraints: 32398
1481.27/1489.55 c #Conflicts: 1014000 | #Constraints: 33398
1481.27/1489.55 c #Conflicts: 1015000 | #Constraints: 34398
1481.27/1489.55 c #Conflicts: 1016000 | #Constraints: 35398
1481.27/1489.55 c #Conflicts: 1017000 | #Constraints: 36398
1481.27/1489.55 c #Conflicts: 1018000 | #Constraints: 37398
1481.27/1489.55 c #Conflicts: 1019000 | #Constraints: 38398
1481.27/1489.55 c #Conflicts: 1020000 | #Constraints: 39398
1481.27/1489.55 c #Conflicts: 1021000 | #Constraints: 40398
1481.27/1489.55 c INPROCESSING
1481.27/1489.55 c GARBAGE COLLECT
1481.27/1489.55 c rational objective 1.99975
1531.73/1540.19 c #Conflicts: 1022000 | #Constraints: 21124
1531.73/1540.19 c #Conflicts: 1023000 | #Constraints: 22162
1531.73/1540.19 c #Conflicts: 1024000 | #Constraints: 23202
1531.73/1540.19 c #Conflicts: 1025000 | #Constraints: 24234
1531.73/1540.19 c #Conflicts: 1026000 | #Constraints: 25268
1531.73/1540.19 c #Conflicts: 1027000 | #Constraints: 26290
1531.73/1540.19 c #Conflicts: 1028000 | #Constraints: 27315
1531.73/1540.19 c #Conflicts: 1029000 | #Constraints: 28315
1531.73/1540.19 c #Conflicts: 1030000 | #Constraints: 29315
1531.73/1540.19 c #Conflicts: 1031000 | #Constraints: 30315
1531.73/1540.19 c #Conflicts: 1032000 | #Constraints: 31315
1531.73/1540.19 c #Conflicts: 1033000 | #Constraints: 32315
1531.73/1540.19 c #Conflicts: 1034000 | #Constraints: 33315
1531.73/1540.19 c #Conflicts: 1035000 | #Constraints: 34315
1531.73/1540.19 c #Conflicts: 1036000 | #Constraints: 35315
1531.73/1540.19 c #Conflicts: 1037000 | #Constraints: 36315
1531.73/1540.19 c #Conflicts: 1038000 | #Constraints: 37315
1531.73/1540.19 c #Conflicts: 1039000 | #Constraints: 38315
1531.73/1540.19 c #Conflicts: 1040000 | #Constraints: 39315
1531.73/1540.19 c #Conflicts: 1041000 | #Constraints: 40315
1531.73/1540.19 c INPROCESSING
1531.73/1540.19 c GARBAGE COLLECT
1531.73/1540.19 c rational objective 1.99936
1585.40/1594.06 c #Conflicts: 1042000 | #Constraints: 20867
1585.40/1594.06 c #Conflicts: 1043000 | #Constraints: 21892
1585.40/1594.06 c #Conflicts: 1044000 | #Constraints: 22892
1585.40/1594.06 c #Conflicts: 1045000 | #Constraints: 23892
1585.40/1594.06 c #Conflicts: 1046000 | #Constraints: 24892
1585.40/1594.06 c #Conflicts: 1047000 | #Constraints: 25892
1585.40/1594.06 c #Conflicts: 1048000 | #Constraints: 26892
1585.40/1594.06 c #Conflicts: 1049000 | #Constraints: 27892
1585.40/1594.06 c #Conflicts: 1050000 | #Constraints: 28892
1585.40/1594.06 c #Conflicts: 1051000 | #Constraints: 29892
1585.40/1594.06 c #Conflicts: 1052000 | #Constraints: 30892
1585.40/1594.06 c #Conflicts: 1053000 | #Constraints: 31892
1585.40/1594.06 c #Conflicts: 1054000 | #Constraints: 32892
1585.40/1594.06 c #Conflicts: 1055000 | #Constraints: 33892
1585.40/1594.06 c #Conflicts: 1056000 | #Constraints: 34892
1585.40/1594.06 c #Conflicts: 1057000 | #Constraints: 35892
1585.40/1594.06 c #Conflicts: 1058000 | #Constraints: 36892
1585.40/1594.06 c #Conflicts: 1059000 | #Constraints: 37892
1585.40/1594.06 c #Conflicts: 1060000 | #Constraints: 38892
1585.40/1594.06 c #Conflicts: 1061000 | #Constraints: 39892
1585.40/1594.06 c #Conflicts: 1062000 | #Constraints: 40892
1585.40/1594.06 c INPROCESSING
1585.40/1594.06 c GARBAGE COLLECT
1585.40/1594.06 c rational objective 1.99897
1639.41/1648.24 c #Conflicts: 1063000 | #Constraints: 21395
1639.41/1648.24 c #Conflicts: 1064000 | #Constraints: 22465
1639.41/1648.24 c #Conflicts: 1065000 | #Constraints: 23502
1639.41/1648.24 c #Conflicts: 1066000 | #Constraints: 24502
1639.41/1648.24 c #Conflicts: 1067000 | #Constraints: 25502
1639.41/1648.24 c #Conflicts: 1068000 | #Constraints: 26503
1639.41/1648.24 c #Conflicts: 1069000 | #Constraints: 27543
1639.41/1648.24 c #Conflicts: 1070000 | #Constraints: 28548
1639.41/1648.24 c #Conflicts: 1071000 | #Constraints: 29548
1639.41/1648.24 c #Conflicts: 1072000 | #Constraints: 30548
1639.41/1648.24 c #Conflicts: 1073000 | #Constraints: 31548
1639.41/1648.24 c #Conflicts: 1074000 | #Constraints: 32548
1639.41/1648.24 c #Conflicts: 1075000 | #Constraints: 33548
1639.41/1648.24 c #Conflicts: 1076000 | #Constraints: 34552
1639.41/1648.24 c #Conflicts: 1077000 | #Constraints: 35552
1639.41/1648.24 c #Conflicts: 1078000 | #Constraints: 36552
1639.41/1648.24 c #Conflicts: 1079000 | #Constraints: 37552
1639.41/1648.24 c #Conflicts: 1080000 | #Constraints: 38552
1639.41/1648.24 c #Conflicts: 1081000 | #Constraints: 39552
1639.41/1648.24 c #Conflicts: 1082000 | #Constraints: 40552
1639.41/1648.24 c #Conflicts: 1083000 | #Constraints: 41552
1639.41/1648.24 c INPROCESSING
1639.41/1648.24 c GARBAGE COLLECT
1639.41/1648.24 c rational objective 1.99997
1702.43/1711.70 c #Conflicts: 1084000 | #Constraints: 21810
1702.43/1711.70 c #Conflicts: 1085000 | #Constraints: 22810
1702.43/1711.70 c #Conflicts: 1086000 | #Constraints: 23817
1702.43/1711.70 c #Conflicts: 1087000 | #Constraints: 24898
1702.43/1711.70 c #Conflicts: 1088000 | #Constraints: 26000
1702.43/1711.70 c #Conflicts: 1089000 | #Constraints: 27100
1702.43/1711.70 c #Conflicts: 1090000 | #Constraints: 28235
1702.43/1711.70 c #Conflicts: 1091000 | #Constraints: 29354
1702.43/1711.70 c #Conflicts: 1092000 | #Constraints: 30507
1702.43/1711.70 c #Conflicts: 1093000 | #Constraints: 31621
1702.43/1711.70 c #Conflicts: 1094000 | #Constraints: 32734
1702.43/1711.70 c #Conflicts: 1095000 | #Constraints: 33857
1702.43/1711.70 c #Conflicts: 1096000 | #Constraints: 34986
1702.43/1711.70 c #Conflicts: 1097000 | #Constraints: 36112
1702.43/1711.70 c #Conflicts: 1098000 | #Constraints: 37266
1702.43/1711.70 c #Conflicts: 1099000 | #Constraints: 38411
1702.43/1711.70 c #Conflicts: 1100000 | #Constraints: 39522
1702.43/1711.70 c #Conflicts: 1101000 | #Constraints: 40629
1702.43/1711.70 c #Conflicts: 1102000 | #Constraints: 41733
1702.43/1711.70 c #Conflicts: 1103000 | #Constraints: 42847
1702.43/1711.70 c #Conflicts: 1104000 | #Constraints: 43961
1702.43/1711.70 c INPROCESSING
1702.43/1711.70 c GARBAGE COLLECT
1702.43/1711.70 c rational objective 1.99997
1759.67/1769.00 c #Conflicts: 1105000 | #Constraints: 23053
1759.67/1769.00 c #Conflicts: 1106000 | #Constraints: 24113
1759.67/1769.00 c #Conflicts: 1107000 | #Constraints: 25166
1759.67/1769.00 c #Conflicts: 1108000 | #Constraints: 26248
1759.67/1769.00 c #Conflicts: 1109000 | #Constraints: 27302
1759.67/1769.00 c #Conflicts: 1110000 | #Constraints: 28352
1759.67/1769.00 c #Conflicts: 1111000 | #Constraints: 29365
1759.67/1769.00 c #Conflicts: 1112000 | #Constraints: 30411
1759.67/1769.00 c #Conflicts: 1113000 | #Constraints: 31465
1759.67/1769.00 c #Conflicts: 1114000 | #Constraints: 32503
1759.67/1769.00 c #Conflicts: 1115000 | #Constraints: 33546
1759.67/1769.00 c #Conflicts: 1116000 | #Constraints: 34586
1759.67/1769.00 c #Conflicts: 1117000 | #Constraints: 35636
1759.67/1769.00 c #Conflicts: 1118000 | #Constraints: 36691
1759.67/1769.00 c #Conflicts: 1119000 | #Constraints: 37748
1759.67/1769.00 c #Conflicts: 1120000 | #Constraints: 38829
1759.67/1769.00 c #Conflicts: 1121000 | #Constraints: 39875
1759.67/1769.00 c #Conflicts: 1122000 | #Constraints: 40914
1759.67/1769.00 c #Conflicts: 1123000 | #Constraints: 41958
1759.67/1769.00 c #Conflicts: 1124000 | #Constraints: 42989
1759.67/1769.00 c #Conflicts: 1125000 | #Constraints: 44030
1759.67/1769.00 c INPROCESSING
1759.67/1769.00 c GARBAGE COLLECT
1759.67/1769.00 c rational objective 2.00044
1814.09/1823.66 c #Conflicts: 1126000 | #Constraints: 22941
1814.09/1823.66 c #Conflicts: 1127000 | #Constraints: 23965
1814.09/1823.66 c #Conflicts: 1128000 | #Constraints: 25009
1814.09/1823.66 c #Conflicts: 1129000 | #Constraints: 26061
1814.09/1823.66 c #Conflicts: 1130000 | #Constraints: 27077
1814.09/1823.66 c #Conflicts: 1131000 | #Constraints: 28091
1814.09/1823.66 c #Conflicts: 1132000 | #Constraints: 29094
1814.09/1823.66 c #Conflicts: 1133000 | #Constraints: 30094
1814.09/1823.66 c #Conflicts: 1134000 | #Constraints: 31094
1814.09/1823.66 c #Conflicts: 1135000 | #Constraints: 32094
1814.09/1823.66 c #Conflicts: 1136000 | #Constraints: 33095
1814.09/1823.66 c #Conflicts: 1137000 | #Constraints: 34095
1814.09/1823.66 c #Conflicts: 1138000 | #Constraints: 35095
1814.09/1823.66 c #Conflicts: 1139000 | #Constraints: 36095
1814.09/1823.66 c #Conflicts: 1140000 | #Constraints: 37095
1814.09/1823.66 c #Conflicts: 1141000 | #Constraints: 38095
1814.09/1823.66 c #Conflicts: 1142000 | #Constraints: 39117
1814.09/1823.66 c #Conflicts: 1143000 | #Constraints: 40151
1814.09/1823.66 c #Conflicts: 1144000 | #Constraints: 41159
1814.09/1823.66 c #Conflicts: 1145000 | #Constraints: 42191
1814.09/1823.66 c #Conflicts: 1146000 | #Constraints: 43233
1814.09/1823.66 c INPROCESSING
1814.09/1823.66 c GARBAGE COLLECT
1814.09/1823.66 c rational objective 1.99999
1863.82/1873.54 c #Conflicts: 1147000 | #Constraints: 22338
1863.82/1873.54 c #Conflicts: 1148000 | #Constraints: 23338
1863.82/1873.54 c #Conflicts: 1149000 | #Constraints: 24399
1863.82/1873.54 c #Conflicts: 1150000 | #Constraints: 25450
1863.82/1873.54 c #Conflicts: 1151000 | #Constraints: 26450
1863.82/1873.54 c #Conflicts: 1152000 | #Constraints: 27450
1863.82/1873.54 c #Conflicts: 1153000 | #Constraints: 28450
1863.82/1873.54 c #Conflicts: 1154000 | #Constraints: 29450
1863.82/1873.54 c #Conflicts: 1155000 | #Constraints: 30450
1863.82/1873.54 c #Conflicts: 1156000 | #Constraints: 31471
1863.82/1873.54 c #Conflicts: 1157000 | #Constraints: 32471
1863.82/1873.54 c #Conflicts: 1158000 | #Constraints: 33471
1863.82/1873.54 c #Conflicts: 1159000 | #Constraints: 34471
1863.82/1873.54 c #Conflicts: 1160000 | #Constraints: 35471
1863.82/1873.54 c #Conflicts: 1161000 | #Constraints: 36471
1863.82/1873.54 c #Conflicts: 1162000 | #Constraints: 37471
1863.82/1873.54 c #Conflicts: 1163000 | #Constraints: 38471
1863.82/1873.54 c #Conflicts: 1164000 | #Constraints: 39471
1863.82/1873.54 c #Conflicts: 1165000 | #Constraints: 40471
1863.82/1873.54 c #Conflicts: 1166000 | #Constraints: 41471
1863.82/1873.54 c #Conflicts: 1167000 | #Constraints: 42471
1863.82/1873.54 c #Conflicts: 1168000 | #Constraints: 43471
1863.82/1873.54 c INPROCESSING
1863.82/1873.54 c GARBAGE COLLECT
1863.82/1873.54 c rational objective 1.99895
1915.25/1925.13 c #Conflicts: 1169000 | #Constraints: 22687
1915.25/1925.13 c #Conflicts: 1170000 | #Constraints: 23687
1915.25/1925.13 c #Conflicts: 1171000 | #Constraints: 24687
1915.25/1925.13 c #Conflicts: 1172000 | #Constraints: 25687
1915.25/1925.13 c #Conflicts: 1173000 | #Constraints: 26692
1915.25/1925.13 c #Conflicts: 1174000 | #Constraints: 27692
1915.25/1925.13 c #Conflicts: 1175000 | #Constraints: 28704
1915.25/1925.13 c #Conflicts: 1176000 | #Constraints: 29704
1915.25/1925.13 c #Conflicts: 1177000 | #Constraints: 30704
1915.25/1925.13 c #Conflicts: 1178000 | #Constraints: 31706
1915.25/1925.13 c #Conflicts: 1179000 | #Constraints: 32706
1915.25/1925.13 c #Conflicts: 1180000 | #Constraints: 33715
1915.25/1925.13 c #Conflicts: 1181000 | #Constraints: 34728
1915.25/1925.13 c #Conflicts: 1182000 | #Constraints: 35728
1915.25/1925.13 c #Conflicts: 1183000 | #Constraints: 36728
1915.25/1925.13 c #Conflicts: 1184000 | #Constraints: 37728
1915.25/1925.13 c #Conflicts: 1185000 | #Constraints: 38728
1915.25/1925.13 c #Conflicts: 1186000 | #Constraints: 39728
1915.25/1925.13 c #Conflicts: 1187000 | #Constraints: 40728
1915.25/1925.13 c #Conflicts: 1188000 | #Constraints: 41728
1915.25/1925.13 c #Conflicts: 1189000 | #Constraints: 42728
1915.25/1925.13 c #Conflicts: 1190000 | #Constraints: 43728
1915.25/1925.13 c INPROCESSING
1915.25/1925.13 c GARBAGE COLLECT
1915.25/1925.13 c rational objective 1.99895
1976.52/1986.69 c #Conflicts: 1191000 | #Constraints: 22878
1976.52/1986.69 c #Conflicts: 1192000 | #Constraints: 23878
1976.52/1986.69 c #Conflicts: 1193000 | #Constraints: 24893
1976.52/1986.69 c #Conflicts: 1194000 | #Constraints: 26007
1976.52/1986.69 c #Conflicts: 1195000 | #Constraints: 27112
1976.52/1986.69 c #Conflicts: 1196000 | #Constraints: 28192
1976.52/1986.69 c #Conflicts: 1197000 | #Constraints: 29350
1976.52/1986.69 c #Conflicts: 1198000 | #Constraints: 30496
1976.52/1986.69 c #Conflicts: 1199000 | #Constraints: 31593
1976.52/1986.69 c #Conflicts: 1200000 | #Constraints: 32676
1976.52/1986.69 c #Conflicts: 1201000 | #Constraints: 33738
1976.52/1986.69 c #Conflicts: 1202000 | #Constraints: 34844
1976.52/1986.69 c #Conflicts: 1203000 | #Constraints: 35946
1976.52/1986.69 c #Conflicts: 1204000 | #Constraints: 37020
1976.52/1986.69 c #Conflicts: 1205000 | #Constraints: 38111
1976.52/1986.69 c #Conflicts: 1206000 | #Constraints: 39223
1976.52/1986.69 c #Conflicts: 1207000 | #Constraints: 40353
1976.52/1986.69 c #Conflicts: 1208000 | #Constraints: 41471
1976.52/1986.69 c #Conflicts: 1209000 | #Constraints: 42527
1976.52/1986.69 c #Conflicts: 1210000 | #Constraints: 43621
1976.52/1986.69 c #Conflicts: 1211000 | #Constraints: 44705
1976.52/1986.69 c #Conflicts: 1212000 | #Constraints: 45768
1976.52/1986.69 c INPROCESSING
1976.52/1986.69 c GARBAGE COLLECT
1976.52/1986.69 c rational objective 1.99895
2042.09/2052.40 c #Conflicts: 1213000 | #Constraints: 23969
2042.09/2052.40 c #Conflicts: 1214000 | #Constraints: 25028
2042.09/2052.40 c #Conflicts: 1215000 | #Constraints: 26084
2042.09/2052.40 c #Conflicts: 1216000 | #Constraints: 27149
2042.09/2052.40 c #Conflicts: 1217000 | #Constraints: 28248
2042.09/2052.40 c #Conflicts: 1218000 | #Constraints: 29323
2042.09/2052.40 c #Conflicts: 1219000 | #Constraints: 30417
2042.09/2052.40 c #Conflicts: 1220000 | #Constraints: 31521
2042.09/2052.40 c #Conflicts: 1221000 | #Constraints: 32595
2042.09/2052.40 c #Conflicts: 1222000 | #Constraints: 33695
2042.09/2052.40 c #Conflicts: 1223000 | #Constraints: 34780
2042.09/2052.40 c #Conflicts: 1224000 | #Constraints: 35879
2042.09/2052.40 c #Conflicts: 1225000 | #Constraints: 36969
2042.09/2052.40 c #Conflicts: 1226000 | #Constraints: 38066
2042.09/2052.40 c #Conflicts: 1227000 | #Constraints: 39168
2042.09/2052.40 c #Conflicts: 1228000 | #Constraints: 40278
2042.09/2052.40 c #Conflicts: 1229000 | #Constraints: 41382
2042.09/2052.40 c #Conflicts: 1230000 | #Constraints: 42458
2042.09/2052.40 c #Conflicts: 1231000 | #Constraints: 43578
2042.09/2052.40 c #Conflicts: 1232000 | #Constraints: 44675
2042.09/2052.40 c #Conflicts: 1233000 | #Constraints: 45771
2042.09/2052.40 c #Conflicts: 1234000 | #Constraints: 46886
2042.09/2052.40 c INPROCESSING
2042.09/2052.40 c GARBAGE COLLECT
2042.09/2052.40 c rational objective 1.99895
2103.38/2113.99 c #Conflicts: 1235000 | #Constraints: 24435
2103.38/2113.99 c #Conflicts: 1236000 | #Constraints: 25614
2103.38/2113.99 c #Conflicts: 1237000 | #Constraints: 26742
2103.38/2113.99 c #Conflicts: 1238000 | #Constraints: 27851
2103.38/2113.99 c #Conflicts: 1239000 | #Constraints: 28937
2103.38/2113.99 c #Conflicts: 1240000 | #Constraints: 30019
2103.38/2113.99 c #Conflicts: 1241000 | #Constraints: 31093
2103.38/2113.99 c #Conflicts: 1242000 | #Constraints: 32253
2103.38/2113.99 c #Conflicts: 1243000 | #Constraints: 33378
2103.38/2113.99 c #Conflicts: 1244000 | #Constraints: 34491
2103.38/2113.99 c #Conflicts: 1245000 | #Constraints: 35641
2103.38/2113.99 c #Conflicts: 1246000 | #Constraints: 36800
2103.38/2113.99 c #Conflicts: 1247000 | #Constraints: 37912
2103.38/2113.99 c #Conflicts: 1248000 | #Constraints: 39052
2103.38/2113.99 c #Conflicts: 1249000 | #Constraints: 40125
2103.38/2113.99 c #Conflicts: 1250000 | #Constraints: 41186
2103.38/2113.99 c #Conflicts: 1251000 | #Constraints: 42296
2103.38/2113.99 c #Conflicts: 1252000 | #Constraints: 43388
2103.38/2113.99 c #Conflicts: 1253000 | #Constraints: 44484
2103.38/2113.99 c #Conflicts: 1254000 | #Constraints: 45609
2103.38/2113.99 c #Conflicts: 1255000 | #Constraints: 46729
2103.38/2113.99 c #Conflicts: 1256000 | #Constraints: 47832
2103.38/2113.99 c INPROCESSING
2103.38/2113.99 c GARBAGE COLLECT
2103.38/2113.99 c rational objective 1.99895
2168.17/2178.99 c #Conflicts: 1257000 | #Constraints: 24662
2168.17/2178.99 c #Conflicts: 1258000 | #Constraints: 25737
2168.17/2178.99 c #Conflicts: 1259000 | #Constraints: 26796
2168.17/2178.99 c #Conflicts: 1260000 | #Constraints: 27876
2168.17/2178.99 c #Conflicts: 1261000 | #Constraints: 28904
2168.17/2178.99 c #Conflicts: 1262000 | #Constraints: 29975
2168.17/2178.99 c #Conflicts: 1263000 | #Constraints: 31065
2168.17/2178.99 c #Conflicts: 1264000 | #Constraints: 32143
2168.17/2178.99 c #Conflicts: 1265000 | #Constraints: 33218
2168.17/2178.99 c #Conflicts: 1266000 | #Constraints: 34322
2168.17/2178.99 c #Conflicts: 1267000 | #Constraints: 35434
2168.17/2178.99 c #Conflicts: 1268000 | #Constraints: 36555
2168.17/2178.99 c #Conflicts: 1269000 | #Constraints: 37625
2168.17/2178.99 c #Conflicts: 1270000 | #Constraints: 38657
2168.17/2178.99 c #Conflicts: 1271000 | #Constraints: 39699
2168.17/2178.99 c #Conflicts: 1272000 | #Constraints: 40730
2168.17/2178.99 c #Conflicts: 1273000 | #Constraints: 41775
2168.17/2178.99 c #Conflicts: 1274000 | #Constraints: 42811
2168.17/2178.99 c #Conflicts: 1275000 | #Constraints: 43894
2168.17/2178.99 c #Conflicts: 1276000 | #Constraints: 44948
2168.17/2178.99 c #Conflicts: 1277000 | #Constraints: 46018
2168.17/2178.99 c #Conflicts: 1278000 | #Constraints: 47147
2168.17/2178.99 c #Conflicts: 1279000 | #Constraints: 48225
2168.17/2178.99 c INPROCESSING
2168.17/2178.99 c GARBAGE COLLECT
2168.17/2178.99 c rational objective 1.99895
2235.72/2246.76 c #Conflicts: 1280000 | #Constraints: 25088
2235.72/2246.76 c #Conflicts: 1281000 | #Constraints: 26150
2235.72/2246.76 c #Conflicts: 1282000 | #Constraints: 27202
2235.72/2246.76 c #Conflicts: 1283000 | #Constraints: 28202
2235.72/2246.76 c #Conflicts: 1284000 | #Constraints: 29248
2235.72/2246.76 c #Conflicts: 1285000 | #Constraints: 30290
2235.72/2246.76 c #Conflicts: 1286000 | #Constraints: 31342
2235.72/2246.76 c #Conflicts: 1287000 | #Constraints: 32393
2235.72/2246.76 c #Conflicts: 1288000 | #Constraints: 33432
2235.72/2246.76 c #Conflicts: 1289000 | #Constraints: 34503
2235.72/2246.76 c #Conflicts: 1290000 | #Constraints: 35599
2235.72/2246.76 c #Conflicts: 1291000 | #Constraints: 36736
2235.72/2246.76 c #Conflicts: 1292000 | #Constraints: 37821
2235.72/2246.76 c #Conflicts: 1293000 | #Constraints: 38906
2235.72/2246.76 c #Conflicts: 1294000 | #Constraints: 40052
2235.72/2246.76 c #Conflicts: 1295000 | #Constraints: 41148
2235.72/2246.76 c #Conflicts: 1296000 | #Constraints: 42197
2235.72/2246.76 c #Conflicts: 1297000 | #Constraints: 43266
2235.72/2246.76 c #Conflicts: 1298000 | #Constraints: 44313
2235.72/2246.76 c #Conflicts: 1299000 | #Constraints: 45370
2235.72/2246.76 c #Conflicts: 1300000 | #Constraints: 46430
2235.72/2246.76 c #Conflicts: 1301000 | #Constraints: 47504
2235.72/2246.76 c #Conflicts: 1302000 | #Constraints: 48554
2235.72/2246.76 c INPROCESSING
2235.72/2246.76 c GARBAGE COLLECT
2235.72/2246.76 c rational objective 1.99895
2300.22/2311.43 c #Conflicts: 1303000 | #Constraints: 25306
2300.22/2311.43 c #Conflicts: 1304000 | #Constraints: 26319
2300.22/2311.43 c #Conflicts: 1305000 | #Constraints: 27355
2300.22/2311.43 c #Conflicts: 1306000 | #Constraints: 28376
2300.22/2311.43 c #Conflicts: 1307000 | #Constraints: 29376
2300.22/2311.43 c #Conflicts: 1308000 | #Constraints: 30376
2300.22/2311.43 c #Conflicts: 1309000 | #Constraints: 31376
2300.22/2311.43 c #Conflicts: 1310000 | #Constraints: 32376
2300.22/2311.43 c #Conflicts: 1311000 | #Constraints: 33376
2300.22/2311.43 c #Conflicts: 1312000 | #Constraints: 34376
2300.22/2311.43 c #Conflicts: 1313000 | #Constraints: 35376
2300.22/2311.43 c #Conflicts: 1314000 | #Constraints: 36376
2300.22/2311.43 c #Conflicts: 1315000 | #Constraints: 37376
2300.22/2311.43 c #Conflicts: 1316000 | #Constraints: 38376
2300.22/2311.43 c #Conflicts: 1317000 | #Constraints: 39376
2300.22/2311.43 c #Conflicts: 1318000 | #Constraints: 40376
2300.22/2311.43 c #Conflicts: 1319000 | #Constraints: 41376
2300.22/2311.43 c #Conflicts: 1320000 | #Constraints: 42376
2300.22/2311.43 c #Conflicts: 1321000 | #Constraints: 43376
2300.22/2311.43 c #Conflicts: 1322000 | #Constraints: 44376
2300.22/2311.43 c #Conflicts: 1323000 | #Constraints: 45376
2300.22/2311.43 c #Conflicts: 1324000 | #Constraints: 46376
2300.22/2311.43 c #Conflicts: 1325000 | #Constraints: 47376
2300.22/2311.43 c INPROCESSING
2300.22/2311.43 c GARBAGE COLLECT
2300.22/2311.43 c rational objective 1.99895
2358.41/2369.89 c #Conflicts: 1326000 | #Constraints: 24737
2358.41/2369.89 c #Conflicts: 1327000 | #Constraints: 25824
2358.41/2369.89 c #Conflicts: 1328000 | #Constraints: 26852
2358.41/2369.89 c #Conflicts: 1329000 | #Constraints: 27852
2358.41/2369.89 c #Conflicts: 1330000 | #Constraints: 28852
2358.41/2369.89 c #Conflicts: 1331000 | #Constraints: 29852
2358.41/2369.89 c #Conflicts: 1332000 | #Constraints: 30852
2358.41/2369.89 c #Conflicts: 1333000 | #Constraints: 31852
2358.41/2369.89 c #Conflicts: 1334000 | #Constraints: 32852
2358.41/2369.89 c #Conflicts: 1335000 | #Constraints: 33852
2358.41/2369.89 c #Conflicts: 1336000 | #Constraints: 34852
2358.41/2369.89 c #Conflicts: 1337000 | #Constraints: 35852
2358.41/2369.89 c #Conflicts: 1338000 | #Constraints: 36852
2358.41/2369.89 c #Conflicts: 1339000 | #Constraints: 37852
2358.41/2369.89 c #Conflicts: 1340000 | #Constraints: 38852
2358.41/2369.89 c #Conflicts: 1341000 | #Constraints: 39852
2358.41/2369.89 c #Conflicts: 1342000 | #Constraints: 40852
2358.41/2369.89 c #Conflicts: 1343000 | #Constraints: 41852
2358.41/2369.89 c #Conflicts: 1344000 | #Constraints: 42852
2358.41/2369.89 c #Conflicts: 1345000 | #Constraints: 43852
2358.41/2369.89 c #Conflicts: 1346000 | #Constraints: 44852
2358.41/2369.89 c #Conflicts: 1347000 | #Constraints: 45852
2358.41/2369.89 c #Conflicts: 1348000 | #Constraints: 46852
2358.41/2369.89 c INPROCESSING
2358.41/2369.89 c GARBAGE COLLECT
2358.41/2369.89 c rational objective 1.99895
2425.28/2436.96 c #Conflicts: 1349000 | #Constraints: 24424
2425.28/2436.96 c #Conflicts: 1350000 | #Constraints: 25568
2425.28/2436.96 c #Conflicts: 1351000 | #Constraints: 26746
2425.28/2436.96 c #Conflicts: 1352000 | #Constraints: 27887
2425.28/2436.96 c #Conflicts: 1353000 | #Constraints: 29058
2425.28/2436.96 c #Conflicts: 1354000 | #Constraints: 30202
2425.28/2436.96 c #Conflicts: 1355000 | #Constraints: 31326
2425.28/2436.96 c #Conflicts: 1356000 | #Constraints: 32485
2425.28/2436.96 c #Conflicts: 1357000 | #Constraints: 33648
2425.28/2436.96 c #Conflicts: 1358000 | #Constraints: 34795
2425.28/2436.96 c #Conflicts: 1359000 | #Constraints: 35940
2425.28/2436.96 c #Conflicts: 1360000 | #Constraints: 37049
2425.28/2436.96 c #Conflicts: 1361000 | #Constraints: 38160
2425.28/2436.96 c #Conflicts: 1362000 | #Constraints: 39269
2425.28/2436.96 c #Conflicts: 1363000 | #Constraints: 40391
2425.28/2436.96 c #Conflicts: 1364000 | #Constraints: 41488
2425.28/2436.96 c #Conflicts: 1365000 | #Constraints: 42603
2425.28/2436.96 c #Conflicts: 1366000 | #Constraints: 43693
2425.28/2436.96 c #Conflicts: 1367000 | #Constraints: 44785
2425.28/2436.96 c #Conflicts: 1368000 | #Constraints: 45902
2425.28/2436.96 c #Conflicts: 1369000 | #Constraints: 46981
2425.28/2436.96 c #Conflicts: 1370000 | #Constraints: 48070
2425.28/2436.96 c #Conflicts: 1371000 | #Constraints: 49179
2425.28/2436.96 c INPROCESSING
2425.28/2436.96 c GARBAGE COLLECT
2425.28/2436.96 c rational objective 1.99895
2495.65/2507.59 c #Conflicts: 1372000 | #Constraints: 25368
2495.65/2507.59 c #Conflicts: 1373000 | #Constraints: 26480
2495.65/2507.59 c #Conflicts: 1374000 | #Constraints: 27609
2495.65/2507.59 c #Conflicts: 1375000 | #Constraints: 28686
2495.65/2507.59 c #Conflicts: 1376000 | #Constraints: 29744
2495.65/2507.59 c #Conflicts: 1377000 | #Constraints: 30816
2495.65/2507.59 c #Conflicts: 1378000 | #Constraints: 31865
2495.65/2507.59 c #Conflicts: 1379000 | #Constraints: 32968
2495.65/2507.59 c #Conflicts: 1380000 | #Constraints: 34090
2495.65/2507.59 c #Conflicts: 1381000 | #Constraints: 35204
2495.65/2507.59 c #Conflicts: 1382000 | #Constraints: 36269
2495.65/2507.59 c #Conflicts: 1383000 | #Constraints: 37327
2495.65/2507.59 c #Conflicts: 1384000 | #Constraints: 38398
2495.65/2507.59 c #Conflicts: 1385000 | #Constraints: 39471
2495.65/2507.59 c #Conflicts: 1386000 | #Constraints: 40548
2495.65/2507.59 c #Conflicts: 1387000 | #Constraints: 41645
2495.65/2507.59 c #Conflicts: 1388000 | #Constraints: 42701
2495.65/2507.59 c #Conflicts: 1389000 | #Constraints: 43777
2495.65/2507.59 c #Conflicts: 1390000 | #Constraints: 44839
2495.65/2507.59 c #Conflicts: 1391000 | #Constraints: 45939
2495.65/2507.59 c #Conflicts: 1392000 | #Constraints: 47004
2495.65/2507.59 c #Conflicts: 1393000 | #Constraints: 48044
2495.65/2507.59 c #Conflicts: 1394000 | #Constraints: 49087
2495.65/2507.59 c #Conflicts: 1395000 | #Constraints: 50126
2495.65/2507.59 c INPROCESSING
2495.65/2507.59 c GARBAGE COLLECT
2495.65/2507.59 c rational objective 1.99895
2573.37/2585.57 c #Conflicts: 1396000 | #Constraints: 26042
2573.37/2585.57 c #Conflicts: 1397000 | #Constraints: 27082
2573.37/2585.57 c #Conflicts: 1398000 | #Constraints: 28082
2573.37/2585.57 c #Conflicts: 1399000 | #Constraints: 29082
2573.37/2585.57 c #Conflicts: 1400000 | #Constraints: 30082
2573.37/2585.57 c #Conflicts: 1401000 | #Constraints: 31082
2573.37/2585.57 c #Conflicts: 1402000 | #Constraints: 32082
2573.37/2585.57 c #Conflicts: 1403000 | #Constraints: 33082
2573.37/2585.57 c #Conflicts: 1404000 | #Constraints: 34082
2573.37/2585.57 c #Conflicts: 1405000 | #Constraints: 35082
2573.37/2585.57 c #Conflicts: 1406000 | #Constraints: 36101
2573.37/2585.57 c #Conflicts: 1407000 | #Constraints: 37141
2573.37/2585.57 c #Conflicts: 1408000 | #Constraints: 38176
2573.37/2585.57 c #Conflicts: 1409000 | #Constraints: 39212
2573.37/2585.57 c #Conflicts: 1410000 | #Constraints: 40253
2573.37/2585.57 c #Conflicts: 1411000 | #Constraints: 41282
2573.37/2585.57 c #Conflicts: 1412000 | #Constraints: 42322
2573.37/2585.57 c #Conflicts: 1413000 | #Constraints: 43353
2573.37/2585.57 c #Conflicts: 1414000 | #Constraints: 44388
2573.37/2585.57 c #Conflicts: 1415000 | #Constraints: 45420
2573.37/2585.57 c #Conflicts: 1416000 | #Constraints: 46459
2573.37/2585.57 c #Conflicts: 1417000 | #Constraints: 47506
2573.37/2585.57 c #Conflicts: 1418000 | #Constraints: 48547
2573.37/2585.57 c #Conflicts: 1419000 | #Constraints: 49668
2573.37/2585.57 c INPROCESSING
2573.37/2585.57 c GARBAGE COLLECT
2573.37/2585.57 c rational objective 1.99895
2638.03/2650.43 c #Conflicts: 1420000 | #Constraints: 25873
2638.03/2650.43 c #Conflicts: 1421000 | #Constraints: 26900
2638.03/2650.43 c #Conflicts: 1422000 | #Constraints: 27921
2638.03/2650.43 c #Conflicts: 1423000 | #Constraints: 28985
2638.03/2650.43 c #Conflicts: 1424000 | #Constraints: 30038
2638.03/2650.43 c #Conflicts: 1425000 | #Constraints: 31073
2638.03/2650.43 c #Conflicts: 1426000 | #Constraints: 32105
2638.03/2650.43 c #Conflicts: 1427000 | #Constraints: 33112
2638.03/2650.43 c #Conflicts: 1428000 | #Constraints: 34112
2638.03/2650.43 c #Conflicts: 1429000 | #Constraints: 35112
2638.03/2650.43 c #Conflicts: 1430000 | #Constraints: 36112
2638.03/2650.43 c #Conflicts: 1431000 | #Constraints: 37112
2638.03/2650.43 c #Conflicts: 1432000 | #Constraints: 38112
2638.03/2650.43 c #Conflicts: 1433000 | #Constraints: 39112
2638.03/2650.43 c #Conflicts: 1434000 | #Constraints: 40112
2638.03/2650.43 c #Conflicts: 1435000 | #Constraints: 41112
2638.03/2650.43 c #Conflicts: 1436000 | #Constraints: 42112
2638.03/2650.43 c #Conflicts: 1437000 | #Constraints: 43112
2638.03/2650.43 c #Conflicts: 1438000 | #Constraints: 44112
2638.03/2650.43 c #Conflicts: 1439000 | #Constraints: 45112
2638.03/2650.43 c #Conflicts: 1440000 | #Constraints: 46112
2638.03/2650.43 c #Conflicts: 1441000 | #Constraints: 47112
2638.03/2650.43 c #Conflicts: 1442000 | #Constraints: 48112
2638.03/2650.43 c #Conflicts: 1443000 | #Constraints: 49112
2638.03/2650.43 c INPROCESSING
2638.03/2650.43 c GARBAGE COLLECT
2638.03/2650.43 c rational objective 1.99895
2716.18/2728.84 c #Conflicts: 1444000 | #Constraints: 25666
2716.18/2728.84 c #Conflicts: 1445000 | #Constraints: 26762
2716.18/2728.84 c #Conflicts: 1446000 | #Constraints: 27845
2716.18/2728.84 c #Conflicts: 1447000 | #Constraints: 28932
2716.18/2728.84 c #Conflicts: 1448000 | #Constraints: 30015
2716.18/2728.84 c #Conflicts: 1449000 | #Constraints: 31209
2716.18/2728.84 c #Conflicts: 1450000 | #Constraints: 32352
2716.18/2728.84 c #Conflicts: 1451000 | #Constraints: 33510
2716.18/2728.84 c #Conflicts: 1452000 | #Constraints: 34661
2716.18/2728.84 c #Conflicts: 1453000 | #Constraints: 35819
2716.18/2728.84 c #Conflicts: 1454000 | #Constraints: 36954
2716.18/2728.84 c #Conflicts: 1455000 | #Constraints: 38074
2716.18/2728.84 c #Conflicts: 1456000 | #Constraints: 39204
2716.18/2728.84 c #Conflicts: 1457000 | #Constraints: 40347
2716.18/2728.84 c #Conflicts: 1458000 | #Constraints: 41473
2716.18/2728.84 c #Conflicts: 1459000 | #Constraints: 42582
2716.18/2728.84 c #Conflicts: 1460000 | #Constraints: 43746
2716.18/2728.84 c #Conflicts: 1461000 | #Constraints: 44859
2716.18/2728.84 c #Conflicts: 1462000 | #Constraints: 45946
2716.18/2728.84 c #Conflicts: 1463000 | #Constraints: 47041
2716.18/2728.84 c #Conflicts: 1464000 | #Constraints: 48102
2716.18/2728.84 c #Conflicts: 1465000 | #Constraints: 49184
2716.18/2728.84 c #Conflicts: 1466000 | #Constraints: 50278
2716.18/2728.84 c #Conflicts: 1467000 | #Constraints: 51391
2716.18/2728.84 c INPROCESSING
2716.18/2728.84 c GARBAGE COLLECT
2716.18/2728.84 c rational objective 1.99895
2802.50/2815.42 c #Conflicts: 1468000 | #Constraints: 26679
2802.50/2815.42 c #Conflicts: 1469000 | #Constraints: 27755
2802.50/2815.42 c #Conflicts: 1470000 | #Constraints: 28872
2802.50/2815.42 c #Conflicts: 1471000 | #Constraints: 29948
2802.50/2815.42 c #Conflicts: 1472000 | #Constraints: 31026
2802.50/2815.42 c #Conflicts: 1473000 | #Constraints: 32113
2802.50/2815.42 c #Conflicts: 1474000 | #Constraints: 33184
2802.50/2815.42 c #Conflicts: 1475000 | #Constraints: 34322
2802.50/2815.42 c #Conflicts: 1476000 | #Constraints: 35418
2802.50/2815.42 c #Conflicts: 1477000 | #Constraints: 36527
2802.50/2815.42 c #Conflicts: 1478000 | #Constraints: 37652
2802.50/2815.42 c #Conflicts: 1479000 | #Constraints: 38803
2802.50/2815.42 c #Conflicts: 1480000 | #Constraints: 39903
2802.50/2815.42 c #Conflicts: 1481000 | #Constraints: 41041
2802.50/2815.42 c #Conflicts: 1482000 | #Constraints: 42159
2802.50/2815.42 c #Conflicts: 1483000 | #Constraints: 43250
2802.50/2815.42 c #Conflicts: 1484000 | #Constraints: 44347
2802.50/2815.42 c #Conflicts: 1485000 | #Constraints: 45428
2802.50/2815.42 c #Conflicts: 1486000 | #Constraints: 46538
2802.50/2815.42 c #Conflicts: 1487000 | #Constraints: 47611
2802.50/2815.42 c #Conflicts: 1488000 | #Constraints: 48704
2802.50/2815.42 c #Conflicts: 1489000 | #Constraints: 49805
2802.50/2815.42 c #Conflicts: 1490000 | #Constraints: 50954
2802.50/2815.42 c #Conflicts: 1491000 | #Constraints: 52033
2802.50/2815.42 c INPROCESSING
2802.50/2815.42 c GARBAGE COLLECT
2802.50/2815.42 c rational objective 1.99899
2891.41/2904.63 c #Conflicts: 1492000 | #Constraints: 26755
2891.41/2904.63 c #Conflicts: 1493000 | #Constraints: 27811
2891.41/2904.63 c #Conflicts: 1494000 | #Constraints: 28873
2891.41/2904.63 c #Conflicts: 1495000 | #Constraints: 29956
2891.41/2904.63 c #Conflicts: 1496000 | #Constraints: 31058
2891.41/2904.63 c #Conflicts: 1497000 | #Constraints: 32108
2891.41/2904.63 c #Conflicts: 1498000 | #Constraints: 33202
2891.41/2904.63 c #Conflicts: 1499000 | #Constraints: 34274
2891.41/2904.63 c #Conflicts: 1500000 | #Constraints: 35339
2891.41/2904.63 c #Conflicts: 1501000 | #Constraints: 36394
2891.41/2904.63 c #Conflicts: 1502000 | #Constraints: 37455
2891.41/2904.63 c #Conflicts: 1503000 | #Constraints: 38511
2891.41/2904.63 c #Conflicts: 1504000 | #Constraints: 39569
2891.41/2904.63 c #Conflicts: 1505000 | #Constraints: 40634
2891.41/2904.63 c #Conflicts: 1506000 | #Constraints: 41767
2891.41/2904.63 c #Conflicts: 1507000 | #Constraints: 42829
2891.41/2904.63 c #Conflicts: 1508000 | #Constraints: 43906
2891.41/2904.63 c #Conflicts: 1509000 | #Constraints: 44978
2891.41/2904.63 c #Conflicts: 1510000 | #Constraints: 46077
2891.41/2904.63 c #Conflicts: 1511000 | #Constraints: 47078
2891.41/2904.63 c #Conflicts: 1512000 | #Constraints: 48134
2891.41/2904.63 c #Conflicts: 1513000 | #Constraints: 49189
2891.41/2904.63 c #Conflicts: 1514000 | #Constraints: 50289
2891.41/2904.63 c #Conflicts: 1515000 | #Constraints: 51362
2891.41/2904.63 c #Conflicts: 1516000 | #Constraints: 52437
2891.41/2904.63 c INPROCESSING
2891.41/2904.63 c GARBAGE COLLECT
2891.41/2904.63 c rational objective 2.00816
2982.93/2996.40 c #Conflicts: 1517000 | #Constraints: 27219
2982.93/2996.40 c #Conflicts: 1518000 | #Constraints: 28300
2982.93/2996.40 c #Conflicts: 1519000 | #Constraints: 29392
2982.93/2996.40 c #Conflicts: 1520000 | #Constraints: 30571
2982.93/2996.40 c #Conflicts: 1521000 | #Constraints: 31687
2982.93/2996.40 c #Conflicts: 1522000 | #Constraints: 32794
2982.93/2996.40 c #Conflicts: 1523000 | #Constraints: 33895
2982.93/2996.40 c #Conflicts: 1524000 | #Constraints: 35036
2982.93/2996.40 c #Conflicts: 1525000 | #Constraints: 36144
2982.93/2996.40 c #Conflicts: 1526000 | #Constraints: 37217
2982.93/2996.40 c #Conflicts: 1527000 | #Constraints: 38309
2982.93/2996.40 c #Conflicts: 1528000 | #Constraints: 39309
2982.93/2996.40 c #Conflicts: 1529000 | #Constraints: 40309
2982.93/2996.40 c #Conflicts: 1530000 | #Constraints: 41309
2982.93/2996.40 c #Conflicts: 1531000 | #Constraints: 42309
2982.93/2996.40 c #Conflicts: 1532000 | #Constraints: 43309
2982.93/2996.40 c #Conflicts: 1533000 | #Constraints: 44309
2982.93/2996.40 c #Conflicts: 1534000 | #Constraints: 45309
2982.93/2996.40 c #Conflicts: 1535000 | #Constraints: 46360
2982.93/2996.40 c #Conflicts: 1536000 | #Constraints: 47449
2982.93/2996.40 c #Conflicts: 1537000 | #Constraints: 48541
2982.93/2996.40 c #Conflicts: 1538000 | #Constraints: 49647
2982.93/2996.40 c #Conflicts: 1539000 | #Constraints: 50748
2982.93/2996.40 c #Conflicts: 1540000 | #Constraints: 51874
2982.93/2996.40 c #Conflicts: 1541000 | #Constraints: 52984
2982.93/2996.40 c INPROCESSING
2982.93/2996.40 c GARBAGE COLLECT
2982.93/2996.40 c rational objective 2.21162
3071.03/3084.84 c #Conflicts: 1542000 | #Constraints: 27558
3071.03/3084.84 c #Conflicts: 1543000 | #Constraints: 28634
3071.03/3084.84 c #Conflicts: 1544000 | #Constraints: 29749
3071.03/3084.84 c #Conflicts: 1545000 | #Constraints: 30883
3071.03/3084.84 c #Conflicts: 1546000 | #Constraints: 31992
3071.03/3084.84 c #Conflicts: 1547000 | #Constraints: 33057
3071.03/3084.84 c #Conflicts: 1548000 | #Constraints: 34117
3071.03/3084.84 c #Conflicts: 1549000 | #Constraints: 35204
3071.03/3084.84 c #Conflicts: 1550000 | #Constraints: 36364
3071.03/3084.84 c #Conflicts: 1551000 | #Constraints: 37450
3071.03/3084.84 c #Conflicts: 1552000 | #Constraints: 38644
3071.03/3084.84 c #Conflicts: 1553000 | #Constraints: 39839
3071.03/3084.84 c #Conflicts: 1554000 | #Constraints: 41004
3071.03/3084.84 c #Conflicts: 1555000 | #Constraints: 42201
3071.03/3084.84 c #Conflicts: 1556000 | #Constraints: 43341
3071.03/3084.84 c #Conflicts: 1557000 | #Constraints: 44499
3071.03/3084.84 c #Conflicts: 1558000 | #Constraints: 45650
3071.03/3084.84 c #Conflicts: 1559000 | #Constraints: 46841
3071.03/3084.84 c #Conflicts: 1560000 | #Constraints: 48022
3071.03/3084.84 c #Conflicts: 1561000 | #Constraints: 49205
3071.03/3084.84 c #Conflicts: 1562000 | #Constraints: 50437
3071.03/3084.84 c #Conflicts: 1563000 | #Constraints: 51666
3071.03/3084.84 c #Conflicts: 1564000 | #Constraints: 52858
3071.03/3084.84 c #Conflicts: 1565000 | #Constraints: 54065
3071.03/3084.84 c #Conflicts: 1566000 | #Constraints: 55255
3071.03/3084.84 c INPROCESSING
3071.03/3084.84 c GARBAGE COLLECT
3071.03/3084.84 c rational objective 2.33509
3168.80/3182.94 c #Conflicts: 1567000 | #Constraints: 28687
3168.80/3182.94 c #Conflicts: 1568000 | #Constraints: 29727
3168.80/3182.94 c #Conflicts: 1569000 | #Constraints: 30802
3168.80/3182.94 c #Conflicts: 1570000 | #Constraints: 31867
3168.80/3182.94 c #Conflicts: 1571000 | #Constraints: 32989
3168.80/3182.94 c #Conflicts: 1572000 | #Constraints: 34066
3168.80/3182.94 c #Conflicts: 1573000 | #Constraints: 35119
3168.80/3182.94 c #Conflicts: 1574000 | #Constraints: 36192
3168.80/3182.94 c #Conflicts: 1575000 | #Constraints: 37448
3168.80/3182.94 c #Conflicts: 1576000 | #Constraints: 38466
3168.80/3182.94 c #Conflicts: 1577000 | #Constraints: 39507
3168.80/3182.94 c #Conflicts: 1578000 | #Constraints: 40536
3168.80/3182.94 c #Conflicts: 1579000 | #Constraints: 41586
3168.80/3182.94 c #Conflicts: 1580000 | #Constraints: 42619
3168.80/3182.94 c #Conflicts: 1581000 | #Constraints: 43659
3168.80/3182.94 c #Conflicts: 1582000 | #Constraints: 44704
3168.80/3182.94 c #Conflicts: 1583000 | #Constraints: 45741
3168.80/3182.94 c #Conflicts: 1584000 | #Constraints: 46778
3168.80/3182.94 c #Conflicts: 1585000 | #Constraints: 47836
3168.80/3182.94 c #Conflicts: 1586000 | #Constraints: 48902
3168.80/3182.94 c #Conflicts: 1587000 | #Constraints: 49939
3168.80/3182.94 c #Conflicts: 1588000 | #Constraints: 50987
3168.80/3182.94 c #Conflicts: 1589000 | #Constraints: 52025
3168.80/3182.94 c #Conflicts: 1590000 | #Constraints: 53082
3168.80/3182.94 c #Conflicts: 1591000 | #Constraints: 54129
3168.80/3182.94 c INPROCESSING
3168.80/3182.94 c GARBAGE COLLECT
3168.80/3182.94 c rational objective 2.15646
3255.31/3269.72 c #Conflicts: 1592000 | #Constraints: 28008
3255.31/3269.72 c #Conflicts: 1593000 | #Constraints: 29063
3255.31/3269.72 c #Conflicts: 1594000 | #Constraints: 30106
3255.31/3269.72 c #Conflicts: 1595000 | #Constraints: 31152
3255.31/3269.72 c #Conflicts: 1596000 | #Constraints: 32198
3255.31/3269.72 c #Conflicts: 1597000 | #Constraints: 33228
3255.31/3269.72 c #Conflicts: 1598000 | #Constraints: 34254
3255.31/3269.72 c #Conflicts: 1599000 | #Constraints: 35300
3255.31/3269.72 c #Conflicts: 1600000 | #Constraints: 36341
3255.31/3269.72 c #Conflicts: 1601000 | #Constraints: 37407
3255.31/3269.72 c #Conflicts: 1602000 | #Constraints: 38416
3255.31/3269.72 c #Conflicts: 1603000 | #Constraints: 39416
3255.31/3269.72 c #Conflicts: 1604000 | #Constraints: 40421
3255.31/3269.72 c #Conflicts: 1605000 | #Constraints: 41421
3255.31/3269.72 c #Conflicts: 1606000 | #Constraints: 42421
3255.31/3269.72 c #Conflicts: 1607000 | #Constraints: 43421
3255.31/3269.72 c #Conflicts: 1608000 | #Constraints: 44421
3255.31/3269.72 c #Conflicts: 1609000 | #Constraints: 45421
3255.31/3269.72 c #Conflicts: 1610000 | #Constraints: 46421
3255.31/3269.72 c #Conflicts: 1611000 | #Constraints: 47421
3255.31/3269.72 c #Conflicts: 1612000 | #Constraints: 48421
3255.31/3269.72 c #Conflicts: 1613000 | #Constraints: 49421
3255.31/3269.72 c #Conflicts: 1614000 | #Constraints: 50421
3255.31/3269.72 c #Conflicts: 1615000 | #Constraints: 51421
3255.31/3269.72 c #Conflicts: 1616000 | #Constraints: 52421
3255.31/3269.72 c INPROCESSING
3255.31/3269.72 c GARBAGE COLLECT
3255.31/3269.72 c rational objective 2.25405
3348.87/3363.67 c #Conflicts: 1617000 | #Constraints: 26918
3348.87/3363.67 c #Conflicts: 1618000 | #Constraints: 27961
3348.87/3363.67 c #Conflicts: 1619000 | #Constraints: 29015
3348.87/3363.67 c #Conflicts: 1620000 | #Constraints: 30100
3348.87/3363.67 c #Conflicts: 1621000 | #Constraints: 31117
3348.87/3363.67 c #Conflicts: 1622000 | #Constraints: 32117
3348.87/3363.67 c #Conflicts: 1623000 | #Constraints: 33117
3348.87/3363.67 c #Conflicts: 1624000 | #Constraints: 34148
3348.87/3363.67 c #Conflicts: 1625000 | #Constraints: 35182
3348.87/3363.67 c #Conflicts: 1626000 | #Constraints: 36235
3348.87/3363.67 c #Conflicts: 1627000 | #Constraints: 37245
3348.87/3363.67 c #Conflicts: 1628000 | #Constraints: 38245
3348.87/3363.67 c #Conflicts: 1629000 | #Constraints: 39289
3348.87/3363.67 c #Conflicts: 1630000 | #Constraints: 40327
3348.87/3363.67 c #Conflicts: 1631000 | #Constraints: 41370
3348.87/3363.67 c #Conflicts: 1632000 | #Constraints: 42420
3348.87/3363.67 c #Conflicts: 1633000 | #Constraints: 43468
3348.87/3363.67 c #Conflicts: 1634000 | #Constraints: 44511
3348.87/3363.67 c #Conflicts: 1635000 | #Constraints: 45552
3348.87/3363.67 c #Conflicts: 1636000 | #Constraints: 46564
3348.87/3363.67 c #Conflicts: 1637000 | #Constraints: 47564
3348.87/3363.67 c #Conflicts: 1638000 | #Constraints: 48564
3348.87/3363.67 c #Conflicts: 1639000 | #Constraints: 49564
3348.87/3363.67 c #Conflicts: 1640000 | #Constraints: 50564
3348.87/3363.67 c #Conflicts: 1641000 | #Constraints: 51564
3348.87/3363.67 c #Conflicts: 1642000 | #Constraints: 52564
3348.87/3363.67 c INPROCESSING
3348.87/3363.67 c GARBAGE COLLECT
3348.87/3363.67 c rational objective 2.26744
3430.98/3446.04 c #Conflicts: 1643000 | #Constraints: 27218
3430.98/3446.04 c #Conflicts: 1644000 | #Constraints: 28241
3430.98/3446.04 c #Conflicts: 1645000 | #Constraints: 29287
3430.98/3446.04 c #Conflicts: 1646000 | #Constraints: 30331
3430.98/3446.04 c #Conflicts: 1647000 | #Constraints: 31341
3430.98/3446.04 c #Conflicts: 1648000 | #Constraints: 32378
3430.98/3446.04 c #Conflicts: 1649000 | #Constraints: 33384
3430.98/3446.04 c #Conflicts: 1650000 | #Constraints: 34384
3430.98/3446.04 c #Conflicts: 1651000 | #Constraints: 35434
3430.98/3446.04 c #Conflicts: 1652000 | #Constraints: 36474
3430.98/3446.04 c #Conflicts: 1653000 | #Constraints: 37518
3430.98/3446.04 c #Conflicts: 1654000 | #Constraints: 38556
3430.98/3446.04 c #Conflicts: 1655000 | #Constraints: 39596
3430.98/3446.04 c #Conflicts: 1656000 | #Constraints: 40617
3430.98/3446.04 c #Conflicts: 1657000 | #Constraints: 41669
3430.98/3446.04 c #Conflicts: 1658000 | #Constraints: 42738
3430.98/3446.04 c #Conflicts: 1659000 | #Constraints: 43775
3430.98/3446.04 c #Conflicts: 1660000 | #Constraints: 44839
3430.98/3446.04 c #Conflicts: 1661000 | #Constraints: 45885
3430.98/3446.04 c #Conflicts: 1662000 | #Constraints: 46927
3430.98/3446.04 c #Conflicts: 1663000 | #Constraints: 47973
3430.98/3446.04 c #Conflicts: 1664000 | #Constraints: 49015
3430.98/3446.04 c #Conflicts: 1665000 | #Constraints: 50054
3430.98/3446.04 c #Conflicts: 1666000 | #Constraints: 51084
3430.98/3446.04 c #Conflicts: 1667000 | #Constraints: 52125
3430.98/3446.04 c #Conflicts: 1668000 | #Constraints: 53165
3430.98/3446.04 c INPROCESSING
3430.98/3446.04 c GARBAGE COLLECT
3430.98/3446.04 c rational objective 2.26744
3517.79/3533.66 c #Conflicts: 1669000 | #Constraints: 27597
3517.79/3533.66 c #Conflicts: 1670000 | #Constraints: 28628
3517.79/3533.66 c #Conflicts: 1671000 | #Constraints: 29677
3517.79/3533.66 c #Conflicts: 1672000 | #Constraints: 30711
3517.79/3533.66 c #Conflicts: 1673000 | #Constraints: 31738
3517.79/3533.66 c #Conflicts: 1674000 | #Constraints: 32774
3517.79/3533.66 c #Conflicts: 1675000 | #Constraints: 33792
3517.79/3533.66 c #Conflicts: 1676000 | #Constraints: 34822
3517.79/3533.66 c #Conflicts: 1677000 | #Constraints: 35868
3517.79/3533.66 c #Conflicts: 1678000 | #Constraints: 36907
3517.79/3533.66 c #Conflicts: 1679000 | #Constraints: 37971
3517.79/3533.66 c #Conflicts: 1680000 | #Constraints: 39009
3517.79/3533.66 c #Conflicts: 1681000 | #Constraints: 40049
3517.79/3533.66 c #Conflicts: 1682000 | #Constraints: 41072
3517.79/3533.66 c #Conflicts: 1683000 | #Constraints: 42106
3517.79/3533.66 c #Conflicts: 1684000 | #Constraints: 43138
3517.79/3533.66 c #Conflicts: 1685000 | #Constraints: 44172
3517.79/3533.66 c #Conflicts: 1686000 | #Constraints: 45230
3517.79/3533.66 c #Conflicts: 1687000 | #Constraints: 46263
3517.79/3533.66 c #Conflicts: 1688000 | #Constraints: 47283
3517.79/3533.66 c #Conflicts: 1689000 | #Constraints: 48317
3517.79/3533.66 c #Conflicts: 1690000 | #Constraints: 49366
3517.79/3533.66 c #Conflicts: 1691000 | #Constraints: 50390
3517.79/3533.66 c #Conflicts: 1692000 | #Constraints: 51430
3517.79/3533.66 c #Conflicts: 1693000 | #Constraints: 52467
3517.79/3533.66 c #Conflicts: 1694000 | #Constraints: 53487
3517.79/3533.66 c INPROCESSING
3517.79/3533.66 c GARBAGE COLLECT
3517.79/3533.66 c rational objective 2.00582
3600.02/3616.10 c #Conflicts: 1695000 | #Constraints: 27747
3600.02/3616.10 c #Conflicts: 1696000 | #Constraints: 28747
3600.02/3616.10 c #Conflicts: 1697000 | #Constraints: 29808
3600.02/3616.10 c #Conflicts: 1698000 | #Constraints: 30856
3600.02/3616.10 c #Conflicts: 1699000 | #Constraints: 31856
3600.02/3616.10 c #Conflicts: 1700000 | #Constraints: 32856
3600.02/3616.10 c #Conflicts: 1701000 | #Constraints: 33856
3600.02/3616.10 c #Conflicts: 1702000 | #Constraints: 34856
3600.02/3616.10 c #Conflicts: 1703000 | #Constraints: 35856
3600.02/3616.10 c #Conflicts: 1704000 | #Constraints: 36856
3600.02/3616.10 c #Conflicts: 1705000 | #Constraints: 37856
3600.02/3616.10 c #Conflicts: 1706000 | #Constraints: 38856
3600.02/3616.10 c #Conflicts: 1707000 | #Constraints: 39856
3600.02/3616.10 c #Conflicts: 1708000 | #Constraints: 40856
3600.02/3616.10 c #Conflicts: 1709000 | #Constraints: 41856
3600.02/3616.10 c #Conflicts: 1710000 | #Constraints: 42856
3600.02/3616.10 c #Conflicts: 1711000 | #Constraints: 43856
3600.02/3616.10 c #Conflicts: 1712000 | #Constraints: 44856
3600.02/3616.10 c #Conflicts: 1713000 | #Constraints: 45856
3600.02/3616.10 c #Conflicts: 1714000 | #Constraints: 46856
3600.02/3616.10 c #Conflicts: 1715000 | #Constraints: 47856
3600.02/3616.10 c #Conflicts: 1716000 | #Constraints: 48856
3600.02/3616.10 c #Conflicts: 1717000 | #Constraints: 49856
3600.02/3616.10 c #Conflicts: 1718000 | #Constraints: 50856
3600.02/3616.10 c #Conflicts: 1719000 | #Constraints: 51856
3600.02/3616.10 c #Conflicts: 1720000 | #Constraints: 52856
3600.02/3616.10 c cpu time 3584.78 s
3600.02/3616.10 c deterministic time 1023814458297 1.02e+12
3600.02/3616.10 c optimization time 81.7982 s
3600.02/3616.10 c total solve time 3502.98 s
3600.02/3616.10 c core-guided solve time 0 s
3600.02/3616.10 c propagation time 3347.14 s
3600.02/3616.10 c conflict analysis time 207.863 s
3600.02/3616.10 c propagations 10685875
3600.02/3616.10 c resolve steps 4758626
3600.02/3616.10 c decisions 2159929
3600.02/3616.10 c conflicts 1720100
3600.02/3616.10 c restarts 3321
3600.02/3616.10 c inprocessing phases 121
3600.02/3616.10 c garbage collections 121 ,( 100.00 )
3600.02/3616.10 c input clauses 0 ,( 0.00 )
3600.02/3616.10 c input cardinalities 0 ,( 0.00 )
3600.02/3616.10 c input general constraints 2 ,( 100.00 )
3600.02/3616.10 c input average constraint length 86.00
3600.02/3616.10 c input average constraint degree 139154376.00
3600.02/3616.10 c learned clauses 1051244 ,( 58.17 )
3600.02/3616.10 c learned cardinalities 24 ,( 0.00 )
3600.02/3616.10 c learned general constraints 755871 ,( 41.83 )
3600.02/3616.10 c learned average constraint length 73.19
3600.02/3616.10 c learned average constraint degree 54297319.33
3600.02/3616.10 c watched CF 32, 64, 128, Arb: 368717 , 0 , 0 , 0
3600.02/3616.10 c counting CF 32, 64, 128, Arb: 387156 , 0 , 0 , 0
3600.02/3616.10 c watched constraints 368717 ,( 48.78 )
3600.02/3616.10 c counting constraints 387156 ,( 51.22 )
3600.02/3616.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 59454142 , 25420 , 52706777697 ,( 443097997 , 52263679700 )
3600.02/3616.10 c gcd simplifications 1123390
3600.02/3616.10 c detected cardinalities 24
3600.02/3616.10 c weakened non-implied lits 4798854
3600.02/3616.10 c weakened non-implying lits 1457073
3600.02/3616.10 c original variables 86
3600.02/3616.10 c clausal propagations 90694
3600.02/3616.10 c cardinality propagations 103
3600.02/3616.10 c watched propagations 889767
3600.02/3616.10 c counting propagations 7686862
3600.02/3616.10 c watch lookups 55713532236
3600.02/3616.10 c watch backjump lookups 0
3600.02/3616.10 c watch checks 4694442328
3600.02/3616.10 c propagation checks 962856190402
3600.02/3616.10 c constraint additions 522707441
3600.02/3616.10 c trail pops 14565819
3600.02/3616.10 c formula constraints 2
3600.02/3616.10 c learned constraints 1720099
3600.02/3616.10 c bound constraints 0
3600.02/3616.10 c core-guided constraints 0
3600.02/3616.10 c encountered formula constraints 3817549
3600.02/3616.10 c encountered learned constraints 2661152
3600.02/3616.10 c encountered bound constraints 0
3600.02/3616.10 c encountered core-guided constraints 0
3600.02/3616.10 c LP total time 27.5857 s
3600.02/3616.10 c LP solve time 13.13 s
3600.02/3616.10 c LP constraints added 140
3600.02/3616.10 c LP constraints removed 130
3600.02/3616.10 c LP pivots internal 172013
3600.02/3616.10 c LP pivots root 2253
3600.02/3616.10 c LP calls 132346
3600.02/3616.10 c LP optimalities 44951
3600.02/3616.10 c LP no pivot count 7036
3600.02/3616.10 c LP infeasibilities 87317
3600.02/3616.10 c LP valid Farkas constraints 86947
3600.02/3616.10 c LP learned Farkas constraints 0
3600.02/3616.10 c LP basis resets 78
3600.02/3616.10 c LP cycling count 25
3600.02/3616.10 c LP singular count 52
3600.02/3616.10 c LP no primal count 0
3600.02/3616.10 c LP no farkas count 0
3600.02/3616.10 c LP other issue count 1
3600.02/3616.10 c LP Gomory cuts 93
3600.02/3616.10 c LP learned cuts 45
3600.02/3616.10 c LP deleted cuts 130
3600.02/3616.10 c LP encountered Gomory constraints 20
3600.02/3616.10 c LP encountered Farkas constraints 5
3600.02/3616.10 c LP encountered learned Farkas constraints 0
3600.02/3616.10 c CG auxiliary variables introduced 0
3600.02/3616.10 c CG solutions found 0
3600.02/3616.10 c CG cores constructed 0
3600.02/3616.10 c CG core cardinality constraints returned 0
3600.02/3616.10 c CG unit cores 0
3600.02/3616.10 c CG single cores 0
3600.02/3616.10 c CG blocks removed during cardinality reduction 0
3600.02/3616.10 c CG first core best 0
3600.02/3616.10 c CG decision core best 0
3600.02/3616.10 c CG core reduction tie 0
3600.02/3616.10 c CG core degree average 0.00
3600.02/3616.10 c CG core slack average 0.00
3600.02/3616.10 c CG core upper bound improvements 0
3600.02/3616.10 c STR number of successful calls 0
3600.02/3616.10 c STR number of unsuccessful calls 0
3600.02/3616.10 c STR number of inconclusive calls 0
3600.02/3616.10 c STR number of successful attempts 0
3600.02/3616.10 c STR number of unsuccessful attempts 0
3600.02/3616.10 c STR number of inconclusive attempts 0
3600.02/3616.10 c STR average degree increase per successful call inf
3600.02/3616.10 c STR average degree increase per successful attempt inf
3600.02/3616.10 c STR total number of conflicts for successful attempts 0
3600.02/3616.10 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3616.10 c STR total number of conflicts for inconclusive attempts 0
3600.02/3616.10 c STR average number of conflicts per successful attempt inf
3600.02/3616.10 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3616.10 c STR average number of conflicts per inconclusive attempt inf
3600.02/3616.10 c AVG.sumWPerc 43.32
3600.02/3616.10 c bigint constraints 0
3600.02/3616.10 s UNKNOWN
3600.02/3616.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (53777 MiB free)
memory of node 1: 64465 MiB (61441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496041-1751157620/watcher-4496041-1751157620 -o /tmp/evaluation-result-4496041-1751157620/solver-4496041-1751157620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4496041-1751157620.opb PROOFDIR/proof-4496041-1751157620
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18850, runsolver pid=18847
[startup+0.100058 s]*
/proc/loadavg: 4.10 4.09 4.01 5/275 18853
/proc/meminfo: memFree=117978452/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=56212 memory=13204 CPUtime=0.07 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 635 0 0 0 7 0 0 0 20 0 1 0 31440592 57561088 3301 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 14053 3301 2400 1147 0 1480 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 16276 KiB
[startup+0.205698 s]*
/proc/loadavg: 4.10 4.09 4.01 5/275 18853
/proc/meminfo: memFree=117976436/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=57036 memory=14100 CPUtime=0.18 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 857 0 0 0 17 1 0 0 20 0 1 0 31440592 58404864 3525 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 14259 3525 2400 1147 0 1686 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61228 KiB
Current children cumulated memory: 17172 KiB
[startup+0.305521 s]*
/proc/loadavg: 4.10 4.09 4.01 5/275 18853
/proc/meminfo: memFree=117976436/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=57320 memory=14356 CPUtime=0.28 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 903 0 0 0 27 1 0 0 20 0 1 0 31440592 58695680 3589 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 14330 3589 2400 1147 0 1757 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61512 KiB
Current children cumulated memory: 17428 KiB
[startup+0.700148 s]
/proc/loadavg: 4.10 4.09 4.01 5/275 18853
/proc/meminfo: memFree=117972404/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=58320 memory=15252 CPUtime=0.67 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 1126 0 0 0 64 3 0 0 20 0 1 0 31440592 59719680 3813 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 14580 3813 2400 1147 0 2007 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62512 KiB
Current children cumulated memory: 18324 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.01 5/275 18853
/proc/meminfo: memFree=117956276/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=59136 memory=17952 CPUtime=1.47 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 1303 0 0 0 141 6 0 0 20 0 1 0 31440592 60555264 4488 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 14784 4488 2400 1147 0 2211 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63328 KiB
Current children cumulated memory: 21024 KiB
[startup+3.10557 s]
/proc/loadavg: 4.09 4.09 4.01 5/275 18853
/proc/meminfo: memFree=117919924/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=61296 memory=20000 CPUtime=3.07 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 1813 0 0 0 297 10 0 0 20 0 1 0 31440592 62767104 5000 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 15324 5000 2400 1147 0 2751 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65488 KiB
Current children cumulated memory: 23072 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.09 4.01 5/275 18854
/proc/meminfo: memFree=117879516/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=63700 memory=21920 CPUtime=6.25 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 2297 0 0 0 608 17 0 0 20 0 1 0 31440592 65228800 5480 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 15925 5480 2400 1147 0 3352 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67892 KiB
Current children cumulated memory: 24992 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.08 4.01 5/274 18854
/proc/meminfo: memFree=117814024/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=68856 memory=25632 CPUtime=12.63 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 3120 0 0 0 1236 27 0 0 20 0 1 0 31440592 70508544 6408 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 17214 6408 2496 1147 0 4641 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 73048 KiB
Current children cumulated memory: 28704 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.01 5/274 18854
/proc/meminfo: memFree=117673564/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=73304 memory=29344 CPUtime=25.39 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 4053 0 0 0 2495 44 0 0 20 0 1 0 31440592 75063296 7336 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 18326 7336 2496 1147 0 5753 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 77496 KiB
Current children cumulated memory: 32416 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.01 5/273 18854
/proc/meminfo: memFree=117507848/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=79816 memory=33696 CPUtime=50.86 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 5190 0 0 0 5015 71 0 0 20 0 1 0 31440592 81731584 8424 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 19954 8424 2496 1147 0 7381 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 84008 KiB
Current children cumulated memory: 36768 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.10 4.02 5/273 18856
/proc/meminfo: memFree=117168816/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=87812 memory=40944 CPUtime=99.75 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 7396 0 0 0 9853 122 0 0 20 0 1 0 31440592 89919488 10236 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 21953 10236 2496 1147 0 9380 0
Current children cumulated CPU time: 99.75 s
Current children cumulated vsize: 92004 KiB
Current children cumulated memory: 44016 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/272 18858
/proc/meminfo: memFree=116703844/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=99008 memory=49576 CPUtime=159.52 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 9408 0 0 0 15784 168 0 0 20 0 1 0 31440592 101384192 12394 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 24752 12394 2496 1147 0 12179 0
Current children cumulated CPU time: 159.52 s
Current children cumulated vsize: 103200 KiB
Current children cumulated memory: 52648 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/272 18861
/proc/meminfo: memFree=116225388/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=99812 memory=50344 CPUtime=219.3 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 9684 0 0 0 21718 212 0 0 20 0 1 0 31440592 102207488 12586 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 24953 12586 2496 1147 0 12380 0
################
# More data... #
################
/proc/18853/statm: 36332 25046 2496 1147 0 23759 0
Current children cumulated CPU time: 3088.46 s
Current children cumulated vsize: 149520 KiB
Current children cumulated memory: 103256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/273 19643
/proc/meminfo: memFree=111054916/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=145840 memory=100208 CPUtime=3148.26 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21047 0 0 0 313423 1403 0 0 20 0 1 0 31440592 149340160 25052 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36460 25052 2496 1147 0 23887 0
Current children cumulated CPU time: 3148.26 s
Current children cumulated vsize: 150032 KiB
Current children cumulated memory: 103280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 19645
/proc/meminfo: memFree=109866684/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=146264 memory=100720 CPUtime=3208.07 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21168 0 0 0 319388 1419 0 0 20 0 1 0 31440592 149774336 25180 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36566 25180 2496 1147 0 23993 0
Current children cumulated CPU time: 3208.07 s
Current children cumulated vsize: 150456 KiB
Current children cumulated memory: 103792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/271 19647
/proc/meminfo: memFree=108798580/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103012 CPUtime=3267.84 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21652 0 0 0 325349 1435 0 0 20 0 1 0 31440592 151339008 25753 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25753 2496 1147 0 24375 0
Current children cumulated CPU time: 3267.84 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 19650
/proc/meminfo: memFree=108150496/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103012 CPUtime=3327.63 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21652 0 0 0 331315 1448 0 0 20 0 1 0 31440592 151339008 25753 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25753 2496 1147 0 24375 0
Current children cumulated CPU time: 3327.63 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 19652
/proc/meminfo: memFree=106955856/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103140 CPUtime=3387.43 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21676 0 0 0 337278 1465 0 0 20 0 1 0 31440592 151339008 25785 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25785 2496 1147 0 24375 0
Current children cumulated CPU time: 3387.43 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 19654
/proc/meminfo: memFree=105931404/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103140 CPUtime=3447.23 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21677 0 0 0 343241 1482 0 0 20 0 1 0 31440592 151339008 25785 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25785 2496 1147 0 24375 0
Current children cumulated CPU time: 3447.23 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/274 19662
/proc/meminfo: memFree=104801432/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103140 CPUtime=3506.53 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21677 0 0 0 349156 1497 0 0 20 0 1 0 31440592 151339008 25785 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25785 2496 1147 0 24375 0
Current children cumulated CPU time: 3506.53 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106212 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/275 19665
/proc/meminfo: memFree=103752052/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103140 CPUtime=3566.34 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21677 0 0 0 355120 1514 0 0 20 0 1 0 31440592 151339008 25785 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25785 2496 1147 0 24375 0
Current children cumulated CPU time: 3566.34 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.11 s]
/proc/loadavg: 4.25 4.16 4.11 5/275 19666
/proc/meminfo: memFree=103112084/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103140 CPUtime=3600.02 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21681 0 0 0 358477 1525 0 0 20 0 1 0 31440592 151339008 25785 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25785 2496 1147 0 24375 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3616.11 s]
# the end of solver process 18850 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000761 s, system=0.003959 s
[startup+3616.12 s]
# the end of solver process 18853 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.78 s, system=15.2598 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3616.11 s]
/proc/loadavg: 4.25 4.16 4.11 5/275 19666
/proc/meminfo: memFree=103112084/131249988 swapFree=33010684/33010684
[pid=18850] ppid=18847 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18850/stat : 18850 (run-dec-break-l) S 18847 18850 15084 0 -1 4194304 239 212 0 0 0 0 0 0 20 0 1 0 31440590 4292608 768 18446744073709551615 94476003790848 94476004685381 140733732915536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94476004924432 94476004972176 94476036128768 140733732923669 140733732923870 140733732923870 140733732929472 0
/proc/18850/statm: 1048 768 704 219 0 110 0
[pid=18853] ppid=18850 vsize=147792 memory=103140 CPUtime=3600.02 cores=5,7
/proc/18853/stat : 18853 (roundingsat) R 18850 18850 15084 0 -1 4194304 21681 0 0 0 358477 1525 0 0 20 0 1 0 31440592 151339008 25785 18446744073709551615 4227072 8923433 140735854063968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41639936 140735854065908 140735854066216 140735854066216 140735854071786 0
/proc/18853/statm: 36948 25785 2496 1147 0 24375 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 106212 KiB
Child status: 2
Real time (s): 3616.12
CPU time (s): 3600.04
CPU user time (s): 3584.78
CPU system time (s): 15.2598
CPU usage (%): 99.5553
Max. virtual memory (cumulated for all children) (KiB): 151984
Max. memory (cumulated for all children) (KiB): 106212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.78
system time used= 15.2598
maximum resident set size= 103396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3006144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 576
involuntary context switches= 21951
# summary of solver processes directly reported to runsolver:
# pid: 18850,18853
# total CPU time (s): 3600.04
# total CPU user time (s): 3584.78
# total CPU system time (s): 15.2598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74023 second user time and 16.4567 second system time
The end
Begin job on nodeC031 at 2025-06-29 02:40:20
IDJOB=4496041
IDBENCH=148105
IDSOLVER=3358
FILE ID=nodeC031/4496041-1751157620
RUNJOBID= nodeC031-1751155546-15097
SLURM_JOB_ID= 9587472
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496041-1751157620/watcher-4496041-1751157620 -o /tmp/evaluation-result-4496041-1751157620/solver-4496041-1751157620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4496041-1751157620.opb PROOFDIR/proof-4496041-1751157620
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=810463740
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3571.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.879
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3592.868
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.867
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 117984376 kB
MemAvailable: 128551268 kB
Buffers: 3280 kB
Cached: 11365696 kB
SwapCached: 0 kB
Active: 1551304 kB
Inactive: 11146584 kB
Active(anon): 1347068 kB
Inactive(anon): 0 kB
Active(file): 204236 kB
Inactive(file): 11146584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 102680 kB
Writeback: 0 kB
AnonPages: 1328488 kB
Mapped: 117144 kB
Shmem: 18064 kB
KReclaimable: 110620 kB
Slab: 199068 kB
SReclaimable: 110620 kB
SUnreclaim: 88448 kB
KernelStack: 4432 kB
PageTables: 5852 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1879040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150744 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1161216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC031 at 2025-06-29 03:40:37