0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.13/0.34 c #variables 22372 #constraints 22750
121.09/121.68 c #Conflicts: 1000 | #Constraints: 23749
121.09/121.68 c #Conflicts: 2000 | #Constraints: 24749
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 3000 | #Constraints: 24102
121.09/121.68 c #Conflicts: 4000 | #Constraints: 25102
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 5000 | #Constraints: 24622
121.09/121.68 c #Conflicts: 6000 | #Constraints: 25622
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 7000 | #Constraints: 24715
121.09/121.68 c #Conflicts: 8000 | #Constraints: 25715
121.09/121.68 c #Conflicts: 9000 | #Constraints: 26715
121.09/121.68 c #Conflicts: 10000 | #Constraints: 27715
121.09/121.68 c #Conflicts: 11000 | #Constraints: 28715
121.09/121.68 c #Conflicts: 12000 | #Constraints: 29715
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 13000 | #Constraints: 26750
121.09/121.68 c #Conflicts: 14000 | #Constraints: 27750
121.09/121.68 c #Conflicts: 15000 | #Constraints: 28750
121.09/121.68 c #Conflicts: 16000 | #Constraints: 29750
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 17000 | #Constraints: 27095
121.09/121.68 c #Conflicts: 18000 | #Constraints: 28095
121.09/121.68 c #Conflicts: 19000 | #Constraints: 29095
121.09/121.68 c #Conflicts: 20000 | #Constraints: 30095
121.09/121.68 c #Conflicts: 21000 | #Constraints: 31095
121.09/121.68 c #Conflicts: 22000 | #Constraints: 32095
121.09/121.68 c #Conflicts: 23000 | #Constraints: 33095
121.09/121.68 c #Conflicts: 24000 | #Constraints: 34095
121.09/121.68 c #Conflicts: 25000 | #Constraints: 35095
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 26000 | #Constraints: 29618
121.09/121.68 c #Conflicts: 27000 | #Constraints: 30618
121.09/121.68 c #Conflicts: 28000 | #Constraints: 31618
121.09/121.68 c #Conflicts: 29000 | #Constraints: 32618
121.09/121.68 c #Conflicts: 30000 | #Constraints: 33618
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 31000 | #Constraints: 29703
121.09/121.68 c #Conflicts: 32000 | #Constraints: 30703
121.09/121.68 c #Conflicts: 33000 | #Constraints: 31703
121.09/121.68 c #Conflicts: 34000 | #Constraints: 32703
121.09/121.68 c #Conflicts: 35000 | #Constraints: 33703
121.09/121.68 c #Conflicts: 36000 | #Constraints: 34703
121.09/121.68 c #Conflicts: 37000 | #Constraints: 35703
121.09/121.68 c #Conflicts: 38000 | #Constraints: 36703
121.09/121.68 c #Conflicts: 39000 | #Constraints: 37703
121.09/121.68 c #Conflicts: 40000 | #Constraints: 38703
121.09/121.68 c #Conflicts: 41000 | #Constraints: 39703
121.09/121.68 c #Conflicts: 42000 | #Constraints: 40703
121.09/121.68 c #Conflicts: 43000 | #Constraints: 41703
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 44000 | #Constraints: 33324
121.09/121.68 c #Conflicts: 45000 | #Constraints: 34324
121.09/121.68 c #Conflicts: 46000 | #Constraints: 35324
121.09/121.68 c #Conflicts: 47000 | #Constraints: 36324
121.09/121.68 c #Conflicts: 48000 | #Constraints: 37324
121.09/121.68 c #Conflicts: 49000 | #Constraints: 38324
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 50000 | #Constraints: 32819
121.09/121.68 c #Conflicts: 51000 | #Constraints: 33819
121.09/121.68 c #Conflicts: 52000 | #Constraints: 34819
121.09/121.68 c #Conflicts: 53000 | #Constraints: 35819
121.09/121.68 c #Conflicts: 54000 | #Constraints: 36819
121.09/121.68 c #Conflicts: 55000 | #Constraints: 37819
121.09/121.68 c #Conflicts: 56000 | #Constraints: 38819
121.09/121.68 c #Conflicts: 57000 | #Constraints: 39819
121.09/121.68 c #Conflicts: 58000 | #Constraints: 40819
121.09/121.68 c #Conflicts: 59000 | #Constraints: 41819
121.09/121.68 c #Conflicts: 60000 | #Constraints: 42819
121.09/121.68 c #Conflicts: 61000 | #Constraints: 43819
121.09/121.68 c #Conflicts: 62000 | #Constraints: 44819
121.09/121.68 c #Conflicts: 63000 | #Constraints: 45819
121.09/121.68 c #Conflicts: 64000 | #Constraints: 46819
121.09/121.68 c #Conflicts: 65000 | #Constraints: 47819
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
121.09/121.68 c #Conflicts: 66000 | #Constraints: 36669
121.09/121.68 c #Conflicts: 67000 | #Constraints: 37669
121.09/121.68 c #Conflicts: 68000 | #Constraints: 38669
121.09/121.68 c #Conflicts: 69000 | #Constraints: 39669
121.09/121.68 c #Conflicts: 70000 | #Constraints: 40669
121.09/121.68 c #Conflicts: 71000 | #Constraints: 41669
121.09/121.68 c #Conflicts: 72000 | #Constraints: 42669
121.09/121.68 c INPROCESSING
121.09/121.68 c GARBAGE COLLECT
262.42/263.36 c #Conflicts: 73000 | #Constraints: 35973
262.42/263.36 c #Conflicts: 74000 | #Constraints: 36973
262.42/263.36 c #Conflicts: 75000 | #Constraints: 37973
262.42/263.36 c #Conflicts: 76000 | #Constraints: 38973
262.42/263.36 c #Conflicts: 77000 | #Constraints: 39973
262.42/263.36 c #Conflicts: 78000 | #Constraints: 40973
262.42/263.36 c #Conflicts: 79000 | #Constraints: 41973
262.42/263.36 c #Conflicts: 80000 | #Constraints: 42973
262.42/263.36 c #Conflicts: 81000 | #Constraints: 43973
262.42/263.36 c #Conflicts: 82000 | #Constraints: 44973
262.42/263.36 c #Conflicts: 83000 | #Constraints: 45973
262.42/263.36 c #Conflicts: 84000 | #Constraints: 46973
262.42/263.36 c #Conflicts: 85000 | #Constraints: 47973
262.42/263.36 c #Conflicts: 86000 | #Constraints: 48973
262.42/263.36 c #Conflicts: 87000 | #Constraints: 49973
262.42/263.36 c #Conflicts: 88000 | #Constraints: 50973
262.42/263.36 c #Conflicts: 89000 | #Constraints: 51973
262.42/263.36 c #Conflicts: 90000 | #Constraints: 52973
262.42/263.36 c #Conflicts: 91000 | #Constraints: 53973
262.42/263.36 c INPROCESSING
262.42/263.36 c GARBAGE COLLECT
262.42/263.36 c #Conflicts: 92000 | #Constraints: 39815
262.42/263.36 c #Conflicts: 93000 | #Constraints: 40815
262.42/263.36 c #Conflicts: 94000 | #Constraints: 41815
262.42/263.36 c #Conflicts: 95000 | #Constraints: 42815
262.42/263.36 c #Conflicts: 96000 | #Constraints: 43815
262.42/263.36 c #Conflicts: 97000 | #Constraints: 44815
262.42/263.36 c #Conflicts: 98000 | #Constraints: 45815
262.42/263.36 c #Conflicts: 99000 | #Constraints: 46815
262.42/263.36 c #Conflicts: 100000 | #Constraints: 47815
262.42/263.36 c INPROCESSING
262.42/263.36 c GARBAGE COLLECT
262.42/263.36 c #Conflicts: 101000 | #Constraints: 39005
262.42/263.36 c #Conflicts: 102000 | #Constraints: 40005
262.42/263.36 c #Conflicts: 103000 | #Constraints: 41005
262.42/263.36 c #Conflicts: 104000 | #Constraints: 42005
262.42/263.36 c #Conflicts: 105000 | #Constraints: 43005
262.42/263.36 c #Conflicts: 106000 | #Constraints: 44005
262.42/263.36 c #Conflicts: 107000 | #Constraints: 45005
262.42/263.36 c #Conflicts: 108000 | #Constraints: 46005
262.42/263.36 c #Conflicts: 109000 | #Constraints: 47005
262.42/263.36 c #Conflicts: 110000 | #Constraints: 48005
262.42/263.36 c #Conflicts: 111000 | #Constraints: 49005
262.42/263.36 c #Conflicts: 112000 | #Constraints: 50005
262.42/263.36 c #Conflicts: 113000 | #Constraints: 51005
262.42/263.36 c #Conflicts: 114000 | #Constraints: 52005
262.42/263.36 c #Conflicts: 115000 | #Constraints: 53005
262.42/263.36 c #Conflicts: 116000 | #Constraints: 54005
262.42/263.36 c #Conflicts: 117000 | #Constraints: 55005
262.42/263.36 c #Conflicts: 118000 | #Constraints: 56005
262.42/263.36 c #Conflicts: 119000 | #Constraints: 57005
262.42/263.36 c #Conflicts: 120000 | #Constraints: 58005
262.42/263.36 c #Conflicts: 121000 | #Constraints: 59005
262.42/263.36 c INPROCESSING
262.42/263.36 c GARBAGE COLLECT
262.42/263.36 c #Conflicts: 122000 | #Constraints: 42094
262.42/263.36 c #Conflicts: 123000 | #Constraints: 43094
262.42/263.36 c #Conflicts: 124000 | #Constraints: 44094
262.42/263.36 c #Conflicts: 125000 | #Constraints: 45094
262.42/263.36 c #Conflicts: 126000 | #Constraints: 46094
262.42/263.36 c #Conflicts: 127000 | #Constraints: 47094
262.42/263.36 c #Conflicts: 128000 | #Constraints: 48094
262.42/263.36 c #Conflicts: 129000 | #Constraints: 49094
262.42/263.36 c #Conflicts: 130000 | #Constraints: 50094
262.42/263.36 c #Conflicts: 131000 | #Constraints: 51094
262.42/263.36 c #Conflicts: 132000 | #Constraints: 52094
262.42/263.36 c INPROCESSING
262.42/263.36 c GARBAGE COLLECT
262.42/263.36 c #Conflicts: 133000 | #Constraints: 42614
262.42/263.36 c #Conflicts: 134000 | #Constraints: 43614
262.42/263.36 c #Conflicts: 135000 | #Constraints: 44614
262.42/263.36 c #Conflicts: 136000 | #Constraints: 45614
262.42/263.36 c #Conflicts: 137000 | #Constraints: 46614
262.42/263.36 c #Conflicts: 138000 | #Constraints: 47614
262.42/263.36 c #Conflicts: 139000 | #Constraints: 48614
262.42/263.36 c #Conflicts: 140000 | #Constraints: 49614
262.42/263.36 c #Conflicts: 141000 | #Constraints: 50614
262.42/263.36 c #Conflicts: 142000 | #Constraints: 51614
262.42/263.36 c #Conflicts: 143000 | #Constraints: 52614
262.42/263.36 c #Conflicts: 144000 | #Constraints: 53614
262.42/263.36 c #Conflicts: 145000 | #Constraints: 54614
262.42/263.36 c #Conflicts: 146000 | #Constraints: 55614
262.42/263.36 c #Conflicts: 147000 | #Constraints: 56614
262.42/263.36 c #Conflicts: 148000 | #Constraints: 57614
262.42/263.36 c #Conflicts: 149000 | #Constraints: 58614
384.79/386.10 c #Conflicts: 150000 | #Constraints: 59614
384.79/386.10 c #Conflicts: 151000 | #Constraints: 60614
384.79/386.10 c #Conflicts: 152000 | #Constraints: 61614
384.79/386.10 c #Conflicts: 153000 | #Constraints: 62614
384.79/386.10 c #Conflicts: 154000 | #Constraints: 63614
384.79/386.10 c #Conflicts: 155000 | #Constraints: 64614
384.79/386.10 c #Conflicts: 156000 | #Constraints: 65614
384.79/386.10 c INPROCESSING
384.79/386.10 c GARBAGE COLLECT
384.79/386.10 c #Conflicts: 157000 | #Constraints: 45472
384.79/386.10 c #Conflicts: 158000 | #Constraints: 46472
384.79/386.10 c #Conflicts: 159000 | #Constraints: 47472
384.79/386.10 c #Conflicts: 160000 | #Constraints: 48472
384.79/386.10 c #Conflicts: 161000 | #Constraints: 49472
384.79/386.10 c #Conflicts: 162000 | #Constraints: 50472
384.79/386.10 c #Conflicts: 163000 | #Constraints: 51472
384.79/386.10 c #Conflicts: 164000 | #Constraints: 52472
384.79/386.10 c #Conflicts: 165000 | #Constraints: 53472
384.79/386.10 c #Conflicts: 166000 | #Constraints: 54472
384.79/386.10 c #Conflicts: 167000 | #Constraints: 55472
384.79/386.10 c #Conflicts: 168000 | #Constraints: 56472
384.79/386.10 c INPROCESSING
384.79/386.10 c GARBAGE COLLECT
384.79/386.10 c #Conflicts: 169000 | #Constraints: 45591
384.79/386.10 c #Conflicts: 170000 | #Constraints: 46591
384.79/386.10 c #Conflicts: 171000 | #Constraints: 47591
384.79/386.10 c #Conflicts: 172000 | #Constraints: 48591
384.79/386.10 c #Conflicts: 173000 | #Constraints: 49591
384.79/386.10 c #Conflicts: 174000 | #Constraints: 50591
384.79/386.10 c #Conflicts: 175000 | #Constraints: 51591
384.79/386.10 c #Conflicts: 176000 | #Constraints: 52591
384.79/386.10 c #Conflicts: 177000 | #Constraints: 53591
384.79/386.10 c #Conflicts: 178000 | #Constraints: 54591
384.79/386.10 c #Conflicts: 179000 | #Constraints: 55591
384.79/386.10 c #Conflicts: 180000 | #Constraints: 56591
384.79/386.10 c #Conflicts: 181000 | #Constraints: 57591
384.79/386.10 c #Conflicts: 182000 | #Constraints: 58591
384.79/386.10 c #Conflicts: 183000 | #Constraints: 59591
384.79/386.10 c #Conflicts: 184000 | #Constraints: 60591
384.79/386.10 c #Conflicts: 185000 | #Constraints: 61591
384.79/386.10 c #Conflicts: 186000 | #Constraints: 62591
384.79/386.10 c #Conflicts: 187000 | #Constraints: 63591
384.79/386.10 c #Conflicts: 188000 | #Constraints: 64591
384.79/386.10 c #Conflicts: 189000 | #Constraints: 65591
384.79/386.10 c #Conflicts: 190000 | #Constraints: 66591
384.79/386.10 c #Conflicts: 191000 | #Constraints: 67591
384.79/386.10 c #Conflicts: 192000 | #Constraints: 68591
384.79/386.10 c #Conflicts: 193000 | #Constraints: 69591
384.79/386.10 c #Conflicts: 194000 | #Constraints: 70591
384.79/386.10 c #Conflicts: 195000 | #Constraints: 71591
384.79/386.10 c #Conflicts: 196000 | #Constraints: 72591
384.79/386.10 c INPROCESSING
384.79/386.10 c GARBAGE COLLECT
384.79/386.10 c #Conflicts: 197000 | #Constraints: 49031
384.79/386.10 c #Conflicts: 198000 | #Constraints: 50031
384.79/386.10 c #Conflicts: 199000 | #Constraints: 51031
384.79/386.10 c #Conflicts: 200000 | #Constraints: 52031
384.79/386.10 c #Conflicts: 201000 | #Constraints: 53031
384.79/386.10 c #Conflicts: 202000 | #Constraints: 54031
384.79/386.10 c #Conflicts: 203000 | #Constraints: 55031
384.79/386.10 c #Conflicts: 204000 | #Constraints: 56031
384.79/386.10 c #Conflicts: 205000 | #Constraints: 57031
384.79/386.10 c #Conflicts: 206000 | #Constraints: 58031
384.79/386.10 c #Conflicts: 207000 | #Constraints: 59031
384.79/386.10 c #Conflicts: 208000 | #Constraints: 60031
384.79/386.10 c #Conflicts: 209000 | #Constraints: 61031
384.79/386.10 c INPROCESSING
384.79/386.10 c GARBAGE COLLECT
384.79/386.10 c #Conflicts: 210000 | #Constraints: 48437
384.79/386.10 c #Conflicts: 211000 | #Constraints: 49437
384.79/386.10 c #Conflicts: 212000 | #Constraints: 50437
384.79/386.10 c #Conflicts: 213000 | #Constraints: 51437
384.79/386.10 c #Conflicts: 214000 | #Constraints: 52437
384.79/386.10 c #Conflicts: 215000 | #Constraints: 53437
384.79/386.10 c #Conflicts: 216000 | #Constraints: 54437
384.79/386.10 c #Conflicts: 217000 | #Constraints: 55437
384.79/386.10 c #Conflicts: 218000 | #Constraints: 56437
384.79/386.10 c #Conflicts: 219000 | #Constraints: 57437
384.79/386.10 c #Conflicts: 220000 | #Constraints: 58437
384.79/386.10 c #Conflicts: 221000 | #Constraints: 59437
384.79/386.10 c #Conflicts: 222000 | #Constraints: 60437
384.79/386.10 c #Conflicts: 223000 | #Constraints: 61437
384.79/386.10 c #Conflicts: 224000 | #Constraints: 62437
384.79/386.10 c #Conflicts: 225000 | #Constraints: 63437
435.44/436.87 c #Conflicts: 226000 | #Constraints: 64437
435.44/436.87 c #Conflicts: 227000 | #Constraints: 65437
435.44/436.87 c #Conflicts: 228000 | #Constraints: 66437
435.44/436.87 c #Conflicts: 229000 | #Constraints: 67437
435.44/436.87 c #Conflicts: 230000 | #Constraints: 68437
435.44/436.87 c #Conflicts: 231000 | #Constraints: 69437
435.44/436.87 c #Conflicts: 232000 | #Constraints: 70438
435.44/436.87 c #Conflicts: 233000 | #Constraints: 71438
435.44/436.87 c #Conflicts: 234000 | #Constraints: 72438
435.44/436.87 c #Conflicts: 235000 | #Constraints: 73438
435.44/436.87 c #Conflicts: 236000 | #Constraints: 74438
435.44/436.87 c #Conflicts: 237000 | #Constraints: 75438
435.44/436.87 c #Conflicts: 238000 | #Constraints: 76438
435.44/436.87 c #Conflicts: 239000 | #Constraints: 77438
435.44/436.87 c #Conflicts: 240000 | #Constraints: 78438
435.44/436.87 c INPROCESSING
435.44/436.87 c GARBAGE COLLECT
435.44/436.87 c rational objective 188
480.41/482.00 c #Conflicts: 241000 | #Constraints: 52335
480.41/482.00 c #Conflicts: 242000 | #Constraints: 53335
480.41/482.00 c #Conflicts: 243000 | #Constraints: 54335
480.41/482.00 c #Conflicts: 244000 | #Constraints: 55335
480.41/482.00 c #Conflicts: 245000 | #Constraints: 56335
480.41/482.00 c #Conflicts: 246000 | #Constraints: 57335
480.41/482.00 c #Conflicts: 247000 | #Constraints: 58335
480.41/482.00 c #Conflicts: 248000 | #Constraints: 59335
480.41/482.00 c #Conflicts: 249000 | #Constraints: 60335
480.41/482.00 c #Conflicts: 250000 | #Constraints: 61335
480.41/482.00 c #Conflicts: 251000 | #Constraints: 62335
480.41/482.00 c #Conflicts: 252000 | #Constraints: 63335
480.41/482.00 c #Conflicts: 253000 | #Constraints: 64335
480.41/482.00 c #Conflicts: 254000 | #Constraints: 65335
480.41/482.00 c INPROCESSING
480.41/482.00 c GARBAGE COLLECT
480.41/482.00 c rational objective 188
626.99/628.92 c #Conflicts: 255000 | #Constraints: 51537
626.99/628.92 c #Conflicts: 256000 | #Constraints: 52537
626.99/628.92 c #Conflicts: 257000 | #Constraints: 53537
626.99/628.92 c #Conflicts: 258000 | #Constraints: 54537
626.99/628.92 c #Conflicts: 259000 | #Constraints: 55537
626.99/628.92 c #Conflicts: 260000 | #Constraints: 56537
626.99/628.92 c #Conflicts: 261000 | #Constraints: 57537
626.99/628.92 c #Conflicts: 262000 | #Constraints: 58537
626.99/628.92 c #Conflicts: 263000 | #Constraints: 59537
626.99/628.92 c #Conflicts: 264000 | #Constraints: 60537
626.99/628.92 c #Conflicts: 265000 | #Constraints: 61537
626.99/628.92 c #Conflicts: 266000 | #Constraints: 62537
626.99/628.92 c #Conflicts: 267000 | #Constraints: 63537
626.99/628.92 c #Conflicts: 268000 | #Constraints: 64537
626.99/628.92 c #Conflicts: 269000 | #Constraints: 65537
626.99/628.92 c #Conflicts: 270000 | #Constraints: 66537
626.99/628.92 c #Conflicts: 271000 | #Constraints: 67537
626.99/628.92 c #Conflicts: 272000 | #Constraints: 68537
626.99/628.92 c #Conflicts: 273000 | #Constraints: 69537
626.99/628.92 c #Conflicts: 274000 | #Constraints: 70537
626.99/628.92 c #Conflicts: 275000 | #Constraints: 71537
626.99/628.92 c #Conflicts: 276000 | #Constraints: 72537
626.99/628.92 c #Conflicts: 277000 | #Constraints: 73537
626.99/628.92 c #Conflicts: 278000 | #Constraints: 74537
626.99/628.92 c #Conflicts: 279000 | #Constraints: 75537
626.99/628.92 c #Conflicts: 280000 | #Constraints: 76537
626.99/628.92 c #Conflicts: 281000 | #Constraints: 77537
626.99/628.92 c #Conflicts: 282000 | #Constraints: 78537
626.99/628.92 c #Conflicts: 283000 | #Constraints: 79537
626.99/628.92 c #Conflicts: 284000 | #Constraints: 80537
626.99/628.92 c #Conflicts: 285000 | #Constraints: 81537
626.99/628.92 c #Conflicts: 286000 | #Constraints: 82537
626.99/628.92 c #Conflicts: 287000 | #Constraints: 83537
626.99/628.92 c #Conflicts: 288000 | #Constraints: 84537
626.99/628.92 c INPROCESSING
626.99/628.92 c GARBAGE COLLECT
626.99/628.92 c #Conflicts: 289000 | #Constraints: 55424
626.99/628.92 c #Conflicts: 290000 | #Constraints: 56424
626.99/628.92 c #Conflicts: 291000 | #Constraints: 57424
626.99/628.92 c #Conflicts: 292000 | #Constraints: 58424
626.99/628.92 c #Conflicts: 293000 | #Constraints: 59424
626.99/628.92 c #Conflicts: 294000 | #Constraints: 60424
626.99/628.92 c #Conflicts: 295000 | #Constraints: 61424
626.99/628.92 c #Conflicts: 296000 | #Constraints: 62424
626.99/628.92 c #Conflicts: 297000 | #Constraints: 63424
626.99/628.92 c #Conflicts: 298000 | #Constraints: 64424
626.99/628.92 c #Conflicts: 299000 | #Constraints: 65424
626.99/628.92 c #Conflicts: 300000 | #Constraints: 66424
626.99/628.92 c #Conflicts: 301000 | #Constraints: 67424
626.99/628.92 c #Conflicts: 302000 | #Constraints: 68424
626.99/628.92 c #Conflicts: 303000 | #Constraints: 69424
626.99/628.92 c INPROCESSING
626.99/628.92 c GARBAGE COLLECT
626.99/628.92 c #Conflicts: 304000 | #Constraints: 54581
626.99/628.92 c #Conflicts: 305000 | #Constraints: 55581
626.99/628.92 c #Conflicts: 306000 | #Constraints: 56581
626.99/628.92 c #Conflicts: 307000 | #Constraints: 57581
626.99/628.92 c #Conflicts: 308000 | #Constraints: 58581
626.99/628.92 c #Conflicts: 309000 | #Constraints: 59581
626.99/628.92 c #Conflicts: 310000 | #Constraints: 60581
626.99/628.92 c #Conflicts: 311000 | #Constraints: 61581
626.99/628.92 c #Conflicts: 312000 | #Constraints: 62581
626.99/628.92 c #Conflicts: 313000 | #Constraints: 63581
626.99/628.92 c #Conflicts: 314000 | #Constraints: 64581
626.99/628.92 c #Conflicts: 315000 | #Constraints: 65581
626.99/628.92 c #Conflicts: 316000 | #Constraints: 66581
626.99/628.92 c #Conflicts: 317000 | #Constraints: 67581
626.99/628.92 c #Conflicts: 318000 | #Constraints: 68581
626.99/628.92 c #Conflicts: 319000 | #Constraints: 69581
626.99/628.92 c #Conflicts: 320000 | #Constraints: 70581
626.99/628.92 c #Conflicts: 321000 | #Constraints: 71581
626.99/628.92 c #Conflicts: 322000 | #Constraints: 72581
626.99/628.92 c #Conflicts: 323000 | #Constraints: 73581
626.99/628.92 c #Conflicts: 324000 | #Constraints: 74581
626.99/628.92 c #Conflicts: 325000 | #Constraints: 75581
626.99/628.92 c #Conflicts: 326000 | #Constraints: 76581
626.99/628.92 c #Conflicts: 327000 | #Constraints: 77581
626.99/628.92 c #Conflicts: 328000 | #Constraints: 78581
626.99/628.92 c #Conflicts: 329000 | #Constraints: 79581
626.99/628.92 c #Conflicts: 330000 | #Constraints: 80581
626.99/628.92 c #Conflicts: 331000 | #Constraints: 81581
626.99/628.92 c #Conflicts: 332000 | #Constraints: 82581
853.30/855.89 c #Conflicts: 333000 | #Constraints: 83581
853.30/855.89 c #Conflicts: 334000 | #Constraints: 84581
853.30/855.89 c #Conflicts: 335000 | #Constraints: 85581
853.30/855.89 c #Conflicts: 336000 | #Constraints: 86581
853.30/855.89 c #Conflicts: 337000 | #Constraints: 87581
853.30/855.89 c #Conflicts: 338000 | #Constraints: 88581
853.30/855.89 c #Conflicts: 339000 | #Constraints: 89581
853.30/855.89 c #Conflicts: 340000 | #Constraints: 90581
853.30/855.89 c INPROCESSING
853.30/855.89 c GARBAGE COLLECT
853.30/855.89 c #Conflicts: 341000 | #Constraints: 58104
853.30/855.89 c #Conflicts: 342000 | #Constraints: 59104
853.30/855.89 c #Conflicts: 343000 | #Constraints: 60104
853.30/855.89 c #Conflicts: 344000 | #Constraints: 61104
853.30/855.89 c #Conflicts: 345000 | #Constraints: 62104
853.30/855.89 c #Conflicts: 346000 | #Constraints: 63104
853.30/855.89 c #Conflicts: 347000 | #Constraints: 64104
853.30/855.89 c #Conflicts: 348000 | #Constraints: 65104
853.30/855.89 c #Conflicts: 349000 | #Constraints: 66104
853.30/855.89 c #Conflicts: 350000 | #Constraints: 67104
853.30/855.89 c #Conflicts: 351000 | #Constraints: 68104
853.30/855.89 c #Conflicts: 352000 | #Constraints: 69104
853.30/855.89 c #Conflicts: 353000 | #Constraints: 70104
853.30/855.89 c #Conflicts: 354000 | #Constraints: 71104
853.30/855.89 c #Conflicts: 355000 | #Constraints: 72104
853.30/855.89 c #Conflicts: 356000 | #Constraints: 73104
853.30/855.89 c #Conflicts: 357000 | #Constraints: 74104
853.30/855.89 c INPROCESSING
853.30/855.89 c GARBAGE COLLECT
853.30/855.89 c #Conflicts: 358000 | #Constraints: 57874
853.30/855.89 c #Conflicts: 359000 | #Constraints: 58874
853.30/855.89 c #Conflicts: 360000 | #Constraints: 59874
853.30/855.89 c #Conflicts: 361000 | #Constraints: 60874
853.30/855.89 c #Conflicts: 362000 | #Constraints: 61874
853.30/855.89 c #Conflicts: 363000 | #Constraints: 62874
853.30/855.89 c #Conflicts: 364000 | #Constraints: 63874
853.30/855.89 c #Conflicts: 365000 | #Constraints: 64874
853.30/855.89 c #Conflicts: 366000 | #Constraints: 65874
853.30/855.89 c #Conflicts: 367000 | #Constraints: 66874
853.30/855.89 c #Conflicts: 368000 | #Constraints: 67874
853.30/855.89 c #Conflicts: 369000 | #Constraints: 68874
853.30/855.89 c #Conflicts: 370000 | #Constraints: 69874
853.30/855.89 c #Conflicts: 371000 | #Constraints: 70874
853.30/855.89 c #Conflicts: 372000 | #Constraints: 71874
853.30/855.89 c #Conflicts: 373000 | #Constraints: 72874
853.30/855.89 c #Conflicts: 374000 | #Constraints: 73874
853.30/855.89 c #Conflicts: 375000 | #Constraints: 74875
853.30/855.89 c #Conflicts: 376000 | #Constraints: 75875
853.30/855.89 c #Conflicts: 377000 | #Constraints: 76875
853.30/855.89 c #Conflicts: 378000 | #Constraints: 77875
853.30/855.89 c #Conflicts: 379000 | #Constraints: 78875
853.30/855.89 c #Conflicts: 380000 | #Constraints: 79875
853.30/855.89 c #Conflicts: 381000 | #Constraints: 80875
853.30/855.89 c #Conflicts: 382000 | #Constraints: 81875
853.30/855.89 c #Conflicts: 383000 | #Constraints: 82875
853.30/855.89 c #Conflicts: 384000 | #Constraints: 83875
853.30/855.89 c #Conflicts: 385000 | #Constraints: 84875
853.30/855.89 c #Conflicts: 386000 | #Constraints: 85875
853.30/855.89 c #Conflicts: 387000 | #Constraints: 86875
853.30/855.89 c #Conflicts: 388000 | #Constraints: 87875
853.30/855.89 c #Conflicts: 389000 | #Constraints: 88875
853.30/855.89 c #Conflicts: 390000 | #Constraints: 89875
853.30/855.89 c #Conflicts: 391000 | #Constraints: 90875
853.30/855.89 c #Conflicts: 392000 | #Constraints: 91875
853.30/855.89 c #Conflicts: 393000 | #Constraints: 92875
853.30/855.89 c #Conflicts: 394000 | #Constraints: 93875
853.30/855.89 c #Conflicts: 395000 | #Constraints: 94875
853.30/855.89 c #Conflicts: 396000 | #Constraints: 95875
853.30/855.89 c #Conflicts: 397000 | #Constraints: 96875
853.30/855.89 c INPROCESSING
853.30/855.89 c GARBAGE COLLECT
853.30/855.89 c #Conflicts: 398000 | #Constraints: 61364
853.30/855.89 c #Conflicts: 399000 | #Constraints: 62364
853.30/855.89 c #Conflicts: 400000 | #Constraints: 63364
853.30/855.89 c #Conflicts: 401000 | #Constraints: 64364
853.30/855.89 c #Conflicts: 402000 | #Constraints: 65364
853.30/855.89 c #Conflicts: 403000 | #Constraints: 66364
853.30/855.89 c #Conflicts: 404000 | #Constraints: 67364
853.30/855.89 c #Conflicts: 405000 | #Constraints: 68364
853.30/855.89 c #Conflicts: 406000 | #Constraints: 69364
853.30/855.89 c #Conflicts: 407000 | #Constraints: 70364
853.30/855.89 c #Conflicts: 408000 | #Constraints: 71364
853.30/855.89 c #Conflicts: 409000 | #Constraints: 72364
989.18/992.02 c #Conflicts: 410000 | #Constraints: 73364
989.18/992.02 c #Conflicts: 411000 | #Constraints: 74364
989.18/992.02 c #Conflicts: 412000 | #Constraints: 75364
989.18/992.02 c #Conflicts: 413000 | #Constraints: 76364
989.18/992.02 c #Conflicts: 414000 | #Constraints: 77364
989.18/992.02 c #Conflicts: 415000 | #Constraints: 78364
989.18/992.02 c INPROCESSING
989.18/992.02 c GARBAGE COLLECT
989.18/992.02 c #Conflicts: 416000 | #Constraints: 60809
989.18/992.02 c #Conflicts: 417000 | #Constraints: 61809
989.18/992.02 c #Conflicts: 418000 | #Constraints: 62809
989.18/992.02 c #Conflicts: 419000 | #Constraints: 63809
989.18/992.02 c #Conflicts: 420000 | #Constraints: 64809
989.18/992.02 c #Conflicts: 421000 | #Constraints: 65809
989.18/992.02 c #Conflicts: 422000 | #Constraints: 66809
989.18/992.02 c #Conflicts: 423000 | #Constraints: 67809
989.18/992.02 c #Conflicts: 424000 | #Constraints: 68809
989.18/992.02 c #Conflicts: 425000 | #Constraints: 69809
989.18/992.02 c #Conflicts: 426000 | #Constraints: 70809
989.18/992.02 c #Conflicts: 427000 | #Constraints: 71809
989.18/992.02 c #Conflicts: 428000 | #Constraints: 72809
989.18/992.02 c #Conflicts: 429000 | #Constraints: 73809
989.18/992.02 c #Conflicts: 430000 | #Constraints: 74809
989.18/992.02 c #Conflicts: 431000 | #Constraints: 75809
989.18/992.02 c #Conflicts: 432000 | #Constraints: 76809
989.18/992.02 c #Conflicts: 433000 | #Constraints: 77809
989.18/992.02 c #Conflicts: 434000 | #Constraints: 78809
989.18/992.02 c #Conflicts: 435000 | #Constraints: 79809
989.18/992.02 c #Conflicts: 436000 | #Constraints: 80809
989.18/992.02 c #Conflicts: 437000 | #Constraints: 81809
989.18/992.02 c #Conflicts: 438000 | #Constraints: 82809
989.18/992.02 c #Conflicts: 439000 | #Constraints: 83809
989.18/992.02 c #Conflicts: 440000 | #Constraints: 84809
989.18/992.02 c #Conflicts: 441000 | #Constraints: 85809
989.18/992.02 c #Conflicts: 442000 | #Constraints: 86809
989.18/992.02 c #Conflicts: 443000 | #Constraints: 87809
989.18/992.02 c #Conflicts: 444000 | #Constraints: 88809
989.18/992.02 c #Conflicts: 445000 | #Constraints: 89809
989.18/992.02 c #Conflicts: 446000 | #Constraints: 90809
989.18/992.02 c #Conflicts: 447000 | #Constraints: 91809
989.18/992.02 c #Conflicts: 448000 | #Constraints: 92809
989.18/992.02 c #Conflicts: 449000 | #Constraints: 93809
989.18/992.02 c #Conflicts: 450000 | #Constraints: 94809
989.18/992.02 c #Conflicts: 451000 | #Constraints: 95809
989.18/992.02 c #Conflicts: 452000 | #Constraints: 96809
989.18/992.02 c #Conflicts: 453000 | #Constraints: 97809
989.18/992.02 c #Conflicts: 454000 | #Constraints: 98809
989.18/992.02 c #Conflicts: 455000 | #Constraints: 99809
989.18/992.02 c #Conflicts: 456000 | #Constraints: 100809
989.18/992.02 c #Conflicts: 457000 | #Constraints: 101809
989.18/992.02 c #Conflicts: 458000 | #Constraints: 102809
989.18/992.02 c #Conflicts: 459000 | #Constraints: 103809
989.18/992.02 c INPROCESSING
989.18/992.02 c GARBAGE COLLECT
989.18/992.02 c #Conflicts: 460000 | #Constraints: 65376
989.18/992.02 c #Conflicts: 461000 | #Constraints: 66376
989.18/992.02 c #Conflicts: 462000 | #Constraints: 67376
989.18/992.02 c #Conflicts: 463000 | #Constraints: 68376
989.18/992.02 c #Conflicts: 464000 | #Constraints: 69376
989.18/992.02 c #Conflicts: 465000 | #Constraints: 70376
989.18/992.02 c #Conflicts: 466000 | #Constraints: 71376
989.18/992.02 c #Conflicts: 467000 | #Constraints: 72376
989.18/992.02 c #Conflicts: 468000 | #Constraints: 73376
989.18/992.02 c #Conflicts: 469000 | #Constraints: 74376
989.18/992.02 c #Conflicts: 470000 | #Constraints: 75376
989.18/992.02 c #Conflicts: 471000 | #Constraints: 76376
989.18/992.02 c #Conflicts: 472000 | #Constraints: 77376
989.18/992.02 c #Conflicts: 473000 | #Constraints: 78376
989.18/992.02 c #Conflicts: 474000 | #Constraints: 79376
989.18/992.02 c #Conflicts: 475000 | #Constraints: 80376
989.18/992.02 c #Conflicts: 476000 | #Constraints: 81376
989.18/992.02 c #Conflicts: 477000 | #Constraints: 82376
989.18/992.02 c #Conflicts: 478000 | #Constraints: 83376
989.18/992.02 c INPROCESSING
989.18/992.02 c GARBAGE COLLECT
989.18/992.02 c #Conflicts: 479000 | #Constraints: 63782
989.18/992.02 c #Conflicts: 480000 | #Constraints: 64782
989.18/992.02 c #Conflicts: 481000 | #Constraints: 65782
989.18/992.02 c #Conflicts: 482000 | #Constraints: 66782
989.18/992.02 c #Conflicts: 483000 | #Constraints: 67782
989.18/992.02 c #Conflicts: 484000 | #Constraints: 68782
989.18/992.02 c #Conflicts: 485000 | #Constraints: 69782
989.18/992.02 c #Conflicts: 486000 | #Constraints: 70782
1209.75/1213.17 c #Conflicts: 487000 | #Constraints: 71782
1209.75/1213.17 c #Conflicts: 488000 | #Constraints: 72782
1209.75/1213.17 c #Conflicts: 489000 | #Constraints: 73782
1209.75/1213.17 c #Conflicts: 490000 | #Constraints: 74782
1209.75/1213.17 c #Conflicts: 491000 | #Constraints: 75782
1209.75/1213.17 c #Conflicts: 492000 | #Constraints: 76782
1209.75/1213.17 c #Conflicts: 493000 | #Constraints: 77782
1209.75/1213.17 c #Conflicts: 494000 | #Constraints: 78782
1209.75/1213.17 c #Conflicts: 495000 | #Constraints: 79782
1209.75/1213.17 c #Conflicts: 496000 | #Constraints: 80782
1209.75/1213.17 c #Conflicts: 497000 | #Constraints: 81782
1209.75/1213.17 c #Conflicts: 498000 | #Constraints: 82782
1209.75/1213.17 c #Conflicts: 499000 | #Constraints: 83782
1209.75/1213.17 c #Conflicts: 500000 | #Constraints: 84782
1209.75/1213.17 c #Conflicts: 501000 | #Constraints: 85782
1209.75/1213.17 c #Conflicts: 502000 | #Constraints: 86782
1209.75/1213.17 c #Conflicts: 503000 | #Constraints: 87782
1209.75/1213.17 c #Conflicts: 504000 | #Constraints: 88782
1209.75/1213.17 c #Conflicts: 505000 | #Constraints: 89782
1209.75/1213.17 c #Conflicts: 506000 | #Constraints: 90782
1209.75/1213.17 c #Conflicts: 507000 | #Constraints: 91782
1209.75/1213.17 c #Conflicts: 508000 | #Constraints: 92782
1209.75/1213.17 c #Conflicts: 509000 | #Constraints: 93782
1209.75/1213.17 c #Conflicts: 510000 | #Constraints: 94782
1209.75/1213.17 c #Conflicts: 511000 | #Constraints: 95782
1209.75/1213.17 c #Conflicts: 512000 | #Constraints: 96782
1209.75/1213.17 c #Conflicts: 513000 | #Constraints: 97782
1209.75/1213.17 c #Conflicts: 514000 | #Constraints: 98782
1209.75/1213.17 c #Conflicts: 515000 | #Constraints: 99782
1209.75/1213.17 c #Conflicts: 516000 | #Constraints: 100782
1209.75/1213.17 c #Conflicts: 517000 | #Constraints: 101782
1209.75/1213.17 c #Conflicts: 518000 | #Constraints: 102782
1209.75/1213.17 c #Conflicts: 519000 | #Constraints: 103782
1209.75/1213.17 c #Conflicts: 520000 | #Constraints: 104782
1209.75/1213.17 c #Conflicts: 521000 | #Constraints: 105782
1209.75/1213.17 c #Conflicts: 522000 | #Constraints: 106782
1209.75/1213.17 c #Conflicts: 523000 | #Constraints: 107782
1209.75/1213.17 c #Conflicts: 524000 | #Constraints: 108782
1209.75/1213.17 c #Conflicts: 525000 | #Constraints: 109782
1209.75/1213.17 c INPROCESSING
1209.75/1213.17 c GARBAGE COLLECT
1209.75/1213.17 c #Conflicts: 526000 | #Constraints: 68343
1209.75/1213.17 c #Conflicts: 527000 | #Constraints: 69343
1209.75/1213.17 c #Conflicts: 528000 | #Constraints: 70343
1209.75/1213.17 c #Conflicts: 529000 | #Constraints: 71343
1209.75/1213.17 c #Conflicts: 530000 | #Constraints: 72343
1209.75/1213.17 c #Conflicts: 531000 | #Constraints: 73343
1209.75/1213.17 c #Conflicts: 532000 | #Constraints: 74343
1209.75/1213.17 c #Conflicts: 533000 | #Constraints: 75343
1209.75/1213.17 c #Conflicts: 534000 | #Constraints: 76343
1209.75/1213.17 c #Conflicts: 535000 | #Constraints: 77343
1209.75/1213.17 c #Conflicts: 536000 | #Constraints: 78343
1209.75/1213.17 c #Conflicts: 537000 | #Constraints: 79343
1209.75/1213.17 c #Conflicts: 538000 | #Constraints: 80343
1209.75/1213.17 c #Conflicts: 539000 | #Constraints: 81343
1209.75/1213.17 c #Conflicts: 540000 | #Constraints: 82343
1209.75/1213.17 c #Conflicts: 541000 | #Constraints: 83343
1209.75/1213.17 c #Conflicts: 542000 | #Constraints: 84343
1209.75/1213.17 c #Conflicts: 543000 | #Constraints: 85344
1209.75/1213.17 c #Conflicts: 544000 | #Constraints: 86344
1209.75/1213.17 c #Conflicts: 545000 | #Constraints: 87344
1209.75/1213.17 c INPROCESSING
1209.75/1213.17 c GARBAGE COLLECT
1209.75/1213.17 c #Conflicts: 546000 | #Constraints: 66365
1209.75/1213.17 c #Conflicts: 547000 | #Constraints: 67365
1209.75/1213.17 c #Conflicts: 548000 | #Constraints: 68365
1209.75/1213.17 c #Conflicts: 549000 | #Constraints: 69365
1209.75/1213.17 c #Conflicts: 550000 | #Constraints: 70365
1209.75/1213.17 c #Conflicts: 551000 | #Constraints: 71365
1209.75/1213.17 c #Conflicts: 552000 | #Constraints: 72365
1209.75/1213.17 c #Conflicts: 553000 | #Constraints: 73365
1209.75/1213.17 c #Conflicts: 554000 | #Constraints: 74365
1209.75/1213.17 c #Conflicts: 555000 | #Constraints: 75365
1209.75/1213.17 c #Conflicts: 556000 | #Constraints: 76365
1209.75/1213.17 c #Conflicts: 557000 | #Constraints: 77365
1209.75/1213.17 c #Conflicts: 558000 | #Constraints: 78365
1209.75/1213.17 c #Conflicts: 559000 | #Constraints: 79365
1209.75/1213.17 c #Conflicts: 560000 | #Constraints: 80365
1209.75/1213.17 c #Conflicts: 561000 | #Constraints: 81365
1209.75/1213.17 c #Conflicts: 562000 | #Constraints: 82365
1209.75/1213.17 c #Conflicts: 563000 | #Constraints: 83365
1366.56/1370.37 c #Conflicts: 564000 | #Constraints: 84365
1366.56/1370.37 c #Conflicts: 565000 | #Constraints: 85365
1366.56/1370.37 c #Conflicts: 566000 | #Constraints: 86365
1366.56/1370.37 c #Conflicts: 567000 | #Constraints: 87365
1366.56/1370.37 c #Conflicts: 568000 | #Constraints: 88365
1366.56/1370.37 c #Conflicts: 569000 | #Constraints: 89365
1366.56/1370.37 c #Conflicts: 570000 | #Constraints: 90365
1366.56/1370.37 c #Conflicts: 571000 | #Constraints: 91365
1366.56/1370.37 c #Conflicts: 572000 | #Constraints: 92365
1366.56/1370.37 c #Conflicts: 573000 | #Constraints: 93365
1366.56/1370.37 c #Conflicts: 574000 | #Constraints: 94365
1366.56/1370.37 c #Conflicts: 575000 | #Constraints: 95365
1366.56/1370.37 c #Conflicts: 576000 | #Constraints: 96365
1366.56/1370.37 c #Conflicts: 577000 | #Constraints: 97365
1366.56/1370.37 c #Conflicts: 578000 | #Constraints: 98365
1366.56/1370.37 c #Conflicts: 579000 | #Constraints: 99365
1366.56/1370.37 c #Conflicts: 580000 | #Constraints: 100365
1366.56/1370.37 c #Conflicts: 581000 | #Constraints: 101365
1366.56/1370.37 c #Conflicts: 582000 | #Constraints: 102365
1366.56/1370.37 c #Conflicts: 583000 | #Constraints: 103365
1366.56/1370.37 c #Conflicts: 584000 | #Constraints: 104365
1366.56/1370.37 c #Conflicts: 585000 | #Constraints: 105365
1366.56/1370.37 c #Conflicts: 586000 | #Constraints: 106365
1366.56/1370.37 c #Conflicts: 587000 | #Constraints: 107365
1366.56/1370.37 c #Conflicts: 588000 | #Constraints: 108365
1366.56/1370.37 c #Conflicts: 589000 | #Constraints: 109365
1366.56/1370.37 c #Conflicts: 590000 | #Constraints: 110365
1366.56/1370.37 c #Conflicts: 591000 | #Constraints: 111365
1366.56/1370.37 c #Conflicts: 592000 | #Constraints: 112365
1366.56/1370.37 c #Conflicts: 593000 | #Constraints: 113365
1366.56/1370.37 c #Conflicts: 594000 | #Constraints: 114365
1366.56/1370.37 c #Conflicts: 595000 | #Constraints: 115365
1366.56/1370.37 c INPROCESSING
1366.56/1370.37 c GARBAGE COLLECT
1366.56/1370.37 c #Conflicts: 596000 | #Constraints: 71057
1366.56/1370.37 c #Conflicts: 597000 | #Constraints: 72057
1366.56/1370.37 c #Conflicts: 598000 | #Constraints: 73057
1366.56/1370.37 c #Conflicts: 599000 | #Constraints: 74057
1366.56/1370.37 c #Conflicts: 600000 | #Constraints: 75057
1366.56/1370.37 c #Conflicts: 601000 | #Constraints: 76057
1366.56/1370.37 c #Conflicts: 602000 | #Constraints: 77057
1366.56/1370.37 c #Conflicts: 603000 | #Constraints: 78057
1366.56/1370.37 c #Conflicts: 604000 | #Constraints: 79057
1366.56/1370.37 c #Conflicts: 605000 | #Constraints: 80057
1366.56/1370.37 c #Conflicts: 606000 | #Constraints: 81057
1366.56/1370.37 c #Conflicts: 607000 | #Constraints: 82057
1366.56/1370.37 c #Conflicts: 608000 | #Constraints: 83057
1366.56/1370.37 c #Conflicts: 609000 | #Constraints: 84057
1366.56/1370.37 c #Conflicts: 610000 | #Constraints: 85057
1366.56/1370.37 c #Conflicts: 611000 | #Constraints: 86057
1366.56/1370.37 c #Conflicts: 612000 | #Constraints: 87057
1366.56/1370.37 c #Conflicts: 613000 | #Constraints: 88057
1366.56/1370.37 c #Conflicts: 614000 | #Constraints: 89057
1366.56/1370.37 c #Conflicts: 615000 | #Constraints: 90057
1366.56/1370.37 c #Conflicts: 616000 | #Constraints: 91057
1366.56/1370.37 c #Conflicts: 617000 | #Constraints: 92057
1366.56/1370.37 c INPROCESSING
1366.56/1370.37 c GARBAGE COLLECT
1366.56/1370.37 c #Conflicts: 618000 | #Constraints: 69679
1366.56/1370.37 c #Conflicts: 619000 | #Constraints: 70679
1366.56/1370.37 c #Conflicts: 620000 | #Constraints: 71679
1366.56/1370.37 c #Conflicts: 621000 | #Constraints: 72679
1366.56/1370.37 c #Conflicts: 622000 | #Constraints: 73679
1366.56/1370.37 c #Conflicts: 623000 | #Constraints: 74679
1366.56/1370.37 c #Conflicts: 624000 | #Constraints: 75679
1366.56/1370.37 c #Conflicts: 625000 | #Constraints: 76679
1366.56/1370.37 c #Conflicts: 626000 | #Constraints: 77679
1366.56/1370.37 c #Conflicts: 627000 | #Constraints: 78679
1366.56/1370.37 c #Conflicts: 628000 | #Constraints: 79679
1366.56/1370.37 c #Conflicts: 629000 | #Constraints: 80679
1366.56/1370.37 c #Conflicts: 630000 | #Constraints: 81679
1366.56/1370.37 c #Conflicts: 631000 | #Constraints: 82679
1366.56/1370.37 c #Conflicts: 632000 | #Constraints: 83679
1366.56/1370.37 c #Conflicts: 633000 | #Constraints: 84679
1366.56/1370.37 c #Conflicts: 634000 | #Constraints: 85679
1366.56/1370.37 c #Conflicts: 635000 | #Constraints: 86679
1366.56/1370.37 c #Conflicts: 636000 | #Constraints: 87679
1366.56/1370.37 c #Conflicts: 637000 | #Constraints: 88679
1366.56/1370.37 c #Conflicts: 638000 | #Constraints: 89679
1366.56/1370.37 c #Conflicts: 639000 | #Constraints: 90679
1366.56/1370.37 c #Conflicts: 640000 | #Constraints: 91679
1366.56/1370.37 c #Conflicts: 641000 | #Constraints: 92679
1643.78/1648.21 c #Conflicts: 642000 | #Constraints: 93679
1643.78/1648.21 c #Conflicts: 643000 | #Constraints: 94679
1643.78/1648.21 c #Conflicts: 644000 | #Constraints: 95679
1643.78/1648.21 c #Conflicts: 645000 | #Constraints: 96679
1643.78/1648.21 c #Conflicts: 646000 | #Constraints: 97679
1643.78/1648.21 c #Conflicts: 647000 | #Constraints: 98679
1643.78/1648.21 c #Conflicts: 648000 | #Constraints: 99679
1643.78/1648.21 c #Conflicts: 649000 | #Constraints: 100679
1643.78/1648.21 c #Conflicts: 650000 | #Constraints: 101679
1643.78/1648.21 c #Conflicts: 651000 | #Constraints: 102679
1643.78/1648.21 c #Conflicts: 652000 | #Constraints: 103679
1643.78/1648.21 c #Conflicts: 653000 | #Constraints: 104679
1643.78/1648.21 c #Conflicts: 654000 | #Constraints: 105679
1643.78/1648.21 c #Conflicts: 655000 | #Constraints: 106679
1643.78/1648.21 c #Conflicts: 656000 | #Constraints: 107679
1643.78/1648.21 c #Conflicts: 657000 | #Constraints: 108679
1643.78/1648.21 c #Conflicts: 658000 | #Constraints: 109679
1643.78/1648.21 c #Conflicts: 659000 | #Constraints: 110679
1643.78/1648.21 c #Conflicts: 660000 | #Constraints: 111679
1643.78/1648.21 c #Conflicts: 661000 | #Constraints: 112679
1643.78/1648.21 c #Conflicts: 662000 | #Constraints: 113679
1643.78/1648.21 c #Conflicts: 663000 | #Constraints: 114679
1643.78/1648.21 c #Conflicts: 664000 | #Constraints: 115679
1643.78/1648.21 c #Conflicts: 665000 | #Constraints: 116679
1643.78/1648.21 c #Conflicts: 666000 | #Constraints: 117679
1643.78/1648.21 c #Conflicts: 667000 | #Constraints: 118679
1643.78/1648.21 c #Conflicts: 668000 | #Constraints: 119679
1643.78/1648.21 c #Conflicts: 669000 | #Constraints: 120679
1643.78/1648.21 c INPROCESSING
1643.78/1648.21 c GARBAGE COLLECT
1643.78/1648.21 c #Conflicts: 670000 | #Constraints: 73446
1643.78/1648.21 c #Conflicts: 671000 | #Constraints: 74446
1643.78/1648.21 c #Conflicts: 672000 | #Constraints: 75446
1643.78/1648.21 c #Conflicts: 673000 | #Constraints: 76446
1643.78/1648.21 c #Conflicts: 674000 | #Constraints: 77446
1643.78/1648.21 c #Conflicts: 675000 | #Constraints: 78446
1643.78/1648.21 c #Conflicts: 676000 | #Constraints: 79446
1643.78/1648.21 c #Conflicts: 677000 | #Constraints: 80446
1643.78/1648.21 c #Conflicts: 678000 | #Constraints: 81446
1643.78/1648.21 c #Conflicts: 679000 | #Constraints: 82446
1643.78/1648.21 c #Conflicts: 680000 | #Constraints: 83446
1643.78/1648.21 c #Conflicts: 681000 | #Constraints: 84446
1643.78/1648.21 c #Conflicts: 682000 | #Constraints: 85446
1643.78/1648.21 c #Conflicts: 683000 | #Constraints: 86446
1643.78/1648.21 c #Conflicts: 684000 | #Constraints: 87446
1643.78/1648.21 c #Conflicts: 685000 | #Constraints: 88446
1643.78/1648.21 c #Conflicts: 686000 | #Constraints: 89446
1643.78/1648.21 c #Conflicts: 687000 | #Constraints: 90446
1643.78/1648.21 c #Conflicts: 688000 | #Constraints: 91446
1643.78/1648.21 c #Conflicts: 689000 | #Constraints: 92446
1643.78/1648.21 c #Conflicts: 690000 | #Constraints: 93446
1643.78/1648.21 c #Conflicts: 691000 | #Constraints: 94446
1643.78/1648.21 c #Conflicts: 692000 | #Constraints: 95446
1643.78/1648.21 c #Conflicts: 693000 | #Constraints: 96446
1643.78/1648.21 c INPROCESSING
1643.78/1648.21 c GARBAGE COLLECT
1643.78/1648.21 c #Conflicts: 694000 | #Constraints: 73379
1643.78/1648.21 c #Conflicts: 695000 | #Constraints: 74379
1643.78/1648.21 c #Conflicts: 696000 | #Constraints: 75379
1643.78/1648.21 c #Conflicts: 697000 | #Constraints: 76379
1643.78/1648.21 c #Conflicts: 698000 | #Constraints: 77379
1643.78/1648.21 c #Conflicts: 699000 | #Constraints: 78379
1643.78/1648.21 c #Conflicts: 700000 | #Constraints: 79379
1643.78/1648.21 c #Conflicts: 701000 | #Constraints: 80379
1643.78/1648.21 c #Conflicts: 702000 | #Constraints: 81379
1643.78/1648.21 c #Conflicts: 703000 | #Constraints: 82379
1643.78/1648.21 c #Conflicts: 704000 | #Constraints: 83379
1643.78/1648.21 c #Conflicts: 705000 | #Constraints: 84379
1643.78/1648.21 c #Conflicts: 706000 | #Constraints: 85379
1643.78/1648.21 c #Conflicts: 707000 | #Constraints: 86379
1643.78/1648.21 c #Conflicts: 708000 | #Constraints: 87379
1643.78/1648.21 c #Conflicts: 709000 | #Constraints: 88379
1643.78/1648.21 c #Conflicts: 710000 | #Constraints: 89379
1643.78/1648.21 c #Conflicts: 711000 | #Constraints: 90379
1643.78/1648.21 c #Conflicts: 712000 | #Constraints: 91379
1643.78/1648.21 c #Conflicts: 713000 | #Constraints: 92379
1643.78/1648.21 c #Conflicts: 714000 | #Constraints: 93379
1643.78/1648.21 c #Conflicts: 715000 | #Constraints: 94379
1643.78/1648.21 c #Conflicts: 716000 | #Constraints: 95379
1643.78/1648.21 c #Conflicts: 717000 | #Constraints: 96379
1643.78/1648.21 c #Conflicts: 718000 | #Constraints: 97379
1873.73/1878.73 c #Conflicts: 719000 | #Constraints: 98379
1873.73/1878.73 c #Conflicts: 720000 | #Constraints: 99379
1873.73/1878.73 c #Conflicts: 721000 | #Constraints: 100379
1873.73/1878.73 c #Conflicts: 722000 | #Constraints: 101379
1873.73/1878.73 c #Conflicts: 723000 | #Constraints: 102379
1873.73/1878.73 c #Conflicts: 724000 | #Constraints: 103379
1873.73/1878.73 c #Conflicts: 725000 | #Constraints: 104379
1873.73/1878.73 c #Conflicts: 726000 | #Constraints: 105379
1873.73/1878.73 c #Conflicts: 727000 | #Constraints: 106379
1873.73/1878.73 c #Conflicts: 728000 | #Constraints: 107379
1873.73/1878.73 c #Conflicts: 729000 | #Constraints: 108379
1873.73/1878.73 c #Conflicts: 730000 | #Constraints: 109379
1873.73/1878.73 c #Conflicts: 731000 | #Constraints: 110379
1873.73/1878.73 c #Conflicts: 732000 | #Constraints: 111379
1873.73/1878.73 c #Conflicts: 733000 | #Constraints: 112379
1873.73/1878.73 c #Conflicts: 734000 | #Constraints: 113379
1873.73/1878.73 c #Conflicts: 735000 | #Constraints: 114379
1873.73/1878.73 c #Conflicts: 736000 | #Constraints: 115379
1873.73/1878.73 c #Conflicts: 737000 | #Constraints: 116379
1873.73/1878.73 c #Conflicts: 738000 | #Constraints: 117379
1873.73/1878.73 c #Conflicts: 739000 | #Constraints: 118379
1873.73/1878.73 c #Conflicts: 740000 | #Constraints: 119379
1873.73/1878.73 c #Conflicts: 741000 | #Constraints: 120379
1873.73/1878.73 c #Conflicts: 742000 | #Constraints: 121379
1873.73/1878.73 c #Conflicts: 743000 | #Constraints: 122379
1873.73/1878.73 c #Conflicts: 744000 | #Constraints: 123379
1873.73/1878.73 c #Conflicts: 745000 | #Constraints: 124379
1873.73/1878.73 c #Conflicts: 746000 | #Constraints: 125379
1873.73/1878.73 c #Conflicts: 747000 | #Constraints: 126379
1873.73/1878.73 c #Conflicts: 748000 | #Constraints: 127379
1873.73/1878.73 c INPROCESSING
1873.73/1878.73 c GARBAGE COLLECT
1873.73/1878.73 c #Conflicts: 749000 | #Constraints: 77125
1873.73/1878.73 c #Conflicts: 750000 | #Constraints: 78125
1873.73/1878.73 c #Conflicts: 751000 | #Constraints: 79125
1873.73/1878.73 c #Conflicts: 752000 | #Constraints: 80125
1873.73/1878.73 c #Conflicts: 753000 | #Constraints: 81125
1873.73/1878.73 c #Conflicts: 754000 | #Constraints: 82125
1873.73/1878.73 c #Conflicts: 755000 | #Constraints: 83125
1873.73/1878.73 c #Conflicts: 756000 | #Constraints: 84125
1873.73/1878.73 c #Conflicts: 757000 | #Constraints: 85125
1873.73/1878.73 c #Conflicts: 758000 | #Constraints: 86125
1873.73/1878.73 c #Conflicts: 759000 | #Constraints: 87125
1873.73/1878.73 c #Conflicts: 760000 | #Constraints: 88125
1873.73/1878.73 c #Conflicts: 761000 | #Constraints: 89125
1873.73/1878.73 c #Conflicts: 762000 | #Constraints: 90125
1873.73/1878.73 c #Conflicts: 763000 | #Constraints: 91125
1873.73/1878.73 c #Conflicts: 764000 | #Constraints: 92125
1873.73/1878.73 c #Conflicts: 765000 | #Constraints: 93125
1873.73/1878.73 c #Conflicts: 766000 | #Constraints: 94125
1873.73/1878.73 c #Conflicts: 767000 | #Constraints: 95125
1873.73/1878.73 c #Conflicts: 768000 | #Constraints: 96125
1873.73/1878.73 c #Conflicts: 769000 | #Constraints: 97125
1873.73/1878.73 c #Conflicts: 770000 | #Constraints: 98125
1873.73/1878.73 c #Conflicts: 771000 | #Constraints: 99125
1873.73/1878.73 c #Conflicts: 772000 | #Constraints: 100125
1873.73/1878.73 c #Conflicts: 773000 | #Constraints: 101125
1873.73/1878.73 c INPROCESSING
1873.73/1878.73 c GARBAGE COLLECT
1873.73/1878.73 c #Conflicts: 774000 | #Constraints: 76180
1873.73/1878.73 c #Conflicts: 775000 | #Constraints: 77180
1873.73/1878.73 c #Conflicts: 776000 | #Constraints: 78180
1873.73/1878.73 c #Conflicts: 777000 | #Constraints: 79180
1873.73/1878.73 c #Conflicts: 778000 | #Constraints: 80180
1873.73/1878.73 c #Conflicts: 779000 | #Constraints: 81180
1873.73/1878.73 c #Conflicts: 780000 | #Constraints: 82180
1873.73/1878.73 c #Conflicts: 781000 | #Constraints: 83180
1873.73/1878.73 c #Conflicts: 782000 | #Constraints: 84180
1873.73/1878.73 c #Conflicts: 783000 | #Constraints: 85180
1873.73/1878.73 c #Conflicts: 784000 | #Constraints: 86180
1873.73/1878.73 c #Conflicts: 785000 | #Constraints: 87180
1873.73/1878.73 c #Conflicts: 786000 | #Constraints: 88180
1873.73/1878.73 c #Conflicts: 787000 | #Constraints: 89180
1873.73/1878.73 c #Conflicts: 788000 | #Constraints: 90180
1873.73/1878.73 c #Conflicts: 789000 | #Constraints: 91180
1873.73/1878.73 c #Conflicts: 790000 | #Constraints: 92180
1873.73/1878.73 c #Conflicts: 791000 | #Constraints: 93180
1873.73/1878.73 c #Conflicts: 792000 | #Constraints: 94180
1873.73/1878.73 c #Conflicts: 793000 | #Constraints: 95180
1873.73/1878.73 c #Conflicts: 794000 | #Constraints: 96180
1873.73/1878.73 c #Conflicts: 795000 | #Constraints: 97180
1873.73/1878.73 c #Conflicts: 796000 | #Constraints: 98180
2045.62/2051.08 c #Conflicts: 797000 | #Constraints: 99180
2045.62/2051.08 c #Conflicts: 798000 | #Constraints: 100180
2045.62/2051.08 c #Conflicts: 799000 | #Constraints: 101180
2045.62/2051.08 c #Conflicts: 800000 | #Constraints: 102180
2045.62/2051.08 c #Conflicts: 801000 | #Constraints: 103180
2045.62/2051.08 c #Conflicts: 802000 | #Constraints: 104180
2045.62/2051.08 c #Conflicts: 803000 | #Constraints: 105180
2045.62/2051.08 c #Conflicts: 804000 | #Constraints: 106180
2045.62/2051.08 c #Conflicts: 805000 | #Constraints: 107180
2045.62/2051.08 c #Conflicts: 806000 | #Constraints: 108180
2045.62/2051.08 c #Conflicts: 807000 | #Constraints: 109180
2045.62/2051.08 c #Conflicts: 808000 | #Constraints: 110180
2045.62/2051.08 c #Conflicts: 809000 | #Constraints: 111180
2045.62/2051.08 c #Conflicts: 810000 | #Constraints: 112180
2045.62/2051.08 c #Conflicts: 811000 | #Constraints: 113180
2045.62/2051.08 c #Conflicts: 812000 | #Constraints: 114180
2045.62/2051.08 c #Conflicts: 813000 | #Constraints: 115180
2045.62/2051.08 c #Conflicts: 814000 | #Constraints: 116180
2045.62/2051.08 c #Conflicts: 815000 | #Constraints: 117180
2045.62/2051.08 c #Conflicts: 816000 | #Constraints: 118180
2045.62/2051.08 c #Conflicts: 817000 | #Constraints: 119180
2045.62/2051.08 c #Conflicts: 818000 | #Constraints: 120180
2045.62/2051.08 c #Conflicts: 819000 | #Constraints: 121180
2045.62/2051.08 c #Conflicts: 820000 | #Constraints: 122180
2045.62/2051.08 c #Conflicts: 821000 | #Constraints: 123180
2045.62/2051.08 c #Conflicts: 822000 | #Constraints: 124180
2045.62/2051.08 c #Conflicts: 823000 | #Constraints: 125180
2045.62/2051.08 c #Conflicts: 824000 | #Constraints: 126180
2045.62/2051.08 c #Conflicts: 825000 | #Constraints: 127180
2045.62/2051.08 c #Conflicts: 826000 | #Constraints: 128180
2045.62/2051.08 c #Conflicts: 827000 | #Constraints: 129180
2045.62/2051.08 c #Conflicts: 828000 | #Constraints: 130180
2045.62/2051.08 c #Conflicts: 829000 | #Constraints: 131180
2045.62/2051.08 c #Conflicts: 830000 | #Constraints: 132180
2045.62/2051.08 c #Conflicts: 831000 | #Constraints: 133180
2045.62/2051.08 c #Conflicts: 832000 | #Constraints: 134180
2045.62/2051.08 c INPROCESSING
2045.62/2051.08 c GARBAGE COLLECT
2045.62/2051.08 c #Conflicts: 833000 | #Constraints: 80594
2045.62/2051.08 c #Conflicts: 834000 | #Constraints: 81594
2045.62/2051.08 c #Conflicts: 835000 | #Constraints: 82594
2045.62/2051.08 c #Conflicts: 836000 | #Constraints: 83594
2045.62/2051.08 c #Conflicts: 837000 | #Constraints: 84594
2045.62/2051.08 c #Conflicts: 838000 | #Constraints: 85594
2045.62/2051.08 c #Conflicts: 839000 | #Constraints: 86594
2045.62/2051.08 c #Conflicts: 840000 | #Constraints: 87594
2045.62/2051.08 c #Conflicts: 841000 | #Constraints: 88594
2045.62/2051.08 c #Conflicts: 842000 | #Constraints: 89594
2045.62/2051.08 c #Conflicts: 843000 | #Constraints: 90594
2045.62/2051.08 c #Conflicts: 844000 | #Constraints: 91594
2045.62/2051.08 c #Conflicts: 845000 | #Constraints: 92594
2045.62/2051.08 c #Conflicts: 846000 | #Constraints: 93594
2045.62/2051.08 c #Conflicts: 847000 | #Constraints: 94594
2045.62/2051.08 c #Conflicts: 848000 | #Constraints: 95594
2045.62/2051.08 c #Conflicts: 849000 | #Constraints: 96594
2045.62/2051.08 c #Conflicts: 850000 | #Constraints: 97594
2045.62/2051.08 c #Conflicts: 851000 | #Constraints: 98594
2045.62/2051.08 c #Conflicts: 852000 | #Constraints: 99594
2045.62/2051.08 c #Conflicts: 853000 | #Constraints: 100594
2045.62/2051.08 c #Conflicts: 854000 | #Constraints: 101594
2045.62/2051.08 c #Conflicts: 855000 | #Constraints: 102594
2045.62/2051.08 c #Conflicts: 856000 | #Constraints: 103594
2045.62/2051.08 c #Conflicts: 857000 | #Constraints: 104594
2045.62/2051.08 c #Conflicts: 858000 | #Constraints: 105594
2045.62/2051.08 c INPROCESSING
2045.62/2051.08 c GARBAGE COLLECT
2045.62/2051.08 c #Conflicts: 859000 | #Constraints: 79418
2045.62/2051.08 c #Conflicts: 860000 | #Constraints: 80418
2045.62/2051.08 c #Conflicts: 861000 | #Constraints: 81418
2045.62/2051.08 c #Conflicts: 862000 | #Constraints: 82418
2045.62/2051.08 c #Conflicts: 863000 | #Constraints: 83418
2045.62/2051.08 c #Conflicts: 864000 | #Constraints: 84418
2045.62/2051.08 c #Conflicts: 865000 | #Constraints: 85418
2045.62/2051.08 c #Conflicts: 866000 | #Constraints: 86418
2045.62/2051.08 c #Conflicts: 867000 | #Constraints: 87418
2045.62/2051.08 c #Conflicts: 868000 | #Constraints: 88418
2045.62/2051.08 c #Conflicts: 869000 | #Constraints: 89418
2045.62/2051.08 c #Conflicts: 870000 | #Constraints: 90418
2045.62/2051.08 c #Conflicts: 871000 | #Constraints: 91418
2045.62/2051.08 c #Conflicts: 872000 | #Constraints: 92418
2045.62/2051.08 c #Conflicts: 873000 | #Constraints: 93418
2245.24/2251.11 c #Conflicts: 874000 | #Constraints: 94418
2245.24/2251.11 c #Conflicts: 875000 | #Constraints: 95418
2245.24/2251.11 c #Conflicts: 876000 | #Constraints: 96418
2245.24/2251.11 c #Conflicts: 877000 | #Constraints: 97418
2245.24/2251.11 c #Conflicts: 878000 | #Constraints: 98418
2245.24/2251.11 c #Conflicts: 879000 | #Constraints: 99418
2245.24/2251.11 c #Conflicts: 880000 | #Constraints: 100418
2245.24/2251.11 c #Conflicts: 881000 | #Constraints: 101418
2245.24/2251.11 c #Conflicts: 882000 | #Constraints: 102418
2245.24/2251.11 c #Conflicts: 883000 | #Constraints: 103418
2245.24/2251.11 c #Conflicts: 884000 | #Constraints: 104418
2245.24/2251.11 c #Conflicts: 885000 | #Constraints: 105418
2245.24/2251.11 c #Conflicts: 886000 | #Constraints: 106418
2245.24/2251.11 c #Conflicts: 887000 | #Constraints: 107418
2245.24/2251.11 c #Conflicts: 888000 | #Constraints: 108418
2245.24/2251.11 c #Conflicts: 889000 | #Constraints: 109418
2245.24/2251.11 c #Conflicts: 890000 | #Constraints: 110418
2245.24/2251.11 c #Conflicts: 891000 | #Constraints: 111418
2245.24/2251.11 c #Conflicts: 892000 | #Constraints: 112418
2245.24/2251.11 c #Conflicts: 893000 | #Constraints: 113418
2245.24/2251.11 c #Conflicts: 894000 | #Constraints: 114418
2245.24/2251.11 c #Conflicts: 895000 | #Constraints: 115418
2245.24/2251.11 c #Conflicts: 896000 | #Constraints: 116418
2245.24/2251.11 c #Conflicts: 897000 | #Constraints: 117418
2245.24/2251.11 c #Conflicts: 898000 | #Constraints: 118418
2245.24/2251.11 c #Conflicts: 899000 | #Constraints: 119418
2245.24/2251.11 c #Conflicts: 900000 | #Constraints: 120418
2245.24/2251.11 c #Conflicts: 901000 | #Constraints: 121418
2245.24/2251.11 c #Conflicts: 902000 | #Constraints: 122418
2245.24/2251.11 c #Conflicts: 903000 | #Constraints: 123418
2245.24/2251.11 c #Conflicts: 904000 | #Constraints: 124418
2245.24/2251.11 c #Conflicts: 905000 | #Constraints: 125418
2245.24/2251.11 c #Conflicts: 906000 | #Constraints: 126418
2245.24/2251.11 c #Conflicts: 907000 | #Constraints: 127418
2245.24/2251.11 c #Conflicts: 908000 | #Constraints: 128418
2245.24/2251.11 c #Conflicts: 909000 | #Constraints: 129418
2245.24/2251.11 c #Conflicts: 910000 | #Constraints: 130418
2245.24/2251.11 c #Conflicts: 911000 | #Constraints: 131418
2245.24/2251.11 c #Conflicts: 912000 | #Constraints: 132418
2245.24/2251.11 c #Conflicts: 913000 | #Constraints: 133418
2245.24/2251.11 c #Conflicts: 914000 | #Constraints: 134418
2245.24/2251.11 c #Conflicts: 915000 | #Constraints: 135418
2245.24/2251.11 c #Conflicts: 916000 | #Constraints: 136418
2245.24/2251.11 c #Conflicts: 917000 | #Constraints: 137418
2245.24/2251.11 c #Conflicts: 918000 | #Constraints: 138418
2245.24/2251.11 c #Conflicts: 919000 | #Constraints: 139418
2245.24/2251.11 c #Conflicts: 920000 | #Constraints: 140418
2245.24/2251.11 c INPROCESSING
2245.24/2251.11 c GARBAGE COLLECT
2245.24/2251.11 c #Conflicts: 921000 | #Constraints: 84175
2245.24/2251.11 c #Conflicts: 922000 | #Constraints: 85175
2245.24/2251.11 c #Conflicts: 923000 | #Constraints: 86175
2245.24/2251.11 c #Conflicts: 924000 | #Constraints: 87175
2245.24/2251.11 c #Conflicts: 925000 | #Constraints: 88175
2245.24/2251.11 c #Conflicts: 926000 | #Constraints: 89175
2245.24/2251.11 c #Conflicts: 927000 | #Constraints: 90175
2245.24/2251.11 c #Conflicts: 928000 | #Constraints: 91175
2245.24/2251.11 c #Conflicts: 929000 | #Constraints: 92175
2245.24/2251.11 c #Conflicts: 930000 | #Constraints: 93175
2245.24/2251.11 c #Conflicts: 931000 | #Constraints: 94175
2245.24/2251.11 c #Conflicts: 932000 | #Constraints: 95175
2245.24/2251.11 c #Conflicts: 933000 | #Constraints: 96175
2245.24/2251.11 c #Conflicts: 934000 | #Constraints: 97175
2245.24/2251.11 c #Conflicts: 935000 | #Constraints: 98175
2245.24/2251.11 c #Conflicts: 936000 | #Constraints: 99175
2245.24/2251.11 c #Conflicts: 937000 | #Constraints: 100175
2245.24/2251.11 c #Conflicts: 938000 | #Constraints: 101175
2245.24/2251.11 c #Conflicts: 939000 | #Constraints: 102175
2245.24/2251.11 c #Conflicts: 940000 | #Constraints: 103175
2245.24/2251.11 c #Conflicts: 941000 | #Constraints: 104175
2245.24/2251.11 c #Conflicts: 942000 | #Constraints: 105175
2245.24/2251.11 c #Conflicts: 943000 | #Constraints: 106175
2245.24/2251.11 c #Conflicts: 944000 | #Constraints: 107175
2245.24/2251.11 c #Conflicts: 945000 | #Constraints: 108175
2245.24/2251.11 c #Conflicts: 946000 | #Constraints: 109175
2245.24/2251.11 c #Conflicts: 947000 | #Constraints: 110175
2245.24/2251.11 c INPROCESSING
2245.24/2251.11 c GARBAGE COLLECT
2245.24/2251.11 c #Conflicts: 948000 | #Constraints: 82820
2245.24/2251.11 c #Conflicts: 949000 | #Constraints: 83820
2245.24/2251.11 c #Conflicts: 950000 | #Constraints: 84820
2245.24/2251.11 c #Conflicts: 951000 | #Constraints: 85820
2437.49/2443.86 c #Conflicts: 952000 | #Constraints: 86820
2437.49/2443.86 c #Conflicts: 953000 | #Constraints: 87820
2437.49/2443.86 c #Conflicts: 954000 | #Constraints: 88820
2437.49/2443.86 c #Conflicts: 955000 | #Constraints: 89820
2437.49/2443.86 c #Conflicts: 956000 | #Constraints: 90820
2437.49/2443.86 c #Conflicts: 957000 | #Constraints: 91820
2437.49/2443.86 c #Conflicts: 958000 | #Constraints: 92820
2437.49/2443.86 c #Conflicts: 959000 | #Constraints: 93820
2437.49/2443.86 c #Conflicts: 960000 | #Constraints: 94820
2437.49/2443.86 c #Conflicts: 961000 | #Constraints: 95820
2437.49/2443.86 c #Conflicts: 962000 | #Constraints: 96820
2437.49/2443.86 c #Conflicts: 963000 | #Constraints: 97820
2437.49/2443.86 c #Conflicts: 964000 | #Constraints: 98820
2437.49/2443.86 c #Conflicts: 965000 | #Constraints: 99820
2437.49/2443.86 c #Conflicts: 966000 | #Constraints: 100820
2437.49/2443.86 c #Conflicts: 967000 | #Constraints: 101820
2437.49/2443.86 c #Conflicts: 968000 | #Constraints: 102820
2437.49/2443.86 c #Conflicts: 969000 | #Constraints: 103820
2437.49/2443.86 c #Conflicts: 970000 | #Constraints: 104820
2437.49/2443.86 c #Conflicts: 971000 | #Constraints: 105820
2437.49/2443.86 c #Conflicts: 972000 | #Constraints: 106820
2437.49/2443.86 c #Conflicts: 973000 | #Constraints: 107820
2437.49/2443.86 c #Conflicts: 974000 | #Constraints: 108820
2437.49/2443.86 c #Conflicts: 975000 | #Constraints: 109820
2437.49/2443.86 c #Conflicts: 976000 | #Constraints: 110820
2437.49/2443.86 c #Conflicts: 977000 | #Constraints: 111820
2437.49/2443.86 c #Conflicts: 978000 | #Constraints: 112820
2437.49/2443.86 c #Conflicts: 979000 | #Constraints: 113820
2437.49/2443.86 c #Conflicts: 980000 | #Constraints: 114820
2437.49/2443.86 c #Conflicts: 981000 | #Constraints: 115820
2437.49/2443.86 c #Conflicts: 982000 | #Constraints: 116820
2437.49/2443.86 c #Conflicts: 983000 | #Constraints: 117820
2437.49/2443.86 c #Conflicts: 984000 | #Constraints: 118820
2437.49/2443.86 c #Conflicts: 985000 | #Constraints: 119820
2437.49/2443.86 c #Conflicts: 986000 | #Constraints: 120820
2437.49/2443.86 c #Conflicts: 987000 | #Constraints: 121820
2437.49/2443.86 c #Conflicts: 988000 | #Constraints: 122820
2437.49/2443.86 c #Conflicts: 989000 | #Constraints: 123820
2437.49/2443.86 c #Conflicts: 990000 | #Constraints: 124820
2437.49/2443.86 c #Conflicts: 991000 | #Constraints: 125820
2437.49/2443.86 c #Conflicts: 992000 | #Constraints: 126820
2437.49/2443.86 c #Conflicts: 993000 | #Constraints: 127820
2437.49/2443.86 c #Conflicts: 994000 | #Constraints: 128820
2437.49/2443.86 c #Conflicts: 995000 | #Constraints: 129820
2437.49/2443.86 c #Conflicts: 996000 | #Constraints: 130820
2437.49/2443.86 c #Conflicts: 997000 | #Constraints: 131820
2437.49/2443.86 c #Conflicts: 998000 | #Constraints: 132820
2437.49/2443.86 c #Conflicts: 999000 | #Constraints: 133820
2437.49/2443.86 c #Conflicts: 1000000 | #Constraints: 134820
2437.49/2443.86 c #Conflicts: 1001000 | #Constraints: 135820
2437.49/2443.86 c #Conflicts: 1002000 | #Constraints: 136820
2437.49/2443.86 c #Conflicts: 1003000 | #Constraints: 137820
2437.49/2443.86 c #Conflicts: 1004000 | #Constraints: 138820
2437.49/2443.86 c #Conflicts: 1005000 | #Constraints: 139820
2437.49/2443.86 c #Conflicts: 1006000 | #Constraints: 140820
2437.49/2443.86 c #Conflicts: 1007000 | #Constraints: 141820
2437.49/2443.86 c #Conflicts: 1008000 | #Constraints: 142820
2437.49/2443.86 c #Conflicts: 1009000 | #Constraints: 143820
2437.49/2443.86 c #Conflicts: 1010000 | #Constraints: 144820
2437.49/2443.86 c #Conflicts: 1011000 | #Constraints: 145820
2437.49/2443.86 c #Conflicts: 1012000 | #Constraints: 146820
2437.49/2443.86 c INPROCESSING
2437.49/2443.86 c GARBAGE COLLECT
2437.49/2443.86 c #Conflicts: 1013000 | #Constraints: 87136
2437.49/2443.86 c #Conflicts: 1014000 | #Constraints: 88136
2437.49/2443.86 c #Conflicts: 1015000 | #Constraints: 89136
2437.49/2443.86 c #Conflicts: 1016000 | #Constraints: 90136
2437.49/2443.86 c #Conflicts: 1017000 | #Constraints: 91136
2437.49/2443.86 c #Conflicts: 1018000 | #Constraints: 92136
2437.49/2443.86 c #Conflicts: 1019000 | #Constraints: 93136
2437.49/2443.86 c #Conflicts: 1020000 | #Constraints: 94136
2437.49/2443.86 c #Conflicts: 1021000 | #Constraints: 95136
2437.49/2443.86 c #Conflicts: 1022000 | #Constraints: 96136
2437.49/2443.86 c #Conflicts: 1023000 | #Constraints: 97136
2437.49/2443.86 c #Conflicts: 1024000 | #Constraints: 98136
2437.49/2443.86 c #Conflicts: 1025000 | #Constraints: 99136
2437.49/2443.86 c #Conflicts: 1026000 | #Constraints: 100136
2437.49/2443.86 c #Conflicts: 1027000 | #Constraints: 101136
2437.49/2443.86 c #Conflicts: 1028000 | #Constraints: 102136
2437.49/2443.86 c #Conflicts: 1029000 | #Constraints: 103136
2695.18/2702.13 c #Conflicts: 1030000 | #Constraints: 104136
2695.18/2702.13 c #Conflicts: 1031000 | #Constraints: 105136
2695.18/2702.13 c #Conflicts: 1032000 | #Constraints: 106136
2695.18/2702.13 c #Conflicts: 1033000 | #Constraints: 107136
2695.18/2702.13 c #Conflicts: 1034000 | #Constraints: 108136
2695.18/2702.13 c #Conflicts: 1035000 | #Constraints: 109136
2695.18/2702.13 c #Conflicts: 1036000 | #Constraints: 110136
2695.18/2702.13 c #Conflicts: 1037000 | #Constraints: 111136
2695.18/2702.13 c #Conflicts: 1038000 | #Constraints: 112136
2695.18/2702.13 c #Conflicts: 1039000 | #Constraints: 113136
2695.18/2702.13 c #Conflicts: 1040000 | #Constraints: 114136
2695.18/2702.13 c INPROCESSING
2695.18/2702.13 c GARBAGE COLLECT
2695.18/2702.13 c #Conflicts: 1041000 | #Constraints: 84736
2695.18/2702.13 c #Conflicts: 1042000 | #Constraints: 85736
2695.18/2702.13 c #Conflicts: 1043000 | #Constraints: 86736
2695.18/2702.13 c #Conflicts: 1044000 | #Constraints: 87736
2695.18/2702.13 c #Conflicts: 1045000 | #Constraints: 88736
2695.18/2702.13 c #Conflicts: 1046000 | #Constraints: 89736
2695.18/2702.13 c #Conflicts: 1047000 | #Constraints: 90736
2695.18/2702.13 c #Conflicts: 1048000 | #Constraints: 91736
2695.18/2702.13 c #Conflicts: 1049000 | #Constraints: 92736
2695.18/2702.13 c #Conflicts: 1050000 | #Constraints: 93736
2695.18/2702.13 c #Conflicts: 1051000 | #Constraints: 94736
2695.18/2702.13 c #Conflicts: 1052000 | #Constraints: 95736
2695.18/2702.13 c #Conflicts: 1053000 | #Constraints: 96736
2695.18/2702.13 c #Conflicts: 1054000 | #Constraints: 97736
2695.18/2702.13 c #Conflicts: 1055000 | #Constraints: 98736
2695.18/2702.13 c #Conflicts: 1056000 | #Constraints: 99736
2695.18/2702.13 c #Conflicts: 1057000 | #Constraints: 100736
2695.18/2702.13 c #Conflicts: 1058000 | #Constraints: 101736
2695.18/2702.13 c #Conflicts: 1059000 | #Constraints: 102736
2695.18/2702.13 c #Conflicts: 1060000 | #Constraints: 103736
2695.18/2702.13 c #Conflicts: 1061000 | #Constraints: 104736
2695.18/2702.13 c #Conflicts: 1062000 | #Constraints: 105736
2695.18/2702.13 c #Conflicts: 1063000 | #Constraints: 106736
2695.18/2702.13 c #Conflicts: 1064000 | #Constraints: 107736
2695.18/2702.13 c #Conflicts: 1065000 | #Constraints: 108736
2695.18/2702.13 c #Conflicts: 1066000 | #Constraints: 109736
2695.18/2702.13 c #Conflicts: 1067000 | #Constraints: 110736
2695.18/2702.13 c #Conflicts: 1068000 | #Constraints: 111736
2695.18/2702.13 c #Conflicts: 1069000 | #Constraints: 112736
2695.18/2702.13 c #Conflicts: 1070000 | #Constraints: 113736
2695.18/2702.13 c #Conflicts: 1071000 | #Constraints: 114736
2695.18/2702.13 c #Conflicts: 1072000 | #Constraints: 115736
2695.18/2702.13 c #Conflicts: 1073000 | #Constraints: 116736
2695.18/2702.13 c #Conflicts: 1074000 | #Constraints: 117736
2695.18/2702.13 c #Conflicts: 1075000 | #Constraints: 118736
2695.18/2702.13 c #Conflicts: 1076000 | #Constraints: 119736
2695.18/2702.13 c #Conflicts: 1077000 | #Constraints: 120736
2695.18/2702.13 c #Conflicts: 1078000 | #Constraints: 121736
2695.18/2702.13 c #Conflicts: 1079000 | #Constraints: 122736
2695.18/2702.13 c #Conflicts: 1080000 | #Constraints: 123736
2695.18/2702.13 c #Conflicts: 1081000 | #Constraints: 124736
2695.18/2702.13 c #Conflicts: 1082000 | #Constraints: 125736
2695.18/2702.13 c #Conflicts: 1083000 | #Constraints: 126736
2695.18/2702.13 c #Conflicts: 1084000 | #Constraints: 127736
2695.18/2702.13 c #Conflicts: 1085000 | #Constraints: 128736
2695.18/2702.13 c #Conflicts: 1086000 | #Constraints: 129736
2695.18/2702.13 c #Conflicts: 1087000 | #Constraints: 130736
2695.18/2702.13 c #Conflicts: 1088000 | #Constraints: 131736
2695.18/2702.13 c #Conflicts: 1089000 | #Constraints: 132736
2695.18/2702.13 c #Conflicts: 1090000 | #Constraints: 133736
2695.18/2702.13 c #Conflicts: 1091000 | #Constraints: 134736
2695.18/2702.13 c #Conflicts: 1092000 | #Constraints: 135736
2695.18/2702.13 c #Conflicts: 1093000 | #Constraints: 136736
2695.18/2702.13 c #Conflicts: 1094000 | #Constraints: 137736
2695.18/2702.13 c #Conflicts: 1095000 | #Constraints: 138736
2695.18/2702.13 c #Conflicts: 1096000 | #Constraints: 139736
2695.18/2702.13 c #Conflicts: 1097000 | #Constraints: 140736
2695.18/2702.13 c #Conflicts: 1098000 | #Constraints: 141736
2695.18/2702.13 c #Conflicts: 1099000 | #Constraints: 142736
2695.18/2702.13 c #Conflicts: 1100000 | #Constraints: 143736
2695.18/2702.13 c #Conflicts: 1101000 | #Constraints: 144736
2695.18/2702.13 c #Conflicts: 1102000 | #Constraints: 145736
2695.18/2702.13 c #Conflicts: 1103000 | #Constraints: 146736
2695.18/2702.13 c #Conflicts: 1104000 | #Constraints: 147736
2695.18/2702.13 c #Conflicts: 1105000 | #Constraints: 148736
2695.18/2702.13 c #Conflicts: 1106000 | #Constraints: 149736
2695.18/2702.13 c #Conflicts: 1107000 | #Constraints: 150736
2907.97/2915.46 c #Conflicts: 1108000 | #Constraints: 151736
2907.97/2915.46 c INPROCESSING
2907.97/2915.46 c GARBAGE COLLECT
2907.97/2915.46 c #Conflicts: 1109000 | #Constraints: 89431
2907.97/2915.46 c #Conflicts: 1110000 | #Constraints: 90431
2907.97/2915.46 c #Conflicts: 1111000 | #Constraints: 91431
2907.97/2915.46 c #Conflicts: 1112000 | #Constraints: 92431
2907.97/2915.46 c #Conflicts: 1113000 | #Constraints: 93431
2907.97/2915.46 c #Conflicts: 1114000 | #Constraints: 94431
2907.97/2915.46 c #Conflicts: 1115000 | #Constraints: 95431
2907.97/2915.46 c #Conflicts: 1116000 | #Constraints: 96431
2907.97/2915.46 c #Conflicts: 1117000 | #Constraints: 97431
2907.97/2915.46 c #Conflicts: 1118000 | #Constraints: 98431
2907.97/2915.46 c #Conflicts: 1119000 | #Constraints: 99431
2907.97/2915.46 c #Conflicts: 1120000 | #Constraints: 100431
2907.97/2915.46 c #Conflicts: 1121000 | #Constraints: 101431
2907.97/2915.46 c #Conflicts: 1122000 | #Constraints: 102431
2907.97/2915.46 c #Conflicts: 1123000 | #Constraints: 103431
2907.97/2915.46 c #Conflicts: 1124000 | #Constraints: 104431
2907.97/2915.46 c #Conflicts: 1125000 | #Constraints: 105431
2907.97/2915.46 c #Conflicts: 1126000 | #Constraints: 106431
2907.97/2915.46 c #Conflicts: 1127000 | #Constraints: 107431
2907.97/2915.46 c #Conflicts: 1128000 | #Constraints: 108431
2907.97/2915.46 c #Conflicts: 1129000 | #Constraints: 109431
2907.97/2915.46 c #Conflicts: 1130000 | #Constraints: 110431
2907.97/2915.46 c #Conflicts: 1131000 | #Constraints: 111431
2907.97/2915.46 c #Conflicts: 1132000 | #Constraints: 112431
2907.97/2915.46 c #Conflicts: 1133000 | #Constraints: 113431
2907.97/2915.46 c #Conflicts: 1134000 | #Constraints: 114431
2907.97/2915.46 c #Conflicts: 1135000 | #Constraints: 115431
2907.97/2915.46 c #Conflicts: 1136000 | #Constraints: 116431
2907.97/2915.46 c #Conflicts: 1137000 | #Constraints: 117431
2907.97/2915.46 c #Conflicts: 1138000 | #Constraints: 118431
2907.97/2915.46 c INPROCESSING
2907.97/2915.46 c GARBAGE COLLECT
2907.97/2915.46 c #Conflicts: 1139000 | #Constraints: 87077
2907.97/2915.46 c #Conflicts: 1140000 | #Constraints: 88077
2907.97/2915.46 c #Conflicts: 1141000 | #Constraints: 89077
2907.97/2915.46 c #Conflicts: 1142000 | #Constraints: 90077
2907.97/2915.46 c #Conflicts: 1143000 | #Constraints: 91077
2907.97/2915.46 c #Conflicts: 1144000 | #Constraints: 92077
2907.97/2915.46 c #Conflicts: 1145000 | #Constraints: 93077
2907.97/2915.46 c #Conflicts: 1146000 | #Constraints: 94077
2907.97/2915.46 c #Conflicts: 1147000 | #Constraints: 95077
2907.97/2915.46 c #Conflicts: 1148000 | #Constraints: 96078
2907.97/2915.46 c #Conflicts: 1149000 | #Constraints: 97078
2907.97/2915.46 c #Conflicts: 1150000 | #Constraints: 98078
2907.97/2915.46 c #Conflicts: 1151000 | #Constraints: 99078
2907.97/2915.46 c #Conflicts: 1152000 | #Constraints: 100078
2907.97/2915.46 c #Conflicts: 1153000 | #Constraints: 101078
2907.97/2915.46 c #Conflicts: 1154000 | #Constraints: 102078
2907.97/2915.46 c #Conflicts: 1155000 | #Constraints: 103078
2907.97/2915.46 c #Conflicts: 1156000 | #Constraints: 104078
2907.97/2915.46 c #Conflicts: 1157000 | #Constraints: 105078
2907.97/2915.46 c #Conflicts: 1158000 | #Constraints: 106078
2907.97/2915.46 c #Conflicts: 1159000 | #Constraints: 107078
2907.97/2915.46 c #Conflicts: 1160000 | #Constraints: 108078
2907.97/2915.46 c #Conflicts: 1161000 | #Constraints: 109078
2907.97/2915.46 c #Conflicts: 1162000 | #Constraints: 110078
2907.97/2915.46 c #Conflicts: 1163000 | #Constraints: 111078
2907.97/2915.46 c #Conflicts: 1164000 | #Constraints: 112078
2907.97/2915.46 c #Conflicts: 1165000 | #Constraints: 113078
2907.97/2915.46 c #Conflicts: 1166000 | #Constraints: 114078
2907.97/2915.46 c #Conflicts: 1167000 | #Constraints: 115078
2907.97/2915.46 c #Conflicts: 1168000 | #Constraints: 116078
2907.97/2915.46 c #Conflicts: 1169000 | #Constraints: 117078
2907.97/2915.46 c #Conflicts: 1170000 | #Constraints: 118078
2907.97/2915.46 c #Conflicts: 1171000 | #Constraints: 119078
2907.97/2915.46 c #Conflicts: 1172000 | #Constraints: 120078
2907.97/2915.46 c #Conflicts: 1173000 | #Constraints: 121078
2907.97/2915.46 c #Conflicts: 1174000 | #Constraints: 122078
2907.97/2915.46 c #Conflicts: 1175000 | #Constraints: 123078
2907.97/2915.46 c #Conflicts: 1176000 | #Constraints: 124078
2907.97/2915.46 c #Conflicts: 1177000 | #Constraints: 125078
2907.97/2915.46 c #Conflicts: 1178000 | #Constraints: 126078
2907.97/2915.46 c #Conflicts: 1179000 | #Constraints: 127078
2907.97/2915.46 c #Conflicts: 1180000 | #Constraints: 128078
2907.97/2915.46 c #Conflicts: 1181000 | #Constraints: 129078
2907.97/2915.46 c #Conflicts: 1182000 | #Constraints: 130078
2907.97/2915.46 c #Conflicts: 1183000 | #Constraints: 131078
2907.97/2915.46 c #Conflicts: 1184000 | #Constraints: 132078
3102.09/3110.03 c #Conflicts: 1185000 | #Constraints: 133078
3102.09/3110.03 c #Conflicts: 1186000 | #Constraints: 134078
3102.09/3110.03 c #Conflicts: 1187000 | #Constraints: 135078
3102.09/3110.03 c #Conflicts: 1188000 | #Constraints: 136078
3102.09/3110.03 c #Conflicts: 1189000 | #Constraints: 137078
3102.09/3110.03 c #Conflicts: 1190000 | #Constraints: 138078
3102.09/3110.03 c #Conflicts: 1191000 | #Constraints: 139078
3102.09/3110.03 c #Conflicts: 1192000 | #Constraints: 140078
3102.09/3110.03 c #Conflicts: 1193000 | #Constraints: 141078
3102.09/3110.03 c #Conflicts: 1194000 | #Constraints: 142078
3102.09/3110.03 c #Conflicts: 1195000 | #Constraints: 143078
3102.09/3110.03 c #Conflicts: 1196000 | #Constraints: 144078
3102.09/3110.03 c #Conflicts: 1197000 | #Constraints: 145078
3102.09/3110.03 c #Conflicts: 1198000 | #Constraints: 146078
3102.09/3110.03 c #Conflicts: 1199000 | #Constraints: 147078
3102.09/3110.03 c #Conflicts: 1200000 | #Constraints: 148078
3102.09/3110.03 c #Conflicts: 1201000 | #Constraints: 149078
3102.09/3110.03 c #Conflicts: 1202000 | #Constraints: 150078
3102.09/3110.03 c #Conflicts: 1203000 | #Constraints: 151078
3102.09/3110.03 c #Conflicts: 1204000 | #Constraints: 152078
3102.09/3110.03 c #Conflicts: 1205000 | #Constraints: 153078
3102.09/3110.03 c #Conflicts: 1206000 | #Constraints: 154078
3102.09/3110.03 c #Conflicts: 1207000 | #Constraints: 155078
3102.09/3110.03 c #Conflicts: 1208000 | #Constraints: 156078
3102.09/3110.03 c #Conflicts: 1209000 | #Constraints: 157078
3102.09/3110.03 c INPROCESSING
3102.09/3110.03 c GARBAGE COLLECT
3102.09/3110.03 c #Conflicts: 1210000 | #Constraints: 92092
3102.09/3110.03 c #Conflicts: 1211000 | #Constraints: 93092
3102.09/3110.03 c #Conflicts: 1212000 | #Constraints: 94092
3102.09/3110.03 c #Conflicts: 1213000 | #Constraints: 95092
3102.09/3110.03 c #Conflicts: 1214000 | #Constraints: 96092
3102.09/3110.03 c #Conflicts: 1215000 | #Constraints: 97092
3102.09/3110.03 c #Conflicts: 1216000 | #Constraints: 98092
3102.09/3110.03 c #Conflicts: 1217000 | #Constraints: 99092
3102.09/3110.03 c #Conflicts: 1218000 | #Constraints: 100092
3102.09/3110.03 c #Conflicts: 1219000 | #Constraints: 101092
3102.09/3110.03 c #Conflicts: 1220000 | #Constraints: 102092
3102.09/3110.03 c #Conflicts: 1221000 | #Constraints: 103092
3102.09/3110.03 c #Conflicts: 1222000 | #Constraints: 104092
3102.09/3110.03 c #Conflicts: 1223000 | #Constraints: 105092
3102.09/3110.03 c #Conflicts: 1224000 | #Constraints: 106092
3102.09/3110.03 c #Conflicts: 1225000 | #Constraints: 107092
3102.09/3110.03 c #Conflicts: 1226000 | #Constraints: 108092
3102.09/3110.03 c #Conflicts: 1227000 | #Constraints: 109092
3102.09/3110.03 c #Conflicts: 1228000 | #Constraints: 110092
3102.09/3110.03 c #Conflicts: 1229000 | #Constraints: 111092
3102.09/3110.03 c #Conflicts: 1230000 | #Constraints: 112092
3102.09/3110.03 c #Conflicts: 1231000 | #Constraints: 113092
3102.09/3110.03 c #Conflicts: 1232000 | #Constraints: 114092
3102.09/3110.03 c #Conflicts: 1233000 | #Constraints: 115092
3102.09/3110.03 c #Conflicts: 1234000 | #Constraints: 116092
3102.09/3110.03 c #Conflicts: 1235000 | #Constraints: 117092
3102.09/3110.03 c #Conflicts: 1236000 | #Constraints: 118092
3102.09/3110.03 c #Conflicts: 1237000 | #Constraints: 119092
3102.09/3110.03 c #Conflicts: 1238000 | #Constraints: 120092
3102.09/3110.03 c #Conflicts: 1239000 | #Constraints: 121092
3102.09/3110.03 c #Conflicts: 1240000 | #Constraints: 122092
3102.09/3110.03 c INPROCESSING
3102.09/3110.03 c GARBAGE COLLECT
3102.09/3110.03 c #Conflicts: 1241000 | #Constraints: 89772
3102.09/3110.03 c #Conflicts: 1242000 | #Constraints: 90772
3102.09/3110.03 c #Conflicts: 1243000 | #Constraints: 91772
3102.09/3110.03 c #Conflicts: 1244000 | #Constraints: 92772
3102.09/3110.03 c #Conflicts: 1245000 | #Constraints: 93772
3102.09/3110.03 c #Conflicts: 1246000 | #Constraints: 94772
3102.09/3110.03 c #Conflicts: 1247000 | #Constraints: 95772
3102.09/3110.03 c #Conflicts: 1248000 | #Constraints: 96772
3102.09/3110.03 c #Conflicts: 1249000 | #Constraints: 97772
3102.09/3110.03 c #Conflicts: 1250000 | #Constraints: 98772
3102.09/3110.03 c #Conflicts: 1251000 | #Constraints: 99772
3102.09/3110.03 c #Conflicts: 1252000 | #Constraints: 100772
3102.09/3110.03 c #Conflicts: 1253000 | #Constraints: 101772
3102.09/3110.03 c #Conflicts: 1254000 | #Constraints: 102772
3102.09/3110.03 c #Conflicts: 1255000 | #Constraints: 103772
3102.09/3110.03 c #Conflicts: 1256000 | #Constraints: 104772
3102.09/3110.03 c #Conflicts: 1257000 | #Constraints: 105772
3102.09/3110.03 c #Conflicts: 1258000 | #Constraints: 106772
3102.09/3110.03 c #Conflicts: 1259000 | #Constraints: 107772
3102.09/3110.03 c #Conflicts: 1260000 | #Constraints: 108772
3102.09/3110.03 c #Conflicts: 1261000 | #Constraints: 109772
3102.09/3110.03 c #Conflicts: 1262000 | #Constraints: 110772
3363.93/3372.59 c #Conflicts: 1263000 | #Constraints: 111772
3363.93/3372.59 c #Conflicts: 1264000 | #Constraints: 112772
3363.93/3372.59 c #Conflicts: 1265000 | #Constraints: 113772
3363.93/3372.59 c #Conflicts: 1266000 | #Constraints: 114772
3363.93/3372.59 c #Conflicts: 1267000 | #Constraints: 115772
3363.93/3372.59 c #Conflicts: 1268000 | #Constraints: 116772
3363.93/3372.59 c #Conflicts: 1269000 | #Constraints: 117772
3363.93/3372.59 c #Conflicts: 1270000 | #Constraints: 118772
3363.93/3372.59 c #Conflicts: 1271000 | #Constraints: 119772
3363.93/3372.59 c #Conflicts: 1272000 | #Constraints: 120772
3363.93/3372.59 c #Conflicts: 1273000 | #Constraints: 121772
3363.93/3372.59 c #Conflicts: 1274000 | #Constraints: 122772
3363.93/3372.59 c #Conflicts: 1275000 | #Constraints: 123772
3363.93/3372.59 c #Conflicts: 1276000 | #Constraints: 124772
3363.93/3372.59 c #Conflicts: 1277000 | #Constraints: 125772
3363.93/3372.59 c #Conflicts: 1278000 | #Constraints: 126772
3363.93/3372.59 c #Conflicts: 1279000 | #Constraints: 127772
3363.93/3372.59 c #Conflicts: 1280000 | #Constraints: 128772
3363.93/3372.59 c #Conflicts: 1281000 | #Constraints: 129772
3363.93/3372.59 c #Conflicts: 1282000 | #Constraints: 130772
3363.93/3372.59 c #Conflicts: 1283000 | #Constraints: 131772
3363.93/3372.59 c #Conflicts: 1284000 | #Constraints: 132772
3363.93/3372.59 c #Conflicts: 1285000 | #Constraints: 133772
3363.93/3372.59 c #Conflicts: 1286000 | #Constraints: 134772
3363.93/3372.59 c #Conflicts: 1287000 | #Constraints: 135772
3363.93/3372.59 c #Conflicts: 1288000 | #Constraints: 136772
3363.93/3372.59 c #Conflicts: 1289000 | #Constraints: 137772
3363.93/3372.59 c #Conflicts: 1290000 | #Constraints: 138772
3363.93/3372.59 c #Conflicts: 1291000 | #Constraints: 139772
3363.93/3372.59 c #Conflicts: 1292000 | #Constraints: 140772
3363.93/3372.59 c #Conflicts: 1293000 | #Constraints: 141772
3363.93/3372.59 c #Conflicts: 1294000 | #Constraints: 142772
3363.93/3372.59 c #Conflicts: 1295000 | #Constraints: 143772
3363.93/3372.59 c #Conflicts: 1296000 | #Constraints: 144772
3363.93/3372.59 c #Conflicts: 1297000 | #Constraints: 145772
3363.93/3372.59 c #Conflicts: 1298000 | #Constraints: 146772
3363.93/3372.59 c #Conflicts: 1299000 | #Constraints: 147772
3363.93/3372.59 c #Conflicts: 1300000 | #Constraints: 148772
3363.93/3372.59 c #Conflicts: 1301000 | #Constraints: 149772
3363.93/3372.59 c #Conflicts: 1302000 | #Constraints: 150772
3363.93/3372.59 c #Conflicts: 1303000 | #Constraints: 151772
3363.93/3372.59 c #Conflicts: 1304000 | #Constraints: 152772
3363.93/3372.59 c #Conflicts: 1305000 | #Constraints: 153772
3363.93/3372.59 c #Conflicts: 1306000 | #Constraints: 154772
3363.93/3372.59 c #Conflicts: 1307000 | #Constraints: 155772
3363.93/3372.59 c #Conflicts: 1308000 | #Constraints: 156772
3363.93/3372.59 c #Conflicts: 1309000 | #Constraints: 157772
3363.93/3372.59 c #Conflicts: 1310000 | #Constraints: 158772
3363.93/3372.59 c #Conflicts: 1311000 | #Constraints: 159772
3363.93/3372.59 c #Conflicts: 1312000 | #Constraints: 160772
3363.93/3372.59 c #Conflicts: 1313000 | #Constraints: 161772
3363.93/3372.59 c #Conflicts: 1314000 | #Constraints: 162772
3363.93/3372.59 c #Conflicts: 1315000 | #Constraints: 163772
3363.93/3372.59 c INPROCESSING
3363.93/3372.59 c GARBAGE COLLECT
3363.93/3372.59 c #Conflicts: 1316000 | #Constraints: 95804
3363.93/3372.59 c #Conflicts: 1317000 | #Constraints: 96804
3363.93/3372.59 c #Conflicts: 1318000 | #Constraints: 97804
3363.93/3372.59 c #Conflicts: 1319000 | #Constraints: 98804
3363.93/3372.59 c #Conflicts: 1320000 | #Constraints: 99804
3363.93/3372.59 c #Conflicts: 1321000 | #Constraints: 100804
3363.93/3372.59 c #Conflicts: 1322000 | #Constraints: 101804
3363.93/3372.59 c #Conflicts: 1323000 | #Constraints: 102804
3363.93/3372.59 c #Conflicts: 1324000 | #Constraints: 103804
3363.93/3372.59 c #Conflicts: 1325000 | #Constraints: 104804
3363.93/3372.59 c #Conflicts: 1326000 | #Constraints: 105804
3363.93/3372.59 c #Conflicts: 1327000 | #Constraints: 106804
3363.93/3372.59 c #Conflicts: 1328000 | #Constraints: 107804
3363.93/3372.59 c #Conflicts: 1329000 | #Constraints: 108804
3363.93/3372.59 c #Conflicts: 1330000 | #Constraints: 109804
3363.93/3372.59 c #Conflicts: 1331000 | #Constraints: 110804
3363.93/3372.59 c #Conflicts: 1332000 | #Constraints: 111804
3363.93/3372.59 c #Conflicts: 1333000 | #Constraints: 112804
3363.93/3372.59 c #Conflicts: 1334000 | #Constraints: 113804
3363.93/3372.59 c #Conflicts: 1335000 | #Constraints: 114804
3363.93/3372.59 c #Conflicts: 1336000 | #Constraints: 115804
3363.93/3372.59 c #Conflicts: 1337000 | #Constraints: 116804
3363.93/3372.59 c #Conflicts: 1338000 | #Constraints: 117804
3363.93/3372.59 c #Conflicts: 1339000 | #Constraints: 118804
3363.93/3372.59 c #Conflicts: 1340000 | #Constraints: 119804
3385.98/3394.63 c #Conflicts: 1341000 | #Constraints: 120804
3385.98/3394.63 c #Conflicts: 1342000 | #Constraints: 121804
3385.98/3394.63 c #Conflicts: 1343000 | #Constraints: 122804
3385.98/3394.63 c #Conflicts: 1344000 | #Constraints: 123804
3385.98/3394.63 c #Conflicts: 1345000 | #Constraints: 124804
3385.98/3394.63 c #Conflicts: 1346000 | #Constraints: 125804
3385.98/3394.63 c #Conflicts: 1347000 | #Constraints: 126804
3385.98/3394.63 c INPROCESSING
3385.98/3394.63 c GARBAGE COLLECT
3385.98/3394.63 c rational objective 188
3600.07/3609.20 c #Conflicts: 1348000 | #Constraints: 93246
3600.07/3609.20 c #Conflicts: 1349000 | #Constraints: 94246
3600.07/3609.20 c #Conflicts: 1350000 | #Constraints: 95246
3600.07/3609.20 c #Conflicts: 1351000 | #Constraints: 96246
3600.07/3609.20 c #Conflicts: 1352000 | #Constraints: 97246
3600.07/3609.20 c #Conflicts: 1353000 | #Constraints: 98246
3600.07/3609.20 c #Conflicts: 1354000 | #Constraints: 99246
3600.07/3609.20 c #Conflicts: 1355000 | #Constraints: 100246
3600.07/3609.20 c #Conflicts: 1356000 | #Constraints: 101246
3600.07/3609.20 c #Conflicts: 1357000 | #Constraints: 102246
3600.07/3609.20 c #Conflicts: 1358000 | #Constraints: 103246
3600.07/3609.20 c #Conflicts: 1359000 | #Constraints: 104246
3600.07/3609.20 c #Conflicts: 1360000 | #Constraints: 105246
3600.07/3609.20 c #Conflicts: 1361000 | #Constraints: 106246
3600.07/3609.20 c #Conflicts: 1362000 | #Constraints: 107246
3600.07/3609.20 c #Conflicts: 1363000 | #Constraints: 108246
3600.07/3609.20 c #Conflicts: 1364000 | #Constraints: 109246
3600.07/3609.20 c #Conflicts: 1365000 | #Constraints: 110246
3600.07/3609.20 c #Conflicts: 1366000 | #Constraints: 111246
3600.07/3609.20 c #Conflicts: 1367000 | #Constraints: 112246
3600.07/3609.20 c #Conflicts: 1368000 | #Constraints: 113246
3600.07/3609.20 c #Conflicts: 1369000 | #Constraints: 114246
3600.07/3609.20 c #Conflicts: 1370000 | #Constraints: 115246
3600.07/3609.20 c #Conflicts: 1371000 | #Constraints: 116246
3600.07/3609.20 c #Conflicts: 1372000 | #Constraints: 117246
3600.07/3609.20 c #Conflicts: 1373000 | #Constraints: 118246
3600.07/3609.20 c #Conflicts: 1374000 | #Constraints: 119246
3600.07/3609.20 c #Conflicts: 1375000 | #Constraints: 120246
3600.07/3609.20 c #Conflicts: 1376000 | #Constraints: 121246
3600.07/3609.20 c #Conflicts: 1377000 | #Constraints: 122246
3600.07/3609.20 c #Conflicts: 1378000 | #Constraints: 123246
3600.07/3609.20 c #Conflicts: 1379000 | #Constraints: 124246
3600.07/3609.20 c #Conflicts: 1380000 | #Constraints: 125246
3600.07/3609.20 c #Conflicts: 1381000 | #Constraints: 126246
3600.07/3609.20 c #Conflicts: 1382000 | #Constraints: 127246
3600.07/3609.20 c #Conflicts: 1383000 | #Constraints: 128246
3600.07/3609.20 c #Conflicts: 1384000 | #Constraints: 129246
3600.07/3609.20 c #Conflicts: 1385000 | #Constraints: 130246
3600.07/3609.20 c #Conflicts: 1386000 | #Constraints: 131246
3600.07/3609.20 c #Conflicts: 1387000 | #Constraints: 132246
3600.07/3609.20 c #Conflicts: 1388000 | #Constraints: 133246
3600.07/3609.20 c #Conflicts: 1389000 | #Constraints: 134246
3600.07/3609.20 c #Conflicts: 1390000 | #Constraints: 135246
3600.07/3609.20 c #Conflicts: 1391000 | #Constraints: 136246
3600.07/3609.20 c #Conflicts: 1392000 | #Constraints: 137246
3600.07/3609.20 c #Conflicts: 1393000 | #Constraints: 138246
3600.07/3609.20 c #Conflicts: 1394000 | #Constraints: 139246
3600.07/3609.20 c #Conflicts: 1395000 | #Constraints: 140246
3600.07/3609.20 c #Conflicts: 1396000 | #Constraints: 141246
3600.07/3609.20 c #Conflicts: 1397000 | #Constraints: 142246
3600.07/3609.20 c #Conflicts: 1398000 | #Constraints: 143246
3600.07/3609.20 c #Conflicts: 1399000 | #Constraints: 144246
3600.07/3609.20 c #Conflicts: 1400000 | #Constraints: 145246
3600.07/3609.20 c #Conflicts: 1401000 | #Constraints: 146246
3600.07/3609.20 c #Conflicts: 1402000 | #Constraints: 147246
3600.07/3609.20 c #Conflicts: 1403000 | #Constraints: 148246
3600.07/3609.20 c #Conflicts: 1404000 | #Constraints: 149246
3600.07/3609.20 c #Conflicts: 1405000 | #Constraints: 150246
3600.07/3609.20 c #Conflicts: 1406000 | #Constraints: 151246
3600.07/3609.20 c #Conflicts: 1407000 | #Constraints: 152246
3600.07/3609.20 c #Conflicts: 1408000 | #Constraints: 153246
3600.07/3609.20 c #Conflicts: 1409000 | #Constraints: 154246
3600.07/3609.20 c #Conflicts: 1410000 | #Constraints: 155246
3600.07/3609.20 c #Conflicts: 1411000 | #Constraints: 156246
3600.07/3609.20 c #Conflicts: 1412000 | #Constraints: 157246
3600.07/3609.20 c #Conflicts: 1413000 | #Constraints: 158246
3600.07/3609.20 c #Conflicts: 1414000 | #Constraints: 159246
3600.07/3609.20 c #Conflicts: 1415000 | #Constraints: 160246
3600.07/3609.20 c #Conflicts: 1416000 | #Constraints: 161246
3600.07/3609.20 c #Conflicts: 1417000 | #Constraints: 162246
3600.07/3609.20 c #Conflicts: 1418000 | #Constraints: 163246
3600.07/3609.20 c #Conflicts: 1419000 | #Constraints: 164246
3600.07/3609.20 c cpu time 3559.23 s
3600.07/3609.20 c deterministic time 259409792046 2.59e+11
3600.07/3609.20 c optimization time 205.851 s
3600.07/3609.20 c total solve time 3353.25 s
3600.07/3609.20 c core-guided solve time 0 s
3600.07/3609.20 c propagation time 2007.94 s
3600.07/3609.20 c conflict analysis time 1100.96 s
3600.07/3609.20 c propagations 1453199563
3600.07/3609.20 c resolve steps 79142012
3600.07/3609.20 c decisions 40143728
3600.07/3609.20 c conflicts 1419874
3600.07/3609.20 c restarts 2746
3600.07/3609.20 c inprocessing phases 49
3600.07/3609.20 c garbage collections 49 ,( 100.00 )
3600.07/3609.20 c input clauses 22562 ,( 99.17 )
3600.07/3609.20 c input cardinalities 188 ,( 0.83 )
3600.07/3609.20 c input general constraints 0 ,( 0.00 )
3600.07/3609.20 c input average constraint length 6.44
3600.07/3609.20 c input average constraint degree 1.97
3600.07/3609.20 c learned clauses 1021096 ,( 71.91 )
3600.07/3609.20 c learned cardinalities 50886 ,( 3.58 )
3600.07/3609.20 c learned general constraints 347899 ,( 24.50 )
3600.07/3609.20 c learned average constraint length 673.25
3600.07/3609.20 c learned average constraint degree 13142444.97
3600.07/3609.20 c watched CF 32, 64, 128, Arb: 85347 , 0 , 0 , 0
3600.07/3609.20 c counting CF 32, 64, 128, Arb: 262552 , 0 , 0 , 0
3600.07/3609.20 c watched constraints 85347 ,( 24.53 )
3600.07/3609.20 c counting constraints 262552 ,( 75.47 )
3600.07/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1308688657 , 838349791 , 1956591761 ,( 89122965 , 1867468796 )
3600.07/3609.20 c gcd simplifications 776
3600.07/3609.20 c detected cardinalities 8160
3600.07/3609.20 c weakened non-implied lits 376683822
3600.07/3609.20 c weakened non-implying lits 187922
3600.07/3609.20 c original variables 22372
3600.07/3609.20 c clausal propagations 676221507
3600.07/3609.20 c cardinality propagations 536671287
3600.07/3609.20 c watched propagations 4464513
3600.07/3609.20 c counting propagations 221658263
3600.07/3609.20 c watch lookups 80021144787
3600.07/3609.20 c watch backjump lookups 0
3600.07/3609.20 c watch checks 32175634357
3600.07/3609.20 c propagation checks 139677666153
3600.07/3609.20 c constraint additions 4546974684
3600.07/3609.20 c trail pops 1494743402
3600.07/3609.20 c formula constraints 22750
3600.07/3609.20 c learned constraints 1419868
3600.07/3609.20 c bound constraints 0
3600.07/3609.20 c core-guided constraints 0
3600.07/3609.20 c encountered formula constraints 49047043
3600.07/3609.20 c encountered learned constraints 31514690
3600.07/3609.20 c encountered bound constraints 0
3600.07/3609.20 c encountered core-guided constraints 0
3600.07/3609.20 c LP total time 450.421 s
3600.07/3609.20 c LP solve time 430.88 s
3600.07/3609.20 c LP constraints added 22983
3600.07/3609.20 c LP constraints removed 37
3600.07/3609.20 c LP pivots internal 152609
3600.07/3609.20 c LP pivots root 132762
3600.07/3609.20 c LP calls 18
3600.07/3609.20 c LP optimalities 6
3600.07/3609.20 c LP no pivot count 0
3600.07/3609.20 c LP infeasibilities 5
3600.07/3609.20 c LP valid Farkas constraints 5
3600.07/3609.20 c LP learned Farkas constraints 5
3600.07/3609.20 c LP basis resets 0
3600.07/3609.20 c LP cycling count 0
3600.07/3609.20 c LP singular count 0
3600.07/3609.20 c LP no primal count 0
3600.07/3609.20 c LP no farkas count 0
3600.07/3609.20 c LP other issue count 0
3600.07/3609.20 c LP Gomory cuts 3
3600.07/3609.20 c LP learned cuts 422
3600.07/3609.20 c LP deleted cuts 214
3600.07/3609.20 c LP encountered Gomory constraints 0
3600.07/3609.20 c LP encountered Farkas constraints 141
3600.07/3609.20 c LP encountered learned Farkas constraints 7
3600.07/3609.20 c CG auxiliary variables introduced 0
3600.07/3609.20 c CG solutions found 0
3600.07/3609.20 c CG cores constructed 0
3600.07/3609.20 c CG core cardinality constraints returned 0
3600.07/3609.20 c CG unit cores 0
3600.07/3609.20 c CG single cores 0
3600.07/3609.20 c CG blocks removed during cardinality reduction 0
3600.07/3609.20 c CG first core best 0
3600.07/3609.20 c CG decision core best 0
3600.07/3609.20 c CG core reduction tie 0
3600.07/3609.20 c CG core degree average 0.00
3600.07/3609.20 c CG core slack average 0.00
3600.07/3609.20 c CG core upper bound improvements 0
3600.07/3609.20 c STR number of successful calls 0
3600.07/3609.20 c STR number of unsuccessful calls 0
3600.07/3609.20 c STR number of inconclusive calls 0
3600.07/3609.20 c STR number of successful attempts 0
3600.07/3609.20 c STR number of unsuccessful attempts 0
3600.07/3609.20 c STR number of inconclusive attempts 0
3600.07/3609.20 c STR average degree increase per successful call inf
3600.07/3609.20 c STR average degree increase per successful attempt inf
3600.07/3609.20 c STR total number of conflicts for successful attempts 0
3600.07/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.20 c STR average number of conflicts per successful attempt inf
3600.07/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.20 c AVG.sumWPerc 66.97
3600.07/3609.20 c bigint constraints 0
3600.07/3609.20 s UNKNOWN
3600.07/3609.20 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: 63665 MiB (62145 MiB free)
memory of node 1: 64507 MiB (62507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506835-1751172542/watcher-4506835-1751172542 -o /tmp/evaluation-result-4506835-1751172542/solver-4506835-1751172542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22984 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506835-1751172542.opb PROOFDIR/proof-4506835-1751172542
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=23461, runsolver pid=23458
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.12 4.10 4.08 2/267 23463
/proc/meminfo: memFree=127645076/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/23463/stat : 23463 (roundingsat) D 23461 23461 22971 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 32932069 52015104 1920 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 12699 1920 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.12 4.10 4.08 5/267 23463
/proc/meminfo: memFree=128308756/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=64916 memory=19932 CPUtime=0.03 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 2678 0 0 0 2 1 0 0 20 0 1 0 32932069 66473984 4983 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 16229 4983 2016 1147 0 3656 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 69108 KiB
Current children cumulated memory: 23004 KiB
[startup+0.305653 s]*
/proc/loadavg: 4.11 4.10 4.08 5/267 23468
/proc/meminfo: memFree=128631544/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=88292 memory=42844 CPUtime=0.13 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 7225 0 0 0 10 3 0 0 20 0 1 0 32932069 90411008 10711 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 22073 10711 2272 1147 0 9500 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 92484 KiB
Current children cumulated memory: 45916 KiB
[startup+0.700224 s]
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128584688/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=121440 memory=69676 CPUtime=0.51 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 13280 0 0 0 47 4 0 0 20 0 1 0 32932069 124354560 17419 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 30360 17419 2272 1147 0 17787 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 125632 KiB
Current children cumulated memory: 72748 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128533024/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=121440 memory=69676 CPUtime=1.31 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 13280 0 0 0 127 4 0 0 20 0 1 0 32932069 124354560 17419 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 30360 17419 2272 1147 0 17787 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 125632 KiB
Current children cumulated memory: 72748 KiB
[startup+3.1055 s]
/proc/loadavg: 4.11 4.10 4.08 5/271 23483
/proc/meminfo: memFree=128531468/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=124784 memory=72748 CPUtime=2.91 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 14058 0 0 0 286 5 0 0 20 0 1 0 32932069 127778816 18187 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 31196 18187 2272 1147 0 18623 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 128976 KiB
Current children cumulated memory: 75820 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128503832/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=129376 memory=81428 CPUtime=6.1 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 15654 0 0 0 594 16 0 0 20 0 1 0 32932069 132481024 20357 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 32344 20357 2336 1147 0 19771 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 133568 KiB
Current children cumulated memory: 84500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128443352/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=138116 memory=90068 CPUtime=12.47 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 17320 0 0 0 1212 35 0 0 20 0 1 0 32932069 141430784 22517 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 34529 22517 2336 1147 0 21956 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 142308 KiB
Current children cumulated memory: 93140 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.08 5/273 23486
/proc/meminfo: memFree=128317104/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=157036 memory=106828 CPUtime=25.25 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 21000 0 0 0 2456 69 0 0 20 0 1 0 32932069 160804864 26707 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 39259 26707 2336 1147 0 26686 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 161228 KiB
Current children cumulated memory: 109900 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.08 6/272 23486
/proc/meminfo: memFree=128127412/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=193132 memory=135280 CPUtime=50.79 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 26618 0 0 0 4949 130 0 0 20 0 1 0 32932069 197767168 33820 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 48283 33820 2336 1147 0 35710 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 197324 KiB
Current children cumulated memory: 138352 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 23490
/proc/meminfo: memFree=127700720/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=247588 memory=187164 CPUtime=101.85 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 36113 0 0 0 9936 249 0 0 20 0 1 0 32932069 253530112 46791 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 61897 46791 2336 1147 0 49324 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 251780 KiB
Current children cumulated memory: 190236 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 23493
/proc/meminfo: memFree=127221184/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=296048 memory=231124 CPUtime=161.69 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 40973 0 0 0 15822 347 0 0 20 0 1 0 32932069 303153152 57781 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 74012 57781 2336 1147 0 61439 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 300240 KiB
Current children cumulated memory: 234196 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 23495
/proc/meminfo: memFree=126921340/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=312252 memory=246740 CPUtime=221.53 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 44893 0 0 0 21716 437 0 0 20 0 1 0 32932069 319746048 61685 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 78063 61685 2336 1147 0 65490 0
Current children cumulated CPU time: 221.53 s
################
# More data... #
################
/proc/23463/statm: 316285 257349 2336 1147 0 303712 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 1269332 KiB
Current children cumulated memory: 1032468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23705
/proc/meminfo: memFree=105343972/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1266200 memory=1035796 CPUtime=3094.41 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 158582 0 0 0 305837 3604 0 0 20 0 1 0 32932069 1296588800 258949 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 316550 258949 2336 1147 0 303977 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 1270392 KiB
Current children cumulated memory: 1038868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23708
/proc/meminfo: memFree=105020232/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1266200 memory=1043860 CPUtime=3154.25 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 158594 0 0 0 311755 3670 0 0 20 0 1 0 32932069 1296588800 260965 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 316550 260965 2336 1147 0 303977 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 1270392 KiB
Current children cumulated memory: 1046932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23710
/proc/meminfo: memFree=104713640/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1268344 memory=1052308 CPUtime=3214.11 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 158926 0 0 0 317693 3718 0 0 20 0 1 0 32932069 1298784256 263077 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 317086 263077 2336 1147 0 304513 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 1272536 KiB
Current children cumulated memory: 1055380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/274 23716
/proc/meminfo: memFree=104351236/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1271988 memory=1055892 CPUtime=3273.95 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 159834 0 0 0 323625 3770 0 0 20 0 1 0 32932069 1302515712 263973 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 317997 263973 2336 1147 0 305424 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 1276180 KiB
Current children cumulated memory: 1058964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 23718
/proc/meminfo: memFree=103962136/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1281000 memory=1063572 CPUtime=3333.81 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 161777 0 0 0 329560 3821 0 0 20 0 1 0 32932069 1311744000 265893 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 320250 265893 2336 1147 0 307677 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 1285192 KiB
Current children cumulated memory: 1066644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23725
/proc/meminfo: memFree=103431580/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1322940 memory=1096340 CPUtime=3393.66 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 169954 0 0 0 335489 3877 0 0 20 0 1 0 32932069 1354690560 274085 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 330735 274085 2336 1147 0 318162 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 1327132 KiB
Current children cumulated memory: 1099412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 23729
/proc/meminfo: memFree=103087796/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1322940 memory=1096340 CPUtime=3453.52 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 170273 0 0 0 341399 3953 0 0 20 0 1 0 32932069 1354690560 274085 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 330735 274085 2336 1147 0 318162 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 1327132 KiB
Current children cumulated memory: 1099412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 23731
/proc/meminfo: memFree=102788284/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1322940 memory=1096340 CPUtime=3513.38 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 170306 0 0 0 347321 4017 0 0 20 0 1 0 32932069 1354690560 274085 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 330735 274085 2336 1147 0 318162 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 1327132 KiB
Current children cumulated memory: 1099412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/271 23732
/proc/meminfo: memFree=102397016/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1325952 memory=1099156 CPUtime=3573.23 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 171041 0 0 0 353258 4065 0 0 20 0 1 0 32932069 1357774848 274789 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 331488 274789 2336 1147 0 318915 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 1330144 KiB
Current children cumulated memory: 1102228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 23735
/proc/meminfo: memFree=102223636/131249996 swapFree=33010684/33010684
[pid=23461] ppid=23458 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23461/stat : 23461 (run-dec-ls-log.) S 23458 23461 22971 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 32932069 4292608 768 18446744073709551615 94712815337472 94712816232005 140726870369328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94712816471056 94712816518800 94712821137408 140726870374683 140726870374881 140726870374881 140726870380483 0
/proc/23461/statm: 1048 768 704 219 0 110 0
[pid=23463] ppid=23461 vsize=1328280 memory=1100820 CPUtime=3600.07 cores=5,7
/proc/23463/stat : 23463 (roundingsat) R 23461 23461 22971 0 -1 4194304 171475 0 0 0 355922 4085 0 0 20 0 1 0 32932069 1360158720 275205 18446744073709551615 4227072 8923433 140725890685456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15945728 140725890689360 140725890689576 140725890689576 140725890695146 0
/proc/23463/statm: 332070 275205 2336 1147 0 319497 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1332472 KiB
Current children cumulated memory: 1103892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 23461 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002616 s
[startup+3609.26 s]
# the end of solver process 23463 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.24 s, system=40.8661 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
Child status: 2
Real time (s): 3609.26
CPU time (s): 3600.11
CPU user time (s): 3559.24
CPU system time (s): 40.8661
CPU usage (%): 99.7464
Max. virtual memory (cumulated for all children) (KiB): 1332472
Max. memory (cumulated for all children) (KiB): 1103892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.24
system time used= 40.8661
maximum resident set size= 1101332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11485952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 617
involuntary context switches= 4583
# summary of solver processes directly reported to runsolver:
# pid: 23461,23463
# total CPU time (s): 3600.11
# total CPU user time (s): 3559.24
# total CPU system time (s): 40.8661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12407 second user time and 16.3335 second system time
The end
Begin job on nodeC024 at 2025-06-29 06:49:02
IDJOB=4506835
IDBENCH=158284
IDSOLVER=3354
FILE ID=nodeC024/4506835-1751172542
RUNJOBID= nodeC024-1751168926-22984
SLURM_JOB_ID= 9587515
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506835-1751172542/watcher-4506835-1751172542 -o /tmp/evaluation-result-4506835-1751172542/solver-4506835-1751172542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22984 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506835-1751172542.opb PROOFDIR/proof-4506835-1751172542
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=781326162
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.188
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.669
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3563.098
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1209.747
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.198
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1717.146
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.673
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127645236 kB
MemAvailable: 128977252 kB
Buffers: 3280 kB
Cached: 2140236 kB
SwapCached: 0 kB
Active: 1098420 kB
Inactive: 1920232 kB
Active(anon): 893200 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 1920232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17204 kB
Writeback: 0 kB
AnonPages: 875580 kB
Mapped: 110088 kB
Shmem: 18064 kB
KReclaimable: 91204 kB
Slab: 176588 kB
SReclaimable: 91204 kB
SUnreclaim: 85384 kB
KernelStack: 4372 kB
PageTables: 4736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1294804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 800768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-06-29 07:49:11