0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.17/0.37 c #variables 1840 #constraints 46286
0.27/0.41 c rational objective 65
13.71/13.94 c #Conflicts: 1000 | #Constraints: 47288
13.71/13.94 c #Conflicts: 2000 | #Constraints: 48288
13.71/13.94 c INPROCESSING
13.71/13.94 c #Conflicts: 3000 | #Constraints: 48326
13.71/13.94 c #Conflicts: 4000 | #Constraints: 49326
13.71/13.94 c INPROCESSING
13.71/13.94 c #Conflicts: 5000 | #Constraints: 48761
13.71/13.94 c #Conflicts: 6000 | #Constraints: 49761
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 7000 | #Constraints: 48780
13.71/13.94 c #Conflicts: 8000 | #Constraints: 49780
13.71/13.94 c #Conflicts: 9000 | #Constraints: 50780
13.71/13.94 c #Conflicts: 10000 | #Constraints: 51780
13.71/13.94 c #Conflicts: 11000 | #Constraints: 52780
13.71/13.94 c #Conflicts: 12000 | #Constraints: 53780
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 13000 | #Constraints: 50701
13.71/13.94 c #Conflicts: 14000 | #Constraints: 51701
13.71/13.94 c #Conflicts: 15000 | #Constraints: 52701
13.71/13.94 c #Conflicts: 16000 | #Constraints: 53701
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 17000 | #Constraints: 50842
13.71/13.94 c #Conflicts: 18000 | #Constraints: 51842
13.71/13.94 c #Conflicts: 19000 | #Constraints: 52842
13.71/13.94 c #Conflicts: 20000 | #Constraints: 53842
13.71/13.94 c #Conflicts: 21000 | #Constraints: 54842
13.71/13.94 c #Conflicts: 22000 | #Constraints: 55842
13.71/13.94 c #Conflicts: 23000 | #Constraints: 56842
13.71/13.94 c #Conflicts: 24000 | #Constraints: 57842
13.71/13.94 c #Conflicts: 25000 | #Constraints: 58842
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 26000 | #Constraints: 53255
13.71/13.94 c #Conflicts: 27000 | #Constraints: 54255
13.71/13.94 c #Conflicts: 28000 | #Constraints: 55255
13.71/13.94 c #Conflicts: 29000 | #Constraints: 56255
13.71/13.94 c #Conflicts: 30000 | #Constraints: 57255
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 31000 | #Constraints: 52485
13.71/13.94 c #Conflicts: 32000 | #Constraints: 53485
13.71/13.94 c #Conflicts: 33000 | #Constraints: 54485
13.71/13.94 c #Conflicts: 34000 | #Constraints: 55485
13.71/13.94 c #Conflicts: 35000 | #Constraints: 56485
13.71/13.94 c #Conflicts: 36000 | #Constraints: 57485
13.71/13.94 c #Conflicts: 37000 | #Constraints: 58485
13.71/13.94 c #Conflicts: 38000 | #Constraints: 59485
13.71/13.94 c #Conflicts: 39000 | #Constraints: 60485
13.71/13.94 c #Conflicts: 40000 | #Constraints: 61485
13.71/13.94 c #Conflicts: 41000 | #Constraints: 62485
13.71/13.94 c #Conflicts: 42000 | #Constraints: 63485
13.71/13.94 c #Conflicts: 43000 | #Constraints: 64485
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 44000 | #Constraints: 56431
13.71/13.94 c #Conflicts: 45000 | #Constraints: 57431
13.71/13.94 c #Conflicts: 46000 | #Constraints: 58431
13.71/13.94 c #Conflicts: 47000 | #Constraints: 59431
13.71/13.94 c #Conflicts: 48000 | #Constraints: 60431
13.71/13.94 c #Conflicts: 49000 | #Constraints: 61431
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 50000 | #Constraints: 54721
13.71/13.94 c #Conflicts: 51000 | #Constraints: 55721
13.71/13.94 c #Conflicts: 52000 | #Constraints: 56721
13.71/13.94 c #Conflicts: 53000 | #Constraints: 57721
13.71/13.94 c #Conflicts: 54000 | #Constraints: 58721
13.71/13.94 c #Conflicts: 55000 | #Constraints: 59721
13.71/13.94 c #Conflicts: 56000 | #Constraints: 60721
13.71/13.94 c #Conflicts: 57000 | #Constraints: 61721
13.71/13.94 c #Conflicts: 58000 | #Constraints: 62721
13.71/13.94 c #Conflicts: 59000 | #Constraints: 63721
13.71/13.94 c #Conflicts: 60000 | #Constraints: 64721
13.71/13.94 c #Conflicts: 61000 | #Constraints: 65721
13.71/13.94 c #Conflicts: 62000 | #Constraints: 66721
13.71/13.94 c #Conflicts: 63000 | #Constraints: 67721
13.71/13.94 c #Conflicts: 64000 | #Constraints: 68721
13.71/13.94 c #Conflicts: 65000 | #Constraints: 69721
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c #Conflicts: 66000 | #Constraints: 59137
13.71/13.94 c #Conflicts: 67000 | #Constraints: 60137
13.71/13.94 c #Conflicts: 68000 | #Constraints: 61137
13.71/13.94 c #Conflicts: 69000 | #Constraints: 62137
13.71/13.94 c #Conflicts: 70000 | #Constraints: 63137
13.71/13.94 c #Conflicts: 71000 | #Constraints: 64137
13.71/13.94 c #Conflicts: 72000 | #Constraints: 65137
13.71/13.94 c INPROCESSING
13.71/13.94 c GARBAGE COLLECT
13.71/13.94 c rational objective 65
21.29/21.50 c #Conflicts: 73000 | #Constraints: 56537
21.29/21.50 c #Conflicts: 74000 | #Constraints: 57537
21.29/21.50 c #Conflicts: 75000 | #Constraints: 58537
21.29/21.50 c #Conflicts: 76000 | #Constraints: 59537
21.29/21.50 c #Conflicts: 77000 | #Constraints: 60537
21.29/21.50 c #Conflicts: 78000 | #Constraints: 61537
21.29/21.50 c #Conflicts: 79000 | #Constraints: 62537
21.29/21.50 c #Conflicts: 80000 | #Constraints: 63537
21.29/21.50 c #Conflicts: 81000 | #Constraints: 64537
21.29/21.50 c #Conflicts: 82000 | #Constraints: 65537
21.29/21.50 c #Conflicts: 83000 | #Constraints: 66537
21.29/21.50 c #Conflicts: 84000 | #Constraints: 67537
21.29/21.50 c #Conflicts: 85000 | #Constraints: 68537
21.29/21.50 c #Conflicts: 86000 | #Constraints: 69537
21.29/21.50 c #Conflicts: 87000 | #Constraints: 70537
21.29/21.50 c #Conflicts: 88000 | #Constraints: 71537
21.29/21.50 c #Conflicts: 89000 | #Constraints: 72537
21.29/21.50 c #Conflicts: 90000 | #Constraints: 73537
21.29/21.50 c #Conflicts: 91000 | #Constraints: 74537
21.29/21.50 c INPROCESSING
21.29/21.50 c GARBAGE COLLECT
21.29/21.50 c #Conflicts: 92000 | #Constraints: 61460
21.29/21.50 c #Conflicts: 93000 | #Constraints: 62460
21.29/21.50 c #Conflicts: 94000 | #Constraints: 63460
21.29/21.50 c #Conflicts: 95000 | #Constraints: 64460
21.29/21.50 c #Conflicts: 96000 | #Constraints: 65460
21.29/21.50 c #Conflicts: 97000 | #Constraints: 66460
21.29/21.50 c #Conflicts: 98000 | #Constraints: 67460
21.29/21.50 c #Conflicts: 99000 | #Constraints: 68460
21.29/21.50 c #Conflicts: 100000 | #Constraints: 69460
21.29/21.50 c INPROCESSING
21.29/21.50 c GARBAGE COLLECT
21.29/21.50 c #Conflicts: 101000 | #Constraints: 58968
21.29/21.50 c #Conflicts: 102000 | #Constraints: 59968
21.29/21.50 c #Conflicts: 103000 | #Constraints: 60968
21.29/21.50 c #Conflicts: 104000 | #Constraints: 61968
21.29/21.50 c #Conflicts: 105000 | #Constraints: 62968
21.29/21.50 c #Conflicts: 106000 | #Constraints: 63968
21.29/21.50 c #Conflicts: 107000 | #Constraints: 64968
21.29/21.50 c #Conflicts: 108000 | #Constraints: 65968
21.29/21.50 c #Conflicts: 109000 | #Constraints: 66968
21.29/21.50 c #Conflicts: 110000 | #Constraints: 67968
21.29/21.50 c #Conflicts: 111000 | #Constraints: 68968
21.29/21.50 c #Conflicts: 112000 | #Constraints: 69968
21.29/21.50 c #Conflicts: 113000 | #Constraints: 70968
21.29/21.50 c #Conflicts: 114000 | #Constraints: 71968
21.29/21.50 c #Conflicts: 115000 | #Constraints: 72968
21.29/21.50 c #Conflicts: 116000 | #Constraints: 73968
21.29/21.50 c #Conflicts: 117000 | #Constraints: 74968
21.29/21.50 c #Conflicts: 118000 | #Constraints: 75968
21.29/21.50 c #Conflicts: 119000 | #Constraints: 76968
21.29/21.50 c #Conflicts: 120000 | #Constraints: 77968
21.29/21.50 c #Conflicts: 121000 | #Constraints: 78968
21.29/21.50 c INPROCESSING
21.29/21.50 c GARBAGE COLLECT
21.29/21.50 c rational objective 65
26.88/27.13 c #Conflicts: 122000 | #Constraints: 63360
26.88/27.13 c #Conflicts: 123000 | #Constraints: 64360
26.88/27.13 c #Conflicts: 124000 | #Constraints: 65360
26.88/27.13 c #Conflicts: 125000 | #Constraints: 66360
26.88/27.13 c #Conflicts: 126000 | #Constraints: 67360
26.88/27.13 c #Conflicts: 127000 | #Constraints: 68360
26.88/27.13 c #Conflicts: 128000 | #Constraints: 69360
26.88/27.13 c #Conflicts: 129000 | #Constraints: 70360
26.88/27.13 c #Conflicts: 130000 | #Constraints: 71360
26.88/27.13 c #Conflicts: 131000 | #Constraints: 72360
26.88/27.13 c #Conflicts: 132000 | #Constraints: 73360
26.88/27.13 c INPROCESSING
26.88/27.13 c GARBAGE COLLECT
26.88/27.13 c #Conflicts: 133000 | #Constraints: 60954
26.88/27.13 c #Conflicts: 134000 | #Constraints: 61954
26.88/27.13 c #Conflicts: 135000 | #Constraints: 62954
26.88/27.13 c #Conflicts: 136000 | #Constraints: 63954
26.88/27.13 c #Conflicts: 137000 | #Constraints: 64954
26.88/27.13 c #Conflicts: 138000 | #Constraints: 65954
26.88/27.13 c #Conflicts: 139000 | #Constraints: 66954
26.88/27.13 c #Conflicts: 140000 | #Constraints: 67954
26.88/27.13 c #Conflicts: 141000 | #Constraints: 68954
26.88/27.13 c #Conflicts: 142000 | #Constraints: 69954
26.88/27.13 c #Conflicts: 143000 | #Constraints: 70954
26.88/27.13 c #Conflicts: 144000 | #Constraints: 71954
26.88/27.13 c #Conflicts: 145000 | #Constraints: 72954
26.88/27.13 c #Conflicts: 146000 | #Constraints: 73954
26.88/27.13 c #Conflicts: 147000 | #Constraints: 74954
26.88/27.13 c #Conflicts: 148000 | #Constraints: 75954
26.88/27.13 c #Conflicts: 149000 | #Constraints: 76954
26.88/27.13 c #Conflicts: 150000 | #Constraints: 77954
26.88/27.13 c #Conflicts: 151000 | #Constraints: 78954
26.88/27.13 c #Conflicts: 152000 | #Constraints: 79954
26.88/27.13 c #Conflicts: 153000 | #Constraints: 80954
26.88/27.13 c #Conflicts: 154000 | #Constraints: 81954
26.88/27.13 c #Conflicts: 155000 | #Constraints: 82954
26.88/27.13 c #Conflicts: 156000 | #Constraints: 83954
26.88/27.13 c INPROCESSING
26.88/27.13 c GARBAGE COLLECT
26.88/27.13 c rational objective 66
33.06/33.36 c #Conflicts: 157000 | #Constraints: 65883
33.06/33.36 c #Conflicts: 158000 | #Constraints: 66883
33.06/33.36 c #Conflicts: 159000 | #Constraints: 67883
33.06/33.36 c #Conflicts: 160000 | #Constraints: 68883
33.06/33.36 c #Conflicts: 161000 | #Constraints: 69883
33.06/33.36 c #Conflicts: 162000 | #Constraints: 70883
33.06/33.36 c #Conflicts: 163000 | #Constraints: 71883
33.06/33.36 c #Conflicts: 164000 | #Constraints: 72883
33.06/33.36 c #Conflicts: 165000 | #Constraints: 73883
33.06/33.36 c #Conflicts: 166000 | #Constraints: 74883
33.06/33.36 c #Conflicts: 167000 | #Constraints: 75883
33.06/33.36 c #Conflicts: 168000 | #Constraints: 76883
33.06/33.36 c INPROCESSING
33.06/33.36 c GARBAGE COLLECT
33.06/33.36 c #Conflicts: 169000 | #Constraints: 62644
33.06/33.36 c #Conflicts: 170000 | #Constraints: 63644
33.06/33.36 c #Conflicts: 171000 | #Constraints: 64644
33.06/33.36 c #Conflicts: 172000 | #Constraints: 65644
33.06/33.36 c #Conflicts: 173000 | #Constraints: 66644
33.06/33.36 c #Conflicts: 174000 | #Constraints: 67644
33.06/33.36 c #Conflicts: 175000 | #Constraints: 68644
33.06/33.36 c #Conflicts: 176000 | #Constraints: 69644
33.06/33.36 c #Conflicts: 177000 | #Constraints: 70644
33.06/33.36 c #Conflicts: 178000 | #Constraints: 71644
33.06/33.36 c #Conflicts: 179000 | #Constraints: 72644
33.06/33.36 c #Conflicts: 180000 | #Constraints: 73644
33.06/33.36 c #Conflicts: 181000 | #Constraints: 74644
33.06/33.36 c #Conflicts: 182000 | #Constraints: 75644
33.06/33.36 c #Conflicts: 183000 | #Constraints: 76644
33.06/33.36 c #Conflicts: 184000 | #Constraints: 77644
33.06/33.36 c #Conflicts: 185000 | #Constraints: 78644
33.06/33.36 c #Conflicts: 186000 | #Constraints: 79644
33.06/33.36 c #Conflicts: 187000 | #Constraints: 80644
33.06/33.36 c #Conflicts: 188000 | #Constraints: 81644
33.06/33.36 c #Conflicts: 189000 | #Constraints: 82644
33.06/33.36 c #Conflicts: 190000 | #Constraints: 83644
33.06/33.36 c #Conflicts: 191000 | #Constraints: 84644
33.06/33.36 c #Conflicts: 192000 | #Constraints: 85644
33.06/33.36 c #Conflicts: 193000 | #Constraints: 86644
33.06/33.36 c #Conflicts: 194000 | #Constraints: 87644
33.06/33.36 c #Conflicts: 195000 | #Constraints: 88644
33.06/33.36 c #Conflicts: 196000 | #Constraints: 89644
33.06/33.36 c INPROCESSING
33.06/33.36 c GARBAGE COLLECT
33.06/33.36 c rational objective 66
36.65/36.93 c #Conflicts: 197000 | #Constraints: 69073
36.65/36.93 c #Conflicts: 198000 | #Constraints: 70073
36.65/36.93 c #Conflicts: 199000 | #Constraints: 71073
36.65/36.93 c #Conflicts: 200000 | #Constraints: 72073
36.65/36.93 c #Conflicts: 201000 | #Constraints: 73073
36.65/36.93 c #Conflicts: 202000 | #Constraints: 74073
36.65/36.93 c #Conflicts: 203000 | #Constraints: 75073
36.65/36.93 c #Conflicts: 204000 | #Constraints: 76073
36.65/36.93 c #Conflicts: 205000 | #Constraints: 77073
36.65/36.93 c #Conflicts: 206000 | #Constraints: 78073
36.65/36.93 c #Conflicts: 207000 | #Constraints: 79073
36.65/36.93 c #Conflicts: 208000 | #Constraints: 80073
36.65/36.93 c #Conflicts: 209000 | #Constraints: 81073
36.65/36.93 c INPROCESSING
36.65/36.93 c GARBAGE COLLECT
36.65/36.93 c rational objective 66
46.22/46.56 c #Conflicts: 210000 | #Constraints: 64903
46.22/46.56 c #Conflicts: 211000 | #Constraints: 65903
46.22/46.56 c #Conflicts: 212000 | #Constraints: 66903
46.22/46.56 c #Conflicts: 213000 | #Constraints: 67903
46.22/46.56 c #Conflicts: 214000 | #Constraints: 68903
46.22/46.56 c #Conflicts: 215000 | #Constraints: 69903
46.22/46.56 c #Conflicts: 216000 | #Constraints: 70903
46.22/46.56 c #Conflicts: 217000 | #Constraints: 71903
46.22/46.56 c #Conflicts: 218000 | #Constraints: 72903
46.22/46.56 c #Conflicts: 219000 | #Constraints: 73903
46.22/46.56 c #Conflicts: 220000 | #Constraints: 74903
46.22/46.56 c #Conflicts: 221000 | #Constraints: 75903
46.22/46.56 c #Conflicts: 222000 | #Constraints: 76903
46.22/46.56 c #Conflicts: 223000 | #Constraints: 77903
46.22/46.56 c #Conflicts: 224000 | #Constraints: 78903
46.22/46.56 c #Conflicts: 225000 | #Constraints: 79903
46.22/46.56 c #Conflicts: 226000 | #Constraints: 80903
46.22/46.56 c #Conflicts: 227000 | #Constraints: 81903
46.22/46.56 c #Conflicts: 228000 | #Constraints: 82903
46.22/46.56 c #Conflicts: 229000 | #Constraints: 83903
46.22/46.56 c #Conflicts: 230000 | #Constraints: 84903
46.22/46.56 c #Conflicts: 231000 | #Constraints: 85903
46.22/46.56 c #Conflicts: 232000 | #Constraints: 86903
46.22/46.56 c #Conflicts: 233000 | #Constraints: 87903
46.22/46.56 c #Conflicts: 234000 | #Constraints: 88903
46.22/46.56 c #Conflicts: 235000 | #Constraints: 89903
46.22/46.56 c #Conflicts: 236000 | #Constraints: 90903
46.22/46.56 c #Conflicts: 237000 | #Constraints: 91903
46.22/46.56 c #Conflicts: 238000 | #Constraints: 92903
46.22/46.56 c #Conflicts: 239000 | #Constraints: 93903
46.22/46.56 c #Conflicts: 240000 | #Constraints: 94903
46.22/46.56 c INPROCESSING
46.22/46.56 c GARBAGE COLLECT
46.22/46.56 c #Conflicts: 241000 | #Constraints: 71769
46.22/46.56 c #Conflicts: 242000 | #Constraints: 72769
46.22/46.56 c #Conflicts: 243000 | #Constraints: 73769
46.22/46.56 c #Conflicts: 244000 | #Constraints: 74769
46.22/46.56 c #Conflicts: 245000 | #Constraints: 75769
46.22/46.56 c #Conflicts: 246000 | #Constraints: 76769
46.22/46.56 c #Conflicts: 247000 | #Constraints: 77769
46.22/46.56 c #Conflicts: 248000 | #Constraints: 78769
46.22/46.56 c #Conflicts: 249000 | #Constraints: 79769
46.22/46.56 c #Conflicts: 250000 | #Constraints: 80769
46.22/46.56 c #Conflicts: 251000 | #Constraints: 81769
46.22/46.56 c #Conflicts: 252000 | #Constraints: 82769
46.22/46.56 c #Conflicts: 253000 | #Constraints: 83769
46.22/46.56 c #Conflicts: 254000 | #Constraints: 84769
46.22/46.56 c INPROCESSING
46.22/46.56 c GARBAGE COLLECT
46.22/46.56 c #Conflicts: 255000 | #Constraints: 66648
46.22/46.56 c #Conflicts: 256000 | #Constraints: 67648
46.22/46.56 c #Conflicts: 257000 | #Constraints: 68648
46.22/46.56 c #Conflicts: 258000 | #Constraints: 69648
46.22/46.56 c #Conflicts: 259000 | #Constraints: 70648
46.22/46.56 c #Conflicts: 260000 | #Constraints: 71648
46.22/46.56 c #Conflicts: 261000 | #Constraints: 72648
46.22/46.56 c #Conflicts: 262000 | #Constraints: 73648
46.22/46.56 c #Conflicts: 263000 | #Constraints: 74648
46.22/46.56 c #Conflicts: 264000 | #Constraints: 75648
46.22/46.56 c #Conflicts: 265000 | #Constraints: 76648
46.22/46.56 WSVECS04 Frhs2[157]: 6 -54.2 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[357]: 6 -16.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[360]: 6 -17.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[362]: 6 -16 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[457]: 6 0 1.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[459]: 6 0 1.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[462]: 6 0 1.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[480]: 6 -1.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[526]: 6 -1.00008 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[529]: 6 -1.00001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[546]: 6 0 2.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[547]: 6 0 2.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[548]: 6 0 2.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[549]: 6 0 2.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[568]: 6 -1.00003 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[589]: 6 -2.00001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[591]: 6 0 1.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[592]: 6 0 1.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[593]: 6 0 1.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[594]: 6 0 1.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[610]: 6 -1.00009 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[613]: 6 -1.00005 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[877]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[878]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[879]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[880]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[881]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[882]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[883]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[884]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[885]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[886]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[887]: 6 0 5.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[888]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[889]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[890]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[891]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[892]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1012]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1013]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1014]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1015]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1016]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1017]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1018]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1019]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1020]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1021]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1022]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1023]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1024]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1025]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1026]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1027]: 6 0 5.00001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1057]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1058]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1059]: 6 0 5.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1060]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1061]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1062]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1063]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1064]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1065]: 6 0 5.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1066]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1067]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1068]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1069]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1070]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1072]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1102]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1103]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1104]: 6 0 5.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1105]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1106]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1107]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1108]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1109]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1110]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1111]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1112]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1113]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1114]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1115]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1116]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1117]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1212]: 6 0 1.57148 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1219]: 6 -1.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1222]: 6 -1.00002 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1223]: 6 -1.00003 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1224]: 6 -1.00002 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1225]: 6 -1.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1226]: 6 -1.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1227]: 6 -1.0001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1232]: 6 -3.57148 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1233]: 6 -1.00004 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1236]: 6 -2.50006 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1240]: 6 -1.00005 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1241]: 6 -1.00007 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1244]: 6 -1.00007 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1246]: 6 -1.00003 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1247]: 6 -1.00008 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1248]: 6 -1.00002 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1344]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1345]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1346]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1347]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1348]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1349]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1350]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1351]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1352]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1353]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1355]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1356]: 6 0 5.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1357]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1358]: 6 0 5.00001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1359]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1525]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1526]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1527]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1528]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1529]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1530]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1531]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1532]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1533]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1534]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1535]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1536]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1537]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1538]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1539]: 6 0 5.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1612]: 6 -1.57149 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1614]: 6 0 3.00003 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1615]: 6 0 3.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1616]: 6 0 3.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1617]: 6 0 3.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1618]: 6 0 3.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1619]: 6 0 3.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1620]: 6 0 3.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1621]: 6 0 3.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1622]: 6 0 3.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1623]: 6 0 3.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1624]: 6 0 3.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1625]: 6 0 3.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1627]: 6 0 3.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1628]: 6 0 3.00002 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1629]: 6 0 3.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1637]: 6 -1.00006 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1642]: 6 -1.00007 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1652]: 6 -1.00006 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1659]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1660]: 6 0 5.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1661]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1662]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1663]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1664]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1665]: 6 0 5.00006 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1666]: 6 0 5.00007 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1667]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1668]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1669]: 6 0 5.00009 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1671]: 6 0 5.0001 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1672]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1673]: 6 0 5.00004 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1674]: 6 0 5.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1702]: 6 0 1.00008 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1703]: 6 0 1.00005 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1730]: 6 -1.00009 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1731]: 6 -1.00001 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1733]: 6 -1.00005 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1734]: 6 -1.00007 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1739]: 6 -1.00005 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1743]: 6 -1.00008 0 shouldn't be
46.22/46.56 WSVECS04 Frhs2[1746]: 6 -5.07148 0 shouldn't be
62.78/63.19 c #Conflicts: 266000 | #Constraints: 77648
62.78/63.19 c #Conflicts: 267000 | #Constraints: 78648
62.78/63.19 c #Conflicts: 268000 | #Constraints: 79648
62.78/63.19 c #Conflicts: 269000 | #Constraints: 80648
62.78/63.19 c #Conflicts: 270000 | #Constraints: 81648
62.78/63.19 c #Conflicts: 271000 | #Constraints: 82648
62.78/63.19 c #Conflicts: 272000 | #Constraints: 83648
62.78/63.19 c #Conflicts: 273000 | #Constraints: 84648
62.78/63.19 c #Conflicts: 274000 | #Constraints: 85648
62.78/63.19 c #Conflicts: 275000 | #Constraints: 86648
62.78/63.19 c #Conflicts: 276000 | #Constraints: 87648
62.78/63.19 c #Conflicts: 277000 | #Constraints: 88648
62.78/63.19 c #Conflicts: 278000 | #Constraints: 89648
62.78/63.19 c #Conflicts: 279000 | #Constraints: 90648
62.78/63.19 c #Conflicts: 280000 | #Constraints: 91648
62.78/63.19 c #Conflicts: 281000 | #Constraints: 92648
62.78/63.19 c #Conflicts: 282000 | #Constraints: 93648
62.78/63.19 c #Conflicts: 283000 | #Constraints: 94648
62.78/63.19 c #Conflicts: 284000 | #Constraints: 95648
62.78/63.19 c #Conflicts: 285000 | #Constraints: 96648
62.78/63.19 c #Conflicts: 286000 | #Constraints: 97648
62.78/63.19 c #Conflicts: 287000 | #Constraints: 98648
62.78/63.19 c #Conflicts: 288000 | #Constraints: 99648
62.78/63.19 c INPROCESSING
62.78/63.19 c GARBAGE COLLECT
62.78/63.19 c #Conflicts: 289000 | #Constraints: 74039
62.78/63.19 c #Conflicts: 290000 | #Constraints: 75039
62.78/63.19 c #Conflicts: 291000 | #Constraints: 76039
62.78/63.19 c #Conflicts: 292000 | #Constraints: 77039
62.78/63.19 c #Conflicts: 293000 | #Constraints: 78039
62.78/63.19 c #Conflicts: 294000 | #Constraints: 79039
62.78/63.19 c #Conflicts: 295000 | #Constraints: 80039
62.78/63.19 c #Conflicts: 296000 | #Constraints: 81039
62.78/63.19 c #Conflicts: 297000 | #Constraints: 82039
62.78/63.19 c #Conflicts: 298000 | #Constraints: 83039
62.78/63.19 c #Conflicts: 299000 | #Constraints: 84039
62.78/63.19 c #Conflicts: 300000 | #Constraints: 85039
62.78/63.19 c #Conflicts: 301000 | #Constraints: 86039
62.78/63.19 c #Conflicts: 302000 | #Constraints: 87039
62.78/63.19 c #Conflicts: 303000 | #Constraints: 88039
62.78/63.19 c INPROCESSING
62.78/63.19 c GARBAGE COLLECT
62.78/63.19 c #Conflicts: 304000 | #Constraints: 68071
62.78/63.19 c #Conflicts: 305000 | #Constraints: 69071
62.78/63.19 c #Conflicts: 306000 | #Constraints: 70071
62.78/63.19 c #Conflicts: 307000 | #Constraints: 71071
62.78/63.19 c #Conflicts: 308000 | #Constraints: 72071
62.78/63.19 c #Conflicts: 309000 | #Constraints: 73071
62.78/63.19 c #Conflicts: 310000 | #Constraints: 74071
62.78/63.19 c #Conflicts: 311000 | #Constraints: 75071
62.78/63.19 c #Conflicts: 312000 | #Constraints: 76071
62.78/63.19 c #Conflicts: 313000 | #Constraints: 77071
62.78/63.19 c #Conflicts: 314000 | #Constraints: 78071
62.78/63.19 c #Conflicts: 315000 | #Constraints: 79071
62.78/63.19 c #Conflicts: 316000 | #Constraints: 80071
62.78/63.19 c #Conflicts: 317000 | #Constraints: 81071
62.78/63.19 c #Conflicts: 318000 | #Constraints: 82071
62.78/63.19 c #Conflicts: 319000 | #Constraints: 83071
62.78/63.19 c #Conflicts: 320000 | #Constraints: 84071
62.78/63.19 c #Conflicts: 321000 | #Constraints: 85071
62.78/63.19 c #Conflicts: 322000 | #Constraints: 86071
62.78/63.19 c #Conflicts: 323000 | #Constraints: 87071
62.78/63.19 c #Conflicts: 324000 | #Constraints: 88071
62.78/63.19 c #Conflicts: 325000 | #Constraints: 89071
62.78/63.19 c #Conflicts: 326000 | #Constraints: 90071
62.78/63.19 c #Conflicts: 327000 | #Constraints: 91071
62.78/63.19 c #Conflicts: 328000 | #Constraints: 92071
62.78/63.19 c #Conflicts: 329000 | #Constraints: 93071
62.78/63.19 c #Conflicts: 330000 | #Constraints: 94071
62.78/63.19 c #Conflicts: 331000 | #Constraints: 95071
62.78/63.19 c #Conflicts: 332000 | #Constraints: 96071
62.78/63.19 c #Conflicts: 333000 | #Constraints: 97071
62.78/63.19 c #Conflicts: 334000 | #Constraints: 98071
62.78/63.19 c #Conflicts: 335000 | #Constraints: 99071
62.78/63.19 c #Conflicts: 336000 | #Constraints: 100071
62.78/63.19 c #Conflicts: 337000 | #Constraints: 101071
62.78/63.19 c #Conflicts: 338000 | #Constraints: 102071
62.78/63.19 c #Conflicts: 339000 | #Constraints: 103071
62.78/63.19 c #Conflicts: 340000 | #Constraints: 104071
62.78/63.19 c INPROCESSING
62.78/63.19 c GARBAGE COLLECT
62.78/63.19 c rational objective 66
71.76/72.19 c #Conflicts: 341000 | #Constraints: 75975
71.76/72.19 c #Conflicts: 342000 | #Constraints: 76975
71.76/72.19 c #Conflicts: 343000 | #Constraints: 77975
71.76/72.19 c #Conflicts: 344000 | #Constraints: 78975
71.76/72.19 c #Conflicts: 345000 | #Constraints: 79975
71.76/72.19 c #Conflicts: 346000 | #Constraints: 80975
71.76/72.19 c #Conflicts: 347000 | #Constraints: 81975
71.76/72.19 c #Conflicts: 348000 | #Constraints: 82975
71.76/72.19 c #Conflicts: 349000 | #Constraints: 83975
71.76/72.19 c #Conflicts: 350000 | #Constraints: 84975
71.76/72.19 c #Conflicts: 351000 | #Constraints: 85975
71.76/72.19 c #Conflicts: 352000 | #Constraints: 86975
71.76/72.19 c #Conflicts: 353000 | #Constraints: 87975
71.76/72.19 c #Conflicts: 354000 | #Constraints: 88975
71.76/72.19 c #Conflicts: 355000 | #Constraints: 89975
71.76/72.19 c #Conflicts: 356000 | #Constraints: 90975
71.76/72.19 c #Conflicts: 357000 | #Constraints: 91975
71.76/72.19 c INPROCESSING
71.76/72.19 c GARBAGE COLLECT
71.76/72.19 c #Conflicts: 358000 | #Constraints: 70102
71.76/72.19 c #Conflicts: 359000 | #Constraints: 71102
71.76/72.19 c #Conflicts: 360000 | #Constraints: 72102
71.76/72.19 c #Conflicts: 361000 | #Constraints: 73102
71.76/72.19 c #Conflicts: 362000 | #Constraints: 74102
71.76/72.19 c #Conflicts: 363000 | #Constraints: 75102
71.76/72.19 c #Conflicts: 364000 | #Constraints: 76102
71.76/72.19 c #Conflicts: 365000 | #Constraints: 77102
71.76/72.19 c #Conflicts: 366000 | #Constraints: 78102
71.76/72.19 c #Conflicts: 367000 | #Constraints: 79102
71.76/72.19 c #Conflicts: 368000 | #Constraints: 80102
71.76/72.19 c #Conflicts: 369000 | #Constraints: 81102
71.76/72.19 c #Conflicts: 370000 | #Constraints: 82102
71.76/72.19 c #Conflicts: 371000 | #Constraints: 83102
71.76/72.19 c #Conflicts: 372000 | #Constraints: 84102
71.76/72.19 c #Conflicts: 373000 | #Constraints: 85102
71.76/72.19 c #Conflicts: 374000 | #Constraints: 86102
71.76/72.19 c #Conflicts: 375000 | #Constraints: 87102
71.76/72.19 c #Conflicts: 376000 | #Constraints: 88102
71.76/72.19 c #Conflicts: 377000 | #Constraints: 89102
71.76/72.19 c #Conflicts: 378000 | #Constraints: 90102
71.76/72.19 c #Conflicts: 379000 | #Constraints: 91102
71.76/72.19 c #Conflicts: 380000 | #Constraints: 92102
71.76/72.19 c #Conflicts: 381000 | #Constraints: 93102
71.76/72.19 c #Conflicts: 382000 | #Constraints: 94102
71.76/72.19 c #Conflicts: 383000 | #Constraints: 95102
71.76/72.19 c #Conflicts: 384000 | #Constraints: 96102
71.76/72.19 c #Conflicts: 385000 | #Constraints: 97102
71.76/72.19 c #Conflicts: 386000 | #Constraints: 98102
71.76/72.19 c #Conflicts: 387000 | #Constraints: 99102
71.76/72.19 c #Conflicts: 388000 | #Constraints: 100102
71.76/72.19 c #Conflicts: 389000 | #Constraints: 101102
71.76/72.19 c #Conflicts: 390000 | #Constraints: 102102
71.76/72.19 c #Conflicts: 391000 | #Constraints: 103102
71.76/72.19 c #Conflicts: 392000 | #Constraints: 104102
71.76/72.19 c #Conflicts: 393000 | #Constraints: 105102
71.76/72.19 c #Conflicts: 394000 | #Constraints: 106102
71.76/72.19 c #Conflicts: 395000 | #Constraints: 107102
71.76/72.19 c #Conflicts: 396000 | #Constraints: 108102
71.76/72.19 c #Conflicts: 397000 | #Constraints: 109102
71.76/72.19 c INPROCESSING
71.76/72.19 c GARBAGE COLLECT
71.76/72.19 c rational objective 66
75.25/75.65 c #Conflicts: 398000 | #Constraints: 78536
75.25/75.65 c #Conflicts: 399000 | #Constraints: 79536
75.25/75.65 c #Conflicts: 400000 | #Constraints: 80536
75.25/75.65 c #Conflicts: 401000 | #Constraints: 81536
75.25/75.65 c #Conflicts: 402000 | #Constraints: 82536
75.25/75.65 c #Conflicts: 403000 | #Constraints: 83536
75.25/75.65 c #Conflicts: 404000 | #Constraints: 84536
75.25/75.65 c #Conflicts: 405000 | #Constraints: 85536
75.25/75.65 c #Conflicts: 406000 | #Constraints: 86536
75.25/75.65 c #Conflicts: 407000 | #Constraints: 87536
75.25/75.65 c #Conflicts: 408000 | #Constraints: 88536
75.25/75.65 c #Conflicts: 409000 | #Constraints: 89536
75.25/75.65 c #Conflicts: 410000 | #Constraints: 90536
75.25/75.65 c #Conflicts: 411000 | #Constraints: 91536
75.25/75.65 c #Conflicts: 412000 | #Constraints: 92536
75.25/75.65 c #Conflicts: 413000 | #Constraints: 93536
75.25/75.65 c #Conflicts: 414000 | #Constraints: 94536
75.25/75.65 c #Conflicts: 415000 | #Constraints: 95536
75.25/75.65 c INPROCESSING
75.25/75.65 c GARBAGE COLLECT
75.25/75.65 c rational objective 66.0063
84.92/85.38 c #Conflicts: 416000 | #Constraints: 71768
84.92/85.38 c #Conflicts: 417000 | #Constraints: 72768
84.92/85.38 c #Conflicts: 418000 | #Constraints: 73768
84.92/85.38 c #Conflicts: 419000 | #Constraints: 74768
84.92/85.38 c #Conflicts: 420000 | #Constraints: 75768
84.92/85.38 c #Conflicts: 421000 | #Constraints: 76768
84.92/85.38 c #Conflicts: 422000 | #Constraints: 77768
84.92/85.38 c #Conflicts: 423000 | #Constraints: 78768
84.92/85.38 c #Conflicts: 424000 | #Constraints: 79768
84.92/85.38 c #Conflicts: 425000 | #Constraints: 80768
84.92/85.38 c #Conflicts: 426000 | #Constraints: 81768
84.92/85.38 c #Conflicts: 427000 | #Constraints: 82768
84.92/85.38 c #Conflicts: 428000 | #Constraints: 83768
84.92/85.38 c #Conflicts: 429000 | #Constraints: 84768
84.92/85.38 c #Conflicts: 430000 | #Constraints: 85768
84.92/85.38 c #Conflicts: 431000 | #Constraints: 86768
84.92/85.38 c #Conflicts: 432000 | #Constraints: 87768
84.92/85.38 c #Conflicts: 433000 | #Constraints: 88768
84.92/85.38 c #Conflicts: 434000 | #Constraints: 89768
84.92/85.38 c #Conflicts: 435000 | #Constraints: 90768
84.92/85.38 c #Conflicts: 436000 | #Constraints: 91768
84.92/85.38 c #Conflicts: 437000 | #Constraints: 92768
84.92/85.38 c #Conflicts: 438000 | #Constraints: 93768
84.92/85.38 c #Conflicts: 439000 | #Constraints: 94768
84.92/85.38 c #Conflicts: 440000 | #Constraints: 95768
84.92/85.38 c #Conflicts: 441000 | #Constraints: 96768
84.92/85.38 c #Conflicts: 442000 | #Constraints: 97768
84.92/85.38 c #Conflicts: 443000 | #Constraints: 98768
84.92/85.38 c #Conflicts: 444000 | #Constraints: 99768
84.92/85.38 c #Conflicts: 445000 | #Constraints: 100768
84.92/85.38 c #Conflicts: 446000 | #Constraints: 101768
84.92/85.38 c #Conflicts: 447000 | #Constraints: 102768
84.92/85.38 c #Conflicts: 448000 | #Constraints: 103768
84.92/85.38 c #Conflicts: 449000 | #Constraints: 104768
84.92/85.38 c #Conflicts: 450000 | #Constraints: 105768
84.92/85.38 c #Conflicts: 451000 | #Constraints: 106768
84.92/85.38 c #Conflicts: 452000 | #Constraints: 107768
84.92/85.38 c #Conflicts: 453000 | #Constraints: 108768
84.92/85.38 c #Conflicts: 454000 | #Constraints: 109768
84.92/85.38 c #Conflicts: 455000 | #Constraints: 110768
84.92/85.38 c #Conflicts: 456000 | #Constraints: 111768
84.92/85.38 c #Conflicts: 457000 | #Constraints: 112768
84.92/85.38 c #Conflicts: 458000 | #Constraints: 113768
84.92/85.38 c #Conflicts: 459000 | #Constraints: 114768
84.92/85.38 c INPROCESSING
84.92/85.38 c GARBAGE COLLECT
84.92/85.38 c rational objective 66.0085
89.71/90.20 c #Conflicts: 460000 | #Constraints: 81647
89.71/90.20 c #Conflicts: 461000 | #Constraints: 82647
89.71/90.20 c #Conflicts: 462000 | #Constraints: 83647
89.71/90.20 c #Conflicts: 463000 | #Constraints: 84647
89.71/90.20 c #Conflicts: 464000 | #Constraints: 85647
89.71/90.20 c #Conflicts: 465000 | #Constraints: 86647
89.71/90.20 c #Conflicts: 466000 | #Constraints: 87647
89.71/90.20 c #Conflicts: 467000 | #Constraints: 88647
89.71/90.20 c #Conflicts: 468000 | #Constraints: 89647
89.71/90.20 c #Conflicts: 469000 | #Constraints: 90647
89.71/90.20 c #Conflicts: 470000 | #Constraints: 91647
89.71/90.20 c #Conflicts: 471000 | #Constraints: 92647
89.71/90.20 c #Conflicts: 472000 | #Constraints: 93647
89.71/90.20 c #Conflicts: 473000 | #Constraints: 94647
89.71/90.20 c #Conflicts: 474000 | #Constraints: 95647
89.71/90.20 c #Conflicts: 475000 | #Constraints: 96647
89.71/90.20 c #Conflicts: 476000 | #Constraints: 97647
89.71/90.20 c #Conflicts: 477000 | #Constraints: 98647
89.71/90.20 c #Conflicts: 478000 | #Constraints: 99647
89.71/90.20 c INPROCESSING
89.71/90.20 c GARBAGE COLLECT
89.71/90.20 c rational objective 66.01
101.67/102.11 c #Conflicts: 479000 | #Constraints: 73969
101.67/102.11 c #Conflicts: 480000 | #Constraints: 74969
101.67/102.11 c #Conflicts: 481000 | #Constraints: 75969
101.67/102.11 c #Conflicts: 482000 | #Constraints: 76969
101.67/102.11 c #Conflicts: 483000 | #Constraints: 77969
101.67/102.11 c #Conflicts: 484000 | #Constraints: 78969
101.67/102.11 c #Conflicts: 485000 | #Constraints: 79969
101.67/102.11 c #Conflicts: 486000 | #Constraints: 80969
101.67/102.11 c #Conflicts: 487000 | #Constraints: 81969
101.67/102.11 c #Conflicts: 488000 | #Constraints: 82969
101.67/102.11 c #Conflicts: 489000 | #Constraints: 83969
101.67/102.11 c #Conflicts: 490000 | #Constraints: 84969
101.67/102.11 c #Conflicts: 491000 | #Constraints: 85969
101.67/102.11 c #Conflicts: 492000 | #Constraints: 86969
101.67/102.11 c #Conflicts: 493000 | #Constraints: 87969
101.67/102.11 c #Conflicts: 494000 | #Constraints: 88969
101.67/102.11 c #Conflicts: 495000 | #Constraints: 89969
101.67/102.11 c #Conflicts: 496000 | #Constraints: 90969
101.67/102.11 c #Conflicts: 497000 | #Constraints: 91969
101.67/102.11 c #Conflicts: 498000 | #Constraints: 92969
101.67/102.11 c #Conflicts: 499000 | #Constraints: 93969
101.67/102.11 c #Conflicts: 500000 | #Constraints: 94969
101.67/102.11 c #Conflicts: 501000 | #Constraints: 95969
101.67/102.11 c #Conflicts: 502000 | #Constraints: 96969
101.67/102.11 c #Conflicts: 503000 | #Constraints: 97969
101.67/102.11 c #Conflicts: 504000 | #Constraints: 98969
101.67/102.11 c #Conflicts: 505000 | #Constraints: 99969
101.67/102.11 c #Conflicts: 506000 | #Constraints: 100969
101.67/102.11 c #Conflicts: 507000 | #Constraints: 101969
101.67/102.11 c #Conflicts: 508000 | #Constraints: 102969
101.67/102.11 c #Conflicts: 509000 | #Constraints: 103969
101.67/102.11 c #Conflicts: 510000 | #Constraints: 104969
101.67/102.11 c #Conflicts: 511000 | #Constraints: 105969
101.67/102.11 c #Conflicts: 512000 | #Constraints: 106969
101.67/102.11 c #Conflicts: 513000 | #Constraints: 107969
101.67/102.11 c #Conflicts: 514000 | #Constraints: 108969
101.67/102.11 c #Conflicts: 515000 | #Constraints: 109969
101.67/102.11 c #Conflicts: 516000 | #Constraints: 110969
101.67/102.11 c #Conflicts: 517000 | #Constraints: 111969
101.67/102.11 c #Conflicts: 518000 | #Constraints: 112969
101.67/102.11 c #Conflicts: 519000 | #Constraints: 113969
101.67/102.11 c #Conflicts: 520000 | #Constraints: 114969
101.67/102.11 c #Conflicts: 521000 | #Constraints: 115969
101.67/102.11 c #Conflicts: 522000 | #Constraints: 116969
101.67/102.11 c #Conflicts: 523000 | #Constraints: 117969
101.67/102.11 c #Conflicts: 524000 | #Constraints: 118969
101.67/102.11 c #Conflicts: 525000 | #Constraints: 119969
101.67/102.11 c INPROCESSING
101.67/102.11 c GARBAGE COLLECT
101.67/102.11 c rational objective 66.0194
117.72/118.20 c #Conflicts: 526000 | #Constraints: 84397
117.72/118.20 c #Conflicts: 527000 | #Constraints: 85397
117.72/118.20 c #Conflicts: 528000 | #Constraints: 86397
117.72/118.20 c #Conflicts: 529000 | #Constraints: 87397
117.72/118.20 c #Conflicts: 530000 | #Constraints: 88397
117.72/118.20 c #Conflicts: 531000 | #Constraints: 89397
117.72/118.20 c #Conflicts: 532000 | #Constraints: 90397
117.72/118.20 c #Conflicts: 533000 | #Constraints: 91397
117.72/118.20 c #Conflicts: 534000 | #Constraints: 92397
117.72/118.20 c #Conflicts: 535000 | #Constraints: 93397
117.72/118.20 c #Conflicts: 536000 | #Constraints: 94397
117.72/118.20 c #Conflicts: 537000 | #Constraints: 95397
117.72/118.20 c #Conflicts: 538000 | #Constraints: 96397
117.72/118.20 c #Conflicts: 539000 | #Constraints: 97397
117.72/118.20 c #Conflicts: 540000 | #Constraints: 98397
117.72/118.20 c #Conflicts: 541000 | #Constraints: 99397
117.72/118.20 c #Conflicts: 542000 | #Constraints: 100397
117.72/118.20 c #Conflicts: 543000 | #Constraints: 101397
117.72/118.20 c #Conflicts: 544000 | #Constraints: 102397
117.72/118.20 c #Conflicts: 545000 | #Constraints: 103397
117.72/118.20 c INPROCESSING
117.72/118.20 c GARBAGE COLLECT
117.72/118.20 c #Conflicts: 546000 | #Constraints: 75718
117.72/118.20 c #Conflicts: 547000 | #Constraints: 76718
117.72/118.20 c #Conflicts: 548000 | #Constraints: 77718
117.72/118.20 c #Conflicts: 549000 | #Constraints: 78718
117.72/118.20 c #Conflicts: 550000 | #Constraints: 79718
117.72/118.20 c #Conflicts: 551000 | #Constraints: 80718
117.72/118.20 c #Conflicts: 552000 | #Constraints: 81718
117.72/118.20 c #Conflicts: 553000 | #Constraints: 82718
117.72/118.20 c #Conflicts: 554000 | #Constraints: 83718
117.72/118.20 c #Conflicts: 555000 | #Constraints: 84718
117.72/118.20 c #Conflicts: 556000 | #Constraints: 85718
117.72/118.20 c #Conflicts: 557000 | #Constraints: 86718
117.72/118.20 c #Conflicts: 558000 | #Constraints: 87718
117.72/118.20 c #Conflicts: 559000 | #Constraints: 88718
117.72/118.20 c #Conflicts: 560000 | #Constraints: 89718
117.72/118.20 c #Conflicts: 561000 | #Constraints: 90718
117.72/118.20 c #Conflicts: 562000 | #Constraints: 91718
117.72/118.20 c #Conflicts: 563000 | #Constraints: 92718
117.72/118.20 c #Conflicts: 564000 | #Constraints: 93718
117.72/118.20 c #Conflicts: 565000 | #Constraints: 94718
117.72/118.20 c #Conflicts: 566000 | #Constraints: 95718
117.72/118.20 c #Conflicts: 567000 | #Constraints: 96718
117.72/118.20 c #Conflicts: 568000 | #Constraints: 97718
117.72/118.20 c #Conflicts: 569000 | #Constraints: 98718
117.72/118.20 c #Conflicts: 570000 | #Constraints: 99718
117.72/118.20 c #Conflicts: 571000 | #Constraints: 100718
117.72/118.20 c #Conflicts: 572000 | #Constraints: 101718
117.72/118.20 c #Conflicts: 573000 | #Constraints: 102718
117.72/118.20 c #Conflicts: 574000 | #Constraints: 103718
117.72/118.20 c #Conflicts: 575000 | #Constraints: 104718
117.72/118.20 c #Conflicts: 576000 | #Constraints: 105718
117.72/118.20 c #Conflicts: 577000 | #Constraints: 106718
117.72/118.20 c #Conflicts: 578000 | #Constraints: 107718
117.72/118.20 c #Conflicts: 579000 | #Constraints: 108718
117.72/118.20 c #Conflicts: 580000 | #Constraints: 109718
117.72/118.20 c #Conflicts: 581000 | #Constraints: 110718
117.72/118.20 c #Conflicts: 582000 | #Constraints: 111718
117.72/118.20 c #Conflicts: 583000 | #Constraints: 112718
117.72/118.20 c #Conflicts: 584000 | #Constraints: 113718
117.72/118.20 c #Conflicts: 585000 | #Constraints: 114718
117.72/118.20 c #Conflicts: 586000 | #Constraints: 115718
117.72/118.20 c #Conflicts: 587000 | #Constraints: 116718
117.72/118.20 c #Conflicts: 588000 | #Constraints: 117718
117.72/118.20 c #Conflicts: 589000 | #Constraints: 118718
117.72/118.20 c #Conflicts: 590000 | #Constraints: 119718
117.72/118.20 c #Conflicts: 591000 | #Constraints: 120718
117.72/118.20 c #Conflicts: 592000 | #Constraints: 121718
117.72/118.20 c #Conflicts: 593000 | #Constraints: 122718
117.72/118.20 c #Conflicts: 594000 | #Constraints: 123718
117.72/118.20 c #Conflicts: 595000 | #Constraints: 124718
117.72/118.20 c INPROCESSING
117.72/118.20 c GARBAGE COLLECT
117.72/118.20 c rational objective 66.0235
133.07/133.65 c #Conflicts: 596000 | #Constraints: 86635
133.07/133.65 c #Conflicts: 597000 | #Constraints: 87635
133.07/133.65 c #Conflicts: 598000 | #Constraints: 88635
133.07/133.65 c #Conflicts: 599000 | #Constraints: 89635
133.07/133.65 c #Conflicts: 600000 | #Constraints: 90635
133.07/133.65 c #Conflicts: 601000 | #Constraints: 91635
133.07/133.65 c #Conflicts: 602000 | #Constraints: 92635
133.07/133.65 c #Conflicts: 603000 | #Constraints: 93635
133.07/133.65 c #Conflicts: 604000 | #Constraints: 94635
133.07/133.65 c #Conflicts: 605000 | #Constraints: 95635
133.07/133.65 c #Conflicts: 606000 | #Constraints: 96635
133.07/133.65 c #Conflicts: 607000 | #Constraints: 97635
133.07/133.65 c #Conflicts: 608000 | #Constraints: 98635
133.07/133.65 c #Conflicts: 609000 | #Constraints: 99635
133.07/133.65 c #Conflicts: 610000 | #Constraints: 100635
133.07/133.65 c #Conflicts: 611000 | #Constraints: 101635
133.07/133.65 c #Conflicts: 612000 | #Constraints: 102635
133.07/133.65 c #Conflicts: 613000 | #Constraints: 103635
133.07/133.65 c #Conflicts: 614000 | #Constraints: 104635
133.07/133.65 c #Conflicts: 615000 | #Constraints: 105635
133.07/133.65 c #Conflicts: 616000 | #Constraints: 106635
133.07/133.65 c #Conflicts: 617000 | #Constraints: 107635
133.07/133.65 c INPROCESSING
133.07/133.65 c GARBAGE COLLECT
133.07/133.65 c #Conflicts: 618000 | #Constraints: 78135
133.07/133.65 c #Conflicts: 619000 | #Constraints: 79135
133.07/133.65 c #Conflicts: 620000 | #Constraints: 80135
133.07/133.65 c #Conflicts: 621000 | #Constraints: 81135
133.07/133.65 c #Conflicts: 622000 | #Constraints: 82135
133.07/133.65 c #Conflicts: 623000 | #Constraints: 83135
133.07/133.65 c #Conflicts: 624000 | #Constraints: 84135
133.07/133.65 c #Conflicts: 625000 | #Constraints: 85135
133.07/133.65 c #Conflicts: 626000 | #Constraints: 86135
133.07/133.65 c #Conflicts: 627000 | #Constraints: 87135
133.07/133.65 c #Conflicts: 628000 | #Constraints: 88135
133.07/133.65 c #Conflicts: 629000 | #Constraints: 89135
133.07/133.65 c #Conflicts: 630000 | #Constraints: 90135
133.07/133.65 c #Conflicts: 631000 | #Constraints: 91135
133.07/133.65 c #Conflicts: 632000 | #Constraints: 92135
133.07/133.65 c #Conflicts: 633000 | #Constraints: 93135
133.07/133.65 c #Conflicts: 634000 | #Constraints: 94135
133.07/133.65 c #Conflicts: 635000 | #Constraints: 95135
133.07/133.65 c #Conflicts: 636000 | #Constraints: 96135
133.07/133.65 c #Conflicts: 637000 | #Constraints: 97135
133.07/133.65 c #Conflicts: 638000 | #Constraints: 98135
133.07/133.65 c #Conflicts: 639000 | #Constraints: 99135
133.07/133.65 c #Conflicts: 640000 | #Constraints: 100135
133.07/133.65 c #Conflicts: 641000 | #Constraints: 101135
133.07/133.65 c #Conflicts: 642000 | #Constraints: 102135
133.07/133.65 c #Conflicts: 643000 | #Constraints: 103135
133.07/133.65 c #Conflicts: 644000 | #Constraints: 104135
133.07/133.65 c #Conflicts: 645000 | #Constraints: 105135
133.07/133.65 c #Conflicts: 646000 | #Constraints: 106135
133.07/133.65 c #Conflicts: 647000 | #Constraints: 107135
133.07/133.65 c #Conflicts: 648000 | #Constraints: 108135
133.07/133.65 c #Conflicts: 649000 | #Constraints: 109135
133.07/133.65 c #Conflicts: 650000 | #Constraints: 110135
133.07/133.65 c #Conflicts: 651000 | #Constraints: 111135
133.07/133.65 c #Conflicts: 652000 | #Constraints: 112135
133.07/133.65 c #Conflicts: 653000 | #Constraints: 113135
133.07/133.65 c #Conflicts: 654000 | #Constraints: 114135
133.07/133.65 c #Conflicts: 655000 | #Constraints: 115135
133.07/133.65 c #Conflicts: 656000 | #Constraints: 116135
133.07/133.65 c #Conflicts: 657000 | #Constraints: 117135
133.07/133.65 c #Conflicts: 658000 | #Constraints: 118135
133.07/133.65 c #Conflicts: 659000 | #Constraints: 119135
133.07/133.65 c #Conflicts: 660000 | #Constraints: 120135
133.07/133.65 c #Conflicts: 661000 | #Constraints: 121135
133.07/133.65 c #Conflicts: 662000 | #Constraints: 122135
133.07/133.65 c #Conflicts: 663000 | #Constraints: 123135
133.07/133.65 c #Conflicts: 664000 | #Constraints: 124135
133.07/133.65 c #Conflicts: 665000 | #Constraints: 125135
133.07/133.65 c #Conflicts: 666000 | #Constraints: 126135
133.07/133.65 c #Conflicts: 667000 | #Constraints: 127135
133.07/133.65 c #Conflicts: 668000 | #Constraints: 128135
133.07/133.65 c #Conflicts: 669000 | #Constraints: 129135
133.07/133.65 c INPROCESSING
133.07/133.65 c GARBAGE COLLECT
133.07/133.65 c rational objective 66.0411
147.63/148.29 c #Conflicts: 670000 | #Constraints: 88529
147.63/148.29 c #Conflicts: 671000 | #Constraints: 89529
147.63/148.29 c #Conflicts: 672000 | #Constraints: 90529
147.63/148.29 c #Conflicts: 673000 | #Constraints: 91529
147.63/148.29 c #Conflicts: 674000 | #Constraints: 92529
147.63/148.29 c #Conflicts: 675000 | #Constraints: 93529
147.63/148.29 c #Conflicts: 676000 | #Constraints: 94529
147.63/148.29 c #Conflicts: 677000 | #Constraints: 95529
147.63/148.29 c #Conflicts: 678000 | #Constraints: 96529
147.63/148.29 c #Conflicts: 679000 | #Constraints: 97529
147.63/148.29 c #Conflicts: 680000 | #Constraints: 98529
147.63/148.29 c #Conflicts: 681000 | #Constraints: 99529
147.63/148.29 c #Conflicts: 682000 | #Constraints: 100529
147.63/148.29 c #Conflicts: 683000 | #Constraints: 101529
147.63/148.29 c #Conflicts: 684000 | #Constraints: 102529
147.63/148.29 c #Conflicts: 685000 | #Constraints: 103529
147.63/148.29 c #Conflicts: 686000 | #Constraints: 104529
147.63/148.29 c #Conflicts: 687000 | #Constraints: 105529
147.63/148.29 c #Conflicts: 688000 | #Constraints: 106529
147.63/148.29 c #Conflicts: 689000 | #Constraints: 107529
147.63/148.29 c #Conflicts: 690000 | #Constraints: 108529
147.63/148.29 c #Conflicts: 691000 | #Constraints: 109529
147.63/148.29 c #Conflicts: 692000 | #Constraints: 110529
147.63/148.29 c #Conflicts: 693000 | #Constraints: 111529
147.63/148.29 c INPROCESSING
147.63/148.29 c GARBAGE COLLECT
147.63/148.29 c #Conflicts: 694000 | #Constraints: 80146
147.63/148.29 c #Conflicts: 695000 | #Constraints: 81146
147.63/148.29 c #Conflicts: 696000 | #Constraints: 82146
147.63/148.29 c #Conflicts: 697000 | #Constraints: 83146
147.63/148.29 c #Conflicts: 698000 | #Constraints: 84146
147.63/148.29 c #Conflicts: 699000 | #Constraints: 85146
147.63/148.29 c #Conflicts: 700000 | #Constraints: 86146
147.63/148.29 c #Conflicts: 701000 | #Constraints: 87146
147.63/148.29 c #Conflicts: 702000 | #Constraints: 88146
147.63/148.29 c #Conflicts: 703000 | #Constraints: 89146
147.63/148.29 c #Conflicts: 704000 | #Constraints: 90146
147.63/148.29 c #Conflicts: 705000 | #Constraints: 91146
147.63/148.29 c #Conflicts: 706000 | #Constraints: 92146
147.63/148.29 c #Conflicts: 707000 | #Constraints: 93146
147.63/148.29 c #Conflicts: 708000 | #Constraints: 94146
147.63/148.29 c #Conflicts: 709000 | #Constraints: 95146
147.63/148.29 c #Conflicts: 710000 | #Constraints: 96146
147.63/148.29 c #Conflicts: 711000 | #Constraints: 97146
147.63/148.29 c #Conflicts: 712000 | #Constraints: 98146
147.63/148.29 c #Conflicts: 713000 | #Constraints: 99146
147.63/148.29 c #Conflicts: 714000 | #Constraints: 100146
147.63/148.29 c #Conflicts: 715000 | #Constraints: 101146
147.63/148.29 c #Conflicts: 716000 | #Constraints: 102146
147.63/148.29 c #Conflicts: 717000 | #Constraints: 103146
147.63/148.29 c #Conflicts: 718000 | #Constraints: 104146
147.63/148.29 c #Conflicts: 719000 | #Constraints: 105146
147.63/148.29 c #Conflicts: 720000 | #Constraints: 106146
147.63/148.29 c #Conflicts: 721000 | #Constraints: 107146
147.63/148.29 c #Conflicts: 722000 | #Constraints: 108146
147.63/148.29 c #Conflicts: 723000 | #Constraints: 109146
147.63/148.29 c #Conflicts: 724000 | #Constraints: 110146
147.63/148.29 c #Conflicts: 725000 | #Constraints: 111146
147.63/148.29 c #Conflicts: 726000 | #Constraints: 112146
147.63/148.29 c #Conflicts: 727000 | #Constraints: 113146
147.63/148.29 c #Conflicts: 728000 | #Constraints: 114146
147.63/148.29 c #Conflicts: 729000 | #Constraints: 115146
147.63/148.29 c #Conflicts: 730000 | #Constraints: 116146
147.63/148.29 c #Conflicts: 731000 | #Constraints: 117146
147.63/148.29 c #Conflicts: 732000 | #Constraints: 118146
147.63/148.29 c #Conflicts: 733000 | #Constraints: 119146
147.63/148.29 c #Conflicts: 734000 | #Constraints: 120146
147.63/148.29 c #Conflicts: 735000 | #Constraints: 121146
147.63/148.29 c #Conflicts: 736000 | #Constraints: 122146
147.63/148.29 c #Conflicts: 737000 | #Constraints: 123146
147.63/148.29 c #Conflicts: 738000 | #Constraints: 124146
147.63/148.29 c #Conflicts: 739000 | #Constraints: 125146
147.63/148.29 c #Conflicts: 740000 | #Constraints: 126146
147.63/148.29 c #Conflicts: 741000 | #Constraints: 127146
147.63/148.29 c #Conflicts: 742000 | #Constraints: 128146
147.63/148.29 c #Conflicts: 743000 | #Constraints: 129146
147.63/148.29 c #Conflicts: 744000 | #Constraints: 130146
147.63/148.29 c #Conflicts: 745000 | #Constraints: 131146
147.63/148.29 c #Conflicts: 746000 | #Constraints: 132146
147.63/148.29 c #Conflicts: 747000 | #Constraints: 133146
147.63/148.29 c #Conflicts: 748000 | #Constraints: 134146
148.92/149.54 c INPROCESSING
148.92/149.54 c GARBAGE COLLECT
148.92/149.54 c rational objective 66.05
155.00/155.61 c #Conflicts: 749000 | #Constraints: 91087
155.00/155.61 c #Conflicts: 750000 | #Constraints: 92087
155.00/155.61 c #Conflicts: 751000 | #Constraints: 93087
155.00/155.61 c #Conflicts: 752000 | #Constraints: 94087
155.00/155.61 c #Conflicts: 753000 | #Constraints: 95087
155.00/155.61 c #Conflicts: 754000 | #Constraints: 96087
155.00/155.61 c #Conflicts: 755000 | #Constraints: 97087
155.00/155.61 c #Conflicts: 756000 | #Constraints: 98087
155.00/155.61 c #Conflicts: 757000 | #Constraints: 99087
155.00/155.61 c #Conflicts: 758000 | #Constraints: 100087
155.00/155.61 c #Conflicts: 759000 | #Constraints: 101087
155.00/155.61 c #Conflicts: 760000 | #Constraints: 102087
155.00/155.61 c #Conflicts: 761000 | #Constraints: 103087
155.00/155.61 c #Conflicts: 762000 | #Constraints: 104087
155.00/155.61 c #Conflicts: 763000 | #Constraints: 105087
155.00/155.61 c #Conflicts: 764000 | #Constraints: 106087
155.00/155.61 c #Conflicts: 765000 | #Constraints: 107087
155.00/155.61 c #Conflicts: 766000 | #Constraints: 108087
155.00/155.61 c #Conflicts: 767000 | #Constraints: 109087
155.00/155.61 c #Conflicts: 768000 | #Constraints: 110087
155.00/155.61 c #Conflicts: 769000 | #Constraints: 111087
155.00/155.61 c #Conflicts: 770000 | #Constraints: 112087
155.00/155.61 c #Conflicts: 771000 | #Constraints: 113087
155.00/155.61 c #Conflicts: 772000 | #Constraints: 114087
155.00/155.61 c #Conflicts: 773000 | #Constraints: 115087
155.00/155.61 c INPROCESSING
155.00/155.61 c GARBAGE COLLECT
155.00/155.61 c rational objective 66.0521
167.56/168.22 c #Conflicts: 774000 | #Constraints: 81766
167.56/168.22 c #Conflicts: 775000 | #Constraints: 82766
167.56/168.22 c #Conflicts: 776000 | #Constraints: 83766
167.56/168.22 c #Conflicts: 777000 | #Constraints: 84766
167.56/168.22 c #Conflicts: 778000 | #Constraints: 85766
167.56/168.22 c #Conflicts: 779000 | #Constraints: 86766
167.56/168.22 c #Conflicts: 780000 | #Constraints: 87766
167.56/168.22 c #Conflicts: 781000 | #Constraints: 88766
167.56/168.22 c #Conflicts: 782000 | #Constraints: 89766
167.56/168.22 c #Conflicts: 783000 | #Constraints: 90766
167.56/168.22 c #Conflicts: 784000 | #Constraints: 91766
167.56/168.22 c #Conflicts: 785000 | #Constraints: 92766
167.56/168.22 c #Conflicts: 786000 | #Constraints: 93766
167.56/168.22 c #Conflicts: 787000 | #Constraints: 94766
167.56/168.22 c #Conflicts: 788000 | #Constraints: 95766
167.56/168.22 c #Conflicts: 789000 | #Constraints: 96766
167.56/168.22 c #Conflicts: 790000 | #Constraints: 97766
167.56/168.22 c #Conflicts: 791000 | #Constraints: 98766
167.56/168.22 c #Conflicts: 792000 | #Constraints: 99766
167.56/168.22 c #Conflicts: 793000 | #Constraints: 100766
167.56/168.22 c #Conflicts: 794000 | #Constraints: 101766
167.56/168.22 c #Conflicts: 795000 | #Constraints: 102766
167.56/168.22 c #Conflicts: 796000 | #Constraints: 103766
167.56/168.22 c #Conflicts: 797000 | #Constraints: 104766
167.56/168.22 c #Conflicts: 798000 | #Constraints: 105766
167.56/168.22 c #Conflicts: 799000 | #Constraints: 106766
167.56/168.22 c #Conflicts: 800000 | #Constraints: 107766
167.56/168.22 c #Conflicts: 801000 | #Constraints: 108766
167.56/168.22 c #Conflicts: 802000 | #Constraints: 109766
167.56/168.22 c #Conflicts: 803000 | #Constraints: 110766
167.56/168.22 c #Conflicts: 804000 | #Constraints: 111766
167.56/168.22 c #Conflicts: 805000 | #Constraints: 112766
167.56/168.22 c #Conflicts: 806000 | #Constraints: 113766
167.56/168.22 c #Conflicts: 807000 | #Constraints: 114766
167.56/168.22 c #Conflicts: 808000 | #Constraints: 115766
167.56/168.22 c #Conflicts: 809000 | #Constraints: 116766
167.56/168.22 c #Conflicts: 810000 | #Constraints: 117766
167.56/168.22 c #Conflicts: 811000 | #Constraints: 118766
167.56/168.22 c #Conflicts: 812000 | #Constraints: 119766
167.56/168.22 c #Conflicts: 813000 | #Constraints: 120766
167.56/168.22 c #Conflicts: 814000 | #Constraints: 121766
167.56/168.22 c #Conflicts: 815000 | #Constraints: 122766
167.56/168.22 c #Conflicts: 816000 | #Constraints: 123766
167.56/168.22 c #Conflicts: 817000 | #Constraints: 124766
167.56/168.22 c #Conflicts: 818000 | #Constraints: 125766
167.56/168.22 c #Conflicts: 819000 | #Constraints: 126766
167.56/168.22 c #Conflicts: 820000 | #Constraints: 127766
167.56/168.22 c #Conflicts: 821000 | #Constraints: 128766
167.56/168.22 c #Conflicts: 822000 | #Constraints: 129766
167.56/168.22 c #Conflicts: 823000 | #Constraints: 130766
167.56/168.22 c #Conflicts: 824000 | #Constraints: 131766
167.56/168.22 c #Conflicts: 825000 | #Constraints: 132766
167.56/168.22 c #Conflicts: 826000 | #Constraints: 133766
167.56/168.22 c #Conflicts: 827000 | #Constraints: 134766
167.56/168.22 c #Conflicts: 828000 | #Constraints: 135766
167.56/168.22 c #Conflicts: 829000 | #Constraints: 136766
167.56/168.22 c #Conflicts: 830000 | #Constraints: 137766
167.56/168.22 c #Conflicts: 831000 | #Constraints: 138766
167.56/168.22 c #Conflicts: 832000 | #Constraints: 139766
167.56/168.22 c INPROCESSING
167.56/168.22 c GARBAGE COLLECT
167.56/168.22 c rational objective 66.0521
174.34/175.04 c #Conflicts: 833000 | #Constraints: 94208
174.34/175.04 c #Conflicts: 834000 | #Constraints: 95208
174.34/175.04 c #Conflicts: 835000 | #Constraints: 96208
174.34/175.04 c #Conflicts: 836000 | #Constraints: 97208
174.34/175.04 c #Conflicts: 837000 | #Constraints: 98208
174.34/175.04 c #Conflicts: 838000 | #Constraints: 99208
174.34/175.04 c #Conflicts: 839000 | #Constraints: 100208
174.34/175.04 c #Conflicts: 840000 | #Constraints: 101208
174.34/175.04 c #Conflicts: 841000 | #Constraints: 102208
174.34/175.04 c #Conflicts: 842000 | #Constraints: 103208
174.34/175.04 c #Conflicts: 843000 | #Constraints: 104208
174.34/175.04 c #Conflicts: 844000 | #Constraints: 105208
174.34/175.04 c #Conflicts: 845000 | #Constraints: 106208
174.34/175.04 c #Conflicts: 846000 | #Constraints: 107208
174.34/175.04 c #Conflicts: 847000 | #Constraints: 108208
174.34/175.04 c #Conflicts: 848000 | #Constraints: 109208
174.34/175.04 c #Conflicts: 849000 | #Constraints: 110208
174.34/175.04 c #Conflicts: 850000 | #Constraints: 111208
174.34/175.04 c #Conflicts: 851000 | #Constraints: 112208
174.34/175.04 c #Conflicts: 852000 | #Constraints: 113208
174.34/175.04 c #Conflicts: 853000 | #Constraints: 114208
174.34/175.04 c #Conflicts: 854000 | #Constraints: 115208
174.34/175.04 c #Conflicts: 855000 | #Constraints: 116208
174.34/175.04 c #Conflicts: 856000 | #Constraints: 117208
174.34/175.04 c #Conflicts: 857000 | #Constraints: 118208
174.34/175.04 c #Conflicts: 858000 | #Constraints: 119208
174.34/175.04 c INPROCESSING
174.34/175.04 c GARBAGE COLLECT
174.34/175.04 c rational objective 66.0561
178.62/179.35 c #Conflicts: 859000 | #Constraints: 83999
178.62/179.35 c #Conflicts: 860000 | #Constraints: 84999
178.62/179.35 c #Conflicts: 861000 | #Constraints: 85999
178.62/179.35 c #Conflicts: 862000 | #Constraints: 86999
178.62/179.35 c #Conflicts: 863000 | #Constraints: 87999
178.62/179.35 c #Conflicts: 864000 | #Constraints: 88999
178.62/179.35 c #Conflicts: 865000 | #Constraints: 89999
178.62/179.35 c #Conflicts: 866000 | #Constraints: 90999
178.62/179.35 c #Conflicts: 867000 | #Constraints: 91999
178.62/179.35 c #Conflicts: 868000 | #Constraints: 92999
178.62/179.35 c #Conflicts: 869000 | #Constraints: 93999
178.62/179.35 c #Conflicts: 870000 | #Constraints: 94999
178.62/179.35 c #Conflicts: 871000 | #Constraints: 95999
178.62/179.35 c #Conflicts: 872000 | #Constraints: 96999
178.62/179.35 c #Conflicts: 873000 | #Constraints: 97999
178.62/179.35 c #Conflicts: 874000 | #Constraints: 98999
178.62/179.35 c #Conflicts: 875000 | #Constraints: 99999
178.62/179.35 c #Conflicts: 876000 | #Constraints: 100999
178.62/179.35 c #Conflicts: 877000 | #Constraints: 101999
178.62/179.35 c #Conflicts: 878000 | #Constraints: 102999
178.62/179.35 c #Conflicts: 879000 | #Constraints: 103999
178.62/179.35 c #Conflicts: 880000 | #Constraints: 104999
178.62/179.35 c #Conflicts: 881000 | #Constraints: 105999
178.62/179.35 c #Conflicts: 882000 | #Constraints: 106999
178.62/179.35 WSVECS04 Frhs2[86]: 6 -1.00009 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[94]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[95]: 6 -1.00009 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[96]: 6 -1.00009 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[97]: 6 -1.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[100]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[101]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[102]: 6 -1.00001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[103]: 6 -1.00009 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[104]: 6 -1.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[105]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[348]: 6 -25.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[440]: 6 -1.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[441]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[442]: 6 -1.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[443]: 6 -1.00006 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[485]: 6 -1.00003 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[486]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[487]: 6 -1.00008 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[489]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[723]: 6 -1.00001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[724]: 6 -1.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[725]: 6 -1.00003 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[726]: 6 -1.00006 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[727]: 6 -1.00001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[728]: 6 -1.00008 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[729]: 6 -1.00006 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[730]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[731]: 6 -1.00001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[732]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[733]: 6 -1.00001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[734]: 6 -1.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[735]: 6 -1.00003 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[742]: 6 -1.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[766]: 6 -1.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[767]: 6 -1.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[768]: 6 -1.00008 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[770]: 6 -1.00004 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[771]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[772]: 6 -1.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[773]: 6 -1.00001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[774]: 6 -1.00005 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[775]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[776]: 6 -1.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[777]: 6 -1.0001 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[819]: 6 -1.00002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[878]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[879]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[880]: 6 0 1.00009 shouldn't be
178.62/179.35 WSVECS04 Frhs2[881]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[882]: 6 0 1.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[883]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[884]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[885]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[886]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[887]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[888]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[889]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[890]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[891]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[894]: 6 0 2.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1013]: 6 0 2.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1014]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1015]: 6 0 1.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1016]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1017]: 6 0 1.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1018]: 6 0 1.00008 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1019]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1020]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1021]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1022]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1023]: 6 0 1.00003 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1024]: 6 0 2.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1025]: 6 0 1.00003 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1026]: 6 0 2.00003 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1027]: 6 0 2.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1028]: 6 0 2.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1029]: 6 0 2.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1058]: 6 0 1.00009 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1059]: 6 0 1.00009 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1061]: 6 0 1.00001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1062]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1063]: 6 0 1.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1064]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1065]: 6 0 1.00003 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1066]: 6 0 1.00008 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1067]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1069]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1071]: 6 0 2.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1081]: 6 0 1.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1089]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1103]: 6 0 1.00008 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1104]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1106]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1107]: 6 0 1.00001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1108]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1109]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1110]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1111]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1112]: 6 0 1.00006 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1114]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1116]: 6 0 2.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1117]: 6 0 2.00009 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1118]: 6 0 2.00007 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1119]: 6 0 2.00001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1126]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1134]: 6 0 1.00003 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1136]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1198]: 6 -1.00008 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1201]: 6 -2.00007 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1247]: 6 -1.50009 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1248]: 6 -1.50002 0 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1345]: 6 0 1.00009 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1346]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1347]: 6 0 1.50004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1348]: 6 0 1.00002 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1349]: 6 0 1.00001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1350]: 6 0 1.37502 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1351]: 6 0 1.00008 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1352]: 6 0 1.00005 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1353]: 6 0 1.00004 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1354]: 6 0 1.0001 shouldn't be
178.62/179.35 WSVECS04 Frhs2[1355]: 6 0 1.00003 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1356]: 6 0 1.5313 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1357]: 6 0 1.00005 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1358]: 6 0 1.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1359]: 6 0 2.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1360]: 6 0 2.00008 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1361]: 6 0 2.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1525]: 6 0 1.46885 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1526]: 6 0 1.00008 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1527]: 6 0 1.12506 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1528]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1529]: 6 0 1.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1530]: 6 0 1.50009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1534]: 6 0 1.00003 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1535]: 6 0 1.00008 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1536]: 6 0 1.00002 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1537]: 6 0 1.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1540]: 6 0 2.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1541]: 6 0 2.00003 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1615]: 6 0 1.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1616]: 6 0 1.00008 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1617]: 6 0 1.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1618]: 6 0 1.00002 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1619]: 6 0 1.00003 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1620]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1621]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1622]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1623]: 6 0 1.00007 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1624]: 6 0 1.00005 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1627]: 6 0 1.00002 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1628]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1629]: 6 0 2.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1630]: 6 0 2.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1631]: 6 0 2.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1646]: 6 0 1.09383 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1660]: 6 0 1.00005 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1661]: 6 0 1.00008 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1662]: 6 0 1.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1663]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1664]: 6 0 1.00007 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1665]: 6 0 1.0001 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1666]: 6 0 1.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1667]: 6 0 1.00005 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1668]: 6 0 1.00002 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1669]: 6 0 1.00006 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1670]: 6 0 1.00005 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1671]: 6 0 1.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1672]: 6 0 1.00004 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1673]: 6 0 1.00003 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1674]: 6 0 2.00003 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1675]: 6 0 2.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1676]: 6 0 2.00009 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1746]: 6 0 0.812525 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1789]: 6 0 0.406347 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1790]: 6 0 0.906335 shouldn't be
178.62/179.36 WSVECS04 Frhs2[1840]: 6 -1.00002 0 shouldn't be
186.20/187.00 c #Conflicts: 883000 | #Constraints: 107999
186.20/187.00 c #Conflicts: 884000 | #Constraints: 108999
186.20/187.00 c #Conflicts: 885000 | #Constraints: 109999
186.20/187.00 c #Conflicts: 886000 | #Constraints: 110999
186.20/187.00 c #Conflicts: 887000 | #Constraints: 111999
186.20/187.00 c #Conflicts: 888000 | #Constraints: 112999
186.20/187.00 c #Conflicts: 889000 | #Constraints: 113999
186.20/187.00 c #Conflicts: 890000 | #Constraints: 114999
186.20/187.00 c #Conflicts: 891000 | #Constraints: 115999
186.20/187.00 c #Conflicts: 892000 | #Constraints: 116999
186.20/187.00 c #Conflicts: 893000 | #Constraints: 117999
186.20/187.00 c #Conflicts: 894000 | #Constraints: 118999
186.20/187.00 c #Conflicts: 895000 | #Constraints: 119999
186.20/187.00 c #Conflicts: 896000 | #Constraints: 120999
186.20/187.00 c #Conflicts: 897000 | #Constraints: 121999
186.20/187.00 c #Conflicts: 898000 | #Constraints: 122999
186.20/187.00 c #Conflicts: 899000 | #Constraints: 123999
186.20/187.00 c #Conflicts: 900000 | #Constraints: 124999
186.20/187.00 c #Conflicts: 901000 | #Constraints: 125999
186.20/187.00 c #Conflicts: 902000 | #Constraints: 126999
186.20/187.00 c #Conflicts: 903000 | #Constraints: 127999
186.20/187.00 c #Conflicts: 904000 | #Constraints: 128999
186.20/187.00 c #Conflicts: 905000 | #Constraints: 129999
186.20/187.00 c #Conflicts: 906000 | #Constraints: 130999
186.20/187.00 c #Conflicts: 907000 | #Constraints: 131999
186.20/187.00 c #Conflicts: 908000 | #Constraints: 132999
186.20/187.00 c #Conflicts: 909000 | #Constraints: 133999
186.20/187.00 c #Conflicts: 910000 | #Constraints: 134999
186.20/187.00 c #Conflicts: 911000 | #Constraints: 135999
186.20/187.00 c #Conflicts: 912000 | #Constraints: 136999
186.20/187.00 c #Conflicts: 913000 | #Constraints: 137999
186.20/187.00 c #Conflicts: 914000 | #Constraints: 138999
186.20/187.00 c #Conflicts: 915000 | #Constraints: 139999
186.20/187.00 c #Conflicts: 916000 | #Constraints: 140999
186.20/187.00 c #Conflicts: 917000 | #Constraints: 141999
186.20/187.00 c #Conflicts: 918000 | #Constraints: 142999
186.20/187.00 c #Conflicts: 919000 | #Constraints: 143999
186.20/187.00 c #Conflicts: 920000 | #Constraints: 144999
186.20/187.00 c INPROCESSING
186.20/187.00 c GARBAGE COLLECT
186.20/187.00 c rational objective 66.0573
194.47/195.22 c #Conflicts: 921000 | #Constraints: 96888
194.47/195.22 c #Conflicts: 922000 | #Constraints: 97888
194.47/195.22 c #Conflicts: 923000 | #Constraints: 98888
194.47/195.22 c #Conflicts: 924000 | #Constraints: 99888
194.47/195.22 c #Conflicts: 925000 | #Constraints: 100888
194.47/195.22 c #Conflicts: 926000 | #Constraints: 101888
194.47/195.22 c #Conflicts: 927000 | #Constraints: 102888
194.47/195.22 c #Conflicts: 928000 | #Constraints: 103888
194.47/195.22 c #Conflicts: 929000 | #Constraints: 104888
194.47/195.22 c #Conflicts: 930000 | #Constraints: 105888
194.47/195.22 c #Conflicts: 931000 | #Constraints: 106888
194.47/195.22 c #Conflicts: 932000 | #Constraints: 107888
194.47/195.22 c #Conflicts: 933000 | #Constraints: 108888
194.47/195.22 c #Conflicts: 934000 | #Constraints: 109888
194.47/195.22 c #Conflicts: 935000 | #Constraints: 110888
194.47/195.22 c #Conflicts: 936000 | #Constraints: 111888
194.47/195.22 c #Conflicts: 937000 | #Constraints: 112888
194.47/195.22 c #Conflicts: 938000 | #Constraints: 113888
194.47/195.22 c #Conflicts: 939000 | #Constraints: 114888
194.47/195.22 c #Conflicts: 940000 | #Constraints: 115888
194.47/195.22 c #Conflicts: 941000 | #Constraints: 116888
194.47/195.22 c #Conflicts: 942000 | #Constraints: 117888
194.47/195.22 c #Conflicts: 943000 | #Constraints: 118888
194.47/195.22 c #Conflicts: 944000 | #Constraints: 119888
194.47/195.22 c #Conflicts: 945000 | #Constraints: 120888
194.47/195.22 c #Conflicts: 946000 | #Constraints: 121888
194.47/195.22 c #Conflicts: 947000 | #Constraints: 122888
194.47/195.22 c INPROCESSING
194.47/195.22 c GARBAGE COLLECT
194.47/195.22 c rational objective 66.0585
208.73/209.52 c #Conflicts: 948000 | #Constraints: 85816
208.73/209.52 c #Conflicts: 949000 | #Constraints: 86816
208.73/209.52 c #Conflicts: 950000 | #Constraints: 87816
208.73/209.52 c #Conflicts: 951000 | #Constraints: 88816
208.73/209.52 c #Conflicts: 952000 | #Constraints: 89816
208.73/209.52 c #Conflicts: 953000 | #Constraints: 90816
208.73/209.52 c #Conflicts: 954000 | #Constraints: 91816
208.73/209.52 c #Conflicts: 955000 | #Constraints: 92816
208.73/209.52 c #Conflicts: 956000 | #Constraints: 93816
208.73/209.52 c #Conflicts: 957000 | #Constraints: 94816
208.73/209.52 c #Conflicts: 958000 | #Constraints: 95816
208.73/209.52 c #Conflicts: 959000 | #Constraints: 96816
208.73/209.52 c #Conflicts: 960000 | #Constraints: 97816
208.73/209.52 c #Conflicts: 961000 | #Constraints: 98816
208.73/209.52 c #Conflicts: 962000 | #Constraints: 99816
208.73/209.52 c #Conflicts: 963000 | #Constraints: 100816
208.73/209.52 c #Conflicts: 964000 | #Constraints: 101816
208.73/209.52 c #Conflicts: 965000 | #Constraints: 102816
208.73/209.52 c #Conflicts: 966000 | #Constraints: 103816
208.73/209.52 c #Conflicts: 967000 | #Constraints: 104816
208.73/209.52 c #Conflicts: 968000 | #Constraints: 105816
208.73/209.52 c #Conflicts: 969000 | #Constraints: 106816
208.73/209.52 c #Conflicts: 970000 | #Constraints: 107816
208.73/209.52 c #Conflicts: 971000 | #Constraints: 108816
208.73/209.52 c #Conflicts: 972000 | #Constraints: 109816
208.73/209.52 c #Conflicts: 973000 | #Constraints: 110816
208.73/209.52 c #Conflicts: 974000 | #Constraints: 111816
208.73/209.52 c #Conflicts: 975000 | #Constraints: 112816
208.73/209.52 c #Conflicts: 976000 | #Constraints: 113816
208.73/209.52 c #Conflicts: 977000 | #Constraints: 114816
208.73/209.52 c #Conflicts: 978000 | #Constraints: 115816
208.73/209.52 c #Conflicts: 979000 | #Constraints: 116816
208.73/209.52 c #Conflicts: 980000 | #Constraints: 117816
208.73/209.52 c #Conflicts: 981000 | #Constraints: 118816
208.73/209.52 c #Conflicts: 982000 | #Constraints: 119816
208.73/209.52 c #Conflicts: 983000 | #Constraints: 120816
208.73/209.52 c #Conflicts: 984000 | #Constraints: 121816
208.73/209.52 c #Conflicts: 985000 | #Constraints: 122816
208.73/209.52 c #Conflicts: 986000 | #Constraints: 123816
208.73/209.52 c #Conflicts: 987000 | #Constraints: 124816
208.73/209.52 c #Conflicts: 988000 | #Constraints: 125816
208.73/209.52 c #Conflicts: 989000 | #Constraints: 126816
208.73/209.52 c #Conflicts: 990000 | #Constraints: 127816
208.73/209.52 c #Conflicts: 991000 | #Constraints: 128816
208.73/209.52 c #Conflicts: 992000 | #Constraints: 129816
208.73/209.52 c #Conflicts: 993000 | #Constraints: 130816
208.73/209.52 c #Conflicts: 994000 | #Constraints: 131816
208.73/209.52 c #Conflicts: 995000 | #Constraints: 132816
208.73/209.52 c #Conflicts: 996000 | #Constraints: 133816
208.73/209.52 c #Conflicts: 997000 | #Constraints: 134816
208.73/209.52 c #Conflicts: 998000 | #Constraints: 135816
208.73/209.52 c #Conflicts: 999000 | #Constraints: 136816
208.73/209.52 c #Conflicts: 1000000 | #Constraints: 137816
208.73/209.52 c #Conflicts: 1001000 | #Constraints: 138816
208.73/209.52 c #Conflicts: 1002000 | #Constraints: 139816
208.73/209.52 c #Conflicts: 1003000 | #Constraints: 140816
208.73/209.52 c #Conflicts: 1004000 | #Constraints: 141816
208.73/209.52 c #Conflicts: 1005000 | #Constraints: 142816
208.73/209.52 c #Conflicts: 1006000 | #Constraints: 143816
208.73/209.52 c #Conflicts: 1007000 | #Constraints: 144816
208.73/209.52 c #Conflicts: 1008000 | #Constraints: 145816
208.73/209.52 c #Conflicts: 1009000 | #Constraints: 146816
208.73/209.52 c #Conflicts: 1010000 | #Constraints: 147816
208.73/209.52 c #Conflicts: 1011000 | #Constraints: 148816
208.73/209.52 c #Conflicts: 1012000 | #Constraints: 149816
208.73/209.52 c INPROCESSING
208.73/209.52 c GARBAGE COLLECT
208.73/209.52 c rational objective 66.0611
209.63/210.43 c #Conflicts: 1013000 | #Constraints: 99245
209.63/210.43 c #Conflicts: 1014000 | #Constraints: 100245
209.63/210.43 c cpu time 204.537 s
209.63/210.43 c deterministic time 3813531297 3.81e+09
209.63/210.43 c optimization time 0.00016 s
209.63/210.43 c total solve time 204.339 s
209.63/210.43 c core-guided solve time 0 s
209.63/210.43 c propagation time 89.9916 s
209.63/210.43 c conflict analysis time 56.29 s
209.63/210.43 c propagations 92374465
209.63/210.43 c resolve steps 20766298
209.63/210.43 c decisions 2509699
209.63/210.43 c conflicts 1014006
209.63/210.43 c restarts 2045
209.63/210.43 c inprocessing phases 42
209.63/210.43 c garbage collections 40 ,( 95.24 )
209.63/210.43 c input clauses 42543 ,( 91.91 )
209.63/210.43 c input cardinalities 77 ,( 0.17 )
209.63/210.43 c input general constraints 3666 ,( 7.92 )
209.63/210.43 c input average constraint length 3.58
209.63/210.43 c input average constraint degree 1.10
209.63/210.43 c learned clauses 1010290 ,( 99.63 )
209.63/210.43 c learned cardinalities 1553 ,( 0.15 )
209.63/210.43 c learned general constraints 2187 ,( 0.22 )
209.63/210.43 c learned average constraint length 93.62
209.63/210.43 c learned average constraint degree 3475.74
209.63/210.43 c watched CF 32, 64, 128, Arb: 513 , 0 , 0 , 0
209.63/210.43 c counting CF 32, 64, 128, Arb: 5340 , 0 , 0 , 0
209.63/210.43 c watched constraints 513 ,( 8.76 )
209.63/210.43 c counting constraints 5340 ,( 91.24 )
209.63/210.43 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 640931487 , 9580420 , 43726050 ,( 234752 , 43491298 )
209.63/210.43 c gcd simplifications 4832
209.63/210.43 c detected cardinalities 48
209.63/210.43 c weakened non-implied lits 3685896
209.63/210.43 c weakened non-implying lits 6471
209.63/210.43 c original variables 1840
209.63/210.43 c clausal propagations 79991762
209.63/210.43 c cardinality propagations 5089745
209.63/210.43 c watched propagations 9990
209.63/210.43 c counting propagations 6235109
209.63/210.43 c watch lookups 1189120299
209.63/210.43 c watch backjump lookups 0
209.63/210.43 c watch checks 1882844262
209.63/210.43 c propagation checks 267578216
209.63/210.43 c constraint additions 283001329
209.63/210.43 c trail pops 95898169
209.63/210.43 c formula constraints 46286
209.63/210.43 c learned constraints 1014006
209.63/210.43 c bound constraints 0
209.63/210.43 c core-guided constraints 0
209.63/210.43 c encountered formula constraints 12137590
209.63/210.43 c encountered learned constraints 9642679
209.63/210.43 c encountered bound constraints 0
209.63/210.43 c encountered core-guided constraints 0
209.63/210.43 c LP total time 47.6901 s
209.63/210.43 c LP solve time 41.5 s
209.63/210.43 c LP constraints added 46534
209.63/210.43 c LP constraints removed 218
209.63/210.43 c LP pivots internal 101805
209.63/210.43 c LP pivots root 103052
209.63/210.43 c LP calls 104
209.63/210.43 c LP optimalities 100
209.63/210.43 c LP no pivot count 0
209.63/210.43 c LP infeasibilities 0
209.63/210.43 c LP valid Farkas constraints 0
209.63/210.43 c LP learned Farkas constraints 0
209.63/210.43 c LP basis resets 0
209.63/210.43 c LP cycling count 0
209.63/210.43 c LP singular count 0
209.63/210.43 c LP no primal count 0
209.63/210.43 c LP no farkas count 0
209.63/210.43 c LP other issue count 0
209.63/210.43 c LP Gomory cuts 24
209.63/210.43 c LP learned cuts 238
209.63/210.43 c LP deleted cuts 228
209.63/210.43 c LP encountered Gomory constraints 35
209.63/210.43 c LP encountered Farkas constraints 0
209.63/210.43 c LP encountered learned Farkas constraints 0
209.63/210.43 c CG auxiliary variables introduced 0
209.63/210.43 c CG solutions found 0
209.63/210.43 c CG cores constructed 0
209.63/210.43 c CG core cardinality constraints returned 0
209.63/210.43 c CG unit cores 0
209.63/210.43 c CG single cores 0
209.63/210.43 c CG blocks removed during cardinality reduction 0
209.63/210.43 c CG first core best 0
209.63/210.43 c CG decision core best 0
209.63/210.43 c CG core reduction tie 0
209.63/210.43 c CG core degree average 0.00
209.63/210.43 c CG core slack average 0.00
209.63/210.43 c CG core upper bound improvements 0
209.63/210.43 c STR number of successful calls 0
209.63/210.43 c STR number of unsuccessful calls 0
209.63/210.43 c STR number of inconclusive calls 0
209.63/210.43 c STR number of successful attempts 0
209.63/210.43 c STR number of unsuccessful attempts 0
209.63/210.43 c STR number of inconclusive attempts 0
209.63/210.43 c STR average degree increase per successful call inf
209.63/210.43 c STR average degree increase per successful attempt inf
209.63/210.43 c STR total number of conflicts for successful attempts 0
209.63/210.43 c STR total number of conflicts for unsuccessful attempts 0
209.63/210.43 c STR total number of conflicts for inconclusive attempts 0
209.63/210.43 c STR average number of conflicts per successful attempt inf
209.63/210.43 c STR average number of conflicts per unsuccessful attempt inf
209.63/210.43 c STR average number of conflicts per inconclusive attempt inf
209.63/210.43 c AVG.sumWPerc 60.87
209.63/210.43 c bigint constraints 0
209.63/210.43 s SATISFIABLE
209.63/210.43 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: 63708 MiB (63145 MiB free)
memory of node 1: 64465 MiB (61428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503459-1751170667/watcher-4503459-1751170667 -o /tmp/evaluation-result-4503459-1751170667/solver-4503459-1751170667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4503459-1751170667.opb PROOFDIR/proof-4503459-1751170667
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20889, runsolver pid=20879
[startup+0.100059 s]*
/proc/loadavg: 0.94 1.76 2.22 1/271 20906
/proc/meminfo: memFree=127553844/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/20895/stat : 20895 (roundingsat) D 20889 20889 20833 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 32741222 52015104 1856 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.205096 s]*
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127506660/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=63928 memory=19220 CPUtime=0.07 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 2680 0 0 0 6 1 0 0 20 0 1 0 32741222 65462272 4805 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 15982 4805 2016 1147 0 3409 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 68120 KiB
Current children cumulated memory: 22292 KiB
[startup+0.304783 s]*
/proc/loadavg: 0.94 1.76 2.22 6/271 20906
/proc/meminfo: memFree=127476796/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=82460 memory=39324 CPUtime=0.17 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 7166 0 0 0 14 3 0 0 20 0 1 0 32741222 84439040 9831 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 20615 9831 2272 1147 0 8042 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 86652 KiB
Current children cumulated memory: 42396 KiB
[startup+0.700146 s]
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127391740/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=134968 memory=84476 CPUtime=0.56 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 14005 0 0 0 51 5 0 0 20 0 1 0 32741222 138207232 21119 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 33742 21119 2336 1147 0 21169 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 139160 KiB
Current children cumulated memory: 87548 KiB
[startup+1.50015 s]
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127177204/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=137120 memory=84732 CPUtime=1.37 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 14062 0 0 0 130 7 0 0 20 0 1 0 32741222 140410880 21183 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 34280 21183 2368 1147 0 21707 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 141312 KiB
Current children cumulated memory: 87804 KiB
[startup+3.1054 s]
/proc/loadavg: 0.94 1.76 2.22 5/266 20914
/proc/meminfo: memFree=126689208/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=138944 memory=87292 CPUtime=2.96 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 14720 0 0 0 283 13 0 0 20 0 1 0 32741222 142278656 21823 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 34736 21823 2368 1147 0 22163 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 143136 KiB
Current children cumulated memory: 90364 KiB
[startup+6.30016 s]
/proc/loadavg: 1.19 1.80 2.23 5/267 20942
/proc/meminfo: memFree=126444536/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=142660 memory=90844 CPUtime=6.14 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 15105 0 0 0 592 22 0 0 20 0 1 0 32741222 146083840 22711 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 35665 22711 2368 1147 0 23092 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 146852 KiB
Current children cumulated memory: 93916 KiB
[startup+12.7002 s]
/proc/loadavg: 1.41 1.84 2.24 5/271 20953
/proc/meminfo: memFree=126167752/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=150292 memory=93688 CPUtime=12.52 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 15951 0 0 0 1208 44 0 0 20 0 1 0 32741222 153899008 23422 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 37573 23422 2368 1147 0 25000 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 154484 KiB
Current children cumulated memory: 96760 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 1.96 2.28 5/271 20953
/proc/meminfo: memFree=126196516/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=155772 memory=102720 CPUtime=25.28 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 17193 0 0 0 2446 82 0 0 20 0 1 0 32741222 159510528 25680 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 38943 25680 2368 1147 0 26370 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 159964 KiB
Current children cumulated memory: 105792 KiB
[startup+51.1057 s]
/proc/loadavg: 2.72 2.13 2.32 5/271 20954
/proc/meminfo: memFree=126157804/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=165920 memory=113340 CPUtime=50.82 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 19019 0 0 0 4927 155 0 0 20 0 1 0 32741222 169902080 28335 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 41480 28335 2368 1147 0 28907 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 170112 KiB
Current children cumulated memory: 116412 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.43 2.42 5/271 20957
/proc/meminfo: memFree=126017328/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=201116 memory=131204 CPUtime=101.87 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 20967 0 0 0 9916 271 0 0 20 0 1 0 32741222 205942784 32801 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 50279 32801 2368 1147 0 37706 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 205308 KiB
Current children cumulated memory: 134276 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.74 2.53 5/271 20959
/proc/meminfo: memFree=125880720/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=208176 memory=141100 CPUtime=161.68 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 22930 0 0 0 15758 410 0 0 20 0 1 0 32741222 213172224 35275 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52044 35275 2368 1147 0 39471 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 212368 KiB
Current children cumulated memory: 144172 KiB
[startup+210.676 s]
# the end of solver process 20889 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=204.55 s, system=5.14419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 3.92 2.82 2.56 5/272 20960
/proc/meminfo: memFree=125843972/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=209040 memory=141996 CPUtime=178.53 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23146 0 0 0 17402 451 0 0 20 0 1 0 32741222 214056960 35499 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52260 35499 2368 1147 0 39687 0
Current children cumulated CPU time: 178.53 s
Current children cumulated vsize: 213232 KiB
Current children cumulated memory: 145068 KiB
[startup+192 s]*
/proc/loadavg: 4.00 2.87 2.58 5/272 20961
/proc/meminfo: memFree=125814256/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=209356 memory=142252 CPUtime=191.29 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23225 0 0 0 18650 479 0 0 20 0 1 0 32741222 214380544 35563 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52339 35563 2368 1147 0 39766 0
Current children cumulated CPU time: 191.29 s
Current children cumulated vsize: 213548 KiB
Current children cumulated memory: 145324 KiB
[startup+198.4 s]
/proc/loadavg: 4.00 2.89 2.59 5/272 20961
/proc/meminfo: memFree=125823684/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=209356 memory=142252 CPUtime=197.67 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23225 0 0 0 19275 492 0 0 20 0 1 0 32741222 214380544 35563 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52339 35563 2368 1147 0 39766 0
Current children cumulated CPU time: 197.67 s
Current children cumulated vsize: 213548 KiB
Current children cumulated memory: 145324 KiB
[startup+204.8 s]
/proc/loadavg: 4.00 2.93 2.60 5/272 20961
/proc/meminfo: memFree=125790600/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=209356 memory=142252 CPUtime=204.05 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23225 0 0 0 19900 505 0 0 20 0 1 0 32741222 214380544 35563 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52339 35563 2368 1147 0 39766 0
Current children cumulated CPU time: 204.05 s
Current children cumulated vsize: 213548 KiB
Current children cumulated memory: 145324 KiB
[startup+208 s]*
/proc/loadavg: 4.00 2.93 2.60 5/271 20961
/proc/meminfo: memFree=125770136/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=209356 memory=144368 CPUtime=207.24 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23227 0 0 0 20214 510 0 0 20 0 1 0 32741222 214380544 36092 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52339 36092 2368 1147 0 39766 0
Current children cumulated CPU time: 207.24 s
Current children cumulated vsize: 213548 KiB
Current children cumulated memory: 147440 KiB
[startup+209.6 s]
/proc/loadavg: 4.00 2.95 2.61 5/271 20961
/proc/meminfo: memFree=125770136/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=210932 memory=145904 CPUtime=208.83 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23621 0 0 0 20371 512 0 0 20 0 1 0 32741222 215994368 36476 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52733 36476 2368 1147 0 40160 0
Current children cumulated CPU time: 208.83 s
Current children cumulated vsize: 215124 KiB
Current children cumulated memory: 148976 KiB
[startup+210.4 s]
/proc/loadavg: 4.00 2.95 2.61 5/271 20961
/proc/meminfo: memFree=125770176/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=210932 memory=145904 CPUtime=209.63 cores=4,6
/proc/20895/stat : 20895 (roundingsat) R 20889 20889 20833 0 -1 4194304 23621 0 0 0 20450 513 0 0 20 0 1 0 32741222 215994368 36476 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52733 36476 2368 1147 0 40160 0
Current children cumulated CPU time: 209.63 s
Current children cumulated vsize: 215124 KiB
Current children cumulated memory: 148976 KiB
[startup+210.6 s]
/proc/loadavg: 4.00 2.95 2.61 5/271 20961
/proc/meminfo: memFree=125770176/131249992 swapFree=33010672/33010684
[pid=20889] ppid=20879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20889/stat : 20889 (run-dec-ls-log.) S 20879 20889 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 768 18446744073709551615 93940933005312 93940933899845 140723331470944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93940934138896 93940934186640 93940961837056 140723331479835 140723331480033 140723331480033 140723331485635 0
/proc/20889/statm: 1048 768 704 219 0 110 0
[pid=20895] ppid=20889 vsize=210932 memory=145904 CPUtime=209.66 cores=4,6
/proc/20895/stat : 20895 (roundingsat) D 20889 20889 20833 0 -1 4194304 23621 0 0 0 20453 513 0 0 20 0 1 0 32741222 215994368 36476 18446744073709551615 4227072 8923433 140724816402976 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 43061248 140724816406864 140724816407080 140724816407080 140724816412650 0
/proc/20895/statm: 52733 36476 2368 1147 0 40160 0
Current children cumulated CPU time: 209.66 s
Current children cumulated vsize: 215124 KiB
Current children cumulated memory: 148976 KiB
Child status: 0
Real time (s): 210.676
CPU time (s): 209.695
CPU user time (s): 204.55
CPU system time (s): 5.14419
CPU usage (%): 99.5343
Max. virtual memory (cumulated for all children) (KiB): 215124
Max. memory (cumulated for all children) (KiB): 148976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.55
system time used= 5.14419
maximum resident set size= 145904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 564208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 538
involuntary context switches= 289
# summary of solver processes directly reported to runsolver:
# pid: 20889
# total CPU time (s): 209.695
# total CPU user time (s): 204.55
# total CPU system time (s): 5.14419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.465285 second user time and 0.982788 second system time
The end
Begin job on nodeC035 at 2025-06-29 06:17:47
IDJOB=4503459
IDBENCH=155472
IDSOLVER=3354
FILE ID=nodeC035/4503459-1751170667
RUNJOBID= nodeC035-1751170667-20844
SLURM_JOB_ID= 9587529
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-185.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503459-1751170667/watcher-4503459-1751170667 -o /tmp/evaluation-result-4503459-1751170667/solver-4503459-1751170667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4503459-1751170667.opb PROOFDIR/proof-4503459-1751170667
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 458054bd456c10a880dafd6041bb82b2
RANDOM SEED=38620789
nodeC035 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.736
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.006
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.51
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 : 3617.408
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.51
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 : 3603.144
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.51
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.876
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.51
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.756
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.757
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.51
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 : 3573.827
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127567352 kB
MemAvailable: 129763392 kB
Buffers: 2352 kB
Cached: 2991040 kB
SwapCached: 8 kB
Active: 274312 kB
Inactive: 2791864 kB
Active(anon): 84800 kB
Inactive(anon): 6040 kB
Active(file): 189512 kB
Inactive(file): 2785824 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47932 kB
Writeback: 0 kB
AnonPages: 76176 kB
Mapped: 102772 kB
Shmem: 18056 kB
KReclaimable: 119888 kB
Slab: 205224 kB
SReclaimable: 119888 kB
SUnreclaim: 85336 kB
KernelStack: 4120 kB
PageTables: 2644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 338496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC035 at 2025-06-29 06:21:18