0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.27/0.39 c #variables 22372 #constraints 22750
93.14/93.51 c #Conflicts: 1000 | #Constraints: 23749
93.14/93.51 c #Conflicts: 2000 | #Constraints: 24749
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 3000 | #Constraints: 24102
93.14/93.51 c #Conflicts: 4000 | #Constraints: 25102
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 5000 | #Constraints: 24622
93.14/93.51 c #Conflicts: 6000 | #Constraints: 25622
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 7000 | #Constraints: 24715
93.14/93.51 c #Conflicts: 8000 | #Constraints: 25715
93.14/93.51 c #Conflicts: 9000 | #Constraints: 26715
93.14/93.51 c #Conflicts: 10000 | #Constraints: 27715
93.14/93.51 c #Conflicts: 11000 | #Constraints: 28715
93.14/93.51 c #Conflicts: 12000 | #Constraints: 29715
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 13000 | #Constraints: 26750
93.14/93.51 c #Conflicts: 14000 | #Constraints: 27750
93.14/93.51 c #Conflicts: 15000 | #Constraints: 28750
93.14/93.51 c #Conflicts: 16000 | #Constraints: 29750
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 17000 | #Constraints: 27095
93.14/93.51 c #Conflicts: 18000 | #Constraints: 28095
93.14/93.51 c #Conflicts: 19000 | #Constraints: 29095
93.14/93.51 c #Conflicts: 20000 | #Constraints: 30095
93.14/93.51 c #Conflicts: 21000 | #Constraints: 31095
93.14/93.51 c #Conflicts: 22000 | #Constraints: 32095
93.14/93.51 c #Conflicts: 23000 | #Constraints: 33095
93.14/93.51 c #Conflicts: 24000 | #Constraints: 34095
93.14/93.51 c #Conflicts: 25000 | #Constraints: 35095
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 26000 | #Constraints: 29618
93.14/93.51 c #Conflicts: 27000 | #Constraints: 30618
93.14/93.51 c #Conflicts: 28000 | #Constraints: 31618
93.14/93.51 c #Conflicts: 29000 | #Constraints: 32618
93.14/93.51 c #Conflicts: 30000 | #Constraints: 33618
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 31000 | #Constraints: 29703
93.14/93.51 c #Conflicts: 32000 | #Constraints: 30703
93.14/93.51 c #Conflicts: 33000 | #Constraints: 31703
93.14/93.51 c #Conflicts: 34000 | #Constraints: 32703
93.14/93.51 c #Conflicts: 35000 | #Constraints: 33703
93.14/93.51 c #Conflicts: 36000 | #Constraints: 34703
93.14/93.51 c #Conflicts: 37000 | #Constraints: 35703
93.14/93.51 c #Conflicts: 38000 | #Constraints: 36703
93.14/93.51 c #Conflicts: 39000 | #Constraints: 37703
93.14/93.51 c #Conflicts: 40000 | #Constraints: 38703
93.14/93.51 c #Conflicts: 41000 | #Constraints: 39703
93.14/93.51 c #Conflicts: 42000 | #Constraints: 40703
93.14/93.51 c #Conflicts: 43000 | #Constraints: 41703
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 44000 | #Constraints: 33324
93.14/93.51 c #Conflicts: 45000 | #Constraints: 34324
93.14/93.51 c #Conflicts: 46000 | #Constraints: 35324
93.14/93.51 c #Conflicts: 47000 | #Constraints: 36324
93.14/93.51 c #Conflicts: 48000 | #Constraints: 37324
93.14/93.51 c #Conflicts: 49000 | #Constraints: 38324
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 50000 | #Constraints: 32819
93.14/93.51 c #Conflicts: 51000 | #Constraints: 33819
93.14/93.51 c #Conflicts: 52000 | #Constraints: 34819
93.14/93.51 c #Conflicts: 53000 | #Constraints: 35819
93.14/93.51 c #Conflicts: 54000 | #Constraints: 36819
93.14/93.51 c #Conflicts: 55000 | #Constraints: 37819
93.14/93.51 c #Conflicts: 56000 | #Constraints: 38819
93.14/93.51 c #Conflicts: 57000 | #Constraints: 39819
93.14/93.51 c #Conflicts: 58000 | #Constraints: 40819
93.14/93.51 c #Conflicts: 59000 | #Constraints: 41819
93.14/93.51 c #Conflicts: 60000 | #Constraints: 42819
93.14/93.51 c #Conflicts: 61000 | #Constraints: 43819
93.14/93.51 c #Conflicts: 62000 | #Constraints: 44819
93.14/93.51 c #Conflicts: 63000 | #Constraints: 45819
93.14/93.51 c #Conflicts: 64000 | #Constraints: 46819
93.14/93.51 c #Conflicts: 65000 | #Constraints: 47819
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
93.14/93.51 c #Conflicts: 66000 | #Constraints: 36669
93.14/93.51 c #Conflicts: 67000 | #Constraints: 37669
93.14/93.51 c #Conflicts: 68000 | #Constraints: 38669
93.14/93.51 c #Conflicts: 69000 | #Constraints: 39669
93.14/93.51 c #Conflicts: 70000 | #Constraints: 40669
93.14/93.51 c #Conflicts: 71000 | #Constraints: 41669
93.14/93.51 c #Conflicts: 72000 | #Constraints: 42669
93.14/93.51 c INPROCESSING
93.14/93.51 c GARBAGE COLLECT
200.56/201.25 c #Conflicts: 73000 | #Constraints: 35973
200.56/201.25 c #Conflicts: 74000 | #Constraints: 36973
200.56/201.25 c #Conflicts: 75000 | #Constraints: 37973
200.56/201.25 c #Conflicts: 76000 | #Constraints: 38973
200.56/201.25 c #Conflicts: 77000 | #Constraints: 39973
200.56/201.25 c #Conflicts: 78000 | #Constraints: 40973
200.56/201.25 c #Conflicts: 79000 | #Constraints: 41973
200.56/201.25 c #Conflicts: 80000 | #Constraints: 42973
200.56/201.25 c #Conflicts: 81000 | #Constraints: 43973
200.56/201.25 c #Conflicts: 82000 | #Constraints: 44973
200.56/201.25 c #Conflicts: 83000 | #Constraints: 45973
200.56/201.25 c #Conflicts: 84000 | #Constraints: 46973
200.56/201.25 c #Conflicts: 85000 | #Constraints: 47973
200.56/201.25 c #Conflicts: 86000 | #Constraints: 48973
200.56/201.25 c #Conflicts: 87000 | #Constraints: 49973
200.56/201.25 c #Conflicts: 88000 | #Constraints: 50973
200.56/201.25 c #Conflicts: 89000 | #Constraints: 51973
200.56/201.25 c #Conflicts: 90000 | #Constraints: 52973
200.56/201.25 c #Conflicts: 91000 | #Constraints: 53973
200.56/201.25 c INPROCESSING
200.56/201.25 c GARBAGE COLLECT
200.56/201.25 c #Conflicts: 92000 | #Constraints: 39815
200.56/201.25 c #Conflicts: 93000 | #Constraints: 40815
200.56/201.25 c #Conflicts: 94000 | #Constraints: 41815
200.56/201.25 c #Conflicts: 95000 | #Constraints: 42815
200.56/201.25 c #Conflicts: 96000 | #Constraints: 43815
200.56/201.25 c #Conflicts: 97000 | #Constraints: 44815
200.56/201.25 c #Conflicts: 98000 | #Constraints: 45815
200.56/201.25 c #Conflicts: 99000 | #Constraints: 46815
200.56/201.25 c #Conflicts: 100000 | #Constraints: 47815
200.56/201.25 c INPROCESSING
200.56/201.25 c GARBAGE COLLECT
200.56/201.25 c #Conflicts: 101000 | #Constraints: 39005
200.56/201.25 c #Conflicts: 102000 | #Constraints: 40005
200.56/201.25 c #Conflicts: 103000 | #Constraints: 41005
200.56/201.25 c #Conflicts: 104000 | #Constraints: 42005
200.56/201.25 c #Conflicts: 105000 | #Constraints: 43005
200.56/201.25 c #Conflicts: 106000 | #Constraints: 44005
200.56/201.25 c #Conflicts: 107000 | #Constraints: 45005
200.56/201.25 c #Conflicts: 108000 | #Constraints: 46005
200.56/201.25 c #Conflicts: 109000 | #Constraints: 47005
200.56/201.25 c #Conflicts: 110000 | #Constraints: 48005
200.56/201.25 c #Conflicts: 111000 | #Constraints: 49005
200.56/201.25 c #Conflicts: 112000 | #Constraints: 50005
200.56/201.25 c #Conflicts: 113000 | #Constraints: 51005
200.56/201.25 c #Conflicts: 114000 | #Constraints: 52005
200.56/201.25 c #Conflicts: 115000 | #Constraints: 53005
200.56/201.25 c #Conflicts: 116000 | #Constraints: 54005
200.56/201.25 c #Conflicts: 117000 | #Constraints: 55005
200.56/201.25 c #Conflicts: 118000 | #Constraints: 56005
200.56/201.25 c #Conflicts: 119000 | #Constraints: 57005
200.56/201.25 c #Conflicts: 120000 | #Constraints: 58005
200.56/201.25 c #Conflicts: 121000 | #Constraints: 59005
200.56/201.25 c INPROCESSING
200.56/201.25 c GARBAGE COLLECT
200.56/201.25 c #Conflicts: 122000 | #Constraints: 42094
200.56/201.25 c #Conflicts: 123000 | #Constraints: 43094
200.56/201.25 c #Conflicts: 124000 | #Constraints: 44094
200.56/201.25 c #Conflicts: 125000 | #Constraints: 45094
200.56/201.25 c #Conflicts: 126000 | #Constraints: 46094
200.56/201.25 c #Conflicts: 127000 | #Constraints: 47094
200.56/201.25 c #Conflicts: 128000 | #Constraints: 48094
200.56/201.25 c #Conflicts: 129000 | #Constraints: 49094
200.56/201.25 c #Conflicts: 130000 | #Constraints: 50094
200.56/201.25 c #Conflicts: 131000 | #Constraints: 51094
200.56/201.25 c #Conflicts: 132000 | #Constraints: 52094
200.56/201.25 c INPROCESSING
200.56/201.25 c GARBAGE COLLECT
200.56/201.25 c #Conflicts: 133000 | #Constraints: 42614
200.56/201.25 c #Conflicts: 134000 | #Constraints: 43614
200.56/201.25 c #Conflicts: 135000 | #Constraints: 44614
200.56/201.25 c #Conflicts: 136000 | #Constraints: 45614
200.56/201.25 c #Conflicts: 137000 | #Constraints: 46614
200.56/201.25 c #Conflicts: 138000 | #Constraints: 47614
200.56/201.25 c #Conflicts: 139000 | #Constraints: 48614
200.56/201.25 c #Conflicts: 140000 | #Constraints: 49614
200.56/201.25 c #Conflicts: 141000 | #Constraints: 50614
200.56/201.25 c #Conflicts: 142000 | #Constraints: 51614
200.56/201.25 c #Conflicts: 143000 | #Constraints: 52614
200.56/201.25 c #Conflicts: 144000 | #Constraints: 53614
200.56/201.25 c #Conflicts: 145000 | #Constraints: 54614
200.56/201.25 c #Conflicts: 146000 | #Constraints: 55614
200.56/201.25 c #Conflicts: 147000 | #Constraints: 56614
200.56/201.25 c #Conflicts: 148000 | #Constraints: 57614
200.56/201.25 c #Conflicts: 149000 | #Constraints: 58614
300.86/301.86 c #Conflicts: 150000 | #Constraints: 59614
300.86/301.86 c #Conflicts: 151000 | #Constraints: 60614
300.86/301.86 c #Conflicts: 152000 | #Constraints: 61614
300.86/301.86 c #Conflicts: 153000 | #Constraints: 62614
300.86/301.86 c #Conflicts: 154000 | #Constraints: 63614
300.86/301.86 c #Conflicts: 155000 | #Constraints: 64614
300.86/301.86 c #Conflicts: 156000 | #Constraints: 65614
300.86/301.86 c INPROCESSING
300.86/301.86 c GARBAGE COLLECT
300.86/301.86 c #Conflicts: 157000 | #Constraints: 45472
300.86/301.86 c #Conflicts: 158000 | #Constraints: 46472
300.86/301.86 c #Conflicts: 159000 | #Constraints: 47472
300.86/301.86 c #Conflicts: 160000 | #Constraints: 48472
300.86/301.86 c #Conflicts: 161000 | #Constraints: 49472
300.86/301.86 c #Conflicts: 162000 | #Constraints: 50472
300.86/301.86 c #Conflicts: 163000 | #Constraints: 51472
300.86/301.86 c #Conflicts: 164000 | #Constraints: 52472
300.86/301.86 c #Conflicts: 165000 | #Constraints: 53472
300.86/301.86 c #Conflicts: 166000 | #Constraints: 54472
300.86/301.86 c #Conflicts: 167000 | #Constraints: 55472
300.86/301.86 c #Conflicts: 168000 | #Constraints: 56472
300.86/301.86 c INPROCESSING
300.86/301.86 c GARBAGE COLLECT
300.86/301.86 c #Conflicts: 169000 | #Constraints: 45591
300.86/301.86 c #Conflicts: 170000 | #Constraints: 46591
300.86/301.86 c #Conflicts: 171000 | #Constraints: 47591
300.86/301.86 c #Conflicts: 172000 | #Constraints: 48591
300.86/301.86 c #Conflicts: 173000 | #Constraints: 49591
300.86/301.86 c #Conflicts: 174000 | #Constraints: 50591
300.86/301.86 c #Conflicts: 175000 | #Constraints: 51591
300.86/301.86 c #Conflicts: 176000 | #Constraints: 52591
300.86/301.86 c #Conflicts: 177000 | #Constraints: 53591
300.86/301.86 c #Conflicts: 178000 | #Constraints: 54591
300.86/301.86 c #Conflicts: 179000 | #Constraints: 55591
300.86/301.86 c #Conflicts: 180000 | #Constraints: 56591
300.86/301.86 c #Conflicts: 181000 | #Constraints: 57591
300.86/301.86 c #Conflicts: 182000 | #Constraints: 58591
300.86/301.86 c #Conflicts: 183000 | #Constraints: 59591
300.86/301.86 c #Conflicts: 184000 | #Constraints: 60591
300.86/301.86 c #Conflicts: 185000 | #Constraints: 61591
300.86/301.86 c #Conflicts: 186000 | #Constraints: 62591
300.86/301.86 c #Conflicts: 187000 | #Constraints: 63591
300.86/301.86 c #Conflicts: 188000 | #Constraints: 64591
300.86/301.86 c #Conflicts: 189000 | #Constraints: 65591
300.86/301.86 c #Conflicts: 190000 | #Constraints: 66591
300.86/301.86 c #Conflicts: 191000 | #Constraints: 67591
300.86/301.86 c #Conflicts: 192000 | #Constraints: 68591
300.86/301.86 c #Conflicts: 193000 | #Constraints: 69591
300.86/301.86 c #Conflicts: 194000 | #Constraints: 70591
300.86/301.86 c #Conflicts: 195000 | #Constraints: 71591
300.86/301.86 c #Conflicts: 196000 | #Constraints: 72591
300.86/301.86 c INPROCESSING
300.86/301.86 c GARBAGE COLLECT
300.86/301.86 c #Conflicts: 197000 | #Constraints: 49031
300.86/301.86 c #Conflicts: 198000 | #Constraints: 50031
300.86/301.86 c #Conflicts: 199000 | #Constraints: 51031
300.86/301.86 c #Conflicts: 200000 | #Constraints: 52031
300.86/301.86 c #Conflicts: 201000 | #Constraints: 53031
300.86/301.86 c #Conflicts: 202000 | #Constraints: 54031
300.86/301.86 c #Conflicts: 203000 | #Constraints: 55031
300.86/301.86 c #Conflicts: 204000 | #Constraints: 56031
300.86/301.86 c #Conflicts: 205000 | #Constraints: 57031
300.86/301.86 c #Conflicts: 206000 | #Constraints: 58031
300.86/301.86 c #Conflicts: 207000 | #Constraints: 59031
300.86/301.86 c #Conflicts: 208000 | #Constraints: 60031
300.86/301.86 c #Conflicts: 209000 | #Constraints: 61031
300.86/301.86 c INPROCESSING
300.86/301.86 c GARBAGE COLLECT
300.86/301.86 c #Conflicts: 210000 | #Constraints: 48437
300.86/301.86 c #Conflicts: 211000 | #Constraints: 49437
300.86/301.86 c #Conflicts: 212000 | #Constraints: 50437
300.86/301.86 c #Conflicts: 213000 | #Constraints: 51437
300.86/301.86 c #Conflicts: 214000 | #Constraints: 52437
300.86/301.86 c #Conflicts: 215000 | #Constraints: 53437
300.86/301.86 c #Conflicts: 216000 | #Constraints: 54437
300.86/301.86 c #Conflicts: 217000 | #Constraints: 55437
300.86/301.86 c #Conflicts: 218000 | #Constraints: 56437
300.86/301.86 c #Conflicts: 219000 | #Constraints: 57437
300.86/301.86 c #Conflicts: 220000 | #Constraints: 58437
300.86/301.86 c #Conflicts: 221000 | #Constraints: 59437
300.86/301.86 c #Conflicts: 222000 | #Constraints: 60437
300.86/301.86 c #Conflicts: 223000 | #Constraints: 61437
300.86/301.86 c #Conflicts: 224000 | #Constraints: 62437
300.86/301.86 c #Conflicts: 225000 | #Constraints: 63437
349.60/350.77 c #Conflicts: 226000 | #Constraints: 64437
349.60/350.77 c #Conflicts: 227000 | #Constraints: 65437
349.60/350.77 c #Conflicts: 228000 | #Constraints: 66437
349.60/350.77 c #Conflicts: 229000 | #Constraints: 67437
349.60/350.77 c #Conflicts: 230000 | #Constraints: 68437
349.60/350.77 c #Conflicts: 231000 | #Constraints: 69437
349.60/350.77 c #Conflicts: 232000 | #Constraints: 70438
349.60/350.77 c #Conflicts: 233000 | #Constraints: 71438
349.60/350.77 c #Conflicts: 234000 | #Constraints: 72438
349.60/350.77 c #Conflicts: 235000 | #Constraints: 73438
349.60/350.77 c #Conflicts: 236000 | #Constraints: 74438
349.60/350.77 c #Conflicts: 237000 | #Constraints: 75438
349.60/350.77 c #Conflicts: 238000 | #Constraints: 76438
349.60/350.77 c #Conflicts: 239000 | #Constraints: 77438
349.60/350.77 c #Conflicts: 240000 | #Constraints: 78438
349.60/350.77 c INPROCESSING
349.60/350.77 c GARBAGE COLLECT
349.60/350.77 c rational objective 188
387.99/389.26 c #Conflicts: 241000 | #Constraints: 52335
387.99/389.26 c #Conflicts: 242000 | #Constraints: 53335
387.99/389.26 c #Conflicts: 243000 | #Constraints: 54335
387.99/389.26 c #Conflicts: 244000 | #Constraints: 55335
387.99/389.26 c #Conflicts: 245000 | #Constraints: 56335
387.99/389.26 c #Conflicts: 246000 | #Constraints: 57335
387.99/389.26 c #Conflicts: 247000 | #Constraints: 58335
387.99/389.26 c #Conflicts: 248000 | #Constraints: 59335
387.99/389.26 c #Conflicts: 249000 | #Constraints: 60335
387.99/389.26 c #Conflicts: 250000 | #Constraints: 61335
387.99/389.26 c #Conflicts: 251000 | #Constraints: 62335
387.99/389.26 c #Conflicts: 252000 | #Constraints: 63335
387.99/389.26 c #Conflicts: 253000 | #Constraints: 64335
387.99/389.26 c #Conflicts: 254000 | #Constraints: 65335
387.99/389.26 c INPROCESSING
387.99/389.26 c GARBAGE COLLECT
387.99/389.26 c rational objective 188
515.41/517.10 c #Conflicts: 255000 | #Constraints: 51537
515.41/517.10 c #Conflicts: 256000 | #Constraints: 52537
515.41/517.10 c #Conflicts: 257000 | #Constraints: 53537
515.41/517.10 c #Conflicts: 258000 | #Constraints: 54537
515.41/517.10 c #Conflicts: 259000 | #Constraints: 55537
515.41/517.10 c #Conflicts: 260000 | #Constraints: 56537
515.41/517.10 c #Conflicts: 261000 | #Constraints: 57537
515.41/517.10 c #Conflicts: 262000 | #Constraints: 58537
515.41/517.10 c #Conflicts: 263000 | #Constraints: 59537
515.41/517.10 c #Conflicts: 264000 | #Constraints: 60537
515.41/517.10 c #Conflicts: 265000 | #Constraints: 61537
515.41/517.10 c #Conflicts: 266000 | #Constraints: 62537
515.41/517.10 c #Conflicts: 267000 | #Constraints: 63537
515.41/517.10 c #Conflicts: 268000 | #Constraints: 64537
515.41/517.10 c #Conflicts: 269000 | #Constraints: 65537
515.41/517.10 c #Conflicts: 270000 | #Constraints: 66537
515.41/517.10 c #Conflicts: 271000 | #Constraints: 67537
515.41/517.10 c #Conflicts: 272000 | #Constraints: 68537
515.41/517.10 c #Conflicts: 273000 | #Constraints: 69537
515.41/517.10 c #Conflicts: 274000 | #Constraints: 70537
515.41/517.11 c #Conflicts: 275000 | #Constraints: 71537
515.41/517.11 c #Conflicts: 276000 | #Constraints: 72537
515.41/517.11 c #Conflicts: 277000 | #Constraints: 73537
515.41/517.11 c #Conflicts: 278000 | #Constraints: 74537
515.41/517.11 c #Conflicts: 279000 | #Constraints: 75537
515.41/517.11 c #Conflicts: 280000 | #Constraints: 76537
515.41/517.11 c #Conflicts: 281000 | #Constraints: 77537
515.41/517.11 c #Conflicts: 282000 | #Constraints: 78537
515.41/517.11 c #Conflicts: 283000 | #Constraints: 79537
515.41/517.11 c #Conflicts: 284000 | #Constraints: 80537
515.41/517.11 c #Conflicts: 285000 | #Constraints: 81537
515.41/517.11 c #Conflicts: 286000 | #Constraints: 82537
515.41/517.11 c #Conflicts: 287000 | #Constraints: 83537
515.41/517.11 c #Conflicts: 288000 | #Constraints: 84537
515.41/517.11 c INPROCESSING
515.41/517.11 c GARBAGE COLLECT
515.41/517.11 c #Conflicts: 289000 | #Constraints: 55424
515.41/517.11 c #Conflicts: 290000 | #Constraints: 56424
515.41/517.11 c #Conflicts: 291000 | #Constraints: 57424
515.41/517.11 c #Conflicts: 292000 | #Constraints: 58424
515.41/517.11 c #Conflicts: 293000 | #Constraints: 59424
515.41/517.11 c #Conflicts: 294000 | #Constraints: 60424
515.41/517.11 c #Conflicts: 295000 | #Constraints: 61424
515.41/517.11 c #Conflicts: 296000 | #Constraints: 62424
515.41/517.11 c #Conflicts: 297000 | #Constraints: 63424
515.41/517.11 c #Conflicts: 298000 | #Constraints: 64424
515.41/517.11 c #Conflicts: 299000 | #Constraints: 65424
515.41/517.11 c #Conflicts: 300000 | #Constraints: 66424
515.41/517.11 c #Conflicts: 301000 | #Constraints: 67424
515.41/517.11 c #Conflicts: 302000 | #Constraints: 68424
515.41/517.11 c #Conflicts: 303000 | #Constraints: 69424
515.41/517.11 c INPROCESSING
515.41/517.11 c GARBAGE COLLECT
515.41/517.11 c #Conflicts: 304000 | #Constraints: 54581
515.41/517.11 c #Conflicts: 305000 | #Constraints: 55581
515.41/517.11 c #Conflicts: 306000 | #Constraints: 56581
515.41/517.11 c #Conflicts: 307000 | #Constraints: 57581
515.41/517.11 c #Conflicts: 308000 | #Constraints: 58581
515.41/517.11 c #Conflicts: 309000 | #Constraints: 59581
515.41/517.11 c #Conflicts: 310000 | #Constraints: 60581
515.41/517.11 c #Conflicts: 311000 | #Constraints: 61581
515.41/517.11 c #Conflicts: 312000 | #Constraints: 62581
515.41/517.11 c #Conflicts: 313000 | #Constraints: 63581
515.41/517.11 c #Conflicts: 314000 | #Constraints: 64581
515.41/517.11 c #Conflicts: 315000 | #Constraints: 65581
515.41/517.11 c #Conflicts: 316000 | #Constraints: 66581
515.41/517.11 c #Conflicts: 317000 | #Constraints: 67581
515.41/517.11 c #Conflicts: 318000 | #Constraints: 68581
515.41/517.11 c #Conflicts: 319000 | #Constraints: 69581
515.41/517.11 c #Conflicts: 320000 | #Constraints: 70581
515.41/517.11 c #Conflicts: 321000 | #Constraints: 71581
515.41/517.11 c #Conflicts: 322000 | #Constraints: 72581
515.41/517.11 c #Conflicts: 323000 | #Constraints: 73581
515.41/517.11 c #Conflicts: 324000 | #Constraints: 74581
515.41/517.11 c #Conflicts: 325000 | #Constraints: 75581
515.41/517.11 c #Conflicts: 326000 | #Constraints: 76581
515.41/517.11 c #Conflicts: 327000 | #Constraints: 77581
515.41/517.11 c #Conflicts: 328000 | #Constraints: 78581
515.41/517.11 c #Conflicts: 329000 | #Constraints: 79581
515.41/517.11 c #Conflicts: 330000 | #Constraints: 80581
515.41/517.11 c #Conflicts: 331000 | #Constraints: 81581
515.41/517.11 c #Conflicts: 332000 | #Constraints: 82581
733.42/735.70 c #Conflicts: 333000 | #Constraints: 83581
733.42/735.70 c #Conflicts: 334000 | #Constraints: 84581
733.42/735.70 c #Conflicts: 335000 | #Constraints: 85581
733.42/735.70 c #Conflicts: 336000 | #Constraints: 86581
733.42/735.70 c #Conflicts: 337000 | #Constraints: 87581
733.42/735.70 c #Conflicts: 338000 | #Constraints: 88581
733.42/735.70 c #Conflicts: 339000 | #Constraints: 89581
733.42/735.70 c #Conflicts: 340000 | #Constraints: 90581
733.42/735.70 c INPROCESSING
733.42/735.70 c GARBAGE COLLECT
733.42/735.70 c #Conflicts: 341000 | #Constraints: 58104
733.42/735.70 c #Conflicts: 342000 | #Constraints: 59104
733.42/735.70 c #Conflicts: 343000 | #Constraints: 60104
733.42/735.70 c #Conflicts: 344000 | #Constraints: 61104
733.42/735.70 c #Conflicts: 345000 | #Constraints: 62104
733.42/735.70 c #Conflicts: 346000 | #Constraints: 63104
733.42/735.70 c #Conflicts: 347000 | #Constraints: 64104
733.42/735.70 c #Conflicts: 348000 | #Constraints: 65104
733.42/735.70 c #Conflicts: 349000 | #Constraints: 66104
733.42/735.70 c #Conflicts: 350000 | #Constraints: 67104
733.42/735.70 c #Conflicts: 351000 | #Constraints: 68104
733.42/735.70 c #Conflicts: 352000 | #Constraints: 69104
733.42/735.70 c #Conflicts: 353000 | #Constraints: 70104
733.42/735.70 c #Conflicts: 354000 | #Constraints: 71104
733.42/735.70 c #Conflicts: 355000 | #Constraints: 72104
733.42/735.70 c #Conflicts: 356000 | #Constraints: 73104
733.42/735.70 c #Conflicts: 357000 | #Constraints: 74104
733.42/735.70 c INPROCESSING
733.42/735.70 c GARBAGE COLLECT
733.42/735.70 c #Conflicts: 358000 | #Constraints: 57874
733.42/735.70 c #Conflicts: 359000 | #Constraints: 58874
733.42/735.70 c #Conflicts: 360000 | #Constraints: 59874
733.42/735.70 c #Conflicts: 361000 | #Constraints: 60874
733.42/735.70 c #Conflicts: 362000 | #Constraints: 61874
733.42/735.70 c #Conflicts: 363000 | #Constraints: 62874
733.42/735.70 c #Conflicts: 364000 | #Constraints: 63874
733.42/735.70 c #Conflicts: 365000 | #Constraints: 64874
733.42/735.70 c #Conflicts: 366000 | #Constraints: 65874
733.42/735.70 c #Conflicts: 367000 | #Constraints: 66874
733.42/735.70 c #Conflicts: 368000 | #Constraints: 67874
733.42/735.70 c #Conflicts: 369000 | #Constraints: 68874
733.42/735.70 c #Conflicts: 370000 | #Constraints: 69874
733.42/735.70 c #Conflicts: 371000 | #Constraints: 70874
733.42/735.70 c #Conflicts: 372000 | #Constraints: 71874
733.42/735.70 c #Conflicts: 373000 | #Constraints: 72874
733.42/735.70 c #Conflicts: 374000 | #Constraints: 73874
733.42/735.70 c #Conflicts: 375000 | #Constraints: 74875
733.42/735.70 c #Conflicts: 376000 | #Constraints: 75875
733.42/735.70 c #Conflicts: 377000 | #Constraints: 76875
733.42/735.70 c #Conflicts: 378000 | #Constraints: 77875
733.42/735.70 c #Conflicts: 379000 | #Constraints: 78875
733.42/735.70 c #Conflicts: 380000 | #Constraints: 79875
733.42/735.70 c #Conflicts: 381000 | #Constraints: 80875
733.42/735.70 c #Conflicts: 382000 | #Constraints: 81875
733.42/735.70 c #Conflicts: 383000 | #Constraints: 82875
733.42/735.70 c #Conflicts: 384000 | #Constraints: 83875
733.42/735.70 c #Conflicts: 385000 | #Constraints: 84875
733.42/735.70 c #Conflicts: 386000 | #Constraints: 85875
733.42/735.70 c #Conflicts: 387000 | #Constraints: 86875
733.42/735.70 c #Conflicts: 388000 | #Constraints: 87875
733.42/735.70 c #Conflicts: 389000 | #Constraints: 88875
733.42/735.70 c #Conflicts: 390000 | #Constraints: 89875
733.42/735.70 c #Conflicts: 391000 | #Constraints: 90875
733.42/735.70 c #Conflicts: 392000 | #Constraints: 91875
733.42/735.70 c #Conflicts: 393000 | #Constraints: 92875
733.42/735.70 c #Conflicts: 394000 | #Constraints: 93875
733.42/735.70 c #Conflicts: 395000 | #Constraints: 94875
733.42/735.70 c #Conflicts: 396000 | #Constraints: 95875
733.42/735.70 c #Conflicts: 397000 | #Constraints: 96875
733.42/735.70 c INPROCESSING
733.42/735.70 c GARBAGE COLLECT
733.42/735.70 c #Conflicts: 398000 | #Constraints: 61364
733.42/735.70 c #Conflicts: 399000 | #Constraints: 62364
733.42/735.70 c #Conflicts: 400000 | #Constraints: 63364
733.42/735.70 c #Conflicts: 401000 | #Constraints: 64364
733.42/735.70 c #Conflicts: 402000 | #Constraints: 65364
733.42/735.70 c #Conflicts: 403000 | #Constraints: 66364
733.42/735.70 c #Conflicts: 404000 | #Constraints: 67364
733.42/735.70 c #Conflicts: 405000 | #Constraints: 68364
733.42/735.70 c #Conflicts: 406000 | #Constraints: 69364
733.42/735.70 c #Conflicts: 407000 | #Constraints: 70364
733.42/735.70 c #Conflicts: 408000 | #Constraints: 71364
733.42/735.70 c #Conflicts: 409000 | #Constraints: 72364
862.14/864.83 c #Conflicts: 410000 | #Constraints: 73364
862.14/864.83 c #Conflicts: 411000 | #Constraints: 74364
862.14/864.83 c #Conflicts: 412000 | #Constraints: 75364
862.14/864.83 c #Conflicts: 413000 | #Constraints: 76364
862.14/864.83 c #Conflicts: 414000 | #Constraints: 77364
862.14/864.83 c #Conflicts: 415000 | #Constraints: 78364
862.14/864.83 c INPROCESSING
862.14/864.83 c GARBAGE COLLECT
862.14/864.83 c #Conflicts: 416000 | #Constraints: 60809
862.14/864.83 c #Conflicts: 417000 | #Constraints: 61809
862.14/864.83 c #Conflicts: 418000 | #Constraints: 62809
862.14/864.83 c #Conflicts: 419000 | #Constraints: 63809
862.14/864.83 c #Conflicts: 420000 | #Constraints: 64809
862.14/864.83 c #Conflicts: 421000 | #Constraints: 65809
862.14/864.83 c #Conflicts: 422000 | #Constraints: 66809
862.14/864.83 c #Conflicts: 423000 | #Constraints: 67809
862.14/864.83 c #Conflicts: 424000 | #Constraints: 68809
862.14/864.83 c #Conflicts: 425000 | #Constraints: 69809
862.14/864.83 c #Conflicts: 426000 | #Constraints: 70809
862.14/864.83 c #Conflicts: 427000 | #Constraints: 71809
862.14/864.83 c #Conflicts: 428000 | #Constraints: 72809
862.14/864.83 c #Conflicts: 429000 | #Constraints: 73809
862.14/864.83 c #Conflicts: 430000 | #Constraints: 74809
862.14/864.83 c #Conflicts: 431000 | #Constraints: 75809
862.14/864.83 c #Conflicts: 432000 | #Constraints: 76809
862.14/864.83 c #Conflicts: 433000 | #Constraints: 77809
862.14/864.83 c #Conflicts: 434000 | #Constraints: 78809
862.14/864.83 c #Conflicts: 435000 | #Constraints: 79809
862.14/864.83 c #Conflicts: 436000 | #Constraints: 80809
862.14/864.83 c #Conflicts: 437000 | #Constraints: 81809
862.14/864.83 c #Conflicts: 438000 | #Constraints: 82809
862.14/864.83 c #Conflicts: 439000 | #Constraints: 83809
862.14/864.83 c #Conflicts: 440000 | #Constraints: 84809
862.14/864.83 c #Conflicts: 441000 | #Constraints: 85809
862.14/864.83 c #Conflicts: 442000 | #Constraints: 86809
862.14/864.83 c #Conflicts: 443000 | #Constraints: 87809
862.14/864.83 c #Conflicts: 444000 | #Constraints: 88809
862.14/864.83 c #Conflicts: 445000 | #Constraints: 89809
862.14/864.83 c #Conflicts: 446000 | #Constraints: 90809
862.14/864.83 c #Conflicts: 447000 | #Constraints: 91809
862.14/864.83 c #Conflicts: 448000 | #Constraints: 92809
862.14/864.83 c #Conflicts: 449000 | #Constraints: 93809
862.14/864.83 c #Conflicts: 450000 | #Constraints: 94809
862.14/864.83 c #Conflicts: 451000 | #Constraints: 95809
862.14/864.83 c #Conflicts: 452000 | #Constraints: 96809
862.14/864.83 c #Conflicts: 453000 | #Constraints: 97809
862.14/864.83 c #Conflicts: 454000 | #Constraints: 98809
862.14/864.83 c #Conflicts: 455000 | #Constraints: 99809
862.14/864.83 c #Conflicts: 456000 | #Constraints: 100809
862.14/864.83 c #Conflicts: 457000 | #Constraints: 101809
862.14/864.83 c #Conflicts: 458000 | #Constraints: 102809
862.14/864.83 c #Conflicts: 459000 | #Constraints: 103809
862.14/864.83 c INPROCESSING
862.14/864.83 c GARBAGE COLLECT
862.14/864.83 c #Conflicts: 460000 | #Constraints: 65376
862.14/864.83 c #Conflicts: 461000 | #Constraints: 66376
862.14/864.83 c #Conflicts: 462000 | #Constraints: 67376
862.14/864.83 c #Conflicts: 463000 | #Constraints: 68376
862.14/864.83 c #Conflicts: 464000 | #Constraints: 69376
862.14/864.83 c #Conflicts: 465000 | #Constraints: 70376
862.14/864.83 c #Conflicts: 466000 | #Constraints: 71376
862.14/864.83 c #Conflicts: 467000 | #Constraints: 72376
862.14/864.83 c #Conflicts: 468000 | #Constraints: 73376
862.14/864.83 c #Conflicts: 469000 | #Constraints: 74376
862.14/864.83 c #Conflicts: 470000 | #Constraints: 75376
862.14/864.83 c #Conflicts: 471000 | #Constraints: 76376
862.14/864.83 c #Conflicts: 472000 | #Constraints: 77376
862.14/864.83 c #Conflicts: 473000 | #Constraints: 78376
862.14/864.83 c #Conflicts: 474000 | #Constraints: 79376
862.14/864.83 c #Conflicts: 475000 | #Constraints: 80376
862.14/864.83 c #Conflicts: 476000 | #Constraints: 81376
862.14/864.83 c #Conflicts: 477000 | #Constraints: 82376
862.14/864.83 c #Conflicts: 478000 | #Constraints: 83376
862.14/864.83 c INPROCESSING
862.14/864.83 c GARBAGE COLLECT
862.14/864.83 c #Conflicts: 479000 | #Constraints: 63782
862.14/864.83 c #Conflicts: 480000 | #Constraints: 64782
862.14/864.83 c #Conflicts: 481000 | #Constraints: 65782
862.14/864.83 c #Conflicts: 482000 | #Constraints: 66782
862.14/864.83 c #Conflicts: 483000 | #Constraints: 67782
862.14/864.83 c #Conflicts: 484000 | #Constraints: 68782
862.14/864.83 c #Conflicts: 485000 | #Constraints: 69782
862.14/864.83 c #Conflicts: 486000 | #Constraints: 70782
1080.37/1083.78 c #Conflicts: 487000 | #Constraints: 71782
1080.37/1083.78 c #Conflicts: 488000 | #Constraints: 72782
1080.37/1083.78 c #Conflicts: 489000 | #Constraints: 73782
1080.37/1083.78 c #Conflicts: 490000 | #Constraints: 74782
1080.37/1083.78 c #Conflicts: 491000 | #Constraints: 75782
1080.37/1083.78 c #Conflicts: 492000 | #Constraints: 76782
1080.37/1083.78 c #Conflicts: 493000 | #Constraints: 77782
1080.37/1083.78 c #Conflicts: 494000 | #Constraints: 78782
1080.37/1083.78 c #Conflicts: 495000 | #Constraints: 79782
1080.37/1083.78 c #Conflicts: 496000 | #Constraints: 80782
1080.37/1083.78 c #Conflicts: 497000 | #Constraints: 81782
1080.37/1083.78 c #Conflicts: 498000 | #Constraints: 82782
1080.37/1083.78 c #Conflicts: 499000 | #Constraints: 83782
1080.37/1083.78 c #Conflicts: 500000 | #Constraints: 84782
1080.37/1083.78 c #Conflicts: 501000 | #Constraints: 85782
1080.37/1083.78 c #Conflicts: 502000 | #Constraints: 86782
1080.37/1083.78 c #Conflicts: 503000 | #Constraints: 87782
1080.37/1083.78 c #Conflicts: 504000 | #Constraints: 88782
1080.37/1083.78 c #Conflicts: 505000 | #Constraints: 89782
1080.37/1083.78 c #Conflicts: 506000 | #Constraints: 90782
1080.37/1083.78 c #Conflicts: 507000 | #Constraints: 91782
1080.37/1083.78 c #Conflicts: 508000 | #Constraints: 92782
1080.37/1083.78 c #Conflicts: 509000 | #Constraints: 93782
1080.37/1083.78 c #Conflicts: 510000 | #Constraints: 94782
1080.37/1083.78 c #Conflicts: 511000 | #Constraints: 95782
1080.37/1083.78 c #Conflicts: 512000 | #Constraints: 96782
1080.37/1083.78 c #Conflicts: 513000 | #Constraints: 97782
1080.37/1083.78 c #Conflicts: 514000 | #Constraints: 98782
1080.37/1083.78 c #Conflicts: 515000 | #Constraints: 99782
1080.37/1083.78 c #Conflicts: 516000 | #Constraints: 100782
1080.37/1083.78 c #Conflicts: 517000 | #Constraints: 101782
1080.37/1083.78 c #Conflicts: 518000 | #Constraints: 102782
1080.37/1083.78 c #Conflicts: 519000 | #Constraints: 103782
1080.37/1083.78 c #Conflicts: 520000 | #Constraints: 104782
1080.37/1083.78 c #Conflicts: 521000 | #Constraints: 105782
1080.37/1083.78 c #Conflicts: 522000 | #Constraints: 106782
1080.37/1083.78 c #Conflicts: 523000 | #Constraints: 107782
1080.37/1083.78 c #Conflicts: 524000 | #Constraints: 108782
1080.37/1083.78 c #Conflicts: 525000 | #Constraints: 109782
1080.37/1083.78 c INPROCESSING
1080.37/1083.78 c GARBAGE COLLECT
1080.37/1083.78 c #Conflicts: 526000 | #Constraints: 68343
1080.37/1083.78 c #Conflicts: 527000 | #Constraints: 69343
1080.37/1083.78 c #Conflicts: 528000 | #Constraints: 70343
1080.37/1083.78 c #Conflicts: 529000 | #Constraints: 71343
1080.37/1083.78 c #Conflicts: 530000 | #Constraints: 72343
1080.37/1083.78 c #Conflicts: 531000 | #Constraints: 73343
1080.37/1083.78 c #Conflicts: 532000 | #Constraints: 74343
1080.37/1083.78 c #Conflicts: 533000 | #Constraints: 75343
1080.37/1083.78 c #Conflicts: 534000 | #Constraints: 76343
1080.37/1083.78 c #Conflicts: 535000 | #Constraints: 77343
1080.37/1083.78 c #Conflicts: 536000 | #Constraints: 78343
1080.37/1083.78 c #Conflicts: 537000 | #Constraints: 79343
1080.37/1083.78 c #Conflicts: 538000 | #Constraints: 80343
1080.37/1083.78 c #Conflicts: 539000 | #Constraints: 81343
1080.37/1083.78 c #Conflicts: 540000 | #Constraints: 82343
1080.37/1083.78 c #Conflicts: 541000 | #Constraints: 83343
1080.37/1083.78 c #Conflicts: 542000 | #Constraints: 84343
1080.37/1083.78 c #Conflicts: 543000 | #Constraints: 85344
1080.37/1083.78 c #Conflicts: 544000 | #Constraints: 86344
1080.37/1083.78 c #Conflicts: 545000 | #Constraints: 87344
1080.37/1083.78 c INPROCESSING
1080.37/1083.78 c GARBAGE COLLECT
1080.37/1083.78 c #Conflicts: 546000 | #Constraints: 66365
1080.37/1083.78 c #Conflicts: 547000 | #Constraints: 67365
1080.37/1083.78 c #Conflicts: 548000 | #Constraints: 68365
1080.37/1083.78 c #Conflicts: 549000 | #Constraints: 69365
1080.37/1083.78 c #Conflicts: 550000 | #Constraints: 70365
1080.37/1083.78 c #Conflicts: 551000 | #Constraints: 71365
1080.37/1083.78 c #Conflicts: 552000 | #Constraints: 72365
1080.37/1083.78 c #Conflicts: 553000 | #Constraints: 73365
1080.37/1083.78 c #Conflicts: 554000 | #Constraints: 74365
1080.37/1083.78 c #Conflicts: 555000 | #Constraints: 75365
1080.37/1083.78 c #Conflicts: 556000 | #Constraints: 76365
1080.37/1083.78 c #Conflicts: 557000 | #Constraints: 77365
1080.37/1083.78 c #Conflicts: 558000 | #Constraints: 78365
1080.37/1083.78 c #Conflicts: 559000 | #Constraints: 79365
1080.37/1083.78 c #Conflicts: 560000 | #Constraints: 80365
1080.37/1083.78 c #Conflicts: 561000 | #Constraints: 81365
1080.37/1083.78 c #Conflicts: 562000 | #Constraints: 82365
1080.37/1083.78 c #Conflicts: 563000 | #Constraints: 83365
1235.89/1239.76 c #Conflicts: 564000 | #Constraints: 84365
1235.89/1239.76 c #Conflicts: 565000 | #Constraints: 85365
1235.89/1239.76 c #Conflicts: 566000 | #Constraints: 86365
1235.89/1239.76 c #Conflicts: 567000 | #Constraints: 87365
1235.89/1239.76 c #Conflicts: 568000 | #Constraints: 88365
1235.89/1239.76 c #Conflicts: 569000 | #Constraints: 89365
1235.89/1239.76 c #Conflicts: 570000 | #Constraints: 90365
1235.89/1239.76 c #Conflicts: 571000 | #Constraints: 91365
1235.89/1239.76 c #Conflicts: 572000 | #Constraints: 92365
1235.89/1239.76 c #Conflicts: 573000 | #Constraints: 93365
1235.89/1239.76 c #Conflicts: 574000 | #Constraints: 94365
1235.89/1239.76 c #Conflicts: 575000 | #Constraints: 95365
1235.89/1239.76 c #Conflicts: 576000 | #Constraints: 96365
1235.89/1239.76 c #Conflicts: 577000 | #Constraints: 97365
1235.89/1239.76 c #Conflicts: 578000 | #Constraints: 98365
1235.89/1239.76 c #Conflicts: 579000 | #Constraints: 99365
1235.89/1239.76 c #Conflicts: 580000 | #Constraints: 100365
1235.89/1239.76 c #Conflicts: 581000 | #Constraints: 101365
1235.89/1239.76 c #Conflicts: 582000 | #Constraints: 102365
1235.89/1239.76 c #Conflicts: 583000 | #Constraints: 103365
1235.89/1239.76 c #Conflicts: 584000 | #Constraints: 104365
1235.89/1239.76 c #Conflicts: 585000 | #Constraints: 105365
1235.89/1239.76 c #Conflicts: 586000 | #Constraints: 106365
1235.89/1239.76 c #Conflicts: 587000 | #Constraints: 107365
1235.89/1239.76 c #Conflicts: 588000 | #Constraints: 108365
1235.89/1239.76 c #Conflicts: 589000 | #Constraints: 109365
1235.89/1239.76 c #Conflicts: 590000 | #Constraints: 110365
1235.89/1239.76 c #Conflicts: 591000 | #Constraints: 111365
1235.89/1239.76 c #Conflicts: 592000 | #Constraints: 112365
1235.89/1239.76 c #Conflicts: 593000 | #Constraints: 113365
1235.89/1239.76 c #Conflicts: 594000 | #Constraints: 114365
1235.89/1239.76 c #Conflicts: 595000 | #Constraints: 115365
1235.89/1239.76 c INPROCESSING
1235.89/1239.76 c GARBAGE COLLECT
1235.89/1239.76 c #Conflicts: 596000 | #Constraints: 71057
1235.89/1239.76 c #Conflicts: 597000 | #Constraints: 72057
1235.89/1239.76 c #Conflicts: 598000 | #Constraints: 73057
1235.89/1239.76 c #Conflicts: 599000 | #Constraints: 74057
1235.89/1239.76 c #Conflicts: 600000 | #Constraints: 75057
1235.89/1239.76 c #Conflicts: 601000 | #Constraints: 76057
1235.89/1239.76 c #Conflicts: 602000 | #Constraints: 77057
1235.89/1239.76 c #Conflicts: 603000 | #Constraints: 78057
1235.89/1239.76 c #Conflicts: 604000 | #Constraints: 79057
1235.89/1239.76 c #Conflicts: 605000 | #Constraints: 80057
1235.89/1239.76 c #Conflicts: 606000 | #Constraints: 81057
1235.89/1239.76 c #Conflicts: 607000 | #Constraints: 82057
1235.89/1239.76 c #Conflicts: 608000 | #Constraints: 83057
1235.89/1239.76 c #Conflicts: 609000 | #Constraints: 84057
1235.89/1239.76 c #Conflicts: 610000 | #Constraints: 85057
1235.89/1239.76 c #Conflicts: 611000 | #Constraints: 86057
1235.89/1239.76 c #Conflicts: 612000 | #Constraints: 87057
1235.89/1239.76 c #Conflicts: 613000 | #Constraints: 88057
1235.89/1239.76 c #Conflicts: 614000 | #Constraints: 89057
1235.89/1239.76 c #Conflicts: 615000 | #Constraints: 90057
1235.89/1239.76 c #Conflicts: 616000 | #Constraints: 91057
1235.89/1239.76 c #Conflicts: 617000 | #Constraints: 92057
1235.89/1239.76 c INPROCESSING
1235.89/1239.76 c GARBAGE COLLECT
1235.89/1239.76 c #Conflicts: 618000 | #Constraints: 69679
1235.89/1239.76 c #Conflicts: 619000 | #Constraints: 70679
1235.89/1239.76 c #Conflicts: 620000 | #Constraints: 71679
1235.89/1239.76 c #Conflicts: 621000 | #Constraints: 72679
1235.89/1239.76 c #Conflicts: 622000 | #Constraints: 73679
1235.89/1239.76 c #Conflicts: 623000 | #Constraints: 74679
1235.89/1239.76 c #Conflicts: 624000 | #Constraints: 75679
1235.89/1239.76 c #Conflicts: 625000 | #Constraints: 76679
1235.89/1239.76 c #Conflicts: 626000 | #Constraints: 77679
1235.89/1239.76 c #Conflicts: 627000 | #Constraints: 78679
1235.89/1239.76 c #Conflicts: 628000 | #Constraints: 79679
1235.89/1239.76 c #Conflicts: 629000 | #Constraints: 80679
1235.89/1239.76 c #Conflicts: 630000 | #Constraints: 81679
1235.89/1239.76 c #Conflicts: 631000 | #Constraints: 82679
1235.89/1239.76 c #Conflicts: 632000 | #Constraints: 83679
1235.89/1239.76 c #Conflicts: 633000 | #Constraints: 84679
1235.89/1239.76 c #Conflicts: 634000 | #Constraints: 85679
1235.89/1239.76 c #Conflicts: 635000 | #Constraints: 86679
1235.89/1239.76 c #Conflicts: 636000 | #Constraints: 87679
1235.89/1239.76 c #Conflicts: 637000 | #Constraints: 88679
1235.89/1239.76 c #Conflicts: 638000 | #Constraints: 89679
1235.89/1239.76 c #Conflicts: 639000 | #Constraints: 90679
1235.89/1239.76 c #Conflicts: 640000 | #Constraints: 91679
1235.89/1239.76 c #Conflicts: 641000 | #Constraints: 92679
1510.66/1515.28 c #Conflicts: 642000 | #Constraints: 93679
1510.66/1515.28 c #Conflicts: 643000 | #Constraints: 94679
1510.66/1515.28 c #Conflicts: 644000 | #Constraints: 95679
1510.66/1515.28 c #Conflicts: 645000 | #Constraints: 96679
1510.66/1515.28 c #Conflicts: 646000 | #Constraints: 97679
1510.66/1515.28 c #Conflicts: 647000 | #Constraints: 98679
1510.66/1515.28 c #Conflicts: 648000 | #Constraints: 99679
1510.66/1515.28 c #Conflicts: 649000 | #Constraints: 100679
1510.66/1515.28 c #Conflicts: 650000 | #Constraints: 101679
1510.66/1515.28 c #Conflicts: 651000 | #Constraints: 102679
1510.66/1515.28 c #Conflicts: 652000 | #Constraints: 103679
1510.66/1515.28 c #Conflicts: 653000 | #Constraints: 104679
1510.66/1515.28 c #Conflicts: 654000 | #Constraints: 105679
1510.66/1515.28 c #Conflicts: 655000 | #Constraints: 106679
1510.66/1515.28 c #Conflicts: 656000 | #Constraints: 107679
1510.66/1515.28 c #Conflicts: 657000 | #Constraints: 108679
1510.66/1515.28 c #Conflicts: 658000 | #Constraints: 109679
1510.66/1515.28 c #Conflicts: 659000 | #Constraints: 110679
1510.66/1515.28 c #Conflicts: 660000 | #Constraints: 111679
1510.66/1515.28 c #Conflicts: 661000 | #Constraints: 112679
1510.66/1515.28 c #Conflicts: 662000 | #Constraints: 113679
1510.66/1515.28 c #Conflicts: 663000 | #Constraints: 114679
1510.66/1515.28 c #Conflicts: 664000 | #Constraints: 115679
1510.66/1515.28 c #Conflicts: 665000 | #Constraints: 116679
1510.66/1515.28 c #Conflicts: 666000 | #Constraints: 117679
1510.66/1515.28 c #Conflicts: 667000 | #Constraints: 118679
1510.66/1515.28 c #Conflicts: 668000 | #Constraints: 119679
1510.66/1515.28 c #Conflicts: 669000 | #Constraints: 120679
1510.66/1515.28 c INPROCESSING
1510.66/1515.28 c GARBAGE COLLECT
1510.66/1515.28 c #Conflicts: 670000 | #Constraints: 73446
1510.66/1515.28 c #Conflicts: 671000 | #Constraints: 74446
1510.66/1515.28 c #Conflicts: 672000 | #Constraints: 75446
1510.66/1515.28 c #Conflicts: 673000 | #Constraints: 76446
1510.66/1515.28 c #Conflicts: 674000 | #Constraints: 77446
1510.66/1515.28 c #Conflicts: 675000 | #Constraints: 78446
1510.66/1515.28 c #Conflicts: 676000 | #Constraints: 79446
1510.66/1515.28 c #Conflicts: 677000 | #Constraints: 80446
1510.66/1515.28 c #Conflicts: 678000 | #Constraints: 81446
1510.66/1515.28 c #Conflicts: 679000 | #Constraints: 82446
1510.66/1515.28 c #Conflicts: 680000 | #Constraints: 83446
1510.66/1515.28 c #Conflicts: 681000 | #Constraints: 84446
1510.66/1515.28 c #Conflicts: 682000 | #Constraints: 85446
1510.66/1515.28 c #Conflicts: 683000 | #Constraints: 86446
1510.66/1515.28 c #Conflicts: 684000 | #Constraints: 87446
1510.66/1515.28 c #Conflicts: 685000 | #Constraints: 88446
1510.66/1515.28 c #Conflicts: 686000 | #Constraints: 89446
1510.66/1515.28 c #Conflicts: 687000 | #Constraints: 90446
1510.66/1515.28 c #Conflicts: 688000 | #Constraints: 91446
1510.66/1515.28 c #Conflicts: 689000 | #Constraints: 92446
1510.66/1515.28 c #Conflicts: 690000 | #Constraints: 93446
1510.66/1515.28 c #Conflicts: 691000 | #Constraints: 94446
1510.66/1515.28 c #Conflicts: 692000 | #Constraints: 95446
1510.66/1515.28 c #Conflicts: 693000 | #Constraints: 96446
1510.66/1515.28 c INPROCESSING
1510.66/1515.28 c GARBAGE COLLECT
1510.66/1515.28 c #Conflicts: 694000 | #Constraints: 73379
1510.66/1515.28 c #Conflicts: 695000 | #Constraints: 74379
1510.66/1515.28 c #Conflicts: 696000 | #Constraints: 75379
1510.66/1515.28 c #Conflicts: 697000 | #Constraints: 76379
1510.66/1515.28 c #Conflicts: 698000 | #Constraints: 77379
1510.66/1515.28 c #Conflicts: 699000 | #Constraints: 78379
1510.66/1515.28 c #Conflicts: 700000 | #Constraints: 79379
1510.66/1515.28 c #Conflicts: 701000 | #Constraints: 80379
1510.66/1515.28 c #Conflicts: 702000 | #Constraints: 81379
1510.66/1515.28 c #Conflicts: 703000 | #Constraints: 82379
1510.66/1515.28 c #Conflicts: 704000 | #Constraints: 83379
1510.66/1515.28 c #Conflicts: 705000 | #Constraints: 84379
1510.66/1515.28 c #Conflicts: 706000 | #Constraints: 85379
1510.66/1515.28 c #Conflicts: 707000 | #Constraints: 86379
1510.66/1515.28 c #Conflicts: 708000 | #Constraints: 87379
1510.66/1515.28 c #Conflicts: 709000 | #Constraints: 88379
1510.66/1515.28 c #Conflicts: 710000 | #Constraints: 89379
1510.66/1515.28 c #Conflicts: 711000 | #Constraints: 90379
1510.66/1515.28 c #Conflicts: 712000 | #Constraints: 91379
1510.66/1515.28 c #Conflicts: 713000 | #Constraints: 92379
1510.66/1515.28 c #Conflicts: 714000 | #Constraints: 93379
1510.66/1515.28 c #Conflicts: 715000 | #Constraints: 94379
1510.66/1515.28 c #Conflicts: 716000 | #Constraints: 95379
1510.66/1515.28 c #Conflicts: 717000 | #Constraints: 96379
1510.66/1515.28 c #Conflicts: 718000 | #Constraints: 97379
1735.72/1740.92 c #Conflicts: 719000 | #Constraints: 98379
1735.72/1740.92 c #Conflicts: 720000 | #Constraints: 99379
1735.72/1740.92 c #Conflicts: 721000 | #Constraints: 100379
1735.72/1740.92 c #Conflicts: 722000 | #Constraints: 101379
1735.72/1740.92 c #Conflicts: 723000 | #Constraints: 102379
1735.72/1740.92 c #Conflicts: 724000 | #Constraints: 103379
1735.72/1740.92 c #Conflicts: 725000 | #Constraints: 104379
1735.72/1740.92 c #Conflicts: 726000 | #Constraints: 105379
1735.72/1740.92 c #Conflicts: 727000 | #Constraints: 106379
1735.72/1740.92 c #Conflicts: 728000 | #Constraints: 107379
1735.72/1740.92 c #Conflicts: 729000 | #Constraints: 108379
1735.72/1740.92 c #Conflicts: 730000 | #Constraints: 109379
1735.72/1740.92 c #Conflicts: 731000 | #Constraints: 110379
1735.72/1740.92 c #Conflicts: 732000 | #Constraints: 111379
1735.72/1740.92 c #Conflicts: 733000 | #Constraints: 112379
1735.72/1740.92 c #Conflicts: 734000 | #Constraints: 113379
1735.72/1740.92 c #Conflicts: 735000 | #Constraints: 114379
1735.72/1740.92 c #Conflicts: 736000 | #Constraints: 115379
1735.72/1740.92 c #Conflicts: 737000 | #Constraints: 116379
1735.72/1740.92 c #Conflicts: 738000 | #Constraints: 117379
1735.72/1740.92 c #Conflicts: 739000 | #Constraints: 118379
1735.72/1740.92 c #Conflicts: 740000 | #Constraints: 119379
1735.72/1740.92 c #Conflicts: 741000 | #Constraints: 120379
1735.72/1740.92 c #Conflicts: 742000 | #Constraints: 121379
1735.72/1740.92 c #Conflicts: 743000 | #Constraints: 122379
1735.72/1740.92 c #Conflicts: 744000 | #Constraints: 123379
1735.72/1740.92 c #Conflicts: 745000 | #Constraints: 124379
1735.72/1740.92 c #Conflicts: 746000 | #Constraints: 125379
1735.72/1740.92 c #Conflicts: 747000 | #Constraints: 126379
1735.72/1740.92 c #Conflicts: 748000 | #Constraints: 127379
1735.72/1740.92 c INPROCESSING
1735.72/1740.92 c GARBAGE COLLECT
1735.72/1740.92 c #Conflicts: 749000 | #Constraints: 77125
1735.72/1740.92 c #Conflicts: 750000 | #Constraints: 78125
1735.72/1740.92 c #Conflicts: 751000 | #Constraints: 79125
1735.72/1740.92 c #Conflicts: 752000 | #Constraints: 80125
1735.72/1740.92 c #Conflicts: 753000 | #Constraints: 81125
1735.72/1740.92 c #Conflicts: 754000 | #Constraints: 82125
1735.72/1740.92 c #Conflicts: 755000 | #Constraints: 83125
1735.72/1740.92 c #Conflicts: 756000 | #Constraints: 84125
1735.72/1740.92 c #Conflicts: 757000 | #Constraints: 85125
1735.72/1740.92 c #Conflicts: 758000 | #Constraints: 86125
1735.72/1740.92 c #Conflicts: 759000 | #Constraints: 87125
1735.72/1740.92 c #Conflicts: 760000 | #Constraints: 88125
1735.72/1740.92 c #Conflicts: 761000 | #Constraints: 89125
1735.72/1740.92 c #Conflicts: 762000 | #Constraints: 90125
1735.72/1740.92 c #Conflicts: 763000 | #Constraints: 91125
1735.72/1740.92 c #Conflicts: 764000 | #Constraints: 92125
1735.72/1740.92 c #Conflicts: 765000 | #Constraints: 93125
1735.72/1740.92 c #Conflicts: 766000 | #Constraints: 94125
1735.72/1740.92 c #Conflicts: 767000 | #Constraints: 95125
1735.72/1740.92 c #Conflicts: 768000 | #Constraints: 96125
1735.72/1740.92 c #Conflicts: 769000 | #Constraints: 97125
1735.72/1740.92 c #Conflicts: 770000 | #Constraints: 98125
1735.72/1740.92 c #Conflicts: 771000 | #Constraints: 99125
1735.72/1740.92 c #Conflicts: 772000 | #Constraints: 100125
1735.72/1740.92 c #Conflicts: 773000 | #Constraints: 101125
1735.72/1740.92 c INPROCESSING
1735.72/1740.92 c GARBAGE COLLECT
1735.72/1740.92 c #Conflicts: 774000 | #Constraints: 76180
1735.72/1740.92 c #Conflicts: 775000 | #Constraints: 77180
1735.72/1740.92 c #Conflicts: 776000 | #Constraints: 78180
1735.72/1740.92 c #Conflicts: 777000 | #Constraints: 79180
1735.72/1740.92 c #Conflicts: 778000 | #Constraints: 80180
1735.72/1740.92 c #Conflicts: 779000 | #Constraints: 81180
1735.72/1740.92 c #Conflicts: 780000 | #Constraints: 82180
1735.72/1740.92 c #Conflicts: 781000 | #Constraints: 83180
1735.72/1740.92 c #Conflicts: 782000 | #Constraints: 84180
1735.72/1740.92 c #Conflicts: 783000 | #Constraints: 85180
1735.72/1740.92 c #Conflicts: 784000 | #Constraints: 86180
1735.72/1740.92 c #Conflicts: 785000 | #Constraints: 87180
1735.72/1740.92 c #Conflicts: 786000 | #Constraints: 88180
1735.72/1740.92 c #Conflicts: 787000 | #Constraints: 89180
1735.72/1740.92 c #Conflicts: 788000 | #Constraints: 90180
1735.72/1740.92 c #Conflicts: 789000 | #Constraints: 91180
1735.72/1740.92 c #Conflicts: 790000 | #Constraints: 92180
1735.72/1740.92 c #Conflicts: 791000 | #Constraints: 93180
1735.72/1740.92 c #Conflicts: 792000 | #Constraints: 94180
1735.72/1740.92 c #Conflicts: 793000 | #Constraints: 95180
1735.72/1740.92 c #Conflicts: 794000 | #Constraints: 96180
1735.72/1740.92 c #Conflicts: 795000 | #Constraints: 97180
1735.72/1740.92 c #Conflicts: 796000 | #Constraints: 98180
1903.12/1908.89 c #Conflicts: 797000 | #Constraints: 99180
1903.12/1908.89 c #Conflicts: 798000 | #Constraints: 100180
1903.12/1908.89 c #Conflicts: 799000 | #Constraints: 101180
1903.12/1908.89 c #Conflicts: 800000 | #Constraints: 102180
1903.12/1908.89 c #Conflicts: 801000 | #Constraints: 103180
1903.12/1908.89 c #Conflicts: 802000 | #Constraints: 104180
1903.12/1908.89 c #Conflicts: 803000 | #Constraints: 105180
1903.12/1908.89 c #Conflicts: 804000 | #Constraints: 106180
1903.12/1908.89 c #Conflicts: 805000 | #Constraints: 107180
1903.12/1908.89 c #Conflicts: 806000 | #Constraints: 108180
1903.12/1908.89 c #Conflicts: 807000 | #Constraints: 109180
1903.12/1908.89 c #Conflicts: 808000 | #Constraints: 110180
1903.12/1908.89 c #Conflicts: 809000 | #Constraints: 111180
1903.12/1908.89 c #Conflicts: 810000 | #Constraints: 112180
1903.12/1908.89 c #Conflicts: 811000 | #Constraints: 113180
1903.12/1908.89 c #Conflicts: 812000 | #Constraints: 114180
1903.12/1908.89 c #Conflicts: 813000 | #Constraints: 115180
1903.12/1908.89 c #Conflicts: 814000 | #Constraints: 116180
1903.12/1908.89 c #Conflicts: 815000 | #Constraints: 117180
1903.12/1908.89 c #Conflicts: 816000 | #Constraints: 118180
1903.12/1908.89 c #Conflicts: 817000 | #Constraints: 119180
1903.12/1908.89 c #Conflicts: 818000 | #Constraints: 120180
1903.12/1908.89 c #Conflicts: 819000 | #Constraints: 121180
1903.12/1908.89 c #Conflicts: 820000 | #Constraints: 122180
1903.12/1908.89 c #Conflicts: 821000 | #Constraints: 123180
1903.12/1908.89 c #Conflicts: 822000 | #Constraints: 124180
1903.12/1908.89 c #Conflicts: 823000 | #Constraints: 125180
1903.12/1908.89 c #Conflicts: 824000 | #Constraints: 126180
1903.12/1908.89 c #Conflicts: 825000 | #Constraints: 127180
1903.12/1908.89 c #Conflicts: 826000 | #Constraints: 128180
1903.12/1908.89 c #Conflicts: 827000 | #Constraints: 129180
1903.12/1908.89 c #Conflicts: 828000 | #Constraints: 130180
1903.12/1908.89 c #Conflicts: 829000 | #Constraints: 131180
1903.12/1908.89 c #Conflicts: 830000 | #Constraints: 132180
1903.12/1908.89 c #Conflicts: 831000 | #Constraints: 133180
1903.12/1908.89 c #Conflicts: 832000 | #Constraints: 134180
1903.12/1908.89 c INPROCESSING
1903.12/1908.89 c GARBAGE COLLECT
1903.12/1908.89 c #Conflicts: 833000 | #Constraints: 80594
1903.12/1908.89 c #Conflicts: 834000 | #Constraints: 81594
1903.12/1908.89 c #Conflicts: 835000 | #Constraints: 82594
1903.12/1908.89 c #Conflicts: 836000 | #Constraints: 83594
1903.12/1908.89 c #Conflicts: 837000 | #Constraints: 84594
1903.12/1908.89 c #Conflicts: 838000 | #Constraints: 85594
1903.12/1908.89 c #Conflicts: 839000 | #Constraints: 86594
1903.12/1908.89 c #Conflicts: 840000 | #Constraints: 87594
1903.12/1908.89 c #Conflicts: 841000 | #Constraints: 88594
1903.12/1908.89 c #Conflicts: 842000 | #Constraints: 89594
1903.12/1908.89 c #Conflicts: 843000 | #Constraints: 90594
1903.12/1908.89 c #Conflicts: 844000 | #Constraints: 91594
1903.12/1908.89 c #Conflicts: 845000 | #Constraints: 92594
1903.12/1908.89 c #Conflicts: 846000 | #Constraints: 93594
1903.12/1908.89 c #Conflicts: 847000 | #Constraints: 94594
1903.12/1908.89 c #Conflicts: 848000 | #Constraints: 95594
1903.12/1908.89 c #Conflicts: 849000 | #Constraints: 96594
1903.12/1908.89 c #Conflicts: 850000 | #Constraints: 97594
1903.12/1908.89 c #Conflicts: 851000 | #Constraints: 98594
1903.12/1908.89 c #Conflicts: 852000 | #Constraints: 99594
1903.12/1908.89 c #Conflicts: 853000 | #Constraints: 100594
1903.12/1908.89 c #Conflicts: 854000 | #Constraints: 101594
1903.12/1908.89 c #Conflicts: 855000 | #Constraints: 102594
1903.12/1908.89 c #Conflicts: 856000 | #Constraints: 103594
1903.12/1908.89 c #Conflicts: 857000 | #Constraints: 104594
1903.12/1908.89 c #Conflicts: 858000 | #Constraints: 105594
1903.12/1908.89 c INPROCESSING
1903.12/1908.89 c GARBAGE COLLECT
1903.12/1908.89 c #Conflicts: 859000 | #Constraints: 79418
1903.12/1908.89 c #Conflicts: 860000 | #Constraints: 80418
1903.12/1908.89 c #Conflicts: 861000 | #Constraints: 81418
1903.12/1908.89 c #Conflicts: 862000 | #Constraints: 82418
1903.12/1908.89 c #Conflicts: 863000 | #Constraints: 83418
1903.12/1908.89 c #Conflicts: 864000 | #Constraints: 84418
1903.12/1908.89 c #Conflicts: 865000 | #Constraints: 85418
1903.12/1908.89 c #Conflicts: 866000 | #Constraints: 86418
1903.12/1908.89 c #Conflicts: 867000 | #Constraints: 87418
1903.12/1908.89 c #Conflicts: 868000 | #Constraints: 88418
1903.12/1908.89 c #Conflicts: 869000 | #Constraints: 89418
1903.12/1908.89 c #Conflicts: 870000 | #Constraints: 90418
1903.12/1908.89 c #Conflicts: 871000 | #Constraints: 91418
1903.12/1908.89 c #Conflicts: 872000 | #Constraints: 92418
1903.12/1908.89 c #Conflicts: 873000 | #Constraints: 93418
2095.44/2101.78 c #Conflicts: 874000 | #Constraints: 94418
2095.44/2101.78 c #Conflicts: 875000 | #Constraints: 95418
2095.44/2101.78 c #Conflicts: 876000 | #Constraints: 96418
2095.44/2101.78 c #Conflicts: 877000 | #Constraints: 97418
2095.44/2101.78 c #Conflicts: 878000 | #Constraints: 98418
2095.44/2101.78 c #Conflicts: 879000 | #Constraints: 99418
2095.44/2101.78 c #Conflicts: 880000 | #Constraints: 100418
2095.44/2101.78 c #Conflicts: 881000 | #Constraints: 101418
2095.44/2101.78 c #Conflicts: 882000 | #Constraints: 102418
2095.44/2101.78 c #Conflicts: 883000 | #Constraints: 103418
2095.44/2101.78 c #Conflicts: 884000 | #Constraints: 104418
2095.44/2101.78 c #Conflicts: 885000 | #Constraints: 105418
2095.44/2101.78 c #Conflicts: 886000 | #Constraints: 106418
2095.44/2101.78 c #Conflicts: 887000 | #Constraints: 107418
2095.44/2101.78 c #Conflicts: 888000 | #Constraints: 108418
2095.44/2101.78 c #Conflicts: 889000 | #Constraints: 109418
2095.44/2101.78 c #Conflicts: 890000 | #Constraints: 110418
2095.44/2101.78 c #Conflicts: 891000 | #Constraints: 111418
2095.44/2101.78 c #Conflicts: 892000 | #Constraints: 112418
2095.44/2101.78 c #Conflicts: 893000 | #Constraints: 113418
2095.44/2101.78 c #Conflicts: 894000 | #Constraints: 114418
2095.44/2101.78 c #Conflicts: 895000 | #Constraints: 115418
2095.44/2101.78 c #Conflicts: 896000 | #Constraints: 116418
2095.44/2101.78 c #Conflicts: 897000 | #Constraints: 117418
2095.44/2101.78 c #Conflicts: 898000 | #Constraints: 118418
2095.44/2101.78 c #Conflicts: 899000 | #Constraints: 119418
2095.44/2101.78 c #Conflicts: 900000 | #Constraints: 120418
2095.44/2101.78 c #Conflicts: 901000 | #Constraints: 121418
2095.44/2101.78 c #Conflicts: 902000 | #Constraints: 122418
2095.44/2101.78 c #Conflicts: 903000 | #Constraints: 123418
2095.44/2101.78 c #Conflicts: 904000 | #Constraints: 124418
2095.44/2101.78 c #Conflicts: 905000 | #Constraints: 125418
2095.44/2101.78 c #Conflicts: 906000 | #Constraints: 126418
2095.44/2101.78 c #Conflicts: 907000 | #Constraints: 127418
2095.44/2101.78 c #Conflicts: 908000 | #Constraints: 128418
2095.44/2101.78 c #Conflicts: 909000 | #Constraints: 129418
2095.44/2101.78 c #Conflicts: 910000 | #Constraints: 130418
2095.44/2101.78 c #Conflicts: 911000 | #Constraints: 131418
2095.44/2101.78 c #Conflicts: 912000 | #Constraints: 132418
2095.44/2101.78 c #Conflicts: 913000 | #Constraints: 133418
2095.44/2101.78 c #Conflicts: 914000 | #Constraints: 134418
2095.44/2101.78 c #Conflicts: 915000 | #Constraints: 135418
2095.44/2101.78 c #Conflicts: 916000 | #Constraints: 136418
2095.44/2101.78 c #Conflicts: 917000 | #Constraints: 137418
2095.44/2101.78 c #Conflicts: 918000 | #Constraints: 138418
2095.44/2101.78 c #Conflicts: 919000 | #Constraints: 139418
2095.44/2101.78 c #Conflicts: 920000 | #Constraints: 140418
2095.44/2101.78 c INPROCESSING
2095.44/2101.78 c GARBAGE COLLECT
2095.44/2101.78 c #Conflicts: 921000 | #Constraints: 84175
2095.44/2101.78 c #Conflicts: 922000 | #Constraints: 85175
2095.44/2101.78 c #Conflicts: 923000 | #Constraints: 86175
2095.44/2101.78 c #Conflicts: 924000 | #Constraints: 87175
2095.44/2101.78 c #Conflicts: 925000 | #Constraints: 88175
2095.44/2101.78 c #Conflicts: 926000 | #Constraints: 89175
2095.44/2101.78 c #Conflicts: 927000 | #Constraints: 90175
2095.44/2101.78 c #Conflicts: 928000 | #Constraints: 91175
2095.44/2101.78 c #Conflicts: 929000 | #Constraints: 92175
2095.44/2101.78 c #Conflicts: 930000 | #Constraints: 93175
2095.44/2101.78 c #Conflicts: 931000 | #Constraints: 94175
2095.44/2101.78 c #Conflicts: 932000 | #Constraints: 95175
2095.44/2101.78 c #Conflicts: 933000 | #Constraints: 96175
2095.44/2101.78 c #Conflicts: 934000 | #Constraints: 97175
2095.44/2101.78 c #Conflicts: 935000 | #Constraints: 98175
2095.44/2101.78 c #Conflicts: 936000 | #Constraints: 99175
2095.44/2101.78 c #Conflicts: 937000 | #Constraints: 100175
2095.44/2101.78 c #Conflicts: 938000 | #Constraints: 101175
2095.44/2101.78 c #Conflicts: 939000 | #Constraints: 102175
2095.44/2101.78 c #Conflicts: 940000 | #Constraints: 103175
2095.44/2101.78 c #Conflicts: 941000 | #Constraints: 104175
2095.44/2101.78 c #Conflicts: 942000 | #Constraints: 105175
2095.44/2101.78 c #Conflicts: 943000 | #Constraints: 106175
2095.44/2101.78 c #Conflicts: 944000 | #Constraints: 107175
2095.44/2101.78 c #Conflicts: 945000 | #Constraints: 108175
2095.44/2101.78 c #Conflicts: 946000 | #Constraints: 109175
2095.44/2101.78 c #Conflicts: 947000 | #Constraints: 110175
2095.44/2101.78 c INPROCESSING
2095.44/2101.78 c GARBAGE COLLECT
2095.44/2101.78 c #Conflicts: 948000 | #Constraints: 82820
2095.44/2101.78 c #Conflicts: 949000 | #Constraints: 83820
2095.44/2101.78 c #Conflicts: 950000 | #Constraints: 84820
2095.44/2101.78 c #Conflicts: 951000 | #Constraints: 85820
2281.38/2288.25 c #Conflicts: 952000 | #Constraints: 86820
2281.38/2288.25 c #Conflicts: 953000 | #Constraints: 87820
2281.38/2288.25 c #Conflicts: 954000 | #Constraints: 88820
2281.38/2288.25 c #Conflicts: 955000 | #Constraints: 89820
2281.38/2288.25 c #Conflicts: 956000 | #Constraints: 90820
2281.38/2288.25 c #Conflicts: 957000 | #Constraints: 91820
2281.38/2288.25 c #Conflicts: 958000 | #Constraints: 92820
2281.38/2288.25 c #Conflicts: 959000 | #Constraints: 93820
2281.38/2288.25 c #Conflicts: 960000 | #Constraints: 94820
2281.38/2288.25 c #Conflicts: 961000 | #Constraints: 95820
2281.38/2288.25 c #Conflicts: 962000 | #Constraints: 96820
2281.38/2288.25 c #Conflicts: 963000 | #Constraints: 97820
2281.38/2288.25 c #Conflicts: 964000 | #Constraints: 98820
2281.38/2288.25 c #Conflicts: 965000 | #Constraints: 99820
2281.38/2288.25 c #Conflicts: 966000 | #Constraints: 100820
2281.38/2288.25 c #Conflicts: 967000 | #Constraints: 101820
2281.38/2288.25 c #Conflicts: 968000 | #Constraints: 102820
2281.38/2288.25 c #Conflicts: 969000 | #Constraints: 103820
2281.38/2288.25 c #Conflicts: 970000 | #Constraints: 104820
2281.38/2288.25 c #Conflicts: 971000 | #Constraints: 105820
2281.38/2288.25 c #Conflicts: 972000 | #Constraints: 106820
2281.38/2288.25 c #Conflicts: 973000 | #Constraints: 107820
2281.38/2288.25 c #Conflicts: 974000 | #Constraints: 108820
2281.38/2288.25 c #Conflicts: 975000 | #Constraints: 109820
2281.38/2288.25 c #Conflicts: 976000 | #Constraints: 110820
2281.38/2288.25 c #Conflicts: 977000 | #Constraints: 111820
2281.38/2288.25 c #Conflicts: 978000 | #Constraints: 112820
2281.38/2288.25 c #Conflicts: 979000 | #Constraints: 113820
2281.38/2288.25 c #Conflicts: 980000 | #Constraints: 114820
2281.38/2288.25 c #Conflicts: 981000 | #Constraints: 115820
2281.38/2288.25 c #Conflicts: 982000 | #Constraints: 116820
2281.38/2288.25 c #Conflicts: 983000 | #Constraints: 117820
2281.38/2288.25 c #Conflicts: 984000 | #Constraints: 118820
2281.38/2288.25 c #Conflicts: 985000 | #Constraints: 119820
2281.38/2288.25 c #Conflicts: 986000 | #Constraints: 120820
2281.38/2288.25 c #Conflicts: 987000 | #Constraints: 121820
2281.38/2288.25 c #Conflicts: 988000 | #Constraints: 122820
2281.38/2288.25 c #Conflicts: 989000 | #Constraints: 123820
2281.38/2288.25 c #Conflicts: 990000 | #Constraints: 124820
2281.38/2288.25 c #Conflicts: 991000 | #Constraints: 125820
2281.38/2288.25 c #Conflicts: 992000 | #Constraints: 126820
2281.38/2288.25 c #Conflicts: 993000 | #Constraints: 127820
2281.38/2288.25 c #Conflicts: 994000 | #Constraints: 128820
2281.38/2288.25 c #Conflicts: 995000 | #Constraints: 129820
2281.38/2288.25 c #Conflicts: 996000 | #Constraints: 130820
2281.38/2288.25 c #Conflicts: 997000 | #Constraints: 131820
2281.38/2288.25 c #Conflicts: 998000 | #Constraints: 132820
2281.38/2288.25 c #Conflicts: 999000 | #Constraints: 133820
2281.38/2288.25 c #Conflicts: 1000000 | #Constraints: 134820
2281.38/2288.25 c #Conflicts: 1001000 | #Constraints: 135820
2281.38/2288.25 c #Conflicts: 1002000 | #Constraints: 136820
2281.38/2288.25 c #Conflicts: 1003000 | #Constraints: 137820
2281.38/2288.25 c #Conflicts: 1004000 | #Constraints: 138820
2281.38/2288.25 c #Conflicts: 1005000 | #Constraints: 139820
2281.38/2288.25 c #Conflicts: 1006000 | #Constraints: 140820
2281.38/2288.25 c #Conflicts: 1007000 | #Constraints: 141820
2281.38/2288.25 c #Conflicts: 1008000 | #Constraints: 142820
2281.38/2288.25 c #Conflicts: 1009000 | #Constraints: 143820
2281.38/2288.25 c #Conflicts: 1010000 | #Constraints: 144820
2281.38/2288.25 c #Conflicts: 1011000 | #Constraints: 145820
2281.38/2288.25 c #Conflicts: 1012000 | #Constraints: 146820
2281.38/2288.25 c INPROCESSING
2281.38/2288.25 c GARBAGE COLLECT
2281.38/2288.25 c #Conflicts: 1013000 | #Constraints: 87136
2281.38/2288.25 c #Conflicts: 1014000 | #Constraints: 88136
2281.38/2288.25 c #Conflicts: 1015000 | #Constraints: 89136
2281.38/2288.25 c #Conflicts: 1016000 | #Constraints: 90136
2281.38/2288.25 c #Conflicts: 1017000 | #Constraints: 91136
2281.38/2288.25 c #Conflicts: 1018000 | #Constraints: 92136
2281.38/2288.25 c #Conflicts: 1019000 | #Constraints: 93136
2281.38/2288.25 c #Conflicts: 1020000 | #Constraints: 94136
2281.38/2288.25 c #Conflicts: 1021000 | #Constraints: 95136
2281.38/2288.25 c #Conflicts: 1022000 | #Constraints: 96136
2281.38/2288.25 c #Conflicts: 1023000 | #Constraints: 97136
2281.38/2288.25 c #Conflicts: 1024000 | #Constraints: 98136
2281.38/2288.25 c #Conflicts: 1025000 | #Constraints: 99136
2281.38/2288.25 c #Conflicts: 1026000 | #Constraints: 100136
2281.38/2288.25 c #Conflicts: 1027000 | #Constraints: 101136
2281.38/2288.25 c #Conflicts: 1028000 | #Constraints: 102136
2281.38/2288.25 c #Conflicts: 1029000 | #Constraints: 103136
2533.61/2541.25 c #Conflicts: 1030000 | #Constraints: 104136
2533.61/2541.25 c #Conflicts: 1031000 | #Constraints: 105136
2533.61/2541.25 c #Conflicts: 1032000 | #Constraints: 106136
2533.61/2541.25 c #Conflicts: 1033000 | #Constraints: 107136
2533.61/2541.25 c #Conflicts: 1034000 | #Constraints: 108136
2533.61/2541.25 c #Conflicts: 1035000 | #Constraints: 109136
2533.61/2541.25 c #Conflicts: 1036000 | #Constraints: 110136
2533.61/2541.25 c #Conflicts: 1037000 | #Constraints: 111136
2533.61/2541.25 c #Conflicts: 1038000 | #Constraints: 112136
2533.61/2541.25 c #Conflicts: 1039000 | #Constraints: 113136
2533.61/2541.25 c #Conflicts: 1040000 | #Constraints: 114136
2533.61/2541.25 c INPROCESSING
2533.61/2541.25 c GARBAGE COLLECT
2533.61/2541.25 c #Conflicts: 1041000 | #Constraints: 84736
2533.61/2541.25 c #Conflicts: 1042000 | #Constraints: 85736
2533.61/2541.25 c #Conflicts: 1043000 | #Constraints: 86736
2533.61/2541.25 c #Conflicts: 1044000 | #Constraints: 87736
2533.61/2541.25 c #Conflicts: 1045000 | #Constraints: 88736
2533.61/2541.25 c #Conflicts: 1046000 | #Constraints: 89736
2533.61/2541.25 c #Conflicts: 1047000 | #Constraints: 90736
2533.61/2541.25 c #Conflicts: 1048000 | #Constraints: 91736
2533.61/2541.25 c #Conflicts: 1049000 | #Constraints: 92736
2533.61/2541.25 c #Conflicts: 1050000 | #Constraints: 93736
2533.61/2541.25 c #Conflicts: 1051000 | #Constraints: 94736
2533.61/2541.25 c #Conflicts: 1052000 | #Constraints: 95736
2533.61/2541.25 c #Conflicts: 1053000 | #Constraints: 96736
2533.61/2541.25 c #Conflicts: 1054000 | #Constraints: 97736
2533.61/2541.25 c #Conflicts: 1055000 | #Constraints: 98736
2533.61/2541.25 c #Conflicts: 1056000 | #Constraints: 99736
2533.61/2541.25 c #Conflicts: 1057000 | #Constraints: 100736
2533.61/2541.25 c #Conflicts: 1058000 | #Constraints: 101736
2533.61/2541.25 c #Conflicts: 1059000 | #Constraints: 102736
2533.61/2541.25 c #Conflicts: 1060000 | #Constraints: 103736
2533.61/2541.25 c #Conflicts: 1061000 | #Constraints: 104736
2533.61/2541.25 c #Conflicts: 1062000 | #Constraints: 105736
2533.61/2541.25 c #Conflicts: 1063000 | #Constraints: 106736
2533.61/2541.25 c #Conflicts: 1064000 | #Constraints: 107736
2533.61/2541.25 c #Conflicts: 1065000 | #Constraints: 108736
2533.61/2541.25 c #Conflicts: 1066000 | #Constraints: 109736
2533.61/2541.25 c #Conflicts: 1067000 | #Constraints: 110736
2533.61/2541.25 c #Conflicts: 1068000 | #Constraints: 111736
2533.61/2541.25 c #Conflicts: 1069000 | #Constraints: 112736
2533.61/2541.25 c #Conflicts: 1070000 | #Constraints: 113736
2533.61/2541.25 c #Conflicts: 1071000 | #Constraints: 114736
2533.61/2541.25 c #Conflicts: 1072000 | #Constraints: 115736
2533.61/2541.25 c #Conflicts: 1073000 | #Constraints: 116736
2533.61/2541.25 c #Conflicts: 1074000 | #Constraints: 117736
2533.61/2541.25 c #Conflicts: 1075000 | #Constraints: 118736
2533.61/2541.25 c #Conflicts: 1076000 | #Constraints: 119736
2533.61/2541.25 c #Conflicts: 1077000 | #Constraints: 120736
2533.61/2541.25 c #Conflicts: 1078000 | #Constraints: 121736
2533.61/2541.25 c #Conflicts: 1079000 | #Constraints: 122736
2533.61/2541.25 c #Conflicts: 1080000 | #Constraints: 123736
2533.61/2541.25 c #Conflicts: 1081000 | #Constraints: 124736
2533.61/2541.25 c #Conflicts: 1082000 | #Constraints: 125736
2533.61/2541.25 c #Conflicts: 1083000 | #Constraints: 126736
2533.61/2541.25 c #Conflicts: 1084000 | #Constraints: 127736
2533.61/2541.25 c #Conflicts: 1085000 | #Constraints: 128736
2533.61/2541.25 c #Conflicts: 1086000 | #Constraints: 129736
2533.61/2541.25 c #Conflicts: 1087000 | #Constraints: 130736
2533.61/2541.25 c #Conflicts: 1088000 | #Constraints: 131736
2533.61/2541.25 c #Conflicts: 1089000 | #Constraints: 132736
2533.61/2541.25 c #Conflicts: 1090000 | #Constraints: 133736
2533.61/2541.25 c #Conflicts: 1091000 | #Constraints: 134736
2533.61/2541.25 c #Conflicts: 1092000 | #Constraints: 135736
2533.61/2541.25 c #Conflicts: 1093000 | #Constraints: 136736
2533.61/2541.25 c #Conflicts: 1094000 | #Constraints: 137736
2533.61/2541.25 c #Conflicts: 1095000 | #Constraints: 138736
2533.61/2541.25 c #Conflicts: 1096000 | #Constraints: 139736
2533.61/2541.25 c #Conflicts: 1097000 | #Constraints: 140736
2533.61/2541.25 c #Conflicts: 1098000 | #Constraints: 141736
2533.61/2541.25 c #Conflicts: 1099000 | #Constraints: 142736
2533.61/2541.25 c #Conflicts: 1100000 | #Constraints: 143736
2533.61/2541.25 c #Conflicts: 1101000 | #Constraints: 144736
2533.61/2541.25 c #Conflicts: 1102000 | #Constraints: 145736
2533.61/2541.25 c #Conflicts: 1103000 | #Constraints: 146736
2533.61/2541.25 c #Conflicts: 1104000 | #Constraints: 147736
2533.61/2541.25 c #Conflicts: 1105000 | #Constraints: 148736
2533.61/2541.25 c #Conflicts: 1106000 | #Constraints: 149736
2533.61/2541.25 c #Conflicts: 1107000 | #Constraints: 150736
2740.26/2748.51 c #Conflicts: 1108000 | #Constraints: 151736
2740.26/2748.51 c INPROCESSING
2740.26/2748.51 c GARBAGE COLLECT
2740.26/2748.51 c #Conflicts: 1109000 | #Constraints: 89431
2740.26/2748.51 c #Conflicts: 1110000 | #Constraints: 90431
2740.26/2748.51 c #Conflicts: 1111000 | #Constraints: 91431
2740.26/2748.51 c #Conflicts: 1112000 | #Constraints: 92431
2740.26/2748.51 c #Conflicts: 1113000 | #Constraints: 93431
2740.26/2748.51 c #Conflicts: 1114000 | #Constraints: 94431
2740.26/2748.51 c #Conflicts: 1115000 | #Constraints: 95431
2740.26/2748.51 c #Conflicts: 1116000 | #Constraints: 96431
2740.26/2748.51 c #Conflicts: 1117000 | #Constraints: 97431
2740.26/2748.51 c #Conflicts: 1118000 | #Constraints: 98431
2740.26/2748.51 c #Conflicts: 1119000 | #Constraints: 99431
2740.26/2748.51 c #Conflicts: 1120000 | #Constraints: 100431
2740.26/2748.51 c #Conflicts: 1121000 | #Constraints: 101431
2740.26/2748.51 c #Conflicts: 1122000 | #Constraints: 102431
2740.26/2748.51 c #Conflicts: 1123000 | #Constraints: 103431
2740.26/2748.51 c #Conflicts: 1124000 | #Constraints: 104431
2740.26/2748.51 c #Conflicts: 1125000 | #Constraints: 105431
2740.26/2748.51 c #Conflicts: 1126000 | #Constraints: 106431
2740.26/2748.51 c #Conflicts: 1127000 | #Constraints: 107431
2740.26/2748.51 c #Conflicts: 1128000 | #Constraints: 108431
2740.26/2748.51 c #Conflicts: 1129000 | #Constraints: 109431
2740.26/2748.51 c #Conflicts: 1130000 | #Constraints: 110431
2740.26/2748.51 c #Conflicts: 1131000 | #Constraints: 111431
2740.26/2748.51 c #Conflicts: 1132000 | #Constraints: 112431
2740.26/2748.51 c #Conflicts: 1133000 | #Constraints: 113431
2740.26/2748.51 c #Conflicts: 1134000 | #Constraints: 114431
2740.26/2748.51 c #Conflicts: 1135000 | #Constraints: 115431
2740.26/2748.51 c #Conflicts: 1136000 | #Constraints: 116431
2740.26/2748.51 c #Conflicts: 1137000 | #Constraints: 117431
2740.26/2748.51 c #Conflicts: 1138000 | #Constraints: 118431
2740.26/2748.51 c INPROCESSING
2740.26/2748.51 c GARBAGE COLLECT
2740.26/2748.51 c #Conflicts: 1139000 | #Constraints: 87077
2740.26/2748.51 c #Conflicts: 1140000 | #Constraints: 88077
2740.26/2748.51 c #Conflicts: 1141000 | #Constraints: 89077
2740.26/2748.51 c #Conflicts: 1142000 | #Constraints: 90077
2740.26/2748.51 c #Conflicts: 1143000 | #Constraints: 91077
2740.26/2748.51 c #Conflicts: 1144000 | #Constraints: 92077
2740.26/2748.51 c #Conflicts: 1145000 | #Constraints: 93077
2740.26/2748.51 c #Conflicts: 1146000 | #Constraints: 94077
2740.26/2748.51 c #Conflicts: 1147000 | #Constraints: 95077
2740.26/2748.51 c #Conflicts: 1148000 | #Constraints: 96078
2740.26/2748.51 c #Conflicts: 1149000 | #Constraints: 97078
2740.26/2748.51 c #Conflicts: 1150000 | #Constraints: 98078
2740.26/2748.51 c #Conflicts: 1151000 | #Constraints: 99078
2740.26/2748.51 c #Conflicts: 1152000 | #Constraints: 100078
2740.26/2748.51 c #Conflicts: 1153000 | #Constraints: 101078
2740.26/2748.51 c #Conflicts: 1154000 | #Constraints: 102078
2740.26/2748.51 c #Conflicts: 1155000 | #Constraints: 103078
2740.26/2748.51 c #Conflicts: 1156000 | #Constraints: 104078
2740.26/2748.51 c #Conflicts: 1157000 | #Constraints: 105078
2740.26/2748.51 c #Conflicts: 1158000 | #Constraints: 106078
2740.26/2748.51 c #Conflicts: 1159000 | #Constraints: 107078
2740.26/2748.51 c #Conflicts: 1160000 | #Constraints: 108078
2740.26/2748.51 c #Conflicts: 1161000 | #Constraints: 109078
2740.26/2748.51 c #Conflicts: 1162000 | #Constraints: 110078
2740.26/2748.51 c #Conflicts: 1163000 | #Constraints: 111078
2740.26/2748.51 c #Conflicts: 1164000 | #Constraints: 112078
2740.26/2748.51 c #Conflicts: 1165000 | #Constraints: 113078
2740.26/2748.51 c #Conflicts: 1166000 | #Constraints: 114078
2740.26/2748.51 c #Conflicts: 1167000 | #Constraints: 115078
2740.26/2748.51 c #Conflicts: 1168000 | #Constraints: 116078
2740.26/2748.51 c #Conflicts: 1169000 | #Constraints: 117078
2740.26/2748.51 c #Conflicts: 1170000 | #Constraints: 118078
2740.26/2748.51 c #Conflicts: 1171000 | #Constraints: 119078
2740.26/2748.51 c #Conflicts: 1172000 | #Constraints: 120078
2740.26/2748.51 c #Conflicts: 1173000 | #Constraints: 121078
2740.26/2748.51 c #Conflicts: 1174000 | #Constraints: 122078
2740.26/2748.51 c #Conflicts: 1175000 | #Constraints: 123078
2740.26/2748.51 c #Conflicts: 1176000 | #Constraints: 124078
2740.26/2748.51 c #Conflicts: 1177000 | #Constraints: 125078
2740.26/2748.51 c #Conflicts: 1178000 | #Constraints: 126078
2740.26/2748.51 c #Conflicts: 1179000 | #Constraints: 127078
2740.26/2748.51 c #Conflicts: 1180000 | #Constraints: 128078
2740.26/2748.51 c #Conflicts: 1181000 | #Constraints: 129078
2740.26/2748.51 c #Conflicts: 1182000 | #Constraints: 130078
2740.26/2748.51 c #Conflicts: 1183000 | #Constraints: 131078
2740.26/2748.51 c #Conflicts: 1184000 | #Constraints: 132078
2931.19/2940.08 c #Conflicts: 1185000 | #Constraints: 133078
2931.19/2940.08 c #Conflicts: 1186000 | #Constraints: 134078
2931.19/2940.08 c #Conflicts: 1187000 | #Constraints: 135078
2931.19/2940.08 c #Conflicts: 1188000 | #Constraints: 136078
2931.19/2940.08 c #Conflicts: 1189000 | #Constraints: 137078
2931.19/2940.08 c #Conflicts: 1190000 | #Constraints: 138078
2931.19/2940.08 c #Conflicts: 1191000 | #Constraints: 139078
2931.19/2940.08 c #Conflicts: 1192000 | #Constraints: 140078
2931.19/2940.08 c #Conflicts: 1193000 | #Constraints: 141078
2931.19/2940.08 c #Conflicts: 1194000 | #Constraints: 142078
2931.19/2940.08 c #Conflicts: 1195000 | #Constraints: 143078
2931.19/2940.08 c #Conflicts: 1196000 | #Constraints: 144078
2931.19/2940.08 c #Conflicts: 1197000 | #Constraints: 145078
2931.19/2940.08 c #Conflicts: 1198000 | #Constraints: 146078
2931.19/2940.08 c #Conflicts: 1199000 | #Constraints: 147078
2931.19/2940.08 c #Conflicts: 1200000 | #Constraints: 148078
2931.19/2940.08 c #Conflicts: 1201000 | #Constraints: 149078
2931.19/2940.08 c #Conflicts: 1202000 | #Constraints: 150078
2931.19/2940.08 c #Conflicts: 1203000 | #Constraints: 151078
2931.19/2940.08 c #Conflicts: 1204000 | #Constraints: 152078
2931.19/2940.08 c #Conflicts: 1205000 | #Constraints: 153078
2931.19/2940.08 c #Conflicts: 1206000 | #Constraints: 154078
2931.19/2940.08 c #Conflicts: 1207000 | #Constraints: 155078
2931.19/2940.08 c #Conflicts: 1208000 | #Constraints: 156078
2931.19/2940.08 c #Conflicts: 1209000 | #Constraints: 157078
2931.19/2940.08 c INPROCESSING
2931.19/2940.08 c GARBAGE COLLECT
2931.19/2940.08 c #Conflicts: 1210000 | #Constraints: 92092
2931.19/2940.08 c #Conflicts: 1211000 | #Constraints: 93092
2931.19/2940.08 c #Conflicts: 1212000 | #Constraints: 94092
2931.19/2940.08 c #Conflicts: 1213000 | #Constraints: 95092
2931.19/2940.08 c #Conflicts: 1214000 | #Constraints: 96092
2931.19/2940.08 c #Conflicts: 1215000 | #Constraints: 97092
2931.19/2940.08 c #Conflicts: 1216000 | #Constraints: 98092
2931.19/2940.08 c #Conflicts: 1217000 | #Constraints: 99092
2931.19/2940.08 c #Conflicts: 1218000 | #Constraints: 100092
2931.19/2940.08 c #Conflicts: 1219000 | #Constraints: 101092
2931.19/2940.08 c #Conflicts: 1220000 | #Constraints: 102092
2931.19/2940.08 c #Conflicts: 1221000 | #Constraints: 103092
2931.19/2940.08 c #Conflicts: 1222000 | #Constraints: 104092
2931.19/2940.08 c #Conflicts: 1223000 | #Constraints: 105092
2931.19/2940.08 c #Conflicts: 1224000 | #Constraints: 106092
2931.19/2940.08 c #Conflicts: 1225000 | #Constraints: 107092
2931.19/2940.08 c #Conflicts: 1226000 | #Constraints: 108092
2931.19/2940.08 c #Conflicts: 1227000 | #Constraints: 109092
2931.19/2940.08 c #Conflicts: 1228000 | #Constraints: 110092
2931.19/2940.08 c #Conflicts: 1229000 | #Constraints: 111092
2931.19/2940.08 c #Conflicts: 1230000 | #Constraints: 112092
2931.19/2940.08 c #Conflicts: 1231000 | #Constraints: 113092
2931.19/2940.08 c #Conflicts: 1232000 | #Constraints: 114092
2931.19/2940.08 c #Conflicts: 1233000 | #Constraints: 115092
2931.19/2940.08 c #Conflicts: 1234000 | #Constraints: 116092
2931.19/2940.08 c #Conflicts: 1235000 | #Constraints: 117092
2931.19/2940.08 c #Conflicts: 1236000 | #Constraints: 118092
2931.19/2940.08 c #Conflicts: 1237000 | #Constraints: 119092
2931.19/2940.08 c #Conflicts: 1238000 | #Constraints: 120092
2931.19/2940.08 c #Conflicts: 1239000 | #Constraints: 121092
2931.19/2940.08 c #Conflicts: 1240000 | #Constraints: 122092
2931.19/2940.08 c INPROCESSING
2931.19/2940.08 c GARBAGE COLLECT
2931.19/2940.08 c #Conflicts: 1241000 | #Constraints: 89772
2931.19/2940.08 c #Conflicts: 1242000 | #Constraints: 90772
2931.19/2940.08 c #Conflicts: 1243000 | #Constraints: 91772
2931.19/2940.08 c #Conflicts: 1244000 | #Constraints: 92772
2931.19/2940.08 c #Conflicts: 1245000 | #Constraints: 93772
2931.19/2940.08 c #Conflicts: 1246000 | #Constraints: 94772
2931.19/2940.08 c #Conflicts: 1247000 | #Constraints: 95772
2931.19/2940.08 c #Conflicts: 1248000 | #Constraints: 96772
2931.19/2940.08 c #Conflicts: 1249000 | #Constraints: 97772
2931.19/2940.08 c #Conflicts: 1250000 | #Constraints: 98772
2931.19/2940.08 c #Conflicts: 1251000 | #Constraints: 99772
2931.19/2940.08 c #Conflicts: 1252000 | #Constraints: 100772
2931.19/2940.08 c #Conflicts: 1253000 | #Constraints: 101772
2931.19/2940.08 c #Conflicts: 1254000 | #Constraints: 102772
2931.19/2940.08 c #Conflicts: 1255000 | #Constraints: 103772
2931.19/2940.08 c #Conflicts: 1256000 | #Constraints: 104772
2931.19/2940.08 c #Conflicts: 1257000 | #Constraints: 105772
2931.19/2940.08 c #Conflicts: 1258000 | #Constraints: 106772
2931.19/2940.08 c #Conflicts: 1259000 | #Constraints: 107772
2931.19/2940.08 c #Conflicts: 1260000 | #Constraints: 108772
2931.19/2940.08 c #Conflicts: 1261000 | #Constraints: 109772
2931.19/2940.08 c #Conflicts: 1262000 | #Constraints: 110772
3200.35/3210.07 c #Conflicts: 1263000 | #Constraints: 111772
3200.35/3210.07 c #Conflicts: 1264000 | #Constraints: 112772
3200.35/3210.07 c #Conflicts: 1265000 | #Constraints: 113772
3200.35/3210.07 c #Conflicts: 1266000 | #Constraints: 114772
3200.35/3210.07 c #Conflicts: 1267000 | #Constraints: 115772
3200.35/3210.07 c #Conflicts: 1268000 | #Constraints: 116772
3200.35/3210.07 c #Conflicts: 1269000 | #Constraints: 117772
3200.35/3210.07 c #Conflicts: 1270000 | #Constraints: 118772
3200.35/3210.07 c #Conflicts: 1271000 | #Constraints: 119772
3200.35/3210.07 c #Conflicts: 1272000 | #Constraints: 120772
3200.35/3210.07 c #Conflicts: 1273000 | #Constraints: 121772
3200.35/3210.07 c #Conflicts: 1274000 | #Constraints: 122772
3200.35/3210.07 c #Conflicts: 1275000 | #Constraints: 123772
3200.35/3210.07 c #Conflicts: 1276000 | #Constraints: 124772
3200.35/3210.07 c #Conflicts: 1277000 | #Constraints: 125772
3200.35/3210.07 c #Conflicts: 1278000 | #Constraints: 126772
3200.35/3210.07 c #Conflicts: 1279000 | #Constraints: 127772
3200.35/3210.07 c #Conflicts: 1280000 | #Constraints: 128772
3200.35/3210.07 c #Conflicts: 1281000 | #Constraints: 129772
3200.35/3210.07 c #Conflicts: 1282000 | #Constraints: 130772
3200.35/3210.07 c #Conflicts: 1283000 | #Constraints: 131772
3200.35/3210.07 c #Conflicts: 1284000 | #Constraints: 132772
3200.35/3210.07 c #Conflicts: 1285000 | #Constraints: 133772
3200.35/3210.07 c #Conflicts: 1286000 | #Constraints: 134772
3200.35/3210.07 c #Conflicts: 1287000 | #Constraints: 135772
3200.35/3210.07 c #Conflicts: 1288000 | #Constraints: 136772
3200.35/3210.07 c #Conflicts: 1289000 | #Constraints: 137772
3200.35/3210.07 c #Conflicts: 1290000 | #Constraints: 138772
3200.35/3210.07 c #Conflicts: 1291000 | #Constraints: 139772
3200.35/3210.07 c #Conflicts: 1292000 | #Constraints: 140772
3200.35/3210.07 c #Conflicts: 1293000 | #Constraints: 141772
3200.35/3210.07 c #Conflicts: 1294000 | #Constraints: 142772
3200.35/3210.07 c #Conflicts: 1295000 | #Constraints: 143772
3200.35/3210.07 c #Conflicts: 1296000 | #Constraints: 144772
3200.35/3210.07 c #Conflicts: 1297000 | #Constraints: 145772
3200.35/3210.07 c #Conflicts: 1298000 | #Constraints: 146772
3200.35/3210.07 c #Conflicts: 1299000 | #Constraints: 147772
3200.35/3210.07 c #Conflicts: 1300000 | #Constraints: 148772
3200.35/3210.07 c #Conflicts: 1301000 | #Constraints: 149772
3200.35/3210.07 c #Conflicts: 1302000 | #Constraints: 150772
3200.35/3210.07 c #Conflicts: 1303000 | #Constraints: 151772
3200.35/3210.07 c #Conflicts: 1304000 | #Constraints: 152772
3200.35/3210.07 c #Conflicts: 1305000 | #Constraints: 153772
3200.35/3210.07 c #Conflicts: 1306000 | #Constraints: 154772
3200.35/3210.07 c #Conflicts: 1307000 | #Constraints: 155772
3200.35/3210.07 c #Conflicts: 1308000 | #Constraints: 156772
3200.35/3210.07 c #Conflicts: 1309000 | #Constraints: 157772
3200.35/3210.07 c #Conflicts: 1310000 | #Constraints: 158772
3200.35/3210.07 c #Conflicts: 1311000 | #Constraints: 159772
3200.35/3210.07 c #Conflicts: 1312000 | #Constraints: 160772
3200.35/3210.07 c #Conflicts: 1313000 | #Constraints: 161772
3200.35/3210.07 c #Conflicts: 1314000 | #Constraints: 162772
3200.35/3210.07 c #Conflicts: 1315000 | #Constraints: 163772
3200.35/3210.07 c INPROCESSING
3200.35/3210.07 c GARBAGE COLLECT
3200.35/3210.07 c #Conflicts: 1316000 | #Constraints: 95804
3200.35/3210.07 c #Conflicts: 1317000 | #Constraints: 96804
3200.35/3210.07 c #Conflicts: 1318000 | #Constraints: 97804
3200.35/3210.07 c #Conflicts: 1319000 | #Constraints: 98804
3200.35/3210.07 c #Conflicts: 1320000 | #Constraints: 99804
3200.35/3210.07 c #Conflicts: 1321000 | #Constraints: 100804
3200.35/3210.07 c #Conflicts: 1322000 | #Constraints: 101804
3200.35/3210.07 c #Conflicts: 1323000 | #Constraints: 102804
3200.35/3210.07 c #Conflicts: 1324000 | #Constraints: 103804
3200.35/3210.07 c #Conflicts: 1325000 | #Constraints: 104804
3200.35/3210.07 c #Conflicts: 1326000 | #Constraints: 105804
3200.35/3210.07 c #Conflicts: 1327000 | #Constraints: 106804
3200.35/3210.07 c #Conflicts: 1328000 | #Constraints: 107804
3200.35/3210.07 c #Conflicts: 1329000 | #Constraints: 108804
3200.35/3210.07 c #Conflicts: 1330000 | #Constraints: 109804
3200.35/3210.07 c #Conflicts: 1331000 | #Constraints: 110804
3200.35/3210.07 c #Conflicts: 1332000 | #Constraints: 111804
3200.35/3210.07 c #Conflicts: 1333000 | #Constraints: 112804
3200.35/3210.07 c #Conflicts: 1334000 | #Constraints: 113804
3200.35/3210.07 c #Conflicts: 1335000 | #Constraints: 114804
3200.35/3210.07 c #Conflicts: 1336000 | #Constraints: 115804
3200.35/3210.07 c #Conflicts: 1337000 | #Constraints: 116804
3200.35/3210.07 c #Conflicts: 1338000 | #Constraints: 117804
3200.35/3210.07 c #Conflicts: 1339000 | #Constraints: 118804
3200.35/3210.07 c #Conflicts: 1340000 | #Constraints: 119804
3222.87/3232.65 c #Conflicts: 1341000 | #Constraints: 120804
3222.87/3232.65 c #Conflicts: 1342000 | #Constraints: 121804
3222.87/3232.65 c #Conflicts: 1343000 | #Constraints: 122804
3222.87/3232.65 c #Conflicts: 1344000 | #Constraints: 123804
3222.87/3232.65 c #Conflicts: 1345000 | #Constraints: 124804
3222.87/3232.65 c #Conflicts: 1346000 | #Constraints: 125804
3222.87/3232.65 c #Conflicts: 1347000 | #Constraints: 126804
3222.87/3232.65 c INPROCESSING
3222.87/3232.65 c GARBAGE COLLECT
3222.87/3232.65 c rational objective 188
3495.73/3506.32 c #Conflicts: 1348000 | #Constraints: 93246
3495.73/3506.32 c #Conflicts: 1349000 | #Constraints: 94246
3495.73/3506.32 c #Conflicts: 1350000 | #Constraints: 95246
3495.73/3506.32 c #Conflicts: 1351000 | #Constraints: 96246
3495.73/3506.32 c #Conflicts: 1352000 | #Constraints: 97246
3495.73/3506.32 c #Conflicts: 1353000 | #Constraints: 98246
3495.73/3506.32 c #Conflicts: 1354000 | #Constraints: 99246
3495.73/3506.32 c #Conflicts: 1355000 | #Constraints: 100246
3495.73/3506.32 c #Conflicts: 1356000 | #Constraints: 101246
3495.73/3506.32 c #Conflicts: 1357000 | #Constraints: 102246
3495.73/3506.32 c #Conflicts: 1358000 | #Constraints: 103246
3495.73/3506.32 c #Conflicts: 1359000 | #Constraints: 104246
3495.73/3506.32 c #Conflicts: 1360000 | #Constraints: 105246
3495.73/3506.32 c #Conflicts: 1361000 | #Constraints: 106246
3495.73/3506.32 c #Conflicts: 1362000 | #Constraints: 107246
3495.73/3506.32 c #Conflicts: 1363000 | #Constraints: 108246
3495.73/3506.32 c #Conflicts: 1364000 | #Constraints: 109246
3495.73/3506.32 c #Conflicts: 1365000 | #Constraints: 110246
3495.73/3506.32 c #Conflicts: 1366000 | #Constraints: 111246
3495.73/3506.32 c #Conflicts: 1367000 | #Constraints: 112246
3495.73/3506.32 c #Conflicts: 1368000 | #Constraints: 113246
3495.73/3506.32 c #Conflicts: 1369000 | #Constraints: 114246
3495.73/3506.32 c #Conflicts: 1370000 | #Constraints: 115246
3495.73/3506.32 c #Conflicts: 1371000 | #Constraints: 116246
3495.73/3506.32 c #Conflicts: 1372000 | #Constraints: 117246
3495.73/3506.32 c #Conflicts: 1373000 | #Constraints: 118246
3495.73/3506.32 c #Conflicts: 1374000 | #Constraints: 119246
3495.73/3506.32 c #Conflicts: 1375000 | #Constraints: 120246
3495.73/3506.32 c #Conflicts: 1376000 | #Constraints: 121246
3495.73/3506.32 c #Conflicts: 1377000 | #Constraints: 122246
3495.73/3506.32 c #Conflicts: 1378000 | #Constraints: 123246
3495.73/3506.32 c #Conflicts: 1379000 | #Constraints: 124246
3495.73/3506.32 c #Conflicts: 1380000 | #Constraints: 125246
3495.73/3506.32 c #Conflicts: 1381000 | #Constraints: 126246
3495.73/3506.32 c #Conflicts: 1382000 | #Constraints: 127246
3495.73/3506.32 c #Conflicts: 1383000 | #Constraints: 128246
3495.73/3506.32 c #Conflicts: 1384000 | #Constraints: 129246
3495.73/3506.32 c #Conflicts: 1385000 | #Constraints: 130246
3495.73/3506.32 c #Conflicts: 1386000 | #Constraints: 131246
3495.73/3506.32 c #Conflicts: 1387000 | #Constraints: 132246
3495.73/3506.32 c #Conflicts: 1388000 | #Constraints: 133246
3495.73/3506.32 c #Conflicts: 1389000 | #Constraints: 134246
3495.73/3506.32 c #Conflicts: 1390000 | #Constraints: 135246
3495.73/3506.32 c #Conflicts: 1391000 | #Constraints: 136246
3495.73/3506.32 c #Conflicts: 1392000 | #Constraints: 137246
3495.73/3506.32 c #Conflicts: 1393000 | #Constraints: 138246
3495.73/3506.32 c #Conflicts: 1394000 | #Constraints: 139246
3495.73/3506.32 c #Conflicts: 1395000 | #Constraints: 140246
3495.73/3506.32 c #Conflicts: 1396000 | #Constraints: 141246
3495.73/3506.32 c #Conflicts: 1397000 | #Constraints: 142246
3495.73/3506.32 c #Conflicts: 1398000 | #Constraints: 143246
3495.73/3506.32 c #Conflicts: 1399000 | #Constraints: 144246
3495.73/3506.32 c #Conflicts: 1400000 | #Constraints: 145246
3495.73/3506.32 c #Conflicts: 1401000 | #Constraints: 146246
3495.73/3506.32 c #Conflicts: 1402000 | #Constraints: 147246
3495.73/3506.32 c #Conflicts: 1403000 | #Constraints: 148246
3495.73/3506.32 c #Conflicts: 1404000 | #Constraints: 149246
3495.73/3506.32 c #Conflicts: 1405000 | #Constraints: 150246
3495.73/3506.32 c #Conflicts: 1406000 | #Constraints: 151246
3495.73/3506.32 c #Conflicts: 1407000 | #Constraints: 152246
3495.73/3506.32 c #Conflicts: 1408000 | #Constraints: 153246
3495.73/3506.32 c #Conflicts: 1409000 | #Constraints: 154246
3495.73/3506.32 c #Conflicts: 1410000 | #Constraints: 155246
3495.73/3506.32 c #Conflicts: 1411000 | #Constraints: 156246
3495.73/3506.32 c #Conflicts: 1412000 | #Constraints: 157246
3495.73/3506.32 c #Conflicts: 1413000 | #Constraints: 158246
3495.73/3506.32 c #Conflicts: 1414000 | #Constraints: 159246
3495.73/3506.32 c #Conflicts: 1415000 | #Constraints: 160246
3495.73/3506.32 c #Conflicts: 1416000 | #Constraints: 161246
3495.73/3506.32 c #Conflicts: 1417000 | #Constraints: 162246
3495.73/3506.32 c #Conflicts: 1418000 | #Constraints: 163246
3495.73/3506.32 c #Conflicts: 1419000 | #Constraints: 164246
3495.73/3506.32 c #Conflicts: 1420000 | #Constraints: 165246
3495.73/3506.32 c #Conflicts: 1421000 | #Constraints: 166246
3495.73/3506.32 c #Conflicts: 1422000 | #Constraints: 167246
3495.73/3506.32 c #Conflicts: 1423000 | #Constraints: 168246
3495.73/3506.32 c #Conflicts: 1424000 | #Constraints: 169246
3495.73/3506.32 c #Conflicts: 1425000 | #Constraints: 170246
3495.73/3506.32 c INPROCESSING
3495.73/3506.32 c GARBAGE COLLECT
3495.73/3506.32 c rational objective 188
3600.01/3610.90 c #Conflicts: 1426000 | #Constraints: 99207
3600.01/3610.90 c #Conflicts: 1427000 | #Constraints: 100207
3600.01/3610.90 c #Conflicts: 1428000 | #Constraints: 101207
3600.01/3610.90 c #Conflicts: 1429000 | #Constraints: 102207
3600.01/3610.90 c #Conflicts: 1430000 | #Constraints: 103207
3600.01/3610.90 c #Conflicts: 1431000 | #Constraints: 104207
3600.01/3610.90 c #Conflicts: 1432000 | #Constraints: 105207
3600.01/3610.90 c #Conflicts: 1433000 | #Constraints: 106207
3600.01/3610.90 c #Conflicts: 1434000 | #Constraints: 107207
3600.01/3610.90 c #Conflicts: 1435000 | #Constraints: 108207
3600.01/3610.90 c #Conflicts: 1436000 | #Constraints: 109207
3600.01/3610.90 c #Conflicts: 1437000 | #Constraints: 110207
3600.01/3610.90 c #Conflicts: 1438000 | #Constraints: 111207
3600.01/3610.90 c #Conflicts: 1439000 | #Constraints: 112207
3600.01/3610.90 c #Conflicts: 1440000 | #Constraints: 113207
3600.01/3610.90 c #Conflicts: 1441000 | #Constraints: 114207
3600.01/3610.90 c #Conflicts: 1442000 | #Constraints: 115207
3600.01/3610.90 c #Conflicts: 1443000 | #Constraints: 116207
3600.01/3610.90 c #Conflicts: 1444000 | #Constraints: 117207
3600.01/3610.90 c #Conflicts: 1445000 | #Constraints: 118207
3600.01/3610.90 c #Conflicts: 1446000 | #Constraints: 119207
3600.01/3610.90 c #Conflicts: 1447000 | #Constraints: 120207
3600.01/3610.90 c #Conflicts: 1448000 | #Constraints: 121207
3600.01/3610.90 c #Conflicts: 1449000 | #Constraints: 122207
3600.01/3610.90 c #Conflicts: 1450000 | #Constraints: 123207
3600.01/3610.90 c #Conflicts: 1451000 | #Constraints: 124207
3600.01/3610.90 c #Conflicts: 1452000 | #Constraints: 125207
3600.01/3610.90 c #Conflicts: 1453000 | #Constraints: 126207
3600.01/3610.90 c #Conflicts: 1454000 | #Constraints: 127207
3600.01/3610.90 c #Conflicts: 1455000 | #Constraints: 128207
3600.01/3610.90 c #Conflicts: 1456000 | #Constraints: 129207
3600.01/3610.90 c #Conflicts: 1457000 | #Constraints: 130207
3600.01/3610.90 c #Conflicts: 1458000 | #Constraints: 131207
3600.01/3610.90 c INPROCESSING
3600.01/3610.90 c GARBAGE COLLECT
3600.01/3610.90 c #Conflicts: 1459000 | #Constraints: 96505
3600.01/3610.90 c #Conflicts: 1460000 | #Constraints: 97505
3600.01/3610.90 c #Conflicts: 1461000 | #Constraints: 98505
3600.01/3610.90 c #Conflicts: 1462000 | #Constraints: 99505
3600.01/3610.90 c #Conflicts: 1463000 | #Constraints: 100505
3600.01/3610.90 c #Conflicts: 1464000 | #Constraints: 101505
3600.01/3610.90 c #Conflicts: 1465000 | #Constraints: 102505
3600.01/3610.90 c #Conflicts: 1466000 | #Constraints: 103505
3600.01/3610.90 c #Conflicts: 1467000 | #Constraints: 104505
3600.01/3610.90 c #Conflicts: 1468000 | #Constraints: 105505
3600.01/3610.90 c #Conflicts: 1469000 | #Constraints: 106505
3600.01/3610.90 c #Conflicts: 1470000 | #Constraints: 107505
3600.01/3610.90 c #Conflicts: 1471000 | #Constraints: 108505
3600.01/3610.90 c #Conflicts: 1472000 | #Constraints: 109505
3600.01/3610.90 c #Conflicts: 1473000 | #Constraints: 110505
3600.01/3610.90 c #Conflicts: 1474000 | #Constraints: 111505
3600.01/3610.90 c #Conflicts: 1475000 | #Constraints: 112505
3600.01/3610.90 c cpu time 3562 s
3600.01/3610.90 c deterministic time 271397881761 2.71e+11
3600.01/3610.90 c optimization time 28.3369 s
3600.01/3610.90 c total solve time 3533.41 s
3600.01/3610.90 c core-guided solve time 0 s
3600.01/3610.90 c propagation time 2094.39 s
3600.01/3610.90 c conflict analysis time 1079.01 s
3600.01/3610.90 c propagations 1511833030
3600.01/3610.90 c resolve steps 82130642
3600.01/3610.90 c decisions 41817400
3600.01/3610.90 c conflicts 1475134
3600.01/3610.90 c restarts 2872
3600.01/3610.90 c inprocessing phases 51
3600.01/3610.90 c garbage collections 51 ,( 100.00 )
3600.01/3610.90 c input clauses 22562 ,( 99.17 )
3600.01/3610.90 c input cardinalities 188 ,( 0.83 )
3600.01/3610.90 c input general constraints 0 ,( 0.00 )
3600.01/3610.90 c input average constraint length 6.44
3600.01/3610.90 c input average constraint degree 1.97
3600.01/3610.90 c learned clauses 1063375 ,( 72.09 )
3600.01/3610.90 c learned cardinalities 52028 ,( 3.53 )
3600.01/3610.90 c learned general constraints 359740 ,( 24.39 )
3600.01/3610.90 c learned average constraint length 669.75
3600.01/3610.90 c learned average constraint degree 12896599.31
3600.01/3610.90 c watched CF 32, 64, 128, Arb: 88232 , 0 , 0 , 0
3600.01/3610.90 c counting CF 32, 64, 128, Arb: 271508 , 0 , 0 , 0
3600.01/3610.90 c watched constraints 88232 ,( 24.53 )
3600.01/3610.90 c counting constraints 271508 ,( 75.47 )
3600.01/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1359999667 , 881961715 , 2032077369 ,( 92082669 , 1939994700 )
3600.01/3610.90 c gcd simplifications 802
3600.01/3610.90 c detected cardinalities 8318
3600.01/3610.90 c weakened non-implied lits 392667798
3600.01/3610.90 c weakened non-implying lits 195345
3600.01/3610.90 c original variables 22372
3600.01/3610.90 c clausal propagations 700911516
3600.01/3610.90 c cardinality propagations 559419010
3600.01/3610.90 c watched propagations 4623662
3600.01/3610.90 c counting propagations 232275905
3600.01/3610.90 c watch lookups 83030322157
3600.01/3610.90 c watch backjump lookups 0
3600.01/3610.90 c watch checks 33344392078
3600.01/3610.90 c propagation checks 147184435541
3600.01/3610.90 c constraint additions 4729669659
3600.01/3610.90 c trail pops 1555104782
3600.01/3610.90 c formula constraints 22750
3600.01/3610.90 c learned constraints 1475129
3600.01/3610.90 c bound constraints 0
3600.01/3610.90 c core-guided constraints 0
3600.01/3610.90 c encountered formula constraints 50614266
3600.01/3610.90 c encountered learned constraints 32991357
3600.01/3610.90 c encountered bound constraints 0
3600.01/3610.90 c encountered core-guided constraints 0
3600.01/3610.90 c LP total time 482.179 s
3600.01/3610.90 c LP solve time 468.32 s
3600.01/3610.90 c LP constraints added 23175
3600.01/3610.90 c LP constraints removed 214
3600.01/3610.90 c LP pivots internal 152609
3600.01/3610.90 c LP pivots root 154504
3600.01/3610.90 c LP calls 19
3600.01/3610.90 c LP optimalities 7
3600.01/3610.90 c LP no pivot count 0
3600.01/3610.90 c LP infeasibilities 5
3600.01/3610.90 c LP valid Farkas constraints 5
3600.01/3610.90 c LP learned Farkas constraints 5
3600.01/3610.90 c LP basis resets 0
3600.01/3610.90 c LP cycling count 0
3600.01/3610.90 c LP singular count 0
3600.01/3610.90 c LP no primal count 0
3600.01/3610.90 c LP no farkas count 0
3600.01/3610.90 c LP other issue count 0
3600.01/3610.90 c LP Gomory cuts 4
3600.01/3610.90 c LP learned cuts 847
3600.01/3610.90 c LP deleted cuts 402
3600.01/3610.90 c LP encountered Gomory constraints 0
3600.01/3610.90 c LP encountered Farkas constraints 141
3600.01/3610.90 c LP encountered learned Farkas constraints 7
3600.01/3610.90 c CG auxiliary variables introduced 0
3600.01/3610.90 c CG solutions found 0
3600.01/3610.90 c CG cores constructed 0
3600.01/3610.90 c CG core cardinality constraints returned 0
3600.01/3610.90 c CG unit cores 0
3600.01/3610.90 c CG single cores 0
3600.01/3610.90 c CG blocks removed during cardinality reduction 0
3600.01/3610.90 c CG first core best 0
3600.01/3610.90 c CG decision core best 0
3600.01/3610.90 c CG core reduction tie 0
3600.01/3610.90 c CG core degree average 0.00
3600.01/3610.90 c CG core slack average 0.00
3600.01/3610.90 c CG core upper bound improvements 0
3600.01/3610.90 c STR number of successful calls 0
3600.01/3610.90 c STR number of unsuccessful calls 0
3600.01/3610.90 c STR number of inconclusive calls 0
3600.01/3610.90 c STR number of successful attempts 0
3600.01/3610.90 c STR number of unsuccessful attempts 0
3600.01/3610.90 c STR number of inconclusive attempts 0
3600.01/3610.90 c STR average degree increase per successful call inf
3600.01/3610.90 c STR average degree increase per successful attempt inf
3600.01/3610.90 c STR total number of conflicts for successful attempts 0
3600.01/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.90 c STR average number of conflicts per successful attempt inf
3600.01/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.90 c AVG.sumWPerc 66.95
3600.01/3610.90 c bigint constraints 0
3600.01/3610.90 s UNKNOWN
3600.01/3610.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63258 MiB free)
memory of node 1: 64507 MiB (63962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506832-1751180326/watcher-4506832-1751180326 -o /tmp/evaluation-result-4506832-1751180326/solver-4506832-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22849 --watchdog 3760 run-dec.sh HOME/instance-4506832-1751180326.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22895, runsolver pid=22889
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130257784/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=59828 memory=14624 CPUtime=0.06 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 1513 0 0 0 5 1 0 0 20 0 1 0 33712333 61263872 3656 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 14957 3656 1856 1147 0 2384 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64020 KiB
Current children cumulated memory: 17696 KiB
[startup+0.214575 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130253596/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=60976 memory=15776 CPUtime=0.18 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 1810 0 0 0 13 5 0 0 20 0 1 0 33712333 62439424 3944 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 15244 3944 1856 1147 0 2671 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65168 KiB
Current children cumulated memory: 18848 KiB
[startup+0.314473 s]*
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130203004/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=82572 memory=30280 CPUtime=0.27 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 5691 0 0 0 20 7 0 0 20 0 1 0 33712333 84553728 7570 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 20643 7570 2208 1147 0 8070 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 33352 KiB
[startup+0.700387 s]
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130118944/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=109820 memory=57004 CPUtime=0.65 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 10697 0 0 0 55 10 0 0 20 0 1 0 33712333 112455680 14251 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 27455 14251 2208 1147 0 14882 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 114012 KiB
Current children cumulated memory: 60076 KiB
[startup+1.50043 s]
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130110880/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=111600 memory=59692 CPUtime=1.45 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 11329 0 0 0 134 11 0 0 20 0 1 0 33712333 114278400 14923 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 27900 14923 2240 1147 0 15327 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 115792 KiB
Current children cumulated memory: 62764 KiB
[startup+3.11322 s]
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130083832/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=113696 memory=64208 CPUtime=3.05 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 11900 0 0 0 291 14 0 0 20 0 1 0 33712333 116424704 16052 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 28424 16052 2272 1147 0 15851 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 117888 KiB
Current children cumulated memory: 67280 KiB
[startup+6.30036 s]
/proc/loadavg: 0.75 1.37 2.35 5/257 22912
/proc/meminfo: memFree=130059204/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=123628 memory=75176 CPUtime=6.23 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 14114 0 0 0 586 37 0 0 20 0 1 0 33712333 126595072 18794 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 30907 18794 2304 1147 0 18334 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 127820 KiB
Current children cumulated memory: 78248 KiB
[startup+12.7004 s]
/proc/loadavg: 1.01 1.41 2.36 5/257 22912
/proc/meminfo: memFree=129994944/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=143372 memory=92744 CPUtime=12.61 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 17986 0 0 0 1195 66 0 0 20 0 1 0 33712333 146812928 23186 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 35843 23186 2304 1147 0 23270 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 147564 KiB
Current children cumulated memory: 95816 KiB
[startup+25.5004 s]
/proc/loadavg: 1.74 1.55 2.39 5/257 22912
/proc/meminfo: memFree=129958676/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=151332 memory=101448 CPUtime=25.37 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 20176 0 0 0 2441 96 0 0 20 0 1 0 33712333 154963968 25362 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 37833 25362 2304 1147 0 25260 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 155524 KiB
Current children cumulated memory: 104520 KiB
[startup+51.1133 s]
/proc/loadavg: 2.51 1.75 2.44 5/257 22913
/proc/meminfo: memFree=129786440/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=209460 memory=146036 CPUtime=50.9 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 26793 0 0 0 4901 189 0 0 20 0 1 0 33712333 214487040 36509 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 52365 36509 2304 1147 0 39792 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 213652 KiB
Current children cumulated memory: 149108 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.53 5/255 22915
/proc/meminfo: memFree=129638064/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=236136 memory=177052 CPUtime=101.91 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 33425 0 0 0 9895 296 0 0 20 0 1 0 33712333 241803264 44263 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 59034 44263 2304 1147 0 46461 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 240328 KiB
Current children cumulated memory: 180124 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.50 2.64 5/256 22929
/proc/meminfo: memFree=129496904/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=289220 memory=226728 CPUtime=161.76 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 39132 0 0 0 15789 387 0 0 20 0 1 0 33712333 296161280 56682 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 72305 56682 2304 1147 0 59732 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 293412 KiB
Current children cumulated memory: 229800 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.79 2.73 5/256 22931
/proc/meminfo: memFree=129375920/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=312280 memory=258972 CPUtime=221.59 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 44642 0 0 0 21626 533 0 0 20 0 1 0 33712333 319774720 64743 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 78070 64743 2304 1147 0 65497 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/22901/statm: 295579 237385 2304 1147 0 283006 0
Current children cumulated CPU time: 3092.97 s
Current children cumulated vsize: 1186508 KiB
Current children cumulated memory: 952612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/254 23069
/proc/meminfo: memFree=126341868/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1188228 memory=954276 CPUtime=3152.78 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 152469 0 0 0 311878 3400 0 0 20 0 1 0 33712333 1216745472 238569 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 297057 238569 2304 1147 0 284484 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 1192420 KiB
Current children cumulated memory: 957348 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.11 4.03 5/254 23071
/proc/meminfo: memFree=126317960/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1192440 memory=958372 CPUtime=3212.61 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 153480 0 0 0 317804 3457 0 0 20 0 1 0 33712333 1221058560 239593 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 298110 239593 2304 1147 0 285537 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 1196632 KiB
Current children cumulated memory: 961444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/255 23076
/proc/meminfo: memFree=126308736/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1193240 memory=959140 CPUtime=3272.42 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 153878 0 0 0 323726 3516 0 0 20 0 1 0 33712333 1221877760 239785 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 298310 239785 2304 1147 0 285737 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 1197432 KiB
Current children cumulated memory: 962212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/255 23078
/proc/meminfo: memFree=126309056/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1193240 memory=959140 CPUtime=3332.23 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 153878 0 0 0 329641 3582 0 0 20 0 1 0 33712333 1221877760 239785 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 298310 239785 2304 1147 0 285737 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 1197432 KiB
Current children cumulated memory: 962212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/255 23084
/proc/meminfo: memFree=126309104/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1193240 memory=959140 CPUtime=3392.05 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 153884 0 0 0 335581 3624 0 0 20 0 1 0 33712333 1221877760 239785 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 298310 239785 2304 1147 0 285737 0
Current children cumulated CPU time: 3392.05 s
Current children cumulated vsize: 1197432 KiB
Current children cumulated memory: 962212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/255 23086
/proc/meminfo: memFree=126310588/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1194304 memory=960164 CPUtime=3451.87 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 154132 0 0 0 341528 3659 0 0 20 0 1 0 33712333 1222967296 240041 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 298576 240041 2304 1147 0 286003 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 1198496 KiB
Current children cumulated memory: 963236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/254 23088
/proc/meminfo: memFree=126266324/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1209896 memory=976932 CPUtime=3511.68 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 157938 0 0 0 347474 3694 0 0 20 0 1 0 33712333 1238933504 244233 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 302474 244233 2304 1147 0 289901 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 1214088 KiB
Current children cumulated memory: 980004 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/254 23090
/proc/meminfo: memFree=126257060/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1212944 memory=990628 CPUtime=3571.5 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 158671 0 0 0 353393 3757 0 0 20 0 1 0 33712333 1242054656 247657 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 303236 247657 2304 1147 0 290663 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 1217136 KiB
Current children cumulated memory: 993700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.11 4.11 4.05 5/249 23100
/proc/meminfo: memFree=127476952/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1212944 memory=995620 CPUtime=3600.01 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 158684 0 0 0 356200 3801 0 0 20 0 1 0 33712333 1242054656 248905 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 303236 248905 2304 1147 0 290663 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1217136 KiB
Current children cumulated memory: 998692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 22895 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001118 s, system=0.004569 s
[startup+3610.91 s]
# the end of solver process 22901 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3562.01 s, system=38.0269 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.11 4.11 4.05 5/249 23100
/proc/meminfo: memFree=127476952/131382116 swapFree=33010684/33010684
[pid=22895] ppid=22889 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22895/stat : 22895 (run-dec.sh) S 22889 22895 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 768 18446744073709551615 93914737025024 93914737919557 140726775341776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93914738158608 93914738206352 93914752499712 140726775347565 140726775347688 140726775347688 140726775353290 0
/proc/22895/statm: 1048 768 704 219 0 110 0
[pid=22901] ppid=22895 vsize=1212944 memory=995620 CPUtime=3600.01 cores=4,6
/proc/22901/stat : 22901 (roundingsat) R 22895 22895 22838 0 -1 4194304 158684 0 0 0 356200 3801 0 0 20 0 1 0 33712333 1242054656 248905 18446744073709551615 4227072 8923433 140724381939392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27410432 140724381944247 140724381944360 140724381944360 140724381949930 0
/proc/22901/statm: 303236 248905 2304 1147 0 290663 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1217136 KiB
Current children cumulated memory: 998692 KiB
Child status: 2
Real time (s): 3610.91
CPU time (s): 3600.04
CPU user time (s): 3562.01
CPU system time (s): 38.0269
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 1217136
Max. memory (cumulated for all children) (KiB): 998692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.01
system time used= 38.0269
maximum resident set size= 996004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 405
involuntary context switches= 2945
# summary of solver processes directly reported to runsolver:
# pid: 22895,22901
# total CPU time (s): 3600.04
# total CPU user time (s): 3562.01
# total CPU system time (s): 38.0269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1873 second user time and 37.5591 second system time
The end
Begin job on nodeC011 at 2025-06-29 08:58:46
IDJOB=4506832
IDBENCH=158284
IDSOLVER=3349
FILE ID=nodeC011/4506832-1751180326
RUNJOBID= nodeC011-1751180326-22849
SLURM_JOB_ID= 9587547
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506832-1751180326/watcher-4506832-1751180326 -o /tmp/evaluation-result-4506832-1751180326/solver-4506832-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22849 --watchdog 3760 run-dec.sh HOME/instance-4506832-1751180326.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=1304843974
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.229
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.285
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.290
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.283
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.567
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.293
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130276348 kB
MemAvailable: 129939516 kB
Buffers: 3280 kB
Cached: 474520 kB
SwapCached: 0 kB
Active: 318628 kB
Inactive: 226692 kB
Active(anon): 85516 kB
Inactive(anon): 0 kB
Active(file): 233112 kB
Inactive(file): 226692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34840 kB
Writeback: 0 kB
AnonPages: 70628 kB
Mapped: 102036 kB
Shmem: 17960 kB
KReclaimable: 85596 kB
Slab: 164772 kB
SReclaimable: 85596 kB
SUnreclaim: 79176 kB
KernelStack: 3872 kB
PageTables: 2848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 332464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC011 at 2025-06-29 09:58:57