0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.40/0.44 c #variables 22372 #constraints 22750
113.36/113.84 c #Conflicts: 1000 | #Constraints: 23749
113.36/113.84 c #Conflicts: 2000 | #Constraints: 24749
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 3000 | #Constraints: 24102
113.36/113.84 c #Conflicts: 4000 | #Constraints: 25102
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 5000 | #Constraints: 24622
113.36/113.84 c #Conflicts: 6000 | #Constraints: 25622
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 7000 | #Constraints: 24715
113.36/113.84 c #Conflicts: 8000 | #Constraints: 25715
113.36/113.84 c #Conflicts: 9000 | #Constraints: 26715
113.36/113.84 c #Conflicts: 10000 | #Constraints: 27715
113.36/113.84 c #Conflicts: 11000 | #Constraints: 28715
113.36/113.84 c #Conflicts: 12000 | #Constraints: 29715
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 13000 | #Constraints: 26750
113.36/113.84 c #Conflicts: 14000 | #Constraints: 27750
113.36/113.84 c #Conflicts: 15000 | #Constraints: 28750
113.36/113.84 c #Conflicts: 16000 | #Constraints: 29750
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 17000 | #Constraints: 27095
113.36/113.84 c #Conflicts: 18000 | #Constraints: 28095
113.36/113.84 c #Conflicts: 19000 | #Constraints: 29095
113.36/113.84 c #Conflicts: 20000 | #Constraints: 30095
113.36/113.84 c #Conflicts: 21000 | #Constraints: 31095
113.36/113.84 c #Conflicts: 22000 | #Constraints: 32095
113.36/113.84 c #Conflicts: 23000 | #Constraints: 33095
113.36/113.84 c #Conflicts: 24000 | #Constraints: 34095
113.36/113.84 c #Conflicts: 25000 | #Constraints: 35095
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 26000 | #Constraints: 29618
113.36/113.84 c #Conflicts: 27000 | #Constraints: 30618
113.36/113.84 c #Conflicts: 28000 | #Constraints: 31618
113.36/113.84 c #Conflicts: 29000 | #Constraints: 32618
113.36/113.84 c #Conflicts: 30000 | #Constraints: 33618
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 31000 | #Constraints: 29703
113.36/113.84 c #Conflicts: 32000 | #Constraints: 30703
113.36/113.84 c #Conflicts: 33000 | #Constraints: 31703
113.36/113.84 c #Conflicts: 34000 | #Constraints: 32703
113.36/113.84 c #Conflicts: 35000 | #Constraints: 33703
113.36/113.84 c #Conflicts: 36000 | #Constraints: 34703
113.36/113.84 c #Conflicts: 37000 | #Constraints: 35703
113.36/113.84 c #Conflicts: 38000 | #Constraints: 36703
113.36/113.84 c #Conflicts: 39000 | #Constraints: 37703
113.36/113.84 c #Conflicts: 40000 | #Constraints: 38703
113.36/113.84 c #Conflicts: 41000 | #Constraints: 39703
113.36/113.84 c #Conflicts: 42000 | #Constraints: 40703
113.36/113.84 c #Conflicts: 43000 | #Constraints: 41703
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 44000 | #Constraints: 33324
113.36/113.84 c #Conflicts: 45000 | #Constraints: 34324
113.36/113.84 c #Conflicts: 46000 | #Constraints: 35324
113.36/113.84 c #Conflicts: 47000 | #Constraints: 36324
113.36/113.84 c #Conflicts: 48000 | #Constraints: 37324
113.36/113.84 c #Conflicts: 49000 | #Constraints: 38324
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 50000 | #Constraints: 32819
113.36/113.84 c #Conflicts: 51000 | #Constraints: 33819
113.36/113.84 c #Conflicts: 52000 | #Constraints: 34819
113.36/113.84 c #Conflicts: 53000 | #Constraints: 35819
113.36/113.84 c #Conflicts: 54000 | #Constraints: 36819
113.36/113.84 c #Conflicts: 55000 | #Constraints: 37819
113.36/113.84 c #Conflicts: 56000 | #Constraints: 38819
113.36/113.84 c #Conflicts: 57000 | #Constraints: 39819
113.36/113.84 c #Conflicts: 58000 | #Constraints: 40819
113.36/113.84 c #Conflicts: 59000 | #Constraints: 41819
113.36/113.84 c #Conflicts: 60000 | #Constraints: 42819
113.36/113.84 c #Conflicts: 61000 | #Constraints: 43819
113.36/113.84 c #Conflicts: 62000 | #Constraints: 44819
113.36/113.84 c #Conflicts: 63000 | #Constraints: 45819
113.36/113.84 c #Conflicts: 64000 | #Constraints: 46819
113.36/113.84 c #Conflicts: 65000 | #Constraints: 47819
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
113.36/113.84 c #Conflicts: 66000 | #Constraints: 36669
113.36/113.84 c #Conflicts: 67000 | #Constraints: 37669
113.36/113.84 c #Conflicts: 68000 | #Constraints: 38669
113.36/113.84 c #Conflicts: 69000 | #Constraints: 39669
113.36/113.84 c #Conflicts: 70000 | #Constraints: 40669
113.36/113.84 c #Conflicts: 71000 | #Constraints: 41669
113.36/113.84 c #Conflicts: 72000 | #Constraints: 42669
113.36/113.84 c INPROCESSING
113.36/113.84 c GARBAGE COLLECT
240.00/240.90 c #Conflicts: 73000 | #Constraints: 35973
240.00/240.90 c #Conflicts: 74000 | #Constraints: 36973
240.00/240.90 c #Conflicts: 75000 | #Constraints: 37973
240.00/240.90 c #Conflicts: 76000 | #Constraints: 38973
240.00/240.90 c #Conflicts: 77000 | #Constraints: 39973
240.00/240.90 c #Conflicts: 78000 | #Constraints: 40973
240.00/240.90 c #Conflicts: 79000 | #Constraints: 41973
240.00/240.90 c #Conflicts: 80000 | #Constraints: 42973
240.00/240.90 c #Conflicts: 81000 | #Constraints: 43973
240.00/240.90 c #Conflicts: 82000 | #Constraints: 44973
240.00/240.90 c #Conflicts: 83000 | #Constraints: 45973
240.00/240.90 c #Conflicts: 84000 | #Constraints: 46973
240.00/240.90 c #Conflicts: 85000 | #Constraints: 47973
240.00/240.90 c #Conflicts: 86000 | #Constraints: 48973
240.00/240.90 c #Conflicts: 87000 | #Constraints: 49973
240.00/240.90 c #Conflicts: 88000 | #Constraints: 50973
240.00/240.90 c #Conflicts: 89000 | #Constraints: 51973
240.00/240.90 c #Conflicts: 90000 | #Constraints: 52973
240.00/240.90 c #Conflicts: 91000 | #Constraints: 53973
240.00/240.90 c INPROCESSING
240.00/240.90 c GARBAGE COLLECT
240.00/240.90 c #Conflicts: 92000 | #Constraints: 39815
240.00/240.90 c #Conflicts: 93000 | #Constraints: 40815
240.00/240.90 c #Conflicts: 94000 | #Constraints: 41815
240.00/240.90 c #Conflicts: 95000 | #Constraints: 42815
240.00/240.90 c #Conflicts: 96000 | #Constraints: 43815
240.00/240.90 c #Conflicts: 97000 | #Constraints: 44815
240.00/240.90 c #Conflicts: 98000 | #Constraints: 45815
240.00/240.90 c #Conflicts: 99000 | #Constraints: 46815
240.00/240.90 c #Conflicts: 100000 | #Constraints: 47815
240.00/240.90 c INPROCESSING
240.00/240.90 c GARBAGE COLLECT
240.00/240.90 c #Conflicts: 101000 | #Constraints: 39005
240.00/240.90 c #Conflicts: 102000 | #Constraints: 40005
240.00/240.90 c #Conflicts: 103000 | #Constraints: 41005
240.00/240.90 c #Conflicts: 104000 | #Constraints: 42005
240.00/240.90 c #Conflicts: 105000 | #Constraints: 43005
240.00/240.90 c #Conflicts: 106000 | #Constraints: 44005
240.00/240.90 c #Conflicts: 107000 | #Constraints: 45005
240.00/240.90 c #Conflicts: 108000 | #Constraints: 46005
240.00/240.90 c #Conflicts: 109000 | #Constraints: 47005
240.00/240.90 c #Conflicts: 110000 | #Constraints: 48005
240.00/240.90 c #Conflicts: 111000 | #Constraints: 49005
240.00/240.90 c #Conflicts: 112000 | #Constraints: 50005
240.00/240.90 c #Conflicts: 113000 | #Constraints: 51005
240.00/240.90 c #Conflicts: 114000 | #Constraints: 52005
240.00/240.90 c #Conflicts: 115000 | #Constraints: 53005
240.00/240.90 c #Conflicts: 116000 | #Constraints: 54005
240.00/240.90 c #Conflicts: 117000 | #Constraints: 55005
240.00/240.90 c #Conflicts: 118000 | #Constraints: 56005
240.00/240.90 c #Conflicts: 119000 | #Constraints: 57005
240.00/240.90 c #Conflicts: 120000 | #Constraints: 58005
240.00/240.90 c #Conflicts: 121000 | #Constraints: 59005
240.00/240.90 c INPROCESSING
240.00/240.90 c GARBAGE COLLECT
240.00/240.90 c #Conflicts: 122000 | #Constraints: 42094
240.00/240.90 c #Conflicts: 123000 | #Constraints: 43094
240.00/240.90 c #Conflicts: 124000 | #Constraints: 44094
240.00/240.90 c #Conflicts: 125000 | #Constraints: 45094
240.00/240.90 c #Conflicts: 126000 | #Constraints: 46094
240.00/240.90 c #Conflicts: 127000 | #Constraints: 47094
240.00/240.90 c #Conflicts: 128000 | #Constraints: 48094
240.00/240.90 c #Conflicts: 129000 | #Constraints: 49094
240.00/240.90 c #Conflicts: 130000 | #Constraints: 50094
240.00/240.90 c #Conflicts: 131000 | #Constraints: 51094
240.00/240.90 c #Conflicts: 132000 | #Constraints: 52094
240.00/240.90 c INPROCESSING
240.00/240.90 c GARBAGE COLLECT
240.00/240.90 c #Conflicts: 133000 | #Constraints: 42614
240.00/240.90 c #Conflicts: 134000 | #Constraints: 43614
240.00/240.90 c #Conflicts: 135000 | #Constraints: 44614
240.00/240.90 c #Conflicts: 136000 | #Constraints: 45614
240.00/240.90 c #Conflicts: 137000 | #Constraints: 46614
240.00/240.90 c #Conflicts: 138000 | #Constraints: 47614
240.00/240.90 c #Conflicts: 139000 | #Constraints: 48614
240.00/240.90 c #Conflicts: 140000 | #Constraints: 49614
240.00/240.90 c #Conflicts: 141000 | #Constraints: 50614
240.00/240.90 c #Conflicts: 142000 | #Constraints: 51614
240.00/240.90 c #Conflicts: 143000 | #Constraints: 52614
240.00/240.90 c #Conflicts: 144000 | #Constraints: 53614
240.00/240.90 c #Conflicts: 145000 | #Constraints: 54614
240.00/240.90 c #Conflicts: 146000 | #Constraints: 55614
240.00/240.90 c #Conflicts: 147000 | #Constraints: 56614
240.00/240.90 c #Conflicts: 148000 | #Constraints: 57614
240.00/240.90 c #Conflicts: 149000 | #Constraints: 58614
352.43/353.72 c #Conflicts: 150000 | #Constraints: 59614
352.43/353.72 c #Conflicts: 151000 | #Constraints: 60614
352.43/353.72 c #Conflicts: 152000 | #Constraints: 61614
352.43/353.72 c #Conflicts: 153000 | #Constraints: 62614
352.43/353.72 c #Conflicts: 154000 | #Constraints: 63614
352.43/353.72 c #Conflicts: 155000 | #Constraints: 64614
352.43/353.72 c #Conflicts: 156000 | #Constraints: 65614
352.43/353.72 c INPROCESSING
352.43/353.72 c GARBAGE COLLECT
352.43/353.72 c #Conflicts: 157000 | #Constraints: 45472
352.43/353.72 c #Conflicts: 158000 | #Constraints: 46472
352.43/353.72 c #Conflicts: 159000 | #Constraints: 47472
352.43/353.72 c #Conflicts: 160000 | #Constraints: 48472
352.43/353.72 c #Conflicts: 161000 | #Constraints: 49472
352.43/353.72 c #Conflicts: 162000 | #Constraints: 50472
352.43/353.72 c #Conflicts: 163000 | #Constraints: 51472
352.43/353.72 c #Conflicts: 164000 | #Constraints: 52472
352.43/353.72 c #Conflicts: 165000 | #Constraints: 53472
352.43/353.72 c #Conflicts: 166000 | #Constraints: 54472
352.43/353.72 c #Conflicts: 167000 | #Constraints: 55472
352.43/353.72 c #Conflicts: 168000 | #Constraints: 56472
352.43/353.72 c INPROCESSING
352.43/353.72 c GARBAGE COLLECT
352.43/353.72 c #Conflicts: 169000 | #Constraints: 45591
352.43/353.72 c #Conflicts: 170000 | #Constraints: 46591
352.43/353.72 c #Conflicts: 171000 | #Constraints: 47591
352.43/353.72 c #Conflicts: 172000 | #Constraints: 48591
352.43/353.72 c #Conflicts: 173000 | #Constraints: 49591
352.43/353.72 c #Conflicts: 174000 | #Constraints: 50591
352.43/353.72 c #Conflicts: 175000 | #Constraints: 51591
352.43/353.72 c #Conflicts: 176000 | #Constraints: 52591
352.43/353.72 c #Conflicts: 177000 | #Constraints: 53591
352.43/353.72 c #Conflicts: 178000 | #Constraints: 54591
352.43/353.72 c #Conflicts: 179000 | #Constraints: 55591
352.43/353.72 c #Conflicts: 180000 | #Constraints: 56591
352.43/353.72 c #Conflicts: 181000 | #Constraints: 57591
352.43/353.72 c #Conflicts: 182000 | #Constraints: 58591
352.43/353.72 c #Conflicts: 183000 | #Constraints: 59591
352.43/353.72 c #Conflicts: 184000 | #Constraints: 60591
352.43/353.72 c #Conflicts: 185000 | #Constraints: 61591
352.43/353.72 c #Conflicts: 186000 | #Constraints: 62591
352.43/353.72 c #Conflicts: 187000 | #Constraints: 63591
352.43/353.72 c #Conflicts: 188000 | #Constraints: 64591
352.43/353.72 c #Conflicts: 189000 | #Constraints: 65591
352.43/353.72 c #Conflicts: 190000 | #Constraints: 66591
352.43/353.72 c #Conflicts: 191000 | #Constraints: 67591
352.43/353.72 c #Conflicts: 192000 | #Constraints: 68591
352.43/353.72 c #Conflicts: 193000 | #Constraints: 69591
352.43/353.72 c #Conflicts: 194000 | #Constraints: 70591
352.43/353.72 c #Conflicts: 195000 | #Constraints: 71591
352.43/353.72 c #Conflicts: 196000 | #Constraints: 72591
352.43/353.72 c INPROCESSING
352.43/353.72 c GARBAGE COLLECT
352.43/353.72 c #Conflicts: 197000 | #Constraints: 49031
352.43/353.72 c #Conflicts: 198000 | #Constraints: 50031
352.43/353.72 c #Conflicts: 199000 | #Constraints: 51031
352.43/353.72 c #Conflicts: 200000 | #Constraints: 52031
352.43/353.72 c #Conflicts: 201000 | #Constraints: 53031
352.43/353.72 c #Conflicts: 202000 | #Constraints: 54031
352.43/353.72 c #Conflicts: 203000 | #Constraints: 55031
352.43/353.72 c #Conflicts: 204000 | #Constraints: 56031
352.43/353.72 c #Conflicts: 205000 | #Constraints: 57031
352.43/353.72 c #Conflicts: 206000 | #Constraints: 58031
352.43/353.72 c #Conflicts: 207000 | #Constraints: 59031
352.43/353.72 c #Conflicts: 208000 | #Constraints: 60031
352.43/353.72 c #Conflicts: 209000 | #Constraints: 61031
352.43/353.72 c INPROCESSING
352.43/353.72 c GARBAGE COLLECT
352.43/353.72 c #Conflicts: 210000 | #Constraints: 48437
352.43/353.72 c #Conflicts: 211000 | #Constraints: 49437
352.43/353.72 c #Conflicts: 212000 | #Constraints: 50437
352.43/353.72 c #Conflicts: 213000 | #Constraints: 51437
352.43/353.72 c #Conflicts: 214000 | #Constraints: 52437
352.43/353.72 c #Conflicts: 215000 | #Constraints: 53437
352.43/353.72 c #Conflicts: 216000 | #Constraints: 54437
352.43/353.72 c #Conflicts: 217000 | #Constraints: 55437
352.43/353.72 c #Conflicts: 218000 | #Constraints: 56437
352.43/353.72 c #Conflicts: 219000 | #Constraints: 57437
352.43/353.72 c #Conflicts: 220000 | #Constraints: 58437
352.43/353.72 c #Conflicts: 221000 | #Constraints: 59437
352.43/353.72 c #Conflicts: 222000 | #Constraints: 60437
352.43/353.72 c #Conflicts: 223000 | #Constraints: 61437
352.43/353.72 c #Conflicts: 224000 | #Constraints: 62437
352.43/353.72 c #Conflicts: 225000 | #Constraints: 63437
403.29/404.78 c #Conflicts: 226000 | #Constraints: 64437
403.29/404.78 c #Conflicts: 227000 | #Constraints: 65437
403.29/404.78 c #Conflicts: 228000 | #Constraints: 66437
403.29/404.78 c #Conflicts: 229000 | #Constraints: 67437
403.29/404.78 c #Conflicts: 230000 | #Constraints: 68437
403.29/404.78 c #Conflicts: 231000 | #Constraints: 69437
403.29/404.78 c #Conflicts: 232000 | #Constraints: 70438
403.29/404.78 c #Conflicts: 233000 | #Constraints: 71438
403.29/404.78 c #Conflicts: 234000 | #Constraints: 72438
403.29/404.78 c #Conflicts: 235000 | #Constraints: 73438
403.29/404.78 c #Conflicts: 236000 | #Constraints: 74438
403.29/404.78 c #Conflicts: 237000 | #Constraints: 75438
403.29/404.78 c #Conflicts: 238000 | #Constraints: 76438
403.29/404.78 c #Conflicts: 239000 | #Constraints: 77438
403.29/404.78 c #Conflicts: 240000 | #Constraints: 78438
403.29/404.78 c INPROCESSING
403.29/404.78 c GARBAGE COLLECT
403.29/404.78 c rational objective 188
446.96/448.51 c #Conflicts: 241000 | #Constraints: 52335
446.96/448.51 c #Conflicts: 242000 | #Constraints: 53335
446.96/448.51 c #Conflicts: 243000 | #Constraints: 54335
446.96/448.51 c #Conflicts: 244000 | #Constraints: 55335
446.96/448.51 c #Conflicts: 245000 | #Constraints: 56335
446.96/448.51 c #Conflicts: 246000 | #Constraints: 57335
446.96/448.51 c #Conflicts: 247000 | #Constraints: 58335
446.96/448.51 c #Conflicts: 248000 | #Constraints: 59335
446.96/448.51 c #Conflicts: 249000 | #Constraints: 60335
446.96/448.51 c #Conflicts: 250000 | #Constraints: 61335
446.96/448.51 c #Conflicts: 251000 | #Constraints: 62335
446.96/448.51 c #Conflicts: 252000 | #Constraints: 63335
446.96/448.51 c #Conflicts: 253000 | #Constraints: 64335
446.96/448.51 c #Conflicts: 254000 | #Constraints: 65335
446.96/448.51 c INPROCESSING
446.96/448.51 c GARBAGE COLLECT
446.96/448.51 c rational objective 188
589.64/591.65 c #Conflicts: 255000 | #Constraints: 51537
589.64/591.65 c #Conflicts: 256000 | #Constraints: 52537
589.64/591.65 c #Conflicts: 257000 | #Constraints: 53537
589.64/591.65 c #Conflicts: 258000 | #Constraints: 54537
589.64/591.65 c #Conflicts: 259000 | #Constraints: 55537
589.64/591.65 c #Conflicts: 260000 | #Constraints: 56537
589.64/591.65 c #Conflicts: 261000 | #Constraints: 57537
589.64/591.65 c #Conflicts: 262000 | #Constraints: 58537
589.64/591.65 c #Conflicts: 263000 | #Constraints: 59537
589.64/591.65 c #Conflicts: 264000 | #Constraints: 60537
589.64/591.65 c #Conflicts: 265000 | #Constraints: 61537
589.64/591.65 c #Conflicts: 266000 | #Constraints: 62537
589.64/591.65 c #Conflicts: 267000 | #Constraints: 63537
589.64/591.65 c #Conflicts: 268000 | #Constraints: 64537
589.64/591.65 c #Conflicts: 269000 | #Constraints: 65537
589.64/591.65 c #Conflicts: 270000 | #Constraints: 66537
589.64/591.65 c #Conflicts: 271000 | #Constraints: 67537
589.64/591.65 c #Conflicts: 272000 | #Constraints: 68537
589.64/591.65 c #Conflicts: 273000 | #Constraints: 69537
589.64/591.65 c #Conflicts: 274000 | #Constraints: 70537
589.64/591.65 c #Conflicts: 275000 | #Constraints: 71537
589.64/591.65 c #Conflicts: 276000 | #Constraints: 72537
589.64/591.65 c #Conflicts: 277000 | #Constraints: 73537
589.64/591.65 c #Conflicts: 278000 | #Constraints: 74537
589.64/591.65 c #Conflicts: 279000 | #Constraints: 75537
589.64/591.65 c #Conflicts: 280000 | #Constraints: 76537
589.64/591.65 c #Conflicts: 281000 | #Constraints: 77537
589.64/591.65 c #Conflicts: 282000 | #Constraints: 78537
589.64/591.65 c #Conflicts: 283000 | #Constraints: 79537
589.64/591.65 c #Conflicts: 284000 | #Constraints: 80537
589.64/591.65 c #Conflicts: 285000 | #Constraints: 81537
589.64/591.65 c #Conflicts: 286000 | #Constraints: 82537
589.64/591.65 c #Conflicts: 287000 | #Constraints: 83537
589.64/591.65 c #Conflicts: 288000 | #Constraints: 84537
589.64/591.65 c INPROCESSING
589.64/591.65 c GARBAGE COLLECT
589.64/591.65 c #Conflicts: 289000 | #Constraints: 55424
589.64/591.65 c #Conflicts: 290000 | #Constraints: 56424
589.64/591.65 c #Conflicts: 291000 | #Constraints: 57424
589.64/591.65 c #Conflicts: 292000 | #Constraints: 58424
589.64/591.65 c #Conflicts: 293000 | #Constraints: 59424
589.64/591.65 c #Conflicts: 294000 | #Constraints: 60424
589.64/591.65 c #Conflicts: 295000 | #Constraints: 61424
589.64/591.65 c #Conflicts: 296000 | #Constraints: 62424
589.64/591.65 c #Conflicts: 297000 | #Constraints: 63424
589.64/591.65 c #Conflicts: 298000 | #Constraints: 64424
589.64/591.65 c #Conflicts: 299000 | #Constraints: 65424
589.64/591.65 c #Conflicts: 300000 | #Constraints: 66424
589.64/591.65 c #Conflicts: 301000 | #Constraints: 67424
589.64/591.65 c #Conflicts: 302000 | #Constraints: 68424
589.64/591.65 c #Conflicts: 303000 | #Constraints: 69424
589.64/591.65 c INPROCESSING
589.64/591.65 c GARBAGE COLLECT
589.64/591.65 c #Conflicts: 304000 | #Constraints: 54581
589.64/591.65 c #Conflicts: 305000 | #Constraints: 55581
589.64/591.65 c #Conflicts: 306000 | #Constraints: 56581
589.64/591.65 c #Conflicts: 307000 | #Constraints: 57581
589.64/591.65 c #Conflicts: 308000 | #Constraints: 58581
589.64/591.65 c #Conflicts: 309000 | #Constraints: 59581
589.64/591.65 c #Conflicts: 310000 | #Constraints: 60581
589.64/591.65 c #Conflicts: 311000 | #Constraints: 61581
589.64/591.65 c #Conflicts: 312000 | #Constraints: 62581
589.64/591.65 c #Conflicts: 313000 | #Constraints: 63581
589.64/591.65 c #Conflicts: 314000 | #Constraints: 64581
589.64/591.65 c #Conflicts: 315000 | #Constraints: 65581
589.64/591.65 c #Conflicts: 316000 | #Constraints: 66581
589.64/591.65 c #Conflicts: 317000 | #Constraints: 67581
589.64/591.65 c #Conflicts: 318000 | #Constraints: 68581
589.64/591.65 c #Conflicts: 319000 | #Constraints: 69581
589.64/591.65 c #Conflicts: 320000 | #Constraints: 70581
589.64/591.65 c #Conflicts: 321000 | #Constraints: 71581
589.64/591.65 c #Conflicts: 322000 | #Constraints: 72581
589.64/591.65 c #Conflicts: 323000 | #Constraints: 73581
589.64/591.65 c #Conflicts: 324000 | #Constraints: 74581
589.64/591.65 c #Conflicts: 325000 | #Constraints: 75581
589.64/591.65 c #Conflicts: 326000 | #Constraints: 76581
589.64/591.65 c #Conflicts: 327000 | #Constraints: 77581
589.64/591.65 c #Conflicts: 328000 | #Constraints: 78581
589.64/591.65 c #Conflicts: 329000 | #Constraints: 79581
589.64/591.65 c #Conflicts: 330000 | #Constraints: 80581
589.64/591.65 c #Conflicts: 331000 | #Constraints: 81581
589.64/591.65 c #Conflicts: 332000 | #Constraints: 82581
819.96/822.68 c #Conflicts: 333000 | #Constraints: 83581
819.96/822.68 c #Conflicts: 334000 | #Constraints: 84581
819.96/822.68 c #Conflicts: 335000 | #Constraints: 85581
819.96/822.68 c #Conflicts: 336000 | #Constraints: 86581
819.96/822.68 c #Conflicts: 337000 | #Constraints: 87581
819.96/822.68 c #Conflicts: 338000 | #Constraints: 88581
819.96/822.68 c #Conflicts: 339000 | #Constraints: 89581
819.96/822.68 c #Conflicts: 340000 | #Constraints: 90581
819.96/822.68 c INPROCESSING
819.96/822.68 c GARBAGE COLLECT
819.96/822.68 c #Conflicts: 341000 | #Constraints: 58104
819.96/822.68 c #Conflicts: 342000 | #Constraints: 59104
819.96/822.68 c #Conflicts: 343000 | #Constraints: 60104
819.96/822.68 c #Conflicts: 344000 | #Constraints: 61104
819.96/822.68 c #Conflicts: 345000 | #Constraints: 62104
819.96/822.68 c #Conflicts: 346000 | #Constraints: 63104
819.96/822.68 c #Conflicts: 347000 | #Constraints: 64104
819.96/822.68 c #Conflicts: 348000 | #Constraints: 65104
819.96/822.68 c #Conflicts: 349000 | #Constraints: 66104
819.96/822.68 c #Conflicts: 350000 | #Constraints: 67104
819.96/822.68 c #Conflicts: 351000 | #Constraints: 68104
820.06/822.71 c #Conflicts: 352000 | #Constraints: 69104
820.06/822.71 c #Conflicts: 353000 | #Constraints: 70104
820.06/822.71 c #Conflicts: 354000 | #Constraints: 71104
820.06/822.71 c #Conflicts: 355000 | #Constraints: 72104
820.06/822.71 c #Conflicts: 356000 | #Constraints: 73104
820.06/822.71 c #Conflicts: 357000 | #Constraints: 74104
820.06/822.71 c INPROCESSING
820.06/822.71 c GARBAGE COLLECT
820.06/822.71 c #Conflicts: 358000 | #Constraints: 57874
820.06/822.71 c #Conflicts: 359000 | #Constraints: 58874
820.06/822.71 c #Conflicts: 360000 | #Constraints: 59874
820.06/822.71 c #Conflicts: 361000 | #Constraints: 60874
820.06/822.71 c #Conflicts: 362000 | #Constraints: 61874
820.06/822.71 c #Conflicts: 363000 | #Constraints: 62874
820.06/822.71 c #Conflicts: 364000 | #Constraints: 63874
820.06/822.71 c #Conflicts: 365000 | #Constraints: 64874
820.06/822.71 c #Conflicts: 366000 | #Constraints: 65874
820.06/822.71 c #Conflicts: 367000 | #Constraints: 66874
820.06/822.71 c #Conflicts: 368000 | #Constraints: 67874
820.06/822.71 c #Conflicts: 369000 | #Constraints: 68874
820.06/822.71 c #Conflicts: 370000 | #Constraints: 69874
820.06/822.71 c #Conflicts: 371000 | #Constraints: 70874
820.06/822.71 c #Conflicts: 372000 | #Constraints: 71874
820.06/822.71 c #Conflicts: 373000 | #Constraints: 72874
820.06/822.71 c #Conflicts: 374000 | #Constraints: 73874
820.06/822.71 c #Conflicts: 375000 | #Constraints: 74875
820.06/822.71 c #Conflicts: 376000 | #Constraints: 75875
820.06/822.71 c #Conflicts: 377000 | #Constraints: 76875
820.06/822.71 c #Conflicts: 378000 | #Constraints: 77875
820.06/822.71 c #Conflicts: 379000 | #Constraints: 78875
820.06/822.71 c #Conflicts: 380000 | #Constraints: 79875
820.06/822.71 c #Conflicts: 381000 | #Constraints: 80875
820.06/822.71 c #Conflicts: 382000 | #Constraints: 81875
820.06/822.71 c #Conflicts: 383000 | #Constraints: 82875
820.06/822.71 c #Conflicts: 384000 | #Constraints: 83875
820.06/822.71 c #Conflicts: 385000 | #Constraints: 84875
820.06/822.71 c #Conflicts: 386000 | #Constraints: 85875
820.06/822.71 c #Conflicts: 387000 | #Constraints: 86875
820.06/822.71 c #Conflicts: 388000 | #Constraints: 87875
820.06/822.71 c #Conflicts: 389000 | #Constraints: 88875
820.06/822.71 c #Conflicts: 390000 | #Constraints: 89875
820.06/822.71 c #Conflicts: 391000 | #Constraints: 90875
820.06/822.71 c #Conflicts: 392000 | #Constraints: 91875
820.06/822.71 c #Conflicts: 393000 | #Constraints: 92875
820.06/822.71 c #Conflicts: 394000 | #Constraints: 93875
820.06/822.71 c #Conflicts: 395000 | #Constraints: 94875
820.06/822.71 c #Conflicts: 396000 | #Constraints: 95875
820.06/822.71 c #Conflicts: 397000 | #Constraints: 96875
820.06/822.71 c INPROCESSING
820.06/822.71 c GARBAGE COLLECT
820.06/822.71 c #Conflicts: 398000 | #Constraints: 61364
820.06/822.71 c #Conflicts: 399000 | #Constraints: 62364
820.06/822.71 c #Conflicts: 400000 | #Constraints: 63364
820.06/822.71 c #Conflicts: 401000 | #Constraints: 64364
820.06/822.71 c #Conflicts: 402000 | #Constraints: 65364
820.06/822.71 c #Conflicts: 403000 | #Constraints: 66364
820.06/822.71 c #Conflicts: 404000 | #Constraints: 67364
820.06/822.71 c #Conflicts: 405000 | #Constraints: 68364
820.06/822.71 c #Conflicts: 406000 | #Constraints: 69364
820.06/822.71 c #Conflicts: 407000 | #Constraints: 70364
820.06/822.71 c #Conflicts: 408000 | #Constraints: 71364
820.06/822.71 c #Conflicts: 409000 | #Constraints: 72364
959.66/962.79 c #Conflicts: 410000 | #Constraints: 73364
959.66/962.79 c #Conflicts: 411000 | #Constraints: 74364
959.66/962.79 c #Conflicts: 412000 | #Constraints: 75364
959.66/962.79 c #Conflicts: 413000 | #Constraints: 76364
959.66/962.79 c #Conflicts: 414000 | #Constraints: 77364
959.66/962.79 c #Conflicts: 415000 | #Constraints: 78364
959.66/962.79 c INPROCESSING
959.66/962.79 c GARBAGE COLLECT
959.66/962.79 c #Conflicts: 416000 | #Constraints: 60809
959.66/962.79 c #Conflicts: 417000 | #Constraints: 61809
959.66/962.79 c #Conflicts: 418000 | #Constraints: 62809
959.66/962.79 c #Conflicts: 419000 | #Constraints: 63809
959.66/962.79 c #Conflicts: 420000 | #Constraints: 64809
959.66/962.79 c #Conflicts: 421000 | #Constraints: 65809
959.66/962.79 c #Conflicts: 422000 | #Constraints: 66809
959.66/962.79 c #Conflicts: 423000 | #Constraints: 67809
959.66/962.79 c #Conflicts: 424000 | #Constraints: 68809
959.66/962.79 c #Conflicts: 425000 | #Constraints: 69809
959.66/962.79 c #Conflicts: 426000 | #Constraints: 70809
959.66/962.79 c #Conflicts: 427000 | #Constraints: 71809
959.66/962.79 c #Conflicts: 428000 | #Constraints: 72809
959.66/962.79 c #Conflicts: 429000 | #Constraints: 73809
959.66/962.79 c #Conflicts: 430000 | #Constraints: 74809
959.66/962.79 c #Conflicts: 431000 | #Constraints: 75809
959.66/962.79 c #Conflicts: 432000 | #Constraints: 76809
959.66/962.79 c #Conflicts: 433000 | #Constraints: 77809
959.66/962.79 c #Conflicts: 434000 | #Constraints: 78809
959.66/962.79 c #Conflicts: 435000 | #Constraints: 79809
959.66/962.79 c #Conflicts: 436000 | #Constraints: 80809
959.66/962.79 c #Conflicts: 437000 | #Constraints: 81809
959.66/962.79 c #Conflicts: 438000 | #Constraints: 82809
959.66/962.79 c #Conflicts: 439000 | #Constraints: 83809
959.66/962.79 c #Conflicts: 440000 | #Constraints: 84809
959.66/962.79 c #Conflicts: 441000 | #Constraints: 85809
959.66/962.79 c #Conflicts: 442000 | #Constraints: 86809
959.66/962.79 c #Conflicts: 443000 | #Constraints: 87809
959.66/962.79 c #Conflicts: 444000 | #Constraints: 88809
959.66/962.79 c #Conflicts: 445000 | #Constraints: 89809
959.66/962.79 c #Conflicts: 446000 | #Constraints: 90809
959.66/962.79 c #Conflicts: 447000 | #Constraints: 91809
959.66/962.79 c #Conflicts: 448000 | #Constraints: 92809
959.66/962.79 c #Conflicts: 449000 | #Constraints: 93809
959.66/962.79 c #Conflicts: 450000 | #Constraints: 94809
959.66/962.79 c #Conflicts: 451000 | #Constraints: 95809
959.66/962.79 c #Conflicts: 452000 | #Constraints: 96809
959.66/962.79 c #Conflicts: 453000 | #Constraints: 97809
959.66/962.79 c #Conflicts: 454000 | #Constraints: 98809
959.66/962.79 c #Conflicts: 455000 | #Constraints: 99809
959.66/962.79 c #Conflicts: 456000 | #Constraints: 100809
959.66/962.79 c #Conflicts: 457000 | #Constraints: 101809
959.66/962.79 c #Conflicts: 458000 | #Constraints: 102809
959.66/962.79 c #Conflicts: 459000 | #Constraints: 103809
959.66/962.79 c INPROCESSING
959.66/962.79 c GARBAGE COLLECT
959.66/962.79 c #Conflicts: 460000 | #Constraints: 65376
959.66/962.79 c #Conflicts: 461000 | #Constraints: 66376
959.66/962.79 c #Conflicts: 462000 | #Constraints: 67376
959.66/962.79 c #Conflicts: 463000 | #Constraints: 68376
959.66/962.79 c #Conflicts: 464000 | #Constraints: 69376
959.66/962.79 c #Conflicts: 465000 | #Constraints: 70376
959.66/962.79 c #Conflicts: 466000 | #Constraints: 71376
959.66/962.79 c #Conflicts: 467000 | #Constraints: 72376
959.66/962.79 c #Conflicts: 468000 | #Constraints: 73376
959.66/962.79 c #Conflicts: 469000 | #Constraints: 74376
959.66/962.79 c #Conflicts: 470000 | #Constraints: 75376
959.66/962.79 c #Conflicts: 471000 | #Constraints: 76376
959.66/962.79 c #Conflicts: 472000 | #Constraints: 77376
959.66/962.79 c #Conflicts: 473000 | #Constraints: 78376
959.66/962.79 c #Conflicts: 474000 | #Constraints: 79376
959.66/962.79 c #Conflicts: 475000 | #Constraints: 80376
959.66/962.79 c #Conflicts: 476000 | #Constraints: 81376
959.66/962.79 c #Conflicts: 477000 | #Constraints: 82376
959.66/962.79 c #Conflicts: 478000 | #Constraints: 83376
959.66/962.79 c INPROCESSING
959.66/962.79 c GARBAGE COLLECT
959.66/962.79 c #Conflicts: 479000 | #Constraints: 63782
959.66/962.79 c #Conflicts: 480000 | #Constraints: 64782
959.66/962.79 c #Conflicts: 481000 | #Constraints: 65782
959.66/962.79 c #Conflicts: 482000 | #Constraints: 66782
959.66/962.79 c #Conflicts: 483000 | #Constraints: 67782
959.66/962.79 c #Conflicts: 484000 | #Constraints: 68782
959.66/962.79 c #Conflicts: 485000 | #Constraints: 69782
959.66/962.79 c #Conflicts: 486000 | #Constraints: 70782
1189.21/1192.99 c #Conflicts: 487000 | #Constraints: 71782
1189.21/1192.99 c #Conflicts: 488000 | #Constraints: 72782
1189.21/1192.99 c #Conflicts: 489000 | #Constraints: 73782
1189.21/1192.99 c #Conflicts: 490000 | #Constraints: 74782
1189.21/1192.99 c #Conflicts: 491000 | #Constraints: 75782
1189.21/1192.99 c #Conflicts: 492000 | #Constraints: 76782
1189.21/1192.99 c #Conflicts: 493000 | #Constraints: 77782
1189.21/1192.99 c #Conflicts: 494000 | #Constraints: 78782
1189.21/1192.99 c #Conflicts: 495000 | #Constraints: 79782
1189.21/1192.99 c #Conflicts: 496000 | #Constraints: 80782
1189.21/1192.99 c #Conflicts: 497000 | #Constraints: 81782
1189.21/1192.99 c #Conflicts: 498000 | #Constraints: 82782
1189.21/1192.99 c #Conflicts: 499000 | #Constraints: 83782
1189.21/1192.99 c #Conflicts: 500000 | #Constraints: 84782
1189.21/1192.99 c #Conflicts: 501000 | #Constraints: 85782
1189.21/1192.99 c #Conflicts: 502000 | #Constraints: 86782
1189.21/1192.99 c #Conflicts: 503000 | #Constraints: 87782
1189.21/1192.99 c #Conflicts: 504000 | #Constraints: 88782
1189.21/1192.99 c #Conflicts: 505000 | #Constraints: 89782
1189.21/1192.99 c #Conflicts: 506000 | #Constraints: 90782
1189.21/1192.99 c #Conflicts: 507000 | #Constraints: 91782
1189.21/1192.99 c #Conflicts: 508000 | #Constraints: 92782
1189.21/1192.99 c #Conflicts: 509000 | #Constraints: 93782
1189.21/1192.99 c #Conflicts: 510000 | #Constraints: 94782
1189.21/1192.99 c #Conflicts: 511000 | #Constraints: 95782
1189.21/1192.99 c #Conflicts: 512000 | #Constraints: 96782
1189.21/1192.99 c #Conflicts: 513000 | #Constraints: 97782
1189.21/1192.99 c #Conflicts: 514000 | #Constraints: 98782
1189.21/1192.99 c #Conflicts: 515000 | #Constraints: 99782
1189.21/1192.99 c #Conflicts: 516000 | #Constraints: 100782
1189.21/1192.99 c #Conflicts: 517000 | #Constraints: 101782
1189.21/1192.99 c #Conflicts: 518000 | #Constraints: 102782
1189.21/1192.99 c #Conflicts: 519000 | #Constraints: 103782
1189.21/1192.99 c #Conflicts: 520000 | #Constraints: 104782
1189.21/1192.99 c #Conflicts: 521000 | #Constraints: 105782
1189.21/1192.99 c #Conflicts: 522000 | #Constraints: 106782
1189.21/1192.99 c #Conflicts: 523000 | #Constraints: 107782
1189.21/1192.99 c #Conflicts: 524000 | #Constraints: 108782
1189.21/1192.99 c #Conflicts: 525000 | #Constraints: 109782
1189.21/1192.99 c INPROCESSING
1189.21/1192.99 c GARBAGE COLLECT
1189.21/1192.99 c #Conflicts: 526000 | #Constraints: 68343
1189.21/1192.99 c #Conflicts: 527000 | #Constraints: 69343
1189.21/1192.99 c #Conflicts: 528000 | #Constraints: 70343
1189.21/1192.99 c #Conflicts: 529000 | #Constraints: 71343
1189.21/1192.99 c #Conflicts: 530000 | #Constraints: 72343
1189.21/1192.99 c #Conflicts: 531000 | #Constraints: 73343
1189.21/1192.99 c #Conflicts: 532000 | #Constraints: 74343
1189.21/1192.99 c #Conflicts: 533000 | #Constraints: 75343
1189.21/1192.99 c #Conflicts: 534000 | #Constraints: 76343
1189.21/1192.99 c #Conflicts: 535000 | #Constraints: 77343
1189.21/1192.99 c #Conflicts: 536000 | #Constraints: 78343
1189.21/1192.99 c #Conflicts: 537000 | #Constraints: 79343
1189.21/1192.99 c #Conflicts: 538000 | #Constraints: 80343
1189.21/1192.99 c #Conflicts: 539000 | #Constraints: 81343
1189.21/1192.99 c #Conflicts: 540000 | #Constraints: 82343
1189.21/1192.99 c #Conflicts: 541000 | #Constraints: 83343
1189.21/1192.99 c #Conflicts: 542000 | #Constraints: 84343
1189.21/1192.99 c #Conflicts: 543000 | #Constraints: 85344
1189.21/1192.99 c #Conflicts: 544000 | #Constraints: 86344
1189.21/1192.99 c #Conflicts: 545000 | #Constraints: 87344
1189.21/1192.99 c INPROCESSING
1189.21/1192.99 c GARBAGE COLLECT
1189.21/1192.99 c #Conflicts: 546000 | #Constraints: 66365
1189.21/1192.99 c #Conflicts: 547000 | #Constraints: 67365
1189.21/1192.99 c #Conflicts: 548000 | #Constraints: 68365
1189.21/1192.99 c #Conflicts: 549000 | #Constraints: 69365
1189.21/1192.99 c #Conflicts: 550000 | #Constraints: 70365
1189.21/1192.99 c #Conflicts: 551000 | #Constraints: 71365
1189.21/1192.99 c #Conflicts: 552000 | #Constraints: 72365
1189.21/1192.99 c #Conflicts: 553000 | #Constraints: 73365
1189.21/1192.99 c #Conflicts: 554000 | #Constraints: 74365
1189.21/1192.99 c #Conflicts: 555000 | #Constraints: 75365
1189.21/1192.99 c #Conflicts: 556000 | #Constraints: 76365
1189.21/1192.99 c #Conflicts: 557000 | #Constraints: 77365
1189.21/1192.99 c #Conflicts: 558000 | #Constraints: 78365
1189.21/1192.99 c #Conflicts: 559000 | #Constraints: 79365
1189.21/1192.99 c #Conflicts: 560000 | #Constraints: 80365
1189.21/1192.99 c #Conflicts: 561000 | #Constraints: 81365
1189.21/1192.99 c #Conflicts: 562000 | #Constraints: 82365
1189.21/1192.99 c #Conflicts: 563000 | #Constraints: 83365
1355.08/1359.34 c #Conflicts: 564000 | #Constraints: 84365
1355.08/1359.34 c #Conflicts: 565000 | #Constraints: 85365
1355.08/1359.34 c #Conflicts: 566000 | #Constraints: 86365
1355.08/1359.34 c #Conflicts: 567000 | #Constraints: 87365
1355.08/1359.34 c #Conflicts: 568000 | #Constraints: 88365
1355.08/1359.34 c #Conflicts: 569000 | #Constraints: 89365
1355.08/1359.34 c #Conflicts: 570000 | #Constraints: 90365
1355.08/1359.34 c #Conflicts: 571000 | #Constraints: 91365
1355.08/1359.34 c #Conflicts: 572000 | #Constraints: 92365
1355.08/1359.34 c #Conflicts: 573000 | #Constraints: 93365
1355.08/1359.34 c #Conflicts: 574000 | #Constraints: 94365
1355.08/1359.34 c #Conflicts: 575000 | #Constraints: 95365
1355.08/1359.34 c #Conflicts: 576000 | #Constraints: 96365
1355.08/1359.34 c #Conflicts: 577000 | #Constraints: 97365
1355.08/1359.34 c #Conflicts: 578000 | #Constraints: 98365
1355.08/1359.34 c #Conflicts: 579000 | #Constraints: 99365
1355.08/1359.34 c #Conflicts: 580000 | #Constraints: 100365
1355.08/1359.34 c #Conflicts: 581000 | #Constraints: 101365
1355.08/1359.34 c #Conflicts: 582000 | #Constraints: 102365
1355.08/1359.34 c #Conflicts: 583000 | #Constraints: 103365
1355.08/1359.34 c #Conflicts: 584000 | #Constraints: 104365
1355.08/1359.34 c #Conflicts: 585000 | #Constraints: 105365
1355.08/1359.34 c #Conflicts: 586000 | #Constraints: 106365
1355.08/1359.34 c #Conflicts: 587000 | #Constraints: 107365
1355.08/1359.34 c #Conflicts: 588000 | #Constraints: 108365
1355.08/1359.34 c #Conflicts: 589000 | #Constraints: 109365
1355.08/1359.34 c #Conflicts: 590000 | #Constraints: 110365
1355.08/1359.34 c #Conflicts: 591000 | #Constraints: 111365
1355.08/1359.34 c #Conflicts: 592000 | #Constraints: 112365
1355.08/1359.34 c #Conflicts: 593000 | #Constraints: 113365
1355.08/1359.34 c #Conflicts: 594000 | #Constraints: 114365
1355.08/1359.34 c #Conflicts: 595000 | #Constraints: 115365
1355.08/1359.34 c INPROCESSING
1355.08/1359.34 c GARBAGE COLLECT
1355.08/1359.34 c #Conflicts: 596000 | #Constraints: 71057
1355.08/1359.34 c #Conflicts: 597000 | #Constraints: 72057
1355.08/1359.34 c #Conflicts: 598000 | #Constraints: 73057
1355.08/1359.34 c #Conflicts: 599000 | #Constraints: 74057
1355.08/1359.34 c #Conflicts: 600000 | #Constraints: 75057
1355.08/1359.34 c #Conflicts: 601000 | #Constraints: 76057
1355.08/1359.34 c #Conflicts: 602000 | #Constraints: 77057
1355.08/1359.34 c #Conflicts: 603000 | #Constraints: 78057
1355.08/1359.34 c #Conflicts: 604000 | #Constraints: 79057
1355.08/1359.34 c #Conflicts: 605000 | #Constraints: 80057
1355.08/1359.34 c #Conflicts: 606000 | #Constraints: 81057
1355.08/1359.34 c #Conflicts: 607000 | #Constraints: 82057
1355.08/1359.34 c #Conflicts: 608000 | #Constraints: 83057
1355.08/1359.34 c #Conflicts: 609000 | #Constraints: 84057
1355.08/1359.34 c #Conflicts: 610000 | #Constraints: 85057
1355.08/1359.34 c #Conflicts: 611000 | #Constraints: 86057
1355.08/1359.34 c #Conflicts: 612000 | #Constraints: 87057
1355.08/1359.34 c #Conflicts: 613000 | #Constraints: 88057
1355.08/1359.34 c #Conflicts: 614000 | #Constraints: 89057
1355.08/1359.34 c #Conflicts: 615000 | #Constraints: 90057
1355.08/1359.34 c #Conflicts: 616000 | #Constraints: 91057
1355.08/1359.34 c #Conflicts: 617000 | #Constraints: 92057
1355.08/1359.34 c INPROCESSING
1355.08/1359.34 c GARBAGE COLLECT
1355.08/1359.34 c #Conflicts: 618000 | #Constraints: 69679
1355.08/1359.34 c #Conflicts: 619000 | #Constraints: 70679
1355.08/1359.34 c #Conflicts: 620000 | #Constraints: 71679
1355.08/1359.34 c #Conflicts: 621000 | #Constraints: 72679
1355.08/1359.34 c #Conflicts: 622000 | #Constraints: 73679
1355.08/1359.34 c #Conflicts: 623000 | #Constraints: 74679
1355.08/1359.34 c #Conflicts: 624000 | #Constraints: 75679
1355.08/1359.34 c #Conflicts: 625000 | #Constraints: 76679
1355.08/1359.34 c #Conflicts: 626000 | #Constraints: 77679
1355.08/1359.34 c #Conflicts: 627000 | #Constraints: 78679
1355.08/1359.34 c #Conflicts: 628000 | #Constraints: 79679
1355.08/1359.34 c #Conflicts: 629000 | #Constraints: 80679
1355.08/1359.34 c #Conflicts: 630000 | #Constraints: 81679
1355.08/1359.34 c #Conflicts: 631000 | #Constraints: 82679
1355.08/1359.34 c #Conflicts: 632000 | #Constraints: 83679
1355.08/1359.34 c #Conflicts: 633000 | #Constraints: 84679
1355.08/1359.34 c #Conflicts: 634000 | #Constraints: 85679
1355.08/1359.34 c #Conflicts: 635000 | #Constraints: 86679
1355.08/1359.34 c #Conflicts: 636000 | #Constraints: 87679
1355.08/1359.34 c #Conflicts: 637000 | #Constraints: 88679
1355.08/1359.34 c #Conflicts: 638000 | #Constraints: 89679
1355.08/1359.34 c #Conflicts: 639000 | #Constraints: 90679
1355.08/1359.34 c #Conflicts: 640000 | #Constraints: 91679
1355.08/1359.34 c #Conflicts: 641000 | #Constraints: 92679
1634.88/1640.00 c #Conflicts: 642000 | #Constraints: 93679
1634.88/1640.00 c #Conflicts: 643000 | #Constraints: 94679
1634.88/1640.00 c #Conflicts: 644000 | #Constraints: 95679
1634.88/1640.00 c #Conflicts: 645000 | #Constraints: 96679
1634.88/1640.00 c #Conflicts: 646000 | #Constraints: 97679
1634.88/1640.00 c #Conflicts: 647000 | #Constraints: 98679
1634.88/1640.00 c #Conflicts: 648000 | #Constraints: 99679
1634.88/1640.00 c #Conflicts: 649000 | #Constraints: 100679
1634.88/1640.00 c #Conflicts: 650000 | #Constraints: 101679
1634.88/1640.00 c #Conflicts: 651000 | #Constraints: 102679
1634.88/1640.00 c #Conflicts: 652000 | #Constraints: 103679
1634.88/1640.00 c #Conflicts: 653000 | #Constraints: 104679
1634.88/1640.00 c #Conflicts: 654000 | #Constraints: 105679
1634.88/1640.00 c #Conflicts: 655000 | #Constraints: 106679
1634.88/1640.00 c #Conflicts: 656000 | #Constraints: 107679
1634.88/1640.00 c #Conflicts: 657000 | #Constraints: 108679
1634.88/1640.00 c #Conflicts: 658000 | #Constraints: 109679
1634.88/1640.00 c #Conflicts: 659000 | #Constraints: 110679
1634.88/1640.00 c #Conflicts: 660000 | #Constraints: 111679
1634.88/1640.00 c #Conflicts: 661000 | #Constraints: 112679
1634.88/1640.00 c #Conflicts: 662000 | #Constraints: 113679
1634.88/1640.00 c #Conflicts: 663000 | #Constraints: 114679
1634.88/1640.00 c #Conflicts: 664000 | #Constraints: 115679
1634.88/1640.00 c #Conflicts: 665000 | #Constraints: 116679
1634.88/1640.00 c #Conflicts: 666000 | #Constraints: 117679
1634.88/1640.00 c #Conflicts: 667000 | #Constraints: 118679
1634.88/1640.00 c #Conflicts: 668000 | #Constraints: 119679
1634.88/1640.00 c #Conflicts: 669000 | #Constraints: 120679
1634.88/1640.00 c INPROCESSING
1634.88/1640.00 c GARBAGE COLLECT
1634.88/1640.00 c #Conflicts: 670000 | #Constraints: 73446
1634.88/1640.00 c #Conflicts: 671000 | #Constraints: 74446
1634.88/1640.00 c #Conflicts: 672000 | #Constraints: 75446
1634.88/1640.00 c #Conflicts: 673000 | #Constraints: 76446
1634.88/1640.00 c #Conflicts: 674000 | #Constraints: 77446
1634.88/1640.00 c #Conflicts: 675000 | #Constraints: 78446
1634.88/1640.00 c #Conflicts: 676000 | #Constraints: 79446
1634.88/1640.00 c #Conflicts: 677000 | #Constraints: 80446
1634.88/1640.00 c #Conflicts: 678000 | #Constraints: 81446
1634.88/1640.00 c #Conflicts: 679000 | #Constraints: 82446
1634.88/1640.00 c #Conflicts: 680000 | #Constraints: 83446
1634.88/1640.00 c #Conflicts: 681000 | #Constraints: 84446
1634.88/1640.00 c #Conflicts: 682000 | #Constraints: 85446
1634.88/1640.00 c #Conflicts: 683000 | #Constraints: 86446
1634.88/1640.00 c #Conflicts: 684000 | #Constraints: 87446
1634.88/1640.00 c #Conflicts: 685000 | #Constraints: 88446
1634.88/1640.00 c #Conflicts: 686000 | #Constraints: 89446
1634.88/1640.00 c #Conflicts: 687000 | #Constraints: 90446
1634.88/1640.00 c #Conflicts: 688000 | #Constraints: 91446
1634.88/1640.00 c #Conflicts: 689000 | #Constraints: 92446
1634.88/1640.00 c #Conflicts: 690000 | #Constraints: 93446
1634.88/1640.00 c #Conflicts: 691000 | #Constraints: 94446
1634.88/1640.00 c #Conflicts: 692000 | #Constraints: 95446
1634.88/1640.00 c #Conflicts: 693000 | #Constraints: 96446
1634.88/1640.00 c INPROCESSING
1634.88/1640.00 c GARBAGE COLLECT
1634.88/1640.00 c #Conflicts: 694000 | #Constraints: 73379
1634.88/1640.00 c #Conflicts: 695000 | #Constraints: 74379
1634.88/1640.00 c #Conflicts: 696000 | #Constraints: 75379
1634.88/1640.00 c #Conflicts: 697000 | #Constraints: 76379
1634.88/1640.00 c #Conflicts: 698000 | #Constraints: 77379
1634.88/1640.00 c #Conflicts: 699000 | #Constraints: 78379
1634.88/1640.00 c #Conflicts: 700000 | #Constraints: 79379
1634.88/1640.00 c #Conflicts: 701000 | #Constraints: 80379
1634.88/1640.00 c #Conflicts: 702000 | #Constraints: 81379
1634.88/1640.00 c #Conflicts: 703000 | #Constraints: 82379
1634.88/1640.00 c #Conflicts: 704000 | #Constraints: 83379
1634.88/1640.00 c #Conflicts: 705000 | #Constraints: 84379
1634.88/1640.00 c #Conflicts: 706000 | #Constraints: 85379
1634.88/1640.00 c #Conflicts: 707000 | #Constraints: 86379
1634.88/1640.00 c #Conflicts: 708000 | #Constraints: 87379
1634.88/1640.00 c #Conflicts: 709000 | #Constraints: 88379
1634.88/1640.00 c #Conflicts: 710000 | #Constraints: 89379
1634.88/1640.00 c #Conflicts: 711000 | #Constraints: 90379
1634.88/1640.00 c #Conflicts: 712000 | #Constraints: 91379
1634.88/1640.00 c #Conflicts: 713000 | #Constraints: 92379
1634.88/1640.00 c #Conflicts: 714000 | #Constraints: 93379
1634.88/1640.00 c #Conflicts: 715000 | #Constraints: 94379
1634.88/1640.00 c #Conflicts: 716000 | #Constraints: 95379
1634.88/1640.00 c #Conflicts: 717000 | #Constraints: 96379
1634.88/1640.00 c #Conflicts: 718000 | #Constraints: 97379
1863.36/1869.09 c #Conflicts: 719000 | #Constraints: 98379
1863.36/1869.09 c #Conflicts: 720000 | #Constraints: 99379
1863.36/1869.09 c #Conflicts: 721000 | #Constraints: 100379
1863.36/1869.09 c #Conflicts: 722000 | #Constraints: 101379
1863.36/1869.09 c #Conflicts: 723000 | #Constraints: 102379
1863.36/1869.09 c #Conflicts: 724000 | #Constraints: 103379
1863.36/1869.09 c #Conflicts: 725000 | #Constraints: 104379
1863.36/1869.09 c #Conflicts: 726000 | #Constraints: 105379
1863.36/1869.09 c #Conflicts: 727000 | #Constraints: 106379
1863.36/1869.09 c #Conflicts: 728000 | #Constraints: 107379
1863.36/1869.09 c #Conflicts: 729000 | #Constraints: 108379
1863.36/1869.09 c #Conflicts: 730000 | #Constraints: 109379
1863.36/1869.09 c #Conflicts: 731000 | #Constraints: 110379
1863.36/1869.09 c #Conflicts: 732000 | #Constraints: 111379
1863.36/1869.09 c #Conflicts: 733000 | #Constraints: 112379
1863.36/1869.09 c #Conflicts: 734000 | #Constraints: 113379
1863.36/1869.09 c #Conflicts: 735000 | #Constraints: 114379
1863.36/1869.09 c #Conflicts: 736000 | #Constraints: 115379
1863.36/1869.09 c #Conflicts: 737000 | #Constraints: 116379
1863.36/1869.09 c #Conflicts: 738000 | #Constraints: 117379
1863.36/1869.09 c #Conflicts: 739000 | #Constraints: 118379
1863.36/1869.09 c #Conflicts: 740000 | #Constraints: 119379
1863.36/1869.09 c #Conflicts: 741000 | #Constraints: 120379
1863.36/1869.09 c #Conflicts: 742000 | #Constraints: 121379
1863.36/1869.09 c #Conflicts: 743000 | #Constraints: 122379
1863.36/1869.09 c #Conflicts: 744000 | #Constraints: 123379
1863.36/1869.09 c #Conflicts: 745000 | #Constraints: 124379
1863.36/1869.09 c #Conflicts: 746000 | #Constraints: 125379
1863.36/1869.09 c #Conflicts: 747000 | #Constraints: 126379
1863.36/1869.09 c #Conflicts: 748000 | #Constraints: 127379
1863.36/1869.09 c INPROCESSING
1863.36/1869.09 c GARBAGE COLLECT
1863.36/1869.09 c #Conflicts: 749000 | #Constraints: 77125
1863.36/1869.09 c #Conflicts: 750000 | #Constraints: 78125
1863.36/1869.09 c #Conflicts: 751000 | #Constraints: 79125
1863.36/1869.09 c #Conflicts: 752000 | #Constraints: 80125
1863.36/1869.09 c #Conflicts: 753000 | #Constraints: 81125
1863.36/1869.09 c #Conflicts: 754000 | #Constraints: 82125
1863.36/1869.09 c #Conflicts: 755000 | #Constraints: 83125
1863.36/1869.09 c #Conflicts: 756000 | #Constraints: 84125
1863.36/1869.09 c #Conflicts: 757000 | #Constraints: 85125
1863.36/1869.09 c #Conflicts: 758000 | #Constraints: 86125
1863.36/1869.09 c #Conflicts: 759000 | #Constraints: 87125
1863.36/1869.09 c #Conflicts: 760000 | #Constraints: 88125
1863.36/1869.09 c #Conflicts: 761000 | #Constraints: 89125
1863.36/1869.09 c #Conflicts: 762000 | #Constraints: 90125
1863.36/1869.09 c #Conflicts: 763000 | #Constraints: 91125
1863.36/1869.09 c #Conflicts: 764000 | #Constraints: 92125
1863.36/1869.09 c #Conflicts: 765000 | #Constraints: 93125
1863.36/1869.09 c #Conflicts: 766000 | #Constraints: 94125
1863.36/1869.09 c #Conflicts: 767000 | #Constraints: 95125
1863.36/1869.09 c #Conflicts: 768000 | #Constraints: 96125
1863.36/1869.09 c #Conflicts: 769000 | #Constraints: 97125
1863.36/1869.09 c #Conflicts: 770000 | #Constraints: 98125
1863.36/1869.09 c #Conflicts: 771000 | #Constraints: 99125
1863.36/1869.09 c #Conflicts: 772000 | #Constraints: 100125
1863.36/1869.09 c #Conflicts: 773000 | #Constraints: 101125
1863.36/1869.09 c INPROCESSING
1863.36/1869.09 c GARBAGE COLLECT
1863.36/1869.09 c #Conflicts: 774000 | #Constraints: 76180
1863.36/1869.09 c #Conflicts: 775000 | #Constraints: 77180
1863.36/1869.09 c #Conflicts: 776000 | #Constraints: 78180
1863.36/1869.09 c #Conflicts: 777000 | #Constraints: 79180
1863.36/1869.09 c #Conflicts: 778000 | #Constraints: 80180
1863.36/1869.09 c #Conflicts: 779000 | #Constraints: 81180
1863.36/1869.09 c #Conflicts: 780000 | #Constraints: 82180
1863.36/1869.09 c #Conflicts: 781000 | #Constraints: 83180
1863.36/1869.09 c #Conflicts: 782000 | #Constraints: 84180
1863.36/1869.09 c #Conflicts: 783000 | #Constraints: 85180
1863.36/1869.09 c #Conflicts: 784000 | #Constraints: 86180
1863.36/1869.09 c #Conflicts: 785000 | #Constraints: 87180
1863.36/1869.09 c #Conflicts: 786000 | #Constraints: 88180
1863.36/1869.09 c #Conflicts: 787000 | #Constraints: 89180
1863.36/1869.09 c #Conflicts: 788000 | #Constraints: 90180
1863.36/1869.09 c #Conflicts: 789000 | #Constraints: 91180
1863.36/1869.09 c #Conflicts: 790000 | #Constraints: 92180
1863.36/1869.09 c #Conflicts: 791000 | #Constraints: 93180
1863.36/1869.09 c #Conflicts: 792000 | #Constraints: 94180
1863.36/1869.09 c #Conflicts: 793000 | #Constraints: 95180
1863.36/1869.09 c #Conflicts: 794000 | #Constraints: 96180
1863.36/1869.09 c #Conflicts: 795000 | #Constraints: 97180
1863.36/1869.09 c #Conflicts: 796000 | #Constraints: 98180
2034.58/2040.76 c #Conflicts: 797000 | #Constraints: 99180
2034.58/2040.76 c #Conflicts: 798000 | #Constraints: 100180
2034.58/2040.76 c #Conflicts: 799000 | #Constraints: 101180
2034.58/2040.76 c #Conflicts: 800000 | #Constraints: 102180
2034.58/2040.76 c #Conflicts: 801000 | #Constraints: 103180
2034.58/2040.76 c #Conflicts: 802000 | #Constraints: 104180
2034.58/2040.76 c #Conflicts: 803000 | #Constraints: 105180
2034.58/2040.76 c #Conflicts: 804000 | #Constraints: 106180
2034.58/2040.76 c #Conflicts: 805000 | #Constraints: 107180
2034.58/2040.76 c #Conflicts: 806000 | #Constraints: 108180
2034.58/2040.76 c #Conflicts: 807000 | #Constraints: 109180
2034.58/2040.76 c #Conflicts: 808000 | #Constraints: 110180
2034.58/2040.76 c #Conflicts: 809000 | #Constraints: 111180
2034.58/2040.76 c #Conflicts: 810000 | #Constraints: 112180
2034.58/2040.76 c #Conflicts: 811000 | #Constraints: 113180
2034.58/2040.76 c #Conflicts: 812000 | #Constraints: 114180
2034.58/2040.76 c #Conflicts: 813000 | #Constraints: 115180
2034.58/2040.76 c #Conflicts: 814000 | #Constraints: 116180
2034.58/2040.76 c #Conflicts: 815000 | #Constraints: 117180
2034.58/2040.76 c #Conflicts: 816000 | #Constraints: 118180
2034.58/2040.76 c #Conflicts: 817000 | #Constraints: 119180
2034.58/2040.76 c #Conflicts: 818000 | #Constraints: 120180
2034.58/2040.76 c #Conflicts: 819000 | #Constraints: 121180
2034.58/2040.76 c #Conflicts: 820000 | #Constraints: 122180
2034.58/2040.76 c #Conflicts: 821000 | #Constraints: 123180
2034.58/2040.76 c #Conflicts: 822000 | #Constraints: 124180
2034.58/2040.76 c #Conflicts: 823000 | #Constraints: 125180
2034.58/2040.76 c #Conflicts: 824000 | #Constraints: 126180
2034.58/2040.76 c #Conflicts: 825000 | #Constraints: 127180
2034.58/2040.76 c #Conflicts: 826000 | #Constraints: 128180
2034.58/2040.76 c #Conflicts: 827000 | #Constraints: 129180
2034.58/2040.76 c #Conflicts: 828000 | #Constraints: 130180
2034.58/2040.76 c #Conflicts: 829000 | #Constraints: 131180
2034.58/2040.76 c #Conflicts: 830000 | #Constraints: 132180
2034.58/2040.76 c #Conflicts: 831000 | #Constraints: 133180
2034.58/2040.76 c #Conflicts: 832000 | #Constraints: 134180
2034.58/2040.76 c INPROCESSING
2034.58/2040.76 c GARBAGE COLLECT
2034.58/2040.76 c #Conflicts: 833000 | #Constraints: 80594
2034.58/2040.76 c #Conflicts: 834000 | #Constraints: 81594
2034.58/2040.76 c #Conflicts: 835000 | #Constraints: 82594
2034.58/2040.76 c #Conflicts: 836000 | #Constraints: 83594
2034.58/2040.76 c #Conflicts: 837000 | #Constraints: 84594
2034.58/2040.76 c #Conflicts: 838000 | #Constraints: 85594
2034.58/2040.76 c #Conflicts: 839000 | #Constraints: 86594
2034.58/2040.76 c #Conflicts: 840000 | #Constraints: 87594
2034.58/2040.76 c #Conflicts: 841000 | #Constraints: 88594
2034.58/2040.76 c #Conflicts: 842000 | #Constraints: 89594
2034.58/2040.76 c #Conflicts: 843000 | #Constraints: 90594
2034.58/2040.76 c #Conflicts: 844000 | #Constraints: 91594
2034.58/2040.76 c #Conflicts: 845000 | #Constraints: 92594
2034.58/2040.76 c #Conflicts: 846000 | #Constraints: 93594
2034.58/2040.76 c #Conflicts: 847000 | #Constraints: 94594
2034.58/2040.76 c #Conflicts: 848000 | #Constraints: 95594
2034.58/2040.76 c #Conflicts: 849000 | #Constraints: 96594
2034.58/2040.76 c #Conflicts: 850000 | #Constraints: 97594
2034.58/2040.76 c #Conflicts: 851000 | #Constraints: 98594
2034.58/2040.76 c #Conflicts: 852000 | #Constraints: 99594
2034.58/2040.76 c #Conflicts: 853000 | #Constraints: 100594
2034.58/2040.76 c #Conflicts: 854000 | #Constraints: 101594
2034.58/2040.76 c #Conflicts: 855000 | #Constraints: 102594
2034.58/2040.76 c #Conflicts: 856000 | #Constraints: 103594
2034.58/2040.76 c #Conflicts: 857000 | #Constraints: 104594
2034.58/2040.76 c #Conflicts: 858000 | #Constraints: 105594
2034.58/2040.76 c INPROCESSING
2034.58/2040.76 c GARBAGE COLLECT
2034.58/2040.76 c #Conflicts: 859000 | #Constraints: 79418
2034.58/2040.76 c #Conflicts: 860000 | #Constraints: 80418
2034.58/2040.76 c #Conflicts: 861000 | #Constraints: 81418
2034.58/2040.76 c #Conflicts: 862000 | #Constraints: 82418
2034.58/2040.76 c #Conflicts: 863000 | #Constraints: 83418
2034.58/2040.76 c #Conflicts: 864000 | #Constraints: 84418
2034.58/2040.76 c #Conflicts: 865000 | #Constraints: 85418
2034.58/2040.76 c #Conflicts: 866000 | #Constraints: 86418
2034.58/2040.76 c #Conflicts: 867000 | #Constraints: 87418
2034.58/2040.76 c #Conflicts: 868000 | #Constraints: 88418
2034.58/2040.76 c #Conflicts: 869000 | #Constraints: 89418
2034.58/2040.76 c #Conflicts: 870000 | #Constraints: 90418
2034.58/2040.76 c #Conflicts: 871000 | #Constraints: 91418
2034.58/2040.76 c #Conflicts: 872000 | #Constraints: 92418
2034.58/2040.76 c #Conflicts: 873000 | #Constraints: 93418
2231.64/2238.36 c #Conflicts: 874000 | #Constraints: 94418
2231.64/2238.36 c #Conflicts: 875000 | #Constraints: 95418
2231.64/2238.36 c #Conflicts: 876000 | #Constraints: 96418
2231.64/2238.36 c #Conflicts: 877000 | #Constraints: 97418
2231.64/2238.36 c #Conflicts: 878000 | #Constraints: 98418
2231.64/2238.36 c #Conflicts: 879000 | #Constraints: 99418
2231.64/2238.36 c #Conflicts: 880000 | #Constraints: 100418
2231.64/2238.36 c #Conflicts: 881000 | #Constraints: 101418
2231.64/2238.36 c #Conflicts: 882000 | #Constraints: 102418
2231.64/2238.36 c #Conflicts: 883000 | #Constraints: 103418
2231.64/2238.36 c #Conflicts: 884000 | #Constraints: 104418
2231.64/2238.36 c #Conflicts: 885000 | #Constraints: 105418
2231.64/2238.36 c #Conflicts: 886000 | #Constraints: 106418
2231.64/2238.36 c #Conflicts: 887000 | #Constraints: 107418
2231.64/2238.36 c #Conflicts: 888000 | #Constraints: 108418
2231.64/2238.36 c #Conflicts: 889000 | #Constraints: 109418
2231.64/2238.36 c #Conflicts: 890000 | #Constraints: 110418
2231.64/2238.36 c #Conflicts: 891000 | #Constraints: 111418
2231.64/2238.36 c #Conflicts: 892000 | #Constraints: 112418
2231.64/2238.36 c #Conflicts: 893000 | #Constraints: 113418
2231.64/2238.36 c #Conflicts: 894000 | #Constraints: 114418
2231.64/2238.36 c #Conflicts: 895000 | #Constraints: 115418
2231.64/2238.36 c #Conflicts: 896000 | #Constraints: 116418
2231.64/2238.36 c #Conflicts: 897000 | #Constraints: 117418
2231.64/2238.36 c #Conflicts: 898000 | #Constraints: 118418
2231.64/2238.36 c #Conflicts: 899000 | #Constraints: 119418
2231.64/2238.36 c #Conflicts: 900000 | #Constraints: 120418
2231.64/2238.36 c #Conflicts: 901000 | #Constraints: 121418
2231.64/2238.36 c #Conflicts: 902000 | #Constraints: 122418
2231.64/2238.36 c #Conflicts: 903000 | #Constraints: 123418
2231.64/2238.36 c #Conflicts: 904000 | #Constraints: 124418
2231.64/2238.36 c #Conflicts: 905000 | #Constraints: 125418
2231.64/2238.36 c #Conflicts: 906000 | #Constraints: 126418
2231.64/2238.36 c #Conflicts: 907000 | #Constraints: 127418
2231.64/2238.36 c #Conflicts: 908000 | #Constraints: 128418
2231.64/2238.36 c #Conflicts: 909000 | #Constraints: 129418
2231.64/2238.36 c #Conflicts: 910000 | #Constraints: 130418
2231.64/2238.36 c #Conflicts: 911000 | #Constraints: 131418
2231.64/2238.36 c #Conflicts: 912000 | #Constraints: 132418
2231.64/2238.36 c #Conflicts: 913000 | #Constraints: 133418
2231.64/2238.36 c #Conflicts: 914000 | #Constraints: 134418
2231.64/2238.36 c #Conflicts: 915000 | #Constraints: 135418
2231.64/2238.36 c #Conflicts: 916000 | #Constraints: 136418
2231.64/2238.36 c #Conflicts: 917000 | #Constraints: 137418
2231.64/2238.36 c #Conflicts: 918000 | #Constraints: 138418
2231.64/2238.36 c #Conflicts: 919000 | #Constraints: 139418
2231.64/2238.36 c #Conflicts: 920000 | #Constraints: 140418
2231.64/2238.36 c INPROCESSING
2231.64/2238.36 c GARBAGE COLLECT
2231.64/2238.36 c #Conflicts: 921000 | #Constraints: 84175
2231.64/2238.36 c #Conflicts: 922000 | #Constraints: 85175
2231.64/2238.36 c #Conflicts: 923000 | #Constraints: 86175
2231.64/2238.36 c #Conflicts: 924000 | #Constraints: 87175
2231.64/2238.36 c #Conflicts: 925000 | #Constraints: 88175
2231.64/2238.36 c #Conflicts: 926000 | #Constraints: 89175
2231.64/2238.36 c #Conflicts: 927000 | #Constraints: 90175
2231.64/2238.36 c #Conflicts: 928000 | #Constraints: 91175
2231.64/2238.36 c #Conflicts: 929000 | #Constraints: 92175
2231.64/2238.36 c #Conflicts: 930000 | #Constraints: 93175
2231.64/2238.36 c #Conflicts: 931000 | #Constraints: 94175
2231.64/2238.36 c #Conflicts: 932000 | #Constraints: 95175
2231.64/2238.36 c #Conflicts: 933000 | #Constraints: 96175
2231.64/2238.36 c #Conflicts: 934000 | #Constraints: 97175
2231.64/2238.36 c #Conflicts: 935000 | #Constraints: 98175
2231.64/2238.36 c #Conflicts: 936000 | #Constraints: 99175
2231.64/2238.36 c #Conflicts: 937000 | #Constraints: 100175
2231.64/2238.36 c #Conflicts: 938000 | #Constraints: 101175
2231.64/2238.36 c #Conflicts: 939000 | #Constraints: 102175
2231.64/2238.36 c #Conflicts: 940000 | #Constraints: 103175
2231.64/2238.36 c #Conflicts: 941000 | #Constraints: 104175
2231.64/2238.36 c #Conflicts: 942000 | #Constraints: 105175
2231.64/2238.36 c #Conflicts: 943000 | #Constraints: 106175
2231.64/2238.36 c #Conflicts: 944000 | #Constraints: 107175
2231.64/2238.36 c #Conflicts: 945000 | #Constraints: 108175
2231.64/2238.36 c #Conflicts: 946000 | #Constraints: 109175
2231.64/2238.36 c #Conflicts: 947000 | #Constraints: 110175
2231.64/2238.36 c INPROCESSING
2231.64/2238.36 c GARBAGE COLLECT
2231.64/2238.36 c #Conflicts: 948000 | #Constraints: 82820
2231.64/2238.36 c #Conflicts: 949000 | #Constraints: 83820
2231.64/2238.36 c #Conflicts: 950000 | #Constraints: 84820
2231.64/2238.36 c #Conflicts: 951000 | #Constraints: 85820
2423.10/2430.33 c #Conflicts: 952000 | #Constraints: 86820
2423.10/2430.33 c #Conflicts: 953000 | #Constraints: 87820
2423.10/2430.33 c #Conflicts: 954000 | #Constraints: 88820
2423.10/2430.33 c #Conflicts: 955000 | #Constraints: 89820
2423.10/2430.33 c #Conflicts: 956000 | #Constraints: 90820
2423.10/2430.33 c #Conflicts: 957000 | #Constraints: 91820
2423.10/2430.33 c #Conflicts: 958000 | #Constraints: 92820
2423.10/2430.33 c #Conflicts: 959000 | #Constraints: 93820
2423.10/2430.33 c #Conflicts: 960000 | #Constraints: 94820
2423.10/2430.33 c #Conflicts: 961000 | #Constraints: 95820
2423.10/2430.33 c #Conflicts: 962000 | #Constraints: 96820
2423.10/2430.33 c #Conflicts: 963000 | #Constraints: 97820
2423.10/2430.33 c #Conflicts: 964000 | #Constraints: 98820
2423.10/2430.33 c #Conflicts: 965000 | #Constraints: 99820
2423.10/2430.33 c #Conflicts: 966000 | #Constraints: 100820
2423.10/2430.33 c #Conflicts: 967000 | #Constraints: 101820
2423.10/2430.33 c #Conflicts: 968000 | #Constraints: 102820
2423.10/2430.33 c #Conflicts: 969000 | #Constraints: 103820
2423.10/2430.33 c #Conflicts: 970000 | #Constraints: 104820
2423.10/2430.33 c #Conflicts: 971000 | #Constraints: 105820
2423.10/2430.33 c #Conflicts: 972000 | #Constraints: 106820
2423.10/2430.33 c #Conflicts: 973000 | #Constraints: 107820
2423.10/2430.33 c #Conflicts: 974000 | #Constraints: 108820
2423.10/2430.33 c #Conflicts: 975000 | #Constraints: 109820
2423.10/2430.33 c #Conflicts: 976000 | #Constraints: 110820
2423.10/2430.33 c #Conflicts: 977000 | #Constraints: 111820
2423.10/2430.33 c #Conflicts: 978000 | #Constraints: 112820
2423.10/2430.33 c #Conflicts: 979000 | #Constraints: 113820
2423.10/2430.33 c #Conflicts: 980000 | #Constraints: 114820
2423.10/2430.33 c #Conflicts: 981000 | #Constraints: 115820
2423.10/2430.33 c #Conflicts: 982000 | #Constraints: 116820
2423.10/2430.33 c #Conflicts: 983000 | #Constraints: 117820
2423.10/2430.33 c #Conflicts: 984000 | #Constraints: 118820
2423.10/2430.33 c #Conflicts: 985000 | #Constraints: 119820
2423.10/2430.33 c #Conflicts: 986000 | #Constraints: 120820
2423.10/2430.33 c #Conflicts: 987000 | #Constraints: 121820
2423.10/2430.33 c #Conflicts: 988000 | #Constraints: 122820
2423.10/2430.33 c #Conflicts: 989000 | #Constraints: 123820
2423.10/2430.33 c #Conflicts: 990000 | #Constraints: 124820
2423.10/2430.33 c #Conflicts: 991000 | #Constraints: 125820
2423.10/2430.33 c #Conflicts: 992000 | #Constraints: 126820
2423.10/2430.33 c #Conflicts: 993000 | #Constraints: 127820
2423.10/2430.33 c #Conflicts: 994000 | #Constraints: 128820
2423.10/2430.33 c #Conflicts: 995000 | #Constraints: 129820
2423.10/2430.33 c #Conflicts: 996000 | #Constraints: 130820
2423.10/2430.33 c #Conflicts: 997000 | #Constraints: 131820
2423.10/2430.33 c #Conflicts: 998000 | #Constraints: 132820
2423.10/2430.33 c #Conflicts: 999000 | #Constraints: 133820
2423.10/2430.33 c #Conflicts: 1000000 | #Constraints: 134820
2423.10/2430.33 c #Conflicts: 1001000 | #Constraints: 135820
2423.10/2430.33 c #Conflicts: 1002000 | #Constraints: 136820
2423.10/2430.33 c #Conflicts: 1003000 | #Constraints: 137820
2423.10/2430.33 c #Conflicts: 1004000 | #Constraints: 138820
2423.10/2430.33 c #Conflicts: 1005000 | #Constraints: 139820
2423.10/2430.33 c #Conflicts: 1006000 | #Constraints: 140820
2423.10/2430.33 c #Conflicts: 1007000 | #Constraints: 141820
2423.10/2430.33 c #Conflicts: 1008000 | #Constraints: 142820
2423.10/2430.33 c #Conflicts: 1009000 | #Constraints: 143820
2423.10/2430.33 c #Conflicts: 1010000 | #Constraints: 144820
2423.10/2430.33 c #Conflicts: 1011000 | #Constraints: 145820
2423.10/2430.33 c #Conflicts: 1012000 | #Constraints: 146820
2423.10/2430.33 c INPROCESSING
2423.10/2430.33 c GARBAGE COLLECT
2423.10/2430.33 c #Conflicts: 1013000 | #Constraints: 87136
2423.10/2430.33 c #Conflicts: 1014000 | #Constraints: 88136
2423.10/2430.33 c #Conflicts: 1015000 | #Constraints: 89136
2423.10/2430.33 c #Conflicts: 1016000 | #Constraints: 90136
2423.10/2430.33 c #Conflicts: 1017000 | #Constraints: 91136
2423.10/2430.33 c #Conflicts: 1018000 | #Constraints: 92136
2423.10/2430.33 c #Conflicts: 1019000 | #Constraints: 93136
2423.10/2430.33 c #Conflicts: 1020000 | #Constraints: 94136
2423.10/2430.33 c #Conflicts: 1021000 | #Constraints: 95136
2423.10/2430.33 c #Conflicts: 1022000 | #Constraints: 96136
2423.10/2430.33 c #Conflicts: 1023000 | #Constraints: 97136
2423.10/2430.33 c #Conflicts: 1024000 | #Constraints: 98136
2423.10/2430.33 c #Conflicts: 1025000 | #Constraints: 99136
2423.10/2430.33 c #Conflicts: 1026000 | #Constraints: 100136
2423.10/2430.33 c #Conflicts: 1027000 | #Constraints: 101136
2423.10/2430.33 c #Conflicts: 1028000 | #Constraints: 102136
2423.10/2430.33 c #Conflicts: 1029000 | #Constraints: 103136
2676.31/2684.29 c #Conflicts: 1030000 | #Constraints: 104136
2676.31/2684.29 c #Conflicts: 1031000 | #Constraints: 105136
2676.31/2684.29 c #Conflicts: 1032000 | #Constraints: 106136
2676.31/2684.29 c #Conflicts: 1033000 | #Constraints: 107136
2676.31/2684.29 c #Conflicts: 1034000 | #Constraints: 108136
2676.31/2684.29 c #Conflicts: 1035000 | #Constraints: 109136
2676.31/2684.29 c #Conflicts: 1036000 | #Constraints: 110136
2676.31/2684.29 c #Conflicts: 1037000 | #Constraints: 111136
2676.31/2684.29 c #Conflicts: 1038000 | #Constraints: 112136
2676.31/2684.29 c #Conflicts: 1039000 | #Constraints: 113136
2676.31/2684.29 c #Conflicts: 1040000 | #Constraints: 114136
2676.31/2684.29 c INPROCESSING
2676.31/2684.29 c GARBAGE COLLECT
2676.31/2684.29 c #Conflicts: 1041000 | #Constraints: 84736
2676.31/2684.29 c #Conflicts: 1042000 | #Constraints: 85736
2676.31/2684.29 c #Conflicts: 1043000 | #Constraints: 86736
2676.31/2684.29 c #Conflicts: 1044000 | #Constraints: 87736
2676.31/2684.29 c #Conflicts: 1045000 | #Constraints: 88736
2676.31/2684.29 c #Conflicts: 1046000 | #Constraints: 89736
2676.31/2684.29 c #Conflicts: 1047000 | #Constraints: 90736
2676.31/2684.29 c #Conflicts: 1048000 | #Constraints: 91736
2676.31/2684.29 c #Conflicts: 1049000 | #Constraints: 92736
2676.31/2684.29 c #Conflicts: 1050000 | #Constraints: 93736
2676.31/2684.29 c #Conflicts: 1051000 | #Constraints: 94736
2676.31/2684.29 c #Conflicts: 1052000 | #Constraints: 95736
2676.31/2684.29 c #Conflicts: 1053000 | #Constraints: 96736
2676.31/2684.29 c #Conflicts: 1054000 | #Constraints: 97736
2676.31/2684.29 c #Conflicts: 1055000 | #Constraints: 98736
2676.31/2684.29 c #Conflicts: 1056000 | #Constraints: 99736
2676.31/2684.29 c #Conflicts: 1057000 | #Constraints: 100736
2676.31/2684.29 c #Conflicts: 1058000 | #Constraints: 101736
2676.31/2684.29 c #Conflicts: 1059000 | #Constraints: 102736
2676.31/2684.29 c #Conflicts: 1060000 | #Constraints: 103736
2676.31/2684.29 c #Conflicts: 1061000 | #Constraints: 104736
2676.31/2684.29 c #Conflicts: 1062000 | #Constraints: 105736
2676.31/2684.29 c #Conflicts: 1063000 | #Constraints: 106736
2676.31/2684.29 c #Conflicts: 1064000 | #Constraints: 107736
2676.31/2684.29 c #Conflicts: 1065000 | #Constraints: 108736
2676.31/2684.29 c #Conflicts: 1066000 | #Constraints: 109736
2676.31/2684.29 c #Conflicts: 1067000 | #Constraints: 110736
2676.31/2684.29 c #Conflicts: 1068000 | #Constraints: 111736
2676.31/2684.29 c #Conflicts: 1069000 | #Constraints: 112736
2676.31/2684.29 c #Conflicts: 1070000 | #Constraints: 113736
2676.31/2684.29 c #Conflicts: 1071000 | #Constraints: 114736
2676.31/2684.29 c #Conflicts: 1072000 | #Constraints: 115736
2676.31/2684.29 c #Conflicts: 1073000 | #Constraints: 116736
2676.31/2684.29 c #Conflicts: 1074000 | #Constraints: 117736
2676.31/2684.29 c #Conflicts: 1075000 | #Constraints: 118736
2676.31/2684.29 c #Conflicts: 1076000 | #Constraints: 119736
2676.31/2684.29 c #Conflicts: 1077000 | #Constraints: 120736
2676.31/2684.29 c #Conflicts: 1078000 | #Constraints: 121736
2676.31/2684.29 c #Conflicts: 1079000 | #Constraints: 122736
2676.31/2684.29 c #Conflicts: 1080000 | #Constraints: 123736
2676.31/2684.29 c #Conflicts: 1081000 | #Constraints: 124736
2676.31/2684.29 c #Conflicts: 1082000 | #Constraints: 125736
2676.31/2684.29 c #Conflicts: 1083000 | #Constraints: 126736
2676.31/2684.29 c #Conflicts: 1084000 | #Constraints: 127736
2676.31/2684.29 c #Conflicts: 1085000 | #Constraints: 128736
2676.31/2684.29 c #Conflicts: 1086000 | #Constraints: 129736
2676.31/2684.29 c #Conflicts: 1087000 | #Constraints: 130736
2676.31/2684.29 c #Conflicts: 1088000 | #Constraints: 131736
2676.31/2684.29 c #Conflicts: 1089000 | #Constraints: 132736
2676.31/2684.29 c #Conflicts: 1090000 | #Constraints: 133736
2676.31/2684.29 c #Conflicts: 1091000 | #Constraints: 134736
2676.31/2684.29 c #Conflicts: 1092000 | #Constraints: 135736
2676.31/2684.29 c #Conflicts: 1093000 | #Constraints: 136736
2676.31/2684.29 c #Conflicts: 1094000 | #Constraints: 137736
2676.31/2684.29 c #Conflicts: 1095000 | #Constraints: 138736
2676.31/2684.29 c #Conflicts: 1096000 | #Constraints: 139736
2676.31/2684.29 c #Conflicts: 1097000 | #Constraints: 140736
2676.31/2684.29 c #Conflicts: 1098000 | #Constraints: 141736
2676.31/2684.29 c #Conflicts: 1099000 | #Constraints: 142736
2676.31/2684.29 c #Conflicts: 1100000 | #Constraints: 143736
2676.31/2684.29 c #Conflicts: 1101000 | #Constraints: 144736
2676.31/2684.29 c #Conflicts: 1102000 | #Constraints: 145736
2676.31/2684.29 c #Conflicts: 1103000 | #Constraints: 146736
2676.31/2684.29 c #Conflicts: 1104000 | #Constraints: 147736
2676.31/2684.29 c #Conflicts: 1105000 | #Constraints: 148736
2676.31/2684.29 c #Conflicts: 1106000 | #Constraints: 149736
2676.31/2684.29 c #Conflicts: 1107000 | #Constraints: 150736
2885.64/2894.19 c #Conflicts: 1108000 | #Constraints: 151736
2885.64/2894.19 c INPROCESSING
2885.64/2894.19 c GARBAGE COLLECT
2885.64/2894.19 c #Conflicts: 1109000 | #Constraints: 89431
2885.64/2894.19 c #Conflicts: 1110000 | #Constraints: 90431
2885.64/2894.19 c #Conflicts: 1111000 | #Constraints: 91431
2885.64/2894.19 c #Conflicts: 1112000 | #Constraints: 92431
2885.64/2894.19 c #Conflicts: 1113000 | #Constraints: 93431
2885.64/2894.19 c #Conflicts: 1114000 | #Constraints: 94431
2885.64/2894.19 c #Conflicts: 1115000 | #Constraints: 95431
2885.64/2894.19 c #Conflicts: 1116000 | #Constraints: 96431
2885.64/2894.19 c #Conflicts: 1117000 | #Constraints: 97431
2885.64/2894.19 c #Conflicts: 1118000 | #Constraints: 98431
2885.64/2894.19 c #Conflicts: 1119000 | #Constraints: 99431
2885.64/2894.19 c #Conflicts: 1120000 | #Constraints: 100431
2885.64/2894.19 c #Conflicts: 1121000 | #Constraints: 101431
2885.64/2894.19 c #Conflicts: 1122000 | #Constraints: 102431
2885.64/2894.19 c #Conflicts: 1123000 | #Constraints: 103431
2885.64/2894.19 c #Conflicts: 1124000 | #Constraints: 104431
2885.64/2894.19 c #Conflicts: 1125000 | #Constraints: 105431
2885.64/2894.19 c #Conflicts: 1126000 | #Constraints: 106431
2885.64/2894.20 c #Conflicts: 1127000 | #Constraints: 107431
2885.64/2894.20 c #Conflicts: 1128000 | #Constraints: 108431
2885.64/2894.20 c #Conflicts: 1129000 | #Constraints: 109431
2885.64/2894.20 c #Conflicts: 1130000 | #Constraints: 110431
2885.64/2894.20 c #Conflicts: 1131000 | #Constraints: 111431
2885.64/2894.20 c #Conflicts: 1132000 | #Constraints: 112431
2885.64/2894.20 c #Conflicts: 1133000 | #Constraints: 113431
2885.64/2894.20 c #Conflicts: 1134000 | #Constraints: 114431
2885.64/2894.20 c #Conflicts: 1135000 | #Constraints: 115431
2885.64/2894.20 c #Conflicts: 1136000 | #Constraints: 116431
2885.64/2894.20 c #Conflicts: 1137000 | #Constraints: 117431
2885.64/2894.20 c #Conflicts: 1138000 | #Constraints: 118431
2885.64/2894.20 c INPROCESSING
2885.64/2894.20 c GARBAGE COLLECT
2885.64/2894.20 c #Conflicts: 1139000 | #Constraints: 87077
2885.64/2894.20 c #Conflicts: 1140000 | #Constraints: 88077
2885.64/2894.20 c #Conflicts: 1141000 | #Constraints: 89077
2885.64/2894.20 c #Conflicts: 1142000 | #Constraints: 90077
2885.64/2894.20 c #Conflicts: 1143000 | #Constraints: 91077
2885.64/2894.20 c #Conflicts: 1144000 | #Constraints: 92077
2885.64/2894.20 c #Conflicts: 1145000 | #Constraints: 93077
2885.64/2894.20 c #Conflicts: 1146000 | #Constraints: 94077
2885.64/2894.20 c #Conflicts: 1147000 | #Constraints: 95077
2885.64/2894.20 c #Conflicts: 1148000 | #Constraints: 96078
2885.64/2894.20 c #Conflicts: 1149000 | #Constraints: 97078
2885.64/2894.20 c #Conflicts: 1150000 | #Constraints: 98078
2885.64/2894.20 c #Conflicts: 1151000 | #Constraints: 99078
2885.64/2894.20 c #Conflicts: 1152000 | #Constraints: 100078
2885.64/2894.20 c #Conflicts: 1153000 | #Constraints: 101078
2885.64/2894.20 c #Conflicts: 1154000 | #Constraints: 102078
2885.64/2894.20 c #Conflicts: 1155000 | #Constraints: 103078
2885.64/2894.20 c #Conflicts: 1156000 | #Constraints: 104078
2885.64/2894.20 c #Conflicts: 1157000 | #Constraints: 105078
2885.64/2894.20 c #Conflicts: 1158000 | #Constraints: 106078
2885.64/2894.20 c #Conflicts: 1159000 | #Constraints: 107078
2885.64/2894.20 c #Conflicts: 1160000 | #Constraints: 108078
2885.64/2894.20 c #Conflicts: 1161000 | #Constraints: 109078
2885.64/2894.20 c #Conflicts: 1162000 | #Constraints: 110078
2885.64/2894.20 c #Conflicts: 1163000 | #Constraints: 111078
2885.64/2894.20 c #Conflicts: 1164000 | #Constraints: 112078
2885.64/2894.20 c #Conflicts: 1165000 | #Constraints: 113078
2885.64/2894.20 c #Conflicts: 1166000 | #Constraints: 114078
2885.64/2894.20 c #Conflicts: 1167000 | #Constraints: 115078
2885.64/2894.20 c #Conflicts: 1168000 | #Constraints: 116078
2885.64/2894.20 c #Conflicts: 1169000 | #Constraints: 117078
2885.64/2894.20 c #Conflicts: 1170000 | #Constraints: 118078
2885.64/2894.20 c #Conflicts: 1171000 | #Constraints: 119078
2885.64/2894.20 c #Conflicts: 1172000 | #Constraints: 120078
2885.64/2894.20 c #Conflicts: 1173000 | #Constraints: 121078
2885.64/2894.20 c #Conflicts: 1174000 | #Constraints: 122078
2885.64/2894.20 c #Conflicts: 1175000 | #Constraints: 123078
2885.64/2894.20 c #Conflicts: 1176000 | #Constraints: 124078
2885.64/2894.20 c #Conflicts: 1177000 | #Constraints: 125078
2885.64/2894.20 c #Conflicts: 1178000 | #Constraints: 126078
2885.64/2894.20 c #Conflicts: 1179000 | #Constraints: 127078
2885.64/2894.20 c #Conflicts: 1180000 | #Constraints: 128078
2885.64/2894.20 c #Conflicts: 1181000 | #Constraints: 129078
2885.64/2894.20 c #Conflicts: 1182000 | #Constraints: 130078
2885.64/2894.20 c #Conflicts: 1183000 | #Constraints: 131078
2885.64/2894.20 c #Conflicts: 1184000 | #Constraints: 132078
3081.27/3090.35 c #Conflicts: 1185000 | #Constraints: 133078
3081.27/3090.35 c #Conflicts: 1186000 | #Constraints: 134078
3081.27/3090.35 c #Conflicts: 1187000 | #Constraints: 135078
3081.27/3090.35 c #Conflicts: 1188000 | #Constraints: 136078
3081.27/3090.35 c #Conflicts: 1189000 | #Constraints: 137078
3081.27/3090.35 c #Conflicts: 1190000 | #Constraints: 138078
3081.27/3090.35 c #Conflicts: 1191000 | #Constraints: 139078
3081.27/3090.35 c #Conflicts: 1192000 | #Constraints: 140078
3081.27/3090.35 c #Conflicts: 1193000 | #Constraints: 141078
3081.27/3090.35 c #Conflicts: 1194000 | #Constraints: 142078
3081.27/3090.35 c #Conflicts: 1195000 | #Constraints: 143078
3081.27/3090.35 c #Conflicts: 1196000 | #Constraints: 144078
3081.27/3090.35 c #Conflicts: 1197000 | #Constraints: 145078
3081.27/3090.35 c #Conflicts: 1198000 | #Constraints: 146078
3081.27/3090.35 c #Conflicts: 1199000 | #Constraints: 147078
3081.27/3090.35 c #Conflicts: 1200000 | #Constraints: 148078
3081.27/3090.35 c #Conflicts: 1201000 | #Constraints: 149078
3081.27/3090.35 c #Conflicts: 1202000 | #Constraints: 150078
3081.27/3090.35 c #Conflicts: 1203000 | #Constraints: 151078
3081.27/3090.35 c #Conflicts: 1204000 | #Constraints: 152078
3081.27/3090.35 c #Conflicts: 1205000 | #Constraints: 153078
3081.27/3090.35 c #Conflicts: 1206000 | #Constraints: 154078
3081.27/3090.35 c #Conflicts: 1207000 | #Constraints: 155078
3081.27/3090.35 c #Conflicts: 1208000 | #Constraints: 156078
3081.27/3090.35 c #Conflicts: 1209000 | #Constraints: 157078
3081.27/3090.35 c INPROCESSING
3081.27/3090.35 c GARBAGE COLLECT
3081.27/3090.35 c #Conflicts: 1210000 | #Constraints: 92092
3081.27/3090.35 c #Conflicts: 1211000 | #Constraints: 93092
3081.27/3090.35 c #Conflicts: 1212000 | #Constraints: 94092
3081.27/3090.35 c #Conflicts: 1213000 | #Constraints: 95092
3081.27/3090.35 c #Conflicts: 1214000 | #Constraints: 96092
3081.27/3090.35 c #Conflicts: 1215000 | #Constraints: 97092
3081.27/3090.35 c #Conflicts: 1216000 | #Constraints: 98092
3081.27/3090.35 c #Conflicts: 1217000 | #Constraints: 99092
3081.27/3090.35 c #Conflicts: 1218000 | #Constraints: 100092
3081.27/3090.35 c #Conflicts: 1219000 | #Constraints: 101092
3081.27/3090.35 c #Conflicts: 1220000 | #Constraints: 102092
3081.27/3090.35 c #Conflicts: 1221000 | #Constraints: 103092
3081.27/3090.35 c #Conflicts: 1222000 | #Constraints: 104092
3081.27/3090.35 c #Conflicts: 1223000 | #Constraints: 105092
3081.27/3090.35 c #Conflicts: 1224000 | #Constraints: 106092
3081.27/3090.35 c #Conflicts: 1225000 | #Constraints: 107092
3081.27/3090.35 c #Conflicts: 1226000 | #Constraints: 108092
3081.27/3090.35 c #Conflicts: 1227000 | #Constraints: 109092
3081.27/3090.35 c #Conflicts: 1228000 | #Constraints: 110092
3081.27/3090.35 c #Conflicts: 1229000 | #Constraints: 111092
3081.27/3090.35 c #Conflicts: 1230000 | #Constraints: 112092
3081.27/3090.35 c #Conflicts: 1231000 | #Constraints: 113092
3081.27/3090.35 c #Conflicts: 1232000 | #Constraints: 114092
3081.27/3090.35 c #Conflicts: 1233000 | #Constraints: 115092
3081.27/3090.35 c #Conflicts: 1234000 | #Constraints: 116092
3081.27/3090.35 c #Conflicts: 1235000 | #Constraints: 117092
3081.27/3090.35 c #Conflicts: 1236000 | #Constraints: 118092
3081.27/3090.35 c #Conflicts: 1237000 | #Constraints: 119092
3081.27/3090.35 c #Conflicts: 1238000 | #Constraints: 120092
3081.27/3090.35 c #Conflicts: 1239000 | #Constraints: 121092
3081.27/3090.35 c #Conflicts: 1240000 | #Constraints: 122092
3081.27/3090.35 c INPROCESSING
3081.27/3090.35 c GARBAGE COLLECT
3081.27/3090.35 c #Conflicts: 1241000 | #Constraints: 89772
3081.27/3090.35 c #Conflicts: 1242000 | #Constraints: 90772
3081.27/3090.35 c #Conflicts: 1243000 | #Constraints: 91772
3081.27/3090.35 c #Conflicts: 1244000 | #Constraints: 92772
3081.27/3090.35 c #Conflicts: 1245000 | #Constraints: 93772
3081.27/3090.35 c #Conflicts: 1246000 | #Constraints: 94772
3081.27/3090.35 c #Conflicts: 1247000 | #Constraints: 95772
3081.27/3090.35 c #Conflicts: 1248000 | #Constraints: 96772
3081.27/3090.35 c #Conflicts: 1249000 | #Constraints: 97772
3081.27/3090.35 c #Conflicts: 1250000 | #Constraints: 98772
3081.27/3090.35 c #Conflicts: 1251000 | #Constraints: 99772
3081.27/3090.35 c #Conflicts: 1252000 | #Constraints: 100772
3081.27/3090.35 c #Conflicts: 1253000 | #Constraints: 101772
3081.27/3090.35 c #Conflicts: 1254000 | #Constraints: 102772
3081.27/3090.35 c #Conflicts: 1255000 | #Constraints: 103772
3081.27/3090.35 c #Conflicts: 1256000 | #Constraints: 104772
3081.27/3090.35 c #Conflicts: 1257000 | #Constraints: 105772
3081.27/3090.35 c #Conflicts: 1258000 | #Constraints: 106772
3081.27/3090.35 c #Conflicts: 1259000 | #Constraints: 107772
3081.27/3090.35 c #Conflicts: 1260000 | #Constraints: 108772
3081.27/3090.35 c #Conflicts: 1261000 | #Constraints: 109772
3081.27/3090.35 c #Conflicts: 1262000 | #Constraints: 110772
3352.71/3362.54 c #Conflicts: 1263000 | #Constraints: 111772
3352.71/3362.54 c #Conflicts: 1264000 | #Constraints: 112772
3352.71/3362.54 c #Conflicts: 1265000 | #Constraints: 113772
3352.71/3362.54 c #Conflicts: 1266000 | #Constraints: 114772
3352.71/3362.54 c #Conflicts: 1267000 | #Constraints: 115772
3352.71/3362.54 c #Conflicts: 1268000 | #Constraints: 116772
3352.71/3362.54 c #Conflicts: 1269000 | #Constraints: 117772
3352.71/3362.54 c #Conflicts: 1270000 | #Constraints: 118772
3352.71/3362.54 c #Conflicts: 1271000 | #Constraints: 119772
3352.71/3362.54 c #Conflicts: 1272000 | #Constraints: 120772
3352.71/3362.54 c #Conflicts: 1273000 | #Constraints: 121772
3352.71/3362.54 c #Conflicts: 1274000 | #Constraints: 122772
3352.71/3362.54 c #Conflicts: 1275000 | #Constraints: 123772
3352.71/3362.54 c #Conflicts: 1276000 | #Constraints: 124772
3352.71/3362.54 c #Conflicts: 1277000 | #Constraints: 125772
3352.71/3362.54 c #Conflicts: 1278000 | #Constraints: 126772
3352.71/3362.54 c #Conflicts: 1279000 | #Constraints: 127772
3352.71/3362.54 c #Conflicts: 1280000 | #Constraints: 128772
3352.71/3362.54 c #Conflicts: 1281000 | #Constraints: 129772
3352.71/3362.54 c #Conflicts: 1282000 | #Constraints: 130772
3352.71/3362.54 c #Conflicts: 1283000 | #Constraints: 131772
3352.71/3362.54 c #Conflicts: 1284000 | #Constraints: 132772
3352.71/3362.54 c #Conflicts: 1285000 | #Constraints: 133772
3352.71/3362.54 c #Conflicts: 1286000 | #Constraints: 134772
3352.71/3362.54 c #Conflicts: 1287000 | #Constraints: 135772
3352.71/3362.54 c #Conflicts: 1288000 | #Constraints: 136772
3352.71/3362.54 c #Conflicts: 1289000 | #Constraints: 137772
3352.71/3362.54 c #Conflicts: 1290000 | #Constraints: 138772
3352.71/3362.54 c #Conflicts: 1291000 | #Constraints: 139772
3352.71/3362.54 c #Conflicts: 1292000 | #Constraints: 140772
3352.71/3362.54 c #Conflicts: 1293000 | #Constraints: 141772
3352.71/3362.54 c #Conflicts: 1294000 | #Constraints: 142772
3352.71/3362.54 c #Conflicts: 1295000 | #Constraints: 143772
3352.71/3362.54 c #Conflicts: 1296000 | #Constraints: 144772
3352.71/3362.54 c #Conflicts: 1297000 | #Constraints: 145772
3352.71/3362.54 c #Conflicts: 1298000 | #Constraints: 146772
3352.71/3362.54 c #Conflicts: 1299000 | #Constraints: 147772
3352.71/3362.54 c #Conflicts: 1300000 | #Constraints: 148772
3352.71/3362.54 c #Conflicts: 1301000 | #Constraints: 149772
3352.71/3362.54 c #Conflicts: 1302000 | #Constraints: 150772
3352.71/3362.54 c #Conflicts: 1303000 | #Constraints: 151772
3352.71/3362.54 c #Conflicts: 1304000 | #Constraints: 152772
3352.71/3362.54 c #Conflicts: 1305000 | #Constraints: 153772
3352.71/3362.54 c #Conflicts: 1306000 | #Constraints: 154772
3352.71/3362.54 c #Conflicts: 1307000 | #Constraints: 155772
3352.71/3362.54 c #Conflicts: 1308000 | #Constraints: 156772
3352.71/3362.54 c #Conflicts: 1309000 | #Constraints: 157772
3352.71/3362.54 c #Conflicts: 1310000 | #Constraints: 158772
3352.71/3362.54 c #Conflicts: 1311000 | #Constraints: 159772
3352.71/3362.54 c #Conflicts: 1312000 | #Constraints: 160772
3352.71/3362.54 c #Conflicts: 1313000 | #Constraints: 161772
3352.71/3362.54 c #Conflicts: 1314000 | #Constraints: 162772
3352.71/3362.54 c #Conflicts: 1315000 | #Constraints: 163772
3352.71/3362.54 c INPROCESSING
3352.71/3362.54 c GARBAGE COLLECT
3352.71/3362.54 c #Conflicts: 1316000 | #Constraints: 95804
3352.71/3362.54 c #Conflicts: 1317000 | #Constraints: 96804
3352.71/3362.54 c #Conflicts: 1318000 | #Constraints: 97804
3352.71/3362.54 c #Conflicts: 1319000 | #Constraints: 98804
3352.71/3362.54 c #Conflicts: 1320000 | #Constraints: 99804
3352.71/3362.54 c #Conflicts: 1321000 | #Constraints: 100804
3352.71/3362.54 c #Conflicts: 1322000 | #Constraints: 101804
3352.71/3362.54 c #Conflicts: 1323000 | #Constraints: 102804
3352.71/3362.54 c #Conflicts: 1324000 | #Constraints: 103804
3352.71/3362.54 c #Conflicts: 1325000 | #Constraints: 104804
3352.71/3362.54 c #Conflicts: 1326000 | #Constraints: 105804
3352.71/3362.54 c #Conflicts: 1327000 | #Constraints: 106804
3352.71/3362.54 c #Conflicts: 1328000 | #Constraints: 107804
3352.71/3362.54 c #Conflicts: 1329000 | #Constraints: 108804
3352.71/3362.54 c #Conflicts: 1330000 | #Constraints: 109804
3352.71/3362.54 c #Conflicts: 1331000 | #Constraints: 110804
3352.71/3362.54 c #Conflicts: 1332000 | #Constraints: 111804
3352.71/3362.54 c #Conflicts: 1333000 | #Constraints: 112804
3352.71/3362.54 c #Conflicts: 1334000 | #Constraints: 113804
3352.71/3362.54 c #Conflicts: 1335000 | #Constraints: 114804
3352.71/3362.54 c #Conflicts: 1336000 | #Constraints: 115804
3352.71/3362.54 c #Conflicts: 1337000 | #Constraints: 116804
3352.71/3362.54 c #Conflicts: 1338000 | #Constraints: 117804
3352.71/3362.54 c #Conflicts: 1339000 | #Constraints: 118804
3352.71/3362.54 c #Conflicts: 1340000 | #Constraints: 119804
3375.85/3385.78 c #Conflicts: 1341000 | #Constraints: 120804
3375.85/3385.78 c #Conflicts: 1342000 | #Constraints: 121804
3375.85/3385.78 c #Conflicts: 1343000 | #Constraints: 122804
3375.85/3385.78 c #Conflicts: 1344000 | #Constraints: 123804
3375.85/3385.78 c #Conflicts: 1345000 | #Constraints: 124804
3375.85/3385.78 c #Conflicts: 1346000 | #Constraints: 125804
3375.85/3385.78 c #Conflicts: 1347000 | #Constraints: 126804
3375.85/3385.78 c INPROCESSING
3375.85/3385.78 c GARBAGE COLLECT
3375.85/3385.78 c rational objective 188
3600.01/3610.50 c #Conflicts: 1348000 | #Constraints: 93246
3600.01/3610.50 c #Conflicts: 1349000 | #Constraints: 94246
3600.01/3610.50 c #Conflicts: 1350000 | #Constraints: 95246
3600.01/3610.50 c #Conflicts: 1351000 | #Constraints: 96246
3600.01/3610.50 c #Conflicts: 1352000 | #Constraints: 97246
3600.01/3610.50 c #Conflicts: 1353000 | #Constraints: 98246
3600.01/3610.50 c #Conflicts: 1354000 | #Constraints: 99246
3600.01/3610.50 c #Conflicts: 1355000 | #Constraints: 100246
3600.01/3610.50 c #Conflicts: 1356000 | #Constraints: 101246
3600.01/3610.50 c #Conflicts: 1357000 | #Constraints: 102246
3600.01/3610.50 c #Conflicts: 1358000 | #Constraints: 103246
3600.01/3610.50 c #Conflicts: 1359000 | #Constraints: 104246
3600.01/3610.50 c #Conflicts: 1360000 | #Constraints: 105246
3600.01/3610.50 c #Conflicts: 1361000 | #Constraints: 106246
3600.01/3610.50 c #Conflicts: 1362000 | #Constraints: 107246
3600.01/3610.50 c #Conflicts: 1363000 | #Constraints: 108246
3600.01/3610.50 c #Conflicts: 1364000 | #Constraints: 109246
3600.01/3610.50 c #Conflicts: 1365000 | #Constraints: 110246
3600.01/3610.50 c #Conflicts: 1366000 | #Constraints: 111246
3600.01/3610.50 c #Conflicts: 1367000 | #Constraints: 112246
3600.01/3610.50 c #Conflicts: 1368000 | #Constraints: 113246
3600.01/3610.50 c #Conflicts: 1369000 | #Constraints: 114246
3600.01/3610.50 c #Conflicts: 1370000 | #Constraints: 115246
3600.01/3610.50 c #Conflicts: 1371000 | #Constraints: 116246
3600.01/3610.50 c #Conflicts: 1372000 | #Constraints: 117246
3600.01/3610.50 c #Conflicts: 1373000 | #Constraints: 118246
3600.01/3610.50 c #Conflicts: 1374000 | #Constraints: 119246
3600.01/3610.50 c #Conflicts: 1375000 | #Constraints: 120246
3600.01/3610.50 c #Conflicts: 1376000 | #Constraints: 121246
3600.01/3610.50 c #Conflicts: 1377000 | #Constraints: 122246
3600.01/3610.50 c #Conflicts: 1378000 | #Constraints: 123246
3600.01/3610.50 c #Conflicts: 1379000 | #Constraints: 124246
3600.01/3610.50 c #Conflicts: 1380000 | #Constraints: 125246
3600.01/3610.50 c #Conflicts: 1381000 | #Constraints: 126246
3600.01/3610.50 c #Conflicts: 1382000 | #Constraints: 127246
3600.01/3610.50 c #Conflicts: 1383000 | #Constraints: 128246
3600.01/3610.50 c #Conflicts: 1384000 | #Constraints: 129246
3600.01/3610.50 c #Conflicts: 1385000 | #Constraints: 130246
3600.01/3610.50 c #Conflicts: 1386000 | #Constraints: 131246
3600.01/3610.50 c #Conflicts: 1387000 | #Constraints: 132246
3600.01/3610.50 c #Conflicts: 1388000 | #Constraints: 133246
3600.01/3610.50 c #Conflicts: 1389000 | #Constraints: 134246
3600.01/3610.50 c #Conflicts: 1390000 | #Constraints: 135246
3600.01/3610.50 c #Conflicts: 1391000 | #Constraints: 136246
3600.01/3610.50 c #Conflicts: 1392000 | #Constraints: 137246
3600.01/3610.50 c #Conflicts: 1393000 | #Constraints: 138246
3600.01/3610.50 c #Conflicts: 1394000 | #Constraints: 139246
3600.01/3610.50 c #Conflicts: 1395000 | #Constraints: 140246
3600.01/3610.50 c #Conflicts: 1396000 | #Constraints: 141246
3600.01/3610.50 c #Conflicts: 1397000 | #Constraints: 142246
3600.01/3610.50 c #Conflicts: 1398000 | #Constraints: 143246
3600.01/3610.50 c #Conflicts: 1399000 | #Constraints: 144246
3600.01/3610.50 c #Conflicts: 1400000 | #Constraints: 145246
3600.01/3610.50 c #Conflicts: 1401000 | #Constraints: 146246
3600.01/3610.50 c #Conflicts: 1402000 | #Constraints: 147246
3600.01/3610.50 c #Conflicts: 1403000 | #Constraints: 148246
3600.01/3610.50 c #Conflicts: 1404000 | #Constraints: 149246
3600.01/3610.50 c #Conflicts: 1405000 | #Constraints: 150246
3600.01/3610.50 c #Conflicts: 1406000 | #Constraints: 151246
3600.01/3610.50 c #Conflicts: 1407000 | #Constraints: 152246
3600.01/3610.50 c #Conflicts: 1408000 | #Constraints: 153246
3600.01/3610.50 c #Conflicts: 1409000 | #Constraints: 154246
3600.01/3610.50 c #Conflicts: 1410000 | #Constraints: 155246
3600.01/3610.50 c #Conflicts: 1411000 | #Constraints: 156246
3600.01/3610.50 c #Conflicts: 1412000 | #Constraints: 157246
3600.01/3610.50 c #Conflicts: 1413000 | #Constraints: 158246
3600.01/3610.50 c #Conflicts: 1414000 | #Constraints: 159246
3600.01/3610.50 c #Conflicts: 1415000 | #Constraints: 160246
3600.01/3610.50 c #Conflicts: 1416000 | #Constraints: 161246
3600.01/3610.50 c #Conflicts: 1417000 | #Constraints: 162246
3600.01/3610.50 c #Conflicts: 1418000 | #Constraints: 163246
3600.01/3610.50 c #Conflicts: 1419000 | #Constraints: 164246
3600.01/3610.50 c #Conflicts: 1420000 | #Constraints: 165246
3600.01/3610.50 c cpu time 3558.52 s
3600.01/3610.50 c deterministic time 259572120703 2.60e+11
3600.01/3610.50 c optimization time 215.789 s
3600.01/3610.50 c total solve time 3342.37 s
3600.01/3610.50 c core-guided solve time 0 s
3600.01/3610.50 c propagation time 2091.51 s
3600.01/3610.50 c conflict analysis time 1103.75 s
3600.01/3610.50 c propagations 1453567156
3600.01/3610.50 c resolve steps 79162313
3600.01/3610.50 c decisions 40156647
3600.01/3610.50 c conflicts 1420271
3600.01/3610.50 c restarts 2747
3600.01/3610.50 c inprocessing phases 49
3600.01/3610.50 c garbage collections 49 ,( 100.00 )
3600.01/3610.50 c input clauses 22562 ,( 99.17 )
3600.01/3610.50 c input cardinalities 188 ,( 0.83 )
3600.01/3610.50 c input general constraints 0 ,( 0.00 )
3600.01/3610.50 c input average constraint length 6.44
3600.01/3610.50 c input average constraint degree 1.97
3600.01/3610.50 c learned clauses 1021352 ,( 71.91 )
3600.01/3610.50 c learned cardinalities 50896 ,( 3.58 )
3600.01/3610.50 c learned general constraints 348031 ,( 24.50 )
3600.01/3610.50 c learned average constraint length 673.29
3600.01/3610.50 c learned average constraint degree 13138765.40
3600.01/3610.50 c watched CF 32, 64, 128, Arb: 85378 , 0 , 0 , 0
3600.01/3610.50 c counting CF 32, 64, 128, Arb: 262653 , 0 , 0 , 0
3600.01/3610.50 c watched constraints 85378 ,( 24.53 )
3600.01/3610.50 c counting constraints 262653 ,( 75.47 )
3600.01/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1309199284 , 838705044 , 1957973891 ,( 89186993 , 1868786898 )
3600.01/3610.50 c gcd simplifications 777
3600.01/3610.50 c detected cardinalities 8160
3600.01/3610.50 c weakened non-implied lits 376813175
3600.01/3610.50 c weakened non-implying lits 188103
3600.01/3610.50 c original variables 22372
3600.01/3610.50 c clausal propagations 676393525
3600.01/3610.50 c cardinality propagations 536790057
3600.01/3610.50 c watched propagations 4467150
3600.01/3610.50 c counting propagations 221728680
3600.01/3610.50 c watch lookups 80092940249
3600.01/3610.50 c watch backjump lookups 0
3600.01/3610.50 c watch checks 32191768672
3600.01/3610.50 c propagation checks 139749944470
3600.01/3610.50 c constraint additions 4548327555
3600.01/3610.50 c trail pops 1495130582
3600.01/3610.50 c formula constraints 22750
3600.01/3610.50 c learned constraints 1420266
3600.01/3610.50 c bound constraints 0
3600.01/3610.50 c core-guided constraints 0
3600.01/3610.50 c encountered formula constraints 49058494
3600.01/3610.50 c encountered learned constraints 31523937
3600.01/3610.50 c encountered bound constraints 0
3600.01/3610.50 c encountered core-guided constraints 0
3600.01/3610.50 c LP total time 455.928 s
3600.01/3610.50 c LP solve time 436.52 s
3600.01/3610.50 c LP constraints added 22983
3600.01/3610.50 c LP constraints removed 37
3600.01/3610.50 c LP pivots internal 152609
3600.01/3610.50 c LP pivots root 132762
3600.01/3610.50 c LP calls 18
3600.01/3610.50 c LP optimalities 6
3600.01/3610.50 c LP no pivot count 0
3600.01/3610.50 c LP infeasibilities 5
3600.01/3610.50 c LP valid Farkas constraints 5
3600.01/3610.50 c LP learned Farkas constraints 5
3600.01/3610.50 c LP basis resets 0
3600.01/3610.50 c LP cycling count 0
3600.01/3610.50 c LP singular count 0
3600.01/3610.50 c LP no primal count 0
3600.01/3610.50 c LP no farkas count 0
3600.01/3610.50 c LP other issue count 0
3600.01/3610.50 c LP Gomory cuts 3
3600.01/3610.50 c LP learned cuts 422
3600.01/3610.50 c LP deleted cuts 214
3600.01/3610.50 c LP encountered Gomory constraints 0
3600.01/3610.50 c LP encountered Farkas constraints 141
3600.01/3610.50 c LP encountered learned Farkas constraints 7
3600.01/3610.50 c CG auxiliary variables introduced 0
3600.01/3610.50 c CG solutions found 0
3600.01/3610.50 c CG cores constructed 0
3600.01/3610.50 c CG core cardinality constraints returned 0
3600.01/3610.50 c CG unit cores 0
3600.01/3610.50 c CG single cores 0
3600.01/3610.50 c CG blocks removed during cardinality reduction 0
3600.01/3610.50 c CG first core best 0
3600.01/3610.50 c CG decision core best 0
3600.01/3610.50 c CG core reduction tie 0
3600.01/3610.50 c CG core degree average 0.00
3600.01/3610.50 c CG core slack average 0.00
3600.01/3610.50 c CG core upper bound improvements 0
3600.01/3610.50 c STR number of successful calls 0
3600.01/3610.50 c STR number of unsuccessful calls 0
3600.01/3610.50 c STR number of inconclusive calls 0
3600.01/3610.50 c STR number of successful attempts 0
3600.01/3610.50 c STR number of unsuccessful attempts 0
3600.01/3610.50 c STR number of inconclusive attempts 0
3600.01/3610.50 c STR average degree increase per successful call inf
3600.01/3610.50 c STR average degree increase per successful attempt inf
3600.01/3610.50 c STR total number of conflicts for successful attempts 0
3600.01/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.50 c STR average number of conflicts per successful attempt inf
3600.01/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.50 c AVG.sumWPerc 66.97
3600.01/3610.50 c bigint constraints 0
3600.01/3610.50 s UNKNOWN
3600.01/3610.50 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: 63837 MiB (61066 MiB free)
memory of node 1: 64465 MiB (61817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506833-1751174625/watcher-4506833-1751174625 -o /tmp/evaluation-result-4506833-1751174625/solver-4506833-1751174625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17822 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506833-1751174625.opb PROOFDIR/proof-4506833-1751174625
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18406, runsolver pid=18403
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125824860/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=60284 memory=15620 CPUtime=0.09 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 1639 0 0 0 8 1 0 0 20 0 1 0 33141215 61730816 3905 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 15071 3905 1984 1147 0 2498 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64476 KiB
Current children cumulated memory: 18564 KiB
[startup+0.213766 s]*
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125820828/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=61644 memory=16900 CPUtime=0.2 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 1985 0 0 0 16 4 0 0 20 0 1 0 33141215 63123456 4225 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 15411 4225 1984 1147 0 2838 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65836 KiB
Current children cumulated memory: 19844 KiB
[startup+0.313803 s]*
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125817048/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=67664 memory=23900 CPUtime=0.3 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 4576 0 0 0 24 6 0 0 20 0 1 0 33141215 69287936 5975 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 16916 5975 2272 1147 0 4343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71856 KiB
Current children cumulated memory: 26844 KiB
[startup+0.700419 s]
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125782332/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=111528 memory=59088 CPUtime=0.67 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 11610 0 0 0 58 9 0 0 20 0 1 0 33141215 114204672 14772 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 27882 14772 2272 1147 0 15309 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115720 KiB
Current children cumulated memory: 62032 KiB
[startup+1.5004 s]
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125772852/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=113308 memory=61776 CPUtime=1.47 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 12245 0 0 0 136 11 0 0 20 0 1 0 33141215 116027392 15444 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 28327 15444 2304 1147 0 15754 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 64720 KiB
[startup+3.11335 s]
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125758956/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=115404 memory=64208 CPUtime=3.08 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 12825 0 0 0 294 14 0 0 20 0 1 0 33141215 118173696 16052 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 28851 16052 2336 1147 0 16278 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119596 KiB
Current children cumulated memory: 67152 KiB
[startup+6.30038 s]
/proc/loadavg: 4.11 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125734768/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=125256 memory=74652 CPUtime=6.26 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 14915 0 0 0 590 36 0 0 20 0 1 0 33141215 128262144 18663 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 31314 18663 2336 1147 0 18741 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 129448 KiB
Current children cumulated memory: 77596 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125682604/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=139552 memory=90712 CPUtime=12.63 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 18441 0 0 0 1195 68 0 0 20 0 1 0 33141215 142901248 22678 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 34888 22678 2336 1147 0 22315 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 143744 KiB
Current children cumulated memory: 93656 KiB
[startup+25.5005 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 18409
/proc/meminfo: memFree=125630348/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=154360 memory=104664 CPUtime=25.38 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 21932 0 0 0 2439 99 0 0 20 0 1 0 33141215 158064640 26166 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 38590 26166 2336 1147 0 26017 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 158552 KiB
Current children cumulated memory: 107608 KiB
[startup+51.1135 s]
/proc/loadavg: 4.10 4.11 4.08 5/258 18411
/proc/meminfo: memFree=125484816/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=186568 memory=132636 CPUtime=50.92 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 26935 0 0 0 4917 175 0 0 20 0 1 0 33141215 191045632 33159 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 46642 33159 2336 1147 0 34069 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 190760 KiB
Current children cumulated memory: 135580 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/259 18414
/proc/meminfo: memFree=125331152/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=238616 memory=177716 CPUtime=101.91 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 35748 0 0 0 9914 277 0 0 20 0 1 0 33141215 244342784 44429 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 59654 44429 2336 1147 0 47081 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 242808 KiB
Current children cumulated memory: 180660 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 18419
/proc/meminfo: memFree=124893608/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=289284 memory=222652 CPUtime=161.69 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 40354 0 0 0 15773 396 0 0 20 0 1 0 33141215 296226816 55663 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 72321 55663 2336 1147 0 59748 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 293476 KiB
Current children cumulated memory: 225596 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 18467
/proc/meminfo: memFree=126609448/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=302380 memory=236732 CPUtime=221.47 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 43831 0 0 0 21625 522 0 0 20 0 1 0 33141215 309637120 59183 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 75595 59183 2368 1147 0 63022 0
################
# More data... #
################
/proc/18408/statm: 314112 256621 2368 1147 0 301539 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 1260640 KiB
Current children cumulated memory: 1029428 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 18671
/proc/meminfo: memFree=106195780/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1258292 memory=1027380 CPUtime=3153.07 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 158228 0 0 0 311577 3730 0 0 20 0 1 0 33141215 1288491008 256845 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 314573 256845 2368 1147 0 302000 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 1262484 KiB
Current children cumulated memory: 1030324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 18673
/proc/meminfo: memFree=105783372/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1258472 memory=1027892 CPUtime=3212.91 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 158385 0 0 0 317515 3776 0 0 20 0 1 0 33141215 1288675328 256973 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 314618 256973 2368 1147 0 302045 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 1262664 KiB
Current children cumulated memory: 1030836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 18675
/proc/meminfo: memFree=105417096/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1263112 memory=1032244 CPUtime=3272.74 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 159465 0 0 0 323450 3824 0 0 20 0 1 0 33141215 1293426688 258061 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 315778 258061 2368 1147 0 303205 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 1267304 KiB
Current children cumulated memory: 1035188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/258 18682
/proc/meminfo: memFree=104939676/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1271024 memory=1039540 CPUtime=3332.57 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 161272 0 0 0 329371 3886 0 0 20 0 1 0 33141215 1301528576 259885 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 317756 259885 2368 1147 0 305183 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 1275216 KiB
Current children cumulated memory: 1042484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 18686
/proc/meminfo: memFree=104447484/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1312756 memory=1072052 CPUtime=3392.4 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 169422 0 0 0 335299 3941 0 0 20 0 1 0 33141215 1344262144 268013 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 328189 268013 2368 1147 0 315616 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 1316948 KiB
Current children cumulated memory: 1074996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/260 18688
/proc/meminfo: memFree=103988032/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1312756 memory=1072052 CPUtime=3452.23 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 169422 0 0 0 341202 4021 0 0 20 0 1 0 33141215 1344262144 268013 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 328189 268013 2368 1147 0 315616 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 1316948 KiB
Current children cumulated memory: 1074996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18735
/proc/meminfo: memFree=110720300/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1312756 memory=1072052 CPUtime=3512.06 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 169422 0 0 0 347122 4084 0 0 20 0 1 0 33141215 1344262144 268013 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 328189 268013 2368 1147 0 315616 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 1316948 KiB
Current children cumulated memory: 1074996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 18737
/proc/meminfo: memFree=110311988/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1316236 memory=1075380 CPUtime=3571.89 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 170242 0 0 0 353060 4129 0 0 20 0 1 0 33141215 1347825664 268845 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 329059 268845 2368 1147 0 316486 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 1320428 KiB
Current children cumulated memory: 1078324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 18737
/proc/meminfo: memFree=110158304/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1318748 memory=1077300 CPUtime=3600.01 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 170716 0 0 0 355851 4150 0 0 20 0 1 0 33141215 1350397952 269325 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 329687 269325 2368 1147 0 317114 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1322940 KiB
Current children cumulated memory: 1080244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 18406 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000883 s, system=0.00438 s
[startup+3610.55 s]
# the end of solver process 18408 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3558.54 s, system=41.5237 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.5 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 18737
/proc/meminfo: memFree=110158304/131382120 swapFree=33010684/33010684
[pid=18406] ppid=18403 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18406/stat : 18406 (run-dec-log.sh) S 18403 18406 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33141214 4292608 736 18446744073709551615 94238926348288 94238927242821 140724933966128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238927481872 94238927529616 94238952837120 140724933970209 140724933970404 140724933970404 140724933976006 0
/proc/18406/statm: 1048 736 672 219 0 110 0
[pid=18408] ppid=18406 vsize=1318748 memory=1077300 CPUtime=3600.01 cores=1,3
/proc/18408/stat : 18408 (roundingsat) R 18406 18406 17810 0 -1 4194304 170716 0 0 0 355851 4150 0 0 20 0 1 0 33141215 1350397952 269325 18446744073709551615 4227072 8923433 140723770080928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22769664 140723770083687 140723770083880 140723770083880 140723770089450 0
/proc/18408/statm: 329687 269325 2368 1147 0 317114 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1322940 KiB
Current children cumulated memory: 1080244 KiB
Child status: 2
Real time (s): 3610.55
CPU time (s): 3600.06
CPU user time (s): 3558.54
CPU system time (s): 41.5237
CPU usage (%): 99.7096
Max. virtual memory (cumulated for all children) (KiB): 1322940
Max. memory (cumulated for all children) (KiB): 1080244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.54
system time used= 41.5237
maximum resident set size= 1077556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11489560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1059
involuntary context switches= 4861
# summary of solver processes directly reported to runsolver:
# pid: 18406,18408
# total CPU time (s): 3600.06
# total CPU user time (s): 3558.54
# total CPU system time (s): 41.5237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0897 second user time and 37.8937 second system time
The end
Begin job on nodeC003 at 2025-06-29 07:23:45
IDJOB=4506833
IDBENCH=158284
IDSOLVER=3352
FILE ID=nodeC003/4506833-1751174625
RUNJOBID= nodeC003-1751170906-17822
SLURM_JOB_ID= 9587531
Free space on /tmp= 432932 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506833-1751174625/watcher-4506833-1751174625 -o /tmp/evaluation-result-4506833-1751174625/solver-4506833-1751174625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17822 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506833-1751174625.opb PROOFDIR/proof-4506833-1751174625
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=1492565113
nodeC003 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 : 3491.751
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.520
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.471
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3691.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3642.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.725
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 125832724 kB
MemAvailable: 126636820 kB
Buffers: 3280 kB
Cached: 1614228 kB
SwapCached: 0 kB
Active: 3612856 kB
Inactive: 1400960 kB
Active(anon): 3414324 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 1400960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13456 kB
Writeback: 0 kB
AnonPages: 3397376 kB
Mapped: 115300 kB
Shmem: 17960 kB
KReclaimable: 88464 kB
Slab: 168964 kB
SReclaimable: 88464 kB
SUnreclaim: 80500 kB
KernelStack: 4128 kB
PageTables: 9880 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4122528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2873344 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC003 at 2025-06-29 08:23:56