0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507957-1751494075.opb'
0.00/0.05 c read 1.11MB (41.25ms)
0.00/0.05 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.07 c output proof to 'PROOFDIR/proof-4507957-1751494075'
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.07/0.13 c [group: #orbits ~= 2664] (62.76ms)
0.07/0.13 c
0.07/0.13 c detect special group actions
0.07/0.13 c probe for Johnson action (limit=64)
0.07/0.16 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.19 c probe for row symmetry (limit=64, splits=16.78M)
0.16/0.23 c found row 11x666, generating row predicate
0.16/0.23 c (94.46ms)
0.16/0.23 c
0.16/0.23 c detect symmetries on remainder
0.16/0.23 c [graph: #vertices 80207 #edges 285984]
0.16/0.23 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.25/0.34 c [group: #symmetries 1.24*10^7 #generators 13] (105.82ms)
0.25/0.34 c
0.25/0.34 c optimize generators (opt_passes=64, conjugate_limit=256)
0.25/0.34 c ran it=0, +gens=2
0.51/0.64 c con best_support=1332, best_gens=13, +gens=224
0.51/0.64 c (301.30ms)
0.51/0.64 c
0.51/0.64 c finalize break order and special generators
0.51/0.64 c
0.51/0.64 c add generic predicates (break_depth=20)
0.51/0.64 c added predicates for 239 generators (3.90ms)
0.99/1.17 c
0.99/1.17 c generation finished
0.99/1.17 c [sbp: #constraints 33822 #add_vars 11191]
0.99/1.17 c
0.99/1.17 c write result to 'HOME/instance-4507957-1751494075.opb.pre'
0.99/1.18 c wrote 2.40MB (8.38ms)
0.99/1.18 c ------------------------------------------------------------------
0.99/1.18 c 544.18ms 46.71% other
0.99/1.18 c 301.30ms 25.86% optimize_gens
0.99/1.18 c 105.82ms 9.08% detect_generic
0.99/1.18 c 94.46ms 8.11% detect_special
0.99/1.18 c 62.76ms 5.39% approx_orbits
0.99/1.18 c 41.24ms 3.54% parse
0.99/1.18 c 8.38ms 0.72% output
0.99/1.18 c 3.90ms 0.33% break_generic
0.99/1.18 c 3.06ms 0.26% finalize_order
0.99/1.18 c ───────────────────────────────────────────────
0.99/1.18 c 1165.11ms 100% total
0.99/1.18 c ------------------------------------------------------------------
1.10/1.33 c RoundingSat 2
1.10/1.33 c branch pb25
1.10/1.33 c commit 63f22ad
1.10/1.77 c #variables 20515 #constraints 62482
1.10/1.77 c objective is ce32
1.10/1.77 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
1.10/1.77 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
1.10/1.77 c bounds - >= 0 @ 0.356184
8.53/8.89 c #Conflicts: 1000 | #Constraints: 63481
8.53/8.89 c #Conflicts: 2000 | #Constraints: 64481
8.53/8.89 c INPROCESSING
8.53/8.89 c bounds - >= 10 @ 7.33371
8.63/8.90 c bounds - >= 20 @ 7.34558
8.75/9.05 c #Conflicts: 3000 | #Constraints: 64532
8.75/9.05 c bounds - >= 30 @ 7.4928
24.29/24.65 c #Conflicts: 4000 | #Constraints: 65541
24.29/24.65 c INPROCESSING
24.29/24.65 c GARBAGE COLLECT
24.29/24.65 c #Conflicts: 5000 | #Constraints: 64954
24.29/24.65 c #Conflicts: 6000 | #Constraints: 65954
24.29/24.65 c INPROCESSING
24.29/24.65 c #Conflicts: 7000 | #Constraints: 64957
24.29/24.65 c #Conflicts: 8000 | #Constraints: 65957
24.29/24.65 c #Conflicts: 9000 | #Constraints: 66957
24.29/24.65 c INPROCESSING
24.29/24.65 c GARBAGE COLLECT
24.29/24.65 c bounds - >= 40 @ 22.8717
24.29/24.66 c bounds - >= 50 @ 22.8854
24.39/24.76 c #Conflicts: 10000 | #Constraints: 65696
24.39/24.76 c bounds - >= 60 @ 22.9765
77.81/78.30 c #Conflicts: 11000 | #Constraints: 66708
77.81/78.30 c #Conflicts: 12000 | #Constraints: 67708
77.81/78.30 c INPROCESSING
77.81/78.30 c #Conflicts: 13000 | #Constraints: 65808
77.81/78.30 c #Conflicts: 14000 | #Constraints: 66808
77.81/78.30 c #Conflicts: 15000 | #Constraints: 67808
77.81/78.30 c INPROCESSING
77.81/78.30 c GARBAGE COLLECT
77.81/78.30 c #Conflicts: 16000 | #Constraints: 66202
77.81/78.30 c #Conflicts: 17000 | #Constraints: 67202
77.81/78.30 c #Conflicts: 18000 | #Constraints: 68202
77.81/78.30 c INPROCESSING
77.81/78.30 c #Conflicts: 19000 | #Constraints: 66301
77.81/78.30 c #Conflicts: 20000 | #Constraints: 67301
77.81/78.30 c #Conflicts: 21000 | #Constraints: 68301
77.81/78.30 c INPROCESSING
77.81/78.30 c GARBAGE COLLECT
77.81/78.30 c #Conflicts: 22000 | #Constraints: 66148
77.81/78.30 c #Conflicts: 23000 | #Constraints: 67148
77.81/78.30 c #Conflicts: 24000 | #Constraints: 68148
77.81/78.30 c #Conflicts: 25000 | #Constraints: 69148
77.81/78.30 c INPROCESSING
77.81/78.30 c rational objective 60
84.60/85.13 c #Conflicts: 26000 | #Constraints: 66823
84.60/85.13 c #Conflicts: 27000 | #Constraints: 67823
84.60/85.13 c #Conflicts: 28000 | #Constraints: 68823
84.60/85.13 c #Conflicts: 29000 | #Constraints: 69823
84.60/85.13 c INPROCESSING
84.60/85.13 c GARBAGE COLLECT
84.60/85.13 c #Conflicts: 30000 | #Constraints: 67208
84.60/85.13 c #Conflicts: 31000 | #Constraints: 68208
84.60/85.13 c #Conflicts: 32000 | #Constraints: 69208
84.60/85.13 c #Conflicts: 33000 | #Constraints: 70208
84.60/85.13 c INPROCESSING
84.60/85.13 c GARBAGE COLLECT
84.60/85.13 c #Conflicts: 34000 | #Constraints: 67402
84.60/85.13 c #Conflicts: 35000 | #Constraints: 68402
84.60/85.13 c #Conflicts: 36000 | #Constraints: 69402
84.60/85.13 c #Conflicts: 37000 | #Constraints: 70402
84.60/85.13 c INPROCESSING
84.60/85.13 c rational objective 60
152.57/153.33 c #Conflicts: 38000 | #Constraints: 67486
152.57/153.33 c #Conflicts: 39000 | #Constraints: 68486
152.57/153.33 c #Conflicts: 40000 | #Constraints: 69486
152.57/153.33 c #Conflicts: 41000 | #Constraints: 70486
152.57/153.33 c INPROCESSING
152.57/153.33 c GARBAGE COLLECT
152.57/153.33 c rational objective 60
194.83/195.79 c #Conflicts: 42000 | #Constraints: 67317
194.83/195.79 c #Conflicts: 43000 | #Constraints: 68317
194.83/195.79 c #Conflicts: 44000 | #Constraints: 69317
194.83/195.79 c #Conflicts: 45000 | #Constraints: 70317
194.83/195.79 c #Conflicts: 46000 | #Constraints: 71317
194.83/195.79 c INPROCESSING
194.83/195.79 c GARBAGE COLLECT
194.83/195.79 c #Conflicts: 47000 | #Constraints: 67861
194.83/195.79 c #Conflicts: 48000 | #Constraints: 68861
194.83/195.79 c #Conflicts: 49000 | #Constraints: 69861
194.83/195.79 c #Conflicts: 50000 | #Constraints: 70861
194.83/195.79 c #Conflicts: 51000 | #Constraints: 71861
194.83/195.79 c INPROCESSING
194.83/195.79 c GARBAGE COLLECT
194.83/195.79 c #Conflicts: 52000 | #Constraints: 68234
194.83/195.79 c #Conflicts: 53000 | #Constraints: 69234
194.83/195.79 c #Conflicts: 54000 | #Constraints: 70234
194.83/195.79 c #Conflicts: 55000 | #Constraints: 71234
194.83/195.79 c #Conflicts: 56000 | #Constraints: 72234
194.83/195.79 c INPROCESSING
194.83/195.79 c GARBAGE COLLECT
194.83/195.79 c #Conflicts: 57000 | #Constraints: 68411
194.83/195.79 c #Conflicts: 58000 | #Constraints: 69411
194.83/195.79 c #Conflicts: 59000 | #Constraints: 70411
194.83/195.79 c #Conflicts: 60000 | #Constraints: 71411
194.83/195.79 c #Conflicts: 61000 | #Constraints: 72411
194.83/195.79 c INPROCESSING
194.83/195.79 c GARBAGE COLLECT
194.83/195.79 c #Conflicts: 62000 | #Constraints: 68405
194.83/195.79 c bounds - >= 70 @ 192.685
231.62/232.64 c #Conflicts: 63000 | #Constraints: 69417
231.62/232.64 c #Conflicts: 64000 | #Constraints: 70417
231.62/232.64 c #Conflicts: 65000 | #Constraints: 71417
231.62/232.64 c #Conflicts: 66000 | #Constraints: 72417
231.62/232.64 c INPROCESSING
231.62/232.64 c GARBAGE COLLECT
231.62/232.64 c #Conflicts: 67000 | #Constraints: 68215
231.62/232.64 c #Conflicts: 68000 | #Constraints: 69215
231.62/232.64 c #Conflicts: 69000 | #Constraints: 70215
231.62/232.64 c #Conflicts: 70000 | #Constraints: 71215
231.62/232.64 c #Conflicts: 71000 | #Constraints: 72215
231.62/232.64 c #Conflicts: 72000 | #Constraints: 73215
231.62/232.64 c INPROCESSING
231.62/232.64 c GARBAGE COLLECT
231.62/232.64 c #Conflicts: 73000 | #Constraints: 68814
231.62/232.64 c #Conflicts: 74000 | #Constraints: 69814
231.62/232.64 c #Conflicts: 75000 | #Constraints: 70814
231.62/232.64 c #Conflicts: 76000 | #Constraints: 71814
231.62/232.64 c #Conflicts: 77000 | #Constraints: 72814
231.62/232.64 c #Conflicts: 78000 | #Constraints: 73814
231.62/232.64 c INPROCESSING
231.62/232.64 c GARBAGE COLLECT
231.62/232.64 c rational objective 70
277.89/279.03 c #Conflicts: 79000 | #Constraints: 69211
277.89/279.03 c #Conflicts: 80000 | #Constraints: 70211
277.89/279.03 c #Conflicts: 81000 | #Constraints: 71211
277.89/279.03 c #Conflicts: 82000 | #Constraints: 72212
277.89/279.03 c #Conflicts: 83000 | #Constraints: 73212
277.89/279.03 c #Conflicts: 84000 | #Constraints: 74212
277.89/279.03 c INPROCESSING
277.89/279.03 c GARBAGE COLLECT
277.89/279.03 c #Conflicts: 85000 | #Constraints: 69411
277.89/279.03 c #Conflicts: 86000 | #Constraints: 70411
277.89/279.03 c #Conflicts: 87000 | #Constraints: 71411
277.89/279.03 c #Conflicts: 88000 | #Constraints: 72411
277.89/279.03 c #Conflicts: 89000 | #Constraints: 73411
277.89/279.03 c #Conflicts: 90000 | #Constraints: 74411
277.89/279.03 c INPROCESSING
277.89/279.03 c GARBAGE COLLECT
277.89/279.03 c #Conflicts: 91000 | #Constraints: 69412
277.89/279.03 c #Conflicts: 92000 | #Constraints: 70412
277.89/279.03 c #Conflicts: 93000 | #Constraints: 71412
277.89/279.03 c #Conflicts: 94000 | #Constraints: 72412
277.89/279.03 c #Conflicts: 95000 | #Constraints: 73412
277.89/279.03 c #Conflicts: 96000 | #Constraints: 74412
277.89/279.03 c INPROCESSING
277.89/279.03 c GARBAGE COLLECT
277.89/279.03 c #Conflicts: 97000 | #Constraints: 69210
277.89/279.03 c #Conflicts: 98000 | #Constraints: 70210
277.89/279.03 c #Conflicts: 99000 | #Constraints: 71210
277.89/279.03 c #Conflicts: 100000 | #Constraints: 72210
277.89/279.03 c #Conflicts: 101000 | #Constraints: 73210
277.89/279.03 c #Conflicts: 102000 | #Constraints: 74210
277.89/279.03 c #Conflicts: 103000 | #Constraints: 75210
277.89/279.03 c INPROCESSING
277.89/279.03 c GARBAGE COLLECT
277.89/279.03 c #Conflicts: 104000 | #Constraints: 69816
277.89/279.03 c #Conflicts: 105000 | #Constraints: 70816
277.89/279.03 c #Conflicts: 106000 | #Constraints: 71816
277.89/279.03 c #Conflicts: 107000 | #Constraints: 72816
277.89/279.03 c #Conflicts: 108000 | #Constraints: 73816
277.89/279.03 c #Conflicts: 109000 | #Constraints: 74816
277.89/279.03 c #Conflicts: 110000 | #Constraints: 75816
277.89/279.03 c INPROCESSING
277.89/279.03 c GARBAGE COLLECT
277.89/279.03 c rational objective 70
323.46/324.79 c #Conflicts: 111000 | #Constraints: 70219
323.46/324.79 c #Conflicts: 112000 | #Constraints: 71219
323.46/324.79 c #Conflicts: 113000 | #Constraints: 72219
323.46/324.79 c #Conflicts: 114000 | #Constraints: 73219
323.46/324.79 c #Conflicts: 115000 | #Constraints: 74219
323.46/324.79 c #Conflicts: 116000 | #Constraints: 75219
323.46/324.79 c #Conflicts: 117000 | #Constraints: 76219
323.46/324.79 c INPROCESSING
323.46/324.79 c GARBAGE COLLECT
323.46/324.79 c rational objective 70
386.79/388.20 c #Conflicts: 118000 | #Constraints: 70424
386.79/388.20 c #Conflicts: 119000 | #Constraints: 71424
386.79/388.20 c #Conflicts: 120000 | #Constraints: 72424
386.79/388.20 c #Conflicts: 121000 | #Constraints: 73424
386.79/388.20 c #Conflicts: 122000 | #Constraints: 74424
386.79/388.20 c #Conflicts: 123000 | #Constraints: 75424
386.79/388.20 c #Conflicts: 124000 | #Constraints: 76424
386.79/388.20 c INPROCESSING
386.79/388.20 c GARBAGE COLLECT
386.79/388.20 c #Conflicts: 125000 | #Constraints: 70426
386.79/388.20 c #Conflicts: 126000 | #Constraints: 71426
386.79/388.20 c #Conflicts: 127000 | #Constraints: 72426
386.79/388.20 c #Conflicts: 128000 | #Constraints: 73426
386.79/388.20 c #Conflicts: 129000 | #Constraints: 74426
386.79/388.20 c #Conflicts: 130000 | #Constraints: 75426
386.79/388.20 c #Conflicts: 131000 | #Constraints: 76426
386.79/388.20 c INPROCESSING
386.79/388.20 c GARBAGE COLLECT
386.79/388.20 c rational objective 70
430.78/432.31 c #Conflicts: 132000 | #Constraints: 70288
430.78/432.31 c #Conflicts: 133000 | #Constraints: 71288
430.78/432.31 c #Conflicts: 134000 | #Constraints: 72288
430.78/432.31 c #Conflicts: 135000 | #Constraints: 73288
430.78/432.31 c #Conflicts: 136000 | #Constraints: 74288
430.78/432.31 c #Conflicts: 137000 | #Constraints: 75288
430.78/432.31 c #Conflicts: 138000 | #Constraints: 76288
430.78/432.31 c #Conflicts: 139000 | #Constraints: 77288
430.78/432.31 c INPROCESSING
430.78/432.31 c GARBAGE COLLECT
430.78/432.31 c #Conflicts: 140000 | #Constraints: 70854
430.78/432.31 c #Conflicts: 141000 | #Constraints: 71854
430.78/432.31 c #Conflicts: 142000 | #Constraints: 72854
430.78/432.31 c #Conflicts: 143000 | #Constraints: 73855
430.78/432.31 c #Conflicts: 144000 | #Constraints: 74855
430.78/432.31 c #Conflicts: 145000 | #Constraints: 75855
430.78/432.31 c #Conflicts: 146000 | #Constraints: 76855
430.78/432.31 c #Conflicts: 147000 | #Constraints: 77855
430.78/432.31 c INPROCESSING
430.78/432.31 c GARBAGE COLLECT
430.78/432.31 c #Conflicts: 148000 | #Constraints: 71244
430.78/432.31 c #Conflicts: 149000 | #Constraints: 72244
430.78/432.31 c #Conflicts: 150000 | #Constraints: 73244
430.78/432.31 c #Conflicts: 151000 | #Constraints: 74244
430.78/432.31 c #Conflicts: 152000 | #Constraints: 75244
430.78/432.31 c #Conflicts: 153000 | #Constraints: 76244
430.78/432.31 c #Conflicts: 154000 | #Constraints: 77244
430.78/432.31 c #Conflicts: 155000 | #Constraints: 78244
430.78/432.31 c INPROCESSING
430.78/432.31 c GARBAGE COLLECT
430.78/432.31 c #Conflicts: 156000 | #Constraints: 71426
430.78/432.31 c #Conflicts: 157000 | #Constraints: 72426
430.78/432.31 c #Conflicts: 158000 | #Constraints: 73426
430.78/432.31 c #Conflicts: 159000 | #Constraints: 74426
430.78/432.31 c #Conflicts: 160000 | #Constraints: 75426
430.78/432.31 c #Conflicts: 161000 | #Constraints: 76426
430.78/432.31 c #Conflicts: 162000 | #Constraints: 77426
430.78/432.31 c #Conflicts: 163000 | #Constraints: 78426
430.78/432.31 c INPROCESSING
430.78/432.31 c GARBAGE COLLECT
430.78/432.31 c rational objective 70
478.26/479.91 c #Conflicts: 164000 | #Constraints: 71432
478.26/479.91 c #Conflicts: 165000 | #Constraints: 72432
478.26/479.91 c #Conflicts: 166000 | #Constraints: 73432
478.26/479.91 c #Conflicts: 167000 | #Constraints: 74432
478.26/479.91 c #Conflicts: 168000 | #Constraints: 75432
478.26/479.91 c #Conflicts: 169000 | #Constraints: 76432
478.26/479.91 c #Conflicts: 170000 | #Constraints: 77432
478.26/479.91 c #Conflicts: 171000 | #Constraints: 78432
478.26/479.91 c INPROCESSING
478.26/479.91 c GARBAGE COLLECT
478.26/479.91 c #Conflicts: 172000 | #Constraints: 71226
478.26/479.91 c #Conflicts: 173000 | #Constraints: 72226
478.26/479.91 c #Conflicts: 174000 | #Constraints: 73226
478.26/479.91 c #Conflicts: 175000 | #Constraints: 74226
478.26/479.91 c #Conflicts: 176000 | #Constraints: 75226
478.26/479.91 c #Conflicts: 177000 | #Constraints: 76226
478.26/479.91 c #Conflicts: 178000 | #Constraints: 77226
478.26/479.91 c #Conflicts: 179000 | #Constraints: 78226
478.26/479.91 c #Conflicts: 180000 | #Constraints: 79226
478.26/479.91 c INPROCESSING
478.26/479.91 c GARBAGE COLLECT
478.26/479.91 c rational objective 70
535.23/537.03 c #Conflicts: 181000 | #Constraints: 71830
535.23/537.03 c #Conflicts: 182000 | #Constraints: 72830
535.23/537.03 c #Conflicts: 183000 | #Constraints: 73830
535.23/537.03 c #Conflicts: 184000 | #Constraints: 74830
535.23/537.03 c #Conflicts: 185000 | #Constraints: 75830
535.23/537.03 c #Conflicts: 186000 | #Constraints: 76830
535.23/537.03 c #Conflicts: 187000 | #Constraints: 77830
535.23/537.03 c #Conflicts: 188000 | #Constraints: 78830
535.23/537.03 c #Conflicts: 189000 | #Constraints: 79830
535.23/537.03 c INPROCESSING
535.23/537.03 c GARBAGE COLLECT
535.23/537.03 c rational objective 70
577.78/579.78 c #Conflicts: 190000 | #Constraints: 72277
577.78/579.78 c #Conflicts: 191000 | #Constraints: 73277
577.78/579.78 c #Conflicts: 192000 | #Constraints: 74277
577.78/579.78 c #Conflicts: 193000 | #Constraints: 75277
577.78/579.78 c #Conflicts: 194000 | #Constraints: 76277
577.78/579.78 c #Conflicts: 195000 | #Constraints: 77277
577.78/579.78 c #Conflicts: 196000 | #Constraints: 78277
577.78/579.78 c #Conflicts: 197000 | #Constraints: 79277
577.78/579.78 c #Conflicts: 198000 | #Constraints: 80277
577.78/579.78 c INPROCESSING
577.78/579.78 c GARBAGE COLLECT
577.78/579.78 c #Conflicts: 199000 | #Constraints: 72448
577.78/579.78 c #Conflicts: 200000 | #Constraints: 73448
577.78/579.78 c #Conflicts: 201000 | #Constraints: 74448
577.78/579.78 c #Conflicts: 202000 | #Constraints: 75448
577.78/579.78 c #Conflicts: 203000 | #Constraints: 76448
577.78/579.78 c #Conflicts: 204000 | #Constraints: 77448
577.78/579.78 c #Conflicts: 205000 | #Constraints: 78448
577.78/579.78 c #Conflicts: 206000 | #Constraints: 79448
577.78/579.78 c #Conflicts: 207000 | #Constraints: 80448
577.78/579.78 c INPROCESSING
577.78/579.78 c GARBAGE COLLECT
577.78/579.78 c bounds - >= 80 @ 573.837
666.16/668.30 c #Conflicts: 208000 | #Constraints: 72448
666.16/668.30 c #Conflicts: 209000 | #Constraints: 73448
666.16/668.30 c #Conflicts: 210000 | #Constraints: 74448
666.16/668.30 c #Conflicts: 211000 | #Constraints: 75448
666.16/668.30 c #Conflicts: 212000 | #Constraints: 76448
666.16/668.30 c #Conflicts: 213000 | #Constraints: 77448
666.16/668.30 c #Conflicts: 214000 | #Constraints: 78448
666.16/668.30 c #Conflicts: 215000 | #Constraints: 79448
666.16/668.30 c #Conflicts: 216000 | #Constraints: 80448
666.16/668.30 c INPROCESSING
666.16/668.30 c GARBAGE COLLECT
666.16/668.30 c rational objective 80
729.30/731.63 c #Conflicts: 217000 | #Constraints: 72240
729.30/731.63 c #Conflicts: 218000 | #Constraints: 73240
729.30/731.63 c #Conflicts: 219000 | #Constraints: 74240
729.30/731.63 c #Conflicts: 220000 | #Constraints: 75240
729.30/731.63 c #Conflicts: 221000 | #Constraints: 76240
729.30/731.63 c #Conflicts: 222000 | #Constraints: 77240
729.30/731.63 c #Conflicts: 223000 | #Constraints: 78240
729.30/731.63 c #Conflicts: 224000 | #Constraints: 79240
729.30/731.63 c #Conflicts: 225000 | #Constraints: 80240
729.30/731.63 c #Conflicts: 226000 | #Constraints: 81240
729.30/731.63 c INPROCESSING
729.30/731.63 c GARBAGE COLLECT
729.30/731.63 c #Conflicts: 227000 | #Constraints: 72829
729.30/731.63 c #Conflicts: 228000 | #Constraints: 73829
729.30/731.63 c #Conflicts: 229000 | #Constraints: 74830
729.30/731.63 c #Conflicts: 230000 | #Constraints: 75830
729.30/731.63 c #Conflicts: 231000 | #Constraints: 76830
729.30/731.63 c #Conflicts: 232000 | #Constraints: 77830
729.30/731.63 c #Conflicts: 233000 | #Constraints: 78830
729.30/731.63 c #Conflicts: 234000 | #Constraints: 79830
729.30/731.63 c #Conflicts: 235000 | #Constraints: 80830
729.30/731.63 c #Conflicts: 236000 | #Constraints: 81830
729.30/731.63 c INPROCESSING
729.30/731.63 c GARBAGE COLLECT
729.30/731.63 c #Conflicts: 237000 | #Constraints: 72956
729.30/731.63 c #Conflicts: 238000 | #Constraints: 73956
729.30/731.63 c #Conflicts: 239000 | #Constraints: 74956
729.30/731.63 c #Conflicts: 240000 | #Constraints: 75956
729.30/731.63 c #Conflicts: 241000 | #Constraints: 76956
729.30/731.63 c #Conflicts: 242000 | #Constraints: 77956
729.30/731.63 c #Conflicts: 243000 | #Constraints: 78956
729.30/731.63 c #Conflicts: 244000 | #Constraints: 79956
729.30/731.63 c #Conflicts: 245000 | #Constraints: 80956
729.30/731.63 c #Conflicts: 246000 | #Constraints: 81956
729.30/731.63 c INPROCESSING
729.30/731.63 c GARBAGE COLLECT
729.30/731.63 c #Conflicts: 247000 | #Constraints: 73302
729.30/731.63 c #Conflicts: 248000 | #Constraints: 74302
729.30/731.63 c #Conflicts: 249000 | #Constraints: 75302
729.30/731.63 c #Conflicts: 250000 | #Constraints: 76302
729.30/731.63 c #Conflicts: 251000 | #Constraints: 77302
729.30/731.63 c #Conflicts: 252000 | #Constraints: 78302
729.30/731.63 c #Conflicts: 253000 | #Constraints: 79302
729.30/731.63 c #Conflicts: 254000 | #Constraints: 80302
729.30/731.63 c #Conflicts: 255000 | #Constraints: 81302
729.30/731.63 c #Conflicts: 256000 | #Constraints: 82302
729.30/731.63 c INPROCESSING
729.30/731.63 c GARBAGE COLLECT
729.30/731.63 c #Conflicts: 257000 | #Constraints: 73362
729.30/731.63 c #Conflicts: 258000 | #Constraints: 74362
729.30/731.63 c #Conflicts: 259000 | #Constraints: 75362
729.30/731.63 c #Conflicts: 260000 | #Constraints: 76362
729.30/731.63 c #Conflicts: 261000 | #Constraints: 77362
729.30/731.63 c #Conflicts: 262000 | #Constraints: 78362
729.30/731.63 c #Conflicts: 263000 | #Constraints: 79362
729.30/731.63 c #Conflicts: 264000 | #Constraints: 80362
729.30/731.63 c #Conflicts: 265000 | #Constraints: 81362
729.30/731.63 c #Conflicts: 266000 | #Constraints: 82362
729.30/731.63 c INPROCESSING
729.30/731.63 c GARBAGE COLLECT
729.30/731.63 c rational objective 80
893.28/896.03 c #Conflicts: 267000 | #Constraints: 73199
893.28/896.03 c #Conflicts: 268000 | #Constraints: 74199
893.28/896.03 c #Conflicts: 269000 | #Constraints: 75199
893.28/896.03 c #Conflicts: 270000 | #Constraints: 76199
893.28/896.03 c #Conflicts: 271000 | #Constraints: 77199
893.28/896.03 c #Conflicts: 272000 | #Constraints: 78199
893.28/896.03 c #Conflicts: 273000 | #Constraints: 79199
893.28/896.03 c #Conflicts: 274000 | #Constraints: 80199
893.28/896.03 c #Conflicts: 275000 | #Constraints: 81199
893.28/896.03 c #Conflicts: 276000 | #Constraints: 82199
893.28/896.03 c #Conflicts: 277000 | #Constraints: 83199
893.28/896.03 c INPROCESSING
893.28/896.03 c GARBAGE COLLECT
893.28/896.03 c rational objective 80
946.54/949.40 c #Conflicts: 278000 | #Constraints: 73815
946.54/949.40 c #Conflicts: 279000 | #Constraints: 74815
946.54/949.40 c #Conflicts: 280000 | #Constraints: 75815
946.54/949.40 c #Conflicts: 281000 | #Constraints: 76815
946.54/949.40 c #Conflicts: 282000 | #Constraints: 77815
946.54/949.40 c #Conflicts: 283000 | #Constraints: 78815
946.54/949.40 c #Conflicts: 284000 | #Constraints: 79815
946.54/949.40 c #Conflicts: 285000 | #Constraints: 80815
946.54/949.40 c #Conflicts: 286000 | #Constraints: 81815
946.54/949.40 c #Conflicts: 287000 | #Constraints: 82815
946.54/949.40 c #Conflicts: 288000 | #Constraints: 83815
946.54/949.40 c INPROCESSING
946.54/949.40 c GARBAGE COLLECT
946.54/949.40 c rational objective 80
1003.49/1006.50 c #Conflicts: 289000 | #Constraints: 74242
1003.49/1006.50 c #Conflicts: 290000 | #Constraints: 75242
1003.49/1006.50 c #Conflicts: 291000 | #Constraints: 76242
1003.49/1006.50 c #Conflicts: 292000 | #Constraints: 77242
1003.49/1006.50 c #Conflicts: 293000 | #Constraints: 78242
1003.49/1006.50 c #Conflicts: 294000 | #Constraints: 79242
1003.49/1006.50 c #Conflicts: 295000 | #Constraints: 80242
1003.49/1006.50 c #Conflicts: 296000 | #Constraints: 81242
1003.49/1006.50 c #Conflicts: 297000 | #Constraints: 82242
1003.49/1006.50 c #Conflicts: 298000 | #Constraints: 83242
1003.49/1006.50 c #Conflicts: 299000 | #Constraints: 84242
1003.49/1006.50 c INPROCESSING
1003.49/1006.50 c GARBAGE COLLECT
1003.49/1006.50 c #Conflicts: 300000 | #Constraints: 74445
1003.49/1006.50 c #Conflicts: 301000 | #Constraints: 75445
1003.49/1006.50 c #Conflicts: 302000 | #Constraints: 76445
1003.49/1006.50 c #Conflicts: 303000 | #Constraints: 77445
1003.49/1006.50 c #Conflicts: 304000 | #Constraints: 78445
1003.49/1006.50 c #Conflicts: 305000 | #Constraints: 79445
1003.49/1006.50 c #Conflicts: 306000 | #Constraints: 80445
1003.49/1006.50 c #Conflicts: 307000 | #Constraints: 81445
1003.49/1006.50 c #Conflicts: 308000 | #Constraints: 82445
1003.49/1006.50 c #Conflicts: 309000 | #Constraints: 83445
1003.49/1006.50 c #Conflicts: 310000 | #Constraints: 84445
1003.49/1006.50 c INPROCESSING
1003.49/1006.50 c GARBAGE COLLECT
1003.49/1006.50 c rational objective 80
1092.57/1095.87 c #Conflicts: 311000 | #Constraints: 74457
1092.57/1095.87 c #Conflicts: 312000 | #Constraints: 75457
1092.57/1095.87 c #Conflicts: 313000 | #Constraints: 76457
1092.57/1095.87 c #Conflicts: 314000 | #Constraints: 77457
1092.57/1095.87 c #Conflicts: 315000 | #Constraints: 78457
1092.57/1095.87 c #Conflicts: 316000 | #Constraints: 79457
1092.57/1095.87 c #Conflicts: 317000 | #Constraints: 80457
1092.57/1095.87 c #Conflicts: 318000 | #Constraints: 81457
1092.57/1095.87 c #Conflicts: 319000 | #Constraints: 82457
1092.57/1095.87 c #Conflicts: 320000 | #Constraints: 83457
1092.57/1095.87 c #Conflicts: 321000 | #Constraints: 84457
1092.57/1095.87 c INPROCESSING
1092.57/1095.87 c GARBAGE COLLECT
1092.57/1095.87 c #Conflicts: 322000 | #Constraints: 74240
1092.57/1095.87 c #Conflicts: 323000 | #Constraints: 75240
1092.57/1095.87 c #Conflicts: 324000 | #Constraints: 76240
1092.57/1095.87 c #Conflicts: 325000 | #Constraints: 77240
1092.57/1095.87 c #Conflicts: 326000 | #Constraints: 78240
1092.57/1095.87 c #Conflicts: 327000 | #Constraints: 79240
1092.57/1095.87 c #Conflicts: 328000 | #Constraints: 80240
1092.57/1095.87 c #Conflicts: 329000 | #Constraints: 81240
1092.57/1095.87 c #Conflicts: 330000 | #Constraints: 82240
1092.57/1095.87 c #Conflicts: 331000 | #Constraints: 83240
1092.57/1095.87 c #Conflicts: 332000 | #Constraints: 84240
1092.57/1095.87 c #Conflicts: 333000 | #Constraints: 85240
1092.57/1095.87 c INPROCESSING
1092.57/1095.87 c GARBAGE COLLECT
1092.57/1095.87 c #Conflicts: 334000 | #Constraints: 74838
1092.57/1095.87 c #Conflicts: 335000 | #Constraints: 75838
1092.57/1095.87 c #Conflicts: 336000 | #Constraints: 76838
1092.57/1095.87 c #Conflicts: 337000 | #Constraints: 77838
1092.57/1095.87 c #Conflicts: 338000 | #Constraints: 78838
1092.57/1095.87 c #Conflicts: 339000 | #Constraints: 79838
1092.57/1095.87 c #Conflicts: 340000 | #Constraints: 80838
1092.57/1095.87 c #Conflicts: 341000 | #Constraints: 81838
1092.57/1095.87 c #Conflicts: 342000 | #Constraints: 82838
1092.57/1095.87 c #Conflicts: 343000 | #Constraints: 83838
1092.57/1095.87 c #Conflicts: 344000 | #Constraints: 84838
1092.57/1095.87 c #Conflicts: 345000 | #Constraints: 85838
1092.57/1095.87 c INPROCESSING
1092.57/1095.87 c GARBAGE COLLECT
1092.57/1095.87 c rational objective 80
1142.11/1145.59 c #Conflicts: 346000 | #Constraints: 75243
1142.11/1145.59 c #Conflicts: 347000 | #Constraints: 76243
1142.11/1145.59 c #Conflicts: 348000 | #Constraints: 77243
1142.11/1145.59 c #Conflicts: 349000 | #Constraints: 78243
1142.11/1145.59 c #Conflicts: 350000 | #Constraints: 79243
1142.11/1145.59 c #Conflicts: 351000 | #Constraints: 80243
1142.11/1145.59 c #Conflicts: 352000 | #Constraints: 81243
1142.11/1145.59 c #Conflicts: 353000 | #Constraints: 82243
1142.11/1145.59 c #Conflicts: 354000 | #Constraints: 83243
1142.11/1145.59 c #Conflicts: 355000 | #Constraints: 84243
1142.11/1145.59 c #Conflicts: 356000 | #Constraints: 85243
1142.11/1145.59 c #Conflicts: 357000 | #Constraints: 86243
1142.11/1145.59 c INPROCESSING
1142.11/1145.59 c GARBAGE COLLECT
1142.11/1145.59 c rational objective 80
1228.97/1232.69 c #Conflicts: 358000 | #Constraints: 75463
1228.97/1232.69 c #Conflicts: 359000 | #Constraints: 76463
1228.97/1232.69 c #Conflicts: 360000 | #Constraints: 77463
1228.97/1232.69 c #Conflicts: 361000 | #Constraints: 78463
1228.97/1232.69 c #Conflicts: 362000 | #Constraints: 79463
1228.97/1232.69 c #Conflicts: 363000 | #Constraints: 80463
1228.97/1232.69 c #Conflicts: 364000 | #Constraints: 81463
1228.97/1232.69 c #Conflicts: 365000 | #Constraints: 82463
1228.97/1232.69 c #Conflicts: 366000 | #Constraints: 83463
1228.97/1232.69 c #Conflicts: 367000 | #Constraints: 84463
1228.97/1232.69 c #Conflicts: 368000 | #Constraints: 85463
1228.97/1232.69 c #Conflicts: 369000 | #Constraints: 86463
1228.97/1232.69 c INPROCESSING
1228.97/1232.69 c GARBAGE COLLECT
1228.97/1232.69 c #Conflicts: 370000 | #Constraints: 75445
1228.97/1232.69 c #Conflicts: 371000 | #Constraints: 76445
1228.97/1232.69 c #Conflicts: 372000 | #Constraints: 77445
1228.97/1232.69 c #Conflicts: 373000 | #Constraints: 78445
1228.97/1232.69 c #Conflicts: 374000 | #Constraints: 79445
1228.97/1232.69 c #Conflicts: 375000 | #Constraints: 80445
1228.97/1232.69 c #Conflicts: 376000 | #Constraints: 81445
1228.97/1232.69 c #Conflicts: 377000 | #Constraints: 82445
1228.97/1232.69 c #Conflicts: 378000 | #Constraints: 83445
1228.97/1232.69 c #Conflicts: 379000 | #Constraints: 84445
1228.97/1232.69 c #Conflicts: 380000 | #Constraints: 85445
1228.97/1232.69 c #Conflicts: 381000 | #Constraints: 86445
1228.97/1232.69 c INPROCESSING
1228.97/1232.69 c GARBAGE COLLECT
1228.97/1232.69 c rational objective 80
1282.81/1286.63 c #Conflicts: 382000 | #Constraints: 75238
1282.81/1286.63 c #Conflicts: 383000 | #Constraints: 76238
1282.81/1286.63 c #Conflicts: 384000 | #Constraints: 77238
1282.81/1286.63 c #Conflicts: 385000 | #Constraints: 78238
1282.81/1286.63 c #Conflicts: 386000 | #Constraints: 79238
1282.81/1286.63 c #Conflicts: 387000 | #Constraints: 80238
1282.81/1286.63 c #Conflicts: 388000 | #Constraints: 81238
1282.81/1286.63 c #Conflicts: 389000 | #Constraints: 82238
1282.81/1286.63 c #Conflicts: 390000 | #Constraints: 83238
1282.81/1286.63 c #Conflicts: 391000 | #Constraints: 84238
1282.81/1286.63 c #Conflicts: 392000 | #Constraints: 85238
1282.81/1286.63 c #Conflicts: 393000 | #Constraints: 86238
1282.81/1286.63 c #Conflicts: 394000 | #Constraints: 87238
1282.81/1286.63 c INPROCESSING
1282.81/1286.63 c GARBAGE COLLECT
1282.81/1286.63 c rational objective 80
1329.99/1333.90 c #Conflicts: 395000 | #Constraints: 75862
1329.99/1333.90 c #Conflicts: 396000 | #Constraints: 76862
1329.99/1333.90 c #Conflicts: 397000 | #Constraints: 77862
1329.99/1333.90 c #Conflicts: 398000 | #Constraints: 78862
1329.99/1333.90 c #Conflicts: 399000 | #Constraints: 79862
1329.99/1333.90 c #Conflicts: 400000 | #Constraints: 80862
1329.99/1333.90 c #Conflicts: 401000 | #Constraints: 81862
1329.99/1333.90 c #Conflicts: 402000 | #Constraints: 82862
1329.99/1333.90 c #Conflicts: 403000 | #Constraints: 83862
1329.99/1333.90 c #Conflicts: 404000 | #Constraints: 84862
1329.99/1333.90 c #Conflicts: 405000 | #Constraints: 85862
1329.99/1333.90 c #Conflicts: 406000 | #Constraints: 86862
1329.99/1333.90 c #Conflicts: 407000 | #Constraints: 87862
1329.99/1333.90 c INPROCESSING
1329.99/1333.90 c GARBAGE COLLECT
1329.99/1333.90 c #Conflicts: 408000 | #Constraints: 76245
1329.99/1333.90 c #Conflicts: 409000 | #Constraints: 77245
1329.99/1333.90 c #Conflicts: 410000 | #Constraints: 78245
1329.99/1333.90 c #Conflicts: 411000 | #Constraints: 79245
1329.99/1333.90 c #Conflicts: 412000 | #Constraints: 80245
1329.99/1333.90 c #Conflicts: 413000 | #Constraints: 81245
1329.99/1333.90 c #Conflicts: 414000 | #Constraints: 82245
1329.99/1333.90 c #Conflicts: 415000 | #Constraints: 83245
1329.99/1333.90 c #Conflicts: 416000 | #Constraints: 84245
1329.99/1333.90 c #Conflicts: 417000 | #Constraints: 85245
1329.99/1333.90 c #Conflicts: 418000 | #Constraints: 86245
1329.99/1333.90 c #Conflicts: 419000 | #Constraints: 87245
1329.99/1333.90 c #Conflicts: 420000 | #Constraints: 88245
1329.99/1333.90 c INPROCESSING
1329.99/1333.90 c GARBAGE COLLECT
1329.99/1333.90 c rational objective 80
1381.85/1385.99 c #Conflicts: 421000 | #Constraints: 76453
1381.85/1385.99 c #Conflicts: 422000 | #Constraints: 77453
1381.85/1385.99 c #Conflicts: 423000 | #Constraints: 78453
1381.85/1385.99 c #Conflicts: 424000 | #Constraints: 79453
1381.85/1385.99 c #Conflicts: 425000 | #Constraints: 80453
1381.85/1385.99 c #Conflicts: 426000 | #Constraints: 81453
1381.85/1385.99 c #Conflicts: 427000 | #Constraints: 82453
1381.85/1385.99 c #Conflicts: 428000 | #Constraints: 83453
1381.85/1385.99 c #Conflicts: 429000 | #Constraints: 84453
1381.85/1385.99 c #Conflicts: 430000 | #Constraints: 85453
1381.85/1385.99 c #Conflicts: 431000 | #Constraints: 86453
1381.85/1385.99 c #Conflicts: 432000 | #Constraints: 87453
1381.85/1385.99 c #Conflicts: 433000 | #Constraints: 88453
1381.85/1385.99 c INPROCESSING
1381.85/1385.99 c GARBAGE COLLECT
1381.85/1385.99 c rational objective 80
1466.34/1470.60 c #Conflicts: 434000 | #Constraints: 76453
1466.34/1470.60 c #Conflicts: 435000 | #Constraints: 77453
1466.34/1470.60 c #Conflicts: 436000 | #Constraints: 78453
1466.34/1470.60 c #Conflicts: 437000 | #Constraints: 79453
1466.34/1470.60 c #Conflicts: 438000 | #Constraints: 80453
1466.34/1470.60 c #Conflicts: 439000 | #Constraints: 81453
1466.34/1470.60 c #Conflicts: 440000 | #Constraints: 82453
1466.34/1470.60 c #Conflicts: 441000 | #Constraints: 83453
1466.34/1470.60 c #Conflicts: 442000 | #Constraints: 84453
1466.34/1470.60 c #Conflicts: 443000 | #Constraints: 85453
1466.34/1470.60 c #Conflicts: 444000 | #Constraints: 86453
1466.34/1470.60 c #Conflicts: 445000 | #Constraints: 87453
1466.34/1470.60 c #Conflicts: 446000 | #Constraints: 88453
1466.34/1470.60 c INPROCESSING
1466.34/1470.60 c GARBAGE COLLECT
1466.34/1470.60 c #Conflicts: 447000 | #Constraints: 76237
1466.34/1470.60 c #Conflicts: 448000 | #Constraints: 77237
1466.34/1470.60 c #Conflicts: 449000 | #Constraints: 78237
1466.34/1470.60 c #Conflicts: 450000 | #Constraints: 79237
1466.34/1470.60 c #Conflicts: 451000 | #Constraints: 80237
1466.34/1470.60 c #Conflicts: 452000 | #Constraints: 81237
1466.34/1470.60 c #Conflicts: 453000 | #Constraints: 82237
1466.34/1470.60 c #Conflicts: 454000 | #Constraints: 83237
1466.34/1470.60 c #Conflicts: 455000 | #Constraints: 84237
1466.34/1470.60 c #Conflicts: 456000 | #Constraints: 85237
1466.34/1470.60 c #Conflicts: 457000 | #Constraints: 86237
1466.34/1470.60 c #Conflicts: 458000 | #Constraints: 87237
1466.34/1470.60 c #Conflicts: 459000 | #Constraints: 88237
1466.34/1470.60 c #Conflicts: 460000 | #Constraints: 89237
1466.34/1470.60 c INPROCESSING
1466.34/1470.60 c GARBAGE COLLECT
1466.34/1470.60 c rational objective 80
1514.22/1518.68 c #Conflicts: 461000 | #Constraints: 76839
1514.22/1518.68 c #Conflicts: 462000 | #Constraints: 77839
1514.22/1518.68 c #Conflicts: 463000 | #Constraints: 78839
1514.22/1518.68 c #Conflicts: 464000 | #Constraints: 79839
1514.22/1518.68 c #Conflicts: 465000 | #Constraints: 80839
1514.22/1518.68 c #Conflicts: 466000 | #Constraints: 81839
1514.22/1518.68 c #Conflicts: 467000 | #Constraints: 82839
1514.22/1518.68 c #Conflicts: 468000 | #Constraints: 83839
1514.22/1518.68 c #Conflicts: 469000 | #Constraints: 84839
1514.22/1518.68 c #Conflicts: 470000 | #Constraints: 85839
1514.22/1518.68 c #Conflicts: 471000 | #Constraints: 86839
1514.22/1518.68 c #Conflicts: 472000 | #Constraints: 87839
1514.22/1518.68 c #Conflicts: 473000 | #Constraints: 88839
1514.22/1518.68 c #Conflicts: 474000 | #Constraints: 89839
1514.22/1518.68 c INPROCESSING
1514.22/1518.68 c GARBAGE COLLECT
1514.22/1518.68 c rational objective 80
1553.12/1557.62 c #Conflicts: 475000 | #Constraints: 77259
1553.12/1557.62 c #Conflicts: 476000 | #Constraints: 78259
1553.12/1557.62 c #Conflicts: 477000 | #Constraints: 79259
1553.12/1557.62 c #Conflicts: 478000 | #Constraints: 80259
1553.12/1557.62 c #Conflicts: 479000 | #Constraints: 81259
1553.12/1557.62 c #Conflicts: 480000 | #Constraints: 82259
1553.12/1557.62 c #Conflicts: 481000 | #Constraints: 83259
1553.12/1557.62 c #Conflicts: 482000 | #Constraints: 84259
1553.12/1557.62 c #Conflicts: 483000 | #Constraints: 85259
1553.12/1557.62 c #Conflicts: 484000 | #Constraints: 86259
1553.12/1557.62 c #Conflicts: 485000 | #Constraints: 87259
1553.12/1557.62 c #Conflicts: 486000 | #Constraints: 88259
1553.12/1557.62 c #Conflicts: 487000 | #Constraints: 89259
1553.12/1557.62 c #Conflicts: 488000 | #Constraints: 90259
1553.12/1557.62 c INPROCESSING
1553.12/1557.62 c GARBAGE COLLECT
1553.12/1557.62 c rational objective 80
1611.16/1615.81 c #Conflicts: 489000 | #Constraints: 77460
1611.16/1615.81 c #Conflicts: 490000 | #Constraints: 78460
1611.16/1615.81 c #Conflicts: 491000 | #Constraints: 79460
1611.16/1615.81 c #Conflicts: 492000 | #Constraints: 80460
1611.16/1615.81 c #Conflicts: 493000 | #Constraints: 81460
1611.16/1615.81 c #Conflicts: 494000 | #Constraints: 82460
1611.16/1615.81 c #Conflicts: 495000 | #Constraints: 83460
1611.16/1615.81 c #Conflicts: 496000 | #Constraints: 84460
1611.16/1615.81 c #Conflicts: 497000 | #Constraints: 85460
1611.16/1615.81 c #Conflicts: 498000 | #Constraints: 86460
1611.16/1615.81 c #Conflicts: 499000 | #Constraints: 87460
1611.16/1615.81 c #Conflicts: 500000 | #Constraints: 88460
1611.16/1615.81 c #Conflicts: 501000 | #Constraints: 89460
1611.16/1615.81 c #Conflicts: 502000 | #Constraints: 90460
1611.16/1615.81 c INPROCESSING
1611.16/1615.81 c GARBAGE COLLECT
1611.16/1615.81 c rational objective 80
1666.92/1671.71 c #Conflicts: 503000 | #Constraints: 77468
1666.92/1671.71 c #Conflicts: 504000 | #Constraints: 78468
1666.92/1671.71 c #Conflicts: 505000 | #Constraints: 79468
1666.92/1671.71 c #Conflicts: 506000 | #Constraints: 80468
1666.92/1671.71 c #Conflicts: 507000 | #Constraints: 81468
1666.92/1671.71 c #Conflicts: 508000 | #Constraints: 82468
1666.92/1671.71 c #Conflicts: 509000 | #Constraints: 83468
1666.92/1671.71 c #Conflicts: 510000 | #Constraints: 84468
1666.92/1671.71 c #Conflicts: 511000 | #Constraints: 85468
1666.92/1671.71 c #Conflicts: 512000 | #Constraints: 86468
1666.92/1671.71 c #Conflicts: 513000 | #Constraints: 87468
1666.92/1671.71 c #Conflicts: 514000 | #Constraints: 88468
1666.92/1671.71 c #Conflicts: 515000 | #Constraints: 89468
1666.92/1671.71 c #Conflicts: 516000 | #Constraints: 90468
1666.92/1671.71 c INPROCESSING
1666.92/1671.71 c GARBAGE COLLECT
1666.92/1671.71 c rational objective 80
1721.97/1727.00 c #Conflicts: 517000 | #Constraints: 77289
1721.97/1727.00 c #Conflicts: 518000 | #Constraints: 78289
1721.97/1727.00 c #Conflicts: 519000 | #Constraints: 79289
1721.97/1727.00 c #Conflicts: 520000 | #Constraints: 80289
1721.97/1727.00 c #Conflicts: 521000 | #Constraints: 81289
1721.97/1727.00 c #Conflicts: 522000 | #Constraints: 82289
1721.97/1727.00 c #Conflicts: 523000 | #Constraints: 83289
1721.97/1727.00 c #Conflicts: 524000 | #Constraints: 84289
1721.97/1727.00 c #Conflicts: 525000 | #Constraints: 85289
1721.97/1727.00 c #Conflicts: 526000 | #Constraints: 86289
1721.97/1727.00 c #Conflicts: 527000 | #Constraints: 87289
1721.97/1727.00 c #Conflicts: 528000 | #Constraints: 88289
1721.97/1727.00 c #Conflicts: 529000 | #Constraints: 89289
1721.97/1727.00 c #Conflicts: 530000 | #Constraints: 90289
1721.97/1727.00 c #Conflicts: 531000 | #Constraints: 91289
1721.97/1727.00 c INPROCESSING
1721.97/1727.00 c GARBAGE COLLECT
1721.97/1727.00 c #Conflicts: 532000 | #Constraints: 77863
1721.97/1727.00 c #Conflicts: 533000 | #Constraints: 78863
1721.97/1727.00 c #Conflicts: 534000 | #Constraints: 79863
1721.97/1727.00 c #Conflicts: 535000 | #Constraints: 80863
1721.97/1727.00 c #Conflicts: 536000 | #Constraints: 81863
1721.97/1727.00 c #Conflicts: 537000 | #Constraints: 82863
1721.97/1727.00 c #Conflicts: 538000 | #Constraints: 83863
1721.97/1727.00 c #Conflicts: 539000 | #Constraints: 84863
1721.97/1727.00 c #Conflicts: 540000 | #Constraints: 85863
1721.97/1727.00 c #Conflicts: 541000 | #Constraints: 86863
1721.97/1727.00 c #Conflicts: 542000 | #Constraints: 87863
1721.97/1727.00 c #Conflicts: 543000 | #Constraints: 88863
1721.97/1727.00 c #Conflicts: 544000 | #Constraints: 89863
1721.97/1727.00 c #Conflicts: 545000 | #Constraints: 90863
1721.97/1727.00 c #Conflicts: 546000 | #Constraints: 91863
1721.97/1727.00 c INPROCESSING
1721.97/1727.00 c GARBAGE COLLECT
1721.97/1727.00 c rational objective 80
1791.39/1796.54 c #Conflicts: 547000 | #Constraints: 78259
1791.39/1796.54 c #Conflicts: 548000 | #Constraints: 79259
1791.39/1796.54 c #Conflicts: 549000 | #Constraints: 80259
1791.39/1796.54 c #Conflicts: 550000 | #Constraints: 81259
1791.39/1796.54 c #Conflicts: 551000 | #Constraints: 82259
1791.39/1796.54 c #Conflicts: 552000 | #Constraints: 83259
1791.39/1796.54 c #Conflicts: 553000 | #Constraints: 84259
1791.39/1796.54 c #Conflicts: 554000 | #Constraints: 85259
1791.39/1796.54 c #Conflicts: 555000 | #Constraints: 86259
1791.39/1796.54 c #Conflicts: 556000 | #Constraints: 87259
1791.39/1796.54 c #Conflicts: 557000 | #Constraints: 88259
1791.39/1796.54 c #Conflicts: 558000 | #Constraints: 89259
1791.39/1796.54 c #Conflicts: 559000 | #Constraints: 90259
1791.39/1796.54 c #Conflicts: 560000 | #Constraints: 91259
1791.39/1796.54 c #Conflicts: 561000 | #Constraints: 92260
1791.39/1796.54 c INPROCESSING
1791.39/1796.54 c GARBAGE COLLECT
1791.39/1796.54 c rational objective 80
1850.35/1855.67 c #Conflicts: 562000 | #Constraints: 78455
1850.35/1855.67 c #Conflicts: 563000 | #Constraints: 79455
1850.35/1855.67 c #Conflicts: 564000 | #Constraints: 80455
1850.35/1855.67 c #Conflicts: 565000 | #Constraints: 81455
1850.35/1855.67 c #Conflicts: 566000 | #Constraints: 82455
1850.35/1855.67 c #Conflicts: 567000 | #Constraints: 83455
1850.35/1855.67 c #Conflicts: 568000 | #Constraints: 84455
1850.35/1855.67 c #Conflicts: 569000 | #Constraints: 85455
1850.35/1855.67 c #Conflicts: 570000 | #Constraints: 86455
1850.35/1855.67 c #Conflicts: 571000 | #Constraints: 87455
1850.35/1855.67 c #Conflicts: 572000 | #Constraints: 88455
1850.35/1855.67 c #Conflicts: 573000 | #Constraints: 89455
1850.35/1855.67 c #Conflicts: 574000 | #Constraints: 90455
1850.35/1855.67 c #Conflicts: 575000 | #Constraints: 91455
1850.35/1855.67 c #Conflicts: 576000 | #Constraints: 92455
1850.35/1855.67 c INPROCESSING
1850.35/1855.67 c GARBAGE COLLECT
1850.35/1855.67 c #Conflicts: 577000 | #Constraints: 78455
1850.35/1855.67 c #Conflicts: 578000 | #Constraints: 79455
1850.35/1855.67 c #Conflicts: 579000 | #Constraints: 80455
1850.35/1855.67 c #Conflicts: 580000 | #Constraints: 81455
1850.35/1855.67 c #Conflicts: 581000 | #Constraints: 82455
1850.35/1855.67 c #Conflicts: 582000 | #Constraints: 83455
1850.35/1855.67 c #Conflicts: 583000 | #Constraints: 84455
1850.35/1855.67 c #Conflicts: 584000 | #Constraints: 85455
1850.35/1855.67 c #Conflicts: 585000 | #Constraints: 86455
1850.35/1855.67 c #Conflicts: 586000 | #Constraints: 87455
1850.35/1855.67 c #Conflicts: 587000 | #Constraints: 88455
1850.35/1855.67 c #Conflicts: 588000 | #Constraints: 89455
1850.35/1855.67 c #Conflicts: 589000 | #Constraints: 90455
1850.35/1855.67 c #Conflicts: 590000 | #Constraints: 91455
1850.35/1855.67 c #Conflicts: 591000 | #Constraints: 92455
1850.35/1855.67 c INPROCESSING
1850.35/1855.67 c GARBAGE COLLECT
1850.35/1855.67 c rational objective 80
1948.98/1954.57 c #Conflicts: 592000 | #Constraints: 78253
1948.98/1954.57 c #Conflicts: 593000 | #Constraints: 79253
1948.98/1954.57 c #Conflicts: 594000 | #Constraints: 80253
1948.98/1954.57 c #Conflicts: 595000 | #Constraints: 81253
1948.98/1954.57 c #Conflicts: 596000 | #Constraints: 82253
1948.98/1954.57 c #Conflicts: 597000 | #Constraints: 83253
1948.98/1954.57 c #Conflicts: 598000 | #Constraints: 84253
1948.98/1954.57 c #Conflicts: 599000 | #Constraints: 85253
1948.98/1954.57 c #Conflicts: 600000 | #Constraints: 86253
1948.98/1954.57 c #Conflicts: 601000 | #Constraints: 87253
1948.98/1954.57 c #Conflicts: 602000 | #Constraints: 88253
1948.98/1954.57 c #Conflicts: 603000 | #Constraints: 89253
1948.98/1954.57 c #Conflicts: 604000 | #Constraints: 90253
1948.98/1954.57 c #Conflicts: 605000 | #Constraints: 91253
1948.98/1954.57 c #Conflicts: 606000 | #Constraints: 92253
1948.98/1954.57 c #Conflicts: 607000 | #Constraints: 93253
1948.98/1954.57 c INPROCESSING
1948.98/1954.57 c GARBAGE COLLECT
1948.98/1954.57 c rational objective 80
1995.26/2001.00 c #Conflicts: 608000 | #Constraints: 78854
1995.26/2001.00 c #Conflicts: 609000 | #Constraints: 79854
1995.26/2001.00 c #Conflicts: 610000 | #Constraints: 80854
1995.26/2001.00 c #Conflicts: 611000 | #Constraints: 81854
1995.26/2001.00 c #Conflicts: 612000 | #Constraints: 82854
1995.26/2001.00 c #Conflicts: 613000 | #Constraints: 83854
1995.26/2001.00 c #Conflicts: 614000 | #Constraints: 84854
1995.26/2001.00 c #Conflicts: 615000 | #Constraints: 85854
1995.26/2001.00 c #Conflicts: 616000 | #Constraints: 86854
1995.26/2001.00 c #Conflicts: 617000 | #Constraints: 87854
1995.26/2001.00 c #Conflicts: 618000 | #Constraints: 88854
1995.26/2001.00 c #Conflicts: 619000 | #Constraints: 89854
1995.26/2001.00 c #Conflicts: 620000 | #Constraints: 90854
1995.26/2001.00 c #Conflicts: 621000 | #Constraints: 91854
1995.26/2001.00 c #Conflicts: 622000 | #Constraints: 92854
1995.26/2001.00 c #Conflicts: 623000 | #Constraints: 93854
1995.26/2001.00 c INPROCESSING
1995.26/2001.00 c GARBAGE COLLECT
1995.26/2001.00 c rational objective 80
2047.43/2053.29 c #Conflicts: 624000 | #Constraints: 79244
2047.43/2053.29 c #Conflicts: 625000 | #Constraints: 80244
2047.43/2053.29 c #Conflicts: 626000 | #Constraints: 81244
2047.43/2053.29 c #Conflicts: 627000 | #Constraints: 82244
2047.43/2053.29 c #Conflicts: 628000 | #Constraints: 83244
2047.43/2053.29 c #Conflicts: 629000 | #Constraints: 84244
2047.43/2053.29 c #Conflicts: 630000 | #Constraints: 85244
2047.43/2053.29 c #Conflicts: 631000 | #Constraints: 86244
2047.43/2053.29 c #Conflicts: 632000 | #Constraints: 87244
2047.43/2053.29 c #Conflicts: 633000 | #Constraints: 88244
2047.43/2053.29 c #Conflicts: 634000 | #Constraints: 89244
2047.43/2053.29 c #Conflicts: 635000 | #Constraints: 90244
2047.43/2053.29 c #Conflicts: 636000 | #Constraints: 91244
2047.43/2053.29 c #Conflicts: 637000 | #Constraints: 92244
2047.43/2053.29 c #Conflicts: 638000 | #Constraints: 93244
2047.43/2053.29 c #Conflicts: 639000 | #Constraints: 94244
2047.43/2053.29 c INPROCESSING
2047.43/2053.29 c GARBAGE COLLECT
2047.43/2053.29 c rational objective 80
2133.41/2139.47 c #Conflicts: 640000 | #Constraints: 79439
2133.41/2139.47 c #Conflicts: 641000 | #Constraints: 80439
2133.41/2139.47 c #Conflicts: 642000 | #Constraints: 81439
2133.41/2139.47 c #Conflicts: 643000 | #Constraints: 82439
2133.41/2139.47 c #Conflicts: 644000 | #Constraints: 83439
2133.41/2139.47 c #Conflicts: 645000 | #Constraints: 84439
2133.41/2139.47 c #Conflicts: 646000 | #Constraints: 85439
2133.41/2139.47 c #Conflicts: 647000 | #Constraints: 86439
2133.41/2139.47 c #Conflicts: 648000 | #Constraints: 87439
2133.41/2139.47 c #Conflicts: 649000 | #Constraints: 88439
2133.41/2139.47 c #Conflicts: 650000 | #Constraints: 89439
2133.41/2139.47 c #Conflicts: 651000 | #Constraints: 90439
2133.41/2139.47 c #Conflicts: 652000 | #Constraints: 91439
2133.41/2139.47 c #Conflicts: 653000 | #Constraints: 92439
2133.41/2139.47 c #Conflicts: 654000 | #Constraints: 93439
2133.41/2139.47 c #Conflicts: 655000 | #Constraints: 94439
2133.41/2139.47 c INPROCESSING
2133.41/2139.47 c GARBAGE COLLECT
2133.41/2139.47 c rational objective 80
2183.48/2189.69 c #Conflicts: 656000 | #Constraints: 79448
2183.48/2189.69 c #Conflicts: 657000 | #Constraints: 80448
2183.48/2189.69 c #Conflicts: 658000 | #Constraints: 81448
2183.48/2189.69 c #Conflicts: 659000 | #Constraints: 82448
2183.48/2189.69 c #Conflicts: 660000 | #Constraints: 83448
2183.48/2189.69 c #Conflicts: 661000 | #Constraints: 84448
2183.48/2189.69 c #Conflicts: 662000 | #Constraints: 85448
2183.48/2189.69 c #Conflicts: 663000 | #Constraints: 86448
2183.48/2189.69 c #Conflicts: 664000 | #Constraints: 87448
2183.48/2189.69 c #Conflicts: 665000 | #Constraints: 88448
2183.48/2189.69 c #Conflicts: 666000 | #Constraints: 89448
2183.48/2189.69 c #Conflicts: 667000 | #Constraints: 90448
2183.48/2189.69 c #Conflicts: 668000 | #Constraints: 91448
2183.48/2189.69 c #Conflicts: 669000 | #Constraints: 92448
2183.48/2189.69 c #Conflicts: 670000 | #Constraints: 93448
2183.48/2189.69 c #Conflicts: 671000 | #Constraints: 94448
2183.48/2189.69 c INPROCESSING
2183.48/2189.69 c GARBAGE COLLECT
2183.48/2189.69 c rational objective 80
2239.85/2246.17 c #Conflicts: 672000 | #Constraints: 79285
2239.85/2246.17 c #Conflicts: 673000 | #Constraints: 80285
2239.85/2246.17 c #Conflicts: 674000 | #Constraints: 81285
2239.85/2246.17 c #Conflicts: 675000 | #Constraints: 82285
2239.85/2246.17 c #Conflicts: 676000 | #Constraints: 83285
2239.85/2246.17 c #Conflicts: 677000 | #Constraints: 84285
2239.85/2246.17 c #Conflicts: 678000 | #Constraints: 85285
2239.85/2246.17 c #Conflicts: 679000 | #Constraints: 86285
2239.85/2246.17 c #Conflicts: 680000 | #Constraints: 87285
2239.85/2246.17 c #Conflicts: 681000 | #Constraints: 88285
2239.85/2246.17 c #Conflicts: 682000 | #Constraints: 89285
2239.85/2246.17 c #Conflicts: 683000 | #Constraints: 90285
2239.85/2246.17 c #Conflicts: 684000 | #Constraints: 91285
2239.85/2246.17 c #Conflicts: 685000 | #Constraints: 92285
2239.85/2246.17 c #Conflicts: 686000 | #Constraints: 93285
2239.85/2246.17 c #Conflicts: 687000 | #Constraints: 94285
2239.85/2246.17 c #Conflicts: 688000 | #Constraints: 95285
2239.85/2246.17 c INPROCESSING
2239.85/2246.17 c GARBAGE COLLECT
2239.85/2246.17 c rational objective 80
2304.42/2310.94 c #Conflicts: 689000 | #Constraints: 79864
2304.42/2310.94 c #Conflicts: 690000 | #Constraints: 80864
2304.42/2310.94 c #Conflicts: 691000 | #Constraints: 81864
2304.42/2310.94 c #Conflicts: 692000 | #Constraints: 82864
2304.42/2310.94 c #Conflicts: 693000 | #Constraints: 83864
2304.42/2310.94 c #Conflicts: 694000 | #Constraints: 84864
2304.42/2310.94 c #Conflicts: 695000 | #Constraints: 85865
2304.42/2310.94 c #Conflicts: 696000 | #Constraints: 86865
2304.42/2310.94 c #Conflicts: 697000 | #Constraints: 87865
2304.42/2310.94 c #Conflicts: 698000 | #Constraints: 88865
2304.42/2310.94 c #Conflicts: 699000 | #Constraints: 89865
2304.42/2310.94 c #Conflicts: 700000 | #Constraints: 90865
2304.42/2310.94 c #Conflicts: 701000 | #Constraints: 91865
2304.42/2310.94 c #Conflicts: 702000 | #Constraints: 92865
2304.42/2310.94 c #Conflicts: 703000 | #Constraints: 93865
2304.42/2310.94 c #Conflicts: 704000 | #Constraints: 94865
2304.42/2310.94 c #Conflicts: 705000 | #Constraints: 95865
2304.42/2310.94 c INPROCESSING
2304.42/2310.94 c GARBAGE COLLECT
2304.42/2310.94 c #Conflicts: 706000 | #Constraints: 80265
2304.42/2310.94 c #Conflicts: 707000 | #Constraints: 81265
2304.42/2310.94 c #Conflicts: 708000 | #Constraints: 82265
2304.42/2310.94 c #Conflicts: 709000 | #Constraints: 83265
2304.42/2310.94 c #Conflicts: 710000 | #Constraints: 84265
2304.42/2310.94 c #Conflicts: 711000 | #Constraints: 85265
2304.42/2310.94 c #Conflicts: 712000 | #Constraints: 86265
2304.42/2310.94 c #Conflicts: 713000 | #Constraints: 87265
2304.42/2310.94 c #Conflicts: 714000 | #Constraints: 88265
2304.42/2310.94 c #Conflicts: 715000 | #Constraints: 89265
2304.42/2310.94 c #Conflicts: 716000 | #Constraints: 90265
2304.42/2310.94 c #Conflicts: 717000 | #Constraints: 91265
2304.42/2310.94 c #Conflicts: 718000 | #Constraints: 92265
2304.42/2310.94 c #Conflicts: 719000 | #Constraints: 93265
2304.42/2310.94 c #Conflicts: 720000 | #Constraints: 94265
2304.42/2310.94 c #Conflicts: 721000 | #Constraints: 95265
2304.42/2310.94 c #Conflicts: 722000 | #Constraints: 96265
2304.42/2310.94 c INPROCESSING
2304.42/2310.94 c GARBAGE COLLECT
2304.42/2310.94 c rational objective 80
2387.33/2394.09 c #Conflicts: 723000 | #Constraints: 80495
2387.33/2394.09 c #Conflicts: 724000 | #Constraints: 81495
2387.33/2394.09 c #Conflicts: 725000 | #Constraints: 82495
2387.33/2394.09 c #Conflicts: 726000 | #Constraints: 83495
2387.33/2394.09 c #Conflicts: 727000 | #Constraints: 84495
2387.33/2394.09 c #Conflicts: 728000 | #Constraints: 85495
2387.33/2394.09 c #Conflicts: 729000 | #Constraints: 86495
2387.33/2394.09 c #Conflicts: 730000 | #Constraints: 87495
2387.33/2394.09 c #Conflicts: 731000 | #Constraints: 88495
2387.33/2394.09 c #Conflicts: 732000 | #Constraints: 89495
2387.33/2394.09 c #Conflicts: 733000 | #Constraints: 90495
2387.33/2394.09 c #Conflicts: 734000 | #Constraints: 91495
2387.33/2394.09 c #Conflicts: 735000 | #Constraints: 92495
2387.33/2394.09 c #Conflicts: 736000 | #Constraints: 93495
2387.33/2394.09 c #Conflicts: 737000 | #Constraints: 94495
2387.33/2394.09 c #Conflicts: 738000 | #Constraints: 95495
2387.33/2394.09 c #Conflicts: 739000 | #Constraints: 96495
2387.33/2394.09 c INPROCESSING
2387.33/2394.09 c GARBAGE COLLECT
2387.33/2394.09 c rational objective 80
2443.13/2450.03 c #Conflicts: 740000 | #Constraints: 80469
2443.13/2450.03 c #Conflicts: 741000 | #Constraints: 81469
2443.13/2450.03 c #Conflicts: 742000 | #Constraints: 82469
2443.13/2450.03 c #Conflicts: 743000 | #Constraints: 83469
2443.13/2450.03 c #Conflicts: 744000 | #Constraints: 84469
2443.13/2450.03 c #Conflicts: 745000 | #Constraints: 85469
2443.13/2450.03 c #Conflicts: 746000 | #Constraints: 86469
2443.13/2450.03 c #Conflicts: 747000 | #Constraints: 87469
2443.13/2450.03 c #Conflicts: 748000 | #Constraints: 88469
2443.13/2450.03 c #Conflicts: 749000 | #Constraints: 89469
2443.13/2450.03 c #Conflicts: 750000 | #Constraints: 90469
2443.13/2450.03 c #Conflicts: 751000 | #Constraints: 91469
2443.13/2450.03 c #Conflicts: 752000 | #Constraints: 92469
2443.13/2450.03 c #Conflicts: 753000 | #Constraints: 93469
2443.13/2450.03 c #Conflicts: 754000 | #Constraints: 94469
2443.13/2450.03 c #Conflicts: 755000 | #Constraints: 95469
2443.13/2450.03 c #Conflicts: 756000 | #Constraints: 96469
2443.13/2450.03 c INPROCESSING
2443.13/2450.03 c GARBAGE COLLECT
2443.13/2450.03 c rational objective 80
2511.02/2518.15 c #Conflicts: 757000 | #Constraints: 80298
2511.02/2518.15 c #Conflicts: 758000 | #Constraints: 81298
2511.02/2518.15 c #Conflicts: 759000 | #Constraints: 82298
2511.02/2518.15 c #Conflicts: 760000 | #Constraints: 83298
2511.02/2518.15 c #Conflicts: 761000 | #Constraints: 84298
2511.02/2518.15 c #Conflicts: 762000 | #Constraints: 85298
2511.02/2518.15 c #Conflicts: 763000 | #Constraints: 86298
2511.02/2518.15 c #Conflicts: 764000 | #Constraints: 87298
2511.02/2518.15 c #Conflicts: 765000 | #Constraints: 88298
2511.02/2518.15 c #Conflicts: 766000 | #Constraints: 89298
2511.02/2518.15 c #Conflicts: 767000 | #Constraints: 90298
2511.02/2518.15 c #Conflicts: 768000 | #Constraints: 91298
2511.02/2518.15 c #Conflicts: 769000 | #Constraints: 92298
2511.02/2518.15 c #Conflicts: 770000 | #Constraints: 93298
2511.02/2518.15 c #Conflicts: 771000 | #Constraints: 94298
2511.02/2518.15 c #Conflicts: 772000 | #Constraints: 95298
2511.02/2518.15 c #Conflicts: 773000 | #Constraints: 96298
2511.02/2518.15 c #Conflicts: 774000 | #Constraints: 97298
2511.02/2518.15 c INPROCESSING
2511.02/2518.15 c GARBAGE COLLECT
2511.02/2518.15 c rational objective 80
2566.94/2574.26 c #Conflicts: 775000 | #Constraints: 80907
2566.94/2574.26 c #Conflicts: 776000 | #Constraints: 81907
2566.94/2574.26 c #Conflicts: 777000 | #Constraints: 82907
2566.94/2574.26 c #Conflicts: 778000 | #Constraints: 83907
2566.94/2574.26 c #Conflicts: 779000 | #Constraints: 84907
2566.94/2574.26 c #Conflicts: 780000 | #Constraints: 85907
2566.94/2574.26 c #Conflicts: 781000 | #Constraints: 86907
2566.94/2574.26 c #Conflicts: 782000 | #Constraints: 87907
2566.94/2574.26 c #Conflicts: 783000 | #Constraints: 88907
2566.94/2574.26 c #Conflicts: 784000 | #Constraints: 89907
2566.94/2574.26 c #Conflicts: 785000 | #Constraints: 90907
2566.94/2574.26 c #Conflicts: 786000 | #Constraints: 91907
2566.94/2574.26 c #Conflicts: 787000 | #Constraints: 92907
2566.94/2574.26 c #Conflicts: 788000 | #Constraints: 93907
2566.94/2574.26 c #Conflicts: 789000 | #Constraints: 94907
2566.94/2574.26 c #Conflicts: 790000 | #Constraints: 95907
2566.94/2574.26 c #Conflicts: 791000 | #Constraints: 96907
2566.94/2574.26 c #Conflicts: 792000 | #Constraints: 97907
2566.94/2574.26 c INPROCESSING
2566.94/2574.26 c GARBAGE COLLECT
2566.94/2574.26 c rational objective 80
2650.87/2659.26 c #Conflicts: 793000 | #Constraints: 81321
2650.87/2659.26 c #Conflicts: 794000 | #Constraints: 82321
2650.87/2659.26 c #Conflicts: 795000 | #Constraints: 83321
2650.87/2659.26 c #Conflicts: 796000 | #Constraints: 84321
2650.87/2659.26 c #Conflicts: 797000 | #Constraints: 85321
2650.87/2659.26 c #Conflicts: 798000 | #Constraints: 86321
2650.87/2659.26 c #Conflicts: 799000 | #Constraints: 87321
2650.87/2659.26 c #Conflicts: 800000 | #Constraints: 88321
2650.87/2659.26 c #Conflicts: 801000 | #Constraints: 89321
2650.87/2659.26 c #Conflicts: 802000 | #Constraints: 90322
2650.87/2659.26 c #Conflicts: 803000 | #Constraints: 91322
2650.87/2659.26 c #Conflicts: 804000 | #Constraints: 92322
2650.87/2659.26 c #Conflicts: 805000 | #Constraints: 93322
2650.87/2659.26 c #Conflicts: 806000 | #Constraints: 94322
2650.87/2659.26 c #Conflicts: 807000 | #Constraints: 95322
2650.87/2659.26 c #Conflicts: 808000 | #Constraints: 96322
2650.87/2659.26 c #Conflicts: 809000 | #Constraints: 97322
2650.87/2659.26 c #Conflicts: 810000 | #Constraints: 98322
2650.87/2659.26 c INPROCESSING
2650.87/2659.26 c GARBAGE COLLECT
2650.87/2659.26 c rational objective 80
2704.13/2712.68 c #Conflicts: 811000 | #Constraints: 81491
2704.13/2712.68 c #Conflicts: 812000 | #Constraints: 82491
2704.13/2712.68 c #Conflicts: 813000 | #Constraints: 83491
2704.13/2712.68 c #Conflicts: 814000 | #Constraints: 84491
2704.13/2712.68 c #Conflicts: 815000 | #Constraints: 85491
2704.13/2712.68 c #Conflicts: 816000 | #Constraints: 86491
2704.13/2712.68 c #Conflicts: 817000 | #Constraints: 87491
2704.13/2712.68 c #Conflicts: 818000 | #Constraints: 88491
2704.13/2712.68 c #Conflicts: 819000 | #Constraints: 89491
2704.13/2712.68 c #Conflicts: 820000 | #Constraints: 90491
2704.13/2712.68 c #Conflicts: 821000 | #Constraints: 91491
2704.13/2712.68 c #Conflicts: 822000 | #Constraints: 92491
2704.13/2712.68 c #Conflicts: 823000 | #Constraints: 93491
2704.13/2712.68 c #Conflicts: 824000 | #Constraints: 94491
2704.13/2712.68 c #Conflicts: 825000 | #Constraints: 95491
2704.13/2712.68 c #Conflicts: 826000 | #Constraints: 96491
2704.13/2712.68 c #Conflicts: 827000 | #Constraints: 97491
2704.13/2712.68 c #Conflicts: 828000 | #Constraints: 98491
2704.13/2712.68 c INPROCESSING
2704.13/2712.68 c GARBAGE COLLECT
2704.13/2712.68 c rational objective 80
2750.31/2758.94 c #Conflicts: 829000 | #Constraints: 81485
2750.31/2758.94 c #Conflicts: 830000 | #Constraints: 82485
2750.31/2758.94 c #Conflicts: 831000 | #Constraints: 83485
2750.31/2758.94 c #Conflicts: 832000 | #Constraints: 84485
2750.31/2758.94 c #Conflicts: 833000 | #Constraints: 85485
2750.31/2758.94 c #Conflicts: 834000 | #Constraints: 86485
2750.31/2758.94 c #Conflicts: 835000 | #Constraints: 87485
2750.31/2758.94 c #Conflicts: 836000 | #Constraints: 88485
2750.31/2758.94 c #Conflicts: 837000 | #Constraints: 89485
2750.31/2758.94 c #Conflicts: 838000 | #Constraints: 90485
2750.31/2758.94 c #Conflicts: 839000 | #Constraints: 91485
2750.31/2758.94 c #Conflicts: 840000 | #Constraints: 92485
2750.31/2758.94 c #Conflicts: 841000 | #Constraints: 93485
2750.31/2758.94 c #Conflicts: 842000 | #Constraints: 94485
2750.31/2758.94 c #Conflicts: 843000 | #Constraints: 95485
2750.31/2758.94 c #Conflicts: 844000 | #Constraints: 96485
2750.31/2758.94 c #Conflicts: 845000 | #Constraints: 97485
2750.31/2758.94 c #Conflicts: 846000 | #Constraints: 98485
2750.31/2758.94 c INPROCESSING
2750.31/2758.94 c GARBAGE COLLECT
2750.31/2758.94 c rational objective 80
2803.45/2812.23 c #Conflicts: 847000 | #Constraints: 81279
2803.45/2812.23 c #Conflicts: 848000 | #Constraints: 82279
2803.45/2812.23 c #Conflicts: 849000 | #Constraints: 83279
2803.45/2812.23 c #Conflicts: 850000 | #Constraints: 84279
2803.45/2812.23 c #Conflicts: 851000 | #Constraints: 85279
2803.45/2812.23 c #Conflicts: 852000 | #Constraints: 86279
2803.45/2812.23 c #Conflicts: 853000 | #Constraints: 87279
2803.45/2812.23 c #Conflicts: 854000 | #Constraints: 88279
2803.45/2812.23 c #Conflicts: 855000 | #Constraints: 89279
2803.45/2812.23 c #Conflicts: 856000 | #Constraints: 90279
2803.45/2812.23 c #Conflicts: 857000 | #Constraints: 91279
2803.45/2812.23 c #Conflicts: 858000 | #Constraints: 92279
2803.45/2812.23 c #Conflicts: 859000 | #Constraints: 93279
2803.45/2812.23 c #Conflicts: 860000 | #Constraints: 94279
2803.45/2812.23 c #Conflicts: 861000 | #Constraints: 95279
2803.45/2812.23 c #Conflicts: 862000 | #Constraints: 96279
2803.45/2812.23 c #Conflicts: 863000 | #Constraints: 97279
2803.45/2812.23 c #Conflicts: 864000 | #Constraints: 98279
2803.45/2812.23 c #Conflicts: 865000 | #Constraints: 99279
2803.45/2812.23 c INPROCESSING
2803.45/2812.23 c GARBAGE COLLECT
2803.45/2812.23 c rational objective 80
2908.04/2917.15 c #Conflicts: 866000 | #Constraints: 81859
2908.04/2917.15 c #Conflicts: 867000 | #Constraints: 82859
2908.04/2917.15 c #Conflicts: 868000 | #Constraints: 83859
2908.04/2917.15 c #Conflicts: 869000 | #Constraints: 84859
2908.04/2917.15 c #Conflicts: 870000 | #Constraints: 85859
2908.04/2917.15 c #Conflicts: 871000 | #Constraints: 86859
2908.04/2917.15 c #Conflicts: 872000 | #Constraints: 87859
2908.04/2917.15 c #Conflicts: 873000 | #Constraints: 88859
2908.04/2917.15 c #Conflicts: 874000 | #Constraints: 89859
2908.04/2917.15 c #Conflicts: 875000 | #Constraints: 90859
2908.04/2917.15 c #Conflicts: 876000 | #Constraints: 91859
2908.04/2917.15 c #Conflicts: 877000 | #Constraints: 92859
2908.04/2917.15 c #Conflicts: 878000 | #Constraints: 93859
2908.04/2917.15 c #Conflicts: 879000 | #Constraints: 94859
2908.04/2917.15 c #Conflicts: 880000 | #Constraints: 95859
2908.04/2917.15 c #Conflicts: 881000 | #Constraints: 96859
2908.04/2917.15 c #Conflicts: 882000 | #Constraints: 97859
2908.04/2917.15 c #Conflicts: 883000 | #Constraints: 98859
2908.04/2917.15 c #Conflicts: 884000 | #Constraints: 99859
2908.04/2917.15 c INPROCESSING
2908.04/2917.15 c GARBAGE COLLECT
2908.04/2917.15 c rational objective 80
2959.40/2968.61 c #Conflicts: 885000 | #Constraints: 82256
2959.40/2968.61 c #Conflicts: 886000 | #Constraints: 83256
2959.40/2968.61 c #Conflicts: 887000 | #Constraints: 84256
2959.40/2968.61 c #Conflicts: 888000 | #Constraints: 85256
2959.40/2968.61 c #Conflicts: 889000 | #Constraints: 86256
2959.40/2968.61 c #Conflicts: 890000 | #Constraints: 87256
2959.40/2968.61 c #Conflicts: 891000 | #Constraints: 88256
2959.40/2968.61 c #Conflicts: 892000 | #Constraints: 89256
2959.40/2968.61 c #Conflicts: 893000 | #Constraints: 90256
2959.40/2968.61 c #Conflicts: 894000 | #Constraints: 91256
2959.40/2968.61 c #Conflicts: 895000 | #Constraints: 92256
2959.40/2968.61 c #Conflicts: 896000 | #Constraints: 93256
2959.40/2968.61 c #Conflicts: 897000 | #Constraints: 94256
2959.40/2968.61 c #Conflicts: 898000 | #Constraints: 95256
2959.40/2968.61 c #Conflicts: 899000 | #Constraints: 96256
2959.40/2968.61 c #Conflicts: 900000 | #Constraints: 97256
2959.40/2968.61 c #Conflicts: 901000 | #Constraints: 98256
2959.40/2968.61 c #Conflicts: 902000 | #Constraints: 99256
2959.40/2968.61 c #Conflicts: 903000 | #Constraints: 100256
2959.40/2968.61 c INPROCESSING
2959.40/2968.61 c GARBAGE COLLECT
2959.40/2968.61 c rational objective 80
3016.85/3026.21 c #Conflicts: 904000 | #Constraints: 82449
3016.85/3026.21 c #Conflicts: 905000 | #Constraints: 83449
3016.85/3026.21 c #Conflicts: 906000 | #Constraints: 84449
3016.85/3026.21 c #Conflicts: 907000 | #Constraints: 85449
3016.85/3026.21 c #Conflicts: 908000 | #Constraints: 86449
3016.85/3026.21 c #Conflicts: 909000 | #Constraints: 87449
3016.85/3026.21 c #Conflicts: 910000 | #Constraints: 88449
3016.85/3026.21 c #Conflicts: 911000 | #Constraints: 89449
3016.85/3026.21 c #Conflicts: 912000 | #Constraints: 90449
3016.85/3026.21 c #Conflicts: 913000 | #Constraints: 91449
3016.85/3026.21 c #Conflicts: 914000 | #Constraints: 92449
3016.85/3026.21 c #Conflicts: 915000 | #Constraints: 93449
3016.85/3026.21 c #Conflicts: 916000 | #Constraints: 94449
3016.85/3026.21 c #Conflicts: 917000 | #Constraints: 95449
3016.85/3026.21 c #Conflicts: 918000 | #Constraints: 96449
3016.85/3026.21 c #Conflicts: 919000 | #Constraints: 97449
3016.85/3026.21 c #Conflicts: 920000 | #Constraints: 98449
3016.85/3026.21 c #Conflicts: 921000 | #Constraints: 99449
3016.85/3026.21 c #Conflicts: 922000 | #Constraints: 100449
3016.85/3026.21 c INPROCESSING
3016.85/3026.21 c GARBAGE COLLECT
3016.85/3026.21 c rational objective 80
3067.54/3077.02 c #Conflicts: 923000 | #Constraints: 82451
3067.54/3077.02 c #Conflicts: 924000 | #Constraints: 83451
3067.54/3077.02 c #Conflicts: 925000 | #Constraints: 84451
3067.54/3077.02 c #Conflicts: 926000 | #Constraints: 85451
3067.54/3077.02 c #Conflicts: 927000 | #Constraints: 86451
3067.54/3077.02 c #Conflicts: 928000 | #Constraints: 87451
3067.54/3077.02 c #Conflicts: 929000 | #Constraints: 88451
3067.54/3077.02 c #Conflicts: 930000 | #Constraints: 89451
3067.54/3077.02 c #Conflicts: 931000 | #Constraints: 90451
3067.54/3077.02 c #Conflicts: 932000 | #Constraints: 91451
3067.54/3077.02 c #Conflicts: 933000 | #Constraints: 92451
3067.54/3077.02 c #Conflicts: 934000 | #Constraints: 93451
3067.54/3077.02 c #Conflicts: 935000 | #Constraints: 94451
3067.54/3077.02 c #Conflicts: 936000 | #Constraints: 95451
3067.54/3077.02 c #Conflicts: 937000 | #Constraints: 96451
3067.54/3077.02 c #Conflicts: 938000 | #Constraints: 97451
3067.54/3077.02 c #Conflicts: 939000 | #Constraints: 98451
3067.54/3077.02 c #Conflicts: 940000 | #Constraints: 99451
3067.54/3077.02 c #Conflicts: 941000 | #Constraints: 100451
3067.54/3077.02 c INPROCESSING
3067.54/3077.02 c GARBAGE COLLECT
3067.54/3077.02 c rational objective 80
3093.96/3103.55 c #Conflicts: 942000 | #Constraints: 82262
3093.96/3103.55 c #Conflicts: 943000 | #Constraints: 83262
3093.96/3103.55 c #Conflicts: 944000 | #Constraints: 84263
3093.96/3103.55 c #Conflicts: 945000 | #Constraints: 85263
3093.96/3103.55 c #Conflicts: 946000 | #Constraints: 86263
3093.96/3103.55 c #Conflicts: 947000 | #Constraints: 87263
3093.96/3103.55 c #Conflicts: 948000 | #Constraints: 88263
3093.96/3103.55 c #Conflicts: 949000 | #Constraints: 89263
3093.96/3103.55 c #Conflicts: 950000 | #Constraints: 90263
3093.96/3103.55 WSVECS04 Frhs2[7587]: 6 -10 0 shouldn't be
3121.09/3130.73 c #Conflicts: 951000 | #Constraints: 91263
3121.09/3130.73 c #Conflicts: 952000 | #Constraints: 92263
3121.09/3130.73 c #Conflicts: 953000 | #Constraints: 93263
3121.09/3130.73 c #Conflicts: 954000 | #Constraints: 94263
3121.09/3130.73 c #Conflicts: 955000 | #Constraints: 95263
3121.09/3130.73 c #Conflicts: 956000 | #Constraints: 96263
3121.09/3130.73 c #Conflicts: 957000 | #Constraints: 97263
3121.09/3130.73 c #Conflicts: 958000 | #Constraints: 98263
3121.09/3130.73 c #Conflicts: 959000 | #Constraints: 99263
3121.09/3130.73 c #Conflicts: 960000 | #Constraints: 100263
3121.09/3130.73 c #Conflicts: 961000 | #Constraints: 101263
3121.09/3130.73 c INPROCESSING
3121.09/3130.73 c GARBAGE COLLECT
3121.09/3130.73 c rational objective 80
3187.72/3197.59 c #Conflicts: 962000 | #Constraints: 82892
3187.72/3197.59 c #Conflicts: 963000 | #Constraints: 83892
3187.72/3197.59 c #Conflicts: 964000 | #Constraints: 84892
3187.72/3197.59 c #Conflicts: 965000 | #Constraints: 85892
3187.72/3197.59 c #Conflicts: 966000 | #Constraints: 86892
3187.72/3197.59 c #Conflicts: 967000 | #Constraints: 87892
3187.72/3197.59 c #Conflicts: 968000 | #Constraints: 88892
3187.72/3197.59 c #Conflicts: 969000 | #Constraints: 89892
3187.72/3197.59 c #Conflicts: 970000 | #Constraints: 90892
3187.72/3197.59 c #Conflicts: 971000 | #Constraints: 91892
3187.72/3197.59 c #Conflicts: 972000 | #Constraints: 92892
3187.72/3197.59 c #Conflicts: 973000 | #Constraints: 93892
3187.72/3197.59 c #Conflicts: 974000 | #Constraints: 94892
3187.72/3197.59 c #Conflicts: 975000 | #Constraints: 95892
3187.72/3197.59 c #Conflicts: 976000 | #Constraints: 96892
3187.72/3197.59 c #Conflicts: 977000 | #Constraints: 97892
3187.72/3197.59 c #Conflicts: 978000 | #Constraints: 98892
3187.72/3197.59 c #Conflicts: 979000 | #Constraints: 99892
3187.72/3197.59 c #Conflicts: 980000 | #Constraints: 100892
3187.72/3197.59 c #Conflicts: 981000 | #Constraints: 101892
3187.72/3197.59 c INPROCESSING
3187.72/3197.59 c GARBAGE COLLECT
3187.72/3197.59 c rational objective 80
3251.46/3261.47 c #Conflicts: 982000 | #Constraints: 83310
3251.46/3261.47 c #Conflicts: 983000 | #Constraints: 84310
3251.46/3261.47 c #Conflicts: 984000 | #Constraints: 85310
3251.46/3261.47 c #Conflicts: 985000 | #Constraints: 86310
3251.46/3261.47 c #Conflicts: 986000 | #Constraints: 87310
3251.46/3261.47 c #Conflicts: 987000 | #Constraints: 88310
3251.46/3261.47 c #Conflicts: 988000 | #Constraints: 89310
3251.46/3261.47 c #Conflicts: 989000 | #Constraints: 90310
3251.46/3261.47 c #Conflicts: 990000 | #Constraints: 91310
3251.46/3261.47 c #Conflicts: 991000 | #Constraints: 92310
3251.46/3261.47 c #Conflicts: 992000 | #Constraints: 93310
3251.46/3261.47 c #Conflicts: 993000 | #Constraints: 94310
3251.46/3261.47 c #Conflicts: 994000 | #Constraints: 95310
3251.46/3261.47 c #Conflicts: 995000 | #Constraints: 96310
3251.46/3261.47 c #Conflicts: 996000 | #Constraints: 97310
3251.46/3261.47 c #Conflicts: 997000 | #Constraints: 98310
3251.46/3261.47 c #Conflicts: 998000 | #Constraints: 99310
3251.46/3261.47 c #Conflicts: 999000 | #Constraints: 100310
3251.46/3261.47 c #Conflicts: 1000000 | #Constraints: 101310
3251.46/3261.47 c #Conflicts: 1001000 | #Constraints: 102310
3251.46/3261.47 c INPROCESSING
3251.46/3261.47 c GARBAGE COLLECT
3251.46/3261.47 c rational objective 80
3322.28/3332.44 c #Conflicts: 1002000 | #Constraints: 83530
3322.28/3332.44 c #Conflicts: 1003000 | #Constraints: 84530
3322.28/3332.44 c #Conflicts: 1004000 | #Constraints: 85530
3322.28/3332.44 c #Conflicts: 1005000 | #Constraints: 86530
3322.28/3332.44 c #Conflicts: 1006000 | #Constraints: 87530
3322.28/3332.44 c #Conflicts: 1007000 | #Constraints: 88530
3322.28/3332.44 c #Conflicts: 1008000 | #Constraints: 89530
3322.28/3332.44 c #Conflicts: 1009000 | #Constraints: 90530
3322.28/3332.44 c #Conflicts: 1010000 | #Constraints: 91530
3322.28/3332.44 c #Conflicts: 1011000 | #Constraints: 92530
3322.28/3332.44 c #Conflicts: 1012000 | #Constraints: 93530
3322.28/3332.44 c #Conflicts: 1013000 | #Constraints: 94530
3322.28/3332.44 c #Conflicts: 1014000 | #Constraints: 95530
3322.28/3332.44 c #Conflicts: 1015000 | #Constraints: 96530
3322.28/3332.44 c #Conflicts: 1016000 | #Constraints: 97531
3322.28/3332.44 c #Conflicts: 1017000 | #Constraints: 98531
3322.28/3332.44 c #Conflicts: 1018000 | #Constraints: 99531
3322.28/3332.44 c #Conflicts: 1019000 | #Constraints: 100531
3322.28/3332.44 c #Conflicts: 1020000 | #Constraints: 101531
3322.28/3332.44 c #Conflicts: 1021000 | #Constraints: 102531
3322.28/3332.44 c INPROCESSING
3322.28/3332.44 c GARBAGE COLLECT
3322.28/3332.44 c rational objective 80
3390.39/3400.71 c #Conflicts: 1022000 | #Constraints: 83530
3390.39/3400.71 c #Conflicts: 1023000 | #Constraints: 84530
3390.39/3400.71 c #Conflicts: 1024000 | #Constraints: 85530
3390.39/3400.71 c #Conflicts: 1025000 | #Constraints: 86530
3390.39/3400.71 c #Conflicts: 1026000 | #Constraints: 87530
3390.39/3400.71 c #Conflicts: 1027000 | #Constraints: 88530
3390.39/3400.71 c #Conflicts: 1028000 | #Constraints: 89530
3390.39/3400.71 c #Conflicts: 1029000 | #Constraints: 90530
3390.39/3400.71 c #Conflicts: 1030000 | #Constraints: 91530
3390.39/3400.71 c #Conflicts: 1031000 | #Constraints: 92530
3390.39/3400.71 c #Conflicts: 1032000 | #Constraints: 93530
3390.39/3400.71 c #Conflicts: 1033000 | #Constraints: 94530
3390.39/3400.71 c #Conflicts: 1034000 | #Constraints: 95530
3390.39/3400.71 c #Conflicts: 1035000 | #Constraints: 96530
3390.39/3400.71 c #Conflicts: 1036000 | #Constraints: 97530
3390.39/3400.71 c #Conflicts: 1037000 | #Constraints: 98530
3390.39/3400.71 c #Conflicts: 1038000 | #Constraints: 99530
3390.39/3400.71 c #Conflicts: 1039000 | #Constraints: 100530
3390.39/3400.71 c #Conflicts: 1040000 | #Constraints: 101530
3390.39/3400.71 c #Conflicts: 1041000 | #Constraints: 102530
3390.39/3400.71 c INPROCESSING
3390.39/3400.71 c GARBAGE COLLECT
3390.39/3400.71 c rational objective 80
3508.89/3519.60 c #Conflicts: 1042000 | #Constraints: 83323
3508.89/3519.60 c #Conflicts: 1043000 | #Constraints: 84323
3508.89/3519.60 c #Conflicts: 1044000 | #Constraints: 85324
3508.89/3519.60 c #Conflicts: 1045000 | #Constraints: 86324
3508.89/3519.60 c #Conflicts: 1046000 | #Constraints: 87324
3508.89/3519.60 c #Conflicts: 1047000 | #Constraints: 88324
3508.89/3519.60 c #Conflicts: 1048000 | #Constraints: 89324
3508.89/3519.60 c #Conflicts: 1049000 | #Constraints: 90324
3508.89/3519.60 c #Conflicts: 1050000 | #Constraints: 91324
3508.89/3519.60 c #Conflicts: 1051000 | #Constraints: 92324
3508.89/3519.60 c #Conflicts: 1052000 | #Constraints: 93324
3508.89/3519.60 c #Conflicts: 1053000 | #Constraints: 94324
3508.89/3519.60 c #Conflicts: 1054000 | #Constraints: 95324
3508.89/3519.60 c #Conflicts: 1055000 | #Constraints: 96324
3508.89/3519.60 c #Conflicts: 1056000 | #Constraints: 97324
3508.89/3519.60 c #Conflicts: 1057000 | #Constraints: 98324
3508.89/3519.60 c #Conflicts: 1058000 | #Constraints: 99324
3508.89/3519.60 c #Conflicts: 1059000 | #Constraints: 100324
3508.89/3519.60 c #Conflicts: 1060000 | #Constraints: 101324
3508.89/3519.60 c #Conflicts: 1061000 | #Constraints: 102324
3508.89/3519.60 c #Conflicts: 1062000 | #Constraints: 103324
3508.89/3519.60 c INPROCESSING
3508.89/3519.60 c GARBAGE COLLECT
3508.89/3519.60 c rational objective 80
3562.24/3573.04 c #Conflicts: 1063000 | #Constraints: 83925
3562.24/3573.04 c #Conflicts: 1064000 | #Constraints: 84925
3562.24/3573.04 c #Conflicts: 1065000 | #Constraints: 85925
3562.24/3573.04 c #Conflicts: 1066000 | #Constraints: 86925
3562.24/3573.04 c #Conflicts: 1067000 | #Constraints: 87925
3562.24/3573.04 c #Conflicts: 1068000 | #Constraints: 88925
3562.24/3573.04 c #Conflicts: 1069000 | #Constraints: 89925
3562.24/3573.04 c #Conflicts: 1070000 | #Constraints: 90925
3562.24/3573.04 c #Conflicts: 1071000 | #Constraints: 91925
3562.24/3573.04 c #Conflicts: 1072000 | #Constraints: 92925
3562.24/3573.04 c #Conflicts: 1073000 | #Constraints: 93925
3562.24/3573.04 c #Conflicts: 1074000 | #Constraints: 94925
3562.24/3573.04 c #Conflicts: 1075000 | #Constraints: 95925
3562.24/3573.04 c #Conflicts: 1076000 | #Constraints: 96925
3562.24/3573.04 c #Conflicts: 1077000 | #Constraints: 97925
3562.24/3573.04 c #Conflicts: 1078000 | #Constraints: 98925
3562.24/3573.04 c #Conflicts: 1079000 | #Constraints: 99925
3562.24/3573.04 c #Conflicts: 1080000 | #Constraints: 100925
3562.24/3573.04 c #Conflicts: 1081000 | #Constraints: 101925
3562.24/3573.04 c #Conflicts: 1082000 | #Constraints: 102925
3562.24/3573.04 c #Conflicts: 1083000 | #Constraints: 103925
3562.24/3573.04 c INPROCESSING
3562.24/3573.04 c GARBAGE COLLECT
3562.24/3573.04 c rational objective 80
3600.03/3610.90 c #Conflicts: 1084000 | #Constraints: 84289
3600.03/3610.90 c #Conflicts: 1085000 | #Constraints: 85289
3600.03/3610.90 c #Conflicts: 1086000 | #Constraints: 86289
3600.03/3610.90 c #Conflicts: 1087000 | #Constraints: 87289
3600.03/3610.90 c #Conflicts: 1088000 | #Constraints: 88289
3600.03/3610.90 c #Conflicts: 1089000 | #Constraints: 89290
3600.03/3610.90 c #Conflicts: 1090000 | #Constraints: 90290
3600.03/3610.90 c #Conflicts: 1091000 | #Constraints: 91290
3600.03/3610.90 c #Conflicts: 1092000 | #Constraints: 92290
3600.03/3610.90 c #Conflicts: 1093000 | #Constraints: 93290
3600.03/3610.90 c #Conflicts: 1094000 | #Constraints: 94290
3600.03/3610.90 c #Conflicts: 1095000 | #Constraints: 95290
3600.03/3610.90 c #Conflicts: 1096000 | #Constraints: 96290
3600.03/3610.90 c #Conflicts: 1097000 | #Constraints: 97291
3600.03/3610.90 c #Conflicts: 1098000 | #Constraints: 98291
3600.03/3610.90 c #Conflicts: 1099000 | #Constraints: 99291
3600.03/3610.90 c #Conflicts: 1100000 | #Constraints: 100291
3600.03/3610.90 c #Conflicts: 1101000 | #Constraints: 101291
3600.03/3610.90 c #Conflicts: 1102000 | #Constraints: 102291
3600.03/3610.90 c Disabling crashed LP
3600.03/3610.90 c cpu time 3584.6 s
3600.03/3610.90 c deterministic time 25673150405 2.57e+10
3600.03/3610.90 c optimization time 37.2227 s
3600.03/3610.90 c total solve time 3547.02 s
3600.03/3610.90 c core-guided solve time 1191.09 s
3600.03/3610.90 c propagation time 1855.24 s
3600.03/3610.90 c conflict analysis time 66.144 s
3600.03/3610.90 c propagations 205367356
3600.03/3610.90 c resolve steps 13098150
3600.03/3610.90 c decisions 1731708
3600.03/3610.90 c conflicts 1102615
3600.03/3610.90 c restarts 2046
3600.03/3610.90 c inprocessing phases 95
3600.03/3610.90 c garbage collections 89 ,( 93.68 )
3600.03/3610.90 c input clauses 61338 ,( 98.05 )
3600.03/3610.90 c input cardinalities 323 ,( 0.52 )
3600.03/3610.90 c input general constraints 896 ,( 1.43 )
3600.03/3610.90 c input average constraint length 3.23
3600.03/3610.90 c input average constraint degree 1.26
3600.03/3610.90 c learned clauses 799088 ,( 72.41 )
3600.03/3610.90 c learned cardinalities 81067 ,( 7.35 )
3600.03/3610.90 c learned general constraints 223353 ,( 20.24 )
3600.03/3610.90 c learned average constraint length 176.94
3600.03/3610.90 c learned average constraint degree 5558464.21
3600.03/3610.90 c watched CF 32, 64, 128, Arb: 211638 , 0 , 0 , 0
3600.03/3610.90 c counting CF 32, 64, 128, Arb: 12612 , 0 , 0 , 0
3600.03/3610.90 c watched constraints 211638 ,( 94.38 )
3600.03/3610.90 c counting constraints 12611 ,( 5.62 )
3600.03/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 441752761 , 570406987 , 537261242 ,( 407478852 , 129782390 )
3600.03/3610.90 c gcd simplifications 27234
3600.03/3610.90 c detected cardinalities 4358
3600.03/3610.90 c weakened non-implied lits 15093933
3600.03/3610.90 c weakened non-implying lits 11674
3600.03/3610.90 c original variables 20515
3600.03/3610.90 c clausal propagations 192657353
3600.03/3610.90 c cardinality propagations 4618960
3600.03/3610.90 c watched propagations 4776534
3600.03/3610.90 c counting propagations 1573506
3600.03/3610.90 c watch lookups 5246564062
3600.03/3610.90 c watch backjump lookups 0
3600.03/3610.90 c watch checks 16983382429
3600.03/3610.90 c propagation checks 2528235979
3600.03/3610.90 c constraint additions 497507608
3600.03/3610.90 c trail pops 208200986
3600.03/3610.90 c formula constraints 62482
3600.03/3610.90 c learned constraints 1102602
3600.03/3610.90 c bound constraints 8
3600.03/3610.90 c core-guided constraints 67
3600.03/3610.90 c encountered formula constraints 9518319
3600.03/3610.90 c encountered learned constraints 4433524
3600.03/3610.90 c encountered bound constraints 0
3600.03/3610.90 c encountered core-guided constraints 155556
3600.03/3610.90 c LP total time 3295.43 s
3600.03/3610.90 c LP solve time 3275.51 s
3600.03/3610.90 c LP constraints added 69426
3600.03/3610.90 c LP constraints removed 6796
3600.03/3610.90 c LP pivots internal 1102612
3600.03/3610.90 c LP pivots root 1057664
3600.03/3610.90 c LP calls 103
3600.03/3610.90 c LP optimalities 82
3600.03/3610.90 c LP no pivot count 0
3600.03/3610.90 c LP infeasibilities 14
3600.03/3610.90 c LP valid Farkas constraints 13
3600.03/3610.90 c LP learned Farkas constraints 13
3600.03/3610.90 c LP basis resets 1
3600.03/3610.90 c LP cycling count 0
3600.03/3610.90 c LP singular count 0
3600.03/3610.90 c LP no primal count 0
3600.03/3610.90 c LP no farkas count 1
3600.03/3610.90 c LP other issue count 0
3600.03/3610.90 c LP Gomory cuts 880
3600.03/3610.90 c LP learned cuts 6064
3600.03/3610.90 c LP deleted cuts 6796
3600.03/3610.90 c LP encountered Gomory constraints 83473
3600.03/3610.90 c LP encountered Farkas constraints 8918
3600.03/3610.90 c LP encountered learned Farkas constraints 962
3600.03/3610.90 c CG auxiliary variables introduced 25
3600.03/3610.90 c CG solutions found 0
3600.03/3610.90 c CG cores constructed 8
3600.03/3610.90 c CG core cardinality constraints returned 0
3600.03/3610.90 c CG unit cores 0
3600.03/3610.90 c CG single cores 8
3600.03/3610.90 c CG blocks removed during cardinality reduction 0
3600.03/3610.90 c CG first core best 0
3600.03/3610.90 c CG decision core best 0
3600.03/3610.90 c CG core reduction tie 0
3600.03/3610.90 c CG core degree average 1.00
3600.03/3610.90 c CG core slack average 3.88
3600.03/3610.90 c CG core upper bound improvements 0
3600.03/3610.90 c STR number of successful calls 0
3600.03/3610.90 c STR number of unsuccessful calls 0
3600.03/3610.90 c STR number of inconclusive calls 0
3600.03/3610.90 c STR number of successful attempts 0
3600.03/3610.90 c STR number of unsuccessful attempts 0
3600.03/3610.90 c STR number of inconclusive attempts 0
3600.03/3610.90 c STR average degree increase per successful call inf
3600.03/3610.90 c STR average degree increase per successful attempt inf
3600.03/3610.90 c STR total number of conflicts for successful attempts 0
3600.03/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.90 c STR average number of conflicts per successful attempt inf
3600.03/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.90 c AVG.sumWPerc 21.97
3600.03/3610.90 c bigint constraints 0
3600.03/3610.90 s UNKNOWN
3600.03/3610.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (58681 MiB free)
memory of node 1: 64465 MiB (34492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507957-1751494075/watcher-4507957-1751494075 -o /tmp/evaluation-result-4507957-1751494075/solver-4507957-1751494075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751486819-68422 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4507957-1751494075.opb PROOFDIR/proof-4507957-1751494075
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=69284, runsolver pid=69281
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.17 4.14 4.16 5/265 69286
/proc/meminfo: memFree=95397392/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69286] ppid=69284 vsize=34644 memory=23180 CPUtime=0.07 cores=4,6
/proc/69286/stat : 69286 (pbsuma) R 69284 69284 68411 0 -1 4194304 5006 0 0 0 5 2 0 0 20 0 1 0 65086931 35475456 5795 18446744073709551615 4210688 4653049 140734857159104 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 23191552 140734857160931 140734857161266 140734857161266 140734857166831 0
/proc/69286/statm: 8661 5795 992 108 0 6069 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38836 KiB
Current children cumulated memory: 26124 KiB
[startup+0.218556 s]*
/proc/loadavg: 4.17 4.14 4.16 5/265 69286
/proc/meminfo: memFree=95389328/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69286] ppid=69284 vsize=36772 memory=25380 CPUtime=0.16 cores=4,6
/proc/69286/stat : 69286 (pbsuma) R 69284 69284 68411 0 -1 4194304 6660 0 0 0 14 2 0 0 20 0 1 0 65086931 37654528 6345 18446744073709551615 4210688 4653049 140734857159104 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 23191552 140734857160931 140734857161266 140734857161266 140734857166831 0
/proc/69286/statm: 9193 6345 992 108 0 6601 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 28324 KiB
[startup+0.313795 s]*
/proc/loadavg: 4.17 4.14 4.16 6/265 69286
/proc/meminfo: memFree=95377420/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69286] ppid=69284 vsize=53736 memory=37796 CPUtime=0.25 cores=4,6
/proc/69286/stat : 69286 (pbsuma) R 69284 69284 68411 0 -1 4194304 9932 0 0 0 21 4 0 0 20 0 1 0 65086931 55025664 9449 18446744073709551615 4210688 4653049 140734857159104 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 23191552 140734857160931 140734857161266 140734857161266 140734857166831 0
/proc/69286/statm: 13434 9449 992 108 0 10842 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 57928 KiB
Current children cumulated memory: 40740 KiB
[startup+0.700296 s]
/proc/loadavg: 4.17 4.14 4.16 5/265 69286
/proc/meminfo: memFree=95357808/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69286] ppid=69284 vsize=40044 memory=28428 CPUtime=0.59 cores=4,6
/proc/69286/stat : 69286 (pbsuma) R 69284 69284 68411 0 -1 4194304 9935 0 0 0 55 4 0 0 20 0 1 0 65086931 41005056 7107 18446744073709551615 4210688 4653049 140734857159104 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 23191552 140734857160931 140734857161266 140734857161266 140734857166831 0
/proc/69286/statm: 10011 7107 992 108 0 7419 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 44236 KiB
Current children cumulated memory: 31372 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 4.14 4.16 5/265 69286
/proc/meminfo: memFree=95215984/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.1134 s]
/proc/loadavg: 4.16 4.14 4.16 5/265 69287
/proc/meminfo: memFree=95058572/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=138940 memory=96320 CPUtime=1.76 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 13675 0 0 0 163 13 0 0 20 0 1 0 65087062 142274560 24080 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 34735 24080 2400 1147 0 22162 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 143132 KiB
Current children cumulated memory: 99264 KiB
[startup+6.30037 s]
/proc/loadavg: 4.15 4.14 4.16 6/265 69287
/proc/meminfo: memFree=94971608/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=147088 memory=104128 CPUtime=4.94 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 15660 0 0 0 476 18 0 0 20 0 1 0 65087062 150618112 26032 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 36772 26032 2400 1147 0 24199 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 151280 KiB
Current children cumulated memory: 107072 KiB
[startup+12.7004 s]
/proc/loadavg: 4.21 4.15 4.16 4/264 69287
/proc/meminfo: memFree=94880444/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=157424 memory=112272 CPUtime=11.32 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 17184 0 0 0 1101 31 0 0 20 0 1 0 65087062 161202176 28068 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 39356 28068 2432 1147 0 26783 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 161616 KiB
Current children cumulated memory: 115216 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.15 4.16 5/265 69334
/proc/meminfo: memFree=128258996/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=160060 memory=114320 CPUtime=24.08 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 17698 0 0 0 2369 39 0 0 20 0 1 0 65087062 163901440 28580 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 40015 28580 2432 1147 0 27442 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 164252 KiB
Current children cumulated memory: 117264 KiB
[startup+51.1137 s]
/proc/loadavg: 4.11 4.13 4.16 5/265 69335
/proc/meminfo: memFree=128132484/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=161340 memory=114960 CPUtime=49.61 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 17857 0 0 0 4914 47 0 0 20 0 1 0 65087062 165212160 28740 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 40335 28740 2432 1147 0 27762 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 165532 KiB
Current children cumulated memory: 117904 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.16 6/265 69341
/proc/meminfo: memFree=128035928/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=179224 memory=131972 CPUtime=100.63 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 21601 0 0 0 9987 76 0 0 20 0 1 0 65087062 183525376 32993 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 44806 32993 2432 1147 0 32233 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 183416 KiB
Current children cumulated memory: 134916 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/266 69344
/proc/meminfo: memFree=127956276/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=198328 memory=151120 CPUtime=160.44 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 24848 0 0 0 15944 100 0 0 20 0 1 0 65087062 203087872 37780 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 49582 37780 2432 1147 0 37009 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 202520 KiB
Current children cumulated memory: 154064 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/261 69346
/proc/meminfo: memFree=127916268/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=198328 memory=151120 CPUtime=220.24 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 24862 0 0 0 21894 130 0 0 20 0 1 0 65087062 203087872 37780 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 49582 37780 2432 1147 0 37009 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 202520 KiB
Current children cumulated memory: 154064 KiB
################
# More data... #
################
/proc/69287/statm: 70318 58122 2432 1147 0 57745 0
Current children cumulated CPU time: 3092.77 s
Current children cumulated vsize: 285464 KiB
Current children cumulated memory: 235432 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/258 69541
/proc/meminfo: memFree=126428724/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=281272 memory=232616 CPUtime=3151.52 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 30456 0 0 0 313885 1267 0 0 20 0 1 0 65087062 288022528 58154 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 70318 58154 2432 1147 0 57745 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 285464 KiB
Current children cumulated memory: 235560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/259 69559
/proc/meminfo: memFree=126338472/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=332964 memory=283928 CPUtime=3211.36 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 31576 0 0 0 319837 1299 0 0 20 0 1 0 65087062 340955136 70982 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 83241 70982 2432 1147 0 70668 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 337156 KiB
Current children cumulated memory: 286872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.16 4/259 69561
/proc/meminfo: memFree=126301904/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=335348 memory=286744 CPUtime=3271.21 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 32287 0 0 0 325801 1320 0 0 20 0 1 0 65087062 343396352 71686 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 83837 71686 2432 1147 0 71264 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 339540 KiB
Current children cumulated memory: 289688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/258 69563
/proc/meminfo: memFree=126260768/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=419840 memory=300316 CPUtime=3331.04 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 33616 0 0 0 331761 1343 0 0 20 0 1 0 65087062 429916160 75079 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 104960 75079 2432 1147 0 92387 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 424032 KiB
Current children cumulated memory: 303260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/257 69565
/proc/meminfo: memFree=126203172/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=424092 memory=320676 CPUtime=3390.89 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 34635 0 0 0 337727 1362 0 0 20 0 1 0 65087062 434270208 80169 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 106023 80169 2432 1147 0 93450 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 428284 KiB
Current children cumulated memory: 323620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 69567
/proc/meminfo: memFree=126179032/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=424092 memory=320676 CPUtime=3450.74 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 34636 0 0 0 343701 1373 0 0 20 0 1 0 65087062 434270208 80169 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 106023 80169 2432 1147 0 93450 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 428284 KiB
Current children cumulated memory: 323620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/256 69570
/proc/meminfo: memFree=126130148/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=424336 memory=321316 CPUtime=3510.57 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 34788 0 0 0 349661 1396 0 0 20 0 1 0 65087062 434520064 80329 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 106084 80329 2432 1147 0 93511 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 428528 KiB
Current children cumulated memory: 324260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/256 69572
/proc/meminfo: memFree=126053544/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=426720 memory=323236 CPUtime=3570.4 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 35238 0 0 0 355615 1425 0 0 20 0 1 0 65087062 436961280 80809 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 106680 80809 2432 1147 0 94107 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 430912 KiB
Current children cumulated memory: 326180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.12 4.13 4.15 5/255 69572
/proc/meminfo: memFree=126049644/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=427564 memory=324388 CPUtime=3598.93 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 35518 0 0 0 358459 1434 0 0 20 0 1 0 65087062 437825536 81097 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 106891 81097 2432 1147 0 94318 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 431756 KiB
Current children cumulated memory: 327332 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.91 s]
# the end of solver process 69284 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.948008 s, system=0.167506 s
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 69287 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.56 s, system=14.5103 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+3610.9 s]
/proc/loadavg: 4.12 4.13 4.15 5/255 69572
/proc/meminfo: memFree=126049644/131382116 swapFree=33009904/33010684
[pid=69284] ppid=69281 vsize=4192 memory=2944 CPUtime=1.1 cores=4,6
/proc/69284/stat : 69284 (run-opt-break-l) S 69281 69284 68411 0 -1 4194304 241 10623 0 0 0 0 94 16 20 0 1 0 65086930 4292608 736 18446744073709551615 94146075594752 94146076489285 140723490599712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94146076728336 94146076776080 94146094120960 140723490601237 140723490601438 140723490601438 140723490607040 0
/proc/69284/statm: 1048 736 672 219 0 110 0
[pid=69287] ppid=69284 vsize=427564 memory=324388 CPUtime=3598.93 cores=4,6
/proc/69287/stat : 69287 (roundingsat) R 69284 69284 68411 0 -1 4194304 35518 0 0 0 358459 1434 0 0 20 0 1 0 65087062 437825536 81097 18446744073709551615 4227072 8923433 140726898243472 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38494208 140726898252052 140726898252328 140726898252328 140726898257898 0
/proc/69287/statm: 106891 81097 2432 1147 0 94318 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 431756 KiB
Current children cumulated memory: 327332 KiB
Child status: 2
Real time (s): 3610.92
CPU time (s): 3600.07
CPU user time (s): 3585.56
CPU system time (s): 14.5103
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 431756
Max. memory (cumulated for all children) (KiB): 327332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.56
system time used= 14.5103
maximum resident set size= 324772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46405
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1058432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3449
involuntary context switches= 3089
# summary of solver processes directly reported to runsolver:
# pid: 69284,69287
# total CPU time (s): 3600.07
# total CPU user time (s): 3585.56
# total CPU system time (s): 14.5103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7052 second user time and 37.3129 second system time
The end
Begin job on nodeC010 at 2025-07-03 00:07:55
IDJOB=4507957
IDBENCH=158390
IDSOLVER=3360
FILE ID=nodeC010/4507957-1751494075
RUNJOBID= nodeC010-1751486819-68422
SLURM_JOB_ID= 9598541
Free space on /tmp= 431972 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507957-1751494075/watcher-4507957-1751494075 -o /tmp/evaluation-result-4507957-1751494075/solver-4507957-1751494075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751486819-68422 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4507957-1751494075.opb PROOFDIR/proof-4507957-1751494075
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1310453797
nodeC010 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 : 1596.332
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.36
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 : 3691.204
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.36
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.160
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.36
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 : 3700.000
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.36
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 : 2195.258
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.36
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 : 2593.831
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.36
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 : 1197.150
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.36
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 : 1297.490
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 95451128 kB
MemAvailable: 117947056 kB
Buffers: 2128 kB
Cached: 23273316 kB
SwapCached: 24 kB
Active: 12558960 kB
Inactive: 22687284 kB
Active(anon): 11982496 kB
Inactive(anon): 6336 kB
Active(file): 576464 kB
Inactive(file): 22680948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1060212 kB
Writeback: 0 kB
AnonPages: 11973964 kB
Mapped: 115456 kB
Shmem: 17936 kB
KReclaimable: 156288 kB
Slab: 274504 kB
SReclaimable: 156288 kB
SUnreclaim: 118216 kB
KernelStack: 4272 kB
PageTables: 28188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 13568556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149608 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1847296 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432020 MiB
End job on nodeC010 at 2025-07-03 01:08:06