0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.58/0.63 c #variables 1840 #constraints 46286
0.66/0.73 c rational objective 65
13.62/13.74 c #Conflicts: 1000 | #Constraints: 47288
13.62/13.74 c #Conflicts: 2000 | #Constraints: 48288
13.62/13.74 c INPROCESSING
13.62/13.74 c #Conflicts: 3000 | #Constraints: 48326
13.62/13.74 c #Conflicts: 4000 | #Constraints: 49326
13.62/13.74 c INPROCESSING
13.62/13.74 c #Conflicts: 5000 | #Constraints: 48761
13.62/13.74 c #Conflicts: 6000 | #Constraints: 49761
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 7000 | #Constraints: 48780
13.62/13.74 c #Conflicts: 8000 | #Constraints: 49780
13.62/13.74 c #Conflicts: 9000 | #Constraints: 50780
13.62/13.74 c #Conflicts: 10000 | #Constraints: 51780
13.62/13.74 c #Conflicts: 11000 | #Constraints: 52780
13.62/13.74 c #Conflicts: 12000 | #Constraints: 53780
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 13000 | #Constraints: 50701
13.62/13.74 c #Conflicts: 14000 | #Constraints: 51701
13.62/13.74 c #Conflicts: 15000 | #Constraints: 52701
13.62/13.74 c #Conflicts: 16000 | #Constraints: 53701
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 17000 | #Constraints: 50842
13.62/13.74 c #Conflicts: 18000 | #Constraints: 51842
13.62/13.74 c #Conflicts: 19000 | #Constraints: 52842
13.62/13.74 c #Conflicts: 20000 | #Constraints: 53842
13.62/13.74 c #Conflicts: 21000 | #Constraints: 54842
13.62/13.74 c #Conflicts: 22000 | #Constraints: 55842
13.62/13.74 c #Conflicts: 23000 | #Constraints: 56842
13.62/13.74 c #Conflicts: 24000 | #Constraints: 57842
13.62/13.74 c #Conflicts: 25000 | #Constraints: 58842
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 26000 | #Constraints: 53255
13.62/13.74 c #Conflicts: 27000 | #Constraints: 54255
13.62/13.74 c #Conflicts: 28000 | #Constraints: 55255
13.62/13.74 c #Conflicts: 29000 | #Constraints: 56255
13.62/13.74 c #Conflicts: 30000 | #Constraints: 57255
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 31000 | #Constraints: 52485
13.62/13.74 c #Conflicts: 32000 | #Constraints: 53485
13.62/13.74 c #Conflicts: 33000 | #Constraints: 54485
13.62/13.74 c #Conflicts: 34000 | #Constraints: 55485
13.62/13.74 c #Conflicts: 35000 | #Constraints: 56485
13.62/13.74 c #Conflicts: 36000 | #Constraints: 57485
13.62/13.74 c #Conflicts: 37000 | #Constraints: 58485
13.62/13.74 c #Conflicts: 38000 | #Constraints: 59485
13.62/13.74 c #Conflicts: 39000 | #Constraints: 60485
13.62/13.74 c #Conflicts: 40000 | #Constraints: 61485
13.62/13.74 c #Conflicts: 41000 | #Constraints: 62485
13.62/13.74 c #Conflicts: 42000 | #Constraints: 63485
13.62/13.74 c #Conflicts: 43000 | #Constraints: 64485
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 44000 | #Constraints: 56431
13.62/13.74 c #Conflicts: 45000 | #Constraints: 57431
13.62/13.74 c #Conflicts: 46000 | #Constraints: 58431
13.62/13.74 c #Conflicts: 47000 | #Constraints: 59431
13.62/13.74 c #Conflicts: 48000 | #Constraints: 60431
13.62/13.74 c #Conflicts: 49000 | #Constraints: 61431
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 50000 | #Constraints: 54721
13.62/13.74 c #Conflicts: 51000 | #Constraints: 55721
13.62/13.74 c #Conflicts: 52000 | #Constraints: 56721
13.62/13.74 c #Conflicts: 53000 | #Constraints: 57721
13.62/13.74 c #Conflicts: 54000 | #Constraints: 58721
13.62/13.74 c #Conflicts: 55000 | #Constraints: 59721
13.62/13.74 c #Conflicts: 56000 | #Constraints: 60721
13.62/13.74 c #Conflicts: 57000 | #Constraints: 61721
13.62/13.74 c #Conflicts: 58000 | #Constraints: 62721
13.62/13.74 c #Conflicts: 59000 | #Constraints: 63721
13.62/13.74 c #Conflicts: 60000 | #Constraints: 64721
13.62/13.74 c #Conflicts: 61000 | #Constraints: 65721
13.62/13.74 c #Conflicts: 62000 | #Constraints: 66721
13.62/13.74 c #Conflicts: 63000 | #Constraints: 67721
13.62/13.74 c #Conflicts: 64000 | #Constraints: 68721
13.62/13.74 c #Conflicts: 65000 | #Constraints: 69721
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c #Conflicts: 66000 | #Constraints: 59137
13.62/13.74 c #Conflicts: 67000 | #Constraints: 60137
13.62/13.74 c #Conflicts: 68000 | #Constraints: 61137
13.62/13.74 c #Conflicts: 69000 | #Constraints: 62137
13.62/13.74 c #Conflicts: 70000 | #Constraints: 63137
13.62/13.74 c #Conflicts: 71000 | #Constraints: 64137
13.62/13.74 c #Conflicts: 72000 | #Constraints: 65137
13.62/13.74 c INPROCESSING
13.62/13.74 c GARBAGE COLLECT
13.62/13.74 c rational objective 65
20.50/20.63 c #Conflicts: 73000 | #Constraints: 56537
20.50/20.63 c #Conflicts: 74000 | #Constraints: 57537
20.50/20.63 c #Conflicts: 75000 | #Constraints: 58537
20.50/20.63 c #Conflicts: 76000 | #Constraints: 59537
20.50/20.63 c #Conflicts: 77000 | #Constraints: 60537
20.50/20.63 c #Conflicts: 78000 | #Constraints: 61537
20.50/20.63 c #Conflicts: 79000 | #Constraints: 62537
20.50/20.63 c #Conflicts: 80000 | #Constraints: 63537
20.50/20.63 c #Conflicts: 81000 | #Constraints: 64537
20.50/20.63 c #Conflicts: 82000 | #Constraints: 65537
20.50/20.63 c #Conflicts: 83000 | #Constraints: 66537
20.50/20.63 c #Conflicts: 84000 | #Constraints: 67537
20.50/20.63 c #Conflicts: 85000 | #Constraints: 68537
20.50/20.63 c #Conflicts: 86000 | #Constraints: 69537
20.50/20.63 c #Conflicts: 87000 | #Constraints: 70537
20.50/20.63 c #Conflicts: 88000 | #Constraints: 71537
20.50/20.63 c #Conflicts: 89000 | #Constraints: 72537
20.50/20.63 c #Conflicts: 90000 | #Constraints: 73537
20.50/20.63 c #Conflicts: 91000 | #Constraints: 74537
20.50/20.63 c INPROCESSING
20.50/20.63 c GARBAGE COLLECT
20.50/20.63 c #Conflicts: 92000 | #Constraints: 61460
20.50/20.63 c #Conflicts: 93000 | #Constraints: 62460
20.50/20.63 c #Conflicts: 94000 | #Constraints: 63460
20.50/20.63 c #Conflicts: 95000 | #Constraints: 64460
20.50/20.63 c #Conflicts: 96000 | #Constraints: 65460
20.50/20.63 c #Conflicts: 97000 | #Constraints: 66460
20.50/20.63 c #Conflicts: 98000 | #Constraints: 67460
20.50/20.63 c #Conflicts: 99000 | #Constraints: 68460
20.50/20.63 c #Conflicts: 100000 | #Constraints: 69460
20.50/20.63 c INPROCESSING
20.50/20.63 c GARBAGE COLLECT
20.50/20.63 c #Conflicts: 101000 | #Constraints: 58968
20.50/20.63 c #Conflicts: 102000 | #Constraints: 59968
20.50/20.63 c #Conflicts: 103000 | #Constraints: 60968
20.50/20.63 c #Conflicts: 104000 | #Constraints: 61968
20.50/20.63 c #Conflicts: 105000 | #Constraints: 62968
20.50/20.63 c #Conflicts: 106000 | #Constraints: 63968
20.50/20.63 c #Conflicts: 107000 | #Constraints: 64968
20.50/20.63 c #Conflicts: 108000 | #Constraints: 65968
20.50/20.63 c #Conflicts: 109000 | #Constraints: 66968
20.50/20.63 c #Conflicts: 110000 | #Constraints: 67968
20.50/20.63 c #Conflicts: 111000 | #Constraints: 68968
20.50/20.63 c #Conflicts: 112000 | #Constraints: 69968
20.50/20.63 c #Conflicts: 113000 | #Constraints: 70968
20.50/20.63 c #Conflicts: 114000 | #Constraints: 71968
20.50/20.63 c #Conflicts: 115000 | #Constraints: 72968
20.50/20.63 c #Conflicts: 116000 | #Constraints: 73968
20.50/20.63 c #Conflicts: 117000 | #Constraints: 74968
20.50/20.63 c #Conflicts: 118000 | #Constraints: 75968
20.50/20.63 c #Conflicts: 119000 | #Constraints: 76968
20.50/20.63 c #Conflicts: 120000 | #Constraints: 77968
20.50/20.63 c #Conflicts: 121000 | #Constraints: 78968
20.50/20.63 c INPROCESSING
20.50/20.63 c GARBAGE COLLECT
20.50/20.63 c rational objective 65
25.59/25.79 c #Conflicts: 122000 | #Constraints: 63360
25.59/25.79 c #Conflicts: 123000 | #Constraints: 64360
25.59/25.79 c #Conflicts: 124000 | #Constraints: 65360
25.59/25.79 c #Conflicts: 125000 | #Constraints: 66360
25.59/25.79 c #Conflicts: 126000 | #Constraints: 67360
25.59/25.79 c #Conflicts: 127000 | #Constraints: 68360
25.59/25.79 c #Conflicts: 128000 | #Constraints: 69360
25.59/25.79 c #Conflicts: 129000 | #Constraints: 70360
25.59/25.79 c #Conflicts: 130000 | #Constraints: 71360
25.59/25.79 c #Conflicts: 131000 | #Constraints: 72360
25.59/25.79 c #Conflicts: 132000 | #Constraints: 73360
25.59/25.79 c INPROCESSING
25.59/25.79 c GARBAGE COLLECT
25.59/25.79 c #Conflicts: 133000 | #Constraints: 60954
25.59/25.79 c #Conflicts: 134000 | #Constraints: 61954
25.59/25.79 c #Conflicts: 135000 | #Constraints: 62954
25.59/25.79 c #Conflicts: 136000 | #Constraints: 63954
25.59/25.79 c #Conflicts: 137000 | #Constraints: 64954
25.59/25.79 c #Conflicts: 138000 | #Constraints: 65954
25.59/25.79 c #Conflicts: 139000 | #Constraints: 66954
25.59/25.79 c #Conflicts: 140000 | #Constraints: 67954
25.59/25.79 c #Conflicts: 141000 | #Constraints: 68954
25.59/25.79 c #Conflicts: 142000 | #Constraints: 69954
25.59/25.79 c #Conflicts: 143000 | #Constraints: 70954
25.59/25.79 c #Conflicts: 144000 | #Constraints: 71954
25.59/25.79 c #Conflicts: 145000 | #Constraints: 72954
25.59/25.79 c #Conflicts: 146000 | #Constraints: 73954
25.59/25.79 c #Conflicts: 147000 | #Constraints: 74954
25.59/25.79 c #Conflicts: 148000 | #Constraints: 75954
25.59/25.79 c #Conflicts: 149000 | #Constraints: 76954
25.59/25.79 c #Conflicts: 150000 | #Constraints: 77954
25.59/25.79 c #Conflicts: 151000 | #Constraints: 78954
25.59/25.79 c #Conflicts: 152000 | #Constraints: 79954
25.59/25.79 c #Conflicts: 153000 | #Constraints: 80954
25.59/25.79 c #Conflicts: 154000 | #Constraints: 81954
25.59/25.79 c #Conflicts: 155000 | #Constraints: 82954
25.59/25.79 c #Conflicts: 156000 | #Constraints: 83954
25.59/25.79 c INPROCESSING
25.59/25.79 c GARBAGE COLLECT
25.59/25.79 c rational objective 66
31.28/31.49 c #Conflicts: 157000 | #Constraints: 65883
31.28/31.49 c #Conflicts: 158000 | #Constraints: 66883
31.28/31.49 c #Conflicts: 159000 | #Constraints: 67883
31.28/31.49 c #Conflicts: 160000 | #Constraints: 68883
31.28/31.49 c #Conflicts: 161000 | #Constraints: 69883
31.28/31.49 c #Conflicts: 162000 | #Constraints: 70883
31.28/31.49 c #Conflicts: 163000 | #Constraints: 71883
31.28/31.49 c #Conflicts: 164000 | #Constraints: 72883
31.28/31.49 c #Conflicts: 165000 | #Constraints: 73883
31.28/31.49 c #Conflicts: 166000 | #Constraints: 74883
31.28/31.49 c #Conflicts: 167000 | #Constraints: 75883
31.28/31.49 c #Conflicts: 168000 | #Constraints: 76883
31.28/31.49 c INPROCESSING
31.28/31.49 c GARBAGE COLLECT
31.28/31.49 c #Conflicts: 169000 | #Constraints: 62644
31.28/31.49 c #Conflicts: 170000 | #Constraints: 63644
31.28/31.49 c #Conflicts: 171000 | #Constraints: 64644
31.28/31.49 c #Conflicts: 172000 | #Constraints: 65644
31.28/31.49 c #Conflicts: 173000 | #Constraints: 66644
31.28/31.49 c #Conflicts: 174000 | #Constraints: 67644
31.28/31.49 c #Conflicts: 175000 | #Constraints: 68644
31.28/31.49 c #Conflicts: 176000 | #Constraints: 69644
31.28/31.49 c #Conflicts: 177000 | #Constraints: 70644
31.28/31.49 c #Conflicts: 178000 | #Constraints: 71644
31.28/31.49 c #Conflicts: 179000 | #Constraints: 72644
31.28/31.49 c #Conflicts: 180000 | #Constraints: 73644
31.28/31.49 c #Conflicts: 181000 | #Constraints: 74644
31.28/31.49 c #Conflicts: 182000 | #Constraints: 75644
31.28/31.49 c #Conflicts: 183000 | #Constraints: 76644
31.28/31.49 c #Conflicts: 184000 | #Constraints: 77644
31.28/31.49 c #Conflicts: 185000 | #Constraints: 78644
31.28/31.49 c #Conflicts: 186000 | #Constraints: 79644
31.28/31.49 c #Conflicts: 187000 | #Constraints: 80644
31.28/31.49 c #Conflicts: 188000 | #Constraints: 81644
31.28/31.49 c #Conflicts: 189000 | #Constraints: 82644
31.28/31.49 c #Conflicts: 190000 | #Constraints: 83644
31.28/31.49 c #Conflicts: 191000 | #Constraints: 84644
31.28/31.49 c #Conflicts: 192000 | #Constraints: 85644
31.28/31.49 c #Conflicts: 193000 | #Constraints: 86644
31.28/31.49 c #Conflicts: 194000 | #Constraints: 87644
31.28/31.49 c #Conflicts: 195000 | #Constraints: 88644
31.28/31.49 c #Conflicts: 196000 | #Constraints: 89644
31.28/31.49 c INPROCESSING
31.28/31.49 c GARBAGE COLLECT
31.28/31.49 c rational objective 66
34.67/34.81 c #Conflicts: 197000 | #Constraints: 69073
34.67/34.81 c #Conflicts: 198000 | #Constraints: 70073
34.67/34.81 c #Conflicts: 199000 | #Constraints: 71073
34.67/34.81 c #Conflicts: 200000 | #Constraints: 72073
34.67/34.81 c #Conflicts: 201000 | #Constraints: 73073
34.67/34.81 c #Conflicts: 202000 | #Constraints: 74073
34.67/34.81 c #Conflicts: 203000 | #Constraints: 75073
34.67/34.81 c #Conflicts: 204000 | #Constraints: 76073
34.67/34.81 c #Conflicts: 205000 | #Constraints: 77073
34.67/34.81 c #Conflicts: 206000 | #Constraints: 78073
34.67/34.81 c #Conflicts: 207000 | #Constraints: 79073
34.67/34.81 c #Conflicts: 208000 | #Constraints: 80073
34.67/34.81 c #Conflicts: 209000 | #Constraints: 81073
34.67/34.81 c INPROCESSING
34.67/34.81 c GARBAGE COLLECT
34.67/34.81 c rational objective 66
43.34/43.58 c #Conflicts: 210000 | #Constraints: 64903
43.34/43.58 c #Conflicts: 211000 | #Constraints: 65903
43.34/43.58 c #Conflicts: 212000 | #Constraints: 66903
43.34/43.58 c #Conflicts: 213000 | #Constraints: 67903
43.34/43.58 c #Conflicts: 214000 | #Constraints: 68903
43.34/43.58 c #Conflicts: 215000 | #Constraints: 69903
43.34/43.58 c #Conflicts: 216000 | #Constraints: 70903
43.34/43.58 c #Conflicts: 217000 | #Constraints: 71903
43.34/43.58 c #Conflicts: 218000 | #Constraints: 72903
43.34/43.58 c #Conflicts: 219000 | #Constraints: 73903
43.34/43.58 c #Conflicts: 220000 | #Constraints: 74903
43.34/43.58 c #Conflicts: 221000 | #Constraints: 75903
43.34/43.58 c #Conflicts: 222000 | #Constraints: 76903
43.34/43.58 c #Conflicts: 223000 | #Constraints: 77903
43.34/43.58 c #Conflicts: 224000 | #Constraints: 78903
43.34/43.58 c #Conflicts: 225000 | #Constraints: 79903
43.34/43.58 c #Conflicts: 226000 | #Constraints: 80903
43.34/43.58 c #Conflicts: 227000 | #Constraints: 81903
43.34/43.58 c #Conflicts: 228000 | #Constraints: 82903
43.34/43.58 c #Conflicts: 229000 | #Constraints: 83903
43.34/43.58 c #Conflicts: 230000 | #Constraints: 84903
43.34/43.58 c #Conflicts: 231000 | #Constraints: 85903
43.34/43.58 c #Conflicts: 232000 | #Constraints: 86903
43.34/43.58 c #Conflicts: 233000 | #Constraints: 87903
43.34/43.58 c #Conflicts: 234000 | #Constraints: 88903
43.34/43.58 c #Conflicts: 235000 | #Constraints: 89903
43.34/43.58 c #Conflicts: 236000 | #Constraints: 90903
43.34/43.58 c #Conflicts: 237000 | #Constraints: 91903
43.34/43.58 c #Conflicts: 238000 | #Constraints: 92903
43.34/43.58 c #Conflicts: 239000 | #Constraints: 93903
43.34/43.58 c #Conflicts: 240000 | #Constraints: 94903
43.34/43.58 c INPROCESSING
43.34/43.58 c GARBAGE COLLECT
43.34/43.58 c #Conflicts: 241000 | #Constraints: 71769
43.34/43.58 c #Conflicts: 242000 | #Constraints: 72769
43.34/43.58 c #Conflicts: 243000 | #Constraints: 73769
43.34/43.58 c #Conflicts: 244000 | #Constraints: 74769
43.34/43.58 c #Conflicts: 245000 | #Constraints: 75769
43.34/43.58 c #Conflicts: 246000 | #Constraints: 76769
43.34/43.58 c #Conflicts: 247000 | #Constraints: 77769
43.34/43.58 c #Conflicts: 248000 | #Constraints: 78769
43.34/43.58 c #Conflicts: 249000 | #Constraints: 79769
43.34/43.58 c #Conflicts: 250000 | #Constraints: 80769
43.34/43.58 c #Conflicts: 251000 | #Constraints: 81769
43.34/43.58 c #Conflicts: 252000 | #Constraints: 82769
43.34/43.58 c #Conflicts: 253000 | #Constraints: 83769
43.34/43.58 c #Conflicts: 254000 | #Constraints: 84769
43.34/43.58 c INPROCESSING
43.34/43.58 c GARBAGE COLLECT
43.34/43.58 c #Conflicts: 255000 | #Constraints: 66648
43.34/43.58 c #Conflicts: 256000 | #Constraints: 67648
43.34/43.58 c #Conflicts: 257000 | #Constraints: 68648
43.34/43.58 c #Conflicts: 258000 | #Constraints: 69648
43.34/43.58 c #Conflicts: 259000 | #Constraints: 70648
43.34/43.58 c #Conflicts: 260000 | #Constraints: 71648
43.34/43.58 c #Conflicts: 261000 | #Constraints: 72648
43.34/43.58 c #Conflicts: 262000 | #Constraints: 73648
43.34/43.58 c #Conflicts: 263000 | #Constraints: 74648
43.34/43.58 c #Conflicts: 264000 | #Constraints: 75648
43.34/43.58 c #Conflicts: 265000 | #Constraints: 76648
43.34/43.58 WSVECS04 Frhs2[157]: 6 -54.2 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[357]: 6 -16.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[360]: 6 -17.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[362]: 6 -16 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[457]: 6 0 1.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[459]: 6 0 1.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[462]: 6 0 1.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[480]: 6 -1.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[526]: 6 -1.00008 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[529]: 6 -1.00001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[546]: 6 0 2.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[547]: 6 0 2.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[548]: 6 0 2.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[549]: 6 0 2.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[568]: 6 -1.00003 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[589]: 6 -2.00001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[591]: 6 0 1.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[592]: 6 0 1.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[593]: 6 0 1.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[594]: 6 0 1.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[610]: 6 -1.00009 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[613]: 6 -1.00005 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[877]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[878]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[879]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[880]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[881]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[882]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[883]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[884]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[885]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[886]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[887]: 6 0 5.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[888]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[889]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[890]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[891]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[892]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1012]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1013]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1014]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1015]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1016]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1017]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1018]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1019]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1020]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1021]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1022]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1023]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1024]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1025]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1026]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1027]: 6 0 5.00001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1057]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1058]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1059]: 6 0 5.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1060]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1061]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1062]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1063]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1064]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1065]: 6 0 5.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1066]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1067]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1068]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1069]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1070]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1072]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1102]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1103]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1104]: 6 0 5.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1105]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1106]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1107]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1108]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1109]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1110]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1111]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1112]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1113]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1114]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1115]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1116]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1117]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1212]: 6 0 1.57148 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1219]: 6 -1.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1222]: 6 -1.00002 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1223]: 6 -1.00003 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1224]: 6 -1.00002 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1225]: 6 -1.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1226]: 6 -1.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1227]: 6 -1.0001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1232]: 6 -3.57148 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1233]: 6 -1.00004 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1236]: 6 -2.50006 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1240]: 6 -1.00005 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1241]: 6 -1.00007 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1244]: 6 -1.00007 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1246]: 6 -1.00003 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1247]: 6 -1.00008 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1248]: 6 -1.00002 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1344]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1345]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1346]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1347]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1348]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1349]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1350]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1351]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1352]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1353]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1355]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1356]: 6 0 5.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1357]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1358]: 6 0 5.00001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1359]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1525]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1526]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1527]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1528]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1529]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1530]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1531]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1532]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1533]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1534]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1535]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1536]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1537]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1538]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1539]: 6 0 5.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1612]: 6 -1.57149 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1614]: 6 0 3.00003 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1615]: 6 0 3.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1616]: 6 0 3.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1617]: 6 0 3.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1618]: 6 0 3.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1619]: 6 0 3.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1620]: 6 0 3.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1621]: 6 0 3.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1622]: 6 0 3.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1623]: 6 0 3.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1624]: 6 0 3.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1625]: 6 0 3.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1627]: 6 0 3.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1628]: 6 0 3.00002 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1629]: 6 0 3.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1637]: 6 -1.00006 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1642]: 6 -1.00007 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1652]: 6 -1.00006 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1659]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1660]: 6 0 5.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1661]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1662]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1663]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1664]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1665]: 6 0 5.00006 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1666]: 6 0 5.00007 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1667]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1668]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1669]: 6 0 5.00009 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1671]: 6 0 5.0001 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1672]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1673]: 6 0 5.00004 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1674]: 6 0 5.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1702]: 6 0 1.00008 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1703]: 6 0 1.00005 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1730]: 6 -1.00009 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1731]: 6 -1.00001 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1733]: 6 -1.00005 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1734]: 6 -1.00007 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1739]: 6 -1.00005 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1743]: 6 -1.00008 0 shouldn't be
43.34/43.58 WSVECS04 Frhs2[1746]: 6 -5.07148 0 shouldn't be
58.50/58.77 c #Conflicts: 266000 | #Constraints: 77648
58.50/58.77 c #Conflicts: 267000 | #Constraints: 78648
58.50/58.77 c #Conflicts: 268000 | #Constraints: 79648
58.50/58.77 c #Conflicts: 269000 | #Constraints: 80648
58.50/58.77 c #Conflicts: 270000 | #Constraints: 81648
58.50/58.77 c #Conflicts: 271000 | #Constraints: 82648
58.50/58.77 c #Conflicts: 272000 | #Constraints: 83648
58.50/58.77 c #Conflicts: 273000 | #Constraints: 84648
58.50/58.77 c #Conflicts: 274000 | #Constraints: 85648
58.50/58.77 c #Conflicts: 275000 | #Constraints: 86648
58.50/58.77 c #Conflicts: 276000 | #Constraints: 87648
58.50/58.77 c #Conflicts: 277000 | #Constraints: 88648
58.50/58.77 c #Conflicts: 278000 | #Constraints: 89648
58.50/58.77 c #Conflicts: 279000 | #Constraints: 90648
58.50/58.77 c #Conflicts: 280000 | #Constraints: 91648
58.50/58.77 c #Conflicts: 281000 | #Constraints: 92648
58.50/58.77 c #Conflicts: 282000 | #Constraints: 93648
58.50/58.77 c #Conflicts: 283000 | #Constraints: 94648
58.50/58.77 c #Conflicts: 284000 | #Constraints: 95648
58.50/58.77 c #Conflicts: 285000 | #Constraints: 96648
58.50/58.77 c #Conflicts: 286000 | #Constraints: 97648
58.50/58.77 c #Conflicts: 287000 | #Constraints: 98648
58.50/58.77 c #Conflicts: 288000 | #Constraints: 99648
58.50/58.77 c INPROCESSING
58.50/58.77 c GARBAGE COLLECT
58.50/58.77 c #Conflicts: 289000 | #Constraints: 74039
58.50/58.77 c #Conflicts: 290000 | #Constraints: 75039
58.50/58.77 c #Conflicts: 291000 | #Constraints: 76039
58.50/58.77 c #Conflicts: 292000 | #Constraints: 77039
58.50/58.77 c #Conflicts: 293000 | #Constraints: 78039
58.50/58.77 c #Conflicts: 294000 | #Constraints: 79039
58.50/58.77 c #Conflicts: 295000 | #Constraints: 80039
58.50/58.77 c #Conflicts: 296000 | #Constraints: 81039
58.50/58.77 c #Conflicts: 297000 | #Constraints: 82039
58.50/58.77 c #Conflicts: 298000 | #Constraints: 83039
58.50/58.77 c #Conflicts: 299000 | #Constraints: 84039
58.50/58.77 c #Conflicts: 300000 | #Constraints: 85039
58.50/58.77 c #Conflicts: 301000 | #Constraints: 86039
58.50/58.77 c #Conflicts: 302000 | #Constraints: 87039
58.50/58.77 c #Conflicts: 303000 | #Constraints: 88039
58.50/58.77 c INPROCESSING
58.50/58.77 c GARBAGE COLLECT
58.50/58.77 c #Conflicts: 304000 | #Constraints: 68071
58.50/58.77 c #Conflicts: 305000 | #Constraints: 69071
58.50/58.77 c #Conflicts: 306000 | #Constraints: 70071
58.50/58.77 c #Conflicts: 307000 | #Constraints: 71071
58.50/58.77 c #Conflicts: 308000 | #Constraints: 72071
58.50/58.77 c #Conflicts: 309000 | #Constraints: 73071
58.50/58.77 c #Conflicts: 310000 | #Constraints: 74071
58.50/58.77 c #Conflicts: 311000 | #Constraints: 75071
58.50/58.77 c #Conflicts: 312000 | #Constraints: 76071
58.50/58.77 c #Conflicts: 313000 | #Constraints: 77071
58.50/58.77 c #Conflicts: 314000 | #Constraints: 78071
58.50/58.77 c #Conflicts: 315000 | #Constraints: 79071
58.50/58.77 c #Conflicts: 316000 | #Constraints: 80071
58.50/58.77 c #Conflicts: 317000 | #Constraints: 81071
58.50/58.77 c #Conflicts: 318000 | #Constraints: 82071
58.50/58.77 c #Conflicts: 319000 | #Constraints: 83071
58.50/58.77 c #Conflicts: 320000 | #Constraints: 84071
58.50/58.77 c #Conflicts: 321000 | #Constraints: 85071
58.50/58.77 c #Conflicts: 322000 | #Constraints: 86071
58.50/58.77 c #Conflicts: 323000 | #Constraints: 87071
58.50/58.77 c #Conflicts: 324000 | #Constraints: 88071
58.50/58.77 c #Conflicts: 325000 | #Constraints: 89071
58.50/58.77 c #Conflicts: 326000 | #Constraints: 90071
58.50/58.77 c #Conflicts: 327000 | #Constraints: 91071
58.50/58.77 c #Conflicts: 328000 | #Constraints: 92071
58.50/58.77 c #Conflicts: 329000 | #Constraints: 93071
58.50/58.77 c #Conflicts: 330000 | #Constraints: 94071
58.50/58.77 c #Conflicts: 331000 | #Constraints: 95071
58.50/58.77 c #Conflicts: 332000 | #Constraints: 96071
58.50/58.77 c #Conflicts: 333000 | #Constraints: 97071
58.50/58.77 c #Conflicts: 334000 | #Constraints: 98071
58.50/58.77 c #Conflicts: 335000 | #Constraints: 99071
58.50/58.77 c #Conflicts: 336000 | #Constraints: 100071
58.50/58.77 c #Conflicts: 337000 | #Constraints: 101071
58.50/58.77 c #Conflicts: 338000 | #Constraints: 102071
58.50/58.77 c #Conflicts: 339000 | #Constraints: 103071
58.50/58.77 c #Conflicts: 340000 | #Constraints: 104071
58.50/58.77 c INPROCESSING
58.50/58.77 c GARBAGE COLLECT
58.50/58.77 c rational objective 66
66.67/66.95 c #Conflicts: 341000 | #Constraints: 75975
66.67/66.95 c #Conflicts: 342000 | #Constraints: 76975
66.67/66.95 c #Conflicts: 343000 | #Constraints: 77975
66.67/66.95 c #Conflicts: 344000 | #Constraints: 78975
66.67/66.95 c #Conflicts: 345000 | #Constraints: 79975
66.67/66.95 c #Conflicts: 346000 | #Constraints: 80975
66.67/66.95 c #Conflicts: 347000 | #Constraints: 81975
66.67/66.95 c #Conflicts: 348000 | #Constraints: 82975
66.67/66.95 c #Conflicts: 349000 | #Constraints: 83975
66.67/66.95 c #Conflicts: 350000 | #Constraints: 84975
66.67/66.95 c #Conflicts: 351000 | #Constraints: 85975
66.67/66.95 c #Conflicts: 352000 | #Constraints: 86975
66.67/66.95 c #Conflicts: 353000 | #Constraints: 87975
66.67/66.95 c #Conflicts: 354000 | #Constraints: 88975
66.67/66.95 c #Conflicts: 355000 | #Constraints: 89975
66.67/66.95 c #Conflicts: 356000 | #Constraints: 90975
66.67/66.95 c #Conflicts: 357000 | #Constraints: 91975
66.67/66.95 c INPROCESSING
66.67/66.95 c GARBAGE COLLECT
66.67/66.95 c #Conflicts: 358000 | #Constraints: 70102
66.67/66.95 c #Conflicts: 359000 | #Constraints: 71102
66.67/66.95 c #Conflicts: 360000 | #Constraints: 72102
66.67/66.95 c #Conflicts: 361000 | #Constraints: 73102
66.67/66.95 c #Conflicts: 362000 | #Constraints: 74102
66.67/66.95 c #Conflicts: 363000 | #Constraints: 75102
66.67/66.95 c #Conflicts: 364000 | #Constraints: 76102
66.67/66.95 c #Conflicts: 365000 | #Constraints: 77102
66.67/66.95 c #Conflicts: 366000 | #Constraints: 78102
66.67/66.95 c #Conflicts: 367000 | #Constraints: 79102
66.67/66.95 c #Conflicts: 368000 | #Constraints: 80102
66.67/66.95 c #Conflicts: 369000 | #Constraints: 81102
66.67/66.95 c #Conflicts: 370000 | #Constraints: 82102
66.67/66.95 c #Conflicts: 371000 | #Constraints: 83102
66.67/66.95 c #Conflicts: 372000 | #Constraints: 84102
66.67/66.95 c #Conflicts: 373000 | #Constraints: 85102
66.67/66.95 c #Conflicts: 374000 | #Constraints: 86102
66.67/66.95 c #Conflicts: 375000 | #Constraints: 87102
66.67/66.95 c #Conflicts: 376000 | #Constraints: 88102
66.67/66.95 c #Conflicts: 377000 | #Constraints: 89102
66.67/66.95 c #Conflicts: 378000 | #Constraints: 90102
66.67/66.95 c #Conflicts: 379000 | #Constraints: 91102
66.67/66.95 c #Conflicts: 380000 | #Constraints: 92102
66.67/66.95 c #Conflicts: 381000 | #Constraints: 93102
66.67/66.95 c #Conflicts: 382000 | #Constraints: 94102
66.67/66.95 c #Conflicts: 383000 | #Constraints: 95102
66.67/66.95 c #Conflicts: 384000 | #Constraints: 96102
66.67/66.95 c #Conflicts: 385000 | #Constraints: 97102
66.67/66.95 c #Conflicts: 386000 | #Constraints: 98102
66.67/66.95 c #Conflicts: 387000 | #Constraints: 99102
66.67/66.95 c #Conflicts: 388000 | #Constraints: 100102
66.67/66.95 c #Conflicts: 389000 | #Constraints: 101102
66.67/66.95 c #Conflicts: 390000 | #Constraints: 102102
66.67/66.95 c #Conflicts: 391000 | #Constraints: 103102
66.67/66.95 c #Conflicts: 392000 | #Constraints: 104102
66.67/66.95 c #Conflicts: 393000 | #Constraints: 105102
66.67/66.95 c #Conflicts: 394000 | #Constraints: 106102
66.67/66.95 c #Conflicts: 395000 | #Constraints: 107102
66.67/66.95 c #Conflicts: 396000 | #Constraints: 108102
66.67/66.95 c #Conflicts: 397000 | #Constraints: 109102
66.67/66.95 c INPROCESSING
66.67/66.95 c GARBAGE COLLECT
66.67/66.95 c rational objective 66
69.88/70.15 c #Conflicts: 398000 | #Constraints: 78536
69.88/70.15 c #Conflicts: 399000 | #Constraints: 79536
69.88/70.15 c #Conflicts: 400000 | #Constraints: 80536
69.88/70.15 c #Conflicts: 401000 | #Constraints: 81536
69.88/70.15 c #Conflicts: 402000 | #Constraints: 82536
69.88/70.15 c #Conflicts: 403000 | #Constraints: 83536
69.88/70.15 c #Conflicts: 404000 | #Constraints: 84536
69.88/70.15 c #Conflicts: 405000 | #Constraints: 85536
69.88/70.15 c #Conflicts: 406000 | #Constraints: 86536
69.88/70.15 c #Conflicts: 407000 | #Constraints: 87536
69.88/70.15 c #Conflicts: 408000 | #Constraints: 88536
69.88/70.15 c #Conflicts: 409000 | #Constraints: 89536
69.88/70.15 c #Conflicts: 410000 | #Constraints: 90536
69.88/70.15 c #Conflicts: 411000 | #Constraints: 91536
69.88/70.15 c #Conflicts: 412000 | #Constraints: 92536
69.88/70.15 c #Conflicts: 413000 | #Constraints: 93536
69.88/70.15 c #Conflicts: 414000 | #Constraints: 94536
69.88/70.15 c #Conflicts: 415000 | #Constraints: 95536
69.88/70.15 c INPROCESSING
69.88/70.15 c GARBAGE COLLECT
69.88/70.15 c rational objective 66.0063
78.64/78.91 c #Conflicts: 416000 | #Constraints: 71768
78.64/78.91 c #Conflicts: 417000 | #Constraints: 72768
78.64/78.91 c #Conflicts: 418000 | #Constraints: 73768
78.64/78.91 c #Conflicts: 419000 | #Constraints: 74768
78.64/78.91 c #Conflicts: 420000 | #Constraints: 75768
78.64/78.91 c #Conflicts: 421000 | #Constraints: 76768
78.64/78.91 c #Conflicts: 422000 | #Constraints: 77768
78.64/78.91 c #Conflicts: 423000 | #Constraints: 78768
78.64/78.91 c #Conflicts: 424000 | #Constraints: 79768
78.64/78.91 c #Conflicts: 425000 | #Constraints: 80768
78.64/78.91 c #Conflicts: 426000 | #Constraints: 81768
78.64/78.91 c #Conflicts: 427000 | #Constraints: 82768
78.64/78.91 c #Conflicts: 428000 | #Constraints: 83768
78.64/78.91 c #Conflicts: 429000 | #Constraints: 84768
78.64/78.91 c #Conflicts: 430000 | #Constraints: 85768
78.64/78.91 c #Conflicts: 431000 | #Constraints: 86768
78.64/78.91 c #Conflicts: 432000 | #Constraints: 87768
78.64/78.91 c #Conflicts: 433000 | #Constraints: 88768
78.64/78.91 c #Conflicts: 434000 | #Constraints: 89768
78.64/78.91 c #Conflicts: 435000 | #Constraints: 90768
78.64/78.91 c #Conflicts: 436000 | #Constraints: 91768
78.64/78.91 c #Conflicts: 437000 | #Constraints: 92768
78.64/78.91 c #Conflicts: 438000 | #Constraints: 93768
78.64/78.91 c #Conflicts: 439000 | #Constraints: 94768
78.64/78.91 c #Conflicts: 440000 | #Constraints: 95768
78.64/78.91 c #Conflicts: 441000 | #Constraints: 96768
78.64/78.91 c #Conflicts: 442000 | #Constraints: 97768
78.64/78.91 c #Conflicts: 443000 | #Constraints: 98768
78.64/78.91 c #Conflicts: 444000 | #Constraints: 99768
78.64/78.91 c #Conflicts: 445000 | #Constraints: 100768
78.64/78.91 c #Conflicts: 446000 | #Constraints: 101768
78.64/78.91 c #Conflicts: 447000 | #Constraints: 102768
78.64/78.91 c #Conflicts: 448000 | #Constraints: 103768
78.64/78.91 c #Conflicts: 449000 | #Constraints: 104768
78.64/78.91 c #Conflicts: 450000 | #Constraints: 105768
78.64/78.91 c #Conflicts: 451000 | #Constraints: 106768
78.64/78.91 c #Conflicts: 452000 | #Constraints: 107768
78.64/78.91 c #Conflicts: 453000 | #Constraints: 108768
78.64/78.91 c #Conflicts: 454000 | #Constraints: 109768
78.64/78.91 c #Conflicts: 455000 | #Constraints: 110768
78.64/78.91 c #Conflicts: 456000 | #Constraints: 111768
78.64/78.91 c #Conflicts: 457000 | #Constraints: 112768
78.64/78.91 c #Conflicts: 458000 | #Constraints: 113768
78.64/78.91 c #Conflicts: 459000 | #Constraints: 114768
78.64/78.91 c INPROCESSING
78.64/78.91 c GARBAGE COLLECT
78.64/78.91 c rational objective 66.0085
83.03/83.33 c #Conflicts: 460000 | #Constraints: 81647
83.03/83.33 c #Conflicts: 461000 | #Constraints: 82647
83.03/83.33 c #Conflicts: 462000 | #Constraints: 83647
83.03/83.33 c #Conflicts: 463000 | #Constraints: 84647
83.03/83.33 c #Conflicts: 464000 | #Constraints: 85647
83.03/83.33 c #Conflicts: 465000 | #Constraints: 86647
83.03/83.33 c #Conflicts: 466000 | #Constraints: 87647
83.03/83.33 c #Conflicts: 467000 | #Constraints: 88647
83.03/83.33 c #Conflicts: 468000 | #Constraints: 89647
83.03/83.33 c #Conflicts: 469000 | #Constraints: 90647
83.03/83.33 c #Conflicts: 470000 | #Constraints: 91647
83.03/83.33 c #Conflicts: 471000 | #Constraints: 92647
83.03/83.33 c #Conflicts: 472000 | #Constraints: 93647
83.03/83.33 c #Conflicts: 473000 | #Constraints: 94647
83.03/83.33 c #Conflicts: 474000 | #Constraints: 95647
83.03/83.33 c #Conflicts: 475000 | #Constraints: 96647
83.03/83.33 c #Conflicts: 476000 | #Constraints: 97647
83.03/83.33 c #Conflicts: 477000 | #Constraints: 98647
83.03/83.33 c #Conflicts: 478000 | #Constraints: 99647
83.03/83.33 c INPROCESSING
83.03/83.33 c GARBAGE COLLECT
83.03/83.33 c rational objective 66.01
93.70/94.07 c #Conflicts: 479000 | #Constraints: 73969
93.70/94.07 c #Conflicts: 480000 | #Constraints: 74969
93.70/94.07 c #Conflicts: 481000 | #Constraints: 75969
93.70/94.07 c #Conflicts: 482000 | #Constraints: 76969
93.70/94.07 c #Conflicts: 483000 | #Constraints: 77969
93.70/94.07 c #Conflicts: 484000 | #Constraints: 78969
93.70/94.07 c #Conflicts: 485000 | #Constraints: 79969
93.70/94.07 c #Conflicts: 486000 | #Constraints: 80969
93.70/94.07 c #Conflicts: 487000 | #Constraints: 81969
93.70/94.07 c #Conflicts: 488000 | #Constraints: 82969
93.70/94.07 c #Conflicts: 489000 | #Constraints: 83969
93.70/94.07 c #Conflicts: 490000 | #Constraints: 84969
93.70/94.07 c #Conflicts: 491000 | #Constraints: 85969
93.70/94.07 c #Conflicts: 492000 | #Constraints: 86969
93.70/94.07 c #Conflicts: 493000 | #Constraints: 87969
93.70/94.07 c #Conflicts: 494000 | #Constraints: 88969
93.70/94.07 c #Conflicts: 495000 | #Constraints: 89969
93.70/94.07 c #Conflicts: 496000 | #Constraints: 90969
93.70/94.07 c #Conflicts: 497000 | #Constraints: 91969
93.70/94.07 c #Conflicts: 498000 | #Constraints: 92969
93.70/94.07 c #Conflicts: 499000 | #Constraints: 93969
93.70/94.07 c #Conflicts: 500000 | #Constraints: 94969
93.70/94.07 c #Conflicts: 501000 | #Constraints: 95969
93.70/94.07 c #Conflicts: 502000 | #Constraints: 96969
93.70/94.07 c #Conflicts: 503000 | #Constraints: 97969
93.70/94.07 c #Conflicts: 504000 | #Constraints: 98969
93.70/94.07 c #Conflicts: 505000 | #Constraints: 99969
93.70/94.07 c #Conflicts: 506000 | #Constraints: 100969
93.70/94.07 c #Conflicts: 507000 | #Constraints: 101969
93.70/94.07 c #Conflicts: 508000 | #Constraints: 102969
93.70/94.07 c #Conflicts: 509000 | #Constraints: 103969
93.70/94.07 c #Conflicts: 510000 | #Constraints: 104969
93.70/94.07 c #Conflicts: 511000 | #Constraints: 105969
93.70/94.07 c #Conflicts: 512000 | #Constraints: 106969
93.70/94.07 c #Conflicts: 513000 | #Constraints: 107969
93.70/94.07 c #Conflicts: 514000 | #Constraints: 108969
93.70/94.07 c #Conflicts: 515000 | #Constraints: 109969
93.70/94.07 c #Conflicts: 516000 | #Constraints: 110969
93.70/94.07 c #Conflicts: 517000 | #Constraints: 111969
93.70/94.07 c #Conflicts: 518000 | #Constraints: 112969
93.70/94.07 c #Conflicts: 519000 | #Constraints: 113969
93.70/94.07 c #Conflicts: 520000 | #Constraints: 114969
93.70/94.07 c #Conflicts: 521000 | #Constraints: 115969
93.70/94.07 c #Conflicts: 522000 | #Constraints: 116969
93.70/94.07 c #Conflicts: 523000 | #Constraints: 117969
93.70/94.07 c #Conflicts: 524000 | #Constraints: 118969
93.70/94.07 c #Conflicts: 525000 | #Constraints: 119969
93.70/94.07 c INPROCESSING
93.70/94.07 c GARBAGE COLLECT
93.70/94.07 c rational objective 66.0194
108.45/108.87 c #Conflicts: 526000 | #Constraints: 84397
108.45/108.87 c #Conflicts: 527000 | #Constraints: 85397
108.45/108.87 c #Conflicts: 528000 | #Constraints: 86397
108.45/108.87 c #Conflicts: 529000 | #Constraints: 87397
108.45/108.87 c #Conflicts: 530000 | #Constraints: 88397
108.45/108.87 c #Conflicts: 531000 | #Constraints: 89397
108.45/108.87 c #Conflicts: 532000 | #Constraints: 90397
108.45/108.87 c #Conflicts: 533000 | #Constraints: 91397
108.45/108.87 c #Conflicts: 534000 | #Constraints: 92397
108.45/108.87 c #Conflicts: 535000 | #Constraints: 93397
108.45/108.87 c #Conflicts: 536000 | #Constraints: 94397
108.45/108.87 c #Conflicts: 537000 | #Constraints: 95397
108.45/108.87 c #Conflicts: 538000 | #Constraints: 96397
108.45/108.87 c #Conflicts: 539000 | #Constraints: 97397
108.45/108.87 c #Conflicts: 540000 | #Constraints: 98397
108.45/108.87 c #Conflicts: 541000 | #Constraints: 99397
108.45/108.87 c #Conflicts: 542000 | #Constraints: 100397
108.45/108.87 c #Conflicts: 543000 | #Constraints: 101397
108.45/108.87 c #Conflicts: 544000 | #Constraints: 102397
108.45/108.87 c #Conflicts: 545000 | #Constraints: 103397
108.45/108.87 c INPROCESSING
108.45/108.87 c GARBAGE COLLECT
108.45/108.87 c #Conflicts: 546000 | #Constraints: 75718
108.45/108.87 c #Conflicts: 547000 | #Constraints: 76718
108.45/108.87 c #Conflicts: 548000 | #Constraints: 77718
108.45/108.87 c #Conflicts: 549000 | #Constraints: 78718
108.45/108.87 c #Conflicts: 550000 | #Constraints: 79718
108.45/108.87 c #Conflicts: 551000 | #Constraints: 80718
108.45/108.87 c #Conflicts: 552000 | #Constraints: 81718
108.45/108.87 c #Conflicts: 553000 | #Constraints: 82718
108.45/108.87 c #Conflicts: 554000 | #Constraints: 83718
108.45/108.87 c #Conflicts: 555000 | #Constraints: 84718
108.45/108.87 c #Conflicts: 556000 | #Constraints: 85718
108.45/108.87 c #Conflicts: 557000 | #Constraints: 86718
108.45/108.87 c #Conflicts: 558000 | #Constraints: 87718
108.45/108.87 c #Conflicts: 559000 | #Constraints: 88718
108.45/108.87 c #Conflicts: 560000 | #Constraints: 89718
108.45/108.87 c #Conflicts: 561000 | #Constraints: 90718
108.45/108.87 c #Conflicts: 562000 | #Constraints: 91718
108.45/108.87 c #Conflicts: 563000 | #Constraints: 92718
108.45/108.87 c #Conflicts: 564000 | #Constraints: 93718
108.45/108.87 c #Conflicts: 565000 | #Constraints: 94718
108.45/108.87 c #Conflicts: 566000 | #Constraints: 95718
108.45/108.87 c #Conflicts: 567000 | #Constraints: 96718
108.45/108.87 c #Conflicts: 568000 | #Constraints: 97718
108.45/108.87 c #Conflicts: 569000 | #Constraints: 98718
108.45/108.87 c #Conflicts: 570000 | #Constraints: 99718
108.45/108.87 c #Conflicts: 571000 | #Constraints: 100718
108.45/108.87 c #Conflicts: 572000 | #Constraints: 101718
108.45/108.87 c #Conflicts: 573000 | #Constraints: 102718
108.45/108.87 c #Conflicts: 574000 | #Constraints: 103718
108.45/108.87 c #Conflicts: 575000 | #Constraints: 104718
108.45/108.87 c #Conflicts: 576000 | #Constraints: 105718
108.45/108.87 c #Conflicts: 577000 | #Constraints: 106718
108.45/108.87 c #Conflicts: 578000 | #Constraints: 107718
108.45/108.87 c #Conflicts: 579000 | #Constraints: 108718
108.45/108.87 c #Conflicts: 580000 | #Constraints: 109718
108.45/108.87 c #Conflicts: 581000 | #Constraints: 110718
108.45/108.87 c #Conflicts: 582000 | #Constraints: 111718
108.45/108.87 c #Conflicts: 583000 | #Constraints: 112718
108.45/108.87 c #Conflicts: 584000 | #Constraints: 113718
108.45/108.87 c #Conflicts: 585000 | #Constraints: 114718
108.45/108.87 c #Conflicts: 586000 | #Constraints: 115718
108.45/108.87 c #Conflicts: 587000 | #Constraints: 116718
108.45/108.87 c #Conflicts: 588000 | #Constraints: 117718
108.45/108.87 c #Conflicts: 589000 | #Constraints: 118718
108.45/108.87 c #Conflicts: 590000 | #Constraints: 119718
108.45/108.87 c #Conflicts: 591000 | #Constraints: 120718
108.45/108.87 c #Conflicts: 592000 | #Constraints: 121718
108.45/108.87 c #Conflicts: 593000 | #Constraints: 122718
108.45/108.87 c #Conflicts: 594000 | #Constraints: 123718
108.45/108.87 c #Conflicts: 595000 | #Constraints: 124718
108.45/108.87 c INPROCESSING
108.45/108.87 c GARBAGE COLLECT
108.45/108.87 c rational objective 66.0235
122.00/122.44 c #Conflicts: 596000 | #Constraints: 86635
122.00/122.44 c #Conflicts: 597000 | #Constraints: 87635
122.00/122.44 c #Conflicts: 598000 | #Constraints: 88635
122.00/122.44 c #Conflicts: 599000 | #Constraints: 89635
122.00/122.44 c #Conflicts: 600000 | #Constraints: 90635
122.00/122.44 c #Conflicts: 601000 | #Constraints: 91635
122.00/122.44 c #Conflicts: 602000 | #Constraints: 92635
122.00/122.44 c #Conflicts: 603000 | #Constraints: 93635
122.00/122.44 c #Conflicts: 604000 | #Constraints: 94635
122.00/122.44 c #Conflicts: 605000 | #Constraints: 95635
122.00/122.44 c #Conflicts: 606000 | #Constraints: 96635
122.00/122.44 c #Conflicts: 607000 | #Constraints: 97635
122.00/122.44 c #Conflicts: 608000 | #Constraints: 98635
122.00/122.44 c #Conflicts: 609000 | #Constraints: 99635
122.00/122.44 c #Conflicts: 610000 | #Constraints: 100635
122.00/122.44 c #Conflicts: 611000 | #Constraints: 101635
122.00/122.44 c #Conflicts: 612000 | #Constraints: 102635
122.00/122.44 c #Conflicts: 613000 | #Constraints: 103635
122.00/122.44 c #Conflicts: 614000 | #Constraints: 104635
122.00/122.44 c #Conflicts: 615000 | #Constraints: 105635
122.00/122.44 c #Conflicts: 616000 | #Constraints: 106635
122.00/122.44 c #Conflicts: 617000 | #Constraints: 107635
122.00/122.44 c INPROCESSING
122.00/122.44 c GARBAGE COLLECT
122.00/122.44 c #Conflicts: 618000 | #Constraints: 78135
122.00/122.44 c #Conflicts: 619000 | #Constraints: 79135
122.00/122.44 c #Conflicts: 620000 | #Constraints: 80135
122.00/122.44 c #Conflicts: 621000 | #Constraints: 81135
122.00/122.44 c #Conflicts: 622000 | #Constraints: 82135
122.00/122.44 c #Conflicts: 623000 | #Constraints: 83135
122.00/122.44 c #Conflicts: 624000 | #Constraints: 84135
122.00/122.44 c #Conflicts: 625000 | #Constraints: 85135
122.00/122.44 c #Conflicts: 626000 | #Constraints: 86135
122.00/122.44 c #Conflicts: 627000 | #Constraints: 87135
122.00/122.44 c #Conflicts: 628000 | #Constraints: 88135
122.00/122.44 c #Conflicts: 629000 | #Constraints: 89135
122.00/122.44 c #Conflicts: 630000 | #Constraints: 90135
122.00/122.44 c #Conflicts: 631000 | #Constraints: 91135
122.00/122.44 c #Conflicts: 632000 | #Constraints: 92135
122.00/122.44 c #Conflicts: 633000 | #Constraints: 93135
122.00/122.44 c #Conflicts: 634000 | #Constraints: 94135
122.00/122.44 c #Conflicts: 635000 | #Constraints: 95135
122.00/122.44 c #Conflicts: 636000 | #Constraints: 96135
122.00/122.44 c #Conflicts: 637000 | #Constraints: 97135
122.00/122.44 c #Conflicts: 638000 | #Constraints: 98135
122.00/122.44 c #Conflicts: 639000 | #Constraints: 99135
122.00/122.44 c #Conflicts: 640000 | #Constraints: 100135
122.00/122.44 c #Conflicts: 641000 | #Constraints: 101135
122.00/122.44 c #Conflicts: 642000 | #Constraints: 102135
122.00/122.44 c #Conflicts: 643000 | #Constraints: 103135
122.00/122.44 c #Conflicts: 644000 | #Constraints: 104135
122.00/122.44 c #Conflicts: 645000 | #Constraints: 105135
122.00/122.44 c #Conflicts: 646000 | #Constraints: 106135
122.00/122.44 c #Conflicts: 647000 | #Constraints: 107135
122.00/122.44 c #Conflicts: 648000 | #Constraints: 108135
122.00/122.44 c #Conflicts: 649000 | #Constraints: 109135
122.00/122.44 c #Conflicts: 650000 | #Constraints: 110135
122.00/122.44 c #Conflicts: 651000 | #Constraints: 111135
122.00/122.44 c #Conflicts: 652000 | #Constraints: 112135
122.00/122.44 c #Conflicts: 653000 | #Constraints: 113135
122.00/122.44 c #Conflicts: 654000 | #Constraints: 114135
122.00/122.44 c #Conflicts: 655000 | #Constraints: 115135
122.00/122.44 c #Conflicts: 656000 | #Constraints: 116135
122.00/122.44 c #Conflicts: 657000 | #Constraints: 117135
122.00/122.44 c #Conflicts: 658000 | #Constraints: 118135
122.00/122.44 c #Conflicts: 659000 | #Constraints: 119135
122.00/122.44 c #Conflicts: 660000 | #Constraints: 120135
122.00/122.44 c #Conflicts: 661000 | #Constraints: 121135
122.00/122.44 c #Conflicts: 662000 | #Constraints: 122135
122.00/122.44 c #Conflicts: 663000 | #Constraints: 123135
122.00/122.44 c #Conflicts: 664000 | #Constraints: 124135
122.00/122.44 c #Conflicts: 665000 | #Constraints: 125135
122.00/122.44 c #Conflicts: 666000 | #Constraints: 126135
122.00/122.44 c #Conflicts: 667000 | #Constraints: 127135
122.00/122.44 c #Conflicts: 668000 | #Constraints: 128135
122.00/122.44 c #Conflicts: 669000 | #Constraints: 129135
122.00/122.44 c INPROCESSING
122.00/122.44 c GARBAGE COLLECT
122.00/122.44 c rational objective 66.0411
134.45/134.92 c #Conflicts: 670000 | #Constraints: 88529
134.45/134.92 c #Conflicts: 671000 | #Constraints: 89529
134.45/134.92 c #Conflicts: 672000 | #Constraints: 90529
134.45/134.92 c #Conflicts: 673000 | #Constraints: 91529
134.45/134.92 c #Conflicts: 674000 | #Constraints: 92529
134.45/134.92 c #Conflicts: 675000 | #Constraints: 93529
134.45/134.92 c #Conflicts: 676000 | #Constraints: 94529
134.45/134.92 c #Conflicts: 677000 | #Constraints: 95529
134.45/134.92 c #Conflicts: 678000 | #Constraints: 96529
134.45/134.92 c #Conflicts: 679000 | #Constraints: 97529
134.45/134.92 c #Conflicts: 680000 | #Constraints: 98529
134.45/134.92 c #Conflicts: 681000 | #Constraints: 99529
134.45/134.92 c #Conflicts: 682000 | #Constraints: 100529
134.45/134.92 c #Conflicts: 683000 | #Constraints: 101529
134.45/134.92 c #Conflicts: 684000 | #Constraints: 102529
134.45/134.92 c #Conflicts: 685000 | #Constraints: 103529
134.45/134.92 c #Conflicts: 686000 | #Constraints: 104529
134.45/134.92 c #Conflicts: 687000 | #Constraints: 105529
134.45/134.92 c #Conflicts: 688000 | #Constraints: 106529
134.45/134.92 c #Conflicts: 689000 | #Constraints: 107529
134.45/134.92 c #Conflicts: 690000 | #Constraints: 108529
134.45/134.92 c #Conflicts: 691000 | #Constraints: 109529
134.45/134.92 c #Conflicts: 692000 | #Constraints: 110529
134.45/134.92 c #Conflicts: 693000 | #Constraints: 111529
134.45/134.92 c INPROCESSING
134.45/134.92 c GARBAGE COLLECT
134.45/134.92 c #Conflicts: 694000 | #Constraints: 80146
134.45/134.92 c #Conflicts: 695000 | #Constraints: 81146
134.45/134.92 c #Conflicts: 696000 | #Constraints: 82146
134.45/134.92 c #Conflicts: 697000 | #Constraints: 83146
134.45/134.92 c #Conflicts: 698000 | #Constraints: 84146
134.45/134.92 c #Conflicts: 699000 | #Constraints: 85146
134.45/134.92 c #Conflicts: 700000 | #Constraints: 86146
134.45/134.92 c #Conflicts: 701000 | #Constraints: 87146
134.45/134.92 c #Conflicts: 702000 | #Constraints: 88146
134.45/134.92 c #Conflicts: 703000 | #Constraints: 89146
134.45/134.92 c #Conflicts: 704000 | #Constraints: 90146
134.45/134.92 c #Conflicts: 705000 | #Constraints: 91146
134.45/134.92 c #Conflicts: 706000 | #Constraints: 92146
134.45/134.92 c #Conflicts: 707000 | #Constraints: 93146
134.45/134.92 c #Conflicts: 708000 | #Constraints: 94146
134.45/134.92 c #Conflicts: 709000 | #Constraints: 95146
134.45/134.92 c #Conflicts: 710000 | #Constraints: 96146
134.45/134.92 c #Conflicts: 711000 | #Constraints: 97146
134.45/134.92 c #Conflicts: 712000 | #Constraints: 98146
134.45/134.92 c #Conflicts: 713000 | #Constraints: 99146
134.45/134.92 c #Conflicts: 714000 | #Constraints: 100146
134.45/134.92 c #Conflicts: 715000 | #Constraints: 101146
134.45/134.92 c #Conflicts: 716000 | #Constraints: 102146
134.45/134.92 c #Conflicts: 717000 | #Constraints: 103146
134.45/134.92 c #Conflicts: 718000 | #Constraints: 104146
134.45/134.92 c #Conflicts: 719000 | #Constraints: 105146
134.45/134.92 c #Conflicts: 720000 | #Constraints: 106146
134.45/134.92 c #Conflicts: 721000 | #Constraints: 107146
134.45/134.92 c #Conflicts: 722000 | #Constraints: 108146
134.45/134.92 c #Conflicts: 723000 | #Constraints: 109146
134.45/134.92 c #Conflicts: 724000 | #Constraints: 110146
134.45/134.92 c #Conflicts: 725000 | #Constraints: 111146
134.45/134.92 c #Conflicts: 726000 | #Constraints: 112146
134.45/134.92 c #Conflicts: 727000 | #Constraints: 113146
134.45/134.92 c #Conflicts: 728000 | #Constraints: 114146
134.45/134.92 c #Conflicts: 729000 | #Constraints: 115146
134.45/134.92 c #Conflicts: 730000 | #Constraints: 116146
134.45/134.92 c #Conflicts: 731000 | #Constraints: 117146
134.45/134.92 c #Conflicts: 732000 | #Constraints: 118146
134.45/134.92 c #Conflicts: 733000 | #Constraints: 119146
134.45/134.92 c #Conflicts: 734000 | #Constraints: 120146
134.45/134.92 c #Conflicts: 735000 | #Constraints: 121146
134.45/134.92 c #Conflicts: 736000 | #Constraints: 122146
134.45/134.92 c #Conflicts: 737000 | #Constraints: 123146
134.45/134.92 c #Conflicts: 738000 | #Constraints: 124146
134.45/134.92 c #Conflicts: 739000 | #Constraints: 125146
134.45/134.92 c #Conflicts: 740000 | #Constraints: 126146
134.45/134.92 c #Conflicts: 741000 | #Constraints: 127146
134.45/134.92 c #Conflicts: 742000 | #Constraints: 128146
134.45/134.92 c #Conflicts: 743000 | #Constraints: 129146
134.45/134.92 c #Conflicts: 744000 | #Constraints: 130146
134.45/134.92 c #Conflicts: 745000 | #Constraints: 131146
134.45/134.92 c #Conflicts: 746000 | #Constraints: 132146
134.45/134.92 c #Conflicts: 747000 | #Constraints: 133146
134.45/134.92 c #Conflicts: 748000 | #Constraints: 134146
135.56/136.08 c INPROCESSING
135.56/136.08 c GARBAGE COLLECT
135.56/136.08 c rational objective 66.05
141.03/141.57 c #Conflicts: 749000 | #Constraints: 91087
141.03/141.57 c #Conflicts: 750000 | #Constraints: 92087
141.03/141.57 c #Conflicts: 751000 | #Constraints: 93087
141.03/141.57 c #Conflicts: 752000 | #Constraints: 94087
141.03/141.57 c #Conflicts: 753000 | #Constraints: 95087
141.03/141.57 c #Conflicts: 754000 | #Constraints: 96087
141.03/141.57 c #Conflicts: 755000 | #Constraints: 97087
141.03/141.57 c #Conflicts: 756000 | #Constraints: 98087
141.03/141.57 c #Conflicts: 757000 | #Constraints: 99087
141.03/141.57 c #Conflicts: 758000 | #Constraints: 100087
141.03/141.57 c #Conflicts: 759000 | #Constraints: 101087
141.03/141.57 c #Conflicts: 760000 | #Constraints: 102087
141.03/141.57 c #Conflicts: 761000 | #Constraints: 103087
141.03/141.57 c #Conflicts: 762000 | #Constraints: 104087
141.03/141.57 c #Conflicts: 763000 | #Constraints: 105087
141.03/141.57 c #Conflicts: 764000 | #Constraints: 106087
141.03/141.57 c #Conflicts: 765000 | #Constraints: 107087
141.03/141.57 c #Conflicts: 766000 | #Constraints: 108087
141.03/141.57 c #Conflicts: 767000 | #Constraints: 109087
141.03/141.57 c #Conflicts: 768000 | #Constraints: 110087
141.03/141.57 c #Conflicts: 769000 | #Constraints: 111087
141.03/141.57 c #Conflicts: 770000 | #Constraints: 112087
141.03/141.57 c #Conflicts: 771000 | #Constraints: 113087
141.03/141.57 c #Conflicts: 772000 | #Constraints: 114087
141.03/141.57 c #Conflicts: 773000 | #Constraints: 115087
141.03/141.57 c INPROCESSING
141.03/141.57 c GARBAGE COLLECT
141.03/141.57 c rational objective 66.0521
151.90/152.44 c #Conflicts: 774000 | #Constraints: 81766
151.90/152.44 c #Conflicts: 775000 | #Constraints: 82766
151.90/152.44 c #Conflicts: 776000 | #Constraints: 83766
151.90/152.44 c #Conflicts: 777000 | #Constraints: 84766
151.90/152.44 c #Conflicts: 778000 | #Constraints: 85766
151.90/152.44 c #Conflicts: 779000 | #Constraints: 86766
151.90/152.44 c #Conflicts: 780000 | #Constraints: 87766
151.90/152.44 c #Conflicts: 781000 | #Constraints: 88766
151.90/152.44 c #Conflicts: 782000 | #Constraints: 89766
151.90/152.44 c #Conflicts: 783000 | #Constraints: 90766
151.90/152.44 c #Conflicts: 784000 | #Constraints: 91766
151.90/152.44 c #Conflicts: 785000 | #Constraints: 92766
151.90/152.44 c #Conflicts: 786000 | #Constraints: 93766
151.90/152.44 c #Conflicts: 787000 | #Constraints: 94766
151.90/152.44 c #Conflicts: 788000 | #Constraints: 95766
151.90/152.44 c #Conflicts: 789000 | #Constraints: 96766
151.90/152.44 c #Conflicts: 790000 | #Constraints: 97766
151.90/152.44 c #Conflicts: 791000 | #Constraints: 98766
151.90/152.44 c #Conflicts: 792000 | #Constraints: 99766
151.90/152.44 c #Conflicts: 793000 | #Constraints: 100766
151.90/152.44 c #Conflicts: 794000 | #Constraints: 101766
151.90/152.44 c #Conflicts: 795000 | #Constraints: 102766
151.90/152.44 c #Conflicts: 796000 | #Constraints: 103766
151.90/152.44 c #Conflicts: 797000 | #Constraints: 104766
151.90/152.44 c #Conflicts: 798000 | #Constraints: 105766
151.90/152.44 c #Conflicts: 799000 | #Constraints: 106766
151.90/152.44 c #Conflicts: 800000 | #Constraints: 107766
151.90/152.44 c #Conflicts: 801000 | #Constraints: 108766
151.90/152.44 c #Conflicts: 802000 | #Constraints: 109766
151.90/152.44 c #Conflicts: 803000 | #Constraints: 110766
151.90/152.44 c #Conflicts: 804000 | #Constraints: 111766
151.90/152.44 c #Conflicts: 805000 | #Constraints: 112766
151.90/152.44 c #Conflicts: 806000 | #Constraints: 113766
151.90/152.44 c #Conflicts: 807000 | #Constraints: 114766
151.90/152.44 c #Conflicts: 808000 | #Constraints: 115766
151.90/152.44 c #Conflicts: 809000 | #Constraints: 116766
151.90/152.44 c #Conflicts: 810000 | #Constraints: 117766
151.90/152.44 c #Conflicts: 811000 | #Constraints: 118766
151.90/152.44 c #Conflicts: 812000 | #Constraints: 119766
151.90/152.44 c #Conflicts: 813000 | #Constraints: 120766
151.90/152.44 c #Conflicts: 814000 | #Constraints: 121766
151.90/152.44 c #Conflicts: 815000 | #Constraints: 122766
151.90/152.44 c #Conflicts: 816000 | #Constraints: 123766
151.90/152.44 c #Conflicts: 817000 | #Constraints: 124766
151.90/152.44 c #Conflicts: 818000 | #Constraints: 125766
151.90/152.44 c #Conflicts: 819000 | #Constraints: 126766
151.90/152.44 c #Conflicts: 820000 | #Constraints: 127766
151.90/152.44 c #Conflicts: 821000 | #Constraints: 128766
151.90/152.44 c #Conflicts: 822000 | #Constraints: 129766
151.90/152.44 c #Conflicts: 823000 | #Constraints: 130766
151.90/152.44 c #Conflicts: 824000 | #Constraints: 131766
151.90/152.44 c #Conflicts: 825000 | #Constraints: 132766
151.90/152.44 c #Conflicts: 826000 | #Constraints: 133766
151.90/152.44 c #Conflicts: 827000 | #Constraints: 134766
151.90/152.44 c #Conflicts: 828000 | #Constraints: 135766
151.90/152.44 c #Conflicts: 829000 | #Constraints: 136766
151.90/152.44 c #Conflicts: 830000 | #Constraints: 137766
151.90/152.44 c #Conflicts: 831000 | #Constraints: 138766
151.90/152.44 c #Conflicts: 832000 | #Constraints: 139766
151.90/152.44 c INPROCESSING
151.90/152.44 c GARBAGE COLLECT
151.90/152.44 c rational objective 66.0521
157.89/158.45 c #Conflicts: 833000 | #Constraints: 94208
157.89/158.45 c #Conflicts: 834000 | #Constraints: 95208
157.89/158.45 c #Conflicts: 835000 | #Constraints: 96208
157.89/158.45 c #Conflicts: 836000 | #Constraints: 97208
157.89/158.45 c #Conflicts: 837000 | #Constraints: 98208
157.89/158.45 c #Conflicts: 838000 | #Constraints: 99208
157.89/158.45 c #Conflicts: 839000 | #Constraints: 100208
157.89/158.45 c #Conflicts: 840000 | #Constraints: 101208
157.89/158.45 c #Conflicts: 841000 | #Constraints: 102208
157.89/158.45 c #Conflicts: 842000 | #Constraints: 103208
157.89/158.45 c #Conflicts: 843000 | #Constraints: 104208
157.89/158.45 c #Conflicts: 844000 | #Constraints: 105208
157.89/158.45 c #Conflicts: 845000 | #Constraints: 106208
157.89/158.45 c #Conflicts: 846000 | #Constraints: 107208
157.89/158.45 c #Conflicts: 847000 | #Constraints: 108208
157.89/158.45 c #Conflicts: 848000 | #Constraints: 109208
157.89/158.45 c #Conflicts: 849000 | #Constraints: 110208
157.89/158.45 c #Conflicts: 850000 | #Constraints: 111208
157.89/158.45 c #Conflicts: 851000 | #Constraints: 112208
157.89/158.45 c #Conflicts: 852000 | #Constraints: 113208
157.89/158.45 c #Conflicts: 853000 | #Constraints: 114208
157.89/158.45 c #Conflicts: 854000 | #Constraints: 115208
157.89/158.45 c #Conflicts: 855000 | #Constraints: 116208
157.89/158.45 c #Conflicts: 856000 | #Constraints: 117208
157.89/158.45 c #Conflicts: 857000 | #Constraints: 118208
157.89/158.45 c #Conflicts: 858000 | #Constraints: 119208
157.89/158.45 c INPROCESSING
157.89/158.45 c GARBAGE COLLECT
157.89/158.45 c rational objective 66.0561
161.60/162.14 c #Conflicts: 859000 | #Constraints: 83999
161.60/162.14 c #Conflicts: 860000 | #Constraints: 84999
161.60/162.14 c #Conflicts: 861000 | #Constraints: 85999
161.60/162.14 c #Conflicts: 862000 | #Constraints: 86999
161.60/162.14 c #Conflicts: 863000 | #Constraints: 87999
161.60/162.14 c #Conflicts: 864000 | #Constraints: 88999
161.60/162.14 c #Conflicts: 865000 | #Constraints: 89999
161.60/162.14 c #Conflicts: 866000 | #Constraints: 90999
161.60/162.14 c #Conflicts: 867000 | #Constraints: 91999
161.60/162.14 c #Conflicts: 868000 | #Constraints: 92999
161.60/162.14 c #Conflicts: 869000 | #Constraints: 93999
161.60/162.14 c #Conflicts: 870000 | #Constraints: 94999
161.60/162.14 c #Conflicts: 871000 | #Constraints: 95999
161.60/162.14 c #Conflicts: 872000 | #Constraints: 96999
161.60/162.14 c #Conflicts: 873000 | #Constraints: 97999
161.60/162.14 c #Conflicts: 874000 | #Constraints: 98999
161.60/162.14 c #Conflicts: 875000 | #Constraints: 99999
161.60/162.14 c #Conflicts: 876000 | #Constraints: 100999
161.60/162.14 c #Conflicts: 877000 | #Constraints: 101999
161.60/162.14 c #Conflicts: 878000 | #Constraints: 102999
161.60/162.14 c #Conflicts: 879000 | #Constraints: 103999
161.60/162.14 c #Conflicts: 880000 | #Constraints: 104999
161.60/162.14 c #Conflicts: 881000 | #Constraints: 105999
161.60/162.14 c #Conflicts: 882000 | #Constraints: 106999
161.60/162.14 WSVECS04 Frhs2[86]: 6 -1.00009 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[94]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[95]: 6 -1.00009 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[96]: 6 -1.00009 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[97]: 6 -1.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[100]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[101]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[102]: 6 -1.00001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[103]: 6 -1.00009 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[104]: 6 -1.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[105]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[348]: 6 -25.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[440]: 6 -1.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[441]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[442]: 6 -1.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[443]: 6 -1.00006 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[485]: 6 -1.00003 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[486]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[487]: 6 -1.00008 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[489]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[723]: 6 -1.00001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[724]: 6 -1.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[725]: 6 -1.00003 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[726]: 6 -1.00006 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[727]: 6 -1.00001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[728]: 6 -1.00008 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[729]: 6 -1.00006 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[730]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[731]: 6 -1.00001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[732]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[733]: 6 -1.00001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[734]: 6 -1.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[735]: 6 -1.00003 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[742]: 6 -1.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[766]: 6 -1.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[767]: 6 -1.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[768]: 6 -1.00008 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[770]: 6 -1.00004 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[771]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[772]: 6 -1.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[773]: 6 -1.00001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[774]: 6 -1.00005 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[775]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[776]: 6 -1.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[777]: 6 -1.0001 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[819]: 6 -1.00002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[878]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[879]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[880]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[881]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[882]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[883]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[884]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[885]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[886]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[887]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[888]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[889]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[890]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[891]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[894]: 6 0 2.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1013]: 6 0 2.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1014]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1015]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1016]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1017]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1018]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1019]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1020]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1021]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1022]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1023]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1024]: 6 0 2.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1025]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1026]: 6 0 2.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1027]: 6 0 2.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1028]: 6 0 2.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1029]: 6 0 2.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1058]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1059]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1061]: 6 0 1.00001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1062]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1063]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1064]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1065]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1066]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1067]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1069]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1071]: 6 0 2.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1081]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1089]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1103]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1104]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1106]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1107]: 6 0 1.00001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1108]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1109]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1110]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1111]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1112]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1114]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1116]: 6 0 2.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1117]: 6 0 2.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1118]: 6 0 2.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1119]: 6 0 2.00001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1126]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1134]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1136]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1198]: 6 -1.00008 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1201]: 6 -2.00007 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1247]: 6 -1.50009 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1248]: 6 -1.50002 0 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1345]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1346]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1347]: 6 0 1.50004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1348]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1349]: 6 0 1.00001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1350]: 6 0 1.37502 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1351]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1352]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1353]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1354]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1355]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1356]: 6 0 1.5313 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1357]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1358]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1359]: 6 0 2.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1360]: 6 0 2.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1361]: 6 0 2.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1525]: 6 0 1.46885 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1526]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1527]: 6 0 1.12506 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1528]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1529]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1530]: 6 0 1.50009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1534]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1535]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1536]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1537]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1540]: 6 0 2.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1541]: 6 0 2.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1615]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1616]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1617]: 6 0 1.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1618]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1619]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1620]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1621]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1622]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1623]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1624]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1627]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1628]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1629]: 6 0 2.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1630]: 6 0 2.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1631]: 6 0 2.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1646]: 6 0 1.09383 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1660]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1661]: 6 0 1.00008 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1662]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1663]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1664]: 6 0 1.00007 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1665]: 6 0 1.0001 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1666]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1667]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1668]: 6 0 1.00002 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1669]: 6 0 1.00006 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1670]: 6 0 1.00005 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1671]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1672]: 6 0 1.00004 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1673]: 6 0 1.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1674]: 6 0 2.00003 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1675]: 6 0 2.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1676]: 6 0 2.00009 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1746]: 6 0 0.812525 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1789]: 6 0 0.406347 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1790]: 6 0 0.906335 shouldn't be
161.60/162.14 WSVECS04 Frhs2[1840]: 6 -1.00002 0 shouldn't be
167.96/168.58 c #Conflicts: 883000 | #Constraints: 107999
167.96/168.58 c #Conflicts: 884000 | #Constraints: 108999
167.96/168.58 c #Conflicts: 885000 | #Constraints: 109999
167.96/168.58 c #Conflicts: 886000 | #Constraints: 110999
167.96/168.58 c #Conflicts: 887000 | #Constraints: 111999
167.96/168.58 c #Conflicts: 888000 | #Constraints: 112999
167.96/168.58 c #Conflicts: 889000 | #Constraints: 113999
167.96/168.58 c #Conflicts: 890000 | #Constraints: 114999
167.96/168.58 c #Conflicts: 891000 | #Constraints: 115999
167.96/168.58 c #Conflicts: 892000 | #Constraints: 116999
167.96/168.58 c #Conflicts: 893000 | #Constraints: 117999
167.96/168.58 c #Conflicts: 894000 | #Constraints: 118999
167.96/168.58 c #Conflicts: 895000 | #Constraints: 119999
167.96/168.58 c #Conflicts: 896000 | #Constraints: 120999
167.96/168.58 c #Conflicts: 897000 | #Constraints: 121999
167.96/168.58 c #Conflicts: 898000 | #Constraints: 122999
167.96/168.58 c #Conflicts: 899000 | #Constraints: 123999
167.96/168.58 c #Conflicts: 900000 | #Constraints: 124999
167.96/168.58 c #Conflicts: 901000 | #Constraints: 125999
167.96/168.58 c #Conflicts: 902000 | #Constraints: 126999
167.96/168.58 c #Conflicts: 903000 | #Constraints: 127999
167.96/168.58 c #Conflicts: 904000 | #Constraints: 128999
167.96/168.58 c #Conflicts: 905000 | #Constraints: 129999
167.96/168.58 c #Conflicts: 906000 | #Constraints: 130999
167.96/168.58 c #Conflicts: 907000 | #Constraints: 131999
167.96/168.58 c #Conflicts: 908000 | #Constraints: 132999
167.96/168.58 c #Conflicts: 909000 | #Constraints: 133999
167.96/168.58 c #Conflicts: 910000 | #Constraints: 134999
167.96/168.58 c #Conflicts: 911000 | #Constraints: 135999
167.96/168.58 c #Conflicts: 912000 | #Constraints: 136999
167.96/168.58 c #Conflicts: 913000 | #Constraints: 137999
167.96/168.58 c #Conflicts: 914000 | #Constraints: 138999
167.96/168.58 c #Conflicts: 915000 | #Constraints: 139999
167.96/168.58 c #Conflicts: 916000 | #Constraints: 140999
167.96/168.58 c #Conflicts: 917000 | #Constraints: 141999
167.96/168.58 c #Conflicts: 918000 | #Constraints: 142999
167.96/168.58 c #Conflicts: 919000 | #Constraints: 143999
167.96/168.58 c #Conflicts: 920000 | #Constraints: 144999
167.96/168.58 c INPROCESSING
167.96/168.58 c GARBAGE COLLECT
167.96/168.58 c rational objective 66.0573
175.35/175.95 c #Conflicts: 921000 | #Constraints: 96888
175.35/175.95 c #Conflicts: 922000 | #Constraints: 97888
175.35/175.95 c #Conflicts: 923000 | #Constraints: 98888
175.35/175.95 c #Conflicts: 924000 | #Constraints: 99888
175.35/175.95 c #Conflicts: 925000 | #Constraints: 100888
175.35/175.95 c #Conflicts: 926000 | #Constraints: 101888
175.35/175.95 c #Conflicts: 927000 | #Constraints: 102888
175.35/175.95 c #Conflicts: 928000 | #Constraints: 103888
175.35/175.95 c #Conflicts: 929000 | #Constraints: 104888
175.35/175.95 c #Conflicts: 930000 | #Constraints: 105888
175.35/175.95 c #Conflicts: 931000 | #Constraints: 106888
175.35/175.95 c #Conflicts: 932000 | #Constraints: 107888
175.35/175.95 c #Conflicts: 933000 | #Constraints: 108888
175.35/175.95 c #Conflicts: 934000 | #Constraints: 109888
175.35/175.95 c #Conflicts: 935000 | #Constraints: 110888
175.35/175.95 c #Conflicts: 936000 | #Constraints: 111888
175.35/175.95 c #Conflicts: 937000 | #Constraints: 112888
175.35/175.95 c #Conflicts: 938000 | #Constraints: 113888
175.35/175.95 c #Conflicts: 939000 | #Constraints: 114888
175.35/175.95 c #Conflicts: 940000 | #Constraints: 115888
175.35/175.95 c #Conflicts: 941000 | #Constraints: 116888
175.35/175.95 c #Conflicts: 942000 | #Constraints: 117888
175.35/175.95 c #Conflicts: 943000 | #Constraints: 118888
175.35/175.95 c #Conflicts: 944000 | #Constraints: 119888
175.35/175.95 c #Conflicts: 945000 | #Constraints: 120888
175.35/175.95 c #Conflicts: 946000 | #Constraints: 121888
175.35/175.95 c #Conflicts: 947000 | #Constraints: 122888
175.35/175.95 c INPROCESSING
175.35/175.95 c GARBAGE COLLECT
175.35/175.95 c rational objective 66.0585
187.32/188.00 c #Conflicts: 948000 | #Constraints: 85816
187.32/188.00 c #Conflicts: 949000 | #Constraints: 86816
187.32/188.00 c #Conflicts: 950000 | #Constraints: 87816
187.32/188.00 c #Conflicts: 951000 | #Constraints: 88816
187.32/188.00 c #Conflicts: 952000 | #Constraints: 89816
187.32/188.00 c #Conflicts: 953000 | #Constraints: 90816
187.32/188.00 c #Conflicts: 954000 | #Constraints: 91816
187.32/188.00 c #Conflicts: 955000 | #Constraints: 92816
187.32/188.00 c #Conflicts: 956000 | #Constraints: 93816
187.32/188.00 c #Conflicts: 957000 | #Constraints: 94816
187.32/188.00 c #Conflicts: 958000 | #Constraints: 95816
187.32/188.00 c #Conflicts: 959000 | #Constraints: 96816
187.32/188.00 c #Conflicts: 960000 | #Constraints: 97816
187.32/188.00 c #Conflicts: 961000 | #Constraints: 98816
187.32/188.00 c #Conflicts: 962000 | #Constraints: 99816
187.32/188.00 c #Conflicts: 963000 | #Constraints: 100816
187.32/188.00 c #Conflicts: 964000 | #Constraints: 101816
187.32/188.00 c #Conflicts: 965000 | #Constraints: 102816
187.32/188.00 c #Conflicts: 966000 | #Constraints: 103816
187.32/188.00 c #Conflicts: 967000 | #Constraints: 104816
187.32/188.00 c #Conflicts: 968000 | #Constraints: 105816
187.32/188.00 c #Conflicts: 969000 | #Constraints: 106816
187.32/188.00 c #Conflicts: 970000 | #Constraints: 107816
187.32/188.00 c #Conflicts: 971000 | #Constraints: 108816
187.32/188.00 c #Conflicts: 972000 | #Constraints: 109816
187.32/188.00 c #Conflicts: 973000 | #Constraints: 110816
187.32/188.00 c #Conflicts: 974000 | #Constraints: 111816
187.32/188.00 c #Conflicts: 975000 | #Constraints: 112816
187.32/188.00 c #Conflicts: 976000 | #Constraints: 113816
187.32/188.00 c #Conflicts: 977000 | #Constraints: 114816
187.32/188.00 c #Conflicts: 978000 | #Constraints: 115816
187.32/188.00 c #Conflicts: 979000 | #Constraints: 116816
187.32/188.00 c #Conflicts: 980000 | #Constraints: 117816
187.32/188.00 c #Conflicts: 981000 | #Constraints: 118816
187.32/188.00 c #Conflicts: 982000 | #Constraints: 119816
187.32/188.00 c #Conflicts: 983000 | #Constraints: 120816
187.32/188.00 c #Conflicts: 984000 | #Constraints: 121816
187.32/188.00 c #Conflicts: 985000 | #Constraints: 122816
187.32/188.00 c #Conflicts: 986000 | #Constraints: 123816
187.32/188.00 c #Conflicts: 987000 | #Constraints: 124816
187.32/188.00 c #Conflicts: 988000 | #Constraints: 125816
187.32/188.00 c #Conflicts: 989000 | #Constraints: 126816
187.32/188.00 c #Conflicts: 990000 | #Constraints: 127816
187.32/188.00 c #Conflicts: 991000 | #Constraints: 128816
187.32/188.00 c #Conflicts: 992000 | #Constraints: 129816
187.32/188.00 c #Conflicts: 993000 | #Constraints: 130816
187.32/188.00 c #Conflicts: 994000 | #Constraints: 131816
187.32/188.00 c #Conflicts: 995000 | #Constraints: 132816
187.32/188.00 c #Conflicts: 996000 | #Constraints: 133816
187.32/188.00 c #Conflicts: 997000 | #Constraints: 134816
187.32/188.00 c #Conflicts: 998000 | #Constraints: 135816
187.32/188.00 c #Conflicts: 999000 | #Constraints: 136816
187.32/188.00 c #Conflicts: 1000000 | #Constraints: 137816
187.32/188.00 c #Conflicts: 1001000 | #Constraints: 138816
187.32/188.00 c #Conflicts: 1002000 | #Constraints: 139816
187.32/188.00 c #Conflicts: 1003000 | #Constraints: 140816
187.32/188.00 c #Conflicts: 1004000 | #Constraints: 141816
187.32/188.00 c #Conflicts: 1005000 | #Constraints: 142816
187.32/188.00 c #Conflicts: 1006000 | #Constraints: 143816
187.32/188.00 c #Conflicts: 1007000 | #Constraints: 144816
187.32/188.00 c #Conflicts: 1008000 | #Constraints: 145816
187.32/188.00 c #Conflicts: 1009000 | #Constraints: 146816
187.32/188.00 c #Conflicts: 1010000 | #Constraints: 147816
187.32/188.00 c #Conflicts: 1011000 | #Constraints: 148816
187.32/188.00 c #Conflicts: 1012000 | #Constraints: 149816
187.32/188.00 c INPROCESSING
187.32/188.00 c GARBAGE COLLECT
187.32/188.00 c rational objective 66.0611
188.21/188.81 c #Conflicts: 1013000 | #Constraints: 99245
188.21/188.81 c #Conflicts: 1014000 | #Constraints: 100245
188.21/188.81 c cpu time 183.727 s
188.21/188.81 c deterministic time 3813531297 3.81e+09
188.21/188.81 c optimization time 8e-05 s
188.21/188.81 c total solve time 183.26 s
188.21/188.81 c core-guided solve time 0 s
188.21/188.81 c propagation time 80.3004 s
188.21/188.81 c conflict analysis time 47.3807 s
188.21/188.81 c propagations 92374465
188.21/188.81 c resolve steps 20766298
188.21/188.81 c decisions 2509699
188.21/188.81 c conflicts 1014006
188.21/188.81 c restarts 2045
188.21/188.81 c inprocessing phases 42
188.21/188.81 c garbage collections 40 ,( 95.24 )
188.21/188.81 c input clauses 42543 ,( 91.91 )
188.21/188.81 c input cardinalities 77 ,( 0.17 )
188.21/188.81 c input general constraints 3666 ,( 7.92 )
188.21/188.81 c input average constraint length 3.58
188.21/188.81 c input average constraint degree 1.10
188.21/188.81 c learned clauses 1010290 ,( 99.63 )
188.21/188.81 c learned cardinalities 1553 ,( 0.15 )
188.21/188.81 c learned general constraints 2187 ,( 0.22 )
188.21/188.81 c learned average constraint length 93.62
188.21/188.81 c learned average constraint degree 3475.74
188.21/188.81 c watched CF 32, 64, 128, Arb: 513 , 0 , 0 , 0
188.21/188.81 c counting CF 32, 64, 128, Arb: 5340 , 0 , 0 , 0
188.21/188.81 c watched constraints 513 ,( 8.76 )
188.21/188.81 c counting constraints 5340 ,( 91.24 )
188.21/188.81 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 640931487 , 9580420 , 43726050 ,( 234752 , 43491298 )
188.21/188.81 c gcd simplifications 4832
188.21/188.81 c detected cardinalities 48
188.21/188.81 c weakened non-implied lits 3685896
188.21/188.81 c weakened non-implying lits 6471
188.21/188.81 c original variables 1840
188.21/188.81 c clausal propagations 79991762
188.21/188.81 c cardinality propagations 5089745
188.21/188.81 c watched propagations 9990
188.21/188.81 c counting propagations 6235109
188.21/188.81 c watch lookups 1189120299
188.21/188.81 c watch backjump lookups 0
188.21/188.81 c watch checks 1882844262
188.21/188.81 c propagation checks 267578216
188.21/188.81 c constraint additions 283001329
188.21/188.81 c trail pops 95898169
188.21/188.81 c formula constraints 46286
188.21/188.81 c learned constraints 1014006
188.21/188.81 c bound constraints 0
188.21/188.81 c core-guided constraints 0
188.21/188.81 c encountered formula constraints 12137590
188.21/188.81 c encountered learned constraints 9642679
188.21/188.81 c encountered bound constraints 0
188.21/188.81 c encountered core-guided constraints 0
188.21/188.81 c LP total time 46.2113 s
188.21/188.81 c LP solve time 39.95 s
188.21/188.81 c LP constraints added 46534
188.21/188.81 c LP constraints removed 218
188.21/188.81 c LP pivots internal 101805
188.21/188.81 c LP pivots root 103052
188.21/188.81 c LP calls 104
188.21/188.81 c LP optimalities 100
188.21/188.81 c LP no pivot count 0
188.21/188.81 c LP infeasibilities 0
188.21/188.81 c LP valid Farkas constraints 0
188.21/188.81 c LP learned Farkas constraints 0
188.21/188.81 c LP basis resets 0
188.21/188.81 c LP cycling count 0
188.21/188.81 c LP singular count 0
188.21/188.81 c LP no primal count 0
188.21/188.81 c LP no farkas count 0
188.21/188.81 c LP other issue count 0
188.21/188.81 c LP Gomory cuts 24
188.21/188.81 c LP learned cuts 238
188.21/188.81 c LP deleted cuts 228
188.21/188.81 c LP encountered Gomory constraints 35
188.21/188.81 c LP encountered Farkas constraints 0
188.21/188.81 c LP encountered learned Farkas constraints 0
188.21/188.81 c CG auxiliary variables introduced 0
188.21/188.81 c CG solutions found 0
188.21/188.81 c CG cores constructed 0
188.21/188.81 c CG core cardinality constraints returned 0
188.21/188.81 c CG unit cores 0
188.21/188.81 c CG single cores 0
188.21/188.81 c CG blocks removed during cardinality reduction 0
188.21/188.81 c CG first core best 0
188.21/188.81 c CG decision core best 0
188.21/188.81 c CG core reduction tie 0
188.21/188.81 c CG core degree average 0.00
188.21/188.81 c CG core slack average 0.00
188.21/188.81 c CG core upper bound improvements 0
188.21/188.81 c STR number of successful calls 0
188.21/188.81 c STR number of unsuccessful calls 0
188.21/188.81 c STR number of inconclusive calls 0
188.21/188.81 c STR number of successful attempts 0
188.21/188.81 c STR number of unsuccessful attempts 0
188.21/188.81 c STR number of inconclusive attempts 0
188.21/188.81 c STR average degree increase per successful call inf
188.21/188.81 c STR average degree increase per successful attempt inf
188.21/188.81 c STR total number of conflicts for successful attempts 0
188.21/188.81 c STR total number of conflicts for unsuccessful attempts 0
188.21/188.81 c STR total number of conflicts for inconclusive attempts 0
188.21/188.81 c STR average number of conflicts per successful attempt inf
188.21/188.81 c STR average number of conflicts per unsuccessful attempt inf
188.21/188.81 c STR average number of conflicts per inconclusive attempt inf
188.21/188.81 c AVG.sumWPerc 60.87
188.21/188.81 c bigint constraints 0
188.21/188.81 s SATISFIABLE
188.21/188.81 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: 63794 MiB (63202 MiB free)
memory of node 1: 64507 MiB (64057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503458-1751170846/watcher-4503458-1751170846 -o /tmp/evaluation-result-4503458-1751170846/solver-4503458-1751170846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4503458-1751170846.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20108, runsolver pid=20100
[startup+0.10007 s]*
/proc/loadavg: 1.07 1.90 3.03 5/250 20120
/proc/meminfo: memFree=130302192/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=58508 memory=13596 CPUtime=0.08 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 1193 0 0 0 5 3 0 0 20 0 1 0 32763988 59912192 3399 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 14627 3399 1984 1147 0 2054 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62700 KiB
Current children cumulated memory: 16540 KiB
[startup+0.212938 s]*
/proc/loadavg: 1.07 1.90 3.03 5/248 20120
/proc/meminfo: memFree=130278256/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=62540 memory=17596 CPUtime=0.18 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 2279 0 0 0 13 5 0 0 20 0 1 0 32763988 64040960 4399 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 15635 4399 1984 1147 0 3062 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66732 KiB
Current children cumulated memory: 20540 KiB
[startup+0.312941 s]*
/proc/loadavg: 1.07 1.90 3.03 6/249 20121
/proc/meminfo: memFree=130272712/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=66600 memory=21116 CPUtime=0.28 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 3347 0 0 0 20 8 0 0 20 0 1 0 32763988 68198400 5279 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 16650 5279 1984 1147 0 4077 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 24060 KiB
[startup+0.700403 s]
/proc/loadavg: 1.07 1.90 3.03 6/254 20131
/proc/meminfo: memFree=130223064/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=132788 memory=81236 CPUtime=0.66 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 12677 0 0 0 51 15 0 0 20 0 1 0 32763988 135974912 20309 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 33197 20309 2240 1147 0 20624 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 136980 KiB
Current children cumulated memory: 84180 KiB
[startup+1.50035 s]
/proc/loadavg: 1.31 1.93 3.03 5/254 20131
/proc/meminfo: memFree=130144792/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=132788 memory=81876 CPUtime=1.46 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 12753 0 0 0 131 15 0 0 20 0 1 0 32763988 135974912 20469 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 33197 20469 2304 1147 0 20624 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 136980 KiB
Current children cumulated memory: 84820 KiB
[startup+3.11285 s]
/proc/loadavg: 1.31 1.93 3.03 5/254 20131
/proc/meminfo: memFree=129773124/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=134940 memory=82132 CPUtime=3.07 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 12774 0 0 0 287 20 0 0 20 0 1 0 32763988 138178560 20533 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 33735 20533 2368 1147 0 21162 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 139132 KiB
Current children cumulated memory: 85076 KiB
[startup+6.30029 s]
/proc/loadavg: 1.52 1.97 3.04 6/254 20177
/proc/meminfo: memFree=129179748/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=140112 memory=86100 CPUtime=6.24 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 13779 0 0 0 593 31 0 0 20 0 1 0 32763988 143474688 21525 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 35028 21525 2368 1147 0 22455 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 144304 KiB
Current children cumulated memory: 89044 KiB
[startup+12.7004 s]
/proc/loadavg: 1.80 2.02 3.05 5/254 20177
/proc/meminfo: memFree=128914900/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=146732 memory=90740 CPUtime=12.63 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 15093 0 0 0 1211 52 0 0 20 0 1 0 32763988 150253568 22685 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 36683 22685 2368 1147 0 24110 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 150924 KiB
Current children cumulated memory: 93684 KiB
[startup+25.5004 s]
/proc/loadavg: 2.22 2.10 3.07 5/254 20177
/proc/meminfo: memFree=128972760/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=152596 memory=100372 CPUtime=25.4 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 16515 0 0 0 2451 89 0 0 20 0 1 0 32763988 156258304 25093 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 38149 25093 2368 1147 0 25576 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 156788 KiB
Current children cumulated memory: 103316 KiB
[startup+51.1132 s]
/proc/loadavg: 2.92 2.29 3.10 5/255 20178
/proc/meminfo: memFree=128967572/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=161460 memory=108568 CPUtime=50.93 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 17561 0 0 0 4940 153 0 0 20 0 1 0 32763988 165335040 27142 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 40365 27142 2368 1147 0 27792 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 165652 KiB
Current children cumulated memory: 111512 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.58 3.16 5/255 20180
/proc/meminfo: memFree=128949896/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=196852 memory=126536 CPUtime=101.97 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 19537 0 0 0 9929 268 0 0 20 0 1 0 32763988 201576448 31634 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 49213 31634 2368 1147 0 36640 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 201044 KiB
Current children cumulated memory: 129480 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.86 3.22 5/255 20182
/proc/meminfo: memFree=128926684/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=203700 memory=136968 CPUtime=161.78 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21330 0 0 0 15776 402 0 0 20 0 1 0 32763988 208588800 34242 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 50925 34242 2368 1147 0 38352 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 207892 KiB
Current children cumulated memory: 139912 KiB
[startup+188.821 s]
# the end of solver process 20108 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=183.736 s, system=4.51205 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 3.94 2.88 3.22 5/255 20182
/proc/meminfo: memFree=128926684/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=203700 memory=136968 CPUtime=165.87 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21333 0 0 0 16175 412 0 0 20 0 1 0 32763988 208588800 34242 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 50925 34242 2368 1147 0 38352 0
Current children cumulated CPU time: 165.87 s
Current children cumulated vsize: 207892 KiB
Current children cumulated memory: 139912 KiB
[startup+179.2 s]
/proc/loadavg: 3.95 2.92 3.23 5/256 20184
/proc/meminfo: memFree=128923660/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=204800 memory=137992 CPUtime=178.64 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21610 0 0 0 17429 435 0 0 20 0 1 0 32763988 209715200 34498 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 51200 34498 2368 1147 0 38627 0
Current children cumulated CPU time: 178.64 s
Current children cumulated vsize: 208992 KiB
Current children cumulated memory: 140936 KiB
[startup+185.6 s]
/proc/loadavg: 3.96 2.93 3.24 5/256 20184
/proc/meminfo: memFree=128923660/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=204800 memory=137992 CPUtime=185.02 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21612 0 0 0 18055 447 0 0 20 0 1 0 32763988 209715200 34498 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 51200 34498 2368 1147 0 38627 0
Current children cumulated CPU time: 185.02 s
Current children cumulated vsize: 208992 KiB
Current children cumulated memory: 140936 KiB
[startup+187.2 s]
/proc/loadavg: 3.96 2.95 3.24 5/256 20185
/proc/meminfo: memFree=128915820/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=205752 memory=143096 CPUtime=186.62 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21852 0 0 0 18213 449 0 0 20 0 1 0 32763988 210690048 35774 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 51438 35774 2368 1147 0 38865 0
Current children cumulated CPU time: 186.62 s
Current children cumulated vsize: 209944 KiB
Current children cumulated memory: 146040 KiB
[startup+188 s]*
/proc/loadavg: 3.96 2.95 3.24 5/256 20185
/proc/meminfo: memFree=128915820/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=205752 memory=143096 CPUtime=187.43 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21852 0 0 0 18293 450 0 0 20 0 1 0 32763988 210690048 35774 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 51438 35774 2368 1147 0 38865 0
Current children cumulated CPU time: 187.43 s
Current children cumulated vsize: 209944 KiB
Current children cumulated memory: 146040 KiB
[startup+188.4 s]
/proc/loadavg: 3.96 2.95 3.24 5/256 20185
/proc/meminfo: memFree=128915820/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=205752 memory=143096 CPUtime=187.82 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21852 0 0 0 18332 450 0 0 20 0 1 0 32763988 210690048 35774 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 51438 35774 2368 1147 0 38865 0
Current children cumulated CPU time: 187.82 s
Current children cumulated vsize: 209944 KiB
Current children cumulated memory: 146040 KiB
[startup+188.8 s]
/proc/loadavg: 3.96 2.95 3.24 5/256 20185
/proc/meminfo: memFree=128915820/131382120 swapFree=33010684/33010684
[pid=20108] ppid=20100 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/20108/stat : 20108 (run-dec-ls.sh) S 20100 20108 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32763987 4292608 736 18446744073709551615 94122326458368 94122327352901 140736364872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122327591952 94122327639696 94122350616576 140736364878183 140736364878309 140736364878309 140736364883911 0
/proc/20108/statm: 1048 736 672 219 0 110 0
[pid=20111] ppid=20108 vsize=205752 memory=143096 CPUtime=188.21 cores=0,2
/proc/20111/stat : 20111 (roundingsat) R 20108 20108 20058 0 -1 4194304 21852 0 0 0 18371 450 0 0 20 0 1 0 32763988 210690048 35774 18446744073709551615 4227072 8923433 140726834846928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25800704 140726834854304 140726834854440 140726834854440 140726834860010 0
/proc/20111/statm: 51438 35774 2368 1147 0 38865 0
Current children cumulated CPU time: 188.21 s
Current children cumulated vsize: 209944 KiB
Current children cumulated memory: 146040 KiB
Child status: 0
Real time (s): 188.821
CPU time (s): 188.248
CPU user time (s): 183.736
CPU system time (s): 4.51205
CPU usage (%): 99.6966
Max. virtual memory (cumulated for all children) (KiB): 209944
Max. memory (cumulated for all children) (KiB): 146040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.736
system time used= 4.51205
maximum resident set size= 143096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218
involuntary context switches= 495
# summary of solver processes directly reported to runsolver:
# pid: 20108
# total CPU time (s): 188.248
# total CPU user time (s): 183.736
# total CPU system time (s): 4.51205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06321 second user time and 1.88847 second system time
The end
Begin job on nodeC006 at 2025-06-29 06:20:46
IDJOB=4503458
IDBENCH=155472
IDSOLVER=3353
FILE ID=nodeC006/4503458-1751170846
RUNJOBID= nodeC006-1751170846-20068
SLURM_JOB_ID= 9587530
Free space on /tmp= 433052 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-185.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503458-1751170846/watcher-4503458-1751170846 -o /tmp/evaluation-result-4503458-1751170846/solver-4503458-1751170846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4503458-1751170846.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 458054bd456c10a880dafd6041bb82b2
RANDOM SEED=354258343
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.103
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.312
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.188
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.268
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.088
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130320612 kB
MemAvailable: 129961904 kB
Buffers: 3280 kB
Cached: 447664 kB
SwapCached: 0 kB
Active: 325456 kB
Inactive: 199920 kB
Active(anon): 92392 kB
Inactive(anon): 0 kB
Active(file): 233064 kB
Inactive(file): 199920 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29484 kB
Writeback: 0 kB
AnonPages: 77560 kB
Mapped: 101656 kB
Shmem: 17960 kB
KReclaimable: 85088 kB
Slab: 164100 kB
SReclaimable: 85088 kB
SUnreclaim: 79012 kB
KernelStack: 3716 kB
PageTables: 2688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 340544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC006 at 2025-06-29 06:23:55