0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4508047-1751499394.opb'
0.00/0.07 c read 1.14MB (43.15ms)
0.00/0.07 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.08 c output proof to 'PROOFDIR/proof-4508047-1751499394'
0.00/0.08 c
0.00/0.08 c make graph and approximate orbits
0.06/0.14 c [group: #orbits ~= 2752] (61.58ms)
0.06/0.14 c
0.06/0.14 c detect special group actions
0.06/0.14 c probe for Johnson action (limit=64)
0.06/0.16 c probe for row-column symmetry (limit=64, splits=16.78M)
0.06/0.19 c probe for row symmetry (limit=64, splits=16.78M)
0.16/0.23 c found row 11x688, generating row predicate
0.16/0.23 c (90.95ms)
0.16/0.23 c
0.16/0.23 c detect symmetries on remainder
0.16/0.23 c [graph: #vertices 82875 #edges 295616]
0.16/0.23 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.24/0.34 c [group: #symmetries 1.24*10^7 #generators 13] (109.88ms)
0.24/0.34 c
0.24/0.34 c optimize generators (opt_passes=64, conjugate_limit=256)
0.24/0.34 c ran it=0, +gens=2
0.50/0.64 c con best_support=1376, best_gens=13, +gens=224
0.50/0.64 c (302.54ms)
0.50/0.64 c
0.50/0.64 c finalize break order and special generators
0.50/0.64 c
0.50/0.64 c add generic predicates (break_depth=20)
0.50/0.65 c added predicates for 239 generators (3.78ms)
0.99/1.18 c
0.99/1.18 c generation finished
0.99/1.18 c [sbp: #constraints 34482 #add_vars 11411]
0.99/1.18 c
0.99/1.18 c write result to 'HOME/instance-4508047-1751499394.opb.pre'
0.99/1.19 c wrote 2.47MB (8.13ms)
0.99/1.19 c ------------------------------------------------------------------
0.99/1.19 c 543.55ms 46.59% other
0.99/1.19 c 302.54ms 25.93% optimize_gens
0.99/1.19 c 109.88ms 9.42% detect_generic
0.99/1.19 c 90.95ms 7.80% detect_special
0.99/1.19 c 61.58ms 5.28% approx_orbits
0.99/1.19 c 43.15ms 3.70% parse
0.99/1.19 c 8.13ms 0.70% output
0.99/1.19 c 3.78ms 0.32% break_generic
0.99/1.19 c 2.97ms 0.25% finalize_order
0.99/1.19 c ───────────────────────────────────────────────
0.99/1.19 c 1166.54ms 100% total
0.99/1.19 c ------------------------------------------------------------------
1.11/1.35 c RoundingSat 2
1.11/1.35 c branch pb25
1.11/1.35 c commit 63f22ad
1.12/1.78 c #variables 21043 #constraints 64102
1.12/1.78 c objective is ce32
1.86/2.14 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
1.86/2.14 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
1.86/2.14 c bounds 109 >= 0 @ 0.698293
3.05/3.32 c bounds 101 >= 0 @ 1.82057
6.05/6.32 c #Conflicts: 1000 | #Constraints: 65103
6.05/6.32 c #Conflicts: 2000 | #Constraints: 66103
6.05/6.32 c INPROCESSING
6.05/6.32 c bounds 99 >= 0 @ 4.76674
6.05/6.39 c bounds 91 >= 0 @ 4.8243
6.24/6.50 c #Conflicts: 3000 | #Constraints: 66110
6.24/6.50 c #Conflicts: 4000 | #Constraints: 67110
6.24/6.50 c INPROCESSING
6.24/6.50 c GARBAGE COLLECT
6.24/6.50 c bounds 89 >= 0 @ 4.92681
6.35/6.61 c bounds 81 >= 0 @ 5.01238
6.35/6.62 c bounds 79 >= 0 @ 5.01758
6.35/6.62 c bounds 79 >= 5 @ 5.01924
16.73/17.09 c #Conflicts: 5000 | #Constraints: 66524
16.73/17.09 c #Conflicts: 6000 | #Constraints: 67524
16.73/17.09 c INPROCESSING
16.73/17.09 c bounds 79 >= 7 @ 15.4089
16.73/17.10 c bounds 79 >= 10 @ 15.4134
16.73/17.10 c bounds 79 >= 12 @ 15.4139
16.82/17.12 c bounds 79 >= 14 @ 15.4329
16.82/17.13 c #Conflicts: 7000 | #Constraints: 66549
16.82/17.13 c bounds 79 >= 17 @ 15.4451
16.82/17.13 c bounds 79 >= 19 @ 15.4457
43.24/43.63 c #Conflicts: 8000 | #Constraints: 67562
43.24/43.63 c #Conflicts: 9000 | #Constraints: 68562
43.24/43.63 c INPROCESSING
43.24/43.63 c GARBAGE COLLECT
43.24/43.63 c rational objective 19
44.84/45.27 c #Conflicts: 10000 | #Constraints: 67258
44.84/45.27 c #Conflicts: 11000 | #Constraints: 68258
44.84/45.27 c #Conflicts: 12000 | #Constraints: 69258
44.84/45.27 c INPROCESSING
44.84/45.27 c #Conflicts: 13000 | #Constraints: 67709
44.84/45.27 c #Conflicts: 14000 | #Constraints: 68709
44.84/45.27 c #Conflicts: 15000 | #Constraints: 69709
44.84/45.27 c INPROCESSING
44.84/45.27 c GARBAGE COLLECT
44.84/45.27 c #Conflicts: 16000 | #Constraints: 67935
44.84/45.27 c #Conflicts: 17000 | #Constraints: 68935
44.84/45.27 c #Conflicts: 18000 | #Constraints: 69935
44.84/45.27 c INPROCESSING
44.84/45.27 c #Conflicts: 19000 | #Constraints: 67944
44.84/45.27 c bounds 79 >= 21 @ 43.346
44.84/45.29 c bounds 79 >= 23 @ 43.3645
79.44/79.92 c #Conflicts: 20000 | #Constraints: 68953
79.44/79.92 c #Conflicts: 21000 | #Constraints: 69953
79.44/79.92 c INPROCESSING
79.44/79.92 c GARBAGE COLLECT
79.44/79.92 c #Conflicts: 22000 | #Constraints: 67763
79.44/79.92 c #Conflicts: 23000 | #Constraints: 68763
79.44/79.92 c #Conflicts: 24000 | #Constraints: 69763
79.44/79.92 c #Conflicts: 25000 | #Constraints: 70763
79.44/79.92 c INPROCESSING
79.44/79.92 c GARBAGE COLLECT
79.44/79.92 c #Conflicts: 26000 | #Constraints: 68364
79.44/79.92 c #Conflicts: 27000 | #Constraints: 69364
79.44/79.92 c #Conflicts: 28000 | #Constraints: 70364
79.44/79.92 c #Conflicts: 29000 | #Constraints: 71364
79.44/79.92 c INPROCESSING
79.44/79.92 c GARBAGE COLLECT
79.44/79.92 c #Conflicts: 30000 | #Constraints: 68770
79.44/79.92 c #Conflicts: 31000 | #Constraints: 69770
79.44/79.92 c #Conflicts: 32000 | #Constraints: 70770
79.44/79.92 c #Conflicts: 33000 | #Constraints: 71770
79.44/79.92 c INPROCESSING
79.44/79.92 c GARBAGE COLLECT
79.44/79.92 c #Conflicts: 34000 | #Constraints: 68969
79.44/79.92 c #Conflicts: 35000 | #Constraints: 69969
79.44/79.92 c #Conflicts: 36000 | #Constraints: 70969
79.44/79.92 c #Conflicts: 37000 | #Constraints: 71969
79.44/79.92 c INPROCESSING
79.44/79.92 c GARBAGE COLLECT
79.44/79.92 c #Conflicts: 38000 | #Constraints: 68969
79.44/79.92 c #Conflicts: 39000 | #Constraints: 69969
79.44/79.92 c #Conflicts: 40000 | #Constraints: 70969
79.44/79.92 c #Conflicts: 41000 | #Constraints: 71969
79.44/79.92 c INPROCESSING
79.44/79.92 c GARBAGE COLLECT
79.44/79.92 c rational objective 23
88.42/88.91 c #Conflicts: 42000 | #Constraints: 68801
88.42/88.91 c #Conflicts: 43000 | #Constraints: 69801
88.42/88.91 c #Conflicts: 44000 | #Constraints: 70801
88.42/88.91 c #Conflicts: 45000 | #Constraints: 71801
88.42/88.91 c #Conflicts: 46000 | #Constraints: 72801
88.42/88.91 c INPROCESSING
88.42/88.91 c GARBAGE COLLECT
88.42/88.91 c rational objective 23
101.78/102.34 c #Conflicts: 47000 | #Constraints: 69381
101.78/102.34 c #Conflicts: 48000 | #Constraints: 70381
101.78/102.34 c bounds 79 >= 25 @ 99.9019
168.26/169.08 c #Conflicts: 49000 | #Constraints: 71399
168.26/169.08 c #Conflicts: 50000 | #Constraints: 72399
168.26/169.08 c #Conflicts: 51000 | #Constraints: 73399
168.26/169.08 c INPROCESSING
168.26/169.08 c GARBAGE COLLECT
168.26/169.08 c #Conflicts: 52000 | #Constraints: 69789
168.26/169.08 c #Conflicts: 53000 | #Constraints: 70789
168.26/169.08 c #Conflicts: 54000 | #Constraints: 71789
168.26/169.08 c #Conflicts: 55000 | #Constraints: 72789
168.26/169.08 c #Conflicts: 56000 | #Constraints: 73789
168.26/169.08 c INPROCESSING
168.26/169.08 c GARBAGE COLLECT
168.26/169.08 c #Conflicts: 57000 | #Constraints: 69985
168.26/169.08 c #Conflicts: 58000 | #Constraints: 70985
168.26/169.08 c #Conflicts: 59000 | #Constraints: 71985
168.26/169.08 c #Conflicts: 60000 | #Constraints: 72985
168.26/169.08 c #Conflicts: 61000 | #Constraints: 73985
168.26/169.08 c INPROCESSING
168.26/169.08 c GARBAGE COLLECT
168.26/169.08 c #Conflicts: 62000 | #Constraints: 69988
168.26/169.08 c #Conflicts: 63000 | #Constraints: 70988
168.26/169.08 c #Conflicts: 64000 | #Constraints: 71988
168.26/169.08 c #Conflicts: 65000 | #Constraints: 72988
168.26/169.08 c #Conflicts: 66000 | #Constraints: 73988
168.26/169.08 c INPROCESSING
168.26/169.08 c GARBAGE COLLECT
168.26/169.08 c #Conflicts: 67000 | #Constraints: 69783
168.26/169.08 c #Conflicts: 68000 | #Constraints: 70783
168.26/169.08 c #Conflicts: 69000 | #Constraints: 71783
168.26/169.08 c #Conflicts: 70000 | #Constraints: 72783
168.26/169.08 c bounds 79 >= 27 @ 166.157
196.85/197.73 c #Conflicts: 71000 | #Constraints: 73798
196.85/197.73 c #Conflicts: 72000 | #Constraints: 74798
196.85/197.73 c INPROCESSING
196.85/197.73 c GARBAGE COLLECT
196.85/197.73 c #Conflicts: 73000 | #Constraints: 70392
196.85/197.73 c #Conflicts: 74000 | #Constraints: 71392
196.85/197.73 c #Conflicts: 75000 | #Constraints: 72392
196.85/197.73 c #Conflicts: 76000 | #Constraints: 73392
196.85/197.73 c #Conflicts: 77000 | #Constraints: 74392
196.85/197.73 c #Conflicts: 78000 | #Constraints: 75392
196.85/197.73 c INPROCESSING
196.85/197.73 c GARBAGE COLLECT
196.85/197.73 c #Conflicts: 79000 | #Constraints: 70792
196.85/197.73 c #Conflicts: 80000 | #Constraints: 71792
196.85/197.73 c #Conflicts: 81000 | #Constraints: 72792
196.85/197.73 c #Conflicts: 82000 | #Constraints: 73792
196.85/197.73 c #Conflicts: 83000 | #Constraints: 74792
196.85/197.73 c #Conflicts: 84000 | #Constraints: 75792
196.85/197.73 c INPROCESSING
196.85/197.73 c GARBAGE COLLECT
196.85/197.73 c #Conflicts: 85000 | #Constraints: 71002
196.85/197.73 c #Conflicts: 86000 | #Constraints: 72002
196.85/197.73 c #Conflicts: 87000 | #Constraints: 73002
196.85/197.73 c #Conflicts: 88000 | #Constraints: 74002
196.85/197.73 c #Conflicts: 89000 | #Constraints: 75002
196.85/197.73 c #Conflicts: 90000 | #Constraints: 76002
196.85/197.73 c INPROCESSING
196.85/197.73 c GARBAGE COLLECT
196.85/197.73 c rational objective 27
250.17/251.23 c #Conflicts: 91000 | #Constraints: 71001
250.17/251.23 c #Conflicts: 92000 | #Constraints: 72001
250.17/251.23 c #Conflicts: 93000 | #Constraints: 73001
250.17/251.23 c #Conflicts: 94000 | #Constraints: 74001
250.17/251.23 c #Conflicts: 95000 | #Constraints: 75001
250.17/251.23 c #Conflicts: 96000 | #Constraints: 76001
250.17/251.23 c INPROCESSING
250.17/251.23 c GARBAGE COLLECT
250.17/251.23 c rational objective 27
250.77/251.83 c #Conflicts: 97000 | #Constraints: 70851
250.77/251.83 c #Conflicts: 98000 | #Constraints: 71851
250.77/251.83 c bounds 79 >= 29 @ 248.227
279.37/280.56 c #Conflicts: 99000 | #Constraints: 72872
279.37/280.56 c #Conflicts: 100000 | #Constraints: 73872
279.37/280.56 c #Conflicts: 101000 | #Constraints: 74872
279.37/280.56 c #Conflicts: 102000 | #Constraints: 75872
279.37/280.56 c #Conflicts: 103000 | #Constraints: 76872
279.37/280.56 c INPROCESSING
279.37/280.56 c GARBAGE COLLECT
279.37/280.56 c #Conflicts: 104000 | #Constraints: 71436
279.37/280.56 c #Conflicts: 105000 | #Constraints: 72436
279.37/280.56 c #Conflicts: 106000 | #Constraints: 73436
279.37/280.56 c #Conflicts: 107000 | #Constraints: 74436
279.37/280.56 c #Conflicts: 108000 | #Constraints: 75436
279.37/280.56 c #Conflicts: 109000 | #Constraints: 76436
279.37/280.56 c #Conflicts: 110000 | #Constraints: 77436
279.37/280.56 c INPROCESSING
279.37/280.56 c GARBAGE COLLECT
279.37/280.56 c #Conflicts: 111000 | #Constraints: 71824
279.37/280.56 c #Conflicts: 112000 | #Constraints: 72824
279.37/280.56 c #Conflicts: 113000 | #Constraints: 73824
279.37/280.56 c #Conflicts: 114000 | #Constraints: 74824
279.37/280.56 c #Conflicts: 115000 | #Constraints: 75824
279.37/280.56 c #Conflicts: 116000 | #Constraints: 76824
279.37/280.56 c #Conflicts: 117000 | #Constraints: 77824
279.37/280.57 c INPROCESSING
279.37/280.57 c GARBAGE COLLECT
279.37/280.57 c #Conflicts: 118000 | #Constraints: 72015
279.37/280.57 c #Conflicts: 119000 | #Constraints: 73015
279.37/280.57 c #Conflicts: 120000 | #Constraints: 74015
279.37/280.57 c #Conflicts: 121000 | #Constraints: 75015
279.37/280.57 c #Conflicts: 122000 | #Constraints: 76015
279.37/280.57 c #Conflicts: 123000 | #Constraints: 77015
279.37/280.57 c #Conflicts: 124000 | #Constraints: 78015
279.37/280.57 c INPROCESSING
279.37/280.57 c GARBAGE COLLECT
279.37/280.57 c rational objective 29
320.76/322.02 c #Conflicts: 125000 | #Constraints: 72012
320.76/322.02 c #Conflicts: 126000 | #Constraints: 73012
320.76/322.02 c #Conflicts: 127000 | #Constraints: 74012
320.76/322.02 c #Conflicts: 128000 | #Constraints: 75012
320.76/322.02 c #Conflicts: 129000 | #Constraints: 76012
320.76/322.02 c #Conflicts: 130000 | #Constraints: 77012
320.76/322.02 c #Conflicts: 131000 | #Constraints: 78012
320.76/322.02 c INPROCESSING
320.76/322.02 c GARBAGE COLLECT
320.76/322.02 c rational objective 29
375.80/377.20 c #Conflicts: 132000 | #Constraints: 71846
375.80/377.20 c #Conflicts: 133000 | #Constraints: 72846
375.80/377.20 c #Conflicts: 134000 | #Constraints: 73846
375.80/377.20 c #Conflicts: 135000 | #Constraints: 74846
375.80/377.20 c #Conflicts: 136000 | #Constraints: 75846
375.80/377.20 c #Conflicts: 137000 | #Constraints: 76846
375.80/377.20 c #Conflicts: 138000 | #Constraints: 77846
375.80/377.20 c #Conflicts: 139000 | #Constraints: 78846
375.80/377.20 c INPROCESSING
375.80/377.20 c GARBAGE COLLECT
375.80/377.20 c rational objective 29
414.89/416.45 c #Conflicts: 140000 | #Constraints: 72427
414.89/416.45 c #Conflicts: 141000 | #Constraints: 73427
414.89/416.45 c #Conflicts: 142000 | #Constraints: 74427
414.89/416.45 c #Conflicts: 143000 | #Constraints: 75427
414.89/416.45 c #Conflicts: 144000 | #Constraints: 76427
414.89/416.45 c #Conflicts: 145000 | #Constraints: 77427
414.89/416.45 c #Conflicts: 146000 | #Constraints: 78427
414.89/416.45 c #Conflicts: 147000 | #Constraints: 79427
414.89/416.45 c INPROCESSING
414.89/416.45 c GARBAGE COLLECT
414.89/416.45 c #Conflicts: 148000 | #Constraints: 72819
414.89/416.45 c #Conflicts: 149000 | #Constraints: 73819
414.89/416.45 c #Conflicts: 150000 | #Constraints: 74819
414.89/416.45 c #Conflicts: 151000 | #Constraints: 75819
414.89/416.45 c #Conflicts: 152000 | #Constraints: 76819
414.89/416.45 c #Conflicts: 153000 | #Constraints: 77819
414.89/416.45 c #Conflicts: 154000 | #Constraints: 78819
414.89/416.45 c #Conflicts: 155000 | #Constraints: 79819
414.89/416.45 c INPROCESSING
414.89/416.45 c GARBAGE COLLECT
414.89/416.45 c rational objective 29
471.45/473.19 c #Conflicts: 156000 | #Constraints: 73017
471.45/473.19 c #Conflicts: 157000 | #Constraints: 74017
471.45/473.19 c #Conflicts: 158000 | #Constraints: 75017
471.45/473.19 c #Conflicts: 159000 | #Constraints: 76017
471.45/473.19 c #Conflicts: 160000 | #Constraints: 77017
471.45/473.19 c #Conflicts: 161000 | #Constraints: 78017
471.45/473.19 c #Conflicts: 162000 | #Constraints: 79017
471.45/473.19 c #Conflicts: 163000 | #Constraints: 80017
471.45/473.19 c INPROCESSING
471.45/473.19 c GARBAGE COLLECT
471.45/473.19 c rational objective 29
503.36/505.18 c #Conflicts: 164000 | #Constraints: 73050
503.36/505.18 c #Conflicts: 165000 | #Constraints: 74050
503.36/505.18 c #Conflicts: 166000 | #Constraints: 75050
503.36/505.18 c #Conflicts: 167000 | #Constraints: 76050
503.36/505.18 c #Conflicts: 168000 | #Constraints: 77050
503.36/505.18 c #Conflicts: 169000 | #Constraints: 78050
503.36/505.18 c #Conflicts: 170000 | #Constraints: 79050
503.36/505.18 c #Conflicts: 171000 | #Constraints: 80050
503.36/505.18 c INPROCESSING
503.36/505.18 c GARBAGE COLLECT
503.36/505.18 c #Conflicts: 172000 | #Constraints: 72825
503.36/505.18 c #Conflicts: 173000 | #Constraints: 73825
503.36/505.18 c #Conflicts: 174000 | #Constraints: 74825
503.36/505.18 c #Conflicts: 175000 | #Constraints: 75825
503.36/505.18 c #Conflicts: 176000 | #Constraints: 76825
503.36/505.18 c #Conflicts: 177000 | #Constraints: 77825
503.36/505.18 c #Conflicts: 178000 | #Constraints: 78825
503.36/505.18 c #Conflicts: 179000 | #Constraints: 79825
503.36/505.18 c #Conflicts: 180000 | #Constraints: 80825
503.36/505.18 c INPROCESSING
503.36/505.18 c GARBAGE COLLECT
503.36/505.18 c #Conflicts: 181000 | #Constraints: 73419
503.36/505.18 c #Conflicts: 182000 | #Constraints: 74419
503.36/505.18 c #Conflicts: 183000 | #Constraints: 75419
503.36/505.18 c #Conflicts: 184000 | #Constraints: 76419
503.36/505.18 c #Conflicts: 185000 | #Constraints: 77419
503.36/505.18 c #Conflicts: 186000 | #Constraints: 78419
503.36/505.18 c #Conflicts: 187000 | #Constraints: 79419
503.36/505.18 c #Conflicts: 188000 | #Constraints: 80419
503.36/505.18 c #Conflicts: 189000 | #Constraints: 81419
503.36/505.18 c INPROCESSING
503.36/505.18 c GARBAGE COLLECT
503.36/505.18 c rational objective 29
547.04/548.90 c #Conflicts: 190000 | #Constraints: 73836
547.04/548.90 c #Conflicts: 191000 | #Constraints: 74836
547.04/548.90 c #Conflicts: 192000 | #Constraints: 75836
547.04/548.90 c #Conflicts: 193000 | #Constraints: 76836
547.04/548.90 c #Conflicts: 194000 | #Constraints: 77836
547.04/548.90 c #Conflicts: 195000 | #Constraints: 78836
547.04/548.90 c #Conflicts: 196000 | #Constraints: 79836
547.04/548.90 c #Conflicts: 197000 | #Constraints: 80836
547.04/548.90 c #Conflicts: 198000 | #Constraints: 81836
547.04/548.90 c INPROCESSING
547.04/548.90 c GARBAGE COLLECT
547.04/548.90 c rational objective 29
568.58/570.58 c #Conflicts: 199000 | #Constraints: 74081
568.58/570.58 c #Conflicts: 200000 | #Constraints: 75081
568.58/570.58 c #Conflicts: 201000 | #Constraints: 76081
568.58/570.58 c #Conflicts: 202000 | #Constraints: 77081
568.58/570.58 c #Conflicts: 203000 | #Constraints: 78081
568.58/570.58 c #Conflicts: 204000 | #Constraints: 79081
568.58/570.58 c #Conflicts: 205000 | #Constraints: 80081
568.58/570.58 c #Conflicts: 206000 | #Constraints: 81081
568.58/570.58 c #Conflicts: 207000 | #Constraints: 82081
568.58/570.58 c INPROCESSING
568.58/570.58 c GARBAGE COLLECT
568.58/570.58 c #Conflicts: 208000 | #Constraints: 74044
568.58/570.58 c #Conflicts: 209000 | #Constraints: 75044
568.58/570.58 c #Conflicts: 210000 | #Constraints: 76044
568.58/570.58 c #Conflicts: 211000 | #Constraints: 77044
568.58/570.58 c #Conflicts: 212000 | #Constraints: 78044
568.58/570.58 c #Conflicts: 213000 | #Constraints: 79044
568.58/570.58 c #Conflicts: 214000 | #Constraints: 80044
568.58/570.58 c #Conflicts: 215000 | #Constraints: 81044
568.58/570.58 c #Conflicts: 216000 | #Constraints: 82044
568.58/570.58 c INPROCESSING
568.58/570.58 c GARBAGE COLLECT
568.58/570.58 c rational objective 29
586.64/588.69 c #Conflicts: 217000 | #Constraints: 73867
586.64/588.69 c #Conflicts: 218000 | #Constraints: 74867
586.64/588.69 c #Conflicts: 219000 | #Constraints: 75867
586.64/588.69 c #Conflicts: 220000 | #Constraints: 76867
586.64/588.69 c #Conflicts: 221000 | #Constraints: 77867
586.64/588.69 c #Conflicts: 222000 | #Constraints: 78867
586.64/588.69 c #Conflicts: 223000 | #Constraints: 79867
586.64/588.69 c #Conflicts: 224000 | #Constraints: 80867
586.64/588.69 c #Conflicts: 225000 | #Constraints: 81867
586.64/588.69 c #Conflicts: 226000 | #Constraints: 82867
586.64/588.69 c INPROCESSING
586.64/588.69 c GARBAGE COLLECT
586.64/588.69 c rational objective 29
608.09/610.19 c #Conflicts: 227000 | #Constraints: 74446
608.09/610.19 c #Conflicts: 228000 | #Constraints: 75446
608.09/610.19 c #Conflicts: 229000 | #Constraints: 76446
608.09/610.19 c #Conflicts: 230000 | #Constraints: 77446
608.09/610.19 c #Conflicts: 231000 | #Constraints: 78446
608.09/610.19 c #Conflicts: 232000 | #Constraints: 79446
608.09/610.19 c #Conflicts: 233000 | #Constraints: 80446
608.09/610.19 c #Conflicts: 234000 | #Constraints: 81446
608.09/610.19 c #Conflicts: 235000 | #Constraints: 82446
608.09/610.19 c #Conflicts: 236000 | #Constraints: 83446
608.09/610.19 c INPROCESSING
608.09/610.19 c GARBAGE COLLECT
608.09/610.19 c rational objective 29
654.55/656.77 c #Conflicts: 237000 | #Constraints: 74850
654.55/656.77 c #Conflicts: 238000 | #Constraints: 75850
654.55/656.77 c #Conflicts: 239000 | #Constraints: 76850
654.55/656.77 c #Conflicts: 240000 | #Constraints: 77850
654.55/656.77 c #Conflicts: 241000 | #Constraints: 78850
654.55/656.77 c #Conflicts: 242000 | #Constraints: 79850
654.55/656.77 c #Conflicts: 243000 | #Constraints: 80850
654.55/656.77 c #Conflicts: 244000 | #Constraints: 81850
654.55/656.77 c #Conflicts: 245000 | #Constraints: 82850
654.55/656.77 c #Conflicts: 246000 | #Constraints: 83850
654.55/656.77 c INPROCESSING
654.55/656.77 c GARBAGE COLLECT
654.55/656.77 c rational objective 29
685.47/687.74 c #Conflicts: 247000 | #Constraints: 75051
685.47/687.74 c #Conflicts: 248000 | #Constraints: 76051
685.47/687.74 c #Conflicts: 249000 | #Constraints: 77051
685.47/687.74 c #Conflicts: 250000 | #Constraints: 78051
685.47/687.74 c #Conflicts: 251000 | #Constraints: 79051
685.47/687.74 c #Conflicts: 252000 | #Constraints: 80051
685.47/687.74 c #Conflicts: 253000 | #Constraints: 81051
685.47/687.74 c #Conflicts: 254000 | #Constraints: 82051
685.47/687.74 c #Conflicts: 255000 | #Constraints: 83051
685.47/687.74 c #Conflicts: 256000 | #Constraints: 84051
685.47/687.74 c INPROCESSING
685.47/687.74 c GARBAGE COLLECT
685.47/687.74 c rational objective 29
734.44/736.81 c #Conflicts: 257000 | #Constraints: 75040
734.44/736.81 c #Conflicts: 258000 | #Constraints: 76040
734.44/736.81 c #Conflicts: 259000 | #Constraints: 77040
734.44/736.81 c #Conflicts: 260000 | #Constraints: 78040
734.44/736.81 c #Conflicts: 261000 | #Constraints: 79040
734.44/736.81 c #Conflicts: 262000 | #Constraints: 80040
734.44/736.81 c #Conflicts: 263000 | #Constraints: 81040
734.44/736.81 c #Conflicts: 264000 | #Constraints: 82040
734.44/736.81 c #Conflicts: 265000 | #Constraints: 83040
734.44/736.81 c #Conflicts: 266000 | #Constraints: 84040
734.44/736.81 c INPROCESSING
734.44/736.81 c GARBAGE COLLECT
734.44/736.81 c rational objective 29
758.18/760.68 c #Conflicts: 267000 | #Constraints: 74833
758.18/760.68 c #Conflicts: 268000 | #Constraints: 75833
758.18/760.68 c #Conflicts: 269000 | #Constraints: 76833
758.18/760.68 c #Conflicts: 270000 | #Constraints: 77833
758.18/760.68 c #Conflicts: 271000 | #Constraints: 78833
758.18/760.68 c #Conflicts: 272000 | #Constraints: 79833
758.18/760.68 c #Conflicts: 273000 | #Constraints: 80833
758.18/760.68 c #Conflicts: 274000 | #Constraints: 81833
758.18/760.68 c #Conflicts: 275000 | #Constraints: 82833
758.18/760.68 c #Conflicts: 276000 | #Constraints: 83833
758.18/760.68 c #Conflicts: 277000 | #Constraints: 84833
758.18/760.68 c INPROCESSING
758.18/760.68 c GARBAGE COLLECT
758.18/760.68 c #Conflicts: 278000 | #Constraints: 75421
758.18/760.68 c #Conflicts: 279000 | #Constraints: 76421
758.18/760.68 c #Conflicts: 280000 | #Constraints: 77421
758.18/760.68 c #Conflicts: 281000 | #Constraints: 78421
758.18/760.68 c #Conflicts: 282000 | #Constraints: 79421
758.18/760.68 c #Conflicts: 283000 | #Constraints: 80421
758.18/760.68 c #Conflicts: 284000 | #Constraints: 81421
758.18/760.68 c #Conflicts: 285000 | #Constraints: 82421
758.18/760.68 c #Conflicts: 286000 | #Constraints: 83421
758.18/760.68 c #Conflicts: 287000 | #Constraints: 84421
758.18/760.68 c #Conflicts: 288000 | #Constraints: 85421
758.18/760.68 c INPROCESSING
758.18/760.68 c GARBAGE COLLECT
758.18/760.68 c rational objective 29
791.50/794.01 c #Conflicts: 289000 | #Constraints: 75820
791.50/794.01 c #Conflicts: 290000 | #Constraints: 76820
791.50/794.01 c #Conflicts: 291000 | #Constraints: 77820
791.50/794.01 c #Conflicts: 292000 | #Constraints: 78820
791.50/794.01 c #Conflicts: 293000 | #Constraints: 79820
791.50/794.01 c #Conflicts: 294000 | #Constraints: 80820
791.50/794.01 c #Conflicts: 295000 | #Constraints: 81820
791.50/794.01 c #Conflicts: 296000 | #Constraints: 82820
791.50/794.01 c #Conflicts: 297000 | #Constraints: 83820
791.50/794.01 c #Conflicts: 298000 | #Constraints: 84820
791.50/794.01 c #Conflicts: 299000 | #Constraints: 85820
791.50/794.01 c INPROCESSING
791.50/794.01 c GARBAGE COLLECT
791.50/794.01 c rational objective 29
855.33/858.09 c #Conflicts: 300000 | #Constraints: 76014
855.33/858.09 c #Conflicts: 301000 | #Constraints: 77014
855.33/858.09 c #Conflicts: 302000 | #Constraints: 78014
855.33/858.09 c #Conflicts: 303000 | #Constraints: 79014
855.33/858.09 c #Conflicts: 304000 | #Constraints: 80014
855.33/858.09 c #Conflicts: 305000 | #Constraints: 81014
855.33/858.09 c #Conflicts: 306000 | #Constraints: 82014
855.33/858.09 c #Conflicts: 307000 | #Constraints: 83014
855.33/858.09 c #Conflicts: 308000 | #Constraints: 84014
855.33/858.09 c #Conflicts: 309000 | #Constraints: 85014
855.33/858.09 c #Conflicts: 310000 | #Constraints: 86014
855.33/858.09 c INPROCESSING
855.33/858.09 c GARBAGE COLLECT
855.33/858.09 c rational objective 29
892.12/894.97 c #Conflicts: 311000 | #Constraints: 76053
892.12/894.97 c #Conflicts: 312000 | #Constraints: 77053
892.12/894.97 c #Conflicts: 313000 | #Constraints: 78053
892.12/894.97 c #Conflicts: 314000 | #Constraints: 79053
892.12/894.97 c #Conflicts: 315000 | #Constraints: 80053
892.12/894.97 c #Conflicts: 316000 | #Constraints: 81053
892.12/894.97 c #Conflicts: 317000 | #Constraints: 82053
892.12/894.97 c #Conflicts: 318000 | #Constraints: 83053
892.12/894.97 c #Conflicts: 319000 | #Constraints: 84053
892.12/894.97 c #Conflicts: 320000 | #Constraints: 85053
892.12/894.97 c #Conflicts: 321000 | #Constraints: 86053
892.12/894.97 c INPROCESSING
892.12/894.97 c GARBAGE COLLECT
892.12/894.97 c #Conflicts: 322000 | #Constraints: 75834
892.12/894.97 c #Conflicts: 323000 | #Constraints: 76834
892.12/894.97 c #Conflicts: 324000 | #Constraints: 77834
892.12/894.97 c #Conflicts: 325000 | #Constraints: 78834
892.12/894.97 c #Conflicts: 326000 | #Constraints: 79834
892.12/894.97 c #Conflicts: 327000 | #Constraints: 80834
892.12/894.97 c #Conflicts: 328000 | #Constraints: 81834
892.12/894.97 c #Conflicts: 329000 | #Constraints: 82834
892.12/894.97 c #Conflicts: 330000 | #Constraints: 83834
892.12/894.97 c #Conflicts: 331000 | #Constraints: 84834
892.12/894.97 c #Conflicts: 332000 | #Constraints: 85834
892.12/894.97 c #Conflicts: 333000 | #Constraints: 86834
892.12/894.97 c INPROCESSING
892.12/894.97 c GARBAGE COLLECT
892.12/894.97 c rational objective 29
915.66/918.56 c #Conflicts: 334000 | #Constraints: 76424
915.66/918.56 c #Conflicts: 335000 | #Constraints: 77424
915.66/918.56 c #Conflicts: 336000 | #Constraints: 78424
915.66/918.56 c #Conflicts: 337000 | #Constraints: 79424
915.66/918.56 c #Conflicts: 338000 | #Constraints: 80424
915.66/918.56 c #Conflicts: 339000 | #Constraints: 81424
915.66/918.56 c #Conflicts: 340000 | #Constraints: 82424
915.66/918.56 c #Conflicts: 341000 | #Constraints: 83424
915.66/918.56 c #Conflicts: 342000 | #Constraints: 84424
915.66/918.56 c #Conflicts: 343000 | #Constraints: 85424
915.66/918.56 c #Conflicts: 344000 | #Constraints: 86424
915.66/918.56 c #Conflicts: 345000 | #Constraints: 87424
915.66/918.56 c INPROCESSING
915.66/918.56 c GARBAGE COLLECT
915.66/918.56 c rational objective 29
971.61/974.66 c #Conflicts: 346000 | #Constraints: 76870
971.61/974.66 c #Conflicts: 347000 | #Constraints: 77870
971.61/974.66 c #Conflicts: 348000 | #Constraints: 78870
971.61/974.66 c #Conflicts: 349000 | #Constraints: 79870
971.61/974.66 c #Conflicts: 350000 | #Constraints: 80870
971.61/974.66 c #Conflicts: 351000 | #Constraints: 81870
971.61/974.66 c #Conflicts: 352000 | #Constraints: 82870
971.61/974.66 c #Conflicts: 353000 | #Constraints: 83870
971.61/974.66 c #Conflicts: 354000 | #Constraints: 84870
971.61/974.66 c #Conflicts: 355000 | #Constraints: 85870
971.61/974.66 c #Conflicts: 356000 | #Constraints: 86870
971.61/974.66 c #Conflicts: 357000 | #Constraints: 87870
971.61/974.66 c INPROCESSING
971.61/974.66 c GARBAGE COLLECT
971.61/974.66 c rational objective 29
1001.22/1004.30 c #Conflicts: 358000 | #Constraints: 77092
1001.22/1004.30 c #Conflicts: 359000 | #Constraints: 78092
1001.22/1004.30 c #Conflicts: 360000 | #Constraints: 79092
1001.22/1004.30 c #Conflicts: 361000 | #Constraints: 80092
1001.22/1004.30 c #Conflicts: 362000 | #Constraints: 81092
1001.22/1004.30 c #Conflicts: 363000 | #Constraints: 82092
1001.22/1004.30 c #Conflicts: 364000 | #Constraints: 83092
1001.22/1004.30 c #Conflicts: 365000 | #Constraints: 84092
1001.22/1004.30 c #Conflicts: 366000 | #Constraints: 85092
1001.22/1004.30 c #Conflicts: 367000 | #Constraints: 86092
1001.22/1004.30 c #Conflicts: 368000 | #Constraints: 87092
1001.22/1004.30 c #Conflicts: 369000 | #Constraints: 88092
1001.22/1004.30 c INPROCESSING
1001.22/1004.30 c GARBAGE COLLECT
1001.22/1004.30 c rational objective 29
1058.15/1061.41 c #Conflicts: 370000 | #Constraints: 77055
1058.15/1061.41 c #Conflicts: 371000 | #Constraints: 78055
1058.15/1061.41 c #Conflicts: 372000 | #Constraints: 79055
1058.15/1061.41 c #Conflicts: 373000 | #Constraints: 80055
1058.15/1061.41 c #Conflicts: 374000 | #Constraints: 81055
1058.15/1061.41 c #Conflicts: 375000 | #Constraints: 82055
1058.15/1061.41 c #Conflicts: 376000 | #Constraints: 83055
1058.15/1061.41 c #Conflicts: 377000 | #Constraints: 84055
1058.15/1061.41 c #Conflicts: 378000 | #Constraints: 85055
1058.15/1061.41 c #Conflicts: 379000 | #Constraints: 86055
1058.15/1061.41 c #Conflicts: 380000 | #Constraints: 87055
1058.15/1061.41 c #Conflicts: 381000 | #Constraints: 88055
1058.15/1061.41 c INPROCESSING
1058.15/1061.41 c GARBAGE COLLECT
1058.15/1061.41 c rational objective 29
1091.56/1094.92 c #Conflicts: 382000 | #Constraints: 76879
1091.56/1094.92 c #Conflicts: 383000 | #Constraints: 77879
1091.56/1094.92 c #Conflicts: 384000 | #Constraints: 78879
1091.56/1094.92 c #Conflicts: 385000 | #Constraints: 79879
1091.56/1094.92 c #Conflicts: 386000 | #Constraints: 80879
1091.56/1094.92 c #Conflicts: 387000 | #Constraints: 81879
1091.56/1094.92 c #Conflicts: 388000 | #Constraints: 82879
1091.56/1094.92 c #Conflicts: 389000 | #Constraints: 83879
1091.56/1094.92 c #Conflicts: 390000 | #Constraints: 84879
1091.56/1094.92 c #Conflicts: 391000 | #Constraints: 85879
1091.56/1094.92 c #Conflicts: 392000 | #Constraints: 86879
1091.56/1094.92 c #Conflicts: 393000 | #Constraints: 87879
1091.56/1094.92 c #Conflicts: 394000 | #Constraints: 88879
1091.56/1094.92 c INPROCESSING
1091.56/1094.92 c GARBAGE COLLECT
1091.56/1094.92 c #Conflicts: 395000 | #Constraints: 77452
1091.56/1094.92 c #Conflicts: 396000 | #Constraints: 78452
1091.56/1094.92 c #Conflicts: 397000 | #Constraints: 79452
1091.56/1094.92 c #Conflicts: 398000 | #Constraints: 80452
1091.56/1094.92 c #Conflicts: 399000 | #Constraints: 81452
1091.56/1094.92 c #Conflicts: 400000 | #Constraints: 82452
1091.56/1094.92 c #Conflicts: 401000 | #Constraints: 83452
1091.56/1094.92 c #Conflicts: 402000 | #Constraints: 84452
1091.56/1094.92 c #Conflicts: 403000 | #Constraints: 85452
1091.56/1094.92 c #Conflicts: 404000 | #Constraints: 86452
1091.56/1094.92 c #Conflicts: 405000 | #Constraints: 87452
1091.56/1094.92 c #Conflicts: 406000 | #Constraints: 88452
1091.56/1094.92 c #Conflicts: 407000 | #Constraints: 89452
1091.56/1094.92 c INPROCESSING
1091.56/1094.92 c GARBAGE COLLECT
1091.56/1094.92 c rational objective 29
1131.25/1134.72 c #Conflicts: 408000 | #Constraints: 77837
1131.25/1134.72 c #Conflicts: 409000 | #Constraints: 78837
1131.25/1134.72 c #Conflicts: 410000 | #Constraints: 79837
1131.25/1134.72 c #Conflicts: 411000 | #Constraints: 80837
1131.25/1134.72 c #Conflicts: 412000 | #Constraints: 81837
1131.25/1134.72 c #Conflicts: 413000 | #Constraints: 82837
1131.25/1134.72 c #Conflicts: 414000 | #Constraints: 83837
1131.25/1134.72 c #Conflicts: 415000 | #Constraints: 84837
1131.25/1134.72 c #Conflicts: 416000 | #Constraints: 85837
1131.25/1134.72 c #Conflicts: 417000 | #Constraints: 86837
1131.25/1134.72 c #Conflicts: 418000 | #Constraints: 87837
1131.25/1134.72 c #Conflicts: 419000 | #Constraints: 88837
1131.25/1134.72 c #Conflicts: 420000 | #Constraints: 89837
1131.25/1134.72 c INPROCESSING
1131.25/1134.72 c GARBAGE COLLECT
1131.25/1134.72 c rational objective 29
1239.25/1243.04 c #Conflicts: 421000 | #Constraints: 78043
1239.25/1243.04 c #Conflicts: 422000 | #Constraints: 79043
1239.25/1243.04 c #Conflicts: 423000 | #Constraints: 80043
1239.25/1243.04 c #Conflicts: 424000 | #Constraints: 81043
1239.25/1243.04 c #Conflicts: 425000 | #Constraints: 82043
1239.25/1243.04 c #Conflicts: 426000 | #Constraints: 83043
1239.25/1243.04 c #Conflicts: 427000 | #Constraints: 84043
1239.25/1243.04 c #Conflicts: 428000 | #Constraints: 85043
1239.25/1243.04 c #Conflicts: 429000 | #Constraints: 86043
1239.25/1243.04 c #Conflicts: 430000 | #Constraints: 87043
1239.25/1243.04 c #Conflicts: 431000 | #Constraints: 88043
1239.25/1243.04 c #Conflicts: 432000 | #Constraints: 89043
1239.25/1243.04 c #Conflicts: 433000 | #Constraints: 90043
1239.25/1243.04 c INPROCESSING
1239.25/1243.04 c GARBAGE COLLECT
1239.25/1243.04 c rational objective 29
1286.20/1290.17 c #Conflicts: 434000 | #Constraints: 78031
1286.20/1290.17 c #Conflicts: 435000 | #Constraints: 79031
1286.20/1290.17 c #Conflicts: 436000 | #Constraints: 80031
1286.20/1290.17 c #Conflicts: 437000 | #Constraints: 81031
1286.20/1290.17 c #Conflicts: 438000 | #Constraints: 82031
1286.20/1290.17 c #Conflicts: 439000 | #Constraints: 83031
1286.20/1290.17 c #Conflicts: 440000 | #Constraints: 84031
1286.20/1290.17 c #Conflicts: 441000 | #Constraints: 85031
1286.20/1290.17 c #Conflicts: 442000 | #Constraints: 86031
1286.20/1290.17 c #Conflicts: 443000 | #Constraints: 87031
1286.20/1290.17 c #Conflicts: 444000 | #Constraints: 88031
1286.20/1290.17 c #Conflicts: 445000 | #Constraints: 89031
1286.20/1290.17 c #Conflicts: 446000 | #Constraints: 90031
1286.20/1290.17 c INPROCESSING
1286.20/1290.17 c GARBAGE COLLECT
1286.20/1290.17 c #Conflicts: 447000 | #Constraints: 77822
1286.20/1290.17 c #Conflicts: 448000 | #Constraints: 78822
1286.20/1290.17 c #Conflicts: 449000 | #Constraints: 79822
1286.20/1290.17 c #Conflicts: 450000 | #Constraints: 80822
1286.20/1290.17 c #Conflicts: 451000 | #Constraints: 81822
1286.20/1290.17 c #Conflicts: 452000 | #Constraints: 82822
1286.20/1290.17 c #Conflicts: 453000 | #Constraints: 83822
1286.20/1290.17 c #Conflicts: 454000 | #Constraints: 84822
1286.20/1290.17 c #Conflicts: 455000 | #Constraints: 85822
1286.20/1290.17 c #Conflicts: 456000 | #Constraints: 86822
1286.20/1290.17 c #Conflicts: 457000 | #Constraints: 87822
1286.20/1290.17 c #Conflicts: 458000 | #Constraints: 88822
1286.20/1290.17 c #Conflicts: 459000 | #Constraints: 89822
1286.20/1290.17 c #Conflicts: 460000 | #Constraints: 90822
1286.20/1290.17 c INPROCESSING
1286.20/1290.17 c GARBAGE COLLECT
1286.20/1290.17 c #Conflicts: 461000 | #Constraints: 78420
1286.20/1290.17 c #Conflicts: 462000 | #Constraints: 79420
1286.20/1290.17 c #Conflicts: 463000 | #Constraints: 80420
1286.20/1290.17 c #Conflicts: 464000 | #Constraints: 81420
1286.20/1290.17 c #Conflicts: 465000 | #Constraints: 82420
1286.20/1290.17 c #Conflicts: 466000 | #Constraints: 83420
1286.20/1290.17 c #Conflicts: 467000 | #Constraints: 84420
1286.20/1290.17 c #Conflicts: 468000 | #Constraints: 85420
1286.20/1290.17 c #Conflicts: 469000 | #Constraints: 86420
1286.20/1290.17 c #Conflicts: 470000 | #Constraints: 87420
1286.20/1290.17 c #Conflicts: 471000 | #Constraints: 88420
1286.20/1290.17 c #Conflicts: 472000 | #Constraints: 89420
1286.20/1290.17 c #Conflicts: 473000 | #Constraints: 90420
1286.20/1290.17 c #Conflicts: 474000 | #Constraints: 91420
1286.20/1290.17 c INPROCESSING
1286.20/1290.17 c GARBAGE COLLECT
1286.20/1290.17 c rational objective 29
1324.39/1328.41 c #Conflicts: 475000 | #Constraints: 78823
1324.39/1328.41 c #Conflicts: 476000 | #Constraints: 79823
1324.39/1328.41 c #Conflicts: 477000 | #Constraints: 80823
1324.39/1328.41 c #Conflicts: 478000 | #Constraints: 81823
1324.39/1328.41 c #Conflicts: 479000 | #Constraints: 82823
1324.39/1328.41 c #Conflicts: 480000 | #Constraints: 83823
1324.39/1328.41 c #Conflicts: 481000 | #Constraints: 84823
1324.39/1328.41 c #Conflicts: 482000 | #Constraints: 85823
1324.39/1328.41 c #Conflicts: 483000 | #Constraints: 86823
1324.39/1328.41 c #Conflicts: 484000 | #Constraints: 87823
1324.39/1328.41 c #Conflicts: 485000 | #Constraints: 88823
1324.39/1328.41 c #Conflicts: 486000 | #Constraints: 89823
1324.39/1328.41 c #Conflicts: 487000 | #Constraints: 90823
1324.39/1328.41 c #Conflicts: 488000 | #Constraints: 91823
1324.39/1328.41 c INPROCESSING
1324.39/1328.41 c GARBAGE COLLECT
1324.39/1328.41 c rational objective 29
1510.32/1514.90 c #Conflicts: 489000 | #Constraints: 79034
1510.32/1514.90 c #Conflicts: 490000 | #Constraints: 80034
1510.32/1514.90 c #Conflicts: 491000 | #Constraints: 81034
1510.32/1514.90 c #Conflicts: 492000 | #Constraints: 82034
1510.32/1514.90 c #Conflicts: 493000 | #Constraints: 83034
1510.32/1514.90 c #Conflicts: 494000 | #Constraints: 84034
1510.32/1514.90 c #Conflicts: 495000 | #Constraints: 85034
1510.32/1514.90 c #Conflicts: 496000 | #Constraints: 86034
1510.32/1514.90 c #Conflicts: 497000 | #Constraints: 87034
1510.32/1514.90 c #Conflicts: 498000 | #Constraints: 88034
1510.32/1514.90 c #Conflicts: 499000 | #Constraints: 89034
1510.32/1514.90 c #Conflicts: 500000 | #Constraints: 90034
1510.32/1514.90 c #Conflicts: 501000 | #Constraints: 91034
1510.32/1514.90 c #Conflicts: 502000 | #Constraints: 92034
1510.32/1514.90 c INPROCESSING
1510.32/1514.90 c GARBAGE COLLECT
1510.32/1514.90 c #Conflicts: 503000 | #Constraints: 79026
1510.32/1514.90 c #Conflicts: 504000 | #Constraints: 80026
1510.32/1514.90 c #Conflicts: 505000 | #Constraints: 81026
1510.32/1514.90 c #Conflicts: 506000 | #Constraints: 82026
1510.32/1514.90 c #Conflicts: 507000 | #Constraints: 83026
1510.32/1514.90 c #Conflicts: 508000 | #Constraints: 84026
1510.32/1514.90 c #Conflicts: 509000 | #Constraints: 85026
1510.32/1514.90 c #Conflicts: 510000 | #Constraints: 86026
1510.32/1514.90 c #Conflicts: 511000 | #Constraints: 87026
1510.32/1514.90 c #Conflicts: 512000 | #Constraints: 88026
1510.32/1514.90 c #Conflicts: 513000 | #Constraints: 89026
1510.32/1514.90 c #Conflicts: 514000 | #Constraints: 90026
1510.32/1514.90 c #Conflicts: 515000 | #Constraints: 91026
1510.32/1514.90 c #Conflicts: 516000 | #Constraints: 92026
1510.32/1514.90 c INPROCESSING
1510.32/1514.90 c GARBAGE COLLECT
1510.32/1514.90 c #Conflicts: 517000 | #Constraints: 78827
1510.32/1514.90 c #Conflicts: 518000 | #Constraints: 79827
1510.32/1514.90 c #Conflicts: 519000 | #Constraints: 80827
1510.32/1514.90 c #Conflicts: 520000 | #Constraints: 81827
1510.32/1514.90 c #Conflicts: 521000 | #Constraints: 82827
1510.32/1514.90 c #Conflicts: 522000 | #Constraints: 83827
1510.32/1514.90 c #Conflicts: 523000 | #Constraints: 84827
1510.32/1514.90 c #Conflicts: 524000 | #Constraints: 85827
1510.32/1514.90 c #Conflicts: 525000 | #Constraints: 86827
1510.32/1514.90 c #Conflicts: 526000 | #Constraints: 87827
1510.32/1514.90 c #Conflicts: 527000 | #Constraints: 88827
1510.32/1514.90 c #Conflicts: 528000 | #Constraints: 89827
1510.32/1514.90 c #Conflicts: 529000 | #Constraints: 90827
1510.32/1514.90 c #Conflicts: 530000 | #Constraints: 91827
1510.32/1514.90 c #Conflicts: 531000 | #Constraints: 92827
1510.32/1514.90 c INPROCESSING
1510.32/1514.90 c GARBAGE COLLECT
1510.32/1514.90 c #Conflicts: 532000 | #Constraints: 79417
1510.32/1514.90 c #Conflicts: 533000 | #Constraints: 80417
1510.32/1514.90 c #Conflicts: 534000 | #Constraints: 81417
1510.32/1514.90 c #Conflicts: 535000 | #Constraints: 82417
1510.32/1514.90 c #Conflicts: 536000 | #Constraints: 83417
1510.32/1514.90 c #Conflicts: 537000 | #Constraints: 84417
1510.32/1514.90 c #Conflicts: 538000 | #Constraints: 85417
1510.32/1514.90 c #Conflicts: 539000 | #Constraints: 86417
1510.32/1514.90 c #Conflicts: 540000 | #Constraints: 87417
1510.32/1514.90 c #Conflicts: 541000 | #Constraints: 88417
1510.32/1514.90 c #Conflicts: 542000 | #Constraints: 89417
1510.32/1514.90 c #Conflicts: 543000 | #Constraints: 90417
1510.32/1514.90 c #Conflicts: 544000 | #Constraints: 91417
1510.32/1514.90 c #Conflicts: 545000 | #Constraints: 92417
1510.32/1514.90 c #Conflicts: 546000 | #Constraints: 93417
1510.32/1514.90 c INPROCESSING
1510.32/1514.90 c GARBAGE COLLECT
1510.32/1514.90 c #Conflicts: 547000 | #Constraints: 79818
1510.32/1514.90 c #Conflicts: 548000 | #Constraints: 80818
1510.32/1514.90 c #Conflicts: 549000 | #Constraints: 81818
1510.32/1514.90 c #Conflicts: 550000 | #Constraints: 82818
1510.32/1514.90 c #Conflicts: 551000 | #Constraints: 83818
1510.32/1514.90 c #Conflicts: 552000 | #Constraints: 84818
1510.32/1514.90 c #Conflicts: 553000 | #Constraints: 85818
1510.32/1514.90 c #Conflicts: 554000 | #Constraints: 86818
1510.32/1514.90 c #Conflicts: 555000 | #Constraints: 87818
1510.32/1514.90 c #Conflicts: 556000 | #Constraints: 88818
1510.32/1514.90 c #Conflicts: 557000 | #Constraints: 89818
1510.32/1514.90 c #Conflicts: 558000 | #Constraints: 90818
1510.32/1514.90 c #Conflicts: 559000 | #Constraints: 91818
1510.32/1514.90 c #Conflicts: 560000 | #Constraints: 92818
1510.32/1514.90 c #Conflicts: 561000 | #Constraints: 93818
1510.32/1514.90 c INPROCESSING
1510.32/1514.90 c GARBAGE COLLECT
1510.32/1514.90 c rational objective 29
1574.11/1579.01 c #Conflicts: 562000 | #Constraints: 80039
1574.11/1579.01 c #Conflicts: 563000 | #Constraints: 81039
1574.11/1579.01 c #Conflicts: 564000 | #Constraints: 82039
1574.11/1579.01 c #Conflicts: 565000 | #Constraints: 83039
1574.11/1579.01 c #Conflicts: 566000 | #Constraints: 84039
1574.11/1579.01 c #Conflicts: 567000 | #Constraints: 85039
1574.11/1579.01 c #Conflicts: 568000 | #Constraints: 86039
1574.11/1579.01 c #Conflicts: 569000 | #Constraints: 87039
1574.11/1579.01 c #Conflicts: 570000 | #Constraints: 88039
1574.11/1579.01 c #Conflicts: 571000 | #Constraints: 89039
1574.11/1579.01 c #Conflicts: 572000 | #Constraints: 90039
1574.11/1579.01 c #Conflicts: 573000 | #Constraints: 91039
1574.11/1579.01 c #Conflicts: 574000 | #Constraints: 92039
1574.11/1579.01 c #Conflicts: 575000 | #Constraints: 93039
1574.11/1579.01 c #Conflicts: 576000 | #Constraints: 94039
1574.11/1579.01 c INPROCESSING
1574.11/1579.01 c GARBAGE COLLECT
1574.11/1579.01 c rational objective 29
1722.75/1728.07 c #Conflicts: 577000 | #Constraints: 80030
1722.75/1728.07 c #Conflicts: 578000 | #Constraints: 81030
1722.75/1728.07 c #Conflicts: 579000 | #Constraints: 82030
1722.75/1728.07 c #Conflicts: 580000 | #Constraints: 83030
1722.75/1728.07 c #Conflicts: 581000 | #Constraints: 84030
1722.75/1728.07 c #Conflicts: 582000 | #Constraints: 85030
1722.75/1728.07 c #Conflicts: 583000 | #Constraints: 86030
1722.75/1728.07 c #Conflicts: 584000 | #Constraints: 87030
1722.75/1728.07 c #Conflicts: 585000 | #Constraints: 88030
1722.75/1728.07 c #Conflicts: 586000 | #Constraints: 89030
1722.75/1728.07 c #Conflicts: 587000 | #Constraints: 90030
1722.75/1728.07 c #Conflicts: 588000 | #Constraints: 91030
1722.75/1728.07 c #Conflicts: 589000 | #Constraints: 92030
1722.75/1728.07 c #Conflicts: 590000 | #Constraints: 93030
1722.75/1728.07 c #Conflicts: 591000 | #Constraints: 94030
1722.75/1728.07 c INPROCESSING
1722.75/1728.07 c GARBAGE COLLECT
1722.75/1728.07 c rational objective 29
1796.40/1801.95 c #Conflicts: 592000 | #Constraints: 79879
1796.40/1801.95 c #Conflicts: 593000 | #Constraints: 80879
1796.40/1801.95 c #Conflicts: 594000 | #Constraints: 81879
1796.40/1801.95 c #Conflicts: 595000 | #Constraints: 82879
1796.40/1801.95 c #Conflicts: 596000 | #Constraints: 83879
1796.40/1801.95 c #Conflicts: 597000 | #Constraints: 84879
1796.40/1801.95 c #Conflicts: 598000 | #Constraints: 85879
1796.40/1801.95 c #Conflicts: 599000 | #Constraints: 86879
1796.40/1801.95 c #Conflicts: 600000 | #Constraints: 87879
1796.40/1801.95 c #Conflicts: 601000 | #Constraints: 88879
1796.40/1801.95 c #Conflicts: 602000 | #Constraints: 89879
1796.40/1801.95 c #Conflicts: 603000 | #Constraints: 90879
1796.40/1801.95 c #Conflicts: 604000 | #Constraints: 91879
1796.40/1801.95 c #Conflicts: 605000 | #Constraints: 92879
1796.40/1801.95 c #Conflicts: 606000 | #Constraints: 93879
1796.40/1801.95 c #Conflicts: 607000 | #Constraints: 94879
1796.40/1801.95 c INPROCESSING
1796.40/1801.95 c GARBAGE COLLECT
1796.40/1801.95 c #Conflicts: 608000 | #Constraints: 80451
1796.40/1801.95 c #Conflicts: 609000 | #Constraints: 81451
1796.40/1801.95 c #Conflicts: 610000 | #Constraints: 82451
1796.40/1801.95 c #Conflicts: 611000 | #Constraints: 83451
1796.40/1801.95 c #Conflicts: 612000 | #Constraints: 84451
1796.40/1801.95 c #Conflicts: 613000 | #Constraints: 85451
1796.40/1801.95 c #Conflicts: 614000 | #Constraints: 86451
1796.40/1801.95 c #Conflicts: 615000 | #Constraints: 87451
1796.40/1801.95 c #Conflicts: 616000 | #Constraints: 88451
1796.40/1801.95 c #Conflicts: 617000 | #Constraints: 89451
1796.40/1801.95 c #Conflicts: 618000 | #Constraints: 90451
1796.40/1801.95 c #Conflicts: 619000 | #Constraints: 91451
1796.40/1801.95 c #Conflicts: 620000 | #Constraints: 92451
1796.40/1801.95 c #Conflicts: 621000 | #Constraints: 93451
1796.40/1801.95 c #Conflicts: 622000 | #Constraints: 94451
1796.40/1801.95 c #Conflicts: 623000 | #Constraints: 95452
1796.40/1801.95 c INPROCESSING
1796.40/1801.95 c GARBAGE COLLECT
1796.40/1801.95 c #Conflicts: 624000 | #Constraints: 80835
1796.40/1801.95 c #Conflicts: 625000 | #Constraints: 81835
1796.40/1801.95 c #Conflicts: 626000 | #Constraints: 82835
1796.40/1801.95 c #Conflicts: 627000 | #Constraints: 83835
1796.40/1801.95 c #Conflicts: 628000 | #Constraints: 84835
1796.40/1801.95 c #Conflicts: 629000 | #Constraints: 85835
1796.40/1801.95 c #Conflicts: 630000 | #Constraints: 86835
1796.40/1801.95 c #Conflicts: 631000 | #Constraints: 87835
1796.40/1801.95 c #Conflicts: 632000 | #Constraints: 88835
1796.40/1801.95 c #Conflicts: 633000 | #Constraints: 89835
1796.40/1801.95 c #Conflicts: 634000 | #Constraints: 90835
1796.40/1801.95 c #Conflicts: 635000 | #Constraints: 91835
1796.40/1801.95 c #Conflicts: 636000 | #Constraints: 92835
1796.40/1801.95 c #Conflicts: 637000 | #Constraints: 93835
1796.40/1801.95 c #Conflicts: 638000 | #Constraints: 94835
1796.40/1801.95 c #Conflicts: 639000 | #Constraints: 95835
1796.40/1801.95 c INPROCESSING
1796.40/1801.95 c GARBAGE COLLECT
1796.40/1801.95 c #Conflicts: 640000 | #Constraints: 81026
1796.40/1801.95 c #Conflicts: 641000 | #Constraints: 82026
1796.40/1801.95 c #Conflicts: 642000 | #Constraints: 83026
1796.40/1801.95 c #Conflicts: 643000 | #Constraints: 84026
1796.40/1801.95 c #Conflicts: 644000 | #Constraints: 85026
1796.40/1801.95 c #Conflicts: 645000 | #Constraints: 86026
1796.40/1801.95 c #Conflicts: 646000 | #Constraints: 87026
1796.40/1801.95 c #Conflicts: 647000 | #Constraints: 88026
1796.40/1801.95 c #Conflicts: 648000 | #Constraints: 89026
1796.40/1801.95 c #Conflicts: 649000 | #Constraints: 90026
1796.40/1801.95 c #Conflicts: 650000 | #Constraints: 91026
1796.40/1801.95 c #Conflicts: 651000 | #Constraints: 92026
1796.40/1801.95 c #Conflicts: 652000 | #Constraints: 93026
1796.40/1801.95 c #Conflicts: 653000 | #Constraints: 94026
1796.40/1801.95 c bounds 79 >= 31 @ 1786.76
1930.73/1936.65 c #Conflicts: 654000 | #Constraints: 95044
1930.73/1936.65 c #Conflicts: 655000 | #Constraints: 96044
1930.73/1936.65 c INPROCESSING
1930.73/1936.65 c GARBAGE COLLECT
1930.73/1936.65 c rational objective 31
2060.99/2067.24 c #Conflicts: 656000 | #Constraints: 81076
2060.99/2067.24 c #Conflicts: 657000 | #Constraints: 82076
2060.99/2067.24 c #Conflicts: 658000 | #Constraints: 83076
2060.99/2067.24 c #Conflicts: 659000 | #Constraints: 84076
2060.99/2067.24 c #Conflicts: 660000 | #Constraints: 85076
2060.99/2067.24 c #Conflicts: 661000 | #Constraints: 86076
2060.99/2067.24 c #Conflicts: 662000 | #Constraints: 87076
2060.99/2067.24 c #Conflicts: 663000 | #Constraints: 88076
2060.99/2067.24 c #Conflicts: 664000 | #Constraints: 89076
2060.99/2067.24 c #Conflicts: 665000 | #Constraints: 90076
2060.99/2067.24 c #Conflicts: 666000 | #Constraints: 91076
2060.99/2067.24 c #Conflicts: 667000 | #Constraints: 92076
2060.99/2067.24 c #Conflicts: 668000 | #Constraints: 93076
2060.99/2067.24 c #Conflicts: 669000 | #Constraints: 94076
2060.99/2067.24 c #Conflicts: 670000 | #Constraints: 95076
2060.99/2067.24 c #Conflicts: 671000 | #Constraints: 96076
2060.99/2067.24 c INPROCESSING
2060.99/2067.24 c GARBAGE COLLECT
2060.99/2067.24 c rational objective 31
2314.68/2321.67 c #Conflicts: 672000 | #Constraints: 80901
2314.68/2321.67 c #Conflicts: 673000 | #Constraints: 81901
2314.68/2321.67 c #Conflicts: 674000 | #Constraints: 82901
2314.68/2321.67 c #Conflicts: 675000 | #Constraints: 83901
2314.68/2321.67 c #Conflicts: 676000 | #Constraints: 84901
2314.68/2321.67 c #Conflicts: 677000 | #Constraints: 85901
2314.68/2321.67 c #Conflicts: 678000 | #Constraints: 86901
2314.68/2321.67 c #Conflicts: 679000 | #Constraints: 87901
2314.68/2321.67 c #Conflicts: 680000 | #Constraints: 88901
2314.68/2321.67 c #Conflicts: 681000 | #Constraints: 89901
2314.68/2321.67 c #Conflicts: 682000 | #Constraints: 90901
2314.68/2321.67 c #Conflicts: 683000 | #Constraints: 91901
2314.68/2321.67 c #Conflicts: 684000 | #Constraints: 92901
2314.68/2321.67 c #Conflicts: 685000 | #Constraints: 93901
2314.68/2321.67 c #Conflicts: 686000 | #Constraints: 94901
2314.68/2321.67 c #Conflicts: 687000 | #Constraints: 95901
2314.68/2321.67 c #Conflicts: 688000 | #Constraints: 96901
2314.68/2321.67 c INPROCESSING
2314.68/2321.67 c GARBAGE COLLECT
2314.68/2321.67 c #Conflicts: 689000 | #Constraints: 81464
2314.68/2321.67 c #Conflicts: 690000 | #Constraints: 82464
2314.68/2321.67 c #Conflicts: 691000 | #Constraints: 83464
2314.68/2321.67 c #Conflicts: 692000 | #Constraints: 84464
2314.68/2321.67 c #Conflicts: 693000 | #Constraints: 85464
2314.68/2321.67 c #Conflicts: 694000 | #Constraints: 86464
2314.68/2321.67 c #Conflicts: 695000 | #Constraints: 87464
2314.68/2321.67 c #Conflicts: 696000 | #Constraints: 88464
2314.68/2321.67 c #Conflicts: 697000 | #Constraints: 89464
2314.68/2321.67 c #Conflicts: 698000 | #Constraints: 90464
2314.68/2321.67 c #Conflicts: 699000 | #Constraints: 91464
2314.68/2321.67 c #Conflicts: 700000 | #Constraints: 92464
2314.68/2321.67 c #Conflicts: 701000 | #Constraints: 93464
2314.68/2321.67 c #Conflicts: 702000 | #Constraints: 94464
2314.68/2321.67 c #Conflicts: 703000 | #Constraints: 95464
2314.68/2321.67 c #Conflicts: 704000 | #Constraints: 96464
2314.68/2321.67 c #Conflicts: 705000 | #Constraints: 97464
2314.68/2321.67 c INPROCESSING
2314.68/2321.67 c GARBAGE COLLECT
2314.68/2321.67 c #Conflicts: 706000 | #Constraints: 81851
2314.68/2321.67 c #Conflicts: 707000 | #Constraints: 82851
2314.68/2321.67 c #Conflicts: 708000 | #Constraints: 83851
2314.68/2321.67 c #Conflicts: 709000 | #Constraints: 84851
2314.68/2321.67 c #Conflicts: 710000 | #Constraints: 85851
2314.68/2321.67 c #Conflicts: 711000 | #Constraints: 86851
2314.68/2321.67 c #Conflicts: 712000 | #Constraints: 87851
2314.68/2321.67 c #Conflicts: 713000 | #Constraints: 88851
2314.68/2321.67 c #Conflicts: 714000 | #Constraints: 89851
2314.68/2321.67 c #Conflicts: 715000 | #Constraints: 90851
2314.68/2321.67 c #Conflicts: 716000 | #Constraints: 91851
2314.68/2321.67 c #Conflicts: 717000 | #Constraints: 92851
2314.68/2321.67 c #Conflicts: 718000 | #Constraints: 93851
2314.68/2321.67 c #Conflicts: 719000 | #Constraints: 94851
2314.68/2321.67 c #Conflicts: 720000 | #Constraints: 95851
2314.68/2321.67 c #Conflicts: 721000 | #Constraints: 96851
2314.68/2321.67 c #Conflicts: 722000 | #Constraints: 97851
2314.68/2321.67 c INPROCESSING
2314.68/2321.67 c GARBAGE COLLECT
2314.68/2321.67 c #Conflicts: 723000 | #Constraints: 82037
2314.68/2321.67 c #Conflicts: 724000 | #Constraints: 83037
2314.68/2321.67 c #Conflicts: 725000 | #Constraints: 84037
2314.68/2321.67 c #Conflicts: 726000 | #Constraints: 85037
2314.68/2321.67 c #Conflicts: 727000 | #Constraints: 86037
2314.68/2321.67 c #Conflicts: 728000 | #Constraints: 87037
2314.68/2321.67 c #Conflicts: 729000 | #Constraints: 88037
2314.68/2321.67 c #Conflicts: 730000 | #Constraints: 89037
2314.68/2321.67 c #Conflicts: 731000 | #Constraints: 90037
2314.68/2321.67 c #Conflicts: 732000 | #Constraints: 91037
2314.68/2321.67 c #Conflicts: 733000 | #Constraints: 92037
2314.68/2321.67 c #Conflicts: 734000 | #Constraints: 93037
2314.68/2321.67 c #Conflicts: 735000 | #Constraints: 94037
2314.68/2321.67 c #Conflicts: 736000 | #Constraints: 95037
2314.68/2321.67 c #Conflicts: 737000 | #Constraints: 96037
2314.68/2321.67 c #Conflicts: 738000 | #Constraints: 97037
2314.68/2321.67 c #Conflicts: 739000 | #Constraints: 98037
2314.68/2321.67 c INPROCESSING
2314.68/2321.67 c GARBAGE COLLECT
2314.68/2321.67 c #Conflicts: 740000 | #Constraints: 82029
2314.68/2321.67 c #Conflicts: 741000 | #Constraints: 83029
2314.68/2321.67 c #Conflicts: 742000 | #Constraints: 84029
2314.68/2321.67 c #Conflicts: 743000 | #Constraints: 85029
2314.68/2321.67 c #Conflicts: 744000 | #Constraints: 86029
2314.68/2321.67 c #Conflicts: 745000 | #Constraints: 87029
2314.68/2321.67 c #Conflicts: 746000 | #Constraints: 88029
2314.68/2321.67 c #Conflicts: 747000 | #Constraints: 89029
2314.68/2321.67 c #Conflicts: 748000 | #Constraints: 90029
2600.12/2607.93 c #Conflicts: 749000 | #Constraints: 91029
2600.12/2607.93 c #Conflicts: 750000 | #Constraints: 92029
2600.12/2607.93 c #Conflicts: 751000 | #Constraints: 93029
2600.12/2607.93 c #Conflicts: 752000 | #Constraints: 94029
2600.12/2607.93 c #Conflicts: 753000 | #Constraints: 95029
2600.12/2607.93 c #Conflicts: 754000 | #Constraints: 96029
2600.12/2607.93 c #Conflicts: 755000 | #Constraints: 97029
2600.12/2607.93 c #Conflicts: 756000 | #Constraints: 98029
2600.12/2607.93 c INPROCESSING
2600.12/2607.93 c GARBAGE COLLECT
2600.12/2607.93 c #Conflicts: 757000 | #Constraints: 81827
2600.12/2607.93 c #Conflicts: 758000 | #Constraints: 82827
2600.12/2607.93 c #Conflicts: 759000 | #Constraints: 83827
2600.12/2607.93 c #Conflicts: 760000 | #Constraints: 84827
2600.12/2607.93 c #Conflicts: 761000 | #Constraints: 85827
2600.12/2607.93 c #Conflicts: 762000 | #Constraints: 86827
2600.12/2607.93 c #Conflicts: 763000 | #Constraints: 87827
2600.12/2607.93 c #Conflicts: 764000 | #Constraints: 88827
2600.12/2607.93 c #Conflicts: 765000 | #Constraints: 89827
2600.12/2607.93 c #Conflicts: 766000 | #Constraints: 90827
2600.12/2607.93 c #Conflicts: 767000 | #Constraints: 91827
2600.12/2607.94 c #Conflicts: 768000 | #Constraints: 92827
2600.12/2607.94 c #Conflicts: 769000 | #Constraints: 93827
2600.12/2607.94 c #Conflicts: 770000 | #Constraints: 94827
2600.12/2607.94 c #Conflicts: 771000 | #Constraints: 95827
2600.12/2607.94 c #Conflicts: 772000 | #Constraints: 96827
2600.12/2607.94 c #Conflicts: 773000 | #Constraints: 97827
2600.12/2607.94 c #Conflicts: 774000 | #Constraints: 98827
2600.12/2607.94 c INPROCESSING
2600.12/2607.94 c GARBAGE COLLECT
2600.12/2607.94 c #Conflicts: 775000 | #Constraints: 82427
2600.12/2607.94 c #Conflicts: 776000 | #Constraints: 83427
2600.12/2607.94 c #Conflicts: 777000 | #Constraints: 84427
2600.12/2607.94 c #Conflicts: 778000 | #Constraints: 85427
2600.12/2607.94 c #Conflicts: 779000 | #Constraints: 86427
2600.12/2607.94 c #Conflicts: 780000 | #Constraints: 87427
2600.12/2607.94 c #Conflicts: 781000 | #Constraints: 88427
2600.12/2607.94 c #Conflicts: 782000 | #Constraints: 89427
2600.12/2607.94 c #Conflicts: 783000 | #Constraints: 90427
2600.12/2607.94 c #Conflicts: 784000 | #Constraints: 91427
2600.12/2607.94 c #Conflicts: 785000 | #Constraints: 92427
2600.12/2607.94 c #Conflicts: 786000 | #Constraints: 93427
2600.12/2607.94 c #Conflicts: 787000 | #Constraints: 94427
2600.12/2607.94 c #Conflicts: 788000 | #Constraints: 95427
2600.12/2607.94 c #Conflicts: 789000 | #Constraints: 96427
2600.12/2607.94 c #Conflicts: 790000 | #Constraints: 97427
2600.12/2607.94 c #Conflicts: 791000 | #Constraints: 98427
2600.12/2607.94 c #Conflicts: 792000 | #Constraints: 99427
2600.12/2607.94 c INPROCESSING
2600.12/2607.94 c GARBAGE COLLECT
2600.12/2607.94 c #Conflicts: 793000 | #Constraints: 82824
2600.12/2607.94 c #Conflicts: 794000 | #Constraints: 83824
2600.12/2607.94 c #Conflicts: 795000 | #Constraints: 84824
2600.12/2607.94 c #Conflicts: 796000 | #Constraints: 85824
2600.12/2607.94 c #Conflicts: 797000 | #Constraints: 86824
2600.12/2607.94 c #Conflicts: 798000 | #Constraints: 87824
2600.12/2607.94 c #Conflicts: 799000 | #Constraints: 88824
2600.12/2607.94 c #Conflicts: 800000 | #Constraints: 89824
2600.12/2607.94 c #Conflicts: 801000 | #Constraints: 90824
2600.12/2607.94 c #Conflicts: 802000 | #Constraints: 91824
2600.12/2607.94 c #Conflicts: 803000 | #Constraints: 92824
2600.12/2607.94 c #Conflicts: 804000 | #Constraints: 93824
2600.12/2607.94 c #Conflicts: 805000 | #Constraints: 94824
2600.12/2607.94 c #Conflicts: 806000 | #Constraints: 95824
2600.12/2607.94 c #Conflicts: 807000 | #Constraints: 96824
2600.12/2607.94 c #Conflicts: 808000 | #Constraints: 97824
2600.12/2607.94 c #Conflicts: 809000 | #Constraints: 98824
2600.12/2607.94 c #Conflicts: 810000 | #Constraints: 99824
2600.12/2607.94 c INPROCESSING
2600.12/2607.94 c GARBAGE COLLECT
2600.12/2607.94 c #Conflicts: 811000 | #Constraints: 83028
2600.12/2607.94 c #Conflicts: 812000 | #Constraints: 84028
2600.12/2607.94 c #Conflicts: 813000 | #Constraints: 85028
2600.12/2607.94 c #Conflicts: 814000 | #Constraints: 86028
2600.12/2607.94 c #Conflicts: 815000 | #Constraints: 87028
2600.12/2607.94 c #Conflicts: 816000 | #Constraints: 88028
2600.12/2607.94 c #Conflicts: 817000 | #Constraints: 89028
2600.12/2607.94 c #Conflicts: 818000 | #Constraints: 90028
2600.12/2607.94 c #Conflicts: 819000 | #Constraints: 91028
2600.12/2607.94 c #Conflicts: 820000 | #Constraints: 92028
2600.12/2607.94 c #Conflicts: 821000 | #Constraints: 93028
2600.12/2607.94 c #Conflicts: 822000 | #Constraints: 94028
2600.12/2607.94 c #Conflicts: 823000 | #Constraints: 95028
2600.12/2607.94 c #Conflicts: 824000 | #Constraints: 96028
2626.05/2633.91 c #Conflicts: 825000 | #Constraints: 97028
2626.05/2633.91 c #Conflicts: 826000 | #Constraints: 98028
2626.05/2633.91 c #Conflicts: 827000 | #Constraints: 99028
2626.05/2633.91 c #Conflicts: 828000 | #Constraints: 100028
2626.05/2633.91 c INPROCESSING
2626.05/2633.91 c GARBAGE COLLECT
2626.05/2633.91 c #Conflicts: 829000 | #Constraints: 83032
2626.05/2633.91 c #Conflicts: 830000 | #Constraints: 84032
2626.05/2633.91 c #Conflicts: 831000 | #Constraints: 85032
2626.05/2633.91 c #Conflicts: 832000 | #Constraints: 86032
2626.05/2633.91 c #Conflicts: 833000 | #Constraints: 87032
2626.05/2633.91 c #Conflicts: 834000 | #Constraints: 88032
2626.05/2633.91 c #Conflicts: 835000 | #Constraints: 89032
2626.05/2633.91 c #Conflicts: 836000 | #Constraints: 90032
2626.05/2633.91 c #Conflicts: 837000 | #Constraints: 91032
2626.05/2633.91 c #Conflicts: 838000 | #Constraints: 92032
2626.05/2633.91 c #Conflicts: 839000 | #Constraints: 93032
2626.05/2633.91 c #Conflicts: 840000 | #Constraints: 94032
2626.05/2633.91 c #Conflicts: 841000 | #Constraints: 95032
2626.05/2633.91 c #Conflicts: 842000 | #Constraints: 96032
2626.05/2633.91 c #Conflicts: 843000 | #Constraints: 97032
2626.05/2633.91 c #Conflicts: 844000 | #Constraints: 98032
2626.05/2633.91 c #Conflicts: 845000 | #Constraints: 99032
2626.05/2633.91 c #Conflicts: 846000 | #Constraints: 100032
2626.05/2633.91 c INPROCESSING
2626.05/2633.91 c GARBAGE COLLECT
2626.05/2633.91 c #Conflicts: 847000 | #Constraints: 82832
2626.05/2633.91 c #Conflicts: 848000 | #Constraints: 83832
2626.05/2633.91 c #Conflicts: 849000 | #Constraints: 84832
2626.05/2633.91 c #Conflicts: 850000 | #Constraints: 85832
2626.05/2633.91 c #Conflicts: 851000 | #Constraints: 86832
2626.05/2633.91 c #Conflicts: 852000 | #Constraints: 87832
2626.05/2633.91 c #Conflicts: 853000 | #Constraints: 88832
2626.05/2633.91 c #Conflicts: 854000 | #Constraints: 89832
2626.05/2633.91 c #Conflicts: 855000 | #Constraints: 90832
2626.05/2633.91 c #Conflicts: 856000 | #Constraints: 91832
2626.05/2633.91 c #Conflicts: 857000 | #Constraints: 92832
2626.05/2633.91 c #Conflicts: 858000 | #Constraints: 93832
2626.05/2633.91 c #Conflicts: 859000 | #Constraints: 94832
2626.05/2633.91 c #Conflicts: 860000 | #Constraints: 95832
2626.05/2633.91 c #Conflicts: 861000 | #Constraints: 96832
2626.05/2633.91 c #Conflicts: 862000 | #Constraints: 97832
2626.05/2633.91 c #Conflicts: 863000 | #Constraints: 98832
2626.05/2633.91 c #Conflicts: 864000 | #Constraints: 99832
2626.05/2633.91 c #Conflicts: 865000 | #Constraints: 100832
2626.05/2633.91 c INPROCESSING
2626.05/2633.91 c GARBAGE COLLECT
2626.05/2633.91 c #Conflicts: 866000 | #Constraints: 83431
2626.05/2633.91 c #Conflicts: 867000 | #Constraints: 84431
2626.05/2633.91 c #Conflicts: 868000 | #Constraints: 85431
2626.05/2633.91 c #Conflicts: 869000 | #Constraints: 86431
2626.05/2633.91 c #Conflicts: 870000 | #Constraints: 87431
2626.05/2633.91 c #Conflicts: 871000 | #Constraints: 88431
2626.05/2633.91 c #Conflicts: 872000 | #Constraints: 89431
2626.05/2633.91 c #Conflicts: 873000 | #Constraints: 90431
2626.05/2633.91 c #Conflicts: 874000 | #Constraints: 91431
2626.05/2633.91 c #Conflicts: 875000 | #Constraints: 92431
2626.05/2633.91 c #Conflicts: 876000 | #Constraints: 93431
2626.05/2633.91 c #Conflicts: 877000 | #Constraints: 94431
2626.05/2633.91 c #Conflicts: 878000 | #Constraints: 95431
2626.05/2633.91 c #Conflicts: 879000 | #Constraints: 96431
2626.05/2633.91 c #Conflicts: 880000 | #Constraints: 97431
2626.05/2633.91 c #Conflicts: 881000 | #Constraints: 98431
2626.05/2633.91 c #Conflicts: 882000 | #Constraints: 99431
2626.05/2633.91 c #Conflicts: 883000 | #Constraints: 100431
2626.05/2633.91 c #Conflicts: 884000 | #Constraints: 101431
2626.05/2633.91 c INPROCESSING
2626.05/2633.91 c GARBAGE COLLECT
2626.05/2633.91 c rational objective 31
2804.47/2812.83 c #Conflicts: 885000 | #Constraints: 83838
2804.47/2812.83 c #Conflicts: 886000 | #Constraints: 84838
2804.47/2812.83 c #Conflicts: 887000 | #Constraints: 85838
2804.47/2812.83 c #Conflicts: 888000 | #Constraints: 86838
2804.47/2812.83 c #Conflicts: 889000 | #Constraints: 87838
2804.47/2812.83 c #Conflicts: 890000 | #Constraints: 88838
2804.47/2812.83 c #Conflicts: 891000 | #Constraints: 89838
2804.47/2812.83 c #Conflicts: 892000 | #Constraints: 90838
2804.47/2812.83 c #Conflicts: 893000 | #Constraints: 91838
2804.47/2812.83 c #Conflicts: 894000 | #Constraints: 92838
2804.47/2812.83 c #Conflicts: 895000 | #Constraints: 93838
2804.47/2812.83 c #Conflicts: 896000 | #Constraints: 94838
2804.47/2812.83 c #Conflicts: 897000 | #Constraints: 95838
2804.47/2812.83 c #Conflicts: 898000 | #Constraints: 96838
2804.47/2812.83 c #Conflicts: 899000 | #Constraints: 97838
2804.47/2812.83 c #Conflicts: 900000 | #Constraints: 98838
2804.47/2812.83 c #Conflicts: 901000 | #Constraints: 99838
2804.47/2812.83 c #Conflicts: 902000 | #Constraints: 100838
2804.47/2812.83 c #Conflicts: 903000 | #Constraints: 101838
2804.47/2812.83 c INPROCESSING
2804.47/2812.83 c GARBAGE COLLECT
2804.47/2812.83 c rational objective 31
2901.98/2910.70 c #Conflicts: 904000 | #Constraints: 84048
2901.98/2910.70 c #Conflicts: 905000 | #Constraints: 85048
2901.98/2910.70 c #Conflicts: 906000 | #Constraints: 86048
2901.98/2910.70 c #Conflicts: 907000 | #Constraints: 87048
2901.98/2910.70 c #Conflicts: 908000 | #Constraints: 88048
2901.98/2910.70 c #Conflicts: 909000 | #Constraints: 89048
2901.98/2910.70 c #Conflicts: 910000 | #Constraints: 90048
2901.98/2910.70 c #Conflicts: 911000 | #Constraints: 91048
2901.98/2910.70 c #Conflicts: 912000 | #Constraints: 92048
2901.98/2910.70 c #Conflicts: 913000 | #Constraints: 93048
2901.98/2910.70 c #Conflicts: 914000 | #Constraints: 94048
2901.98/2910.70 c #Conflicts: 915000 | #Constraints: 95048
2901.98/2910.70 c #Conflicts: 916000 | #Constraints: 96048
2901.98/2910.70 c #Conflicts: 917000 | #Constraints: 97048
2901.98/2910.70 c #Conflicts: 918000 | #Constraints: 98048
2901.98/2910.70 c #Conflicts: 919000 | #Constraints: 99048
2901.98/2910.70 c #Conflicts: 920000 | #Constraints: 100048
2901.98/2910.70 c #Conflicts: 921000 | #Constraints: 101048
2901.98/2910.70 c #Conflicts: 922000 | #Constraints: 102048
2901.98/2910.70 c INPROCESSING
2901.98/2910.70 c GARBAGE COLLECT
2901.98/2910.70 c #Conflicts: 923000 | #Constraints: 84042
2901.98/2910.70 c #Conflicts: 924000 | #Constraints: 85042
2901.98/2910.70 c #Conflicts: 925000 | #Constraints: 86042
2901.98/2910.70 c #Conflicts: 926000 | #Constraints: 87042
2901.98/2910.70 c #Conflicts: 927000 | #Constraints: 88042
2901.98/2910.70 c #Conflicts: 928000 | #Constraints: 89042
2901.98/2910.70 c #Conflicts: 929000 | #Constraints: 90042
2901.98/2910.70 c #Conflicts: 930000 | #Constraints: 91042
2901.98/2910.70 c #Conflicts: 931000 | #Constraints: 92042
2901.98/2910.70 c #Conflicts: 932000 | #Constraints: 93042
2901.98/2910.70 c #Conflicts: 933000 | #Constraints: 94042
2901.98/2910.70 c #Conflicts: 934000 | #Constraints: 95042
2901.98/2910.70 c #Conflicts: 935000 | #Constraints: 96042
2901.98/2910.70 c #Conflicts: 936000 | #Constraints: 97042
2901.98/2910.70 c #Conflicts: 937000 | #Constraints: 98042
2901.98/2910.70 c #Conflicts: 938000 | #Constraints: 99042
2901.98/2910.70 c #Conflicts: 939000 | #Constraints: 100042
2901.98/2910.70 c #Conflicts: 940000 | #Constraints: 101042
2901.98/2910.70 c #Conflicts: 941000 | #Constraints: 102042
2901.98/2910.70 c INPROCESSING
2901.98/2910.70 c GARBAGE COLLECT
2901.98/2910.70 c #Conflicts: 942000 | #Constraints: 83838
2901.98/2910.70 c #Conflicts: 943000 | #Constraints: 84838
2901.98/2910.70 c #Conflicts: 944000 | #Constraints: 85838
2901.98/2910.70 c #Conflicts: 945000 | #Constraints: 86838
2901.98/2910.70 c #Conflicts: 946000 | #Constraints: 87838
2901.98/2910.70 c #Conflicts: 947000 | #Constraints: 88838
2901.98/2910.70 c #Conflicts: 948000 | #Constraints: 89838
2901.98/2910.70 c #Conflicts: 949000 | #Constraints: 90838
2901.98/2910.70 c #Conflicts: 950000 | #Constraints: 91838
2901.98/2910.70 c #Conflicts: 951000 | #Constraints: 92838
2901.98/2910.70 c #Conflicts: 952000 | #Constraints: 93838
2901.98/2910.70 c #Conflicts: 953000 | #Constraints: 94838
2901.98/2910.70 c #Conflicts: 954000 | #Constraints: 95838
2901.98/2910.70 c #Conflicts: 955000 | #Constraints: 96838
2901.98/2910.70 c #Conflicts: 956000 | #Constraints: 97838
2901.98/2910.70 c #Conflicts: 957000 | #Constraints: 98838
2901.98/2910.70 c #Conflicts: 958000 | #Constraints: 99838
2901.98/2910.70 c #Conflicts: 959000 | #Constraints: 100838
2901.98/2910.70 c #Conflicts: 960000 | #Constraints: 101838
2901.98/2910.70 c #Conflicts: 961000 | #Constraints: 102838
2901.98/2910.70 c INPROCESSING
2901.98/2910.70 c GARBAGE COLLECT
2901.98/2910.70 c rational objective 31
2976.29/2985.15 c #Conflicts: 962000 | #Constraints: 84489
2976.29/2985.15 c #Conflicts: 963000 | #Constraints: 85489
2976.29/2985.15 c #Conflicts: 964000 | #Constraints: 86489
2976.29/2985.15 c #Conflicts: 965000 | #Constraints: 87489
2976.29/2985.15 c #Conflicts: 966000 | #Constraints: 88489
2976.29/2985.15 c #Conflicts: 967000 | #Constraints: 89489
2976.29/2985.15 c #Conflicts: 968000 | #Constraints: 90489
2976.29/2985.15 c #Conflicts: 969000 | #Constraints: 91489
2976.29/2985.15 c #Conflicts: 970000 | #Constraints: 92489
2976.29/2985.15 c #Conflicts: 971000 | #Constraints: 93489
2976.29/2985.15 c #Conflicts: 972000 | #Constraints: 94489
2976.29/2985.15 c #Conflicts: 973000 | #Constraints: 95489
2976.29/2985.15 c #Conflicts: 974000 | #Constraints: 96489
2976.29/2985.15 c #Conflicts: 975000 | #Constraints: 97489
2976.29/2985.15 c #Conflicts: 976000 | #Constraints: 98489
2976.29/2985.15 c #Conflicts: 977000 | #Constraints: 99489
2976.29/2985.15 c #Conflicts: 978000 | #Constraints: 100489
2976.29/2985.15 c #Conflicts: 979000 | #Constraints: 101489
2976.29/2985.15 c #Conflicts: 980000 | #Constraints: 102489
2976.29/2985.15 c #Conflicts: 981000 | #Constraints: 103489
2976.29/2985.15 c INPROCESSING
2976.29/2985.15 c GARBAGE COLLECT
2976.29/2985.15 c rational objective 31
3106.09/3115.30 c #Conflicts: 982000 | #Constraints: 84903
3106.09/3115.30 c #Conflicts: 983000 | #Constraints: 85903
3106.09/3115.30 c #Conflicts: 984000 | #Constraints: 86903
3106.09/3115.30 c #Conflicts: 985000 | #Constraints: 87903
3106.09/3115.30 c #Conflicts: 986000 | #Constraints: 88903
3106.09/3115.30 c #Conflicts: 987000 | #Constraints: 89903
3106.09/3115.30 c #Conflicts: 988000 | #Constraints: 90903
3106.09/3115.30 c #Conflicts: 989000 | #Constraints: 91903
3106.09/3115.30 c #Conflicts: 990000 | #Constraints: 92903
3106.09/3115.30 c #Conflicts: 991000 | #Constraints: 93903
3106.09/3115.30 c #Conflicts: 992000 | #Constraints: 94903
3106.09/3115.30 c #Conflicts: 993000 | #Constraints: 95903
3106.09/3115.30 c #Conflicts: 994000 | #Constraints: 96903
3106.09/3115.30 c #Conflicts: 995000 | #Constraints: 97903
3106.09/3115.30 c #Conflicts: 996000 | #Constraints: 98903
3106.09/3115.30 c #Conflicts: 997000 | #Constraints: 99903
3106.09/3115.30 c #Conflicts: 998000 | #Constraints: 100903
3106.09/3115.30 c #Conflicts: 999000 | #Constraints: 101903
3106.09/3115.30 c #Conflicts: 1000000 | #Constraints: 102903
3106.09/3115.30 c #Conflicts: 1001000 | #Constraints: 103903
3106.09/3115.30 c INPROCESSING
3106.09/3115.30 c GARBAGE COLLECT
3106.09/3115.30 c rational objective 31
3237.77/3247.45 c #Conflicts: 1002000 | #Constraints: 85083
3237.77/3247.45 c #Conflicts: 1003000 | #Constraints: 86083
3237.77/3247.45 c #Conflicts: 1004000 | #Constraints: 87083
3237.77/3247.45 c #Conflicts: 1005000 | #Constraints: 88083
3237.77/3247.45 c #Conflicts: 1006000 | #Constraints: 89083
3237.77/3247.45 c #Conflicts: 1007000 | #Constraints: 90083
3237.77/3247.45 c #Conflicts: 1008000 | #Constraints: 91083
3237.77/3247.45 c #Conflicts: 1009000 | #Constraints: 92083
3237.77/3247.45 c #Conflicts: 1010000 | #Constraints: 93083
3237.77/3247.45 c #Conflicts: 1011000 | #Constraints: 94083
3237.77/3247.45 c #Conflicts: 1012000 | #Constraints: 95083
3237.77/3247.45 c #Conflicts: 1013000 | #Constraints: 96083
3237.77/3247.45 c #Conflicts: 1014000 | #Constraints: 97083
3237.77/3247.45 c #Conflicts: 1015000 | #Constraints: 98083
3237.77/3247.45 c #Conflicts: 1016000 | #Constraints: 99083
3237.77/3247.45 c #Conflicts: 1017000 | #Constraints: 100083
3237.77/3247.45 c #Conflicts: 1018000 | #Constraints: 101083
3237.77/3247.45 c #Conflicts: 1019000 | #Constraints: 102083
3237.77/3247.45 c #Conflicts: 1020000 | #Constraints: 103083
3237.77/3247.45 c #Conflicts: 1021000 | #Constraints: 104083
3237.77/3247.45 c INPROCESSING
3237.77/3247.45 c GARBAGE COLLECT
3237.77/3247.45 c rational objective 31
3341.63/3351.67 c #Conflicts: 1022000 | #Constraints: 85113
3341.63/3351.67 c #Conflicts: 1023000 | #Constraints: 86113
3341.63/3351.67 c #Conflicts: 1024000 | #Constraints: 87113
3341.63/3351.67 c #Conflicts: 1025000 | #Constraints: 88113
3341.63/3351.67 c #Conflicts: 1026000 | #Constraints: 89113
3341.63/3351.67 c #Conflicts: 1027000 | #Constraints: 90113
3341.63/3351.67 c #Conflicts: 1028000 | #Constraints: 91113
3341.63/3351.67 c #Conflicts: 1029000 | #Constraints: 92113
3341.63/3351.67 c #Conflicts: 1030000 | #Constraints: 93113
3341.63/3351.67 c #Conflicts: 1031000 | #Constraints: 94113
3341.63/3351.67 c #Conflicts: 1032000 | #Constraints: 95113
3341.63/3351.67 c #Conflicts: 1033000 | #Constraints: 96113
3341.63/3351.67 c #Conflicts: 1034000 | #Constraints: 97113
3341.63/3351.67 c #Conflicts: 1035000 | #Constraints: 98113
3341.63/3351.67 c #Conflicts: 1036000 | #Constraints: 99113
3341.63/3351.67 c #Conflicts: 1037000 | #Constraints: 100113
3341.63/3351.67 c #Conflicts: 1038000 | #Constraints: 101113
3341.63/3351.67 c #Conflicts: 1039000 | #Constraints: 102113
3341.63/3351.67 c #Conflicts: 1040000 | #Constraints: 103113
3341.63/3351.67 c #Conflicts: 1041000 | #Constraints: 104113
3341.63/3351.67 c INPROCESSING
3341.63/3351.67 c GARBAGE COLLECT
3341.63/3351.67 c #Conflicts: 1042000 | #Constraints: 84870
3341.63/3351.67 c #Conflicts: 1043000 | #Constraints: 85870
3341.63/3351.67 c #Conflicts: 1044000 | #Constraints: 86870
3341.63/3351.67 c #Conflicts: 1045000 | #Constraints: 87870
3341.63/3351.67 c #Conflicts: 1046000 | #Constraints: 88870
3341.63/3351.67 c #Conflicts: 1047000 | #Constraints: 89870
3341.63/3351.67 c #Conflicts: 1048000 | #Constraints: 90870
3341.63/3351.67 c #Conflicts: 1049000 | #Constraints: 91870
3341.63/3351.67 c #Conflicts: 1050000 | #Constraints: 92870
3341.63/3351.67 c #Conflicts: 1051000 | #Constraints: 93870
3341.63/3351.67 c #Conflicts: 1052000 | #Constraints: 94870
3341.63/3351.67 c #Conflicts: 1053000 | #Constraints: 95870
3341.63/3351.67 c #Conflicts: 1054000 | #Constraints: 96870
3341.63/3351.67 c #Conflicts: 1055000 | #Constraints: 97870
3341.63/3351.67 c #Conflicts: 1056000 | #Constraints: 98870
3341.63/3351.67 c #Conflicts: 1057000 | #Constraints: 99870
3341.63/3351.67 c #Conflicts: 1058000 | #Constraints: 100870
3341.63/3351.67 c #Conflicts: 1059000 | #Constraints: 101870
3341.63/3351.67 c #Conflicts: 1060000 | #Constraints: 102870
3341.63/3351.67 c #Conflicts: 1061000 | #Constraints: 103870
3341.63/3351.67 c #Conflicts: 1062000 | #Constraints: 104870
3341.63/3351.67 c INPROCESSING
3341.63/3351.67 c GARBAGE COLLECT
3341.63/3351.67 c #Conflicts: 1063000 | #Constraints: 85453
3341.63/3351.67 c #Conflicts: 1064000 | #Constraints: 86453
3341.63/3351.67 c #Conflicts: 1065000 | #Constraints: 87453
3341.63/3351.67 c #Conflicts: 1066000 | #Constraints: 88453
3341.63/3351.67 c #Conflicts: 1067000 | #Constraints: 89453
3341.63/3351.67 c #Conflicts: 1068000 | #Constraints: 90453
3341.63/3351.67 c #Conflicts: 1069000 | #Constraints: 91453
3341.63/3351.67 c #Conflicts: 1070000 | #Constraints: 92453
3341.63/3351.67 c #Conflicts: 1071000 | #Constraints: 93453
3341.63/3351.67 c #Conflicts: 1072000 | #Constraints: 94453
3341.63/3351.67 c #Conflicts: 1073000 | #Constraints: 95453
3341.63/3351.67 c #Conflicts: 1074000 | #Constraints: 96453
3341.63/3351.67 c #Conflicts: 1075000 | #Constraints: 97453
3341.63/3351.67 c #Conflicts: 1076000 | #Constraints: 98453
3341.63/3351.67 c #Conflicts: 1077000 | #Constraints: 99453
3341.63/3351.67 c #Conflicts: 1078000 | #Constraints: 100453
3341.63/3351.67 c #Conflicts: 1079000 | #Constraints: 101453
3341.63/3351.67 c #Conflicts: 1080000 | #Constraints: 102453
3341.63/3351.67 c #Conflicts: 1081000 | #Constraints: 103453
3341.63/3351.67 c #Conflicts: 1082000 | #Constraints: 104453
3341.63/3351.67 c #Conflicts: 1083000 | #Constraints: 105453
3341.63/3351.67 c INPROCESSING
3341.63/3351.67 c GARBAGE COLLECT
3341.63/3351.67 c rational objective 31
3542.30/3552.91 c #Conflicts: 1084000 | #Constraints: 85843
3542.30/3552.91 c #Conflicts: 1085000 | #Constraints: 86843
3542.30/3552.91 c #Conflicts: 1086000 | #Constraints: 87843
3542.30/3552.91 c #Conflicts: 1087000 | #Constraints: 88843
3542.30/3552.91 c #Conflicts: 1088000 | #Constraints: 89843
3542.30/3552.91 c #Conflicts: 1089000 | #Constraints: 90843
3542.30/3552.91 c #Conflicts: 1090000 | #Constraints: 91843
3542.30/3552.91 c #Conflicts: 1091000 | #Constraints: 92843
3542.30/3552.91 c #Conflicts: 1092000 | #Constraints: 93843
3542.30/3552.91 c #Conflicts: 1093000 | #Constraints: 94843
3542.30/3552.91 c #Conflicts: 1094000 | #Constraints: 95843
3542.30/3552.91 c #Conflicts: 1095000 | #Constraints: 96843
3542.30/3552.91 c #Conflicts: 1096000 | #Constraints: 97843
3542.30/3552.91 c #Conflicts: 1097000 | #Constraints: 98843
3542.30/3552.91 c #Conflicts: 1098000 | #Constraints: 99843
3542.30/3552.91 c #Conflicts: 1099000 | #Constraints: 100843
3542.30/3552.91 c #Conflicts: 1100000 | #Constraints: 101843
3542.30/3552.91 c #Conflicts: 1101000 | #Constraints: 102843
3542.30/3552.91 c #Conflicts: 1102000 | #Constraints: 103843
3542.30/3552.91 c #Conflicts: 1103000 | #Constraints: 104843
3542.30/3552.91 c #Conflicts: 1104000 | #Constraints: 105843
3542.30/3552.91 c INPROCESSING
3542.30/3552.91 c GARBAGE COLLECT
3542.30/3552.91 c rational objective 31
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: 63794 MiB (61537 MiB free)
memory of node 1: 64507 MiB (62921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508047-1751499394/watcher-4508047-1751499394 -o /tmp/evaluation-result-4508047-1751499394/solver-4508047-1751499394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70860 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4508047-1751499394.opb PROOFDIR/proof-4508047-1751499394
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=71957, runsolver pid=71953
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127437436/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71961] ppid=71957 vsize=28708 memory=18832 CPUtime=0.06 cores=4,6
/proc/71961/stat : 71961 (pbsuma) R 71957 71957 70849 0 -1 4194304 3919 0 0 0 5 1 0 0 20 0 1 0 65618297 29396992 4708 18446744073709551615 4210688 4653049 140736770353504 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 20570112 140736770361571 140736770361906 140736770361906 140736770367471 0
/proc/71961/statm: 7177 4708 992 108 0 4585 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 21776 KiB
[startup+0.213849 s]*
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127422568/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71961] ppid=71957 vsize=37456 memory=25960 CPUtime=0.16 cores=4,6
/proc/71961/stat : 71961 (pbsuma) R 71957 71957 70849 0 -1 4194304 6815 0 0 0 14 2 0 0 20 0 1 0 65618297 38354944 6490 18446744073709551615 4210688 4653049 140736770353504 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 20570112 140736770361571 140736770361906 140736770361906 140736770367471 0
/proc/71961/statm: 9364 6490 1024 108 0 6772 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 41648 KiB
Current children cumulated memory: 28904 KiB
[startup+0.314879 s]*
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127404676/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71961] ppid=71957 vsize=55008 memory=38888 CPUtime=0.24 cores=4,6
/proc/71961/stat : 71961 (pbsuma) R 71957 71957 70849 0 -1 4194304 10205 0 0 0 21 3 0 0 20 0 1 0 65618297 56328192 9722 18446744073709551615 4210688 4653049 140736770353504 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 20570112 140736770361571 140736770361906 140736770361906 140736770367471 0
/proc/71961/statm: 13752 9722 1024 108 0 11160 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 59200 KiB
Current children cumulated memory: 41832 KiB
[startup+0.70023 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127390564/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71961] ppid=71957 vsize=40860 memory=29200 CPUtime=0.59 cores=4,6
/proc/71961/stat : 71961 (pbsuma) R 71957 71957 70849 0 -1 4194304 10208 0 0 0 56 3 0 0 20 0 1 0 65618297 41840640 7300 18446744073709551615 4210688 4653049 140736770353504 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 20570112 140736770361571 140736770361906 140736770361906 140736770367471 0
/proc/71961/statm: 10215 7300 1024 108 0 7623 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32144 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127326556/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.11326 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71970
/proc/meminfo: memFree=127032408/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=160912 memory=117076 CPUtime=1.75 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 17624 0 0 0 164 11 0 0 20 0 1 0 65618430 164773888 29269 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 40228 29269 2368 1147 0 27655 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 165104 KiB
Current children cumulated memory: 120020 KiB
[startup+6.30036 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71970
/proc/meminfo: memFree=127029024/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=165464 memory=122212 CPUtime=4.93 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 19021 0 0 0 475 18 0 0 20 0 1 0 65618430 169435136 30553 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 41366 30553 2400 1147 0 28793 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 169656 KiB
Current children cumulated memory: 125156 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.10 4.11 5/258 71970
/proc/meminfo: memFree=127005844/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=173072 memory=126928 CPUtime=11.31 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 20580 0 0 0 1104 27 0 0 20 0 1 0 65618430 177225728 31732 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 43268 31732 2432 1147 0 30695 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 177264 KiB
Current children cumulated memory: 129872 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.11 5/258 71971
/proc/meminfo: memFree=126988792/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=177832 memory=129232 CPUtime=24.07 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 21187 0 0 0 2373 34 0 0 20 0 1 0 65618430 182099968 32308 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 44458 32308 2432 1147 0 31885 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 182024 KiB
Current children cumulated memory: 132176 KiB
[startup+51.1135 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 71971
/proc/meminfo: memFree=126908388/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=190972 memory=140120 CPUtime=49.62 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 23393 0 0 0 4912 50 0 0 20 0 1 0 65618430 195555328 35030 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 47743 35030 2432 1147 0 35170 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 195164 KiB
Current children cumulated memory: 143064 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/259 71976
/proc/meminfo: memFree=126846316/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=198592 memory=146776 CPUtime=100.66 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 25061 0 0 0 9986 80 0 0 20 0 1 0 65618430 203358208 36694 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 49648 36694 2432 1147 0 37075 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 202784 KiB
Current children cumulated memory: 149720 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/259 72025
/proc/meminfo: memFree=127421588/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=198884 memory=147672 CPUtime=160.45 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 25293 0 0 0 15945 100 0 0 20 0 1 0 65618430 203657216 36918 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 49721 36918 2432 1147 0 37148 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 203076 KiB
Current children cumulated memory: 150616 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/257 72027
/proc/meminfo: memFree=127362892/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=199584 memory=148952 CPUtime=220.25 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 25608 0 0 0 21888 137 0 0 20 0 1 0 65618430 204374016 37238 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 49896 37238 2432 1147 0 37323 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 203776 KiB
Current children cumulated memory: 151896 KiB
################
# More data... #
################
/proc/meminfo: memFree=125924640/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=248904 memory=201928 CPUtime=3271.44 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34111 0 0 0 325765 1379 0 0 20 0 1 0 65618430 254877696 50482 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62226 50482 2432 1147 0 49653 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 204872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/257 72247
/proc/meminfo: memFree=125917612/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=248904 memory=201928 CPUtime=3331.24 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34111 0 0 0 331719 1405 0 0 20 0 1 0 65618430 254877696 50482 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62226 50482 2432 1147 0 49653 0
Current children cumulated CPU time: 3332.36 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 204872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/257 72249
/proc/meminfo: memFree=125844072/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=248904 memory=201928 CPUtime=3391.05 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34111 0 0 0 337676 1429 0 0 20 0 1 0 65618430 254877696 50482 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62226 50482 2432 1147 0 49653 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 204872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.79 4.38 4.21 5/257 72250
/proc/meminfo: memFree=125813652/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=248904 memory=201928 CPUtime=3450.86 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34111 0 0 0 343642 1444 0 0 20 0 1 0 65618430 254877696 50482 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62226 50482 2432 1147 0 49653 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 204872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.45 4.36 4.21 5/257 72252
/proc/meminfo: memFree=125775648/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=248904 memory=201928 CPUtime=3510.67 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34161 0 0 0 349613 1454 0 0 20 0 1 0 65618430 254877696 50482 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62226 50482 2432 1147 0 49653 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 204872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.31 4.20 5/257 72254
/proc/meminfo: memFree=125731968/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=248904 memory=201928 CPUtime=3570.48 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34184 0 0 0 355569 1479 0 0 20 0 1 0 65618430 254877696 50482 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62226 50482 2432 1147 0 49653 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 204872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.12 4.28 4.19 5/257 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71957] ppid=71953 vsize=4192 memory=2944 CPUtime=1.12 cores=4,6
/proc/71957/stat : 71957 (run-opt-ls-log.) S 71953 71957 70849 0 -1 4194304 241 10941 0 0 0 0 97 15 20 0 1 0 65618296 4292608 736 18446744073709551615 94478307655680 94478308550213 140723099972336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478308789264 94478308837008 94478337257472 140723099978011 140723099978209 140723099978209 140723099983811 0
/proc/71957/statm: 1048 736 672 219 0 110 0
[pid=71969] ppid=71957 vsize=250104 memory=203080 CPUtime=3598.9 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71957 71957 70849 0 -1 4194304 34485 0 0 0 358405 1485 0 0 20 0 1 0 65618430 256106496 50770 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62526 50770 2432 1147 0 49953 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 254296 KiB
Current children cumulated memory: 206024 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.81 s]
# the end of solver process 71957 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.975781 s, system=0.159502 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.8 s]
# the end of solver process 71969 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3587 s, system=15.0466 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+3611.2 s]
/proc/loadavg: 4.12 4.28 4.19 5/256 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71969] ppid=71953 vsize=250104 memory=203080 CPUtime=3599.31 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71953 71957 70849 0 -1 4194304 34485 0 0 0 358444 1487 0 0 20 0 1 0 65618430 256106496 50770 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62526 50770 2432 1147 0 49953 0
Current cumulated CPU time of completed processes: 1.13528 s
Current children cumulated CPU time: 3599.31 s
Current children cumulated vsize: 250104 KiB
Current children cumulated memory: 203080 KiB
[startup+3612 s]*
/proc/loadavg: 4.12 4.28 4.19 5/255 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71969] ppid=71953 vsize=250104 memory=203080 CPUtime=3600.11 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71953 71957 70849 0 -1 4194304 34485 0 0 0 358524 1487 0 0 20 0 1 0 65618430 256106496 50770 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62526 50770 2432 1147 0 49953 0
Current cumulated CPU time of completed processes: 1.13528 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 250104 KiB
Current children cumulated memory: 203080 KiB
[startup+3612.4 s]
/proc/loadavg: 4.12 4.28 4.19 5/255 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71969] ppid=71953 vsize=250104 memory=203080 CPUtime=3600.5 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71953 71957 70849 0 -1 4194304 34485 0 0 0 358562 1488 0 0 20 0 1 0 65618430 256106496 50770 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62526 50770 2432 1147 0 49953 0
Current cumulated CPU time of completed processes: 1.13528 s
Current children cumulated CPU time: 3600.5 s
Current children cumulated vsize: 250104 KiB
Current children cumulated memory: 203080 KiB
[startup+3612.8 s]
/proc/loadavg: 4.12 4.28 4.19 5/255 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71969] ppid=71953 vsize=250104 memory=203080 CPUtime=3600.9 cores=4,6
/proc/71969/stat : 71969 (roundingsat) R 71953 71957 70849 0 -1 4194304 34485 0 0 0 358602 1488 0 0 20 0 1 0 65618430 256106496 50770 18446744073709551615 4227072 8923433 140732418869392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22056960 140732418877686 140732418877992 140732418877992 140732418883562 0
/proc/71969/statm: 62526 50770 2432 1147 0 49953 0
Current cumulated CPU time of completed processes: 1.13528 s
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 250104 KiB
Current children cumulated memory: 203080 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.8
CPU time (s): 3602.04
CPU user time (s): 3587
CPU system time (s): 15.0466
CPU usage (%): 99.7022
Max. virtual memory (cumulated for all children) (KiB): 254296
Max. memory (cumulated for all children) (KiB): 206024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587
system time used= 15.0466
maximum resident set size= 203080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 982184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5935
involuntary context switches= 1939
# summary of solver processes directly reported to runsolver:
# pid: 71957,71969
# total CPU time (s): 3602.04
# total CPU user time (s): 3587
# total CPU system time (s): 15.0466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4904 second user time and 37.0723 second system time
The end
Begin job on nodeC001 at 2025-07-03 01:36:34
IDJOB=4508047
IDBENCH=158392
IDSOLVER=3356
FILE ID=nodeC001/4508047-1751499394
RUNJOBID= nodeC001-1751492040-70860
SLURM_JOB_ID= 9598558
Free space on /tmp= 432488 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508047-1751499394/watcher-4508047-1751499394 -o /tmp/evaluation-result-4508047-1751499394/solver-4508047-1751499394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70860 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4508047-1751499394.opb PROOFDIR/proof-4508047-1751499394
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=20539390
nodeC001 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 : 0xb00001f
cpu MHz : 3662.386
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3591.514
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.410
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1196.985
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1198.033
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1201.087
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127449604 kB
MemAvailable: 129396116 kB
Buffers: 1668 kB
Cached: 2741668 kB
SwapCached: 32 kB
Active: 893444 kB
Inactive: 2432352 kB
Active(anon): 577836 kB
Inactive(anon): 22528 kB
Active(file): 315608 kB
Inactive(file): 2409824 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11276 kB
Writeback: 0 kB
AnonPages: 581344 kB
Mapped: 113420 kB
Shmem: 17900 kB
KReclaimable: 121028 kB
Slab: 205548 kB
SReclaimable: 121028 kB
SUnreclaim: 84520 kB
KernelStack: 4128 kB
PageTables: 4268 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 969732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 395264 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432464 MiB
End job on nodeC001 at 2025-07-03 02:36:47