0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.35/0.47 c #variables 22372 #constraints 22750
113.95/114.42 c #Conflicts: 1000 | #Constraints: 23749
113.95/114.42 c #Conflicts: 2000 | #Constraints: 24749
113.95/114.42 c INPROCESSING
113.95/114.42 c GARBAGE COLLECT
113.95/114.42 c #Conflicts: 3000 | #Constraints: 24102
113.95/114.42 c #Conflicts: 4000 | #Constraints: 25102
113.95/114.42 c INPROCESSING
113.95/114.42 c GARBAGE COLLECT
113.95/114.42 c #Conflicts: 5000 | #Constraints: 24622
113.95/114.42 c #Conflicts: 6000 | #Constraints: 25622
113.95/114.42 c INPROCESSING
113.95/114.42 c GARBAGE COLLECT
113.95/114.42 c #Conflicts: 7000 | #Constraints: 24715
113.95/114.42 c #Conflicts: 8000 | #Constraints: 25715
113.95/114.42 c #Conflicts: 9000 | #Constraints: 26715
113.95/114.42 c #Conflicts: 10000 | #Constraints: 27715
113.95/114.42 c #Conflicts: 11000 | #Constraints: 28715
113.95/114.42 c #Conflicts: 12000 | #Constraints: 29715
113.95/114.42 c INPROCESSING
113.95/114.42 c GARBAGE COLLECT
113.95/114.42 c #Conflicts: 13000 | #Constraints: 26750
113.95/114.42 c #Conflicts: 14000 | #Constraints: 27750
113.95/114.42 c #Conflicts: 15000 | #Constraints: 28750
113.95/114.42 c #Conflicts: 16000 | #Constraints: 29750
113.95/114.42 c INPROCESSING
113.95/114.42 c GARBAGE COLLECT
113.95/114.42 c #Conflicts: 17000 | #Constraints: 27095
113.95/114.43 c #Conflicts: 18000 | #Constraints: 28095
113.95/114.43 c #Conflicts: 19000 | #Constraints: 29095
113.95/114.43 c #Conflicts: 20000 | #Constraints: 30095
113.95/114.43 c #Conflicts: 21000 | #Constraints: 31095
113.95/114.43 c #Conflicts: 22000 | #Constraints: 32095
113.95/114.43 c #Conflicts: 23000 | #Constraints: 33095
113.95/114.43 c #Conflicts: 24000 | #Constraints: 34095
113.95/114.43 c #Conflicts: 25000 | #Constraints: 35095
113.95/114.43 c INPROCESSING
113.95/114.43 c GARBAGE COLLECT
113.95/114.43 c #Conflicts: 26000 | #Constraints: 29618
113.95/114.43 c #Conflicts: 27000 | #Constraints: 30618
113.95/114.43 c #Conflicts: 28000 | #Constraints: 31618
113.95/114.43 c #Conflicts: 29000 | #Constraints: 32618
113.95/114.43 c #Conflicts: 30000 | #Constraints: 33618
113.95/114.43 c INPROCESSING
113.95/114.43 c GARBAGE COLLECT
113.95/114.43 c #Conflicts: 31000 | #Constraints: 29703
113.95/114.43 c #Conflicts: 32000 | #Constraints: 30703
113.95/114.43 c #Conflicts: 33000 | #Constraints: 31703
113.95/114.43 c #Conflicts: 34000 | #Constraints: 32703
113.95/114.43 c #Conflicts: 35000 | #Constraints: 33703
113.95/114.43 c #Conflicts: 36000 | #Constraints: 34703
113.95/114.43 c #Conflicts: 37000 | #Constraints: 35703
113.95/114.43 c #Conflicts: 38000 | #Constraints: 36703
113.95/114.43 c #Conflicts: 39000 | #Constraints: 37703
113.95/114.43 c #Conflicts: 40000 | #Constraints: 38703
113.95/114.43 c #Conflicts: 41000 | #Constraints: 39703
113.95/114.43 c #Conflicts: 42000 | #Constraints: 40703
113.95/114.43 c #Conflicts: 43000 | #Constraints: 41703
113.95/114.43 c INPROCESSING
113.95/114.43 c GARBAGE COLLECT
113.95/114.43 c #Conflicts: 44000 | #Constraints: 33324
113.95/114.43 c #Conflicts: 45000 | #Constraints: 34324
113.95/114.43 c #Conflicts: 46000 | #Constraints: 35324
113.95/114.43 c #Conflicts: 47000 | #Constraints: 36324
113.95/114.43 c #Conflicts: 48000 | #Constraints: 37324
113.95/114.43 c #Conflicts: 49000 | #Constraints: 38324
113.95/114.43 c INPROCESSING
113.95/114.43 c GARBAGE COLLECT
113.95/114.43 c #Conflicts: 50000 | #Constraints: 32819
113.95/114.43 c #Conflicts: 51000 | #Constraints: 33819
113.95/114.43 c #Conflicts: 52000 | #Constraints: 34819
113.95/114.43 c #Conflicts: 53000 | #Constraints: 35819
113.95/114.43 c #Conflicts: 54000 | #Constraints: 36819
113.95/114.43 c #Conflicts: 55000 | #Constraints: 37819
113.95/114.43 c #Conflicts: 56000 | #Constraints: 38819
113.95/114.43 c #Conflicts: 57000 | #Constraints: 39819
113.95/114.43 c #Conflicts: 58000 | #Constraints: 40819
113.95/114.43 c #Conflicts: 59000 | #Constraints: 41819
113.95/114.43 c #Conflicts: 60000 | #Constraints: 42819
113.95/114.43 c #Conflicts: 61000 | #Constraints: 43819
113.95/114.43 c #Conflicts: 62000 | #Constraints: 44819
113.95/114.43 c #Conflicts: 63000 | #Constraints: 45819
113.95/114.43 c #Conflicts: 64000 | #Constraints: 46819
113.95/114.43 c #Conflicts: 65000 | #Constraints: 47819
113.95/114.43 c INPROCESSING
113.95/114.43 c GARBAGE COLLECT
113.95/114.43 c #Conflicts: 66000 | #Constraints: 36669
113.95/114.43 c #Conflicts: 67000 | #Constraints: 37669
113.95/114.43 c #Conflicts: 68000 | #Constraints: 38669
113.95/114.43 c #Conflicts: 69000 | #Constraints: 39669
113.95/114.43 c #Conflicts: 70000 | #Constraints: 40669
113.95/114.43 c #Conflicts: 71000 | #Constraints: 41669
113.95/114.43 c #Conflicts: 72000 | #Constraints: 42669
113.95/114.43 c INPROCESSING
113.95/114.43 c GARBAGE COLLECT
234.82/235.61 c #Conflicts: 73000 | #Constraints: 35973
234.82/235.61 c #Conflicts: 74000 | #Constraints: 36973
234.82/235.61 c #Conflicts: 75000 | #Constraints: 37973
234.82/235.61 c #Conflicts: 76000 | #Constraints: 38973
234.82/235.61 c #Conflicts: 77000 | #Constraints: 39973
234.82/235.61 c #Conflicts: 78000 | #Constraints: 40973
234.82/235.61 c #Conflicts: 79000 | #Constraints: 41973
234.82/235.61 c #Conflicts: 80000 | #Constraints: 42973
234.82/235.61 c #Conflicts: 81000 | #Constraints: 43973
234.82/235.61 c #Conflicts: 82000 | #Constraints: 44973
234.82/235.61 c #Conflicts: 83000 | #Constraints: 45973
234.82/235.61 c #Conflicts: 84000 | #Constraints: 46973
234.82/235.61 c #Conflicts: 85000 | #Constraints: 47973
234.82/235.61 c #Conflicts: 86000 | #Constraints: 48973
234.82/235.61 c #Conflicts: 87000 | #Constraints: 49973
234.82/235.61 c #Conflicts: 88000 | #Constraints: 50973
234.82/235.61 c #Conflicts: 89000 | #Constraints: 51973
234.82/235.61 c #Conflicts: 90000 | #Constraints: 52973
234.82/235.61 c #Conflicts: 91000 | #Constraints: 53973
234.82/235.61 c INPROCESSING
234.82/235.61 c GARBAGE COLLECT
234.82/235.61 c #Conflicts: 92000 | #Constraints: 39815
234.82/235.61 c #Conflicts: 93000 | #Constraints: 40815
234.82/235.61 c #Conflicts: 94000 | #Constraints: 41815
234.82/235.61 c #Conflicts: 95000 | #Constraints: 42815
234.82/235.61 c #Conflicts: 96000 | #Constraints: 43815
234.82/235.61 c #Conflicts: 97000 | #Constraints: 44815
234.82/235.61 c #Conflicts: 98000 | #Constraints: 45815
234.82/235.61 c #Conflicts: 99000 | #Constraints: 46815
234.82/235.61 c #Conflicts: 100000 | #Constraints: 47815
234.82/235.61 c INPROCESSING
234.82/235.61 c GARBAGE COLLECT
234.82/235.61 c #Conflicts: 101000 | #Constraints: 39005
234.82/235.61 c #Conflicts: 102000 | #Constraints: 40005
234.82/235.61 c #Conflicts: 103000 | #Constraints: 41005
234.82/235.61 c #Conflicts: 104000 | #Constraints: 42005
234.82/235.61 c #Conflicts: 105000 | #Constraints: 43005
234.82/235.61 c #Conflicts: 106000 | #Constraints: 44005
234.82/235.61 c #Conflicts: 107000 | #Constraints: 45005
234.82/235.61 c #Conflicts: 108000 | #Constraints: 46005
234.82/235.61 c #Conflicts: 109000 | #Constraints: 47005
234.82/235.61 c #Conflicts: 110000 | #Constraints: 48005
234.82/235.61 c #Conflicts: 111000 | #Constraints: 49005
234.82/235.61 c #Conflicts: 112000 | #Constraints: 50005
234.82/235.61 c #Conflicts: 113000 | #Constraints: 51005
234.82/235.61 c #Conflicts: 114000 | #Constraints: 52005
234.82/235.61 c #Conflicts: 115000 | #Constraints: 53005
234.82/235.61 c #Conflicts: 116000 | #Constraints: 54005
234.82/235.61 c #Conflicts: 117000 | #Constraints: 55005
234.82/235.61 c #Conflicts: 118000 | #Constraints: 56005
234.82/235.61 c #Conflicts: 119000 | #Constraints: 57005
234.82/235.61 c #Conflicts: 120000 | #Constraints: 58005
234.82/235.61 c #Conflicts: 121000 | #Constraints: 59005
234.82/235.61 c INPROCESSING
234.82/235.61 c GARBAGE COLLECT
234.82/235.61 c #Conflicts: 122000 | #Constraints: 42094
234.82/235.61 c #Conflicts: 123000 | #Constraints: 43094
234.82/235.61 c #Conflicts: 124000 | #Constraints: 44094
234.82/235.61 c #Conflicts: 125000 | #Constraints: 45094
234.82/235.61 c #Conflicts: 126000 | #Constraints: 46094
234.82/235.61 c #Conflicts: 127000 | #Constraints: 47094
234.82/235.61 c #Conflicts: 128000 | #Constraints: 48094
234.82/235.61 c #Conflicts: 129000 | #Constraints: 49094
234.82/235.61 c #Conflicts: 130000 | #Constraints: 50094
234.82/235.61 c #Conflicts: 131000 | #Constraints: 51094
234.82/235.61 c #Conflicts: 132000 | #Constraints: 52094
234.82/235.61 c INPROCESSING
234.82/235.61 c GARBAGE COLLECT
234.82/235.61 c #Conflicts: 133000 | #Constraints: 42614
234.82/235.61 c #Conflicts: 134000 | #Constraints: 43614
234.82/235.61 c #Conflicts: 135000 | #Constraints: 44614
234.82/235.61 c #Conflicts: 136000 | #Constraints: 45614
234.82/235.61 c #Conflicts: 137000 | #Constraints: 46614
234.82/235.61 c #Conflicts: 138000 | #Constraints: 47614
234.82/235.61 c #Conflicts: 139000 | #Constraints: 48614
234.82/235.61 c #Conflicts: 140000 | #Constraints: 49614
234.82/235.61 c #Conflicts: 141000 | #Constraints: 50614
234.82/235.61 c #Conflicts: 142000 | #Constraints: 51614
234.82/235.61 c #Conflicts: 143000 | #Constraints: 52614
234.82/235.61 c #Conflicts: 144000 | #Constraints: 53614
234.82/235.61 c #Conflicts: 145000 | #Constraints: 54614
234.82/235.61 c #Conflicts: 146000 | #Constraints: 55614
234.82/235.61 c #Conflicts: 147000 | #Constraints: 56614
234.82/235.61 c #Conflicts: 148000 | #Constraints: 57614
234.82/235.61 c #Conflicts: 149000 | #Constraints: 58614
348.11/349.23 c #Conflicts: 150000 | #Constraints: 59614
348.11/349.23 c #Conflicts: 151000 | #Constraints: 60614
348.11/349.23 c #Conflicts: 152000 | #Constraints: 61614
348.11/349.23 c #Conflicts: 153000 | #Constraints: 62614
348.11/349.23 c #Conflicts: 154000 | #Constraints: 63614
348.11/349.23 c #Conflicts: 155000 | #Constraints: 64614
348.11/349.23 c #Conflicts: 156000 | #Constraints: 65614
348.11/349.23 c INPROCESSING
348.11/349.23 c GARBAGE COLLECT
348.11/349.23 c #Conflicts: 157000 | #Constraints: 45472
348.11/349.23 c #Conflicts: 158000 | #Constraints: 46472
348.11/349.23 c #Conflicts: 159000 | #Constraints: 47472
348.11/349.23 c #Conflicts: 160000 | #Constraints: 48472
348.11/349.23 c #Conflicts: 161000 | #Constraints: 49472
348.11/349.23 c #Conflicts: 162000 | #Constraints: 50472
348.11/349.23 c #Conflicts: 163000 | #Constraints: 51472
348.11/349.23 c #Conflicts: 164000 | #Constraints: 52472
348.11/349.23 c #Conflicts: 165000 | #Constraints: 53472
348.11/349.23 c #Conflicts: 166000 | #Constraints: 54472
348.11/349.23 c #Conflicts: 167000 | #Constraints: 55472
348.11/349.23 c #Conflicts: 168000 | #Constraints: 56472
348.11/349.23 c INPROCESSING
348.11/349.23 c GARBAGE COLLECT
348.11/349.23 c #Conflicts: 169000 | #Constraints: 45591
348.11/349.23 c #Conflicts: 170000 | #Constraints: 46591
348.11/349.23 c #Conflicts: 171000 | #Constraints: 47591
348.11/349.23 c #Conflicts: 172000 | #Constraints: 48591
348.11/349.23 c #Conflicts: 173000 | #Constraints: 49591
348.11/349.23 c #Conflicts: 174000 | #Constraints: 50591
348.11/349.23 c #Conflicts: 175000 | #Constraints: 51591
348.11/349.23 c #Conflicts: 176000 | #Constraints: 52591
348.11/349.23 c #Conflicts: 177000 | #Constraints: 53591
348.11/349.23 c #Conflicts: 178000 | #Constraints: 54591
348.11/349.23 c #Conflicts: 179000 | #Constraints: 55591
348.11/349.23 c #Conflicts: 180000 | #Constraints: 56591
348.11/349.23 c #Conflicts: 181000 | #Constraints: 57591
348.11/349.23 c #Conflicts: 182000 | #Constraints: 58591
348.11/349.23 c #Conflicts: 183000 | #Constraints: 59591
348.11/349.23 c #Conflicts: 184000 | #Constraints: 60591
348.11/349.23 c #Conflicts: 185000 | #Constraints: 61591
348.11/349.23 c #Conflicts: 186000 | #Constraints: 62591
348.11/349.23 c #Conflicts: 187000 | #Constraints: 63591
348.11/349.23 c #Conflicts: 188000 | #Constraints: 64591
348.11/349.23 c #Conflicts: 189000 | #Constraints: 65591
348.11/349.23 c #Conflicts: 190000 | #Constraints: 66591
348.11/349.23 c #Conflicts: 191000 | #Constraints: 67591
348.11/349.23 c #Conflicts: 192000 | #Constraints: 68591
348.11/349.23 c #Conflicts: 193000 | #Constraints: 69591
348.11/349.23 c #Conflicts: 194000 | #Constraints: 70591
348.11/349.23 c #Conflicts: 195000 | #Constraints: 71591
348.11/349.23 c #Conflicts: 196000 | #Constraints: 72591
348.11/349.23 c INPROCESSING
348.11/349.23 c GARBAGE COLLECT
348.11/349.23 c #Conflicts: 197000 | #Constraints: 49031
348.11/349.23 c #Conflicts: 198000 | #Constraints: 50031
348.11/349.23 c #Conflicts: 199000 | #Constraints: 51031
348.11/349.23 c #Conflicts: 200000 | #Constraints: 52031
348.11/349.23 c #Conflicts: 201000 | #Constraints: 53031
348.11/349.23 c #Conflicts: 202000 | #Constraints: 54031
348.11/349.23 c #Conflicts: 203000 | #Constraints: 55031
348.11/349.23 c #Conflicts: 204000 | #Constraints: 56031
348.11/349.23 c #Conflicts: 205000 | #Constraints: 57031
348.11/349.23 c #Conflicts: 206000 | #Constraints: 58031
348.11/349.23 c #Conflicts: 207000 | #Constraints: 59031
348.11/349.23 c #Conflicts: 208000 | #Constraints: 60031
348.11/349.23 c #Conflicts: 209000 | #Constraints: 61031
348.11/349.23 c INPROCESSING
348.11/349.23 c GARBAGE COLLECT
348.11/349.23 c #Conflicts: 210000 | #Constraints: 48437
348.11/349.23 c #Conflicts: 211000 | #Constraints: 49437
348.11/349.23 c #Conflicts: 212000 | #Constraints: 50437
348.11/349.23 c #Conflicts: 213000 | #Constraints: 51437
348.11/349.23 c #Conflicts: 214000 | #Constraints: 52437
348.11/349.23 c #Conflicts: 215000 | #Constraints: 53437
348.11/349.23 c #Conflicts: 216000 | #Constraints: 54437
348.11/349.23 c #Conflicts: 217000 | #Constraints: 55437
348.11/349.23 c #Conflicts: 218000 | #Constraints: 56437
348.11/349.23 c #Conflicts: 219000 | #Constraints: 57437
348.11/349.23 c #Conflicts: 220000 | #Constraints: 58437
348.11/349.23 c #Conflicts: 221000 | #Constraints: 59437
348.11/349.23 c #Conflicts: 222000 | #Constraints: 60437
348.11/349.23 c #Conflicts: 223000 | #Constraints: 61437
348.11/349.23 c #Conflicts: 224000 | #Constraints: 62437
348.11/349.23 c #Conflicts: 225000 | #Constraints: 63437
397.77/399.02 c #Conflicts: 226000 | #Constraints: 64437
397.77/399.02 c #Conflicts: 227000 | #Constraints: 65437
397.77/399.02 c #Conflicts: 228000 | #Constraints: 66437
397.77/399.02 c #Conflicts: 229000 | #Constraints: 67437
397.77/399.02 c #Conflicts: 230000 | #Constraints: 68437
397.77/399.02 c #Conflicts: 231000 | #Constraints: 69437
397.77/399.02 c #Conflicts: 232000 | #Constraints: 70438
397.77/399.02 c #Conflicts: 233000 | #Constraints: 71438
397.77/399.02 c #Conflicts: 234000 | #Constraints: 72438
397.77/399.02 c #Conflicts: 235000 | #Constraints: 73438
397.77/399.02 c #Conflicts: 236000 | #Constraints: 74438
397.77/399.02 c #Conflicts: 237000 | #Constraints: 75438
397.77/399.02 c #Conflicts: 238000 | #Constraints: 76438
397.77/399.02 c #Conflicts: 239000 | #Constraints: 77438
397.77/399.02 c #Conflicts: 240000 | #Constraints: 78438
397.77/399.02 c INPROCESSING
397.77/399.02 c GARBAGE COLLECT
397.77/399.02 c rational objective 188
438.82/440.29 c #Conflicts: 241000 | #Constraints: 52335
438.82/440.29 c #Conflicts: 242000 | #Constraints: 53335
438.82/440.29 c #Conflicts: 243000 | #Constraints: 54335
438.82/440.29 c #Conflicts: 244000 | #Constraints: 55335
438.82/440.29 c #Conflicts: 245000 | #Constraints: 56335
438.82/440.29 c #Conflicts: 246000 | #Constraints: 57335
438.82/440.29 c #Conflicts: 247000 | #Constraints: 58335
438.82/440.29 c #Conflicts: 248000 | #Constraints: 59335
438.82/440.29 c #Conflicts: 249000 | #Constraints: 60335
438.82/440.29 c #Conflicts: 250000 | #Constraints: 61335
438.82/440.29 c #Conflicts: 251000 | #Constraints: 62335
438.82/440.29 c #Conflicts: 252000 | #Constraints: 63335
438.82/440.29 c #Conflicts: 253000 | #Constraints: 64335
438.82/440.29 c #Conflicts: 254000 | #Constraints: 65335
438.82/440.29 c INPROCESSING
438.82/440.29 c GARBAGE COLLECT
438.82/440.29 c rational objective 188
577.29/579.14 c #Conflicts: 255000 | #Constraints: 51537
577.29/579.14 c #Conflicts: 256000 | #Constraints: 52537
577.29/579.14 c #Conflicts: 257000 | #Constraints: 53537
577.29/579.14 c #Conflicts: 258000 | #Constraints: 54537
577.29/579.14 c #Conflicts: 259000 | #Constraints: 55537
577.29/579.14 c #Conflicts: 260000 | #Constraints: 56537
577.29/579.14 c #Conflicts: 261000 | #Constraints: 57537
577.29/579.14 c #Conflicts: 262000 | #Constraints: 58537
577.29/579.14 c #Conflicts: 263000 | #Constraints: 59537
577.29/579.14 c #Conflicts: 264000 | #Constraints: 60537
577.29/579.14 c #Conflicts: 265000 | #Constraints: 61537
577.29/579.14 c #Conflicts: 266000 | #Constraints: 62537
577.29/579.14 c #Conflicts: 267000 | #Constraints: 63537
577.29/579.14 c #Conflicts: 268000 | #Constraints: 64537
577.29/579.14 c #Conflicts: 269000 | #Constraints: 65537
577.29/579.14 c #Conflicts: 270000 | #Constraints: 66537
577.29/579.14 c #Conflicts: 271000 | #Constraints: 67537
577.29/579.14 c #Conflicts: 272000 | #Constraints: 68537
577.29/579.14 c #Conflicts: 273000 | #Constraints: 69537
577.29/579.14 c #Conflicts: 274000 | #Constraints: 70537
577.29/579.14 c #Conflicts: 275000 | #Constraints: 71537
577.29/579.14 c #Conflicts: 276000 | #Constraints: 72537
577.29/579.14 c #Conflicts: 277000 | #Constraints: 73537
577.29/579.14 c #Conflicts: 278000 | #Constraints: 74537
577.29/579.14 c #Conflicts: 279000 | #Constraints: 75537
577.29/579.14 c #Conflicts: 280000 | #Constraints: 76537
577.29/579.14 c #Conflicts: 281000 | #Constraints: 77537
577.29/579.14 c #Conflicts: 282000 | #Constraints: 78537
577.29/579.14 c #Conflicts: 283000 | #Constraints: 79537
577.29/579.14 c #Conflicts: 284000 | #Constraints: 80537
577.29/579.14 c #Conflicts: 285000 | #Constraints: 81537
577.29/579.14 c #Conflicts: 286000 | #Constraints: 82537
577.29/579.14 c #Conflicts: 287000 | #Constraints: 83537
577.29/579.14 c #Conflicts: 288000 | #Constraints: 84537
577.29/579.14 c INPROCESSING
577.29/579.14 c GARBAGE COLLECT
577.29/579.14 c #Conflicts: 289000 | #Constraints: 55424
577.29/579.14 c #Conflicts: 290000 | #Constraints: 56424
577.29/579.14 c #Conflicts: 291000 | #Constraints: 57424
577.29/579.14 c #Conflicts: 292000 | #Constraints: 58424
577.29/579.14 c #Conflicts: 293000 | #Constraints: 59424
577.29/579.14 c #Conflicts: 294000 | #Constraints: 60424
577.29/579.14 c #Conflicts: 295000 | #Constraints: 61424
577.29/579.14 c #Conflicts: 296000 | #Constraints: 62424
577.29/579.14 c #Conflicts: 297000 | #Constraints: 63424
577.29/579.14 c #Conflicts: 298000 | #Constraints: 64424
577.29/579.14 c #Conflicts: 299000 | #Constraints: 65424
577.29/579.14 c #Conflicts: 300000 | #Constraints: 66424
577.29/579.14 c #Conflicts: 301000 | #Constraints: 67424
577.29/579.14 c #Conflicts: 302000 | #Constraints: 68424
577.29/579.14 c #Conflicts: 303000 | #Constraints: 69424
577.29/579.14 c INPROCESSING
577.29/579.14 c GARBAGE COLLECT
577.29/579.14 c #Conflicts: 304000 | #Constraints: 54581
577.29/579.14 c #Conflicts: 305000 | #Constraints: 55581
577.29/579.14 c #Conflicts: 306000 | #Constraints: 56581
577.29/579.14 c #Conflicts: 307000 | #Constraints: 57581
577.29/579.14 c #Conflicts: 308000 | #Constraints: 58581
577.29/579.14 c #Conflicts: 309000 | #Constraints: 59581
577.29/579.14 c #Conflicts: 310000 | #Constraints: 60581
577.29/579.14 c #Conflicts: 311000 | #Constraints: 61581
577.29/579.14 c #Conflicts: 312000 | #Constraints: 62581
577.29/579.14 c #Conflicts: 313000 | #Constraints: 63581
577.29/579.14 c #Conflicts: 314000 | #Constraints: 64581
577.29/579.14 c #Conflicts: 315000 | #Constraints: 65581
577.29/579.14 c #Conflicts: 316000 | #Constraints: 66581
577.29/579.14 c #Conflicts: 317000 | #Constraints: 67581
577.29/579.14 c #Conflicts: 318000 | #Constraints: 68581
577.29/579.14 c #Conflicts: 319000 | #Constraints: 69581
577.29/579.14 c #Conflicts: 320000 | #Constraints: 70581
577.29/579.14 c #Conflicts: 321000 | #Constraints: 71581
577.29/579.14 c #Conflicts: 322000 | #Constraints: 72581
577.29/579.14 c #Conflicts: 323000 | #Constraints: 73581
577.29/579.14 c #Conflicts: 324000 | #Constraints: 74581
577.29/579.14 c #Conflicts: 325000 | #Constraints: 75581
577.29/579.14 c #Conflicts: 326000 | #Constraints: 76581
577.29/579.14 c #Conflicts: 327000 | #Constraints: 77581
577.29/579.14 c #Conflicts: 328000 | #Constraints: 78581
577.29/579.14 c #Conflicts: 329000 | #Constraints: 79581
577.29/579.14 c #Conflicts: 330000 | #Constraints: 80581
577.29/579.14 c #Conflicts: 331000 | #Constraints: 81581
577.29/579.14 c #Conflicts: 332000 | #Constraints: 82581
802.65/805.26 c #Conflicts: 333000 | #Constraints: 83581
802.65/805.26 c #Conflicts: 334000 | #Constraints: 84581
802.65/805.26 c #Conflicts: 335000 | #Constraints: 85581
802.65/805.26 c #Conflicts: 336000 | #Constraints: 86581
802.65/805.26 c #Conflicts: 337000 | #Constraints: 87581
802.65/805.26 c #Conflicts: 338000 | #Constraints: 88581
802.65/805.26 c #Conflicts: 339000 | #Constraints: 89581
802.65/805.26 c #Conflicts: 340000 | #Constraints: 90581
802.65/805.26 c INPROCESSING
802.65/805.26 c GARBAGE COLLECT
802.65/805.26 c #Conflicts: 341000 | #Constraints: 58104
802.65/805.26 c #Conflicts: 342000 | #Constraints: 59104
802.65/805.26 c #Conflicts: 343000 | #Constraints: 60104
802.65/805.26 c #Conflicts: 344000 | #Constraints: 61104
802.65/805.26 c #Conflicts: 345000 | #Constraints: 62104
802.65/805.26 c #Conflicts: 346000 | #Constraints: 63104
802.65/805.26 c #Conflicts: 347000 | #Constraints: 64104
802.65/805.26 c #Conflicts: 348000 | #Constraints: 65104
802.65/805.26 c #Conflicts: 349000 | #Constraints: 66104
802.65/805.26 c #Conflicts: 350000 | #Constraints: 67104
802.65/805.26 c #Conflicts: 351000 | #Constraints: 68104
802.65/805.26 c #Conflicts: 352000 | #Constraints: 69104
802.65/805.26 c #Conflicts: 353000 | #Constraints: 70104
802.65/805.26 c #Conflicts: 354000 | #Constraints: 71104
802.65/805.26 c #Conflicts: 355000 | #Constraints: 72104
802.65/805.26 c #Conflicts: 356000 | #Constraints: 73104
802.65/805.26 c #Conflicts: 357000 | #Constraints: 74104
802.65/805.26 c INPROCESSING
802.65/805.26 c GARBAGE COLLECT
802.65/805.26 c #Conflicts: 358000 | #Constraints: 57874
802.65/805.26 c #Conflicts: 359000 | #Constraints: 58874
802.65/805.26 c #Conflicts: 360000 | #Constraints: 59874
802.65/805.26 c #Conflicts: 361000 | #Constraints: 60874
802.65/805.26 c #Conflicts: 362000 | #Constraints: 61874
802.65/805.26 c #Conflicts: 363000 | #Constraints: 62874
802.65/805.26 c #Conflicts: 364000 | #Constraints: 63874
802.65/805.26 c #Conflicts: 365000 | #Constraints: 64874
802.65/805.26 c #Conflicts: 366000 | #Constraints: 65874
802.65/805.26 c #Conflicts: 367000 | #Constraints: 66874
802.65/805.26 c #Conflicts: 368000 | #Constraints: 67874
802.65/805.26 c #Conflicts: 369000 | #Constraints: 68874
802.65/805.26 c #Conflicts: 370000 | #Constraints: 69874
802.65/805.26 c #Conflicts: 371000 | #Constraints: 70874
802.65/805.26 c #Conflicts: 372000 | #Constraints: 71874
802.65/805.26 c #Conflicts: 373000 | #Constraints: 72874
802.65/805.26 c #Conflicts: 374000 | #Constraints: 73874
802.65/805.26 c #Conflicts: 375000 | #Constraints: 74875
802.65/805.26 c #Conflicts: 376000 | #Constraints: 75875
802.65/805.26 c #Conflicts: 377000 | #Constraints: 76875
802.65/805.26 c #Conflicts: 378000 | #Constraints: 77875
802.65/805.26 c #Conflicts: 379000 | #Constraints: 78875
802.65/805.26 c #Conflicts: 380000 | #Constraints: 79875
802.65/805.26 c #Conflicts: 381000 | #Constraints: 80875
802.65/805.26 c #Conflicts: 382000 | #Constraints: 81875
802.65/805.26 c #Conflicts: 383000 | #Constraints: 82875
802.65/805.26 c #Conflicts: 384000 | #Constraints: 83875
802.65/805.26 c #Conflicts: 385000 | #Constraints: 84875
802.65/805.26 c #Conflicts: 386000 | #Constraints: 85875
802.65/805.26 c #Conflicts: 387000 | #Constraints: 86875
802.65/805.26 c #Conflicts: 388000 | #Constraints: 87875
802.65/805.26 c #Conflicts: 389000 | #Constraints: 88875
802.65/805.26 c #Conflicts: 390000 | #Constraints: 89875
802.65/805.26 c #Conflicts: 391000 | #Constraints: 90875
802.65/805.26 c #Conflicts: 392000 | #Constraints: 91875
802.65/805.26 c #Conflicts: 393000 | #Constraints: 92875
802.65/805.26 c #Conflicts: 394000 | #Constraints: 93875
802.65/805.26 c #Conflicts: 395000 | #Constraints: 94875
802.65/805.26 c #Conflicts: 396000 | #Constraints: 95875
802.65/805.26 c #Conflicts: 397000 | #Constraints: 96875
802.65/805.26 c INPROCESSING
802.65/805.26 c GARBAGE COLLECT
802.65/805.26 c #Conflicts: 398000 | #Constraints: 61364
802.65/805.26 c #Conflicts: 399000 | #Constraints: 62364
802.65/805.26 c #Conflicts: 400000 | #Constraints: 63364
802.65/805.26 c #Conflicts: 401000 | #Constraints: 64364
802.65/805.26 c #Conflicts: 402000 | #Constraints: 65364
802.65/805.26 c #Conflicts: 403000 | #Constraints: 66364
802.65/805.26 c #Conflicts: 404000 | #Constraints: 67364
802.65/805.26 c #Conflicts: 405000 | #Constraints: 68364
802.65/805.26 c #Conflicts: 406000 | #Constraints: 69364
802.65/805.26 c #Conflicts: 407000 | #Constraints: 70364
802.65/805.26 c #Conflicts: 408000 | #Constraints: 71364
802.65/805.26 c #Conflicts: 409000 | #Constraints: 72364
931.00/933.93 c #Conflicts: 410000 | #Constraints: 73364
931.00/933.93 c #Conflicts: 411000 | #Constraints: 74364
931.00/933.93 c #Conflicts: 412000 | #Constraints: 75364
931.00/933.93 c #Conflicts: 413000 | #Constraints: 76364
931.00/933.93 c #Conflicts: 414000 | #Constraints: 77364
931.00/933.93 c #Conflicts: 415000 | #Constraints: 78364
931.00/933.93 c INPROCESSING
931.00/933.93 c GARBAGE COLLECT
931.00/933.93 c #Conflicts: 416000 | #Constraints: 60809
931.00/933.93 c #Conflicts: 417000 | #Constraints: 61809
931.00/933.93 c #Conflicts: 418000 | #Constraints: 62809
931.00/933.93 c #Conflicts: 419000 | #Constraints: 63809
931.00/933.93 c #Conflicts: 420000 | #Constraints: 64809
931.00/933.93 c #Conflicts: 421000 | #Constraints: 65809
931.00/933.93 c #Conflicts: 422000 | #Constraints: 66809
931.00/933.93 c #Conflicts: 423000 | #Constraints: 67809
931.00/933.93 c #Conflicts: 424000 | #Constraints: 68809
931.00/933.93 c #Conflicts: 425000 | #Constraints: 69809
931.00/933.93 c #Conflicts: 426000 | #Constraints: 70809
931.00/933.93 c #Conflicts: 427000 | #Constraints: 71809
931.00/933.93 c #Conflicts: 428000 | #Constraints: 72809
931.00/933.93 c #Conflicts: 429000 | #Constraints: 73809
931.00/933.93 c #Conflicts: 430000 | #Constraints: 74809
931.00/933.93 c #Conflicts: 431000 | #Constraints: 75809
931.00/933.93 c #Conflicts: 432000 | #Constraints: 76809
931.00/933.93 c #Conflicts: 433000 | #Constraints: 77809
931.00/933.93 c #Conflicts: 434000 | #Constraints: 78809
931.00/933.93 c #Conflicts: 435000 | #Constraints: 79809
931.00/933.93 c #Conflicts: 436000 | #Constraints: 80809
931.00/933.93 c #Conflicts: 437000 | #Constraints: 81809
931.00/933.93 c #Conflicts: 438000 | #Constraints: 82809
931.00/933.93 c #Conflicts: 439000 | #Constraints: 83809
931.00/933.93 c #Conflicts: 440000 | #Constraints: 84809
931.00/933.93 c #Conflicts: 441000 | #Constraints: 85809
931.00/933.93 c #Conflicts: 442000 | #Constraints: 86809
931.00/933.93 c #Conflicts: 443000 | #Constraints: 87809
931.00/933.93 c #Conflicts: 444000 | #Constraints: 88809
931.00/933.93 c #Conflicts: 445000 | #Constraints: 89809
931.00/933.93 c #Conflicts: 446000 | #Constraints: 90809
931.00/933.93 c #Conflicts: 447000 | #Constraints: 91809
931.00/933.93 c #Conflicts: 448000 | #Constraints: 92809
931.00/933.93 c #Conflicts: 449000 | #Constraints: 93809
931.00/933.93 c #Conflicts: 450000 | #Constraints: 94809
931.00/933.93 c #Conflicts: 451000 | #Constraints: 95809
931.00/933.93 c #Conflicts: 452000 | #Constraints: 96809
931.00/933.93 c #Conflicts: 453000 | #Constraints: 97809
931.00/933.93 c #Conflicts: 454000 | #Constraints: 98809
931.00/933.93 c #Conflicts: 455000 | #Constraints: 99809
931.00/933.93 c #Conflicts: 456000 | #Constraints: 100809
931.00/933.93 c #Conflicts: 457000 | #Constraints: 101809
931.00/933.93 c #Conflicts: 458000 | #Constraints: 102809
931.00/933.93 c #Conflicts: 459000 | #Constraints: 103809
931.00/933.93 c INPROCESSING
931.00/933.93 c GARBAGE COLLECT
931.00/933.93 c #Conflicts: 460000 | #Constraints: 65376
931.00/933.93 c #Conflicts: 461000 | #Constraints: 66376
931.00/933.93 c #Conflicts: 462000 | #Constraints: 67376
931.00/933.93 c #Conflicts: 463000 | #Constraints: 68376
931.00/933.93 c #Conflicts: 464000 | #Constraints: 69376
931.00/933.93 c #Conflicts: 465000 | #Constraints: 70376
931.00/933.93 c #Conflicts: 466000 | #Constraints: 71376
931.00/933.93 c #Conflicts: 467000 | #Constraints: 72376
931.00/933.93 c #Conflicts: 468000 | #Constraints: 73376
931.00/933.93 c #Conflicts: 469000 | #Constraints: 74376
931.00/933.93 c #Conflicts: 470000 | #Constraints: 75376
931.00/933.93 c #Conflicts: 471000 | #Constraints: 76376
931.00/933.93 c #Conflicts: 472000 | #Constraints: 77376
931.00/933.93 c #Conflicts: 473000 | #Constraints: 78376
931.00/933.93 c #Conflicts: 474000 | #Constraints: 79376
931.00/933.93 c #Conflicts: 475000 | #Constraints: 80376
931.00/933.93 c #Conflicts: 476000 | #Constraints: 81376
931.00/933.93 c #Conflicts: 477000 | #Constraints: 82376
931.00/933.93 c #Conflicts: 478000 | #Constraints: 83376
931.00/933.93 c INPROCESSING
931.00/933.93 c GARBAGE COLLECT
931.00/933.93 c #Conflicts: 479000 | #Constraints: 63782
931.00/933.93 c #Conflicts: 480000 | #Constraints: 64782
931.00/933.93 c #Conflicts: 481000 | #Constraints: 65782
931.00/933.93 c #Conflicts: 482000 | #Constraints: 66782
931.00/933.93 c #Conflicts: 483000 | #Constraints: 67782
931.00/933.93 c #Conflicts: 484000 | #Constraints: 68782
931.00/933.93 c #Conflicts: 485000 | #Constraints: 69782
931.00/933.93 c #Conflicts: 486000 | #Constraints: 70782
1144.34/1147.87 c #Conflicts: 487000 | #Constraints: 71782
1144.34/1147.87 c #Conflicts: 488000 | #Constraints: 72782
1144.34/1147.87 c #Conflicts: 489000 | #Constraints: 73782
1144.34/1147.87 c #Conflicts: 490000 | #Constraints: 74782
1144.34/1147.87 c #Conflicts: 491000 | #Constraints: 75782
1144.34/1147.87 c #Conflicts: 492000 | #Constraints: 76782
1144.34/1147.87 c #Conflicts: 493000 | #Constraints: 77782
1144.34/1147.87 c #Conflicts: 494000 | #Constraints: 78782
1144.34/1147.87 c #Conflicts: 495000 | #Constraints: 79782
1144.34/1147.87 c #Conflicts: 496000 | #Constraints: 80782
1144.34/1147.87 c #Conflicts: 497000 | #Constraints: 81782
1144.34/1147.87 c #Conflicts: 498000 | #Constraints: 82782
1144.34/1147.87 c #Conflicts: 499000 | #Constraints: 83782
1144.34/1147.87 c #Conflicts: 500000 | #Constraints: 84782
1144.34/1147.87 c #Conflicts: 501000 | #Constraints: 85782
1144.34/1147.87 c #Conflicts: 502000 | #Constraints: 86782
1144.34/1147.87 c #Conflicts: 503000 | #Constraints: 87782
1144.34/1147.87 c #Conflicts: 504000 | #Constraints: 88782
1144.34/1147.87 c #Conflicts: 505000 | #Constraints: 89782
1144.34/1147.87 c #Conflicts: 506000 | #Constraints: 90782
1144.34/1147.87 c #Conflicts: 507000 | #Constraints: 91782
1144.34/1147.87 c #Conflicts: 508000 | #Constraints: 92782
1144.34/1147.87 c #Conflicts: 509000 | #Constraints: 93782
1144.34/1147.87 c #Conflicts: 510000 | #Constraints: 94782
1144.34/1147.87 c #Conflicts: 511000 | #Constraints: 95782
1144.34/1147.87 c #Conflicts: 512000 | #Constraints: 96782
1144.34/1147.87 c #Conflicts: 513000 | #Constraints: 97782
1144.34/1147.87 c #Conflicts: 514000 | #Constraints: 98782
1144.34/1147.87 c #Conflicts: 515000 | #Constraints: 99782
1144.34/1147.87 c #Conflicts: 516000 | #Constraints: 100782
1144.34/1147.87 c #Conflicts: 517000 | #Constraints: 101782
1144.34/1147.87 c #Conflicts: 518000 | #Constraints: 102782
1144.34/1147.87 c #Conflicts: 519000 | #Constraints: 103782
1144.34/1147.87 c #Conflicts: 520000 | #Constraints: 104782
1144.34/1147.87 c #Conflicts: 521000 | #Constraints: 105782
1144.34/1147.87 c #Conflicts: 522000 | #Constraints: 106782
1144.34/1147.87 c #Conflicts: 523000 | #Constraints: 107782
1144.34/1147.87 c #Conflicts: 524000 | #Constraints: 108782
1144.34/1147.87 c #Conflicts: 525000 | #Constraints: 109782
1144.34/1147.87 c INPROCESSING
1144.34/1147.87 c GARBAGE COLLECT
1144.34/1147.87 c #Conflicts: 526000 | #Constraints: 68343
1144.34/1147.87 c #Conflicts: 527000 | #Constraints: 69343
1144.34/1147.87 c #Conflicts: 528000 | #Constraints: 70343
1144.34/1147.87 c #Conflicts: 529000 | #Constraints: 71343
1144.34/1147.87 c #Conflicts: 530000 | #Constraints: 72343
1144.34/1147.87 c #Conflicts: 531000 | #Constraints: 73343
1144.34/1147.87 c #Conflicts: 532000 | #Constraints: 74343
1144.34/1147.87 c #Conflicts: 533000 | #Constraints: 75343
1144.34/1147.87 c #Conflicts: 534000 | #Constraints: 76343
1144.34/1147.87 c #Conflicts: 535000 | #Constraints: 77343
1144.34/1147.87 c #Conflicts: 536000 | #Constraints: 78343
1144.34/1147.87 c #Conflicts: 537000 | #Constraints: 79343
1144.34/1147.87 c #Conflicts: 538000 | #Constraints: 80343
1144.34/1147.87 c #Conflicts: 539000 | #Constraints: 81343
1144.34/1147.87 c #Conflicts: 540000 | #Constraints: 82343
1144.34/1147.87 c #Conflicts: 541000 | #Constraints: 83343
1144.34/1147.87 c #Conflicts: 542000 | #Constraints: 84343
1144.34/1147.87 c #Conflicts: 543000 | #Constraints: 85344
1144.34/1147.87 c #Conflicts: 544000 | #Constraints: 86344
1144.34/1147.87 c #Conflicts: 545000 | #Constraints: 87344
1144.34/1147.87 c INPROCESSING
1144.34/1147.87 c GARBAGE COLLECT
1144.34/1147.87 c #Conflicts: 546000 | #Constraints: 66365
1144.34/1147.87 c #Conflicts: 547000 | #Constraints: 67365
1144.34/1147.87 c #Conflicts: 548000 | #Constraints: 68365
1144.34/1147.87 c #Conflicts: 549000 | #Constraints: 69365
1144.34/1147.87 c #Conflicts: 550000 | #Constraints: 70365
1144.34/1147.87 c #Conflicts: 551000 | #Constraints: 71365
1144.34/1147.87 c #Conflicts: 552000 | #Constraints: 72365
1144.34/1147.87 c #Conflicts: 553000 | #Constraints: 73365
1144.34/1147.87 c #Conflicts: 554000 | #Constraints: 74365
1144.34/1147.87 c #Conflicts: 555000 | #Constraints: 75365
1144.34/1147.87 c #Conflicts: 556000 | #Constraints: 76365
1144.34/1147.87 c #Conflicts: 557000 | #Constraints: 77365
1144.34/1147.87 c #Conflicts: 558000 | #Constraints: 78365
1144.34/1147.87 c #Conflicts: 559000 | #Constraints: 79365
1144.34/1147.87 c #Conflicts: 560000 | #Constraints: 80365
1144.34/1147.87 c #Conflicts: 561000 | #Constraints: 81365
1144.34/1147.87 c #Conflicts: 562000 | #Constraints: 82365
1144.34/1147.87 c #Conflicts: 563000 | #Constraints: 83365
1297.74/1301.60 c #Conflicts: 564000 | #Constraints: 84365
1297.74/1301.60 c #Conflicts: 565000 | #Constraints: 85365
1297.74/1301.60 c #Conflicts: 566000 | #Constraints: 86365
1297.74/1301.60 c #Conflicts: 567000 | #Constraints: 87365
1297.74/1301.60 c #Conflicts: 568000 | #Constraints: 88365
1297.74/1301.60 c #Conflicts: 569000 | #Constraints: 89365
1297.74/1301.60 c #Conflicts: 570000 | #Constraints: 90365
1297.74/1301.60 c #Conflicts: 571000 | #Constraints: 91365
1297.74/1301.60 c #Conflicts: 572000 | #Constraints: 92365
1297.74/1301.60 c #Conflicts: 573000 | #Constraints: 93365
1297.74/1301.60 c #Conflicts: 574000 | #Constraints: 94365
1297.74/1301.60 c #Conflicts: 575000 | #Constraints: 95365
1297.74/1301.60 c #Conflicts: 576000 | #Constraints: 96365
1297.74/1301.60 c #Conflicts: 577000 | #Constraints: 97365
1297.74/1301.60 c #Conflicts: 578000 | #Constraints: 98365
1297.74/1301.60 c #Conflicts: 579000 | #Constraints: 99365
1297.74/1301.60 c #Conflicts: 580000 | #Constraints: 100365
1297.74/1301.60 c #Conflicts: 581000 | #Constraints: 101365
1297.74/1301.60 c #Conflicts: 582000 | #Constraints: 102365
1297.74/1301.60 c #Conflicts: 583000 | #Constraints: 103365
1297.74/1301.60 c #Conflicts: 584000 | #Constraints: 104365
1297.74/1301.60 c #Conflicts: 585000 | #Constraints: 105365
1297.74/1301.60 c #Conflicts: 586000 | #Constraints: 106365
1297.74/1301.60 c #Conflicts: 587000 | #Constraints: 107365
1297.74/1301.60 c #Conflicts: 588000 | #Constraints: 108365
1297.74/1301.60 c #Conflicts: 589000 | #Constraints: 109365
1297.74/1301.60 c #Conflicts: 590000 | #Constraints: 110365
1297.74/1301.60 c #Conflicts: 591000 | #Constraints: 111365
1297.74/1301.60 c #Conflicts: 592000 | #Constraints: 112365
1297.74/1301.60 c #Conflicts: 593000 | #Constraints: 113365
1297.74/1301.60 c #Conflicts: 594000 | #Constraints: 114365
1297.74/1301.60 c #Conflicts: 595000 | #Constraints: 115365
1297.74/1301.60 c INPROCESSING
1297.74/1301.60 c GARBAGE COLLECT
1297.74/1301.60 c #Conflicts: 596000 | #Constraints: 71057
1297.74/1301.60 c #Conflicts: 597000 | #Constraints: 72057
1297.74/1301.60 c #Conflicts: 598000 | #Constraints: 73057
1297.74/1301.60 c #Conflicts: 599000 | #Constraints: 74057
1297.74/1301.60 c #Conflicts: 600000 | #Constraints: 75057
1297.74/1301.60 c #Conflicts: 601000 | #Constraints: 76057
1297.74/1301.60 c #Conflicts: 602000 | #Constraints: 77057
1297.74/1301.60 c #Conflicts: 603000 | #Constraints: 78057
1297.74/1301.60 c #Conflicts: 604000 | #Constraints: 79057
1297.74/1301.60 c #Conflicts: 605000 | #Constraints: 80057
1297.74/1301.60 c #Conflicts: 606000 | #Constraints: 81057
1297.74/1301.60 c #Conflicts: 607000 | #Constraints: 82057
1297.74/1301.60 c #Conflicts: 608000 | #Constraints: 83057
1297.74/1301.60 c #Conflicts: 609000 | #Constraints: 84057
1297.74/1301.60 c #Conflicts: 610000 | #Constraints: 85057
1297.74/1301.60 c #Conflicts: 611000 | #Constraints: 86057
1297.74/1301.60 c #Conflicts: 612000 | #Constraints: 87057
1297.74/1301.60 c #Conflicts: 613000 | #Constraints: 88057
1297.74/1301.60 c #Conflicts: 614000 | #Constraints: 89057
1297.74/1301.60 c #Conflicts: 615000 | #Constraints: 90057
1297.74/1301.60 c #Conflicts: 616000 | #Constraints: 91057
1297.74/1301.60 c #Conflicts: 617000 | #Constraints: 92057
1297.74/1301.60 c INPROCESSING
1297.74/1301.60 c GARBAGE COLLECT
1297.74/1301.60 c #Conflicts: 618000 | #Constraints: 69679
1297.74/1301.60 c #Conflicts: 619000 | #Constraints: 70679
1297.74/1301.60 c #Conflicts: 620000 | #Constraints: 71679
1297.74/1301.60 c #Conflicts: 621000 | #Constraints: 72679
1297.74/1301.60 c #Conflicts: 622000 | #Constraints: 73679
1297.74/1301.60 c #Conflicts: 623000 | #Constraints: 74679
1297.74/1301.60 c #Conflicts: 624000 | #Constraints: 75679
1297.74/1301.60 c #Conflicts: 625000 | #Constraints: 76679
1297.74/1301.60 c #Conflicts: 626000 | #Constraints: 77679
1297.74/1301.60 c #Conflicts: 627000 | #Constraints: 78679
1297.74/1301.60 c #Conflicts: 628000 | #Constraints: 79679
1297.74/1301.60 c #Conflicts: 629000 | #Constraints: 80679
1297.74/1301.60 c #Conflicts: 630000 | #Constraints: 81679
1297.74/1301.60 c #Conflicts: 631000 | #Constraints: 82679
1297.74/1301.60 c #Conflicts: 632000 | #Constraints: 83679
1297.74/1301.60 c #Conflicts: 633000 | #Constraints: 84679
1297.74/1301.60 c #Conflicts: 634000 | #Constraints: 85679
1297.74/1301.60 c #Conflicts: 635000 | #Constraints: 86679
1297.74/1301.60 c #Conflicts: 636000 | #Constraints: 87679
1297.74/1301.60 c #Conflicts: 637000 | #Constraints: 88679
1297.74/1301.60 c #Conflicts: 638000 | #Constraints: 89679
1297.74/1301.60 c #Conflicts: 639000 | #Constraints: 90679
1297.74/1301.60 c #Conflicts: 640000 | #Constraints: 91679
1297.74/1301.60 c #Conflicts: 641000 | #Constraints: 92679
1574.01/1578.61 c #Conflicts: 642000 | #Constraints: 93679
1574.01/1578.61 c #Conflicts: 643000 | #Constraints: 94679
1574.01/1578.61 c #Conflicts: 644000 | #Constraints: 95679
1574.01/1578.61 c #Conflicts: 645000 | #Constraints: 96679
1574.01/1578.61 c #Conflicts: 646000 | #Constraints: 97679
1574.01/1578.61 c #Conflicts: 647000 | #Constraints: 98679
1574.01/1578.61 c #Conflicts: 648000 | #Constraints: 99679
1574.01/1578.61 c #Conflicts: 649000 | #Constraints: 100679
1574.01/1578.61 c #Conflicts: 650000 | #Constraints: 101679
1574.01/1578.61 c #Conflicts: 651000 | #Constraints: 102679
1574.01/1578.61 c #Conflicts: 652000 | #Constraints: 103679
1574.01/1578.61 c #Conflicts: 653000 | #Constraints: 104679
1574.01/1578.61 c #Conflicts: 654000 | #Constraints: 105679
1574.01/1578.61 c #Conflicts: 655000 | #Constraints: 106679
1574.01/1578.61 c #Conflicts: 656000 | #Constraints: 107679
1574.01/1578.61 c #Conflicts: 657000 | #Constraints: 108679
1574.01/1578.61 c #Conflicts: 658000 | #Constraints: 109679
1574.01/1578.61 c #Conflicts: 659000 | #Constraints: 110679
1574.01/1578.61 c #Conflicts: 660000 | #Constraints: 111679
1574.01/1578.61 c #Conflicts: 661000 | #Constraints: 112679
1574.01/1578.61 c #Conflicts: 662000 | #Constraints: 113679
1574.01/1578.61 c #Conflicts: 663000 | #Constraints: 114679
1574.01/1578.61 c #Conflicts: 664000 | #Constraints: 115679
1574.01/1578.61 c #Conflicts: 665000 | #Constraints: 116679
1574.01/1578.61 c #Conflicts: 666000 | #Constraints: 117679
1574.01/1578.61 c #Conflicts: 667000 | #Constraints: 118679
1574.01/1578.61 c #Conflicts: 668000 | #Constraints: 119679
1574.01/1578.61 c #Conflicts: 669000 | #Constraints: 120679
1574.01/1578.61 c INPROCESSING
1574.01/1578.61 c GARBAGE COLLECT
1574.01/1578.61 c #Conflicts: 670000 | #Constraints: 73446
1574.01/1578.61 c #Conflicts: 671000 | #Constraints: 74446
1574.01/1578.61 c #Conflicts: 672000 | #Constraints: 75446
1574.01/1578.61 c #Conflicts: 673000 | #Constraints: 76446
1574.01/1578.61 c #Conflicts: 674000 | #Constraints: 77446
1574.01/1578.61 c #Conflicts: 675000 | #Constraints: 78446
1574.01/1578.61 c #Conflicts: 676000 | #Constraints: 79446
1574.01/1578.61 c #Conflicts: 677000 | #Constraints: 80446
1574.01/1578.61 c #Conflicts: 678000 | #Constraints: 81446
1574.01/1578.61 c #Conflicts: 679000 | #Constraints: 82446
1574.01/1578.61 c #Conflicts: 680000 | #Constraints: 83446
1574.01/1578.61 c #Conflicts: 681000 | #Constraints: 84446
1574.01/1578.61 c #Conflicts: 682000 | #Constraints: 85446
1574.01/1578.61 c #Conflicts: 683000 | #Constraints: 86446
1574.01/1578.61 c #Conflicts: 684000 | #Constraints: 87446
1574.01/1578.61 c #Conflicts: 685000 | #Constraints: 88446
1574.01/1578.61 c #Conflicts: 686000 | #Constraints: 89446
1574.01/1578.61 c #Conflicts: 687000 | #Constraints: 90446
1574.01/1578.61 c #Conflicts: 688000 | #Constraints: 91446
1574.01/1578.61 c #Conflicts: 689000 | #Constraints: 92446
1574.01/1578.61 c #Conflicts: 690000 | #Constraints: 93446
1574.01/1578.61 c #Conflicts: 691000 | #Constraints: 94446
1574.01/1578.61 c #Conflicts: 692000 | #Constraints: 95446
1574.01/1578.61 c #Conflicts: 693000 | #Constraints: 96446
1574.01/1578.61 c INPROCESSING
1574.01/1578.61 c GARBAGE COLLECT
1574.01/1578.61 c #Conflicts: 694000 | #Constraints: 73379
1574.01/1578.61 c #Conflicts: 695000 | #Constraints: 74379
1574.01/1578.61 c #Conflicts: 696000 | #Constraints: 75379
1574.01/1578.61 c #Conflicts: 697000 | #Constraints: 76379
1574.01/1578.61 c #Conflicts: 698000 | #Constraints: 77379
1574.01/1578.61 c #Conflicts: 699000 | #Constraints: 78379
1574.01/1578.61 c #Conflicts: 700000 | #Constraints: 79379
1574.01/1578.61 c #Conflicts: 701000 | #Constraints: 80379
1574.01/1578.61 c #Conflicts: 702000 | #Constraints: 81379
1574.01/1578.61 c #Conflicts: 703000 | #Constraints: 82379
1574.01/1578.61 c #Conflicts: 704000 | #Constraints: 83379
1574.01/1578.61 c #Conflicts: 705000 | #Constraints: 84379
1574.01/1578.61 c #Conflicts: 706000 | #Constraints: 85379
1574.01/1578.61 c #Conflicts: 707000 | #Constraints: 86379
1574.01/1578.61 c #Conflicts: 708000 | #Constraints: 87379
1574.01/1578.61 c #Conflicts: 709000 | #Constraints: 88379
1574.01/1578.61 c #Conflicts: 710000 | #Constraints: 89379
1574.01/1578.61 c #Conflicts: 711000 | #Constraints: 90379
1574.01/1578.61 c #Conflicts: 712000 | #Constraints: 91379
1574.01/1578.61 c #Conflicts: 713000 | #Constraints: 92379
1574.01/1578.61 c #Conflicts: 714000 | #Constraints: 93379
1574.01/1578.61 c #Conflicts: 715000 | #Constraints: 94379
1574.01/1578.61 c #Conflicts: 716000 | #Constraints: 95379
1574.01/1578.61 c #Conflicts: 717000 | #Constraints: 96379
1574.01/1578.61 c #Conflicts: 718000 | #Constraints: 97379
1799.03/1804.25 c #Conflicts: 719000 | #Constraints: 98379
1799.03/1804.25 c #Conflicts: 720000 | #Constraints: 99379
1799.03/1804.25 c #Conflicts: 721000 | #Constraints: 100379
1799.03/1804.25 c #Conflicts: 722000 | #Constraints: 101379
1799.03/1804.25 c #Conflicts: 723000 | #Constraints: 102379
1799.03/1804.25 c #Conflicts: 724000 | #Constraints: 103379
1799.03/1804.25 c #Conflicts: 725000 | #Constraints: 104379
1799.03/1804.25 c #Conflicts: 726000 | #Constraints: 105379
1799.03/1804.25 c #Conflicts: 727000 | #Constraints: 106379
1799.03/1804.25 c #Conflicts: 728000 | #Constraints: 107379
1799.03/1804.25 c #Conflicts: 729000 | #Constraints: 108379
1799.03/1804.25 c #Conflicts: 730000 | #Constraints: 109379
1799.03/1804.25 c #Conflicts: 731000 | #Constraints: 110379
1799.03/1804.25 c #Conflicts: 732000 | #Constraints: 111379
1799.03/1804.25 c #Conflicts: 733000 | #Constraints: 112379
1799.03/1804.25 c #Conflicts: 734000 | #Constraints: 113379
1799.03/1804.25 c #Conflicts: 735000 | #Constraints: 114379
1799.03/1804.25 c #Conflicts: 736000 | #Constraints: 115379
1799.03/1804.25 c #Conflicts: 737000 | #Constraints: 116379
1799.03/1804.25 c #Conflicts: 738000 | #Constraints: 117379
1799.03/1804.25 c #Conflicts: 739000 | #Constraints: 118379
1799.03/1804.25 c #Conflicts: 740000 | #Constraints: 119379
1799.03/1804.25 c #Conflicts: 741000 | #Constraints: 120379
1799.03/1804.25 c #Conflicts: 742000 | #Constraints: 121379
1799.03/1804.25 c #Conflicts: 743000 | #Constraints: 122379
1799.03/1804.25 c #Conflicts: 744000 | #Constraints: 123379
1799.03/1804.25 c #Conflicts: 745000 | #Constraints: 124379
1799.03/1804.25 c #Conflicts: 746000 | #Constraints: 125379
1799.03/1804.25 c #Conflicts: 747000 | #Constraints: 126379
1799.03/1804.25 c #Conflicts: 748000 | #Constraints: 127379
1799.03/1804.25 c INPROCESSING
1799.03/1804.25 c GARBAGE COLLECT
1799.03/1804.25 c #Conflicts: 749000 | #Constraints: 77125
1799.03/1804.25 c #Conflicts: 750000 | #Constraints: 78125
1799.03/1804.25 c #Conflicts: 751000 | #Constraints: 79125
1799.03/1804.25 c #Conflicts: 752000 | #Constraints: 80125
1799.03/1804.25 c #Conflicts: 753000 | #Constraints: 81125
1799.03/1804.25 c #Conflicts: 754000 | #Constraints: 82125
1799.03/1804.25 c #Conflicts: 755000 | #Constraints: 83125
1799.03/1804.25 c #Conflicts: 756000 | #Constraints: 84125
1799.03/1804.25 c #Conflicts: 757000 | #Constraints: 85125
1799.03/1804.25 c #Conflicts: 758000 | #Constraints: 86125
1799.03/1804.25 c #Conflicts: 759000 | #Constraints: 87125
1799.03/1804.25 c #Conflicts: 760000 | #Constraints: 88125
1799.03/1804.25 c #Conflicts: 761000 | #Constraints: 89125
1799.03/1804.25 c #Conflicts: 762000 | #Constraints: 90125
1799.03/1804.25 c #Conflicts: 763000 | #Constraints: 91125
1799.03/1804.25 c #Conflicts: 764000 | #Constraints: 92125
1799.03/1804.25 c #Conflicts: 765000 | #Constraints: 93125
1799.03/1804.25 c #Conflicts: 766000 | #Constraints: 94125
1799.03/1804.25 c #Conflicts: 767000 | #Constraints: 95125
1799.03/1804.25 c #Conflicts: 768000 | #Constraints: 96125
1799.03/1804.25 c #Conflicts: 769000 | #Constraints: 97125
1799.03/1804.25 c #Conflicts: 770000 | #Constraints: 98125
1799.03/1804.25 c #Conflicts: 771000 | #Constraints: 99125
1799.03/1804.25 c #Conflicts: 772000 | #Constraints: 100125
1799.03/1804.25 c #Conflicts: 773000 | #Constraints: 101125
1799.03/1804.25 c INPROCESSING
1799.03/1804.25 c GARBAGE COLLECT
1799.03/1804.25 c #Conflicts: 774000 | #Constraints: 76180
1799.03/1804.25 c #Conflicts: 775000 | #Constraints: 77180
1799.03/1804.25 c #Conflicts: 776000 | #Constraints: 78180
1799.03/1804.25 c #Conflicts: 777000 | #Constraints: 79180
1799.03/1804.25 c #Conflicts: 778000 | #Constraints: 80180
1799.03/1804.25 c #Conflicts: 779000 | #Constraints: 81180
1799.03/1804.25 c #Conflicts: 780000 | #Constraints: 82180
1799.03/1804.25 c #Conflicts: 781000 | #Constraints: 83180
1799.03/1804.25 c #Conflicts: 782000 | #Constraints: 84180
1799.03/1804.25 c #Conflicts: 783000 | #Constraints: 85180
1799.03/1804.25 c #Conflicts: 784000 | #Constraints: 86180
1799.03/1804.25 c #Conflicts: 785000 | #Constraints: 87180
1799.03/1804.25 c #Conflicts: 786000 | #Constraints: 88180
1799.03/1804.25 c #Conflicts: 787000 | #Constraints: 89180
1799.03/1804.25 c #Conflicts: 788000 | #Constraints: 90180
1799.03/1804.25 c #Conflicts: 789000 | #Constraints: 91180
1799.03/1804.25 c #Conflicts: 790000 | #Constraints: 92180
1799.03/1804.25 c #Conflicts: 791000 | #Constraints: 93180
1799.03/1804.25 c #Conflicts: 792000 | #Constraints: 94180
1799.03/1804.25 c #Conflicts: 793000 | #Constraints: 95180
1799.03/1804.25 c #Conflicts: 794000 | #Constraints: 96180
1799.03/1804.25 c #Conflicts: 795000 | #Constraints: 97180
1799.03/1804.25 c #Conflicts: 796000 | #Constraints: 98180
1968.78/1974.41 c #Conflicts: 797000 | #Constraints: 99180
1968.78/1974.41 c #Conflicts: 798000 | #Constraints: 100180
1968.78/1974.41 c #Conflicts: 799000 | #Constraints: 101180
1968.78/1974.41 c #Conflicts: 800000 | #Constraints: 102180
1968.78/1974.41 c #Conflicts: 801000 | #Constraints: 103180
1968.78/1974.41 c #Conflicts: 802000 | #Constraints: 104180
1968.78/1974.41 c #Conflicts: 803000 | #Constraints: 105180
1968.78/1974.41 c #Conflicts: 804000 | #Constraints: 106180
1968.78/1974.41 c #Conflicts: 805000 | #Constraints: 107180
1968.78/1974.41 c #Conflicts: 806000 | #Constraints: 108180
1968.78/1974.41 c #Conflicts: 807000 | #Constraints: 109180
1968.78/1974.41 c #Conflicts: 808000 | #Constraints: 110180
1968.78/1974.41 c #Conflicts: 809000 | #Constraints: 111180
1968.78/1974.41 c #Conflicts: 810000 | #Constraints: 112180
1968.78/1974.41 c #Conflicts: 811000 | #Constraints: 113180
1968.78/1974.41 c #Conflicts: 812000 | #Constraints: 114180
1968.78/1974.41 c #Conflicts: 813000 | #Constraints: 115180
1968.78/1974.41 c #Conflicts: 814000 | #Constraints: 116180
1968.78/1974.41 c #Conflicts: 815000 | #Constraints: 117180
1968.78/1974.41 c #Conflicts: 816000 | #Constraints: 118180
1968.78/1974.41 c #Conflicts: 817000 | #Constraints: 119180
1968.78/1974.41 c #Conflicts: 818000 | #Constraints: 120180
1968.78/1974.41 c #Conflicts: 819000 | #Constraints: 121180
1968.78/1974.41 c #Conflicts: 820000 | #Constraints: 122180
1968.78/1974.41 c #Conflicts: 821000 | #Constraints: 123180
1968.78/1974.41 c #Conflicts: 822000 | #Constraints: 124180
1968.78/1974.41 c #Conflicts: 823000 | #Constraints: 125180
1968.78/1974.41 c #Conflicts: 824000 | #Constraints: 126180
1968.78/1974.41 c #Conflicts: 825000 | #Constraints: 127180
1968.78/1974.41 c #Conflicts: 826000 | #Constraints: 128180
1968.78/1974.41 c #Conflicts: 827000 | #Constraints: 129180
1968.78/1974.41 c #Conflicts: 828000 | #Constraints: 130180
1968.78/1974.41 c #Conflicts: 829000 | #Constraints: 131180
1968.78/1974.41 c #Conflicts: 830000 | #Constraints: 132180
1968.78/1974.41 c #Conflicts: 831000 | #Constraints: 133180
1968.78/1974.41 c #Conflicts: 832000 | #Constraints: 134180
1968.78/1974.41 c INPROCESSING
1968.78/1974.41 c GARBAGE COLLECT
1968.78/1974.41 c #Conflicts: 833000 | #Constraints: 80594
1968.78/1974.41 c #Conflicts: 834000 | #Constraints: 81594
1968.78/1974.41 c #Conflicts: 835000 | #Constraints: 82594
1968.78/1974.41 c #Conflicts: 836000 | #Constraints: 83594
1968.78/1974.41 c #Conflicts: 837000 | #Constraints: 84594
1968.78/1974.41 c #Conflicts: 838000 | #Constraints: 85594
1968.78/1974.41 c #Conflicts: 839000 | #Constraints: 86594
1968.78/1974.41 c #Conflicts: 840000 | #Constraints: 87594
1968.78/1974.41 c #Conflicts: 841000 | #Constraints: 88594
1968.78/1974.41 c #Conflicts: 842000 | #Constraints: 89594
1968.78/1974.41 c #Conflicts: 843000 | #Constraints: 90594
1968.78/1974.41 c #Conflicts: 844000 | #Constraints: 91594
1968.78/1974.41 c #Conflicts: 845000 | #Constraints: 92594
1968.78/1974.41 c #Conflicts: 846000 | #Constraints: 93594
1968.78/1974.41 c #Conflicts: 847000 | #Constraints: 94594
1968.78/1974.41 c #Conflicts: 848000 | #Constraints: 95594
1968.78/1974.41 c #Conflicts: 849000 | #Constraints: 96594
1968.78/1974.41 c #Conflicts: 850000 | #Constraints: 97594
1968.78/1974.41 c #Conflicts: 851000 | #Constraints: 98594
1968.78/1974.41 c #Conflicts: 852000 | #Constraints: 99594
1968.78/1974.41 c #Conflicts: 853000 | #Constraints: 100594
1968.78/1974.41 c #Conflicts: 854000 | #Constraints: 101594
1968.78/1974.41 c #Conflicts: 855000 | #Constraints: 102594
1968.78/1974.41 c #Conflicts: 856000 | #Constraints: 103594
1968.78/1974.41 c #Conflicts: 857000 | #Constraints: 104594
1968.78/1974.41 c #Conflicts: 858000 | #Constraints: 105594
1968.78/1974.41 c INPROCESSING
1968.78/1974.41 c GARBAGE COLLECT
1968.78/1974.41 c #Conflicts: 859000 | #Constraints: 79418
1968.78/1974.41 c #Conflicts: 860000 | #Constraints: 80418
1968.78/1974.41 c #Conflicts: 861000 | #Constraints: 81418
1968.78/1974.41 c #Conflicts: 862000 | #Constraints: 82418
1968.78/1974.41 c #Conflicts: 863000 | #Constraints: 83418
1968.78/1974.41 c #Conflicts: 864000 | #Constraints: 84418
1968.78/1974.41 c #Conflicts: 865000 | #Constraints: 85418
1968.78/1974.41 c #Conflicts: 866000 | #Constraints: 86418
1968.78/1974.41 c #Conflicts: 867000 | #Constraints: 87418
1968.78/1974.41 c #Conflicts: 868000 | #Constraints: 88418
1968.78/1974.41 c #Conflicts: 869000 | #Constraints: 89418
1968.78/1974.41 c #Conflicts: 870000 | #Constraints: 90418
1968.78/1974.41 c #Conflicts: 871000 | #Constraints: 91418
1968.78/1974.41 c #Conflicts: 872000 | #Constraints: 92418
1968.78/1974.41 c #Conflicts: 873000 | #Constraints: 93418
2163.16/2169.39 c #Conflicts: 874000 | #Constraints: 94418
2163.16/2169.39 c #Conflicts: 875000 | #Constraints: 95418
2163.16/2169.39 c #Conflicts: 876000 | #Constraints: 96418
2163.16/2169.39 c #Conflicts: 877000 | #Constraints: 97418
2163.16/2169.39 c #Conflicts: 878000 | #Constraints: 98418
2163.16/2169.39 c #Conflicts: 879000 | #Constraints: 99418
2163.16/2169.39 c #Conflicts: 880000 | #Constraints: 100418
2163.16/2169.39 c #Conflicts: 881000 | #Constraints: 101418
2163.16/2169.39 c #Conflicts: 882000 | #Constraints: 102418
2163.16/2169.39 c #Conflicts: 883000 | #Constraints: 103418
2163.16/2169.39 c #Conflicts: 884000 | #Constraints: 104418
2163.16/2169.39 c #Conflicts: 885000 | #Constraints: 105418
2163.16/2169.39 c #Conflicts: 886000 | #Constraints: 106418
2163.16/2169.39 c #Conflicts: 887000 | #Constraints: 107418
2163.16/2169.39 c #Conflicts: 888000 | #Constraints: 108418
2163.16/2169.39 c #Conflicts: 889000 | #Constraints: 109418
2163.16/2169.39 c #Conflicts: 890000 | #Constraints: 110418
2163.16/2169.39 c #Conflicts: 891000 | #Constraints: 111418
2163.16/2169.39 c #Conflicts: 892000 | #Constraints: 112418
2163.16/2169.39 c #Conflicts: 893000 | #Constraints: 113418
2163.16/2169.39 c #Conflicts: 894000 | #Constraints: 114418
2163.16/2169.39 c #Conflicts: 895000 | #Constraints: 115418
2163.16/2169.39 c #Conflicts: 896000 | #Constraints: 116418
2163.16/2169.39 c #Conflicts: 897000 | #Constraints: 117418
2163.16/2169.39 c #Conflicts: 898000 | #Constraints: 118418
2163.16/2169.39 c #Conflicts: 899000 | #Constraints: 119418
2163.16/2169.39 c #Conflicts: 900000 | #Constraints: 120418
2163.16/2169.39 c #Conflicts: 901000 | #Constraints: 121418
2163.16/2169.39 c #Conflicts: 902000 | #Constraints: 122418
2163.16/2169.39 c #Conflicts: 903000 | #Constraints: 123418
2163.16/2169.39 c #Conflicts: 904000 | #Constraints: 124418
2163.16/2169.39 c #Conflicts: 905000 | #Constraints: 125418
2163.16/2169.39 c #Conflicts: 906000 | #Constraints: 126418
2163.16/2169.39 c #Conflicts: 907000 | #Constraints: 127418
2163.16/2169.39 c #Conflicts: 908000 | #Constraints: 128418
2163.16/2169.39 c #Conflicts: 909000 | #Constraints: 129418
2163.16/2169.39 c #Conflicts: 910000 | #Constraints: 130418
2163.16/2169.39 c #Conflicts: 911000 | #Constraints: 131418
2163.16/2169.39 c #Conflicts: 912000 | #Constraints: 132418
2163.16/2169.39 c #Conflicts: 913000 | #Constraints: 133418
2163.16/2169.39 c #Conflicts: 914000 | #Constraints: 134418
2163.16/2169.39 c #Conflicts: 915000 | #Constraints: 135418
2163.16/2169.39 c #Conflicts: 916000 | #Constraints: 136418
2163.16/2169.39 c #Conflicts: 917000 | #Constraints: 137418
2163.16/2169.39 c #Conflicts: 918000 | #Constraints: 138418
2163.16/2169.39 c #Conflicts: 919000 | #Constraints: 139418
2163.16/2169.39 c #Conflicts: 920000 | #Constraints: 140418
2163.16/2169.39 c INPROCESSING
2163.16/2169.39 c GARBAGE COLLECT
2163.16/2169.39 c #Conflicts: 921000 | #Constraints: 84175
2163.16/2169.39 c #Conflicts: 922000 | #Constraints: 85175
2163.16/2169.39 c #Conflicts: 923000 | #Constraints: 86175
2163.16/2169.39 c #Conflicts: 924000 | #Constraints: 87175
2163.16/2169.39 c #Conflicts: 925000 | #Constraints: 88175
2163.16/2169.39 c #Conflicts: 926000 | #Constraints: 89175
2163.16/2169.39 c #Conflicts: 927000 | #Constraints: 90175
2163.16/2169.39 c #Conflicts: 928000 | #Constraints: 91175
2163.16/2169.39 c #Conflicts: 929000 | #Constraints: 92175
2163.16/2169.39 c #Conflicts: 930000 | #Constraints: 93175
2163.16/2169.39 c #Conflicts: 931000 | #Constraints: 94175
2163.16/2169.39 c #Conflicts: 932000 | #Constraints: 95175
2163.16/2169.39 c #Conflicts: 933000 | #Constraints: 96175
2163.16/2169.39 c #Conflicts: 934000 | #Constraints: 97175
2163.16/2169.39 c #Conflicts: 935000 | #Constraints: 98175
2163.16/2169.39 c #Conflicts: 936000 | #Constraints: 99175
2163.16/2169.39 c #Conflicts: 937000 | #Constraints: 100175
2163.16/2169.39 c #Conflicts: 938000 | #Constraints: 101175
2163.16/2169.39 c #Conflicts: 939000 | #Constraints: 102175
2163.16/2169.39 c #Conflicts: 940000 | #Constraints: 103175
2163.16/2169.39 c #Conflicts: 941000 | #Constraints: 104175
2163.16/2169.39 c #Conflicts: 942000 | #Constraints: 105175
2163.16/2169.39 c #Conflicts: 943000 | #Constraints: 106175
2163.16/2169.39 c #Conflicts: 944000 | #Constraints: 107175
2163.16/2169.39 c #Conflicts: 945000 | #Constraints: 108175
2163.16/2169.39 c #Conflicts: 946000 | #Constraints: 109175
2163.16/2169.39 c #Conflicts: 947000 | #Constraints: 110175
2163.16/2169.39 c INPROCESSING
2163.16/2169.39 c GARBAGE COLLECT
2163.16/2169.39 c #Conflicts: 948000 | #Constraints: 82820
2163.16/2169.39 c #Conflicts: 949000 | #Constraints: 83820
2163.16/2169.39 c #Conflicts: 950000 | #Constraints: 84820
2163.16/2169.39 c #Conflicts: 951000 | #Constraints: 85820
2348.12/2354.86 c #Conflicts: 952000 | #Constraints: 86820
2348.12/2354.86 c #Conflicts: 953000 | #Constraints: 87820
2348.12/2354.86 c #Conflicts: 954000 | #Constraints: 88820
2348.12/2354.86 c #Conflicts: 955000 | #Constraints: 89820
2348.12/2354.86 c #Conflicts: 956000 | #Constraints: 90820
2348.12/2354.86 c #Conflicts: 957000 | #Constraints: 91820
2348.12/2354.86 c #Conflicts: 958000 | #Constraints: 92820
2348.12/2354.86 c #Conflicts: 959000 | #Constraints: 93820
2348.12/2354.86 c #Conflicts: 960000 | #Constraints: 94820
2348.12/2354.86 c #Conflicts: 961000 | #Constraints: 95820
2348.12/2354.86 c #Conflicts: 962000 | #Constraints: 96820
2348.12/2354.86 c #Conflicts: 963000 | #Constraints: 97820
2348.12/2354.86 c #Conflicts: 964000 | #Constraints: 98820
2348.12/2354.86 c #Conflicts: 965000 | #Constraints: 99820
2348.12/2354.86 c #Conflicts: 966000 | #Constraints: 100820
2348.12/2354.86 c #Conflicts: 967000 | #Constraints: 101820
2348.12/2354.86 c #Conflicts: 968000 | #Constraints: 102820
2348.12/2354.86 c #Conflicts: 969000 | #Constraints: 103820
2348.12/2354.86 c #Conflicts: 970000 | #Constraints: 104820
2348.12/2354.87 c #Conflicts: 971000 | #Constraints: 105820
2348.12/2354.87 c #Conflicts: 972000 | #Constraints: 106820
2348.12/2354.87 c #Conflicts: 973000 | #Constraints: 107820
2348.12/2354.87 c #Conflicts: 974000 | #Constraints: 108820
2348.12/2354.87 c #Conflicts: 975000 | #Constraints: 109820
2348.12/2354.87 c #Conflicts: 976000 | #Constraints: 110820
2348.12/2354.87 c #Conflicts: 977000 | #Constraints: 111820
2348.12/2354.87 c #Conflicts: 978000 | #Constraints: 112820
2348.12/2354.87 c #Conflicts: 979000 | #Constraints: 113820
2348.12/2354.87 c #Conflicts: 980000 | #Constraints: 114820
2348.12/2354.87 c #Conflicts: 981000 | #Constraints: 115820
2348.12/2354.87 c #Conflicts: 982000 | #Constraints: 116820
2348.12/2354.87 c #Conflicts: 983000 | #Constraints: 117820
2348.12/2354.87 c #Conflicts: 984000 | #Constraints: 118820
2348.12/2354.87 c #Conflicts: 985000 | #Constraints: 119820
2348.12/2354.87 c #Conflicts: 986000 | #Constraints: 120820
2348.12/2354.87 c #Conflicts: 987000 | #Constraints: 121820
2348.12/2354.87 c #Conflicts: 988000 | #Constraints: 122820
2348.12/2354.87 c #Conflicts: 989000 | #Constraints: 123820
2348.12/2354.87 c #Conflicts: 990000 | #Constraints: 124820
2348.12/2354.87 c #Conflicts: 991000 | #Constraints: 125820
2348.12/2354.87 c #Conflicts: 992000 | #Constraints: 126820
2348.12/2354.87 c #Conflicts: 993000 | #Constraints: 127820
2348.12/2354.87 c #Conflicts: 994000 | #Constraints: 128820
2348.12/2354.87 c #Conflicts: 995000 | #Constraints: 129820
2348.12/2354.87 c #Conflicts: 996000 | #Constraints: 130820
2348.12/2354.87 c #Conflicts: 997000 | #Constraints: 131820
2348.12/2354.87 c #Conflicts: 998000 | #Constraints: 132820
2348.12/2354.87 c #Conflicts: 999000 | #Constraints: 133820
2348.12/2354.87 c #Conflicts: 1000000 | #Constraints: 134820
2348.12/2354.87 c #Conflicts: 1001000 | #Constraints: 135820
2348.12/2354.87 c #Conflicts: 1002000 | #Constraints: 136820
2348.12/2354.87 c #Conflicts: 1003000 | #Constraints: 137820
2348.12/2354.87 c #Conflicts: 1004000 | #Constraints: 138820
2348.12/2354.87 c #Conflicts: 1005000 | #Constraints: 139820
2348.12/2354.87 c #Conflicts: 1006000 | #Constraints: 140820
2348.12/2354.87 c #Conflicts: 1007000 | #Constraints: 141820
2348.12/2354.87 c #Conflicts: 1008000 | #Constraints: 142820
2348.12/2354.87 c #Conflicts: 1009000 | #Constraints: 143820
2348.12/2354.87 c #Conflicts: 1010000 | #Constraints: 144820
2348.12/2354.87 c #Conflicts: 1011000 | #Constraints: 145820
2348.12/2354.87 c #Conflicts: 1012000 | #Constraints: 146820
2348.12/2354.87 c INPROCESSING
2348.12/2354.87 c GARBAGE COLLECT
2348.12/2354.87 c #Conflicts: 1013000 | #Constraints: 87136
2348.12/2354.87 c #Conflicts: 1014000 | #Constraints: 88136
2348.12/2354.87 c #Conflicts: 1015000 | #Constraints: 89136
2348.12/2354.87 c #Conflicts: 1016000 | #Constraints: 90136
2348.12/2354.87 c #Conflicts: 1017000 | #Constraints: 91136
2348.12/2354.87 c #Conflicts: 1018000 | #Constraints: 92136
2348.12/2354.87 c #Conflicts: 1019000 | #Constraints: 93136
2348.12/2354.87 c #Conflicts: 1020000 | #Constraints: 94136
2348.12/2354.87 c #Conflicts: 1021000 | #Constraints: 95136
2348.12/2354.87 c #Conflicts: 1022000 | #Constraints: 96136
2348.12/2354.87 c #Conflicts: 1023000 | #Constraints: 97136
2348.12/2354.87 c #Conflicts: 1024000 | #Constraints: 98136
2348.12/2354.87 c #Conflicts: 1025000 | #Constraints: 99136
2348.12/2354.87 c #Conflicts: 1026000 | #Constraints: 100136
2348.12/2354.87 c #Conflicts: 1027000 | #Constraints: 101136
2348.12/2354.87 c #Conflicts: 1028000 | #Constraints: 102136
2348.12/2354.87 c #Conflicts: 1029000 | #Constraints: 103136
2598.15/2605.61 c #Conflicts: 1030000 | #Constraints: 104136
2598.15/2605.61 c #Conflicts: 1031000 | #Constraints: 105136
2598.15/2605.61 c #Conflicts: 1032000 | #Constraints: 106136
2598.15/2605.61 c #Conflicts: 1033000 | #Constraints: 107136
2598.15/2605.61 c #Conflicts: 1034000 | #Constraints: 108136
2598.15/2605.61 c #Conflicts: 1035000 | #Constraints: 109136
2598.15/2605.61 c #Conflicts: 1036000 | #Constraints: 110136
2598.15/2605.61 c #Conflicts: 1037000 | #Constraints: 111136
2598.15/2605.61 c #Conflicts: 1038000 | #Constraints: 112136
2598.15/2605.61 c #Conflicts: 1039000 | #Constraints: 113136
2598.15/2605.61 c #Conflicts: 1040000 | #Constraints: 114136
2598.15/2605.61 c INPROCESSING
2598.15/2605.61 c GARBAGE COLLECT
2598.15/2605.61 c #Conflicts: 1041000 | #Constraints: 84736
2598.15/2605.61 c #Conflicts: 1042000 | #Constraints: 85736
2598.15/2605.61 c #Conflicts: 1043000 | #Constraints: 86736
2598.15/2605.61 c #Conflicts: 1044000 | #Constraints: 87736
2598.15/2605.61 c #Conflicts: 1045000 | #Constraints: 88736
2598.15/2605.61 c #Conflicts: 1046000 | #Constraints: 89736
2598.15/2605.61 c #Conflicts: 1047000 | #Constraints: 90736
2598.15/2605.61 c #Conflicts: 1048000 | #Constraints: 91736
2598.15/2605.61 c #Conflicts: 1049000 | #Constraints: 92736
2598.15/2605.61 c #Conflicts: 1050000 | #Constraints: 93736
2598.15/2605.61 c #Conflicts: 1051000 | #Constraints: 94736
2598.15/2605.61 c #Conflicts: 1052000 | #Constraints: 95736
2598.15/2605.61 c #Conflicts: 1053000 | #Constraints: 96736
2598.15/2605.61 c #Conflicts: 1054000 | #Constraints: 97736
2598.15/2605.61 c #Conflicts: 1055000 | #Constraints: 98736
2598.15/2605.61 c #Conflicts: 1056000 | #Constraints: 99736
2598.15/2605.61 c #Conflicts: 1057000 | #Constraints: 100736
2598.15/2605.61 c #Conflicts: 1058000 | #Constraints: 101736
2598.15/2605.61 c #Conflicts: 1059000 | #Constraints: 102736
2598.15/2605.61 c #Conflicts: 1060000 | #Constraints: 103736
2598.15/2605.61 c #Conflicts: 1061000 | #Constraints: 104736
2598.15/2605.61 c #Conflicts: 1062000 | #Constraints: 105736
2598.15/2605.61 c #Conflicts: 1063000 | #Constraints: 106736
2598.15/2605.61 c #Conflicts: 1064000 | #Constraints: 107736
2598.15/2605.61 c #Conflicts: 1065000 | #Constraints: 108736
2598.15/2605.61 c #Conflicts: 1066000 | #Constraints: 109736
2598.15/2605.61 c #Conflicts: 1067000 | #Constraints: 110736
2598.15/2605.61 c #Conflicts: 1068000 | #Constraints: 111736
2598.15/2605.61 c #Conflicts: 1069000 | #Constraints: 112736
2598.15/2605.61 c #Conflicts: 1070000 | #Constraints: 113736
2598.15/2605.61 c #Conflicts: 1071000 | #Constraints: 114736
2598.15/2605.61 c #Conflicts: 1072000 | #Constraints: 115736
2598.15/2605.61 c #Conflicts: 1073000 | #Constraints: 116736
2598.15/2605.61 c #Conflicts: 1074000 | #Constraints: 117736
2598.15/2605.61 c #Conflicts: 1075000 | #Constraints: 118736
2598.15/2605.61 c #Conflicts: 1076000 | #Constraints: 119736
2598.15/2605.61 c #Conflicts: 1077000 | #Constraints: 120736
2598.15/2605.61 c #Conflicts: 1078000 | #Constraints: 121736
2598.15/2605.61 c #Conflicts: 1079000 | #Constraints: 122736
2598.15/2605.61 c #Conflicts: 1080000 | #Constraints: 123736
2598.15/2605.61 c #Conflicts: 1081000 | #Constraints: 124736
2598.15/2605.61 c #Conflicts: 1082000 | #Constraints: 125736
2598.15/2605.61 c #Conflicts: 1083000 | #Constraints: 126736
2598.15/2605.61 c #Conflicts: 1084000 | #Constraints: 127736
2598.15/2605.61 c #Conflicts: 1085000 | #Constraints: 128736
2598.15/2605.61 c #Conflicts: 1086000 | #Constraints: 129736
2598.15/2605.61 c #Conflicts: 1087000 | #Constraints: 130736
2598.15/2605.61 c #Conflicts: 1088000 | #Constraints: 131736
2598.15/2605.61 c #Conflicts: 1089000 | #Constraints: 132736
2598.15/2605.61 c #Conflicts: 1090000 | #Constraints: 133736
2598.15/2605.61 c #Conflicts: 1091000 | #Constraints: 134736
2598.15/2605.61 c #Conflicts: 1092000 | #Constraints: 135736
2598.15/2605.61 c #Conflicts: 1093000 | #Constraints: 136736
2598.15/2605.61 c #Conflicts: 1094000 | #Constraints: 137736
2598.15/2605.61 c #Conflicts: 1095000 | #Constraints: 138736
2598.15/2605.61 c #Conflicts: 1096000 | #Constraints: 139736
2598.15/2605.61 c #Conflicts: 1097000 | #Constraints: 140736
2598.15/2605.61 c #Conflicts: 1098000 | #Constraints: 141736
2598.15/2605.61 c #Conflicts: 1099000 | #Constraints: 142736
2598.15/2605.61 c #Conflicts: 1100000 | #Constraints: 143736
2598.15/2605.61 c #Conflicts: 1101000 | #Constraints: 144736
2598.15/2605.61 c #Conflicts: 1102000 | #Constraints: 145736
2598.15/2605.61 c #Conflicts: 1103000 | #Constraints: 146736
2598.15/2605.61 c #Conflicts: 1104000 | #Constraints: 147736
2598.15/2605.61 c #Conflicts: 1105000 | #Constraints: 148736
2598.15/2605.61 c #Conflicts: 1106000 | #Constraints: 149736
2598.15/2605.61 c #Conflicts: 1107000 | #Constraints: 150736
2808.69/2816.83 c #Conflicts: 1108000 | #Constraints: 151736
2808.69/2816.83 c INPROCESSING
2808.69/2816.83 c GARBAGE COLLECT
2808.69/2816.83 c #Conflicts: 1109000 | #Constraints: 89431
2808.69/2816.83 c #Conflicts: 1110000 | #Constraints: 90431
2808.69/2816.83 c #Conflicts: 1111000 | #Constraints: 91431
2808.69/2816.83 c #Conflicts: 1112000 | #Constraints: 92431
2808.69/2816.83 c #Conflicts: 1113000 | #Constraints: 93431
2808.69/2816.83 c #Conflicts: 1114000 | #Constraints: 94431
2808.69/2816.83 c #Conflicts: 1115000 | #Constraints: 95431
2808.69/2816.83 c #Conflicts: 1116000 | #Constraints: 96431
2808.69/2816.83 c #Conflicts: 1117000 | #Constraints: 97431
2808.69/2816.83 c #Conflicts: 1118000 | #Constraints: 98431
2808.69/2816.83 c #Conflicts: 1119000 | #Constraints: 99431
2808.69/2816.83 c #Conflicts: 1120000 | #Constraints: 100431
2808.69/2816.83 c #Conflicts: 1121000 | #Constraints: 101431
2808.69/2816.83 c #Conflicts: 1122000 | #Constraints: 102431
2808.69/2816.83 c #Conflicts: 1123000 | #Constraints: 103431
2808.69/2816.83 c #Conflicts: 1124000 | #Constraints: 104431
2808.69/2816.83 c #Conflicts: 1125000 | #Constraints: 105431
2808.69/2816.83 c #Conflicts: 1126000 | #Constraints: 106431
2808.69/2816.83 c #Conflicts: 1127000 | #Constraints: 107431
2808.69/2816.83 c #Conflicts: 1128000 | #Constraints: 108431
2808.69/2816.83 c #Conflicts: 1129000 | #Constraints: 109431
2808.69/2816.83 c #Conflicts: 1130000 | #Constraints: 110431
2808.69/2816.83 c #Conflicts: 1131000 | #Constraints: 111431
2808.69/2816.83 c #Conflicts: 1132000 | #Constraints: 112431
2808.69/2816.83 c #Conflicts: 1133000 | #Constraints: 113431
2808.69/2816.83 c #Conflicts: 1134000 | #Constraints: 114431
2808.69/2816.83 c #Conflicts: 1135000 | #Constraints: 115431
2808.69/2816.83 c #Conflicts: 1136000 | #Constraints: 116431
2808.69/2816.83 c #Conflicts: 1137000 | #Constraints: 117431
2808.69/2816.83 c #Conflicts: 1138000 | #Constraints: 118431
2808.69/2816.83 c INPROCESSING
2808.69/2816.83 c GARBAGE COLLECT
2808.69/2816.83 c #Conflicts: 1139000 | #Constraints: 87077
2808.69/2816.83 c #Conflicts: 1140000 | #Constraints: 88077
2808.69/2816.83 c #Conflicts: 1141000 | #Constraints: 89077
2808.69/2816.83 c #Conflicts: 1142000 | #Constraints: 90077
2808.69/2816.83 c #Conflicts: 1143000 | #Constraints: 91077
2808.69/2816.83 c #Conflicts: 1144000 | #Constraints: 92077
2808.69/2816.83 c #Conflicts: 1145000 | #Constraints: 93077
2808.69/2816.83 c #Conflicts: 1146000 | #Constraints: 94077
2808.69/2816.83 c #Conflicts: 1147000 | #Constraints: 95077
2808.69/2816.83 c #Conflicts: 1148000 | #Constraints: 96078
2808.69/2816.83 c #Conflicts: 1149000 | #Constraints: 97078
2808.69/2816.83 c #Conflicts: 1150000 | #Constraints: 98078
2808.69/2816.83 c #Conflicts: 1151000 | #Constraints: 99078
2808.69/2816.83 c #Conflicts: 1152000 | #Constraints: 100078
2808.69/2816.83 c #Conflicts: 1153000 | #Constraints: 101078
2808.69/2816.83 c #Conflicts: 1154000 | #Constraints: 102078
2808.69/2816.83 c #Conflicts: 1155000 | #Constraints: 103078
2808.69/2816.83 c #Conflicts: 1156000 | #Constraints: 104078
2808.69/2816.83 c #Conflicts: 1157000 | #Constraints: 105078
2808.69/2816.83 c #Conflicts: 1158000 | #Constraints: 106078
2808.69/2816.83 c #Conflicts: 1159000 | #Constraints: 107078
2808.69/2816.83 c #Conflicts: 1160000 | #Constraints: 108078
2808.69/2816.83 c #Conflicts: 1161000 | #Constraints: 109078
2808.69/2816.83 c #Conflicts: 1162000 | #Constraints: 110078
2808.69/2816.83 c #Conflicts: 1163000 | #Constraints: 111078
2808.69/2816.83 c #Conflicts: 1164000 | #Constraints: 112078
2808.69/2816.83 c #Conflicts: 1165000 | #Constraints: 113078
2808.69/2816.83 c #Conflicts: 1166000 | #Constraints: 114078
2808.69/2816.83 c #Conflicts: 1167000 | #Constraints: 115078
2808.69/2816.83 c #Conflicts: 1168000 | #Constraints: 116078
2808.69/2816.83 c #Conflicts: 1169000 | #Constraints: 117078
2808.69/2816.83 c #Conflicts: 1170000 | #Constraints: 118078
2808.69/2816.83 c #Conflicts: 1171000 | #Constraints: 119078
2808.69/2816.83 c #Conflicts: 1172000 | #Constraints: 120078
2808.69/2816.83 c #Conflicts: 1173000 | #Constraints: 121078
2808.69/2816.83 c #Conflicts: 1174000 | #Constraints: 122078
2808.69/2816.83 c #Conflicts: 1175000 | #Constraints: 123078
2808.69/2816.83 c #Conflicts: 1176000 | #Constraints: 124078
2808.69/2816.83 c #Conflicts: 1177000 | #Constraints: 125078
2808.69/2816.83 c #Conflicts: 1178000 | #Constraints: 126078
2808.69/2816.83 c #Conflicts: 1179000 | #Constraints: 127078
2808.69/2816.83 c #Conflicts: 1180000 | #Constraints: 128078
2808.69/2816.83 c #Conflicts: 1181000 | #Constraints: 129078
2808.69/2816.83 c #Conflicts: 1182000 | #Constraints: 130078
2808.69/2816.83 c #Conflicts: 1183000 | #Constraints: 131078
2808.69/2816.83 c #Conflicts: 1184000 | #Constraints: 132078
2996.93/3005.63 c #Conflicts: 1185000 | #Constraints: 133078
2996.93/3005.63 c #Conflicts: 1186000 | #Constraints: 134078
2996.93/3005.63 c #Conflicts: 1187000 | #Constraints: 135078
2996.93/3005.63 c #Conflicts: 1188000 | #Constraints: 136078
2996.93/3005.63 c #Conflicts: 1189000 | #Constraints: 137078
2996.93/3005.63 c #Conflicts: 1190000 | #Constraints: 138078
2996.93/3005.63 c #Conflicts: 1191000 | #Constraints: 139078
2996.93/3005.63 c #Conflicts: 1192000 | #Constraints: 140078
2996.93/3005.63 c #Conflicts: 1193000 | #Constraints: 141078
2996.93/3005.63 c #Conflicts: 1194000 | #Constraints: 142078
2996.93/3005.63 c #Conflicts: 1195000 | #Constraints: 143078
2996.93/3005.63 c #Conflicts: 1196000 | #Constraints: 144078
2996.93/3005.63 c #Conflicts: 1197000 | #Constraints: 145078
2996.93/3005.63 c #Conflicts: 1198000 | #Constraints: 146078
2996.93/3005.63 c #Conflicts: 1199000 | #Constraints: 147078
2996.93/3005.63 c #Conflicts: 1200000 | #Constraints: 148078
2996.93/3005.63 c #Conflicts: 1201000 | #Constraints: 149078
2996.93/3005.63 c #Conflicts: 1202000 | #Constraints: 150078
2996.93/3005.63 c #Conflicts: 1203000 | #Constraints: 151078
2996.93/3005.63 c #Conflicts: 1204000 | #Constraints: 152078
2996.93/3005.63 c #Conflicts: 1205000 | #Constraints: 153078
2996.93/3005.63 c #Conflicts: 1206000 | #Constraints: 154078
2996.93/3005.63 c #Conflicts: 1207000 | #Constraints: 155078
2996.93/3005.63 c #Conflicts: 1208000 | #Constraints: 156078
2996.93/3005.63 c #Conflicts: 1209000 | #Constraints: 157078
2996.93/3005.63 c INPROCESSING
2996.93/3005.63 c GARBAGE COLLECT
2996.93/3005.63 c #Conflicts: 1210000 | #Constraints: 92092
2996.93/3005.63 c #Conflicts: 1211000 | #Constraints: 93092
2996.93/3005.63 c #Conflicts: 1212000 | #Constraints: 94092
2996.93/3005.63 c #Conflicts: 1213000 | #Constraints: 95092
2996.93/3005.63 c #Conflicts: 1214000 | #Constraints: 96092
2996.93/3005.63 c #Conflicts: 1215000 | #Constraints: 97092
2996.93/3005.63 c #Conflicts: 1216000 | #Constraints: 98092
2996.93/3005.63 c #Conflicts: 1217000 | #Constraints: 99092
2996.93/3005.63 c #Conflicts: 1218000 | #Constraints: 100092
2996.93/3005.63 c #Conflicts: 1219000 | #Constraints: 101092
2996.93/3005.63 c #Conflicts: 1220000 | #Constraints: 102092
2996.93/3005.63 c #Conflicts: 1221000 | #Constraints: 103092
2996.93/3005.63 c #Conflicts: 1222000 | #Constraints: 104092
2996.93/3005.63 c #Conflicts: 1223000 | #Constraints: 105092
2996.93/3005.63 c #Conflicts: 1224000 | #Constraints: 106092
2996.93/3005.63 c #Conflicts: 1225000 | #Constraints: 107092
2996.93/3005.63 c #Conflicts: 1226000 | #Constraints: 108092
2996.93/3005.63 c #Conflicts: 1227000 | #Constraints: 109092
2996.93/3005.63 c #Conflicts: 1228000 | #Constraints: 110092
2996.93/3005.63 c #Conflicts: 1229000 | #Constraints: 111092
2996.93/3005.63 c #Conflicts: 1230000 | #Constraints: 112092
2996.93/3005.63 c #Conflicts: 1231000 | #Constraints: 113092
2996.93/3005.63 c #Conflicts: 1232000 | #Constraints: 114092
2996.93/3005.63 c #Conflicts: 1233000 | #Constraints: 115092
2996.93/3005.63 c #Conflicts: 1234000 | #Constraints: 116092
2996.93/3005.63 c #Conflicts: 1235000 | #Constraints: 117092
2996.93/3005.63 c #Conflicts: 1236000 | #Constraints: 118092
2996.93/3005.63 c #Conflicts: 1237000 | #Constraints: 119092
2996.93/3005.63 c #Conflicts: 1238000 | #Constraints: 120092
2996.93/3005.63 c #Conflicts: 1239000 | #Constraints: 121092
2996.93/3005.63 c #Conflicts: 1240000 | #Constraints: 122092
2996.93/3005.63 c INPROCESSING
2996.93/3005.63 c GARBAGE COLLECT
2996.93/3005.63 c #Conflicts: 1241000 | #Constraints: 89772
2996.93/3005.63 c #Conflicts: 1242000 | #Constraints: 90772
2996.93/3005.63 c #Conflicts: 1243000 | #Constraints: 91772
2996.93/3005.63 c #Conflicts: 1244000 | #Constraints: 92772
2996.93/3005.63 c #Conflicts: 1245000 | #Constraints: 93772
2996.93/3005.63 c #Conflicts: 1246000 | #Constraints: 94772
2996.93/3005.63 c #Conflicts: 1247000 | #Constraints: 95772
2996.93/3005.63 c #Conflicts: 1248000 | #Constraints: 96772
2996.93/3005.63 c #Conflicts: 1249000 | #Constraints: 97772
2996.93/3005.63 c #Conflicts: 1250000 | #Constraints: 98772
2996.93/3005.63 c #Conflicts: 1251000 | #Constraints: 99772
2996.93/3005.63 c #Conflicts: 1252000 | #Constraints: 100772
2996.93/3005.63 c #Conflicts: 1253000 | #Constraints: 101772
2996.93/3005.63 c #Conflicts: 1254000 | #Constraints: 102772
2996.93/3005.63 c #Conflicts: 1255000 | #Constraints: 103772
2996.93/3005.63 c #Conflicts: 1256000 | #Constraints: 104772
2996.93/3005.63 c #Conflicts: 1257000 | #Constraints: 105772
2996.93/3005.63 c #Conflicts: 1258000 | #Constraints: 106772
2996.93/3005.63 c #Conflicts: 1259000 | #Constraints: 107772
2996.93/3005.63 c #Conflicts: 1260000 | #Constraints: 108772
2996.93/3005.63 c #Conflicts: 1261000 | #Constraints: 109772
2996.93/3005.63 c #Conflicts: 1262000 | #Constraints: 110772
3255.26/3264.66 c #Conflicts: 1263000 | #Constraints: 111772
3255.26/3264.66 c #Conflicts: 1264000 | #Constraints: 112772
3255.26/3264.66 c #Conflicts: 1265000 | #Constraints: 113772
3255.26/3264.66 c #Conflicts: 1266000 | #Constraints: 114772
3255.26/3264.66 c #Conflicts: 1267000 | #Constraints: 115772
3255.26/3264.66 c #Conflicts: 1268000 | #Constraints: 116772
3255.26/3264.66 c #Conflicts: 1269000 | #Constraints: 117772
3255.26/3264.66 c #Conflicts: 1270000 | #Constraints: 118772
3255.26/3264.66 c #Conflicts: 1271000 | #Constraints: 119772
3255.26/3264.66 c #Conflicts: 1272000 | #Constraints: 120772
3255.26/3264.66 c #Conflicts: 1273000 | #Constraints: 121772
3255.26/3264.66 c #Conflicts: 1274000 | #Constraints: 122772
3255.26/3264.66 c #Conflicts: 1275000 | #Constraints: 123772
3255.26/3264.66 c #Conflicts: 1276000 | #Constraints: 124772
3255.26/3264.66 c #Conflicts: 1277000 | #Constraints: 125772
3255.26/3264.66 c #Conflicts: 1278000 | #Constraints: 126772
3255.26/3264.66 c #Conflicts: 1279000 | #Constraints: 127772
3255.26/3264.66 c #Conflicts: 1280000 | #Constraints: 128772
3255.26/3264.66 c #Conflicts: 1281000 | #Constraints: 129772
3255.26/3264.66 c #Conflicts: 1282000 | #Constraints: 130772
3255.26/3264.66 c #Conflicts: 1283000 | #Constraints: 131772
3255.26/3264.66 c #Conflicts: 1284000 | #Constraints: 132772
3255.26/3264.66 c #Conflicts: 1285000 | #Constraints: 133772
3255.26/3264.66 c #Conflicts: 1286000 | #Constraints: 134772
3255.26/3264.66 c #Conflicts: 1287000 | #Constraints: 135772
3255.26/3264.66 c #Conflicts: 1288000 | #Constraints: 136772
3255.26/3264.66 c #Conflicts: 1289000 | #Constraints: 137772
3255.26/3264.66 c #Conflicts: 1290000 | #Constraints: 138772
3255.26/3264.66 c #Conflicts: 1291000 | #Constraints: 139772
3255.26/3264.66 c #Conflicts: 1292000 | #Constraints: 140772
3255.26/3264.66 c #Conflicts: 1293000 | #Constraints: 141772
3255.26/3264.66 c #Conflicts: 1294000 | #Constraints: 142772
3255.26/3264.66 c #Conflicts: 1295000 | #Constraints: 143772
3255.26/3264.66 c #Conflicts: 1296000 | #Constraints: 144772
3255.26/3264.66 c #Conflicts: 1297000 | #Constraints: 145772
3255.26/3264.66 c #Conflicts: 1298000 | #Constraints: 146772
3255.26/3264.66 c #Conflicts: 1299000 | #Constraints: 147772
3255.26/3264.66 c #Conflicts: 1300000 | #Constraints: 148772
3255.26/3264.66 c #Conflicts: 1301000 | #Constraints: 149772
3255.26/3264.66 c #Conflicts: 1302000 | #Constraints: 150772
3255.26/3264.66 c #Conflicts: 1303000 | #Constraints: 151772
3255.26/3264.66 c #Conflicts: 1304000 | #Constraints: 152772
3255.26/3264.66 c #Conflicts: 1305000 | #Constraints: 153772
3255.26/3264.66 c #Conflicts: 1306000 | #Constraints: 154772
3255.26/3264.66 c #Conflicts: 1307000 | #Constraints: 155772
3255.26/3264.66 c #Conflicts: 1308000 | #Constraints: 156772
3255.26/3264.66 c #Conflicts: 1309000 | #Constraints: 157772
3255.26/3264.66 c #Conflicts: 1310000 | #Constraints: 158772
3255.26/3264.66 c #Conflicts: 1311000 | #Constraints: 159772
3255.26/3264.66 c #Conflicts: 1312000 | #Constraints: 160772
3255.26/3264.66 c #Conflicts: 1313000 | #Constraints: 161772
3255.26/3264.66 c #Conflicts: 1314000 | #Constraints: 162772
3255.26/3264.66 c #Conflicts: 1315000 | #Constraints: 163772
3255.26/3264.66 c INPROCESSING
3255.26/3264.66 c GARBAGE COLLECT
3255.26/3264.66 c #Conflicts: 1316000 | #Constraints: 95804
3255.26/3264.66 c #Conflicts: 1317000 | #Constraints: 96804
3255.26/3264.66 c #Conflicts: 1318000 | #Constraints: 97804
3255.26/3264.66 c #Conflicts: 1319000 | #Constraints: 98804
3255.26/3264.66 c #Conflicts: 1320000 | #Constraints: 99804
3255.26/3264.66 c #Conflicts: 1321000 | #Constraints: 100804
3255.26/3264.66 c #Conflicts: 1322000 | #Constraints: 101804
3255.26/3264.66 c #Conflicts: 1323000 | #Constraints: 102804
3255.26/3264.66 c #Conflicts: 1324000 | #Constraints: 103804
3255.26/3264.66 c #Conflicts: 1325000 | #Constraints: 104804
3255.26/3264.66 c #Conflicts: 1326000 | #Constraints: 105804
3255.26/3264.66 c #Conflicts: 1327000 | #Constraints: 106804
3255.26/3264.66 c #Conflicts: 1328000 | #Constraints: 107804
3255.26/3264.66 c #Conflicts: 1329000 | #Constraints: 108804
3255.26/3264.66 c #Conflicts: 1330000 | #Constraints: 109804
3255.26/3264.66 c #Conflicts: 1331000 | #Constraints: 110804
3255.26/3264.66 c #Conflicts: 1332000 | #Constraints: 111804
3255.26/3264.66 c #Conflicts: 1333000 | #Constraints: 112804
3255.26/3264.66 c #Conflicts: 1334000 | #Constraints: 113804
3255.26/3264.66 c #Conflicts: 1335000 | #Constraints: 114804
3255.26/3264.66 c #Conflicts: 1336000 | #Constraints: 115804
3255.26/3264.66 c #Conflicts: 1337000 | #Constraints: 116804
3255.26/3264.66 c #Conflicts: 1338000 | #Constraints: 117804
3255.26/3264.66 c #Conflicts: 1339000 | #Constraints: 118804
3255.26/3264.66 c #Conflicts: 1340000 | #Constraints: 119804
3276.81/3286.24 c #Conflicts: 1341000 | #Constraints: 120804
3276.81/3286.24 c #Conflicts: 1342000 | #Constraints: 121804
3276.81/3286.24 c #Conflicts: 1343000 | #Constraints: 122804
3276.81/3286.24 c #Conflicts: 1344000 | #Constraints: 123804
3276.81/3286.24 c #Conflicts: 1345000 | #Constraints: 124804
3276.81/3286.24 c #Conflicts: 1346000 | #Constraints: 125804
3276.81/3286.24 c #Conflicts: 1347000 | #Constraints: 126804
3276.81/3286.24 c INPROCESSING
3276.81/3286.24 c GARBAGE COLLECT
3276.81/3286.24 c rational objective 188
3537.33/3547.44 c #Conflicts: 1348000 | #Constraints: 93246
3537.33/3547.44 c #Conflicts: 1349000 | #Constraints: 94246
3537.33/3547.44 c #Conflicts: 1350000 | #Constraints: 95246
3537.33/3547.44 c #Conflicts: 1351000 | #Constraints: 96246
3537.33/3547.44 c #Conflicts: 1352000 | #Constraints: 97246
3537.33/3547.44 c #Conflicts: 1353000 | #Constraints: 98246
3537.33/3547.44 c #Conflicts: 1354000 | #Constraints: 99246
3537.33/3547.44 c #Conflicts: 1355000 | #Constraints: 100246
3537.33/3547.44 c #Conflicts: 1356000 | #Constraints: 101246
3537.33/3547.44 c #Conflicts: 1357000 | #Constraints: 102246
3537.33/3547.44 c #Conflicts: 1358000 | #Constraints: 103246
3537.33/3547.44 c #Conflicts: 1359000 | #Constraints: 104246
3537.33/3547.44 c #Conflicts: 1360000 | #Constraints: 105246
3537.33/3547.44 c #Conflicts: 1361000 | #Constraints: 106246
3537.33/3547.44 c #Conflicts: 1362000 | #Constraints: 107246
3537.33/3547.44 c #Conflicts: 1363000 | #Constraints: 108246
3537.33/3547.44 c #Conflicts: 1364000 | #Constraints: 109246
3537.33/3547.44 c #Conflicts: 1365000 | #Constraints: 110246
3537.33/3547.44 c #Conflicts: 1366000 | #Constraints: 111246
3537.33/3547.44 c #Conflicts: 1367000 | #Constraints: 112246
3537.33/3547.44 c #Conflicts: 1368000 | #Constraints: 113246
3537.33/3547.44 c #Conflicts: 1369000 | #Constraints: 114246
3537.33/3547.44 c #Conflicts: 1370000 | #Constraints: 115246
3537.33/3547.44 c #Conflicts: 1371000 | #Constraints: 116246
3537.33/3547.44 c #Conflicts: 1372000 | #Constraints: 117246
3537.33/3547.44 c #Conflicts: 1373000 | #Constraints: 118246
3537.33/3547.44 c #Conflicts: 1374000 | #Constraints: 119246
3537.33/3547.44 c #Conflicts: 1375000 | #Constraints: 120246
3537.33/3547.44 c #Conflicts: 1376000 | #Constraints: 121246
3537.33/3547.44 c #Conflicts: 1377000 | #Constraints: 122246
3537.33/3547.44 c #Conflicts: 1378000 | #Constraints: 123246
3537.33/3547.44 c #Conflicts: 1379000 | #Constraints: 124246
3537.33/3547.44 c #Conflicts: 1380000 | #Constraints: 125246
3537.33/3547.44 c #Conflicts: 1381000 | #Constraints: 126246
3537.33/3547.44 c #Conflicts: 1382000 | #Constraints: 127246
3537.33/3547.44 c #Conflicts: 1383000 | #Constraints: 128246
3537.33/3547.44 c #Conflicts: 1384000 | #Constraints: 129246
3537.33/3547.44 c #Conflicts: 1385000 | #Constraints: 130246
3537.33/3547.44 c #Conflicts: 1386000 | #Constraints: 131246
3537.33/3547.44 c #Conflicts: 1387000 | #Constraints: 132246
3537.33/3547.44 c #Conflicts: 1388000 | #Constraints: 133246
3537.33/3547.44 c #Conflicts: 1389000 | #Constraints: 134246
3537.33/3547.44 c #Conflicts: 1390000 | #Constraints: 135246
3537.33/3547.44 c #Conflicts: 1391000 | #Constraints: 136246
3537.33/3547.44 c #Conflicts: 1392000 | #Constraints: 137246
3537.33/3547.44 c #Conflicts: 1393000 | #Constraints: 138246
3537.33/3547.44 c #Conflicts: 1394000 | #Constraints: 139246
3537.33/3547.44 c #Conflicts: 1395000 | #Constraints: 140246
3537.33/3547.44 c #Conflicts: 1396000 | #Constraints: 141246
3537.33/3547.44 c #Conflicts: 1397000 | #Constraints: 142246
3537.33/3547.44 c #Conflicts: 1398000 | #Constraints: 143246
3537.33/3547.44 c #Conflicts: 1399000 | #Constraints: 144246
3537.33/3547.44 c #Conflicts: 1400000 | #Constraints: 145246
3537.33/3547.44 c #Conflicts: 1401000 | #Constraints: 146246
3537.33/3547.44 c #Conflicts: 1402000 | #Constraints: 147246
3537.33/3547.44 c #Conflicts: 1403000 | #Constraints: 148246
3537.33/3547.44 c #Conflicts: 1404000 | #Constraints: 149246
3537.33/3547.44 c #Conflicts: 1405000 | #Constraints: 150246
3537.33/3547.44 c #Conflicts: 1406000 | #Constraints: 151246
3537.33/3547.44 c #Conflicts: 1407000 | #Constraints: 152246
3537.33/3547.44 c #Conflicts: 1408000 | #Constraints: 153246
3537.33/3547.44 c #Conflicts: 1409000 | #Constraints: 154246
3537.33/3547.44 c #Conflicts: 1410000 | #Constraints: 155246
3537.33/3547.44 c #Conflicts: 1411000 | #Constraints: 156246
3537.33/3547.44 c #Conflicts: 1412000 | #Constraints: 157246
3537.33/3547.44 c #Conflicts: 1413000 | #Constraints: 158246
3537.33/3547.44 c #Conflicts: 1414000 | #Constraints: 159246
3537.33/3547.44 c #Conflicts: 1415000 | #Constraints: 160246
3537.33/3547.44 c #Conflicts: 1416000 | #Constraints: 161246
3537.33/3547.44 c #Conflicts: 1417000 | #Constraints: 162246
3537.33/3547.44 c #Conflicts: 1418000 | #Constraints: 163246
3537.33/3547.44 c #Conflicts: 1419000 | #Constraints: 164246
3537.33/3547.44 c #Conflicts: 1420000 | #Constraints: 165246
3537.33/3547.44 c #Conflicts: 1421000 | #Constraints: 166246
3537.33/3547.44 c #Conflicts: 1422000 | #Constraints: 167246
3537.33/3547.44 c #Conflicts: 1423000 | #Constraints: 168246
3537.33/3547.44 c #Conflicts: 1424000 | #Constraints: 169246
3537.33/3547.44 c #Conflicts: 1425000 | #Constraints: 170246
3537.33/3547.44 c INPROCESSING
3537.33/3547.44 c GARBAGE COLLECT
3537.33/3547.44 c rational objective 188
3600.07/3610.30 c #Conflicts: 1426000 | #Constraints: 99207
3600.07/3610.30 c #Conflicts: 1427000 | #Constraints: 100207
3600.07/3610.30 c #Conflicts: 1428000 | #Constraints: 101207
3600.07/3610.30 c #Conflicts: 1429000 | #Constraints: 102207
3600.07/3610.30 c #Conflicts: 1430000 | #Constraints: 103207
3600.07/3610.30 c #Conflicts: 1431000 | #Constraints: 104207
3600.07/3610.30 c #Conflicts: 1432000 | #Constraints: 105207
3600.07/3610.30 c #Conflicts: 1433000 | #Constraints: 106207
3600.07/3610.30 c #Conflicts: 1434000 | #Constraints: 107207
3600.07/3610.30 c #Conflicts: 1435000 | #Constraints: 108207
3600.07/3610.30 c #Conflicts: 1436000 | #Constraints: 109207
3600.07/3610.30 c #Conflicts: 1437000 | #Constraints: 110207
3600.07/3610.30 c #Conflicts: 1438000 | #Constraints: 111207
3600.07/3610.30 c #Conflicts: 1439000 | #Constraints: 112207
3600.07/3610.30 c #Conflicts: 1440000 | #Constraints: 113207
3600.07/3610.30 c #Conflicts: 1441000 | #Constraints: 114207
3600.07/3610.30 c #Conflicts: 1442000 | #Constraints: 115207
3600.07/3610.30 c #Conflicts: 1443000 | #Constraints: 116207
3600.07/3610.30 c #Conflicts: 1444000 | #Constraints: 117207
3600.07/3610.30 c #Conflicts: 1445000 | #Constraints: 118207
3600.07/3610.30 c #Conflicts: 1446000 | #Constraints: 119207
3600.07/3610.30 c #Conflicts: 1447000 | #Constraints: 120207
3600.07/3610.30 c #Conflicts: 1448000 | #Constraints: 121207
3600.07/3610.30 c #Conflicts: 1449000 | #Constraints: 122207
3600.07/3610.30 c #Conflicts: 1450000 | #Constraints: 123207
3600.07/3610.30 c #Conflicts: 1451000 | #Constraints: 124207
3600.07/3610.30 c #Conflicts: 1452000 | #Constraints: 125207
3600.07/3610.30 c #Conflicts: 1453000 | #Constraints: 126207
3600.07/3610.30 c cpu time 3564.3 s
3600.07/3610.30 c deterministic time 267296415718 2.67e+11
3600.07/3610.30 c optimization time 57.6302 s
3600.07/3610.30 c total solve time 3506.37 s
3600.07/3610.30 c core-guided solve time 0 s
3600.07/3610.30 c propagation time 2017.88 s
3600.07/3610.30 c conflict analysis time 1063.5 s
3600.07/3610.30 c propagations 1488705189
3600.07/3610.30 c resolve steps 81014187
3600.07/3610.30 c decisions 41137708
3600.07/3610.30 c conflicts 1453577
3600.07/3610.30 c restarts 2812
3600.07/3610.30 c inprocessing phases 50
3600.07/3610.30 c garbage collections 50 ,( 100.00 )
3600.07/3610.30 c input clauses 22562 ,( 99.17 )
3600.07/3610.30 c input cardinalities 188 ,( 0.83 )
3600.07/3610.30 c input general constraints 0 ,( 0.00 )
3600.07/3610.30 c input average constraint length 6.44
3600.07/3610.30 c input average constraint degree 1.97
3600.07/3610.30 c learned clauses 1046780 ,( 72.01 )
3600.07/3610.30 c learned cardinalities 51570 ,( 3.55 )
3600.07/3610.30 c learned general constraints 355236 ,( 24.44 )
3600.07/3610.30 c learned average constraint length 672.14
3600.07/3610.30 c learned average constraint degree 12942205.25
3600.07/3610.30 c watched CF 32, 64, 128, Arb: 87147 , 0 , 0 , 0
3600.07/3610.30 c counting CF 32, 64, 128, Arb: 268089 , 0 , 0 , 0
3600.07/3610.30 c watched constraints 87147 ,( 24.53 )
3600.07/3610.30 c counting constraints 268089 ,( 75.47 )
3600.07/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1340998314 , 864965465 , 2009016488 ,( 91173616 , 1917842872 )
3600.07/3610.30 c gcd simplifications 796
3600.07/3610.30 c detected cardinalities 8244
3600.07/3610.30 c weakened non-implied lits 386544844
3600.07/3610.30 c weakened non-implying lits 191519
3600.07/3610.30 c original variables 22372
3600.07/3610.30 c clausal propagations 691097054
3600.07/3610.30 c cardinality propagations 550349165
3600.07/3610.30 c watched propagations 4567478
3600.07/3610.30 c counting propagations 228261409
3600.07/3610.30 c watch lookups 82250179184
3600.07/3610.30 c watch backjump lookups 0
3600.07/3610.30 c watch checks 32980979697
3600.07/3610.30 c propagation checks 144340465850
3600.07/3610.30 c constraint additions 4663363783
3600.07/3610.30 c trail pops 1531277193
3600.07/3610.30 c formula constraints 22750
3600.07/3610.30 c learned constraints 1453572
3600.07/3610.30 c bound constraints 0
3600.07/3610.30 c core-guided constraints 0
3600.07/3610.30 c encountered formula constraints 50034106
3600.07/3610.30 c encountered learned constraints 32433505
3600.07/3610.30 c encountered bound constraints 0
3600.07/3610.30 c encountered core-guided constraints 0
3600.07/3610.30 c LP total time 478.527 s
3600.07/3610.30 c LP solve time 464.94 s
3600.07/3610.30 c LP constraints added 23175
3600.07/3610.30 c LP constraints removed 214
3600.07/3610.30 c LP pivots internal 152609
3600.07/3610.30 c LP pivots root 154504
3600.07/3610.30 c LP calls 19
3600.07/3610.30 c LP optimalities 7
3600.07/3610.30 c LP no pivot count 0
3600.07/3610.30 c LP infeasibilities 5
3600.07/3610.30 c LP valid Farkas constraints 5
3600.07/3610.30 c LP learned Farkas constraints 5
3600.07/3610.30 c LP basis resets 0
3600.07/3610.30 c LP cycling count 0
3600.07/3610.30 c LP singular count 0
3600.07/3610.30 c LP no primal count 0
3600.07/3610.30 c LP no farkas count 0
3600.07/3610.30 c LP other issue count 0
3600.07/3610.30 c LP Gomory cuts 4
3600.07/3610.30 c LP learned cuts 847
3600.07/3610.30 c LP deleted cuts 402
3600.07/3610.30 c LP encountered Gomory constraints 0
3600.07/3610.30 c LP encountered Farkas constraints 141
3600.07/3610.30 c LP encountered learned Farkas constraints 7
3600.07/3610.30 c CG auxiliary variables introduced 0
3600.07/3610.30 c CG solutions found 0
3600.07/3610.30 c CG cores constructed 0
3600.07/3610.30 c CG core cardinality constraints returned 0
3600.07/3610.30 c CG unit cores 0
3600.07/3610.30 c CG single cores 0
3600.07/3610.30 c CG blocks removed during cardinality reduction 0
3600.07/3610.30 c CG first core best 0
3600.07/3610.30 c CG decision core best 0
3600.07/3610.30 c CG core reduction tie 0
3600.07/3610.30 c CG core degree average 0.00
3600.07/3610.30 c CG core slack average 0.00
3600.07/3610.30 c CG core upper bound improvements 0
3600.07/3610.30 c STR number of successful calls 0
3600.07/3610.30 c STR number of unsuccessful calls 0
3600.07/3610.30 c STR number of inconclusive calls 0
3600.07/3610.30 c STR number of successful attempts 0
3600.07/3610.30 c STR number of unsuccessful attempts 0
3600.07/3610.30 c STR number of inconclusive attempts 0
3600.07/3610.30 c STR average degree increase per successful call inf
3600.07/3610.30 c STR average degree increase per successful attempt inf
3600.07/3610.30 c STR total number of conflicts for successful attempts 0
3600.07/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.30 c STR average number of conflicts per successful attempt inf
3600.07/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.30 c AVG.sumWPerc 66.95
3600.07/3610.30 c bigint constraints 0
3600.07/3610.30 s UNKNOWN
3600.07/3610.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61702 MiB free)
memory of node 1: 64507 MiB (64040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506834-1751172660/watcher-4506834-1751172660 -o /tmp/evaluation-result-4506834-1751172660/solver-4506834-1751172660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20704 --watchdog 3760 run-dec-ls.sh HOME/instance-4506834-1751172660.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=21129, runsolver pid=21126
[startup+0.100068 s]*
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128727620/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=63376 memory=18332 CPUtime=0.07 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 2308 0 0 0 5 2 0 0 20 0 1 0 32944863 64897024 4583 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 15844 4583 1984 1147 0 3271 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67568 KiB
Current children cumulated memory: 21276 KiB
[startup+0.21469 s]*
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128710860/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=67088 memory=21696 CPUtime=0.18 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 3256 0 0 0 12 6 0 0 20 0 1 0 32944863 68698112 5424 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 16772 5424 1984 1147 0 4199 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71280 KiB
Current children cumulated memory: 24640 KiB
[startup+0.320301 s]*
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128689312/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=70132 memory=24896 CPUtime=0.26 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 4051 0 0 0 19 7 0 0 20 0 1 0 32944863 71815168 6224 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 17533 6224 1984 1147 0 4960 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 74324 KiB
Current children cumulated memory: 27840 KiB
[startup+0.700408 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128645524/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=118252 memory=64832 CPUtime=0.6 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 12905 0 0 0 49 11 0 0 20 0 1 0 32944863 121090048 16208 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 29563 16208 2272 1147 0 16990 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 122444 KiB
Current children cumulated memory: 67776 KiB
[startup+1.50029 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128645524/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=120024 memory=67520 CPUtime=1.39 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 13576 0 0 0 127 12 0 0 20 0 1 0 32944863 122904576 16880 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 30006 16880 2272 1147 0 17433 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 70464 KiB
[startup+3.10566 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129384720/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=120024 memory=67520 CPUtime=2.97 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 13576 0 0 0 285 12 0 0 20 0 1 0 32944863 122904576 16880 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 30006 16880 2272 1147 0 17433 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 70464 KiB
[startup+6.30021 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129334584/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=127472 memory=78732 CPUtime=6.14 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 15825 0 0 0 593 21 0 0 20 0 1 0 32944863 130531328 19683 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 31868 19683 2336 1147 0 19295 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 131664 KiB
Current children cumulated memory: 81676 KiB
[startup+12.7004 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129309392/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=134432 memory=83084 CPUtime=12.52 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 16928 0 0 0 1214 38 0 0 20 0 1 0 32944863 137658368 20771 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 33608 20771 2336 1147 0 21035 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 138624 KiB
Current children cumulated memory: 86028 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.10 4.11 5/257 21178
/proc/meminfo: memFree=129255728/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=154888 memory=103756 CPUtime=25.29 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 21605 0 0 0 2456 73 0 0 20 0 1 0 32944863 158605312 25939 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 38722 25939 2336 1147 0 26149 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 159080 KiB
Current children cumulated memory: 106700 KiB
[startup+51.1135 s]
/proc/loadavg: 4.11 4.11 4.11 5/257 21178
/proc/meminfo: memFree=129178296/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=190712 memory=130600 CPUtime=50.83 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 26848 0 0 0 4944 139 0 0 20 0 1 0 32944863 195289088 32650 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 47678 32650 2336 1147 0 35105 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 194904 KiB
Current children cumulated memory: 133544 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.12 5/259 21182
/proc/meminfo: memFree=129015976/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=245424 memory=183336 CPUtime=101.88 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 36457 0 0 0 9947 241 0 0 20 0 1 0 32944863 251314176 45834 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 61356 45834 2336 1147 0 48783 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 249616 KiB
Current children cumulated memory: 186280 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/259 21185
/proc/meminfo: memFree=128914152/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=296864 memory=228796 CPUtime=161.71 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 41695 0 0 0 15837 334 0 0 20 0 1 0 32944863 303988736 57199 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 74216 57199 2336 1147 0 61643 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 301056 KiB
Current children cumulated memory: 231740 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/259 21187
/proc/meminfo: memFree=128849208/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=308204 memory=240828 CPUtime=221.55 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 44718 0 0 0 21701 454 0 0 20 0 1 0 32944863 315600896 60207 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 77051 60207 2336 1147 0 64478 0
################
# More data... #
################
/proc/21131/statm: 297991 243440 2336 1147 0 285418 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 1196156 KiB
Current children cumulated memory: 976704 KiB
[startup+3162.3 s]
/proc/loadavg: 4.94 4.48 4.25 5/254 21381
/proc/meminfo: memFree=126276588/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1194268 memory=976576 CPUtime=3153.22 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 153182 0 0 0 312104 3218 0 0 20 0 1 0 32944863 1222930432 244144 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 298567 244144 2336 1147 0 285994 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 1198460 KiB
Current children cumulated memory: 979520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.41 4.25 5/254 21383
/proc/meminfo: memFree=126262744/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1204296 memory=984896 CPUtime=3213.07 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 155257 0 0 0 318047 3260 0 0 20 0 1 0 32944863 1233199104 246224 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 301074 246224 2336 1147 0 288501 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 1208488 KiB
Current children cumulated memory: 987840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.35 4.24 5/254 21385
/proc/meminfo: memFree=126259972/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1204296 memory=984896 CPUtime=3272.92 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 155273 0 0 0 323982 3310 0 0 20 0 1 0 32944863 1233199104 246224 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 301074 246224 2336 1147 0 288501 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 1208488 KiB
Current children cumulated memory: 987840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.30 4.22 5/254 21387
/proc/meminfo: memFree=126253184/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1205064 memory=985664 CPUtime=3332.77 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 155465 0 0 0 329902 3375 0 0 20 0 1 0 32944863 1233985536 246416 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 301266 246416 2336 1147 0 288693 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 1209256 KiB
Current children cumulated memory: 988608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.27 4.22 5/255 21394
/proc/meminfo: memFree=126254680/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1205064 memory=985664 CPUtime=3392.61 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 155694 0 0 0 335830 3431 0 0 20 0 1 0 32944863 1233985536 246416 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 301266 246416 2336 1147 0 288693 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 1209256 KiB
Current children cumulated memory: 988608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.69 4.41 4.27 5/255 21398
/proc/meminfo: memFree=126248884/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1205064 memory=985664 CPUtime=3452.45 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 155819 0 0 0 341776 3469 0 0 20 0 1 0 32944863 1233985536 246416 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 301266 246416 2336 1147 0 288693 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 1209256 KiB
Current children cumulated memory: 988608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.38 4.27 5/254 21400
/proc/meminfo: memFree=126229480/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1211816 memory=991552 CPUtime=3512.3 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 157323 0 0 0 347725 3505 0 0 20 0 1 0 32944863 1240899584 247888 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 302954 247888 2336 1147 0 290381 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 1216008 KiB
Current children cumulated memory: 994496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.32 4.26 5/254 21403
/proc/meminfo: memFree=126162292/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1222024 memory=1001792 CPUtime=3572.14 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 159896 0 0 0 353663 3551 0 0 20 0 1 0 32944863 1251352576 250448 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 305506 250448 2336 1147 0 292933 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 1226216 KiB
Current children cumulated memory: 1004736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.19 4.31 4.25 5/254 21404
/proc/meminfo: memFree=126158064/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1222024 memory=1001792 CPUtime=3600.07 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 159896 0 0 0 356429 3578 0 0 20 0 1 0 32944863 1251352576 250448 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 305506 250448 2336 1147 0 292933 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1226216 KiB
Current children cumulated memory: 1004736 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.31 s]
# the end of solver process 21129 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001198 s, system=0.003876 s
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 21131 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.31 s, system=35.7921 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.19 4.31 4.25 5/254 21404
/proc/meminfo: memFree=126158064/131382112 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21129/stat : 21129 (run-dec-ls.sh) S 21126 21129 20691 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32944862 4292608 736 18446744073709551615 94520937422848 94520938317381 140729834629056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94520938556432 94520938604176 94520957648896 140729834637671 140729834637797 140729834637797 140729834643399 0
/proc/21129/statm: 1048 736 672 219 0 110 0
[pid=21131] ppid=21129 vsize=1222024 memory=1001792 CPUtime=3600.07 cores=5,7
/proc/21131/stat : 21131 (roundingsat) R 21129 21129 20691 0 -1 4194304 159896 0 0 0 356429 3578 0 0 20 0 1 0 32944863 1251352576 250448 18446744073709551615 4227072 8923433 140722132105280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11890688 140722132113824 140722132113960 140722132113960 140722132119530 0
/proc/21131/statm: 305506 250448 2336 1147 0 292933 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1226216 KiB
Current children cumulated memory: 1004736 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3564.31
CPU system time (s): 35.7921
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 1226216
Max. memory (cumulated for all children) (KiB): 1004736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.31
system time used= 35.7921
maximum resident set size= 1002048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160119
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= 347
involuntary context switches= 3020
# summary of solver processes directly reported to runsolver:
# pid: 21129,21131
# total CPU time (s): 3600.1
# total CPU user time (s): 3564.31
# total CPU system time (s): 35.7921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2007 second user time and 37.4615 second system time
The end
Begin job on nodeC001 at 2025-06-29 06:51:00
IDJOB=4506834
IDBENCH=158284
IDSOLVER=3353
FILE ID=nodeC001/4506834-1751172660
RUNJOBID= nodeC001-1751169047-20704
SLURM_JOB_ID= 9587516
Free space on /tmp= 433004 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506834-1751172660/watcher-4506834-1751172660 -o /tmp/evaluation-result-4506834-1751172660/solver-4506834-1751172660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20704 --watchdog 3760 run-dec-ls.sh HOME/instance-4506834-1751172660.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=1815181408
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.442
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.374
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.182
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3547.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.102
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.714
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128769780 kB
MemAvailable: 128449540 kB
Buffers: 3280 kB
Cached: 491100 kB
SwapCached: 0 kB
Active: 1829320 kB
Inactive: 246160 kB
Active(anon): 1599060 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 246160 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16896 kB
Writeback: 48 kB
AnonPages: 1575156 kB
Mapped: 112560 kB
Shmem: 17960 kB
KReclaimable: 85548 kB
Slab: 165840 kB
SReclaimable: 85548 kB
SUnreclaim: 80292 kB
KernelStack: 4112 kB
PageTables: 6216 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2141928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1470464 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC001 at 2025-06-29 07:51:10