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-4503460-1751163133.opb'
0.00/0.03 c read 1.76MB (26.50ms)
0.00/0.03 c [cnf: #variables 1840 #clauses 46243 #duplicates 0 #arr 164637]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 0] (16.71ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (1.79ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 53892 #edges 340892]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 1.00*10^0 #generators 0] (3.84ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 0 #add_vars 0]
0.00/0.06 c
0.00/0.06 c write result to 'HOME/instance-4503460-1751163133.opb.pre'
0.00/0.06 c wrote 1.76MB (3.93ms)
0.00/0.06 c ------------------------------------------------------------------
0.00/0.06 c 26.50ms 49.66% parse
0.00/0.06 c 16.71ms 31.31% approx_orbits
0.00/0.06 c 3.93ms 7.36% output
0.00/0.06 c 3.84ms 7.20% detect_generic
0.00/0.06 c 1.79ms 3.36% detect_special
0.00/0.06 c 0.52ms 0.97% other
0.00/0.06 c 0.07ms 0.14% finalize_order
0.00/0.06 c ───────────────────────────────────────────────
0.00/0.06 c 53.35ms 100% total
0.00/0.06 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.18/0.28 c #variables 1840 #constraints 46286
0.27/0.32 c rational objective 65
12.74/12.84 c #Conflicts: 1000 | #Constraints: 47288
12.74/12.84 c #Conflicts: 2000 | #Constraints: 48288
12.74/12.84 c INPROCESSING
12.74/12.84 c #Conflicts: 3000 | #Constraints: 48326
12.74/12.84 c #Conflicts: 4000 | #Constraints: 49326
12.74/12.84 c INPROCESSING
12.74/12.84 c #Conflicts: 5000 | #Constraints: 48761
12.74/12.84 c #Conflicts: 6000 | #Constraints: 49761
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 7000 | #Constraints: 48780
12.74/12.84 c #Conflicts: 8000 | #Constraints: 49780
12.74/12.84 c #Conflicts: 9000 | #Constraints: 50780
12.74/12.84 c #Conflicts: 10000 | #Constraints: 51780
12.74/12.84 c #Conflicts: 11000 | #Constraints: 52780
12.74/12.84 c #Conflicts: 12000 | #Constraints: 53780
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 13000 | #Constraints: 50701
12.74/12.84 c #Conflicts: 14000 | #Constraints: 51701
12.74/12.84 c #Conflicts: 15000 | #Constraints: 52701
12.74/12.84 c #Conflicts: 16000 | #Constraints: 53701
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 17000 | #Constraints: 50842
12.74/12.84 c #Conflicts: 18000 | #Constraints: 51842
12.74/12.84 c #Conflicts: 19000 | #Constraints: 52842
12.74/12.84 c #Conflicts: 20000 | #Constraints: 53842
12.74/12.84 c #Conflicts: 21000 | #Constraints: 54842
12.74/12.84 c #Conflicts: 22000 | #Constraints: 55842
12.74/12.84 c #Conflicts: 23000 | #Constraints: 56842
12.74/12.84 c #Conflicts: 24000 | #Constraints: 57842
12.74/12.84 c #Conflicts: 25000 | #Constraints: 58842
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 26000 | #Constraints: 53255
12.74/12.84 c #Conflicts: 27000 | #Constraints: 54255
12.74/12.84 c #Conflicts: 28000 | #Constraints: 55255
12.74/12.84 c #Conflicts: 29000 | #Constraints: 56255
12.74/12.84 c #Conflicts: 30000 | #Constraints: 57255
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 31000 | #Constraints: 52485
12.74/12.84 c #Conflicts: 32000 | #Constraints: 53485
12.74/12.84 c #Conflicts: 33000 | #Constraints: 54485
12.74/12.84 c #Conflicts: 34000 | #Constraints: 55485
12.74/12.84 c #Conflicts: 35000 | #Constraints: 56485
12.74/12.84 c #Conflicts: 36000 | #Constraints: 57485
12.74/12.84 c #Conflicts: 37000 | #Constraints: 58485
12.74/12.84 c #Conflicts: 38000 | #Constraints: 59485
12.74/12.84 c #Conflicts: 39000 | #Constraints: 60485
12.74/12.84 c #Conflicts: 40000 | #Constraints: 61485
12.74/12.84 c #Conflicts: 41000 | #Constraints: 62485
12.74/12.84 c #Conflicts: 42000 | #Constraints: 63485
12.74/12.84 c #Conflicts: 43000 | #Constraints: 64485
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 44000 | #Constraints: 56431
12.74/12.84 c #Conflicts: 45000 | #Constraints: 57431
12.74/12.84 c #Conflicts: 46000 | #Constraints: 58431
12.74/12.84 c #Conflicts: 47000 | #Constraints: 59431
12.74/12.84 c #Conflicts: 48000 | #Constraints: 60431
12.74/12.84 c #Conflicts: 49000 | #Constraints: 61431
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 50000 | #Constraints: 54721
12.74/12.84 c #Conflicts: 51000 | #Constraints: 55721
12.74/12.84 c #Conflicts: 52000 | #Constraints: 56721
12.74/12.84 c #Conflicts: 53000 | #Constraints: 57721
12.74/12.84 c #Conflicts: 54000 | #Constraints: 58721
12.74/12.84 c #Conflicts: 55000 | #Constraints: 59721
12.74/12.84 c #Conflicts: 56000 | #Constraints: 60721
12.74/12.84 c #Conflicts: 57000 | #Constraints: 61721
12.74/12.84 c #Conflicts: 58000 | #Constraints: 62721
12.74/12.84 c #Conflicts: 59000 | #Constraints: 63721
12.74/12.84 c #Conflicts: 60000 | #Constraints: 64721
12.74/12.84 c #Conflicts: 61000 | #Constraints: 65721
12.74/12.84 c #Conflicts: 62000 | #Constraints: 66721
12.74/12.84 c #Conflicts: 63000 | #Constraints: 67721
12.74/12.84 c #Conflicts: 64000 | #Constraints: 68721
12.74/12.84 c #Conflicts: 65000 | #Constraints: 69721
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c #Conflicts: 66000 | #Constraints: 59137
12.74/12.84 c #Conflicts: 67000 | #Constraints: 60137
12.74/12.84 c #Conflicts: 68000 | #Constraints: 61137
12.74/12.84 c #Conflicts: 69000 | #Constraints: 62137
12.74/12.84 c #Conflicts: 70000 | #Constraints: 63137
12.74/12.84 c #Conflicts: 71000 | #Constraints: 64137
12.74/12.84 c #Conflicts: 72000 | #Constraints: 65137
12.74/12.84 c INPROCESSING
12.74/12.84 c GARBAGE COLLECT
12.74/12.84 c rational objective 65
19.62/19.73 c #Conflicts: 73000 | #Constraints: 56537
19.62/19.73 c #Conflicts: 74000 | #Constraints: 57537
19.62/19.73 c #Conflicts: 75000 | #Constraints: 58537
19.62/19.73 c #Conflicts: 76000 | #Constraints: 59537
19.62/19.73 c #Conflicts: 77000 | #Constraints: 60537
19.62/19.73 c #Conflicts: 78000 | #Constraints: 61537
19.62/19.73 c #Conflicts: 79000 | #Constraints: 62537
19.62/19.73 c #Conflicts: 80000 | #Constraints: 63537
19.62/19.73 c #Conflicts: 81000 | #Constraints: 64537
19.62/19.73 c #Conflicts: 82000 | #Constraints: 65537
19.62/19.73 c #Conflicts: 83000 | #Constraints: 66537
19.62/19.73 c #Conflicts: 84000 | #Constraints: 67537
19.62/19.73 c #Conflicts: 85000 | #Constraints: 68537
19.62/19.73 c #Conflicts: 86000 | #Constraints: 69537
19.62/19.73 c #Conflicts: 87000 | #Constraints: 70537
19.62/19.73 c #Conflicts: 88000 | #Constraints: 71537
19.62/19.73 c #Conflicts: 89000 | #Constraints: 72537
19.62/19.73 c #Conflicts: 90000 | #Constraints: 73537
19.62/19.73 c #Conflicts: 91000 | #Constraints: 74537
19.62/19.73 c INPROCESSING
19.62/19.73 c GARBAGE COLLECT
19.62/19.73 c #Conflicts: 92000 | #Constraints: 61460
19.62/19.73 c #Conflicts: 93000 | #Constraints: 62460
19.62/19.73 c #Conflicts: 94000 | #Constraints: 63460
19.62/19.73 c #Conflicts: 95000 | #Constraints: 64460
19.62/19.73 c #Conflicts: 96000 | #Constraints: 65460
19.62/19.73 c #Conflicts: 97000 | #Constraints: 66460
19.62/19.73 c #Conflicts: 98000 | #Constraints: 67460
19.62/19.73 c #Conflicts: 99000 | #Constraints: 68460
19.62/19.73 c #Conflicts: 100000 | #Constraints: 69460
19.62/19.73 c INPROCESSING
19.62/19.73 c GARBAGE COLLECT
19.62/19.73 c #Conflicts: 101000 | #Constraints: 58968
19.62/19.73 c #Conflicts: 102000 | #Constraints: 59968
19.62/19.73 c #Conflicts: 103000 | #Constraints: 60968
19.62/19.73 c #Conflicts: 104000 | #Constraints: 61968
19.62/19.73 c #Conflicts: 105000 | #Constraints: 62968
19.62/19.73 c #Conflicts: 106000 | #Constraints: 63968
19.62/19.73 c #Conflicts: 107000 | #Constraints: 64968
19.62/19.73 c #Conflicts: 108000 | #Constraints: 65968
19.62/19.73 c #Conflicts: 109000 | #Constraints: 66968
19.62/19.73 c #Conflicts: 110000 | #Constraints: 67968
19.62/19.73 c #Conflicts: 111000 | #Constraints: 68968
19.62/19.73 c #Conflicts: 112000 | #Constraints: 69968
19.62/19.73 c #Conflicts: 113000 | #Constraints: 70968
19.62/19.73 c #Conflicts: 114000 | #Constraints: 71968
19.62/19.73 c #Conflicts: 115000 | #Constraints: 72968
19.62/19.73 c #Conflicts: 116000 | #Constraints: 73968
19.62/19.73 c #Conflicts: 117000 | #Constraints: 74968
19.62/19.73 c #Conflicts: 118000 | #Constraints: 75968
19.62/19.73 c #Conflicts: 119000 | #Constraints: 76968
19.62/19.73 c #Conflicts: 120000 | #Constraints: 77968
19.62/19.73 c #Conflicts: 121000 | #Constraints: 78968
19.62/19.73 c INPROCESSING
19.62/19.73 c GARBAGE COLLECT
19.62/19.73 c rational objective 65
24.50/24.65 c #Conflicts: 122000 | #Constraints: 63360
24.50/24.65 c #Conflicts: 123000 | #Constraints: 64360
24.50/24.65 c #Conflicts: 124000 | #Constraints: 65360
24.50/24.65 c #Conflicts: 125000 | #Constraints: 66360
24.50/24.65 c #Conflicts: 126000 | #Constraints: 67360
24.50/24.65 c #Conflicts: 127000 | #Constraints: 68360
24.50/24.65 c #Conflicts: 128000 | #Constraints: 69360
24.50/24.65 c #Conflicts: 129000 | #Constraints: 70360
24.50/24.65 c #Conflicts: 130000 | #Constraints: 71360
24.50/24.65 c #Conflicts: 131000 | #Constraints: 72360
24.50/24.65 c #Conflicts: 132000 | #Constraints: 73360
24.50/24.65 c INPROCESSING
24.50/24.65 c GARBAGE COLLECT
24.50/24.65 c #Conflicts: 133000 | #Constraints: 60954
24.50/24.65 c #Conflicts: 134000 | #Constraints: 61954
24.50/24.65 c #Conflicts: 135000 | #Constraints: 62954
24.50/24.65 c #Conflicts: 136000 | #Constraints: 63954
24.50/24.65 c #Conflicts: 137000 | #Constraints: 64954
24.50/24.65 c #Conflicts: 138000 | #Constraints: 65954
24.50/24.65 c #Conflicts: 139000 | #Constraints: 66954
24.50/24.65 c #Conflicts: 140000 | #Constraints: 67954
24.50/24.65 c #Conflicts: 141000 | #Constraints: 68954
24.50/24.65 c #Conflicts: 142000 | #Constraints: 69954
24.50/24.65 c #Conflicts: 143000 | #Constraints: 70954
24.50/24.65 c #Conflicts: 144000 | #Constraints: 71954
24.50/24.65 c #Conflicts: 145000 | #Constraints: 72954
24.50/24.65 c #Conflicts: 146000 | #Constraints: 73954
24.50/24.65 c #Conflicts: 147000 | #Constraints: 74954
24.50/24.65 c #Conflicts: 148000 | #Constraints: 75954
24.50/24.65 c #Conflicts: 149000 | #Constraints: 76954
24.50/24.65 c #Conflicts: 150000 | #Constraints: 77954
24.50/24.65 c #Conflicts: 151000 | #Constraints: 78954
24.50/24.65 c #Conflicts: 152000 | #Constraints: 79954
24.50/24.65 c #Conflicts: 153000 | #Constraints: 80954
24.50/24.65 c #Conflicts: 154000 | #Constraints: 81954
24.50/24.65 c #Conflicts: 155000 | #Constraints: 82954
24.50/24.65 c #Conflicts: 156000 | #Constraints: 83954
24.50/24.65 c INPROCESSING
24.50/24.65 c GARBAGE COLLECT
24.50/24.65 c rational objective 66
30.00/30.17 c #Conflicts: 157000 | #Constraints: 65883
30.00/30.17 c #Conflicts: 158000 | #Constraints: 66883
30.00/30.17 c #Conflicts: 159000 | #Constraints: 67883
30.00/30.17 c #Conflicts: 160000 | #Constraints: 68883
30.00/30.17 c #Conflicts: 161000 | #Constraints: 69883
30.00/30.17 c #Conflicts: 162000 | #Constraints: 70883
30.00/30.17 c #Conflicts: 163000 | #Constraints: 71883
30.00/30.17 c #Conflicts: 164000 | #Constraints: 72883
30.00/30.17 c #Conflicts: 165000 | #Constraints: 73883
30.00/30.17 c #Conflicts: 166000 | #Constraints: 74883
30.00/30.17 c #Conflicts: 167000 | #Constraints: 75883
30.00/30.17 c #Conflicts: 168000 | #Constraints: 76883
30.00/30.17 c INPROCESSING
30.00/30.17 c GARBAGE COLLECT
30.00/30.17 c #Conflicts: 169000 | #Constraints: 62644
30.00/30.17 c #Conflicts: 170000 | #Constraints: 63644
30.00/30.17 c #Conflicts: 171000 | #Constraints: 64644
30.00/30.17 c #Conflicts: 172000 | #Constraints: 65644
30.00/30.17 c #Conflicts: 173000 | #Constraints: 66644
30.00/30.17 c #Conflicts: 174000 | #Constraints: 67644
30.00/30.17 c #Conflicts: 175000 | #Constraints: 68644
30.00/30.17 c #Conflicts: 176000 | #Constraints: 69644
30.00/30.17 c #Conflicts: 177000 | #Constraints: 70644
30.00/30.17 c #Conflicts: 178000 | #Constraints: 71644
30.00/30.17 c #Conflicts: 179000 | #Constraints: 72644
30.00/30.17 c #Conflicts: 180000 | #Constraints: 73644
30.00/30.17 c #Conflicts: 181000 | #Constraints: 74644
30.00/30.17 c #Conflicts: 182000 | #Constraints: 75644
30.00/30.17 c #Conflicts: 183000 | #Constraints: 76644
30.00/30.17 c #Conflicts: 184000 | #Constraints: 77644
30.00/30.17 c #Conflicts: 185000 | #Constraints: 78644
30.00/30.17 c #Conflicts: 186000 | #Constraints: 79644
30.00/30.17 c #Conflicts: 187000 | #Constraints: 80644
30.00/30.17 c #Conflicts: 188000 | #Constraints: 81644
30.00/30.17 c #Conflicts: 189000 | #Constraints: 82644
30.00/30.17 c #Conflicts: 190000 | #Constraints: 83644
30.00/30.17 c #Conflicts: 191000 | #Constraints: 84644
30.00/30.17 c #Conflicts: 192000 | #Constraints: 85644
30.00/30.17 c #Conflicts: 193000 | #Constraints: 86644
30.00/30.17 c #Conflicts: 194000 | #Constraints: 87644
30.00/30.17 c #Conflicts: 195000 | #Constraints: 88644
30.00/30.17 c #Conflicts: 196000 | #Constraints: 89644
30.00/30.17 c INPROCESSING
30.00/30.17 c GARBAGE COLLECT
30.00/30.17 c rational objective 66
33.38/33.52 c #Conflicts: 197000 | #Constraints: 69073
33.38/33.52 c #Conflicts: 198000 | #Constraints: 70073
33.38/33.52 c #Conflicts: 199000 | #Constraints: 71073
33.38/33.52 c #Conflicts: 200000 | #Constraints: 72073
33.38/33.52 c #Conflicts: 201000 | #Constraints: 73073
33.38/33.52 c #Conflicts: 202000 | #Constraints: 74073
33.38/33.52 c #Conflicts: 203000 | #Constraints: 75073
33.38/33.52 c #Conflicts: 204000 | #Constraints: 76073
33.38/33.52 c #Conflicts: 205000 | #Constraints: 77073
33.38/33.52 c #Conflicts: 206000 | #Constraints: 78073
33.38/33.52 c #Conflicts: 207000 | #Constraints: 79073
33.38/33.52 c #Conflicts: 208000 | #Constraints: 80073
33.38/33.52 c #Conflicts: 209000 | #Constraints: 81073
33.38/33.52 c INPROCESSING
33.38/33.52 c GARBAGE COLLECT
33.38/33.52 c rational objective 66
41.57/41.78 c #Conflicts: 210000 | #Constraints: 64903
41.57/41.78 c #Conflicts: 211000 | #Constraints: 65903
41.57/41.78 c #Conflicts: 212000 | #Constraints: 66903
41.57/41.78 c #Conflicts: 213000 | #Constraints: 67903
41.57/41.78 c #Conflicts: 214000 | #Constraints: 68903
41.57/41.78 c #Conflicts: 215000 | #Constraints: 69903
41.57/41.78 c #Conflicts: 216000 | #Constraints: 70903
41.57/41.78 c #Conflicts: 217000 | #Constraints: 71903
41.57/41.78 c #Conflicts: 218000 | #Constraints: 72903
41.57/41.78 c #Conflicts: 219000 | #Constraints: 73903
41.57/41.78 c #Conflicts: 220000 | #Constraints: 74903
41.57/41.78 c #Conflicts: 221000 | #Constraints: 75903
41.57/41.78 c #Conflicts: 222000 | #Constraints: 76903
41.57/41.78 c #Conflicts: 223000 | #Constraints: 77903
41.57/41.78 c #Conflicts: 224000 | #Constraints: 78903
41.57/41.78 c #Conflicts: 225000 | #Constraints: 79903
41.57/41.78 c #Conflicts: 226000 | #Constraints: 80903
41.57/41.78 c #Conflicts: 227000 | #Constraints: 81903
41.57/41.78 c #Conflicts: 228000 | #Constraints: 82903
41.57/41.78 c #Conflicts: 229000 | #Constraints: 83903
41.57/41.78 c #Conflicts: 230000 | #Constraints: 84903
41.57/41.78 c #Conflicts: 231000 | #Constraints: 85903
41.57/41.78 c #Conflicts: 232000 | #Constraints: 86903
41.57/41.78 c #Conflicts: 233000 | #Constraints: 87903
41.57/41.78 c #Conflicts: 234000 | #Constraints: 88903
41.57/41.78 c #Conflicts: 235000 | #Constraints: 89903
41.57/41.78 c #Conflicts: 236000 | #Constraints: 90903
41.57/41.78 c #Conflicts: 237000 | #Constraints: 91903
41.57/41.78 c #Conflicts: 238000 | #Constraints: 92903
41.57/41.78 c #Conflicts: 239000 | #Constraints: 93903
41.57/41.78 c #Conflicts: 240000 | #Constraints: 94903
41.57/41.78 c INPROCESSING
41.57/41.78 c GARBAGE COLLECT
41.57/41.78 c #Conflicts: 241000 | #Constraints: 71769
41.57/41.78 c #Conflicts: 242000 | #Constraints: 72769
41.57/41.78 c #Conflicts: 243000 | #Constraints: 73769
41.57/41.78 c #Conflicts: 244000 | #Constraints: 74769
41.57/41.78 c #Conflicts: 245000 | #Constraints: 75769
41.57/41.78 c #Conflicts: 246000 | #Constraints: 76769
41.57/41.78 c #Conflicts: 247000 | #Constraints: 77769
41.57/41.78 c #Conflicts: 248000 | #Constraints: 78769
41.57/41.78 c #Conflicts: 249000 | #Constraints: 79769
41.57/41.78 c #Conflicts: 250000 | #Constraints: 80769
41.57/41.78 c #Conflicts: 251000 | #Constraints: 81769
41.57/41.78 c #Conflicts: 252000 | #Constraints: 82769
41.57/41.78 c #Conflicts: 253000 | #Constraints: 83769
41.57/41.78 c #Conflicts: 254000 | #Constraints: 84769
41.57/41.78 c INPROCESSING
41.57/41.78 c GARBAGE COLLECT
41.57/41.78 c #Conflicts: 255000 | #Constraints: 66648
41.57/41.78 c #Conflicts: 256000 | #Constraints: 67648
41.57/41.78 c #Conflicts: 257000 | #Constraints: 68648
41.57/41.78 c #Conflicts: 258000 | #Constraints: 69648
41.57/41.78 c #Conflicts: 259000 | #Constraints: 70648
41.57/41.78 c #Conflicts: 260000 | #Constraints: 71648
41.57/41.78 c #Conflicts: 261000 | #Constraints: 72648
41.57/41.78 c #Conflicts: 262000 | #Constraints: 73648
41.57/41.78 c #Conflicts: 263000 | #Constraints: 74648
41.57/41.78 c #Conflicts: 264000 | #Constraints: 75648
41.57/41.78 c #Conflicts: 265000 | #Constraints: 76648
41.57/41.78 WSVECS04 Frhs2[157]: 6 -54.2 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[357]: 6 -16.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[360]: 6 -17.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[362]: 6 -16 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[457]: 6 0 1.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[459]: 6 0 1.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[462]: 6 0 1.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[480]: 6 -1.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[526]: 6 -1.00008 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[529]: 6 -1.00001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[546]: 6 0 2.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[547]: 6 0 2.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[548]: 6 0 2.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[549]: 6 0 2.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[568]: 6 -1.00003 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[589]: 6 -2.00001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[591]: 6 0 1.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[592]: 6 0 1.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[593]: 6 0 1.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[594]: 6 0 1.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[610]: 6 -1.00009 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[613]: 6 -1.00005 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[877]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[878]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[879]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[880]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[881]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[882]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[883]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[884]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[885]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[886]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[887]: 6 0 5.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[888]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[889]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[890]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[891]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[892]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1012]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1013]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1014]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1015]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1016]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1017]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1018]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1019]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1020]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1021]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1022]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1023]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1024]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1025]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1026]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1027]: 6 0 5.00001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1057]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1058]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1059]: 6 0 5.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1060]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1061]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1062]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1063]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1064]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1065]: 6 0 5.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1066]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1067]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1068]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1069]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1070]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1072]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1102]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1103]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1104]: 6 0 5.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1105]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1106]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1107]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1108]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1109]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1110]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1111]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1112]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1113]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1114]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1115]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1116]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1117]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1212]: 6 0 1.57148 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1219]: 6 -1.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1222]: 6 -1.00002 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1223]: 6 -1.00003 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1224]: 6 -1.00002 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1225]: 6 -1.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1226]: 6 -1.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1227]: 6 -1.0001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1232]: 6 -3.57148 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1233]: 6 -1.00004 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1236]: 6 -2.50006 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1240]: 6 -1.00005 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1241]: 6 -1.00007 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1244]: 6 -1.00007 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1246]: 6 -1.00003 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1247]: 6 -1.00008 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1248]: 6 -1.00002 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1344]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1345]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1346]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1347]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1348]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1349]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1350]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1351]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1352]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1353]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1355]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1356]: 6 0 5.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1357]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1358]: 6 0 5.00001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1359]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1525]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1526]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1527]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1528]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1529]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1530]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1531]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1532]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1533]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1534]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1535]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1536]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1537]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1538]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1539]: 6 0 5.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1612]: 6 -1.57149 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1614]: 6 0 3.00003 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1615]: 6 0 3.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1616]: 6 0 3.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1617]: 6 0 3.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1618]: 6 0 3.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1619]: 6 0 3.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1620]: 6 0 3.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1621]: 6 0 3.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1622]: 6 0 3.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1623]: 6 0 3.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1624]: 6 0 3.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1625]: 6 0 3.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1627]: 6 0 3.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1628]: 6 0 3.00002 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1629]: 6 0 3.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1637]: 6 -1.00006 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1642]: 6 -1.00007 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1652]: 6 -1.00006 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1659]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1660]: 6 0 5.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1661]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1662]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1663]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1664]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1665]: 6 0 5.00006 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1666]: 6 0 5.00007 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1667]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1668]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1669]: 6 0 5.00009 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1671]: 6 0 5.0001 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1672]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1673]: 6 0 5.00004 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1674]: 6 0 5.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1702]: 6 0 1.00008 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1703]: 6 0 1.00005 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1730]: 6 -1.00009 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1731]: 6 -1.00001 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1733]: 6 -1.00005 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1734]: 6 -1.00007 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1739]: 6 -1.00005 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1743]: 6 -1.00008 0 shouldn't be
41.57/41.78 WSVECS04 Frhs2[1746]: 6 -5.07148 0 shouldn't be
56.33/56.50 c #Conflicts: 266000 | #Constraints: 77648
56.33/56.50 c #Conflicts: 267000 | #Constraints: 78648
56.33/56.50 c #Conflicts: 268000 | #Constraints: 79648
56.33/56.50 c #Conflicts: 269000 | #Constraints: 80648
56.33/56.50 c #Conflicts: 270000 | #Constraints: 81648
56.33/56.50 c #Conflicts: 271000 | #Constraints: 82648
56.33/56.50 c #Conflicts: 272000 | #Constraints: 83648
56.33/56.50 c #Conflicts: 273000 | #Constraints: 84648
56.33/56.50 c #Conflicts: 274000 | #Constraints: 85648
56.33/56.50 c #Conflicts: 275000 | #Constraints: 86648
56.33/56.50 c #Conflicts: 276000 | #Constraints: 87648
56.33/56.50 c #Conflicts: 277000 | #Constraints: 88648
56.33/56.50 c #Conflicts: 278000 | #Constraints: 89648
56.33/56.50 c #Conflicts: 279000 | #Constraints: 90648
56.33/56.50 c #Conflicts: 280000 | #Constraints: 91648
56.33/56.50 c #Conflicts: 281000 | #Constraints: 92648
56.33/56.50 c #Conflicts: 282000 | #Constraints: 93648
56.33/56.50 c #Conflicts: 283000 | #Constraints: 94648
56.33/56.50 c #Conflicts: 284000 | #Constraints: 95648
56.33/56.50 c #Conflicts: 285000 | #Constraints: 96648
56.33/56.50 c #Conflicts: 286000 | #Constraints: 97648
56.33/56.50 c #Conflicts: 287000 | #Constraints: 98648
56.33/56.50 c #Conflicts: 288000 | #Constraints: 99648
56.33/56.50 c INPROCESSING
56.33/56.50 c GARBAGE COLLECT
56.33/56.50 c #Conflicts: 289000 | #Constraints: 74039
56.33/56.50 c #Conflicts: 290000 | #Constraints: 75039
56.33/56.50 c #Conflicts: 291000 | #Constraints: 76039
56.33/56.50 c #Conflicts: 292000 | #Constraints: 77039
56.33/56.50 c #Conflicts: 293000 | #Constraints: 78039
56.33/56.50 c #Conflicts: 294000 | #Constraints: 79039
56.33/56.50 c #Conflicts: 295000 | #Constraints: 80039
56.33/56.50 c #Conflicts: 296000 | #Constraints: 81039
56.33/56.50 c #Conflicts: 297000 | #Constraints: 82039
56.33/56.50 c #Conflicts: 298000 | #Constraints: 83039
56.33/56.50 c #Conflicts: 299000 | #Constraints: 84039
56.33/56.50 c #Conflicts: 300000 | #Constraints: 85039
56.33/56.50 c #Conflicts: 301000 | #Constraints: 86039
56.33/56.50 c #Conflicts: 302000 | #Constraints: 87039
56.33/56.50 c #Conflicts: 303000 | #Constraints: 88039
56.33/56.50 c INPROCESSING
56.33/56.50 c GARBAGE COLLECT
56.33/56.50 c #Conflicts: 304000 | #Constraints: 68071
56.33/56.50 c #Conflicts: 305000 | #Constraints: 69071
56.33/56.50 c #Conflicts: 306000 | #Constraints: 70071
56.33/56.50 c #Conflicts: 307000 | #Constraints: 71071
56.33/56.50 c #Conflicts: 308000 | #Constraints: 72071
56.33/56.50 c #Conflicts: 309000 | #Constraints: 73071
56.33/56.50 c #Conflicts: 310000 | #Constraints: 74071
56.33/56.50 c #Conflicts: 311000 | #Constraints: 75071
56.33/56.50 c #Conflicts: 312000 | #Constraints: 76071
56.33/56.50 c #Conflicts: 313000 | #Constraints: 77071
56.33/56.50 c #Conflicts: 314000 | #Constraints: 78071
56.33/56.50 c #Conflicts: 315000 | #Constraints: 79071
56.33/56.50 c #Conflicts: 316000 | #Constraints: 80071
56.33/56.50 c #Conflicts: 317000 | #Constraints: 81071
56.33/56.50 c #Conflicts: 318000 | #Constraints: 82071
56.33/56.50 c #Conflicts: 319000 | #Constraints: 83071
56.33/56.50 c #Conflicts: 320000 | #Constraints: 84071
56.33/56.50 c #Conflicts: 321000 | #Constraints: 85071
56.33/56.50 c #Conflicts: 322000 | #Constraints: 86071
56.33/56.50 c #Conflicts: 323000 | #Constraints: 87071
56.33/56.50 c #Conflicts: 324000 | #Constraints: 88071
56.33/56.50 c #Conflicts: 325000 | #Constraints: 89071
56.33/56.50 c #Conflicts: 326000 | #Constraints: 90071
56.33/56.50 c #Conflicts: 327000 | #Constraints: 91071
56.33/56.50 c #Conflicts: 328000 | #Constraints: 92071
56.33/56.50 c #Conflicts: 329000 | #Constraints: 93071
56.33/56.50 c #Conflicts: 330000 | #Constraints: 94071
56.33/56.50 c #Conflicts: 331000 | #Constraints: 95071
56.33/56.50 c #Conflicts: 332000 | #Constraints: 96071
56.33/56.50 c #Conflicts: 333000 | #Constraints: 97071
56.33/56.50 c #Conflicts: 334000 | #Constraints: 98071
56.33/56.50 c #Conflicts: 335000 | #Constraints: 99071
56.33/56.50 c #Conflicts: 336000 | #Constraints: 100071
56.33/56.50 c #Conflicts: 337000 | #Constraints: 101071
56.33/56.50 c #Conflicts: 338000 | #Constraints: 102071
56.33/56.50 c #Conflicts: 339000 | #Constraints: 103071
56.33/56.50 c #Conflicts: 340000 | #Constraints: 104071
56.33/56.50 c INPROCESSING
56.33/56.50 c GARBAGE COLLECT
56.33/56.50 c rational objective 66
64.31/64.55 c #Conflicts: 341000 | #Constraints: 75975
64.31/64.55 c #Conflicts: 342000 | #Constraints: 76975
64.31/64.55 c #Conflicts: 343000 | #Constraints: 77975
64.31/64.55 c #Conflicts: 344000 | #Constraints: 78975
64.31/64.55 c #Conflicts: 345000 | #Constraints: 79975
64.31/64.55 c #Conflicts: 346000 | #Constraints: 80975
64.31/64.55 c #Conflicts: 347000 | #Constraints: 81975
64.31/64.55 c #Conflicts: 348000 | #Constraints: 82975
64.31/64.55 c #Conflicts: 349000 | #Constraints: 83975
64.31/64.55 c #Conflicts: 350000 | #Constraints: 84975
64.31/64.55 c #Conflicts: 351000 | #Constraints: 85975
64.31/64.55 c #Conflicts: 352000 | #Constraints: 86975
64.31/64.55 c #Conflicts: 353000 | #Constraints: 87975
64.31/64.55 c #Conflicts: 354000 | #Constraints: 88975
64.31/64.55 c #Conflicts: 355000 | #Constraints: 89975
64.31/64.55 c #Conflicts: 356000 | #Constraints: 90975
64.31/64.55 c #Conflicts: 357000 | #Constraints: 91975
64.31/64.55 c INPROCESSING
64.31/64.55 c GARBAGE COLLECT
64.31/64.55 c #Conflicts: 358000 | #Constraints: 70102
64.31/64.55 c #Conflicts: 359000 | #Constraints: 71102
64.31/64.55 c #Conflicts: 360000 | #Constraints: 72102
64.31/64.55 c #Conflicts: 361000 | #Constraints: 73102
64.31/64.55 c #Conflicts: 362000 | #Constraints: 74102
64.31/64.55 c #Conflicts: 363000 | #Constraints: 75102
64.31/64.55 c #Conflicts: 364000 | #Constraints: 76102
64.31/64.55 c #Conflicts: 365000 | #Constraints: 77102
64.31/64.55 c #Conflicts: 366000 | #Constraints: 78102
64.31/64.55 c #Conflicts: 367000 | #Constraints: 79102
64.31/64.55 c #Conflicts: 368000 | #Constraints: 80102
64.31/64.55 c #Conflicts: 369000 | #Constraints: 81102
64.31/64.55 c #Conflicts: 370000 | #Constraints: 82102
64.31/64.55 c #Conflicts: 371000 | #Constraints: 83102
64.31/64.55 c #Conflicts: 372000 | #Constraints: 84102
64.31/64.55 c #Conflicts: 373000 | #Constraints: 85102
64.31/64.55 c #Conflicts: 374000 | #Constraints: 86102
64.31/64.55 c #Conflicts: 375000 | #Constraints: 87102
64.31/64.55 c #Conflicts: 376000 | #Constraints: 88102
64.31/64.55 c #Conflicts: 377000 | #Constraints: 89102
64.31/64.55 c #Conflicts: 378000 | #Constraints: 90102
64.31/64.55 c #Conflicts: 379000 | #Constraints: 91102
64.31/64.55 c #Conflicts: 380000 | #Constraints: 92102
64.31/64.55 c #Conflicts: 381000 | #Constraints: 93102
64.31/64.55 c #Conflicts: 382000 | #Constraints: 94102
64.31/64.55 c #Conflicts: 383000 | #Constraints: 95102
64.31/64.55 c #Conflicts: 384000 | #Constraints: 96102
64.31/64.55 c #Conflicts: 385000 | #Constraints: 97102
64.31/64.55 c #Conflicts: 386000 | #Constraints: 98102
64.31/64.55 c #Conflicts: 387000 | #Constraints: 99102
64.31/64.55 c #Conflicts: 388000 | #Constraints: 100102
64.31/64.55 c #Conflicts: 389000 | #Constraints: 101102
64.31/64.55 c #Conflicts: 390000 | #Constraints: 102102
64.31/64.55 c #Conflicts: 391000 | #Constraints: 103102
64.31/64.55 c #Conflicts: 392000 | #Constraints: 104102
64.31/64.55 c #Conflicts: 393000 | #Constraints: 105102
64.31/64.55 c #Conflicts: 394000 | #Constraints: 106102
64.31/64.55 c #Conflicts: 395000 | #Constraints: 107102
64.31/64.55 c #Conflicts: 396000 | #Constraints: 108102
64.31/64.55 c #Conflicts: 397000 | #Constraints: 109102
64.31/64.55 c INPROCESSING
64.31/64.55 c GARBAGE COLLECT
64.31/64.55 c rational objective 66
67.40/67.68 c #Conflicts: 398000 | #Constraints: 78536
67.40/67.68 c #Conflicts: 399000 | #Constraints: 79536
67.40/67.68 c #Conflicts: 400000 | #Constraints: 80536
67.40/67.68 c #Conflicts: 401000 | #Constraints: 81536
67.40/67.68 c #Conflicts: 402000 | #Constraints: 82536
67.40/67.68 c #Conflicts: 403000 | #Constraints: 83536
67.40/67.68 c #Conflicts: 404000 | #Constraints: 84536
67.40/67.68 c #Conflicts: 405000 | #Constraints: 85536
67.40/67.68 c #Conflicts: 406000 | #Constraints: 86536
67.40/67.68 c #Conflicts: 407000 | #Constraints: 87536
67.40/67.68 c #Conflicts: 408000 | #Constraints: 88536
67.40/67.68 c #Conflicts: 409000 | #Constraints: 89536
67.40/67.68 c #Conflicts: 410000 | #Constraints: 90536
67.40/67.68 c #Conflicts: 411000 | #Constraints: 91536
67.40/67.68 c #Conflicts: 412000 | #Constraints: 92536
67.40/67.68 c #Conflicts: 413000 | #Constraints: 93536
67.40/67.68 c #Conflicts: 414000 | #Constraints: 94536
67.40/67.68 c #Conflicts: 415000 | #Constraints: 95536
67.40/67.68 c INPROCESSING
67.40/67.68 c GARBAGE COLLECT
67.40/67.68 c rational objective 66.0063
76.28/76.53 c #Conflicts: 416000 | #Constraints: 71768
76.28/76.53 c #Conflicts: 417000 | #Constraints: 72768
76.28/76.53 c #Conflicts: 418000 | #Constraints: 73768
76.28/76.53 c #Conflicts: 419000 | #Constraints: 74768
76.28/76.53 c #Conflicts: 420000 | #Constraints: 75768
76.28/76.53 c #Conflicts: 421000 | #Constraints: 76768
76.28/76.53 c #Conflicts: 422000 | #Constraints: 77768
76.28/76.53 c #Conflicts: 423000 | #Constraints: 78768
76.28/76.53 c #Conflicts: 424000 | #Constraints: 79768
76.28/76.53 c #Conflicts: 425000 | #Constraints: 80768
76.28/76.53 c #Conflicts: 426000 | #Constraints: 81768
76.28/76.53 c #Conflicts: 427000 | #Constraints: 82768
76.28/76.53 c #Conflicts: 428000 | #Constraints: 83768
76.28/76.53 c #Conflicts: 429000 | #Constraints: 84768
76.28/76.53 c #Conflicts: 430000 | #Constraints: 85768
76.28/76.53 c #Conflicts: 431000 | #Constraints: 86768
76.28/76.53 c #Conflicts: 432000 | #Constraints: 87768
76.28/76.53 c #Conflicts: 433000 | #Constraints: 88768
76.28/76.53 c #Conflicts: 434000 | #Constraints: 89768
76.28/76.53 c #Conflicts: 435000 | #Constraints: 90768
76.28/76.53 c #Conflicts: 436000 | #Constraints: 91768
76.28/76.53 c #Conflicts: 437000 | #Constraints: 92768
76.28/76.53 c #Conflicts: 438000 | #Constraints: 93768
76.28/76.53 c #Conflicts: 439000 | #Constraints: 94768
76.28/76.53 c #Conflicts: 440000 | #Constraints: 95768
76.28/76.53 c #Conflicts: 441000 | #Constraints: 96768
76.28/76.53 c #Conflicts: 442000 | #Constraints: 97768
76.28/76.53 c #Conflicts: 443000 | #Constraints: 98768
76.28/76.53 c #Conflicts: 444000 | #Constraints: 99768
76.28/76.53 c #Conflicts: 445000 | #Constraints: 100768
76.28/76.53 c #Conflicts: 446000 | #Constraints: 101768
76.28/76.53 c #Conflicts: 447000 | #Constraints: 102768
76.28/76.53 c #Conflicts: 448000 | #Constraints: 103768
76.28/76.53 c #Conflicts: 449000 | #Constraints: 104768
76.28/76.53 c #Conflicts: 450000 | #Constraints: 105768
76.28/76.53 c #Conflicts: 451000 | #Constraints: 106768
76.28/76.53 c #Conflicts: 452000 | #Constraints: 107768
76.28/76.53 c #Conflicts: 453000 | #Constraints: 108768
76.28/76.53 c #Conflicts: 454000 | #Constraints: 109768
76.28/76.53 c #Conflicts: 455000 | #Constraints: 110768
76.28/76.54 c #Conflicts: 456000 | #Constraints: 111768
76.28/76.54 c #Conflicts: 457000 | #Constraints: 112768
76.28/76.54 c #Conflicts: 458000 | #Constraints: 113768
76.28/76.54 c #Conflicts: 459000 | #Constraints: 114768
76.28/76.54 c INPROCESSING
76.28/76.54 c GARBAGE COLLECT
76.28/76.54 c rational objective 66.0085
80.67/80.92 c #Conflicts: 460000 | #Constraints: 81647
80.67/80.92 c #Conflicts: 461000 | #Constraints: 82647
80.67/80.92 c #Conflicts: 462000 | #Constraints: 83647
80.67/80.92 c #Conflicts: 463000 | #Constraints: 84647
80.67/80.92 c #Conflicts: 464000 | #Constraints: 85647
80.67/80.92 c #Conflicts: 465000 | #Constraints: 86647
80.67/80.92 c #Conflicts: 466000 | #Constraints: 87647
80.67/80.92 c #Conflicts: 467000 | #Constraints: 88647
80.67/80.92 c #Conflicts: 468000 | #Constraints: 89647
80.67/80.92 c #Conflicts: 469000 | #Constraints: 90647
80.67/80.92 c #Conflicts: 470000 | #Constraints: 91647
80.67/80.92 c #Conflicts: 471000 | #Constraints: 92647
80.67/80.92 c #Conflicts: 472000 | #Constraints: 93647
80.67/80.92 c #Conflicts: 473000 | #Constraints: 94647
80.67/80.92 c #Conflicts: 474000 | #Constraints: 95647
80.67/80.92 c #Conflicts: 475000 | #Constraints: 96647
80.67/80.92 c #Conflicts: 476000 | #Constraints: 97647
80.67/80.92 c #Conflicts: 477000 | #Constraints: 98647
80.67/80.92 c #Conflicts: 478000 | #Constraints: 99647
80.67/80.92 c INPROCESSING
80.67/80.92 c GARBAGE COLLECT
80.67/80.92 c rational objective 66.01
91.35/91.69 c #Conflicts: 479000 | #Constraints: 73969
91.35/91.69 c #Conflicts: 480000 | #Constraints: 74969
91.35/91.69 c #Conflicts: 481000 | #Constraints: 75969
91.35/91.69 c #Conflicts: 482000 | #Constraints: 76969
91.35/91.69 c #Conflicts: 483000 | #Constraints: 77969
91.35/91.69 c #Conflicts: 484000 | #Constraints: 78969
91.35/91.69 c #Conflicts: 485000 | #Constraints: 79969
91.35/91.69 c #Conflicts: 486000 | #Constraints: 80969
91.35/91.69 c #Conflicts: 487000 | #Constraints: 81969
91.35/91.69 c #Conflicts: 488000 | #Constraints: 82969
91.35/91.69 c #Conflicts: 489000 | #Constraints: 83969
91.35/91.69 c #Conflicts: 490000 | #Constraints: 84969
91.35/91.69 c #Conflicts: 491000 | #Constraints: 85969
91.35/91.69 c #Conflicts: 492000 | #Constraints: 86969
91.35/91.69 c #Conflicts: 493000 | #Constraints: 87969
91.35/91.69 c #Conflicts: 494000 | #Constraints: 88969
91.35/91.69 c #Conflicts: 495000 | #Constraints: 89969
91.35/91.69 c #Conflicts: 496000 | #Constraints: 90969
91.35/91.69 c #Conflicts: 497000 | #Constraints: 91969
91.35/91.69 c #Conflicts: 498000 | #Constraints: 92969
91.35/91.69 c #Conflicts: 499000 | #Constraints: 93969
91.35/91.69 c #Conflicts: 500000 | #Constraints: 94969
91.35/91.69 c #Conflicts: 501000 | #Constraints: 95969
91.35/91.69 c #Conflicts: 502000 | #Constraints: 96969
91.35/91.69 c #Conflicts: 503000 | #Constraints: 97969
91.35/91.69 c #Conflicts: 504000 | #Constraints: 98969
91.35/91.69 c #Conflicts: 505000 | #Constraints: 99969
91.35/91.69 c #Conflicts: 506000 | #Constraints: 100969
91.35/91.69 c #Conflicts: 507000 | #Constraints: 101969
91.35/91.69 c #Conflicts: 508000 | #Constraints: 102969
91.35/91.69 c #Conflicts: 509000 | #Constraints: 103969
91.35/91.69 c #Conflicts: 510000 | #Constraints: 104969
91.35/91.69 c #Conflicts: 511000 | #Constraints: 105969
91.35/91.69 c #Conflicts: 512000 | #Constraints: 106969
91.35/91.69 c #Conflicts: 513000 | #Constraints: 107969
91.35/91.69 c #Conflicts: 514000 | #Constraints: 108969
91.35/91.69 c #Conflicts: 515000 | #Constraints: 109969
91.35/91.69 c #Conflicts: 516000 | #Constraints: 110969
91.35/91.69 c #Conflicts: 517000 | #Constraints: 111969
91.35/91.69 c #Conflicts: 518000 | #Constraints: 112969
91.35/91.69 c #Conflicts: 519000 | #Constraints: 113969
91.35/91.69 c #Conflicts: 520000 | #Constraints: 114969
91.35/91.69 c #Conflicts: 521000 | #Constraints: 115969
91.35/91.69 c #Conflicts: 522000 | #Constraints: 116969
91.35/91.69 c #Conflicts: 523000 | #Constraints: 117969
91.35/91.69 c #Conflicts: 524000 | #Constraints: 118969
91.35/91.69 c #Conflicts: 525000 | #Constraints: 119969
91.35/91.69 c INPROCESSING
91.35/91.69 c GARBAGE COLLECT
91.35/91.69 c rational objective 66.0194
106.01/106.32 c #Conflicts: 526000 | #Constraints: 84397
106.01/106.32 c #Conflicts: 527000 | #Constraints: 85397
106.01/106.32 c #Conflicts: 528000 | #Constraints: 86397
106.01/106.32 c #Conflicts: 529000 | #Constraints: 87397
106.01/106.32 c #Conflicts: 530000 | #Constraints: 88397
106.01/106.32 c #Conflicts: 531000 | #Constraints: 89397
106.01/106.32 c #Conflicts: 532000 | #Constraints: 90397
106.01/106.32 c #Conflicts: 533000 | #Constraints: 91397
106.01/106.32 c #Conflicts: 534000 | #Constraints: 92397
106.01/106.32 c #Conflicts: 535000 | #Constraints: 93397
106.01/106.32 c #Conflicts: 536000 | #Constraints: 94397
106.01/106.32 c #Conflicts: 537000 | #Constraints: 95397
106.01/106.32 c #Conflicts: 538000 | #Constraints: 96397
106.01/106.32 c #Conflicts: 539000 | #Constraints: 97397
106.01/106.32 c #Conflicts: 540000 | #Constraints: 98397
106.01/106.32 c #Conflicts: 541000 | #Constraints: 99397
106.01/106.32 c #Conflicts: 542000 | #Constraints: 100397
106.01/106.32 c #Conflicts: 543000 | #Constraints: 101397
106.01/106.32 c #Conflicts: 544000 | #Constraints: 102397
106.01/106.32 c #Conflicts: 545000 | #Constraints: 103397
106.01/106.32 c INPROCESSING
106.01/106.32 c GARBAGE COLLECT
106.01/106.32 c #Conflicts: 546000 | #Constraints: 75718
106.01/106.32 c #Conflicts: 547000 | #Constraints: 76718
106.01/106.32 c #Conflicts: 548000 | #Constraints: 77718
106.01/106.32 c #Conflicts: 549000 | #Constraints: 78718
106.01/106.32 c #Conflicts: 550000 | #Constraints: 79718
106.01/106.32 c #Conflicts: 551000 | #Constraints: 80718
106.01/106.32 c #Conflicts: 552000 | #Constraints: 81718
106.01/106.32 c #Conflicts: 553000 | #Constraints: 82718
106.01/106.32 c #Conflicts: 554000 | #Constraints: 83718
106.01/106.32 c #Conflicts: 555000 | #Constraints: 84718
106.01/106.32 c #Conflicts: 556000 | #Constraints: 85718
106.01/106.32 c #Conflicts: 557000 | #Constraints: 86718
106.01/106.32 c #Conflicts: 558000 | #Constraints: 87718
106.01/106.32 c #Conflicts: 559000 | #Constraints: 88718
106.01/106.32 c #Conflicts: 560000 | #Constraints: 89718
106.01/106.32 c #Conflicts: 561000 | #Constraints: 90718
106.01/106.32 c #Conflicts: 562000 | #Constraints: 91718
106.01/106.32 c #Conflicts: 563000 | #Constraints: 92718
106.01/106.32 c #Conflicts: 564000 | #Constraints: 93718
106.01/106.32 c #Conflicts: 565000 | #Constraints: 94718
106.01/106.32 c #Conflicts: 566000 | #Constraints: 95718
106.01/106.32 c #Conflicts: 567000 | #Constraints: 96718
106.01/106.32 c #Conflicts: 568000 | #Constraints: 97718
106.01/106.32 c #Conflicts: 569000 | #Constraints: 98718
106.01/106.32 c #Conflicts: 570000 | #Constraints: 99718
106.01/106.32 c #Conflicts: 571000 | #Constraints: 100718
106.01/106.32 c #Conflicts: 572000 | #Constraints: 101718
106.01/106.32 c #Conflicts: 573000 | #Constraints: 102718
106.01/106.32 c #Conflicts: 574000 | #Constraints: 103718
106.01/106.32 c #Conflicts: 575000 | #Constraints: 104718
106.01/106.32 c #Conflicts: 576000 | #Constraints: 105718
106.01/106.32 c #Conflicts: 577000 | #Constraints: 106718
106.01/106.32 c #Conflicts: 578000 | #Constraints: 107718
106.01/106.32 c #Conflicts: 579000 | #Constraints: 108718
106.01/106.32 c #Conflicts: 580000 | #Constraints: 109718
106.01/106.32 c #Conflicts: 581000 | #Constraints: 110718
106.01/106.32 c #Conflicts: 582000 | #Constraints: 111718
106.01/106.32 c #Conflicts: 583000 | #Constraints: 112718
106.01/106.32 c #Conflicts: 584000 | #Constraints: 113718
106.01/106.32 c #Conflicts: 585000 | #Constraints: 114718
106.01/106.32 c #Conflicts: 586000 | #Constraints: 115718
106.01/106.32 c #Conflicts: 587000 | #Constraints: 116718
106.01/106.32 c #Conflicts: 588000 | #Constraints: 117718
106.01/106.32 c #Conflicts: 589000 | #Constraints: 118718
106.01/106.32 c #Conflicts: 590000 | #Constraints: 119718
106.01/106.32 c #Conflicts: 591000 | #Constraints: 120718
106.01/106.32 c #Conflicts: 592000 | #Constraints: 121718
106.01/106.32 c #Conflicts: 593000 | #Constraints: 122718
106.01/106.32 c #Conflicts: 594000 | #Constraints: 123718
106.01/106.32 c #Conflicts: 595000 | #Constraints: 124718
106.01/106.32 c INPROCESSING
106.01/106.32 c GARBAGE COLLECT
106.01/106.32 c rational objective 66.0235
119.78/120.12 c #Conflicts: 596000 | #Constraints: 86635
119.78/120.12 c #Conflicts: 597000 | #Constraints: 87635
119.78/120.12 c #Conflicts: 598000 | #Constraints: 88635
119.78/120.12 c #Conflicts: 599000 | #Constraints: 89635
119.78/120.12 c #Conflicts: 600000 | #Constraints: 90635
119.78/120.12 c #Conflicts: 601000 | #Constraints: 91635
119.78/120.12 c #Conflicts: 602000 | #Constraints: 92635
119.78/120.12 c #Conflicts: 603000 | #Constraints: 93635
119.78/120.12 c #Conflicts: 604000 | #Constraints: 94635
119.78/120.12 c #Conflicts: 605000 | #Constraints: 95635
119.78/120.12 c #Conflicts: 606000 | #Constraints: 96635
119.78/120.12 c #Conflicts: 607000 | #Constraints: 97635
119.78/120.12 c #Conflicts: 608000 | #Constraints: 98635
119.78/120.12 c #Conflicts: 609000 | #Constraints: 99635
119.78/120.12 c #Conflicts: 610000 | #Constraints: 100635
119.78/120.12 c #Conflicts: 611000 | #Constraints: 101635
119.78/120.12 c #Conflicts: 612000 | #Constraints: 102635
119.78/120.12 c #Conflicts: 613000 | #Constraints: 103635
119.78/120.12 c #Conflicts: 614000 | #Constraints: 104635
119.78/120.12 c #Conflicts: 615000 | #Constraints: 105635
119.78/120.12 c #Conflicts: 616000 | #Constraints: 106635
119.78/120.12 c #Conflicts: 617000 | #Constraints: 107635
119.78/120.12 c INPROCESSING
119.78/120.12 c GARBAGE COLLECT
119.78/120.12 c #Conflicts: 618000 | #Constraints: 78135
119.78/120.12 c #Conflicts: 619000 | #Constraints: 79135
119.78/120.12 c #Conflicts: 620000 | #Constraints: 80135
119.78/120.12 c #Conflicts: 621000 | #Constraints: 81135
119.78/120.12 c #Conflicts: 622000 | #Constraints: 82135
119.78/120.12 c #Conflicts: 623000 | #Constraints: 83135
119.78/120.12 c #Conflicts: 624000 | #Constraints: 84135
119.78/120.12 c #Conflicts: 625000 | #Constraints: 85135
119.78/120.12 c #Conflicts: 626000 | #Constraints: 86135
119.78/120.12 c #Conflicts: 627000 | #Constraints: 87135
119.78/120.12 c #Conflicts: 628000 | #Constraints: 88135
119.78/120.12 c #Conflicts: 629000 | #Constraints: 89135
119.78/120.12 c #Conflicts: 630000 | #Constraints: 90135
119.78/120.12 c #Conflicts: 631000 | #Constraints: 91135
119.78/120.12 c #Conflicts: 632000 | #Constraints: 92135
119.78/120.12 c #Conflicts: 633000 | #Constraints: 93135
119.78/120.12 c #Conflicts: 634000 | #Constraints: 94135
119.78/120.12 c #Conflicts: 635000 | #Constraints: 95135
119.78/120.12 c #Conflicts: 636000 | #Constraints: 96135
119.78/120.12 c #Conflicts: 637000 | #Constraints: 97135
119.78/120.12 c #Conflicts: 638000 | #Constraints: 98135
119.78/120.12 c #Conflicts: 639000 | #Constraints: 99135
119.78/120.12 c #Conflicts: 640000 | #Constraints: 100135
119.78/120.12 c #Conflicts: 641000 | #Constraints: 101135
119.78/120.12 c #Conflicts: 642000 | #Constraints: 102135
119.78/120.12 c #Conflicts: 643000 | #Constraints: 103135
119.78/120.12 c #Conflicts: 644000 | #Constraints: 104135
119.78/120.12 c #Conflicts: 645000 | #Constraints: 105135
119.78/120.12 c #Conflicts: 646000 | #Constraints: 106135
119.78/120.12 c #Conflicts: 647000 | #Constraints: 107135
119.78/120.12 c #Conflicts: 648000 | #Constraints: 108135
119.78/120.12 c #Conflicts: 649000 | #Constraints: 109135
119.78/120.12 c #Conflicts: 650000 | #Constraints: 110135
119.78/120.12 c #Conflicts: 651000 | #Constraints: 111135
119.78/120.12 c #Conflicts: 652000 | #Constraints: 112135
119.78/120.12 c #Conflicts: 653000 | #Constraints: 113135
119.78/120.12 c #Conflicts: 654000 | #Constraints: 114135
119.78/120.12 c #Conflicts: 655000 | #Constraints: 115135
119.78/120.12 c #Conflicts: 656000 | #Constraints: 116135
119.78/120.12 c #Conflicts: 657000 | #Constraints: 117135
119.78/120.12 c #Conflicts: 658000 | #Constraints: 118135
119.78/120.12 c #Conflicts: 659000 | #Constraints: 119135
119.78/120.12 c #Conflicts: 660000 | #Constraints: 120135
119.78/120.12 c #Conflicts: 661000 | #Constraints: 121135
119.78/120.12 c #Conflicts: 662000 | #Constraints: 122135
119.78/120.12 c #Conflicts: 663000 | #Constraints: 123135
119.78/120.12 c #Conflicts: 664000 | #Constraints: 124135
119.78/120.12 c #Conflicts: 665000 | #Constraints: 125135
119.78/120.12 c #Conflicts: 666000 | #Constraints: 126135
119.78/120.12 c #Conflicts: 667000 | #Constraints: 127135
119.78/120.12 c #Conflicts: 668000 | #Constraints: 128135
119.78/120.12 c #Conflicts: 669000 | #Constraints: 129135
119.78/120.12 c INPROCESSING
119.78/120.12 c GARBAGE COLLECT
119.78/120.12 c rational objective 66.0411
132.16/132.54 c #Conflicts: 670000 | #Constraints: 88529
132.16/132.54 c #Conflicts: 671000 | #Constraints: 89529
132.16/132.54 c #Conflicts: 672000 | #Constraints: 90529
132.16/132.54 c #Conflicts: 673000 | #Constraints: 91529
132.16/132.54 c #Conflicts: 674000 | #Constraints: 92529
132.16/132.54 c #Conflicts: 675000 | #Constraints: 93529
132.16/132.54 c #Conflicts: 676000 | #Constraints: 94529
132.16/132.54 c #Conflicts: 677000 | #Constraints: 95529
132.16/132.54 c #Conflicts: 678000 | #Constraints: 96529
132.16/132.54 c #Conflicts: 679000 | #Constraints: 97529
132.16/132.54 c #Conflicts: 680000 | #Constraints: 98529
132.16/132.54 c #Conflicts: 681000 | #Constraints: 99529
132.16/132.54 c #Conflicts: 682000 | #Constraints: 100529
132.16/132.54 c #Conflicts: 683000 | #Constraints: 101529
132.16/132.54 c #Conflicts: 684000 | #Constraints: 102529
132.16/132.54 c #Conflicts: 685000 | #Constraints: 103529
132.16/132.54 c #Conflicts: 686000 | #Constraints: 104529
132.16/132.54 c #Conflicts: 687000 | #Constraints: 105529
132.16/132.54 c #Conflicts: 688000 | #Constraints: 106529
132.16/132.54 c #Conflicts: 689000 | #Constraints: 107529
132.16/132.54 c #Conflicts: 690000 | #Constraints: 108529
132.16/132.54 c #Conflicts: 691000 | #Constraints: 109529
132.16/132.54 c #Conflicts: 692000 | #Constraints: 110529
132.16/132.54 c #Conflicts: 693000 | #Constraints: 111529
132.16/132.54 c INPROCESSING
132.16/132.54 c GARBAGE COLLECT
132.16/132.54 c #Conflicts: 694000 | #Constraints: 80146
132.16/132.54 c #Conflicts: 695000 | #Constraints: 81146
132.16/132.54 c #Conflicts: 696000 | #Constraints: 82146
132.16/132.54 c #Conflicts: 697000 | #Constraints: 83146
132.16/132.54 c #Conflicts: 698000 | #Constraints: 84146
132.16/132.54 c #Conflicts: 699000 | #Constraints: 85146
132.16/132.54 c #Conflicts: 700000 | #Constraints: 86146
132.16/132.54 c #Conflicts: 701000 | #Constraints: 87146
132.16/132.54 c #Conflicts: 702000 | #Constraints: 88146
132.16/132.54 c #Conflicts: 703000 | #Constraints: 89146
132.16/132.54 c #Conflicts: 704000 | #Constraints: 90146
132.16/132.54 c #Conflicts: 705000 | #Constraints: 91146
132.16/132.54 c #Conflicts: 706000 | #Constraints: 92146
132.16/132.54 c #Conflicts: 707000 | #Constraints: 93146
132.16/132.54 c #Conflicts: 708000 | #Constraints: 94146
132.16/132.54 c #Conflicts: 709000 | #Constraints: 95146
132.16/132.54 c #Conflicts: 710000 | #Constraints: 96146
132.16/132.54 c #Conflicts: 711000 | #Constraints: 97146
132.16/132.54 c #Conflicts: 712000 | #Constraints: 98146
132.16/132.54 c #Conflicts: 713000 | #Constraints: 99146
132.16/132.54 c #Conflicts: 714000 | #Constraints: 100146
132.16/132.54 c #Conflicts: 715000 | #Constraints: 101146
132.16/132.54 c #Conflicts: 716000 | #Constraints: 102146
132.16/132.54 c #Conflicts: 717000 | #Constraints: 103146
132.16/132.54 c #Conflicts: 718000 | #Constraints: 104146
132.16/132.54 c #Conflicts: 719000 | #Constraints: 105146
132.16/132.54 c #Conflicts: 720000 | #Constraints: 106146
132.16/132.54 c #Conflicts: 721000 | #Constraints: 107146
132.16/132.54 c #Conflicts: 722000 | #Constraints: 108146
132.16/132.54 c #Conflicts: 723000 | #Constraints: 109146
132.16/132.54 c #Conflicts: 724000 | #Constraints: 110146
132.16/132.54 c #Conflicts: 725000 | #Constraints: 111146
132.16/132.54 c #Conflicts: 726000 | #Constraints: 112146
132.16/132.54 c #Conflicts: 727000 | #Constraints: 113146
132.16/132.54 c #Conflicts: 728000 | #Constraints: 114146
132.16/132.54 c #Conflicts: 729000 | #Constraints: 115146
132.16/132.54 c #Conflicts: 730000 | #Constraints: 116146
132.16/132.54 c #Conflicts: 731000 | #Constraints: 117146
132.16/132.54 c #Conflicts: 732000 | #Constraints: 118146
132.16/132.54 c #Conflicts: 733000 | #Constraints: 119146
132.16/132.54 c #Conflicts: 734000 | #Constraints: 120146
132.16/132.54 c #Conflicts: 735000 | #Constraints: 121146
132.16/132.54 c #Conflicts: 736000 | #Constraints: 122146
132.16/132.54 c #Conflicts: 737000 | #Constraints: 123146
132.16/132.54 c #Conflicts: 738000 | #Constraints: 124146
132.16/132.54 c #Conflicts: 739000 | #Constraints: 125146
132.16/132.54 c #Conflicts: 740000 | #Constraints: 126146
132.16/132.54 c #Conflicts: 741000 | #Constraints: 127146
132.16/132.54 c #Conflicts: 742000 | #Constraints: 128146
132.16/132.54 c #Conflicts: 743000 | #Constraints: 129146
132.16/132.54 c #Conflicts: 744000 | #Constraints: 130146
132.16/132.54 c #Conflicts: 745000 | #Constraints: 131146
132.16/132.54 c #Conflicts: 746000 | #Constraints: 132146
132.16/132.54 c #Conflicts: 747000 | #Constraints: 133146
132.16/132.54 c #Conflicts: 748000 | #Constraints: 134146
133.35/133.73 c INPROCESSING
133.35/133.73 c GARBAGE COLLECT
133.35/133.73 c rational objective 66.05
138.74/139.19 c #Conflicts: 749000 | #Constraints: 91087
138.74/139.19 c #Conflicts: 750000 | #Constraints: 92087
138.74/139.19 c #Conflicts: 751000 | #Constraints: 93087
138.74/139.19 c #Conflicts: 752000 | #Constraints: 94087
138.74/139.19 c #Conflicts: 753000 | #Constraints: 95087
138.74/139.19 c #Conflicts: 754000 | #Constraints: 96087
138.74/139.19 c #Conflicts: 755000 | #Constraints: 97087
138.74/139.19 c #Conflicts: 756000 | #Constraints: 98087
138.74/139.19 c #Conflicts: 757000 | #Constraints: 99087
138.74/139.19 c #Conflicts: 758000 | #Constraints: 100087
138.74/139.19 c #Conflicts: 759000 | #Constraints: 101087
138.74/139.19 c #Conflicts: 760000 | #Constraints: 102087
138.74/139.19 c #Conflicts: 761000 | #Constraints: 103087
138.74/139.19 c #Conflicts: 762000 | #Constraints: 104087
138.74/139.19 c #Conflicts: 763000 | #Constraints: 105087
138.74/139.19 c #Conflicts: 764000 | #Constraints: 106087
138.74/139.19 c #Conflicts: 765000 | #Constraints: 107087
138.74/139.19 c #Conflicts: 766000 | #Constraints: 108087
138.74/139.19 c #Conflicts: 767000 | #Constraints: 109087
138.74/139.19 c #Conflicts: 768000 | #Constraints: 110087
138.74/139.19 c #Conflicts: 769000 | #Constraints: 111087
138.74/139.19 c #Conflicts: 770000 | #Constraints: 112087
138.74/139.19 c #Conflicts: 771000 | #Constraints: 113087
138.74/139.19 c #Conflicts: 772000 | #Constraints: 114087
138.74/139.19 c #Conflicts: 773000 | #Constraints: 115087
138.74/139.19 c INPROCESSING
138.74/139.19 c GARBAGE COLLECT
138.74/139.19 c rational objective 66.0521
149.72/150.19 c #Conflicts: 774000 | #Constraints: 81766
149.72/150.19 c #Conflicts: 775000 | #Constraints: 82766
149.72/150.19 c #Conflicts: 776000 | #Constraints: 83766
149.72/150.19 c #Conflicts: 777000 | #Constraints: 84766
149.72/150.19 c #Conflicts: 778000 | #Constraints: 85766
149.72/150.19 c #Conflicts: 779000 | #Constraints: 86766
149.72/150.19 c #Conflicts: 780000 | #Constraints: 87766
149.72/150.19 c #Conflicts: 781000 | #Constraints: 88766
149.72/150.19 c #Conflicts: 782000 | #Constraints: 89766
149.72/150.19 c #Conflicts: 783000 | #Constraints: 90766
149.72/150.19 c #Conflicts: 784000 | #Constraints: 91766
149.72/150.19 c #Conflicts: 785000 | #Constraints: 92766
149.72/150.19 c #Conflicts: 786000 | #Constraints: 93766
149.72/150.19 c #Conflicts: 787000 | #Constraints: 94766
149.72/150.19 c #Conflicts: 788000 | #Constraints: 95766
149.72/150.19 c #Conflicts: 789000 | #Constraints: 96766
149.72/150.19 c #Conflicts: 790000 | #Constraints: 97766
149.72/150.19 c #Conflicts: 791000 | #Constraints: 98766
149.72/150.19 c #Conflicts: 792000 | #Constraints: 99766
149.72/150.19 c #Conflicts: 793000 | #Constraints: 100766
149.72/150.19 c #Conflicts: 794000 | #Constraints: 101766
149.72/150.19 c #Conflicts: 795000 | #Constraints: 102766
149.72/150.19 c #Conflicts: 796000 | #Constraints: 103766
149.72/150.19 c #Conflicts: 797000 | #Constraints: 104766
149.72/150.19 c #Conflicts: 798000 | #Constraints: 105766
149.72/150.19 c #Conflicts: 799000 | #Constraints: 106766
149.72/150.19 c #Conflicts: 800000 | #Constraints: 107766
149.72/150.19 c #Conflicts: 801000 | #Constraints: 108766
149.72/150.19 c #Conflicts: 802000 | #Constraints: 109766
149.72/150.19 c #Conflicts: 803000 | #Constraints: 110766
149.72/150.19 c #Conflicts: 804000 | #Constraints: 111766
149.72/150.19 c #Conflicts: 805000 | #Constraints: 112766
149.72/150.19 c #Conflicts: 806000 | #Constraints: 113766
149.72/150.19 c #Conflicts: 807000 | #Constraints: 114766
149.72/150.19 c #Conflicts: 808000 | #Constraints: 115766
149.72/150.19 c #Conflicts: 809000 | #Constraints: 116766
149.72/150.19 c #Conflicts: 810000 | #Constraints: 117766
149.72/150.19 c #Conflicts: 811000 | #Constraints: 118766
149.72/150.19 c #Conflicts: 812000 | #Constraints: 119766
149.72/150.19 c #Conflicts: 813000 | #Constraints: 120766
149.72/150.19 c #Conflicts: 814000 | #Constraints: 121766
149.72/150.19 c #Conflicts: 815000 | #Constraints: 122766
149.72/150.19 c #Conflicts: 816000 | #Constraints: 123766
149.72/150.19 c #Conflicts: 817000 | #Constraints: 124766
149.72/150.19 c #Conflicts: 818000 | #Constraints: 125766
149.72/150.19 c #Conflicts: 819000 | #Constraints: 126766
149.72/150.19 c #Conflicts: 820000 | #Constraints: 127766
149.72/150.19 c #Conflicts: 821000 | #Constraints: 128766
149.72/150.19 c #Conflicts: 822000 | #Constraints: 129766
149.72/150.19 c #Conflicts: 823000 | #Constraints: 130766
149.72/150.19 c #Conflicts: 824000 | #Constraints: 131766
149.72/150.19 c #Conflicts: 825000 | #Constraints: 132766
149.72/150.19 c #Conflicts: 826000 | #Constraints: 133766
149.72/150.19 c #Conflicts: 827000 | #Constraints: 134766
149.72/150.19 c #Conflicts: 828000 | #Constraints: 135766
149.72/150.19 c #Conflicts: 829000 | #Constraints: 136766
149.72/150.19 c #Conflicts: 830000 | #Constraints: 137766
149.72/150.19 c #Conflicts: 831000 | #Constraints: 138766
149.72/150.19 c #Conflicts: 832000 | #Constraints: 139766
149.72/150.19 c INPROCESSING
149.72/150.19 c GARBAGE COLLECT
149.72/150.19 c rational objective 66.0521
155.80/156.26 c #Conflicts: 833000 | #Constraints: 94208
155.80/156.26 c #Conflicts: 834000 | #Constraints: 95208
155.80/156.26 c #Conflicts: 835000 | #Constraints: 96208
155.80/156.26 c #Conflicts: 836000 | #Constraints: 97208
155.80/156.26 c #Conflicts: 837000 | #Constraints: 98208
155.80/156.26 c #Conflicts: 838000 | #Constraints: 99208
155.80/156.26 c #Conflicts: 839000 | #Constraints: 100208
155.80/156.26 c #Conflicts: 840000 | #Constraints: 101208
155.80/156.26 c #Conflicts: 841000 | #Constraints: 102208
155.80/156.26 c #Conflicts: 842000 | #Constraints: 103208
155.80/156.26 c #Conflicts: 843000 | #Constraints: 104208
155.80/156.26 c #Conflicts: 844000 | #Constraints: 105208
155.80/156.26 c #Conflicts: 845000 | #Constraints: 106208
155.80/156.26 c #Conflicts: 846000 | #Constraints: 107208
155.80/156.26 c #Conflicts: 847000 | #Constraints: 108208
155.80/156.26 c #Conflicts: 848000 | #Constraints: 109208
155.80/156.26 c #Conflicts: 849000 | #Constraints: 110208
155.80/156.26 c #Conflicts: 850000 | #Constraints: 111208
155.80/156.26 c #Conflicts: 851000 | #Constraints: 112208
155.80/156.26 c #Conflicts: 852000 | #Constraints: 113208
155.80/156.26 c #Conflicts: 853000 | #Constraints: 114208
155.80/156.26 c #Conflicts: 854000 | #Constraints: 115208
155.80/156.26 c #Conflicts: 855000 | #Constraints: 116208
155.80/156.26 c #Conflicts: 856000 | #Constraints: 117208
155.80/156.26 c #Conflicts: 857000 | #Constraints: 118208
155.80/156.26 c #Conflicts: 858000 | #Constraints: 119208
155.80/156.26 c INPROCESSING
155.80/156.26 c GARBAGE COLLECT
155.80/156.26 c rational objective 66.0561
159.59/160.01 c #Conflicts: 859000 | #Constraints: 83999
159.59/160.01 c #Conflicts: 860000 | #Constraints: 84999
159.59/160.01 c #Conflicts: 861000 | #Constraints: 85999
159.59/160.01 c #Conflicts: 862000 | #Constraints: 86999
159.59/160.01 c #Conflicts: 863000 | #Constraints: 87999
159.59/160.01 c #Conflicts: 864000 | #Constraints: 88999
159.59/160.01 c #Conflicts: 865000 | #Constraints: 89999
159.59/160.01 c #Conflicts: 866000 | #Constraints: 90999
159.59/160.01 c #Conflicts: 867000 | #Constraints: 91999
159.59/160.01 c #Conflicts: 868000 | #Constraints: 92999
159.59/160.01 c #Conflicts: 869000 | #Constraints: 93999
159.59/160.01 c #Conflicts: 870000 | #Constraints: 94999
159.59/160.01 c #Conflicts: 871000 | #Constraints: 95999
159.59/160.01 c #Conflicts: 872000 | #Constraints: 96999
159.59/160.01 c #Conflicts: 873000 | #Constraints: 97999
159.59/160.01 c #Conflicts: 874000 | #Constraints: 98999
159.59/160.01 c #Conflicts: 875000 | #Constraints: 99999
159.59/160.01 c #Conflicts: 876000 | #Constraints: 100999
159.59/160.01 c #Conflicts: 877000 | #Constraints: 101999
159.59/160.01 c #Conflicts: 878000 | #Constraints: 102999
159.59/160.01 c #Conflicts: 879000 | #Constraints: 103999
159.59/160.01 c #Conflicts: 880000 | #Constraints: 104999
159.59/160.01 c #Conflicts: 881000 | #Constraints: 105999
159.59/160.01 c #Conflicts: 882000 | #Constraints: 106999
159.59/160.01 WSVECS04 Frhs2[86]: 6 -1.00009 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[94]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[95]: 6 -1.00009 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[96]: 6 -1.00009 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[97]: 6 -1.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[100]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[101]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[102]: 6 -1.00001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[103]: 6 -1.00009 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[104]: 6 -1.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[105]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[348]: 6 -25.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[440]: 6 -1.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[441]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[442]: 6 -1.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[443]: 6 -1.00006 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[485]: 6 -1.00003 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[486]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[487]: 6 -1.00008 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[489]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[723]: 6 -1.00001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[724]: 6 -1.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[725]: 6 -1.00003 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[726]: 6 -1.00006 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[727]: 6 -1.00001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[728]: 6 -1.00008 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[729]: 6 -1.00006 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[730]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[731]: 6 -1.00001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[732]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[733]: 6 -1.00001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[734]: 6 -1.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[735]: 6 -1.00003 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[742]: 6 -1.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[766]: 6 -1.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[767]: 6 -1.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[768]: 6 -1.00008 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[770]: 6 -1.00004 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[771]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[772]: 6 -1.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[773]: 6 -1.00001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[774]: 6 -1.00005 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[775]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[776]: 6 -1.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[777]: 6 -1.0001 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[819]: 6 -1.00002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[878]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[879]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[880]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[881]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[882]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[883]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[884]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[885]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[886]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[887]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[888]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[889]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[890]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[891]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[894]: 6 0 2.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1013]: 6 0 2.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1014]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1015]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1016]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1017]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1018]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1019]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1020]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1021]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1022]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1023]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1024]: 6 0 2.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1025]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1026]: 6 0 2.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1027]: 6 0 2.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1028]: 6 0 2.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1029]: 6 0 2.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1058]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1059]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1061]: 6 0 1.00001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1062]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1063]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1064]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1065]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1066]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1067]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1069]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1071]: 6 0 2.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1081]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1089]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1103]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1104]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1106]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1107]: 6 0 1.00001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1108]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1109]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1110]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1111]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1112]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1114]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1116]: 6 0 2.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1117]: 6 0 2.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1118]: 6 0 2.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1119]: 6 0 2.00001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1126]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1134]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1136]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1198]: 6 -1.00008 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1201]: 6 -2.00007 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1247]: 6 -1.50009 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1248]: 6 -1.50002 0 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1345]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1346]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1347]: 6 0 1.50004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1348]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1349]: 6 0 1.00001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1350]: 6 0 1.37502 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1351]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1352]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1353]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1354]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1355]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1356]: 6 0 1.5313 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1357]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1358]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1359]: 6 0 2.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1360]: 6 0 2.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1361]: 6 0 2.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1525]: 6 0 1.46885 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1526]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1527]: 6 0 1.12506 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1528]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1529]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1530]: 6 0 1.50009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1534]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1535]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1536]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1537]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1540]: 6 0 2.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1541]: 6 0 2.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1615]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1616]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1617]: 6 0 1.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1618]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1619]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1620]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1621]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1622]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1623]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1624]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1627]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1628]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1629]: 6 0 2.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1630]: 6 0 2.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1631]: 6 0 2.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1646]: 6 0 1.09383 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1660]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1661]: 6 0 1.00008 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1662]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1663]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1664]: 6 0 1.00007 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1665]: 6 0 1.0001 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1666]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1667]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1668]: 6 0 1.00002 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1669]: 6 0 1.00006 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1670]: 6 0 1.00005 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1671]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1672]: 6 0 1.00004 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1673]: 6 0 1.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1674]: 6 0 2.00003 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1675]: 6 0 2.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1676]: 6 0 2.00009 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1746]: 6 0 0.812525 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1789]: 6 0 0.406347 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1790]: 6 0 0.906335 shouldn't be
159.59/160.01 WSVECS04 Frhs2[1840]: 6 -1.00002 0 shouldn't be
166.37/166.80 c #Conflicts: 883000 | #Constraints: 107999
166.37/166.80 c #Conflicts: 884000 | #Constraints: 108999
166.37/166.80 c #Conflicts: 885000 | #Constraints: 109999
166.37/166.80 c #Conflicts: 886000 | #Constraints: 110999
166.37/166.80 c #Conflicts: 887000 | #Constraints: 111999
166.37/166.80 c #Conflicts: 888000 | #Constraints: 112999
166.37/166.80 c #Conflicts: 889000 | #Constraints: 113999
166.37/166.80 c #Conflicts: 890000 | #Constraints: 114999
166.37/166.80 c #Conflicts: 891000 | #Constraints: 115999
166.37/166.80 c #Conflicts: 892000 | #Constraints: 116999
166.37/166.80 c #Conflicts: 893000 | #Constraints: 117999
166.37/166.80 c #Conflicts: 894000 | #Constraints: 118999
166.37/166.80 c #Conflicts: 895000 | #Constraints: 119999
166.37/166.80 c #Conflicts: 896000 | #Constraints: 120999
166.37/166.80 c #Conflicts: 897000 | #Constraints: 121999
166.37/166.80 c #Conflicts: 898000 | #Constraints: 122999
166.37/166.80 c #Conflicts: 899000 | #Constraints: 123999
166.37/166.80 c #Conflicts: 900000 | #Constraints: 124999
166.37/166.80 c #Conflicts: 901000 | #Constraints: 125999
166.37/166.80 c #Conflicts: 902000 | #Constraints: 126999
166.37/166.80 c #Conflicts: 903000 | #Constraints: 127999
166.37/166.80 c #Conflicts: 904000 | #Constraints: 128999
166.37/166.80 c #Conflicts: 905000 | #Constraints: 129999
166.37/166.80 c #Conflicts: 906000 | #Constraints: 130999
166.37/166.80 c #Conflicts: 907000 | #Constraints: 131999
166.37/166.80 c #Conflicts: 908000 | #Constraints: 132999
166.37/166.80 c #Conflicts: 909000 | #Constraints: 133999
166.37/166.80 c #Conflicts: 910000 | #Constraints: 134999
166.37/166.80 c #Conflicts: 911000 | #Constraints: 135999
166.37/166.80 c #Conflicts: 912000 | #Constraints: 136999
166.37/166.80 c #Conflicts: 913000 | #Constraints: 137999
166.37/166.80 c #Conflicts: 914000 | #Constraints: 138999
166.37/166.80 c #Conflicts: 915000 | #Constraints: 139999
166.37/166.80 c #Conflicts: 916000 | #Constraints: 140999
166.37/166.80 c #Conflicts: 917000 | #Constraints: 141999
166.37/166.80 c #Conflicts: 918000 | #Constraints: 142999
166.37/166.80 c #Conflicts: 919000 | #Constraints: 143999
166.37/166.80 c #Conflicts: 920000 | #Constraints: 144999
166.37/166.80 c INPROCESSING
166.37/166.80 c GARBAGE COLLECT
166.37/166.80 c rational objective 66.0573
173.85/174.37 c #Conflicts: 921000 | #Constraints: 96888
173.85/174.37 c #Conflicts: 922000 | #Constraints: 97888
173.85/174.37 c #Conflicts: 923000 | #Constraints: 98888
173.85/174.37 c #Conflicts: 924000 | #Constraints: 99888
173.85/174.37 c #Conflicts: 925000 | #Constraints: 100888
173.85/174.37 c #Conflicts: 926000 | #Constraints: 101888
173.85/174.37 c #Conflicts: 927000 | #Constraints: 102888
173.85/174.37 c #Conflicts: 928000 | #Constraints: 103888
173.85/174.37 c #Conflicts: 929000 | #Constraints: 104888
173.85/174.37 c #Conflicts: 930000 | #Constraints: 105888
173.85/174.37 c #Conflicts: 931000 | #Constraints: 106888
173.85/174.37 c #Conflicts: 932000 | #Constraints: 107888
173.85/174.37 c #Conflicts: 933000 | #Constraints: 108888
173.85/174.37 c #Conflicts: 934000 | #Constraints: 109888
173.85/174.37 c #Conflicts: 935000 | #Constraints: 110888
173.85/174.37 c #Conflicts: 936000 | #Constraints: 111888
173.85/174.37 c #Conflicts: 937000 | #Constraints: 112888
173.85/174.37 c #Conflicts: 938000 | #Constraints: 113888
173.85/174.37 c #Conflicts: 939000 | #Constraints: 114888
173.85/174.37 c #Conflicts: 940000 | #Constraints: 115888
173.85/174.37 c #Conflicts: 941000 | #Constraints: 116888
173.85/174.37 c #Conflicts: 942000 | #Constraints: 117888
173.85/174.37 c #Conflicts: 943000 | #Constraints: 118888
173.85/174.37 c #Conflicts: 944000 | #Constraints: 119888
173.85/174.37 c #Conflicts: 945000 | #Constraints: 120888
173.85/174.37 c #Conflicts: 946000 | #Constraints: 121888
173.85/174.37 c #Conflicts: 947000 | #Constraints: 122888
173.85/174.37 c INPROCESSING
173.85/174.37 c GARBAGE COLLECT
173.85/174.37 c rational objective 66.0585
186.42/186.91 c #Conflicts: 948000 | #Constraints: 85816
186.42/186.91 c #Conflicts: 949000 | #Constraints: 86816
186.42/186.91 c #Conflicts: 950000 | #Constraints: 87816
186.42/186.91 c #Conflicts: 951000 | #Constraints: 88816
186.42/186.91 c #Conflicts: 952000 | #Constraints: 89816
186.42/186.91 c #Conflicts: 953000 | #Constraints: 90816
186.42/186.91 c #Conflicts: 954000 | #Constraints: 91816
186.42/186.91 c #Conflicts: 955000 | #Constraints: 92816
186.42/186.91 c #Conflicts: 956000 | #Constraints: 93816
186.42/186.91 c #Conflicts: 957000 | #Constraints: 94816
186.42/186.91 c #Conflicts: 958000 | #Constraints: 95816
186.42/186.91 c #Conflicts: 959000 | #Constraints: 96816
186.42/186.91 c #Conflicts: 960000 | #Constraints: 97816
186.42/186.91 c #Conflicts: 961000 | #Constraints: 98816
186.42/186.91 c #Conflicts: 962000 | #Constraints: 99816
186.42/186.91 c #Conflicts: 963000 | #Constraints: 100816
186.42/186.91 c #Conflicts: 964000 | #Constraints: 101816
186.42/186.91 c #Conflicts: 965000 | #Constraints: 102816
186.42/186.91 c #Conflicts: 966000 | #Constraints: 103816
186.42/186.91 c #Conflicts: 967000 | #Constraints: 104816
186.42/186.91 c #Conflicts: 968000 | #Constraints: 105816
186.42/186.91 c #Conflicts: 969000 | #Constraints: 106816
186.42/186.91 c #Conflicts: 970000 | #Constraints: 107816
186.42/186.91 c #Conflicts: 971000 | #Constraints: 108816
186.42/186.91 c #Conflicts: 972000 | #Constraints: 109816
186.42/186.91 c #Conflicts: 973000 | #Constraints: 110816
186.42/186.91 c #Conflicts: 974000 | #Constraints: 111816
186.42/186.91 c #Conflicts: 975000 | #Constraints: 112816
186.42/186.91 c #Conflicts: 976000 | #Constraints: 113816
186.42/186.91 c #Conflicts: 977000 | #Constraints: 114816
186.42/186.91 c #Conflicts: 978000 | #Constraints: 115816
186.42/186.91 c #Conflicts: 979000 | #Constraints: 116816
186.42/186.91 c #Conflicts: 980000 | #Constraints: 117816
186.42/186.91 c #Conflicts: 981000 | #Constraints: 118816
186.42/186.91 c #Conflicts: 982000 | #Constraints: 119816
186.42/186.91 c #Conflicts: 983000 | #Constraints: 120816
186.42/186.91 c #Conflicts: 984000 | #Constraints: 121816
186.42/186.91 c #Conflicts: 985000 | #Constraints: 122816
186.42/186.91 c #Conflicts: 986000 | #Constraints: 123816
186.42/186.91 c #Conflicts: 987000 | #Constraints: 124816
186.42/186.91 c #Conflicts: 988000 | #Constraints: 125816
186.42/186.91 c #Conflicts: 989000 | #Constraints: 126816
186.42/186.91 c #Conflicts: 990000 | #Constraints: 127816
186.42/186.91 c #Conflicts: 991000 | #Constraints: 128816
186.42/186.91 c #Conflicts: 992000 | #Constraints: 129816
186.42/186.91 c #Conflicts: 993000 | #Constraints: 130816
186.42/186.91 c #Conflicts: 994000 | #Constraints: 131816
186.42/186.91 c #Conflicts: 995000 | #Constraints: 132816
186.42/186.91 c #Conflicts: 996000 | #Constraints: 133816
186.42/186.91 c #Conflicts: 997000 | #Constraints: 134816
186.42/186.91 c #Conflicts: 998000 | #Constraints: 135816
186.42/186.91 c #Conflicts: 999000 | #Constraints: 136816
186.42/186.91 c #Conflicts: 1000000 | #Constraints: 137816
186.42/186.91 c #Conflicts: 1001000 | #Constraints: 138816
186.42/186.91 c #Conflicts: 1002000 | #Constraints: 139816
186.42/186.91 c #Conflicts: 1003000 | #Constraints: 140816
186.42/186.91 c #Conflicts: 1004000 | #Constraints: 141816
186.42/186.91 c #Conflicts: 1005000 | #Constraints: 142816
186.42/186.91 c #Conflicts: 1006000 | #Constraints: 143816
186.42/186.91 c #Conflicts: 1007000 | #Constraints: 144816
186.42/186.91 c #Conflicts: 1008000 | #Constraints: 145816
186.42/186.91 c #Conflicts: 1009000 | #Constraints: 146816
186.42/186.91 c #Conflicts: 1010000 | #Constraints: 147816
186.42/186.91 c #Conflicts: 1011000 | #Constraints: 148816
186.42/186.91 c #Conflicts: 1012000 | #Constraints: 149816
186.42/186.91 c INPROCESSING
186.42/186.91 c GARBAGE COLLECT
186.42/186.91 c rational objective 66.0611
187.22/187.73 c #Conflicts: 1013000 | #Constraints: 99245
187.22/187.73 c #Conflicts: 1014000 | #Constraints: 100245
187.22/187.73 c cpu time 182.833 s
187.22/187.73 c deterministic time 3813531297 3.81e+09
187.22/187.73 c optimization time 6.5e-05 s
187.22/187.73 c total solve time 182.673 s
187.22/187.73 c core-guided solve time 0 s
187.22/187.73 c propagation time 80.2008 s
187.22/187.73 c conflict analysis time 47.1471 s
187.22/187.73 c propagations 92374465
187.22/187.73 c resolve steps 20766298
187.22/187.73 c decisions 2509699
187.22/187.73 c conflicts 1014006
187.22/187.73 c restarts 2045
187.22/187.73 c inprocessing phases 42
187.22/187.73 c garbage collections 40 ,( 95.24 )
187.22/187.73 c input clauses 42543 ,( 91.91 )
187.22/187.73 c input cardinalities 77 ,( 0.17 )
187.22/187.73 c input general constraints 3666 ,( 7.92 )
187.22/187.73 c input average constraint length 3.58
187.22/187.73 c input average constraint degree 1.10
187.22/187.73 c learned clauses 1010290 ,( 99.63 )
187.22/187.73 c learned cardinalities 1553 ,( 0.15 )
187.22/187.73 c learned general constraints 2187 ,( 0.22 )
187.22/187.73 c learned average constraint length 93.62
187.22/187.73 c learned average constraint degree 3475.74
187.22/187.73 c watched CF 32, 64, 128, Arb: 513 , 0 , 0 , 0
187.22/187.73 c counting CF 32, 64, 128, Arb: 5340 , 0 , 0 , 0
187.22/187.73 c watched constraints 513 ,( 8.76 )
187.22/187.73 c counting constraints 5340 ,( 91.24 )
187.22/187.73 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 640931487 , 9580420 , 43726050 ,( 234752 , 43491298 )
187.22/187.73 c gcd simplifications 4832
187.22/187.73 c detected cardinalities 48
187.22/187.73 c weakened non-implied lits 3685896
187.22/187.73 c weakened non-implying lits 6471
187.22/187.73 c original variables 1840
187.22/187.73 c clausal propagations 79991762
187.22/187.73 c cardinality propagations 5089745
187.22/187.73 c watched propagations 9990
187.22/187.73 c counting propagations 6235109
187.22/187.73 c watch lookups 1189120299
187.22/187.73 c watch backjump lookups 0
187.22/187.73 c watch checks 1882844262
187.22/187.73 c propagation checks 267578216
187.22/187.73 c constraint additions 283001329
187.22/187.73 c trail pops 95898169
187.22/187.73 c formula constraints 46286
187.22/187.73 c learned constraints 1014006
187.22/187.73 c bound constraints 0
187.22/187.73 c core-guided constraints 0
187.22/187.73 c encountered formula constraints 12137590
187.22/187.73 c encountered learned constraints 9642679
187.22/187.73 c encountered bound constraints 0
187.22/187.73 c encountered core-guided constraints 0
187.22/187.73 c LP total time 46.9205 s
187.22/187.73 c LP solve time 41.2 s
187.22/187.73 c LP constraints added 46534
187.22/187.73 c LP constraints removed 218
187.22/187.73 c LP pivots internal 101805
187.22/187.73 c LP pivots root 103052
187.22/187.73 c LP calls 104
187.22/187.73 c LP optimalities 100
187.22/187.73 c LP no pivot count 0
187.22/187.73 c LP infeasibilities 0
187.22/187.73 c LP valid Farkas constraints 0
187.22/187.73 c LP learned Farkas constraints 0
187.22/187.73 c LP basis resets 0
187.22/187.73 c LP cycling count 0
187.22/187.73 c LP singular count 0
187.22/187.73 c LP no primal count 0
187.22/187.73 c LP no farkas count 0
187.22/187.73 c LP other issue count 0
187.22/187.73 c LP Gomory cuts 24
187.22/187.73 c LP learned cuts 238
187.22/187.73 c LP deleted cuts 228
187.22/187.73 c LP encountered Gomory constraints 35
187.22/187.73 c LP encountered Farkas constraints 0
187.22/187.73 c LP encountered learned Farkas constraints 0
187.22/187.73 c CG auxiliary variables introduced 0
187.22/187.73 c CG solutions found 0
187.22/187.73 c CG cores constructed 0
187.22/187.73 c CG core cardinality constraints returned 0
187.22/187.73 c CG unit cores 0
187.22/187.73 c CG single cores 0
187.22/187.73 c CG blocks removed during cardinality reduction 0
187.22/187.73 c CG first core best 0
187.22/187.73 c CG decision core best 0
187.22/187.73 c CG core reduction tie 0
187.22/187.73 c CG core degree average 0.00
187.22/187.73 c CG core slack average 0.00
187.22/187.73 c CG core upper bound improvements 0
187.22/187.73 c STR number of successful calls 0
187.22/187.73 c STR number of unsuccessful calls 0
187.22/187.73 c STR number of inconclusive calls 0
187.22/187.73 c STR number of successful attempts 0
187.22/187.73 c STR number of unsuccessful attempts 0
187.22/187.73 c STR number of inconclusive attempts 0
187.22/187.73 c STR average degree increase per successful call inf
187.22/187.73 c STR average degree increase per successful attempt inf
187.22/187.73 c STR total number of conflicts for successful attempts 0
187.22/187.73 c STR total number of conflicts for unsuccessful attempts 0
187.22/187.73 c STR total number of conflicts for inconclusive attempts 0
187.22/187.73 c STR average number of conflicts per successful attempt inf
187.22/187.73 c STR average number of conflicts per unsuccessful attempt inf
187.22/187.73 c STR average number of conflicts per inconclusive attempt inf
187.22/187.73 c AVG.sumWPerc 60.87
187.22/187.73 c bigint constraints 0
187.22/187.73 s SATISFIABLE
187.22/187.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 x164 x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 x359 x360 -x361 x362 -x363 -x364 -x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 x444 x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527 x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 x571 x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 x619 x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 x678 x679 x680 -x681 x682 x683 x684 x685 x686 x687 -x688 -x689 -x690 -x691 x692 -x693 x694 x695 x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 x856 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 x900 -x901 x902 x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 x957 x958 x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 x1001 x1002 x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 x1038 x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 x1080 -x1081 x1082 x1083 x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 x1125 -x1126 x1127 x1128 x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 x1232 x1233 -x1234 -x1235 x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 -x1243 x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 x1367 -x1368 x1369 x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 x1410 x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 x1419 x1420 x1421 x1422 x1423 x1424 -x1425 x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 x1463 x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 x1504 x1505 x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 x1547 -x1548 x1549 x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 x1591 x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 x1599 x1600 x1601 x1602 x1603 x1604 -x1605 x1606 x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 x1647 x1648 x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 x1682 -x1683 x1684 x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 x1724 x1725 x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 x1733 x1734 x1735 x1736 x1737 x1738 -x1739 x1740 x1741 x1742 -x1743 -x1744 -x1745 x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 x1770 x1771 x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 x1781 x1782 x1783 x1784 -x1785 x1786 x1787 x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 x1814 x1815 x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 x1823 x1824 x1825 x1826 x1827 x1828 -x1829 x1830 x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62840 MiB free)
memory of node 1: 64507 MiB (63451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503460-1751163133/watcher-4503460-1751163133 -o /tmp/evaluation-result-4503460-1751163133/solver-4503460-1751163133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17847 --watchdog 3760 run-dec-break.sh HOME/instance-4503460-1751163133.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22258, runsolver pid=22255
[startup+0.100068 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129307320/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=58640 memory=13852 CPUtime=0.02 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 1227 0 0 0 1 1 0 0 20 0 1 0 31991254 60047360 3463 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 14660 3463 1984 1147 0 2087 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 16924 KiB
[startup+0.205707 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129307320/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=73980 memory=30424 CPUtime=0.13 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 4998 0 0 0 10 3 0 0 20 0 1 0 31991254 75755520 7606 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 18495 7606 2272 1147 0 5922 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 78172 KiB
Current children cumulated memory: 33496 KiB
[startup+0.305636 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129261576/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=132788 memory=81880 CPUtime=0.22 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 12788 0 0 0 17 5 0 0 20 0 1 0 31991254 135974912 20470 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 33197 20470 2272 1147 0 20624 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 136980 KiB
Current children cumulated memory: 84952 KiB
[startup+0.70022 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129261464/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=132788 memory=82520 CPUtime=0.61 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 12864 0 0 0 56 5 0 0 20 0 1 0 31991254 135974912 20630 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 33197 20630 2336 1147 0 20624 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 136980 KiB
Current children cumulated memory: 85592 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129261464/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=134940 memory=82776 CPUtime=1.42 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 12875 0 0 0 135 7 0 0 20 0 1 0 31991254 138178560 20694 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 33735 20694 2400 1147 0 21162 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 139132 KiB
Current children cumulated memory: 85848 KiB
[startup+3.10549 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129253592/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=136496 memory=85080 CPUtime=3.01 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 13467 0 0 0 290 11 0 0 20 0 1 0 31991254 139771904 21270 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 34124 21270 2400 1147 0 21551 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 140688 KiB
Current children cumulated memory: 88152 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129249544/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=140788 memory=89284 CPUtime=6.2 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 13993 0 0 0 599 21 0 0 20 0 1 0 31991254 144166912 22321 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 35197 22321 2400 1147 0 22624 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 144980 KiB
Current children cumulated memory: 92356 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 22261
/proc/meminfo: memFree=129249544/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=147492 memory=91980 CPUtime=12.58 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 14835 0 0 0 1218 40 0 0 20 0 1 0 31991254 151031808 22995 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 36873 22995 2400 1147 0 24300 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 151684 KiB
Current children cumulated memory: 95052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 22261
/proc/meminfo: memFree=129239904/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=153320 memory=101788 CPUtime=25.36 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 16270 0 0 0 2461 75 0 0 20 0 1 0 31991254 156999680 25447 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 38330 25447 2400 1147 0 25757 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 157512 KiB
Current children cumulated memory: 104860 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.11 4.09 5/268 22262
/proc/meminfo: memFree=129232028/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=161432 memory=109312 CPUtime=50.9 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 17138 0 0 0 4953 137 0 0 20 0 1 0 31991254 165306368 27328 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 40358 27328 2400 1147 0 27785 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 165624 KiB
Current children cumulated memory: 112384 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 22264
/proc/meminfo: memFree=129212084/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=196608 memory=126940 CPUtime=101.98 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 19051 0 0 0 9941 257 0 0 20 0 1 0 31991254 201326592 31735 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 49152 31735 2400 1147 0 36579 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 200800 KiB
Current children cumulated memory: 130012 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 22267
/proc/meminfo: memFree=129196036/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=203696 memory=136860 CPUtime=161.84 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21004 0 0 0 15797 387 0 0 20 0 1 0 31991254 208584704 34215 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 50924 34215 2400 1147 0 38351 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 207888 KiB
Current children cumulated memory: 139932 KiB
[startup+187.74 s]
# the end of solver process 22258 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=182.885 s, system=4.39781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 22267
/proc/meminfo: memFree=129196036/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=203696 memory=136860 CPUtime=165.92 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21004 0 0 0 16197 395 0 0 20 0 1 0 31991254 208584704 34215 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 50924 34215 2400 1147 0 38351 0
Current children cumulated CPU time: 165.97 s
Current children cumulated vsize: 207888 KiB
Current children cumulated memory: 139932 KiB
[startup+179.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 22267
/proc/meminfo: memFree=129196044/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=204636 memory=137756 CPUtime=178.7 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21239 0 0 0 17448 422 0 0 20 0 1 0 31991254 209547264 34439 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51159 34439 2400 1147 0 38586 0
Current children cumulated CPU time: 178.75 s
Current children cumulated vsize: 208828 KiB
Current children cumulated memory: 140828 KiB
[startup+182.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 22268
/proc/meminfo: memFree=129195836/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=204636 memory=137756 CPUtime=181.88 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21239 0 0 0 17760 428 0 0 20 0 1 0 31991254 209547264 34439 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51159 34439 2400 1147 0 38586 0
Current children cumulated CPU time: 181.93 s
Current children cumulated vsize: 208828 KiB
Current children cumulated memory: 140828 KiB
[startup+185.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 22268
/proc/meminfo: memFree=129195852/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=204636 memory=139880 CPUtime=185.08 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21241 0 0 0 18073 435 0 0 20 0 1 0 31991254 209547264 34970 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51159 34970 2400 1147 0 38586 0
Current children cumulated CPU time: 185.13 s
Current children cumulated vsize: 208828 KiB
Current children cumulated memory: 142952 KiB
[startup+186.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 22268
/proc/meminfo: memFree=129195852/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=205756 memory=140904 CPUtime=185.88 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21521 0 0 0 18152 436 0 0 20 0 1 0 31991254 210694144 35226 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51439 35226 2400 1147 0 38866 0
Current children cumulated CPU time: 185.93 s
Current children cumulated vsize: 209948 KiB
Current children cumulated memory: 143976 KiB
[startup+187.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 22268
/proc/meminfo: memFree=129195916/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=205756 memory=140904 CPUtime=186.68 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21521 0 0 0 18231 437 0 0 20 0 1 0 31991254 210694144 35226 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51439 35226 2400 1147 0 38866 0
Current children cumulated CPU time: 186.73 s
Current children cumulated vsize: 209948 KiB
Current children cumulated memory: 143976 KiB
[startup+187.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 22268
/proc/meminfo: memFree=129195916/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=205756 memory=140904 CPUtime=187.07 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21521 0 0 0 18270 437 0 0 20 0 1 0 31991254 210694144 35226 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51439 35226 2400 1147 0 38866 0
Current children cumulated CPU time: 187.12 s
Current children cumulated vsize: 209948 KiB
Current children cumulated memory: 143976 KiB
[startup+187.7 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 22268
/proc/meminfo: memFree=129195916/131249996 swapFree=33010684/33010684
[pid=22258] ppid=22255 vsize=4192 memory=3072 CPUtime=0.05 cores=1,3
/proc/22258/stat : 22258 (run-dec-break.s) S 22255 22258 17835 0 -1 4194304 237 5785 0 0 0 0 4 1 20 0 1 0 31991247 4292608 768 18446744073709551615 94578611515392 94578612409925 140726303811936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94578612648976 94578612696720 94578635366400 140726303816033 140726303816162 140726303816162 140726303821764 0
/proc/22258/statm: 1048 768 704 219 0 110 0
[pid=22261] ppid=22258 vsize=205756 memory=140904 CPUtime=187.17 cores=1,3
/proc/22261/stat : 22261 (roundingsat) R 22258 22258 17835 0 -1 4194304 21521 0 0 0 18280 437 0 0 20 0 1 0 31991254 210694144 35226 18446744073709551615 4227072 8923433 140720974723520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12443648 140720974731588 140720974731816 140720974731816 140720974737386 0
/proc/22261/statm: 51439 35226 2400 1147 0 38866 0
Current children cumulated CPU time: 187.22 s
Current children cumulated vsize: 209948 KiB
Current children cumulated memory: 143976 KiB
Child status: 0
Real time (s): 187.74
CPU time (s): 187.283
CPU user time (s): 182.885
CPU system time (s): 4.39781
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 209948
Max. memory (cumulated for all children) (KiB): 143976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.885
system time used= 4.39781
maximum resident set size= 140904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 182
# summary of solver processes directly reported to runsolver:
# pid: 22258
# total CPU time (s): 187.283
# total CPU user time (s): 182.885
# total CPU system time (s): 4.39781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.40433 second user time and 0.857516 second system time
The end
Begin job on nodeC024 at 2025-06-29 04:12:13
IDJOB=4503460
IDBENCH=155472
IDSOLVER=3357
FILE ID=nodeC024/4503460-1751163133
RUNJOBID= nodeC024-1751155906-17847
SLURM_JOB_ID= 9587473
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-185.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503460-1751163133/watcher-4503460-1751163133 -o /tmp/evaluation-result-4503460-1751163133/solver-4503460-1751163133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17847 --watchdog 3760 run-dec-break.sh HOME/instance-4503460-1751163133.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 458054bd456c10a880dafd6041bb82b2
RANDOM SEED=2111671804
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.676
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3632.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3568.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.690
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.640
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.675
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3600.311
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.570
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129322404 kB
MemAvailable: 128963580 kB
Buffers: 3280 kB
Cached: 445648 kB
SwapCached: 0 kB
Active: 1092704 kB
Inactive: 225644 kB
Active(anon): 887484 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 225644 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8856 kB
Writeback: 72 kB
AnonPages: 864092 kB
Mapped: 116760 kB
Shmem: 18064 kB
KReclaimable: 86448 kB
Slab: 169896 kB
SReclaimable: 86448 kB
SUnreclaim: 83448 kB
KernelStack: 4352 kB
PageTables: 4824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1294692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 772096 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-06-29 04:15:21