0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.34 c #variables 19754 #constraints 20088
117.53/117.96 c #Conflicts: 1000 | #Constraints: 21087
117.53/117.96 c #Conflicts: 2000 | #Constraints: 22087
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 3000 | #Constraints: 21432
117.53/117.96 c #Conflicts: 4000 | #Constraints: 22432
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 5000 | #Constraints: 21928
117.53/117.96 c #Conflicts: 6000 | #Constraints: 22928
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 7000 | #Constraints: 22024
117.53/117.96 c #Conflicts: 8000 | #Constraints: 23024
117.53/117.96 c #Conflicts: 9000 | #Constraints: 24024
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 10000 | #Constraints: 22795
117.53/117.96 c #Conflicts: 11000 | #Constraints: 23795
117.53/117.96 c #Conflicts: 12000 | #Constraints: 24795
117.53/117.96 c #Conflicts: 13000 | #Constraints: 25795
117.53/117.96 c #Conflicts: 14000 | #Constraints: 26795
117.53/117.96 c #Conflicts: 15000 | #Constraints: 27795
117.53/117.96 c #Conflicts: 16000 | #Constraints: 28795
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 17000 | #Constraints: 25124
117.53/117.96 c #Conflicts: 18000 | #Constraints: 26124
117.53/117.96 c #Conflicts: 19000 | #Constraints: 27124
117.53/117.96 c #Conflicts: 20000 | #Constraints: 28124
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 21000 | #Constraints: 24873
117.53/117.96 c #Conflicts: 22000 | #Constraints: 25873
117.53/117.96 c #Conflicts: 23000 | #Constraints: 26873
117.53/117.96 c #Conflicts: 24000 | #Constraints: 27873
117.53/117.96 c #Conflicts: 25000 | #Constraints: 28873
117.53/117.96 c #Conflicts: 26000 | #Constraints: 29873
117.53/117.96 c #Conflicts: 27000 | #Constraints: 30873
117.53/117.96 c #Conflicts: 28000 | #Constraints: 31873
117.53/117.96 c #Conflicts: 29000 | #Constraints: 32873
117.53/117.96 c #Conflicts: 30000 | #Constraints: 33873
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 31000 | #Constraints: 27699
117.53/117.96 c #Conflicts: 32000 | #Constraints: 28699
117.53/117.96 c #Conflicts: 33000 | #Constraints: 29699
117.53/117.96 c #Conflicts: 34000 | #Constraints: 30699
117.53/117.96 c #Conflicts: 35000 | #Constraints: 31699
117.53/117.96 c #Conflicts: 36000 | #Constraints: 32699
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 37000 | #Constraints: 27537
117.53/117.96 c #Conflicts: 38000 | #Constraints: 28537
117.53/117.96 c #Conflicts: 39000 | #Constraints: 29537
117.53/117.96 c #Conflicts: 40000 | #Constraints: 30537
117.53/117.96 c #Conflicts: 41000 | #Constraints: 31537
117.53/117.96 c #Conflicts: 42000 | #Constraints: 32537
117.53/117.96 c #Conflicts: 43000 | #Constraints: 33537
117.53/117.96 c #Conflicts: 44000 | #Constraints: 34537
117.53/117.96 c #Conflicts: 45000 | #Constraints: 35537
117.53/117.96 c #Conflicts: 46000 | #Constraints: 36537
117.53/117.96 c #Conflicts: 47000 | #Constraints: 37537
117.53/117.96 c #Conflicts: 48000 | #Constraints: 38537
117.53/117.96 c #Conflicts: 49000 | #Constraints: 39537
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 50000 | #Constraints: 30728
117.53/117.96 c #Conflicts: 51000 | #Constraints: 31728
117.53/117.96 c #Conflicts: 52000 | #Constraints: 32728
117.53/117.96 c #Conflicts: 53000 | #Constraints: 33728
117.53/117.96 c #Conflicts: 54000 | #Constraints: 34728
117.53/117.96 c #Conflicts: 55000 | #Constraints: 35728
117.53/117.96 c #Conflicts: 56000 | #Constraints: 36728
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
117.53/117.96 c #Conflicts: 57000 | #Constraints: 30006
117.53/117.96 c #Conflicts: 58000 | #Constraints: 31006
117.53/117.96 c #Conflicts: 59000 | #Constraints: 32006
117.53/117.96 c #Conflicts: 60000 | #Constraints: 33006
117.53/117.96 c #Conflicts: 61000 | #Constraints: 34006
117.53/117.96 c #Conflicts: 62000 | #Constraints: 35006
117.53/117.96 c #Conflicts: 63000 | #Constraints: 36006
117.53/117.96 c #Conflicts: 64000 | #Constraints: 37006
117.53/117.96 c #Conflicts: 65000 | #Constraints: 38006
117.53/117.96 c #Conflicts: 66000 | #Constraints: 39006
117.53/117.96 c #Conflicts: 67000 | #Constraints: 40006
117.53/117.96 c #Conflicts: 68000 | #Constraints: 41006
117.53/117.96 c #Conflicts: 69000 | #Constraints: 42006
117.53/117.96 c #Conflicts: 70000 | #Constraints: 43006
117.53/117.96 c #Conflicts: 71000 | #Constraints: 44006
117.53/117.96 c #Conflicts: 72000 | #Constraints: 45006
117.53/117.96 c INPROCESSING
117.53/117.96 c GARBAGE COLLECT
246.66/247.43 c #Conflicts: 73000 | #Constraints: 33569
246.66/247.43 c #Conflicts: 74000 | #Constraints: 34569
246.66/247.43 c #Conflicts: 75000 | #Constraints: 35569
246.66/247.43 c #Conflicts: 76000 | #Constraints: 36569
246.66/247.43 c #Conflicts: 77000 | #Constraints: 37569
246.66/247.43 c #Conflicts: 78000 | #Constraints: 38569
246.66/247.43 c #Conflicts: 79000 | #Constraints: 39569
246.66/247.43 c #Conflicts: 80000 | #Constraints: 40569
246.66/247.43 c INPROCESSING
246.66/247.43 c GARBAGE COLLECT
246.66/247.43 c #Conflicts: 81000 | #Constraints: 32537
246.66/247.43 c #Conflicts: 82000 | #Constraints: 33537
246.66/247.43 c #Conflicts: 83000 | #Constraints: 34537
246.66/247.43 c #Conflicts: 84000 | #Constraints: 35537
246.66/247.43 c #Conflicts: 85000 | #Constraints: 36537
246.66/247.43 c #Conflicts: 86000 | #Constraints: 37537
246.66/247.43 c #Conflicts: 87000 | #Constraints: 38537
246.66/247.43 c #Conflicts: 88000 | #Constraints: 39537
246.66/247.43 c #Conflicts: 89000 | #Constraints: 40537
246.66/247.43 c #Conflicts: 90000 | #Constraints: 41537
246.66/247.43 c #Conflicts: 91000 | #Constraints: 42537
246.66/247.43 c #Conflicts: 92000 | #Constraints: 43537
246.66/247.43 c #Conflicts: 93000 | #Constraints: 44537
246.66/247.43 c #Conflicts: 94000 | #Constraints: 45537
246.66/247.43 c #Conflicts: 95000 | #Constraints: 46537
246.66/247.43 c #Conflicts: 96000 | #Constraints: 47537
246.66/247.43 c #Conflicts: 97000 | #Constraints: 48537
246.66/247.43 c #Conflicts: 98000 | #Constraints: 49537
246.66/247.43 c #Conflicts: 99000 | #Constraints: 50537
246.66/247.43 c #Conflicts: 100000 | #Constraints: 51537
246.66/247.43 c INPROCESSING
246.66/247.43 c GARBAGE COLLECT
246.66/247.43 c #Conflicts: 101000 | #Constraints: 37060
246.66/247.43 c #Conflicts: 102000 | #Constraints: 38060
246.66/247.43 c #Conflicts: 103000 | #Constraints: 39060
246.66/247.43 c #Conflicts: 104000 | #Constraints: 40060
246.66/247.43 c #Conflicts: 105000 | #Constraints: 41060
246.66/247.43 c #Conflicts: 106000 | #Constraints: 42060
246.66/247.43 c #Conflicts: 107000 | #Constraints: 43060
246.66/247.43 c #Conflicts: 108000 | #Constraints: 44060
246.66/247.43 c #Conflicts: 109000 | #Constraints: 45060
246.66/247.43 c INPROCESSING
246.66/247.43 c GARBAGE COLLECT
246.66/247.43 c #Conflicts: 110000 | #Constraints: 35177
246.66/247.43 c #Conflicts: 111000 | #Constraints: 36177
246.66/247.43 c #Conflicts: 112000 | #Constraints: 37177
246.66/247.43 c #Conflicts: 113000 | #Constraints: 38177
246.66/247.43 c #Conflicts: 114000 | #Constraints: 39177
246.66/247.43 c #Conflicts: 115000 | #Constraints: 40177
246.66/247.43 c #Conflicts: 116000 | #Constraints: 41177
246.66/247.43 c #Conflicts: 117000 | #Constraints: 42177
246.66/247.43 c #Conflicts: 118000 | #Constraints: 43177
246.66/247.43 c #Conflicts: 119000 | #Constraints: 44177
246.66/247.43 c #Conflicts: 120000 | #Constraints: 45177
246.66/247.43 c #Conflicts: 121000 | #Constraints: 46177
246.66/247.43 c #Conflicts: 122000 | #Constraints: 47177
246.66/247.43 c #Conflicts: 123000 | #Constraints: 48177
246.66/247.43 c #Conflicts: 124000 | #Constraints: 49177
246.66/247.43 c #Conflicts: 125000 | #Constraints: 50177
246.66/247.43 c #Conflicts: 126000 | #Constraints: 51177
246.66/247.43 c #Conflicts: 127000 | #Constraints: 52177
246.66/247.43 c #Conflicts: 128000 | #Constraints: 53177
246.66/247.43 c #Conflicts: 129000 | #Constraints: 54177
246.66/247.43 c #Conflicts: 130000 | #Constraints: 55177
246.66/247.43 c #Conflicts: 131000 | #Constraints: 56177
246.66/247.43 c #Conflicts: 132000 | #Constraints: 57177
246.66/247.43 c INPROCESSING
246.66/247.43 c GARBAGE COLLECT
246.66/247.43 c #Conflicts: 133000 | #Constraints: 40114
246.66/247.43 c #Conflicts: 134000 | #Constraints: 41114
246.66/247.43 c #Conflicts: 135000 | #Constraints: 42114
246.66/247.43 c #Conflicts: 136000 | #Constraints: 43114
246.66/247.43 c #Conflicts: 137000 | #Constraints: 44114
246.66/247.43 c #Conflicts: 138000 | #Constraints: 45114
246.66/247.43 c #Conflicts: 139000 | #Constraints: 46114
246.66/247.43 c #Conflicts: 140000 | #Constraints: 47114
246.66/247.43 c #Conflicts: 141000 | #Constraints: 48114
246.66/247.43 c #Conflicts: 142000 | #Constraints: 49114
246.66/247.43 c INPROCESSING
246.66/247.43 c GARBAGE COLLECT
246.66/247.43 c #Conflicts: 143000 | #Constraints: 38016
246.66/247.43 c #Conflicts: 144000 | #Constraints: 39016
246.66/247.43 c #Conflicts: 145000 | #Constraints: 40016
246.66/247.43 c #Conflicts: 146000 | #Constraints: 41016
246.66/247.43 c #Conflicts: 147000 | #Constraints: 42016
246.66/247.43 c #Conflicts: 148000 | #Constraints: 43016
406.50/407.72 c #Conflicts: 149000 | #Constraints: 44016
406.50/407.72 c #Conflicts: 150000 | #Constraints: 45016
406.50/407.72 c #Conflicts: 151000 | #Constraints: 46016
406.50/407.72 c #Conflicts: 152000 | #Constraints: 47016
406.50/407.72 c #Conflicts: 153000 | #Constraints: 48016
406.50/407.72 c #Conflicts: 154000 | #Constraints: 49016
406.50/407.72 c #Conflicts: 155000 | #Constraints: 50016
406.50/407.72 c #Conflicts: 156000 | #Constraints: 51016
406.50/407.72 c #Conflicts: 157000 | #Constraints: 52016
406.50/407.72 c #Conflicts: 158000 | #Constraints: 53016
406.50/407.72 c #Conflicts: 159000 | #Constraints: 54016
406.50/407.72 c #Conflicts: 160000 | #Constraints: 55016
406.50/407.72 c #Conflicts: 161000 | #Constraints: 56016
406.50/407.72 c #Conflicts: 162000 | #Constraints: 57016
406.50/407.72 c #Conflicts: 163000 | #Constraints: 58016
406.50/407.72 c #Conflicts: 164000 | #Constraints: 59016
406.50/407.72 c #Conflicts: 165000 | #Constraints: 60016
406.50/407.72 c #Conflicts: 166000 | #Constraints: 61016
406.50/407.72 c #Conflicts: 167000 | #Constraints: 62016
406.50/407.72 c #Conflicts: 168000 | #Constraints: 63016
406.50/407.73 c INPROCESSING
406.50/407.73 c GARBAGE COLLECT
406.50/407.73 c #Conflicts: 169000 | #Constraints: 43033
406.50/407.73 c #Conflicts: 170000 | #Constraints: 44033
406.50/407.73 c #Conflicts: 171000 | #Constraints: 45033
406.50/407.73 c #Conflicts: 172000 | #Constraints: 46033
406.50/407.73 c #Conflicts: 173000 | #Constraints: 47033
406.50/407.73 c #Conflicts: 174000 | #Constraints: 48033
406.50/407.73 c #Conflicts: 175000 | #Constraints: 49033
406.50/407.73 c #Conflicts: 176000 | #Constraints: 50033
406.50/407.73 c #Conflicts: 177000 | #Constraints: 51033
406.50/407.73 c #Conflicts: 178000 | #Constraints: 52033
406.50/407.73 c #Conflicts: 179000 | #Constraints: 53033
406.50/407.73 c #Conflicts: 180000 | #Constraints: 54033
406.50/407.73 c INPROCESSING
406.50/407.73 c GARBAGE COLLECT
406.50/407.73 c #Conflicts: 181000 | #Constraints: 41155
406.50/407.73 c #Conflicts: 182000 | #Constraints: 42155
406.50/407.73 c #Conflicts: 183000 | #Constraints: 43155
406.50/407.73 c #Conflicts: 184000 | #Constraints: 44155
406.50/407.73 c #Conflicts: 185000 | #Constraints: 45155
406.50/407.73 c #Conflicts: 186000 | #Constraints: 46155
406.50/407.73 c #Conflicts: 187000 | #Constraints: 47155
406.50/407.73 c #Conflicts: 188000 | #Constraints: 48155
406.50/407.73 c #Conflicts: 189000 | #Constraints: 49155
406.50/407.73 c #Conflicts: 190000 | #Constraints: 50155
406.50/407.73 c #Conflicts: 191000 | #Constraints: 51155
406.50/407.73 c #Conflicts: 192000 | #Constraints: 52155
406.50/407.73 c #Conflicts: 193000 | #Constraints: 53155
406.50/407.73 c #Conflicts: 194000 | #Constraints: 54155
406.50/407.73 c #Conflicts: 195000 | #Constraints: 55155
406.50/407.73 c #Conflicts: 196000 | #Constraints: 56155
406.50/407.73 c #Conflicts: 197000 | #Constraints: 57155
406.50/407.73 c #Conflicts: 198000 | #Constraints: 58155
406.50/407.73 c #Conflicts: 199000 | #Constraints: 59155
406.50/407.73 c #Conflicts: 200000 | #Constraints: 60155
406.50/407.73 c #Conflicts: 201000 | #Constraints: 61155
406.50/407.73 c #Conflicts: 202000 | #Constraints: 62155
406.50/407.73 c #Conflicts: 203000 | #Constraints: 63155
406.50/407.73 c #Conflicts: 204000 | #Constraints: 64155
406.50/407.73 c #Conflicts: 205000 | #Constraints: 65155
406.50/407.73 c #Conflicts: 206000 | #Constraints: 66155
406.50/407.73 c #Conflicts: 207000 | #Constraints: 67155
406.50/407.73 c #Conflicts: 208000 | #Constraints: 68155
406.50/407.73 c #Conflicts: 209000 | #Constraints: 69155
406.50/407.73 c INPROCESSING
406.50/407.73 c GARBAGE COLLECT
406.50/407.73 c #Conflicts: 210000 | #Constraints: 46266
406.50/407.73 c #Conflicts: 211000 | #Constraints: 47266
406.50/407.73 c #Conflicts: 212000 | #Constraints: 48266
406.50/407.73 c #Conflicts: 213000 | #Constraints: 49266
406.50/407.73 c #Conflicts: 214000 | #Constraints: 50266
406.50/407.73 c #Conflicts: 215000 | #Constraints: 51266
406.50/407.73 c #Conflicts: 216000 | #Constraints: 52266
406.50/407.73 c #Conflicts: 217000 | #Constraints: 53266
406.50/407.73 c #Conflicts: 218000 | #Constraints: 54266
406.50/407.73 c #Conflicts: 219000 | #Constraints: 55266
406.50/407.73 c #Conflicts: 220000 | #Constraints: 56266
406.50/407.73 c #Conflicts: 221000 | #Constraints: 57266
406.50/407.73 c #Conflicts: 222000 | #Constraints: 58266
406.50/407.73 c INPROCESSING
406.50/407.73 c GARBAGE COLLECT
406.50/407.73 c #Conflicts: 223000 | #Constraints: 43481
406.50/407.73 c #Conflicts: 224000 | #Constraints: 44481
573.72/575.45 c #Conflicts: 225000 | #Constraints: 45481
573.72/575.45 c #Conflicts: 226000 | #Constraints: 46481
573.72/575.45 c #Conflicts: 227000 | #Constraints: 47481
573.72/575.45 c #Conflicts: 228000 | #Constraints: 48481
573.72/575.45 c #Conflicts: 229000 | #Constraints: 49481
573.72/575.45 c #Conflicts: 230000 | #Constraints: 50481
573.72/575.45 c #Conflicts: 231000 | #Constraints: 51481
573.72/575.45 c #Conflicts: 232000 | #Constraints: 52481
573.72/575.45 c #Conflicts: 233000 | #Constraints: 53481
573.72/575.45 c #Conflicts: 234000 | #Constraints: 54481
573.72/575.45 c #Conflicts: 235000 | #Constraints: 55481
573.72/575.45 c #Conflicts: 236000 | #Constraints: 56481
573.72/575.45 c #Conflicts: 237000 | #Constraints: 57481
573.72/575.45 c #Conflicts: 238000 | #Constraints: 58481
573.72/575.45 c #Conflicts: 239000 | #Constraints: 59481
573.72/575.45 c #Conflicts: 240000 | #Constraints: 60481
573.72/575.45 c #Conflicts: 241000 | #Constraints: 61481
573.72/575.45 c #Conflicts: 242000 | #Constraints: 62481
573.72/575.45 c #Conflicts: 243000 | #Constraints: 63481
573.72/575.45 c #Conflicts: 244000 | #Constraints: 64481
573.72/575.45 c #Conflicts: 245000 | #Constraints: 65481
573.72/575.45 c #Conflicts: 246000 | #Constraints: 66481
573.72/575.45 c #Conflicts: 247000 | #Constraints: 67481
573.72/575.45 c #Conflicts: 248000 | #Constraints: 68481
573.72/575.45 c #Conflicts: 249000 | #Constraints: 69481
573.72/575.45 c #Conflicts: 250000 | #Constraints: 70481
573.72/575.45 c #Conflicts: 251000 | #Constraints: 71481
573.72/575.45 c #Conflicts: 252000 | #Constraints: 72481
573.72/575.45 c #Conflicts: 253000 | #Constraints: 73481
573.72/575.45 c #Conflicts: 254000 | #Constraints: 74481
573.72/575.45 c INPROCESSING
573.72/575.45 c GARBAGE COLLECT
573.72/575.45 c #Conflicts: 255000 | #Constraints: 49038
573.72/575.45 c #Conflicts: 256000 | #Constraints: 50038
573.72/575.45 c #Conflicts: 257000 | #Constraints: 51038
573.72/575.45 c #Conflicts: 258000 | #Constraints: 52038
573.72/575.45 c #Conflicts: 259000 | #Constraints: 53038
573.72/575.45 c #Conflicts: 260000 | #Constraints: 54038
573.72/575.45 c #Conflicts: 261000 | #Constraints: 55038
573.72/575.45 c #Conflicts: 262000 | #Constraints: 56038
573.72/575.45 c #Conflicts: 263000 | #Constraints: 57038
573.72/575.45 c #Conflicts: 264000 | #Constraints: 58038
573.72/575.45 c #Conflicts: 265000 | #Constraints: 59038
573.72/575.45 c #Conflicts: 266000 | #Constraints: 60038
573.72/575.45 c #Conflicts: 267000 | #Constraints: 61038
573.72/575.45 c #Conflicts: 268000 | #Constraints: 62038
573.72/575.45 c INPROCESSING
573.72/575.45 c GARBAGE COLLECT
573.72/575.45 c #Conflicts: 269000 | #Constraints: 45733
573.72/575.45 c #Conflicts: 270000 | #Constraints: 46733
573.72/575.45 c #Conflicts: 271000 | #Constraints: 47733
573.72/575.45 c #Conflicts: 272000 | #Constraints: 48733
573.72/575.45 c #Conflicts: 273000 | #Constraints: 49734
573.72/575.45 c #Conflicts: 274000 | #Constraints: 50734
573.72/575.45 c #Conflicts: 275000 | #Constraints: 51734
573.72/575.45 c #Conflicts: 276000 | #Constraints: 52734
573.72/575.45 c #Conflicts: 277000 | #Constraints: 53734
573.72/575.45 c #Conflicts: 278000 | #Constraints: 54734
573.72/575.45 c #Conflicts: 279000 | #Constraints: 55734
573.72/575.45 c #Conflicts: 280000 | #Constraints: 56734
573.72/575.45 c #Conflicts: 281000 | #Constraints: 57734
573.72/575.45 c #Conflicts: 282000 | #Constraints: 58734
573.72/575.45 c #Conflicts: 283000 | #Constraints: 59734
573.72/575.45 c #Conflicts: 284000 | #Constraints: 60734
573.72/575.45 c #Conflicts: 285000 | #Constraints: 61734
573.72/575.45 c #Conflicts: 286000 | #Constraints: 62734
573.72/575.45 c #Conflicts: 287000 | #Constraints: 63734
573.72/575.45 c #Conflicts: 288000 | #Constraints: 64734
573.72/575.45 c #Conflicts: 289000 | #Constraints: 65734
573.72/575.45 c #Conflicts: 290000 | #Constraints: 66734
573.72/575.45 c #Conflicts: 291000 | #Constraints: 67734
573.72/575.45 c #Conflicts: 292000 | #Constraints: 68734
573.72/575.45 c #Conflicts: 293000 | #Constraints: 69734
573.72/575.45 c #Conflicts: 294000 | #Constraints: 70734
573.72/575.45 c #Conflicts: 295000 | #Constraints: 71734
573.72/575.45 c #Conflicts: 296000 | #Constraints: 72734
573.72/575.45 c #Conflicts: 297000 | #Constraints: 73734
573.72/575.45 c #Conflicts: 298000 | #Constraints: 74734
573.72/575.45 c #Conflicts: 299000 | #Constraints: 75734
573.72/575.45 c #Conflicts: 300000 | #Constraints: 76734
573.72/575.45 c #Conflicts: 301000 | #Constraints: 77734
573.72/575.45 c #Conflicts: 302000 | #Constraints: 78734
714.03/716.12 c #Conflicts: 303000 | #Constraints: 79734
714.03/716.12 c INPROCESSING
714.03/716.12 c GARBAGE COLLECT
714.03/716.12 c #Conflicts: 304000 | #Constraints: 51431
714.03/716.12 c #Conflicts: 305000 | #Constraints: 52431
714.03/716.12 c #Conflicts: 306000 | #Constraints: 53431
714.03/716.12 c #Conflicts: 307000 | #Constraints: 54431
714.03/716.12 c #Conflicts: 308000 | #Constraints: 55431
714.03/716.12 c #Conflicts: 309000 | #Constraints: 56431
714.03/716.12 c #Conflicts: 310000 | #Constraints: 57431
714.03/716.12 c #Conflicts: 311000 | #Constraints: 58431
714.03/716.12 c #Conflicts: 312000 | #Constraints: 59431
714.03/716.12 c #Conflicts: 313000 | #Constraints: 60431
714.03/716.12 c #Conflicts: 314000 | #Constraints: 61431
714.03/716.12 c #Conflicts: 315000 | #Constraints: 62431
714.03/716.12 c #Conflicts: 316000 | #Constraints: 63431
714.03/716.12 c #Conflicts: 317000 | #Constraints: 64431
714.03/716.12 c #Conflicts: 318000 | #Constraints: 65431
714.03/716.12 c #Conflicts: 319000 | #Constraints: 66431
714.03/716.12 c INPROCESSING
714.03/716.12 c GARBAGE COLLECT
714.03/716.12 c #Conflicts: 320000 | #Constraints: 48612
714.03/716.12 c #Conflicts: 321000 | #Constraints: 49612
714.03/716.12 c #Conflicts: 322000 | #Constraints: 50612
714.03/716.12 c #Conflicts: 323000 | #Constraints: 51612
714.03/716.12 c #Conflicts: 324000 | #Constraints: 52612
714.03/716.12 c #Conflicts: 325000 | #Constraints: 53612
714.03/716.12 c #Conflicts: 326000 | #Constraints: 54612
714.03/716.12 c #Conflicts: 327000 | #Constraints: 55612
714.03/716.12 c #Conflicts: 328000 | #Constraints: 56612
714.03/716.12 c #Conflicts: 329000 | #Constraints: 57612
714.03/716.12 c #Conflicts: 330000 | #Constraints: 58612
714.03/716.12 c #Conflicts: 331000 | #Constraints: 59612
714.03/716.12 c #Conflicts: 332000 | #Constraints: 60612
714.03/716.12 c #Conflicts: 333000 | #Constraints: 61612
714.03/716.12 c #Conflicts: 334000 | #Constraints: 62612
714.03/716.12 c #Conflicts: 335000 | #Constraints: 63612
714.03/716.12 c #Conflicts: 336000 | #Constraints: 64612
714.03/716.12 c #Conflicts: 337000 | #Constraints: 65612
714.03/716.12 c #Conflicts: 338000 | #Constraints: 66612
714.03/716.12 c #Conflicts: 339000 | #Constraints: 67612
714.03/716.12 c #Conflicts: 340000 | #Constraints: 68612
714.03/716.12 c #Conflicts: 341000 | #Constraints: 69612
714.03/716.12 c #Conflicts: 342000 | #Constraints: 70612
714.03/716.12 c #Conflicts: 343000 | #Constraints: 71612
714.03/716.12 c #Conflicts: 344000 | #Constraints: 72612
714.03/716.12 c #Conflicts: 345000 | #Constraints: 73612
714.03/716.12 c #Conflicts: 346000 | #Constraints: 74612
714.03/716.12 c #Conflicts: 347000 | #Constraints: 75612
714.03/716.12 c #Conflicts: 348000 | #Constraints: 76612
714.03/716.12 c #Conflicts: 349000 | #Constraints: 77612
714.03/716.12 c #Conflicts: 350000 | #Constraints: 78612
714.03/716.12 c #Conflicts: 351000 | #Constraints: 79612
714.03/716.12 c #Conflicts: 352000 | #Constraints: 80612
714.03/716.12 c #Conflicts: 353000 | #Constraints: 81612
714.03/716.12 c #Conflicts: 354000 | #Constraints: 82612
714.03/716.12 c #Conflicts: 355000 | #Constraints: 83612
714.03/716.12 c #Conflicts: 356000 | #Constraints: 84612
714.03/716.12 c #Conflicts: 357000 | #Constraints: 85612
714.03/716.12 c INPROCESSING
714.03/716.12 c GARBAGE COLLECT
714.03/716.12 c #Conflicts: 358000 | #Constraints: 54412
714.03/716.12 c #Conflicts: 359000 | #Constraints: 55412
714.03/716.12 c #Conflicts: 360000 | #Constraints: 56412
714.03/716.12 c #Conflicts: 361000 | #Constraints: 57412
714.03/716.12 c #Conflicts: 362000 | #Constraints: 58412
714.03/716.12 c #Conflicts: 363000 | #Constraints: 59412
714.03/716.12 c #Conflicts: 364000 | #Constraints: 60412
714.03/716.12 c #Conflicts: 365000 | #Constraints: 61412
714.03/716.12 c #Conflicts: 366000 | #Constraints: 62412
714.03/716.12 c #Conflicts: 367000 | #Constraints: 63412
714.03/716.12 c #Conflicts: 368000 | #Constraints: 64412
714.03/716.12 c #Conflicts: 369000 | #Constraints: 65412
714.03/716.12 c #Conflicts: 370000 | #Constraints: 66412
714.03/716.12 c #Conflicts: 371000 | #Constraints: 67412
714.03/716.12 c #Conflicts: 372000 | #Constraints: 68412
714.03/716.12 c #Conflicts: 373000 | #Constraints: 69412
714.03/716.12 c #Conflicts: 374000 | #Constraints: 70412
714.03/716.12 c INPROCESSING
714.03/716.12 c GARBAGE COLLECT
714.03/716.12 c #Conflicts: 375000 | #Constraints: 51266
714.03/716.12 c #Conflicts: 376000 | #Constraints: 52266
714.03/716.12 c #Conflicts: 377000 | #Constraints: 53266
714.03/716.12 c #Conflicts: 378000 | #Constraints: 54266
881.64/884.22 c #Conflicts: 379000 | #Constraints: 55266
881.64/884.22 c #Conflicts: 380000 | #Constraints: 56266
881.64/884.22 c #Conflicts: 381000 | #Constraints: 57266
881.64/884.22 c #Conflicts: 382000 | #Constraints: 58266
881.64/884.22 c #Conflicts: 383000 | #Constraints: 59266
881.64/884.22 c #Conflicts: 384000 | #Constraints: 60266
881.64/884.22 c #Conflicts: 385000 | #Constraints: 61266
881.64/884.22 c #Conflicts: 386000 | #Constraints: 62266
881.64/884.22 c #Conflicts: 387000 | #Constraints: 63266
881.64/884.22 c #Conflicts: 388000 | #Constraints: 64266
881.64/884.22 c #Conflicts: 389000 | #Constraints: 65266
881.64/884.22 c #Conflicts: 390000 | #Constraints: 66266
881.64/884.22 c #Conflicts: 391000 | #Constraints: 67266
881.64/884.22 c #Conflicts: 392000 | #Constraints: 68266
881.64/884.22 c #Conflicts: 393000 | #Constraints: 69266
881.64/884.22 c #Conflicts: 394000 | #Constraints: 70266
881.64/884.22 c #Conflicts: 395000 | #Constraints: 71266
881.64/884.22 c #Conflicts: 396000 | #Constraints: 72266
881.64/884.22 c #Conflicts: 397000 | #Constraints: 73266
881.64/884.22 c #Conflicts: 398000 | #Constraints: 74266
881.64/884.22 c #Conflicts: 399000 | #Constraints: 75266
881.64/884.22 c #Conflicts: 400000 | #Constraints: 76266
881.64/884.22 c #Conflicts: 401000 | #Constraints: 77266
881.64/884.22 c #Conflicts: 402000 | #Constraints: 78266
881.64/884.22 c #Conflicts: 403000 | #Constraints: 79266
881.64/884.22 c #Conflicts: 404000 | #Constraints: 80266
881.64/884.22 c #Conflicts: 405000 | #Constraints: 81266
881.64/884.22 c #Conflicts: 406000 | #Constraints: 82266
881.64/884.22 c #Conflicts: 407000 | #Constraints: 83266
881.64/884.22 c #Conflicts: 408000 | #Constraints: 84266
881.64/884.22 c #Conflicts: 409000 | #Constraints: 85266
881.64/884.22 c #Conflicts: 410000 | #Constraints: 86266
881.64/884.22 c #Conflicts: 411000 | #Constraints: 87266
881.64/884.22 c #Conflicts: 412000 | #Constraints: 88266
881.64/884.22 c #Conflicts: 413000 | #Constraints: 89266
881.64/884.22 c #Conflicts: 414000 | #Constraints: 90266
881.64/884.22 c #Conflicts: 415000 | #Constraints: 91266
881.64/884.22 c INPROCESSING
881.64/884.22 c GARBAGE COLLECT
881.64/884.22 c #Conflicts: 416000 | #Constraints: 57069
881.64/884.22 c #Conflicts: 417000 | #Constraints: 58069
881.64/884.22 c #Conflicts: 418000 | #Constraints: 59069
881.64/884.22 c #Conflicts: 419000 | #Constraints: 60069
881.64/884.22 c #Conflicts: 420000 | #Constraints: 61069
881.64/884.22 c #Conflicts: 421000 | #Constraints: 62069
881.64/884.22 c #Conflicts: 422000 | #Constraints: 63069
881.64/884.22 c #Conflicts: 423000 | #Constraints: 64069
881.64/884.22 c #Conflicts: 424000 | #Constraints: 65069
881.64/884.22 c #Conflicts: 425000 | #Constraints: 66069
881.64/884.22 c #Conflicts: 426000 | #Constraints: 67069
881.64/884.22 c #Conflicts: 427000 | #Constraints: 68069
881.64/884.22 c #Conflicts: 428000 | #Constraints: 69069
881.64/884.22 c #Conflicts: 429000 | #Constraints: 70069
881.64/884.22 c #Conflicts: 430000 | #Constraints: 71069
881.64/884.22 c #Conflicts: 431000 | #Constraints: 72069
881.64/884.22 c #Conflicts: 432000 | #Constraints: 73069
881.64/884.22 c #Conflicts: 433000 | #Constraints: 74069
881.64/884.22 c #Conflicts: 434000 | #Constraints: 75069
881.64/884.22 c INPROCESSING
881.64/884.22 c GARBAGE COLLECT
881.64/884.22 c #Conflicts: 435000 | #Constraints: 54183
881.64/884.22 c #Conflicts: 436000 | #Constraints: 55183
881.64/884.22 c #Conflicts: 437000 | #Constraints: 56183
881.64/884.22 c #Conflicts: 438000 | #Constraints: 57183
881.64/884.22 c #Conflicts: 439000 | #Constraints: 58183
881.64/884.22 c #Conflicts: 440000 | #Constraints: 59183
881.64/884.22 c #Conflicts: 441000 | #Constraints: 60183
881.64/884.22 c #Conflicts: 442000 | #Constraints: 61183
881.64/884.22 c #Conflicts: 443000 | #Constraints: 62183
881.64/884.22 c #Conflicts: 444000 | #Constraints: 63183
881.64/884.22 c #Conflicts: 445000 | #Constraints: 64184
881.64/884.22 c #Conflicts: 446000 | #Constraints: 65184
881.64/884.22 c #Conflicts: 447000 | #Constraints: 66184
881.64/884.22 c #Conflicts: 448000 | #Constraints: 67184
881.64/884.22 c #Conflicts: 449000 | #Constraints: 68184
881.64/884.22 c #Conflicts: 450000 | #Constraints: 69184
881.64/884.22 c #Conflicts: 451000 | #Constraints: 70184
881.64/884.22 c #Conflicts: 452000 | #Constraints: 71184
881.64/884.22 c #Conflicts: 453000 | #Constraints: 72184
881.64/884.22 c #Conflicts: 454000 | #Constraints: 73184
881.64/884.22 c #Conflicts: 455000 | #Constraints: 74184
1052.56/1055.63 c #Conflicts: 456000 | #Constraints: 75184
1052.56/1055.63 c #Conflicts: 457000 | #Constraints: 76184
1052.56/1055.63 c #Conflicts: 458000 | #Constraints: 77184
1052.56/1055.63 c #Conflicts: 459000 | #Constraints: 78184
1052.56/1055.63 c #Conflicts: 460000 | #Constraints: 79184
1052.56/1055.63 c #Conflicts: 461000 | #Constraints: 80184
1052.56/1055.63 c #Conflicts: 462000 | #Constraints: 81184
1052.56/1055.63 c #Conflicts: 463000 | #Constraints: 82184
1052.56/1055.63 c #Conflicts: 464000 | #Constraints: 83184
1052.56/1055.63 c #Conflicts: 465000 | #Constraints: 84184
1052.56/1055.63 c #Conflicts: 466000 | #Constraints: 85184
1052.56/1055.63 c #Conflicts: 467000 | #Constraints: 86184
1052.56/1055.63 c #Conflicts: 468000 | #Constraints: 87184
1052.56/1055.63 c #Conflicts: 469000 | #Constraints: 88184
1052.56/1055.63 c #Conflicts: 470000 | #Constraints: 89184
1052.56/1055.63 c #Conflicts: 471000 | #Constraints: 90184
1052.56/1055.63 c #Conflicts: 472000 | #Constraints: 91184
1052.56/1055.63 c #Conflicts: 473000 | #Constraints: 92184
1052.56/1055.63 c #Conflicts: 474000 | #Constraints: 93184
1052.56/1055.63 c #Conflicts: 475000 | #Constraints: 94184
1052.56/1055.63 c #Conflicts: 476000 | #Constraints: 95184
1052.56/1055.63 c #Conflicts: 477000 | #Constraints: 96184
1052.56/1055.63 c #Conflicts: 478000 | #Constraints: 97184
1052.56/1055.63 c INPROCESSING
1052.56/1055.63 c GARBAGE COLLECT
1052.56/1055.63 c #Conflicts: 479000 | #Constraints: 60353
1052.56/1055.63 c #Conflicts: 480000 | #Constraints: 61353
1052.56/1055.63 c #Conflicts: 481000 | #Constraints: 62353
1052.56/1055.63 c #Conflicts: 482000 | #Constraints: 63353
1052.56/1055.63 c #Conflicts: 483000 | #Constraints: 64353
1052.56/1055.63 c #Conflicts: 484000 | #Constraints: 65353
1052.56/1055.63 c #Conflicts: 485000 | #Constraints: 66353
1052.56/1055.63 c #Conflicts: 486000 | #Constraints: 67353
1052.56/1055.63 c #Conflicts: 487000 | #Constraints: 68353
1052.56/1055.63 c #Conflicts: 488000 | #Constraints: 69353
1052.56/1055.63 c #Conflicts: 489000 | #Constraints: 70353
1052.56/1055.63 c #Conflicts: 490000 | #Constraints: 71353
1052.56/1055.63 c #Conflicts: 491000 | #Constraints: 72353
1052.56/1055.63 c #Conflicts: 492000 | #Constraints: 73353
1052.56/1055.63 c #Conflicts: 493000 | #Constraints: 74353
1052.56/1055.63 c #Conflicts: 494000 | #Constraints: 75353
1052.56/1055.63 c #Conflicts: 495000 | #Constraints: 76353
1052.56/1055.63 c #Conflicts: 496000 | #Constraints: 77353
1052.56/1055.63 c #Conflicts: 497000 | #Constraints: 78353
1052.56/1055.63 c #Conflicts: 498000 | #Constraints: 79353
1052.56/1055.63 c INPROCESSING
1052.56/1055.63 c GARBAGE COLLECT
1052.56/1055.63 c #Conflicts: 499000 | #Constraints: 56060
1052.56/1055.63 c #Conflicts: 500000 | #Constraints: 57060
1052.56/1055.63 c #Conflicts: 501000 | #Constraints: 58060
1052.56/1055.63 c #Conflicts: 502000 | #Constraints: 59060
1052.56/1055.63 c #Conflicts: 503000 | #Constraints: 60060
1052.56/1055.63 c #Conflicts: 504000 | #Constraints: 61060
1052.56/1055.63 c #Conflicts: 505000 | #Constraints: 62060
1052.56/1055.63 c #Conflicts: 506000 | #Constraints: 63060
1052.56/1055.63 c #Conflicts: 507000 | #Constraints: 64060
1052.56/1055.63 c #Conflicts: 508000 | #Constraints: 65060
1052.56/1055.63 c #Conflicts: 509000 | #Constraints: 66060
1052.56/1055.63 c #Conflicts: 510000 | #Constraints: 67060
1052.56/1055.63 c #Conflicts: 511000 | #Constraints: 68060
1052.56/1055.63 c #Conflicts: 512000 | #Constraints: 69060
1052.56/1055.63 c #Conflicts: 513000 | #Constraints: 70060
1052.56/1055.63 c #Conflicts: 514000 | #Constraints: 71060
1052.56/1055.63 c #Conflicts: 515000 | #Constraints: 72060
1052.56/1055.63 c #Conflicts: 516000 | #Constraints: 73060
1052.56/1055.63 c #Conflicts: 517000 | #Constraints: 74060
1052.56/1055.63 c #Conflicts: 518000 | #Constraints: 75060
1052.56/1055.63 c #Conflicts: 519000 | #Constraints: 76060
1052.56/1055.63 c #Conflicts: 520000 | #Constraints: 77060
1052.56/1055.63 c #Conflicts: 521000 | #Constraints: 78060
1052.56/1055.63 c #Conflicts: 522000 | #Constraints: 79060
1052.56/1055.63 c #Conflicts: 523000 | #Constraints: 80060
1052.56/1055.63 c #Conflicts: 524000 | #Constraints: 81060
1052.56/1055.63 c #Conflicts: 525000 | #Constraints: 82060
1052.56/1055.63 c #Conflicts: 526000 | #Constraints: 83060
1052.56/1055.63 c #Conflicts: 527000 | #Constraints: 84060
1052.56/1055.63 c #Conflicts: 528000 | #Constraints: 85060
1052.56/1055.63 c #Conflicts: 529000 | #Constraints: 86060
1052.56/1055.63 c #Conflicts: 530000 | #Constraints: 87060
1052.56/1055.63 c #Conflicts: 531000 | #Constraints: 88060
1052.56/1055.63 c #Conflicts: 532000 | #Constraints: 89060
1052.56/1055.63 c #Conflicts: 533000 | #Constraints: 90060
1101.92/1105.16 c #Conflicts: 534000 | #Constraints: 91060
1101.92/1105.16 c #Conflicts: 535000 | #Constraints: 92060
1101.92/1105.16 c #Conflicts: 536000 | #Constraints: 93060
1101.92/1105.16 c #Conflicts: 537000 | #Constraints: 94060
1101.92/1105.16 c #Conflicts: 538000 | #Constraints: 95060
1101.92/1105.16 c #Conflicts: 539000 | #Constraints: 96060
1101.92/1105.16 c #Conflicts: 540000 | #Constraints: 97060
1101.92/1105.16 c #Conflicts: 541000 | #Constraints: 98060
1101.92/1105.16 c #Conflicts: 542000 | #Constraints: 99060
1101.92/1105.16 c #Conflicts: 543000 | #Constraints: 100060
1101.92/1105.16 c #Conflicts: 544000 | #Constraints: 101060
1101.92/1105.16 c #Conflicts: 545000 | #Constraints: 102060
1101.92/1105.16 c INPROCESSING
1101.92/1105.16 c GARBAGE COLLECT
1101.92/1105.16 c rational objective 166
1277.65/1281.42 c #Conflicts: 546000 | #Constraints: 62628
1277.65/1281.42 c #Conflicts: 547000 | #Constraints: 63628
1277.65/1281.42 c #Conflicts: 548000 | #Constraints: 64628
1277.65/1281.42 c #Conflicts: 549000 | #Constraints: 65628
1277.65/1281.42 c #Conflicts: 550000 | #Constraints: 66628
1277.65/1281.42 c #Conflicts: 551000 | #Constraints: 67628
1277.65/1281.42 c #Conflicts: 552000 | #Constraints: 68628
1277.65/1281.42 c #Conflicts: 553000 | #Constraints: 69628
1277.65/1281.42 c #Conflicts: 554000 | #Constraints: 70628
1277.65/1281.42 c #Conflicts: 555000 | #Constraints: 71628
1277.65/1281.42 c #Conflicts: 556000 | #Constraints: 72628
1277.65/1281.42 c #Conflicts: 557000 | #Constraints: 73628
1277.65/1281.42 c #Conflicts: 558000 | #Constraints: 74628
1277.65/1281.42 c #Conflicts: 559000 | #Constraints: 75628
1277.65/1281.42 c #Conflicts: 560000 | #Constraints: 76628
1277.65/1281.42 c #Conflicts: 561000 | #Constraints: 77628
1277.65/1281.42 c #Conflicts: 562000 | #Constraints: 78628
1277.65/1281.42 c #Conflicts: 563000 | #Constraints: 79628
1277.65/1281.42 c #Conflicts: 564000 | #Constraints: 80628
1277.65/1281.42 c #Conflicts: 565000 | #Constraints: 81628
1277.65/1281.42 c #Conflicts: 566000 | #Constraints: 82628
1277.65/1281.42 c INPROCESSING
1277.65/1281.42 c GARBAGE COLLECT
1277.65/1281.42 c #Conflicts: 567000 | #Constraints: 58148
1277.65/1281.42 c #Conflicts: 568000 | #Constraints: 59148
1277.65/1281.42 c #Conflicts: 569000 | #Constraints: 60148
1277.65/1281.42 c #Conflicts: 570000 | #Constraints: 61148
1277.65/1281.42 c #Conflicts: 571000 | #Constraints: 62148
1277.65/1281.42 c #Conflicts: 572000 | #Constraints: 63148
1277.65/1281.42 c #Conflicts: 573000 | #Constraints: 64148
1277.65/1281.42 c #Conflicts: 574000 | #Constraints: 65148
1277.65/1281.42 c #Conflicts: 575000 | #Constraints: 66148
1277.65/1281.42 c #Conflicts: 576000 | #Constraints: 67148
1277.65/1281.42 c #Conflicts: 577000 | #Constraints: 68148
1277.65/1281.42 c #Conflicts: 578000 | #Constraints: 69148
1277.65/1281.42 c #Conflicts: 579000 | #Constraints: 70148
1277.65/1281.42 c #Conflicts: 580000 | #Constraints: 71148
1277.65/1281.42 c #Conflicts: 581000 | #Constraints: 72148
1277.65/1281.42 c #Conflicts: 582000 | #Constraints: 73148
1277.65/1281.42 c #Conflicts: 583000 | #Constraints: 74148
1277.65/1281.42 c #Conflicts: 584000 | #Constraints: 75148
1277.65/1281.42 c #Conflicts: 585000 | #Constraints: 76148
1277.65/1281.42 c #Conflicts: 586000 | #Constraints: 77148
1277.65/1281.42 c #Conflicts: 587000 | #Constraints: 78148
1277.65/1281.42 c #Conflicts: 588000 | #Constraints: 79148
1277.65/1281.42 c #Conflicts: 589000 | #Constraints: 80148
1277.65/1281.42 c #Conflicts: 590000 | #Constraints: 81148
1277.65/1281.42 c #Conflicts: 591000 | #Constraints: 82148
1277.65/1281.42 c #Conflicts: 592000 | #Constraints: 83148
1277.65/1281.42 c #Conflicts: 593000 | #Constraints: 84148
1277.65/1281.42 c #Conflicts: 594000 | #Constraints: 85148
1277.65/1281.42 c #Conflicts: 595000 | #Constraints: 86148
1277.65/1281.42 c #Conflicts: 596000 | #Constraints: 87148
1277.65/1281.42 c #Conflicts: 597000 | #Constraints: 88148
1277.65/1281.42 c #Conflicts: 598000 | #Constraints: 89148
1277.65/1281.42 c #Conflicts: 599000 | #Constraints: 90148
1277.65/1281.42 c #Conflicts: 600000 | #Constraints: 91148
1277.65/1281.42 c #Conflicts: 601000 | #Constraints: 92148
1277.65/1281.42 c #Conflicts: 602000 | #Constraints: 93148
1277.65/1281.42 c #Conflicts: 603000 | #Constraints: 94148
1277.65/1281.42 c #Conflicts: 604000 | #Constraints: 95148
1277.65/1281.42 c #Conflicts: 605000 | #Constraints: 96148
1277.65/1281.42 c #Conflicts: 606000 | #Constraints: 97148
1277.65/1281.42 c #Conflicts: 607000 | #Constraints: 98148
1277.65/1281.42 c #Conflicts: 608000 | #Constraints: 99148
1277.65/1281.42 c #Conflicts: 609000 | #Constraints: 100148
1277.65/1281.42 c #Conflicts: 610000 | #Constraints: 101148
1277.65/1281.42 c #Conflicts: 611000 | #Constraints: 102148
1277.65/1281.42 c #Conflicts: 612000 | #Constraints: 103148
1277.65/1281.42 c #Conflicts: 613000 | #Constraints: 104148
1277.65/1281.42 c #Conflicts: 614000 | #Constraints: 105148
1277.65/1281.42 c #Conflicts: 615000 | #Constraints: 106148
1277.65/1281.42 c #Conflicts: 616000 | #Constraints: 107148
1277.65/1281.42 c #Conflicts: 617000 | #Constraints: 108148
1277.65/1281.42 c INPROCESSING
1277.65/1281.42 c GARBAGE COLLECT
1277.65/1281.42 c rational objective 166
1341.06/1345.01 c #Conflicts: 618000 | #Constraints: 66181
1341.06/1345.01 c #Conflicts: 619000 | #Constraints: 67181
1341.06/1345.01 c #Conflicts: 620000 | #Constraints: 68181
1341.06/1345.01 c #Conflicts: 621000 | #Constraints: 69181
1341.06/1345.01 c #Conflicts: 622000 | #Constraints: 70181
1341.06/1345.01 c #Conflicts: 623000 | #Constraints: 71181
1341.06/1345.01 c #Conflicts: 624000 | #Constraints: 72181
1341.06/1345.01 c #Conflicts: 625000 | #Constraints: 73181
1341.06/1345.01 c #Conflicts: 626000 | #Constraints: 74181
1341.06/1345.01 c #Conflicts: 627000 | #Constraints: 75181
1341.06/1345.01 c #Conflicts: 628000 | #Constraints: 76181
1341.06/1345.01 c #Conflicts: 629000 | #Constraints: 77181
1341.06/1345.01 c #Conflicts: 630000 | #Constraints: 78181
1341.06/1345.01 c #Conflicts: 631000 | #Constraints: 79181
1341.06/1345.01 c #Conflicts: 632000 | #Constraints: 80181
1341.06/1345.01 c #Conflicts: 633000 | #Constraints: 81181
1341.06/1345.01 c #Conflicts: 634000 | #Constraints: 82181
1341.06/1345.01 c #Conflicts: 635000 | #Constraints: 83181
1341.06/1345.01 c #Conflicts: 636000 | #Constraints: 84181
1341.06/1345.01 c #Conflicts: 637000 | #Constraints: 85181
1341.06/1345.01 c #Conflicts: 638000 | #Constraints: 86181
1341.06/1345.01 c #Conflicts: 639000 | #Constraints: 87181
1341.06/1345.01 c INPROCESSING
1341.06/1345.01 c GARBAGE COLLECT
1341.06/1345.01 c rational objective 166
1535.49/1540.08 c #Conflicts: 640000 | #Constraints: 60872
1535.49/1540.08 c #Conflicts: 641000 | #Constraints: 61872
1535.49/1540.08 c #Conflicts: 642000 | #Constraints: 62872
1535.49/1540.08 c #Conflicts: 643000 | #Constraints: 63872
1535.49/1540.08 c #Conflicts: 644000 | #Constraints: 64872
1535.49/1540.08 c #Conflicts: 645000 | #Constraints: 65872
1535.49/1540.08 c #Conflicts: 646000 | #Constraints: 66872
1535.49/1540.08 c #Conflicts: 647000 | #Constraints: 67872
1535.49/1540.08 c #Conflicts: 648000 | #Constraints: 68872
1535.49/1540.08 c #Conflicts: 649000 | #Constraints: 69872
1535.49/1540.08 c #Conflicts: 650000 | #Constraints: 70872
1535.49/1540.08 c #Conflicts: 651000 | #Constraints: 71872
1535.49/1540.08 c #Conflicts: 652000 | #Constraints: 72872
1535.49/1540.08 c #Conflicts: 653000 | #Constraints: 73872
1535.49/1540.08 c #Conflicts: 654000 | #Constraints: 74872
1535.49/1540.08 c #Conflicts: 655000 | #Constraints: 75872
1535.49/1540.08 c #Conflicts: 656000 | #Constraints: 76872
1535.49/1540.08 c #Conflicts: 657000 | #Constraints: 77872
1535.49/1540.08 c #Conflicts: 658000 | #Constraints: 78872
1535.49/1540.08 c #Conflicts: 659000 | #Constraints: 79872
1535.49/1540.08 c #Conflicts: 660000 | #Constraints: 80872
1535.49/1540.08 c #Conflicts: 661000 | #Constraints: 81872
1535.49/1540.08 c #Conflicts: 662000 | #Constraints: 82872
1535.49/1540.08 c #Conflicts: 663000 | #Constraints: 83872
1535.49/1540.08 c #Conflicts: 664000 | #Constraints: 84872
1535.49/1540.08 c #Conflicts: 665000 | #Constraints: 85872
1535.49/1540.08 c #Conflicts: 666000 | #Constraints: 86872
1535.49/1540.08 c #Conflicts: 667000 | #Constraints: 87872
1535.49/1540.08 c #Conflicts: 668000 | #Constraints: 88872
1535.49/1540.08 c #Conflicts: 669000 | #Constraints: 89872
1535.49/1540.08 c #Conflicts: 670000 | #Constraints: 90872
1535.49/1540.08 c #Conflicts: 671000 | #Constraints: 91872
1535.49/1540.08 c #Conflicts: 672000 | #Constraints: 92872
1535.49/1540.08 c #Conflicts: 673000 | #Constraints: 93872
1535.49/1540.08 c #Conflicts: 674000 | #Constraints: 94872
1535.49/1540.08 c #Conflicts: 675000 | #Constraints: 95872
1535.49/1540.08 c #Conflicts: 676000 | #Constraints: 96872
1535.49/1540.08 c #Conflicts: 677000 | #Constraints: 97872
1535.49/1540.08 c #Conflicts: 678000 | #Constraints: 98872
1535.49/1540.08 c #Conflicts: 679000 | #Constraints: 99872
1535.49/1540.08 c #Conflicts: 680000 | #Constraints: 100872
1535.49/1540.08 c #Conflicts: 681000 | #Constraints: 101872
1535.49/1540.08 c #Conflicts: 682000 | #Constraints: 102872
1535.49/1540.08 c #Conflicts: 683000 | #Constraints: 103872
1535.49/1540.08 c #Conflicts: 684000 | #Constraints: 104872
1535.49/1540.08 c #Conflicts: 685000 | #Constraints: 105872
1535.49/1540.08 c #Conflicts: 686000 | #Constraints: 106872
1535.49/1540.08 c #Conflicts: 687000 | #Constraints: 107872
1535.49/1540.08 c #Conflicts: 688000 | #Constraints: 108872
1535.49/1540.08 c #Conflicts: 689000 | #Constraints: 109872
1535.49/1540.08 c #Conflicts: 690000 | #Constraints: 110872
1535.49/1540.08 c #Conflicts: 691000 | #Constraints: 111872
1535.49/1540.08 c #Conflicts: 692000 | #Constraints: 112872
1535.49/1540.08 c #Conflicts: 693000 | #Constraints: 113872
1535.49/1540.08 c INPROCESSING
1535.49/1540.08 c GARBAGE COLLECT
1535.49/1540.08 c #Conflicts: 694000 | #Constraints: 69189
1535.49/1540.08 c #Conflicts: 695000 | #Constraints: 70189
1535.49/1540.08 c #Conflicts: 696000 | #Constraints: 71189
1535.49/1540.08 c #Conflicts: 697000 | #Constraints: 72189
1535.49/1540.08 c #Conflicts: 698000 | #Constraints: 73189
1535.49/1540.08 c #Conflicts: 699000 | #Constraints: 74189
1535.49/1540.08 c #Conflicts: 700000 | #Constraints: 75189
1535.49/1540.08 c #Conflicts: 701000 | #Constraints: 76189
1535.49/1540.08 c #Conflicts: 702000 | #Constraints: 77189
1535.49/1540.08 c #Conflicts: 703000 | #Constraints: 78189
1535.49/1540.08 c #Conflicts: 704000 | #Constraints: 79189
1535.49/1540.08 c #Conflicts: 705000 | #Constraints: 80189
1535.49/1540.08 c #Conflicts: 706000 | #Constraints: 81189
1535.49/1540.08 c #Conflicts: 707000 | #Constraints: 82189
1535.49/1540.08 c #Conflicts: 708000 | #Constraints: 83189
1535.49/1540.08 c #Conflicts: 709000 | #Constraints: 84189
1535.49/1540.08 c #Conflicts: 710000 | #Constraints: 85189
1535.49/1540.08 c #Conflicts: 711000 | #Constraints: 86189
1535.49/1540.08 c #Conflicts: 712000 | #Constraints: 87189
1535.49/1540.08 c #Conflicts: 713000 | #Constraints: 88189
1535.49/1540.08 c #Conflicts: 714000 | #Constraints: 89189
1535.49/1540.08 c #Conflicts: 715000 | #Constraints: 90189
1535.49/1540.08 c #Conflicts: 716000 | #Constraints: 91189
1535.49/1540.08 c INPROCESSING
1535.49/1540.08 c GARBAGE COLLECT
1535.49/1540.08 c #Conflicts: 717000 | #Constraints: 63575
1679.69/1684.60 c #Conflicts: 718000 | #Constraints: 64575
1679.69/1684.60 c #Conflicts: 719000 | #Constraints: 65575
1679.69/1684.60 c #Conflicts: 720000 | #Constraints: 66575
1679.69/1684.60 c #Conflicts: 721000 | #Constraints: 67575
1679.69/1684.60 c #Conflicts: 722000 | #Constraints: 68575
1679.69/1684.60 c #Conflicts: 723000 | #Constraints: 69575
1679.69/1684.60 c #Conflicts: 724000 | #Constraints: 70575
1679.69/1684.60 c #Conflicts: 725000 | #Constraints: 71575
1679.69/1684.60 c #Conflicts: 726000 | #Constraints: 72575
1679.69/1684.60 c #Conflicts: 727000 | #Constraints: 73575
1679.69/1684.60 c #Conflicts: 728000 | #Constraints: 74575
1679.69/1684.60 c #Conflicts: 729000 | #Constraints: 75575
1679.69/1684.60 c #Conflicts: 730000 | #Constraints: 76575
1679.69/1684.60 c #Conflicts: 731000 | #Constraints: 77575
1679.69/1684.60 c #Conflicts: 732000 | #Constraints: 78575
1679.69/1684.60 c #Conflicts: 733000 | #Constraints: 79575
1679.69/1684.60 c #Conflicts: 734000 | #Constraints: 80575
1679.69/1684.60 c #Conflicts: 735000 | #Constraints: 81575
1679.69/1684.60 c #Conflicts: 736000 | #Constraints: 82575
1679.69/1684.60 c #Conflicts: 737000 | #Constraints: 83575
1679.69/1684.60 c #Conflicts: 738000 | #Constraints: 84575
1679.69/1684.60 c #Conflicts: 739000 | #Constraints: 85575
1679.69/1684.60 c #Conflicts: 740000 | #Constraints: 86575
1679.69/1684.60 c #Conflicts: 741000 | #Constraints: 87575
1679.69/1684.60 c #Conflicts: 742000 | #Constraints: 88575
1679.69/1684.60 c #Conflicts: 743000 | #Constraints: 89575
1679.69/1684.60 c #Conflicts: 744000 | #Constraints: 90575
1679.69/1684.60 c #Conflicts: 745000 | #Constraints: 91575
1679.69/1684.60 c #Conflicts: 746000 | #Constraints: 92575
1679.69/1684.60 c #Conflicts: 747000 | #Constraints: 93575
1679.69/1684.60 c #Conflicts: 748000 | #Constraints: 94575
1679.69/1684.60 c #Conflicts: 749000 | #Constraints: 95575
1679.69/1684.60 c #Conflicts: 750000 | #Constraints: 96575
1679.69/1684.60 c #Conflicts: 751000 | #Constraints: 97575
1679.69/1684.60 c #Conflicts: 752000 | #Constraints: 98575
1679.69/1684.60 c #Conflicts: 753000 | #Constraints: 99575
1679.69/1684.60 c #Conflicts: 754000 | #Constraints: 100575
1679.69/1684.60 c #Conflicts: 755000 | #Constraints: 101575
1679.69/1684.60 c #Conflicts: 756000 | #Constraints: 102575
1679.69/1684.60 c #Conflicts: 757000 | #Constraints: 103575
1679.69/1684.60 c #Conflicts: 758000 | #Constraints: 104575
1679.69/1684.60 c #Conflicts: 759000 | #Constraints: 105575
1679.69/1684.60 c #Conflicts: 760000 | #Constraints: 106575
1679.69/1684.60 c #Conflicts: 761000 | #Constraints: 107575
1679.69/1684.60 c #Conflicts: 762000 | #Constraints: 108575
1679.69/1684.60 c #Conflicts: 763000 | #Constraints: 109575
1679.69/1684.60 c #Conflicts: 764000 | #Constraints: 110575
1679.69/1684.60 c #Conflicts: 765000 | #Constraints: 111575
1679.69/1684.60 c #Conflicts: 766000 | #Constraints: 112575
1679.69/1684.60 c #Conflicts: 767000 | #Constraints: 113575
1679.69/1684.60 c #Conflicts: 768000 | #Constraints: 114575
1679.69/1684.60 c #Conflicts: 769000 | #Constraints: 115575
1679.69/1684.60 c #Conflicts: 770000 | #Constraints: 116575
1679.69/1684.60 c #Conflicts: 771000 | #Constraints: 117575
1679.69/1684.60 c #Conflicts: 772000 | #Constraints: 118575
1679.69/1684.60 c #Conflicts: 773000 | #Constraints: 119575
1679.69/1684.60 c INPROCESSING
1679.69/1684.60 c GARBAGE COLLECT
1679.69/1684.60 c rational objective 166
1932.88/1938.56 c #Conflicts: 774000 | #Constraints: 71941
1932.88/1938.56 c #Conflicts: 775000 | #Constraints: 72941
1932.88/1938.56 c #Conflicts: 776000 | #Constraints: 73941
1932.88/1938.56 c #Conflicts: 777000 | #Constraints: 74941
1932.88/1938.56 c #Conflicts: 778000 | #Constraints: 75941
1932.88/1938.56 c #Conflicts: 779000 | #Constraints: 76941
1932.88/1938.56 c #Conflicts: 780000 | #Constraints: 77941
1932.88/1938.56 c #Conflicts: 781000 | #Constraints: 78941
1932.88/1938.56 c #Conflicts: 782000 | #Constraints: 79941
1932.88/1938.56 c #Conflicts: 783000 | #Constraints: 80941
1932.88/1938.56 c #Conflicts: 784000 | #Constraints: 81941
1932.88/1938.56 c #Conflicts: 785000 | #Constraints: 82941
1932.88/1938.56 c #Conflicts: 786000 | #Constraints: 83941
1932.88/1938.56 c #Conflicts: 787000 | #Constraints: 84941
1932.88/1938.56 c #Conflicts: 788000 | #Constraints: 85941
1932.88/1938.56 c #Conflicts: 789000 | #Constraints: 86941
1932.88/1938.56 c #Conflicts: 790000 | #Constraints: 87941
1932.88/1938.56 c #Conflicts: 791000 | #Constraints: 88941
1932.88/1938.56 c #Conflicts: 792000 | #Constraints: 89941
1932.88/1938.56 c #Conflicts: 793000 | #Constraints: 90941
1932.88/1938.56 c #Conflicts: 794000 | #Constraints: 91941
1932.88/1938.56 c #Conflicts: 795000 | #Constraints: 92941
1932.88/1938.56 c #Conflicts: 796000 | #Constraints: 93941
1932.88/1938.56 c #Conflicts: 797000 | #Constraints: 94941
1932.88/1938.56 c #Conflicts: 798000 | #Constraints: 95941
1932.88/1938.56 c INPROCESSING
1932.88/1938.56 c GARBAGE COLLECT
1932.88/1938.56 c #Conflicts: 799000 | #Constraints: 66483
1932.88/1938.56 c #Conflicts: 800000 | #Constraints: 67483
1932.88/1938.56 c #Conflicts: 801000 | #Constraints: 68483
1932.88/1938.56 c #Conflicts: 802000 | #Constraints: 69483
1932.88/1938.56 c #Conflicts: 803000 | #Constraints: 70483
1932.88/1938.56 c #Conflicts: 804000 | #Constraints: 71483
1932.88/1938.56 c #Conflicts: 805000 | #Constraints: 72483
1932.88/1938.56 c #Conflicts: 806000 | #Constraints: 73483
1932.88/1938.56 c #Conflicts: 807000 | #Constraints: 74483
1932.88/1938.56 c #Conflicts: 808000 | #Constraints: 75483
1932.88/1938.56 c #Conflicts: 809000 | #Constraints: 76483
1932.88/1938.56 c #Conflicts: 810000 | #Constraints: 77483
1932.88/1938.56 c #Conflicts: 811000 | #Constraints: 78483
1932.88/1938.56 c #Conflicts: 812000 | #Constraints: 79483
1932.88/1938.56 c #Conflicts: 813000 | #Constraints: 80483
1932.88/1938.56 c #Conflicts: 814000 | #Constraints: 81483
1932.88/1938.56 c #Conflicts: 815000 | #Constraints: 82483
1932.88/1938.56 c #Conflicts: 816000 | #Constraints: 83483
1932.88/1938.56 c #Conflicts: 817000 | #Constraints: 84483
1932.88/1938.56 c #Conflicts: 818000 | #Constraints: 85483
1932.88/1938.56 c #Conflicts: 819000 | #Constraints: 86483
1932.88/1938.56 c #Conflicts: 820000 | #Constraints: 87483
1932.88/1938.56 c #Conflicts: 821000 | #Constraints: 88483
1932.88/1938.56 c #Conflicts: 822000 | #Constraints: 89483
1932.88/1938.56 c #Conflicts: 823000 | #Constraints: 90483
1932.88/1938.56 c #Conflicts: 824000 | #Constraints: 91483
1932.88/1938.56 c #Conflicts: 825000 | #Constraints: 92483
1932.88/1938.56 c #Conflicts: 826000 | #Constraints: 93483
1932.88/1938.56 c #Conflicts: 827000 | #Constraints: 94483
1932.88/1938.56 c #Conflicts: 828000 | #Constraints: 95483
1932.88/1938.56 c #Conflicts: 829000 | #Constraints: 96483
1932.88/1938.56 c #Conflicts: 830000 | #Constraints: 97483
1932.88/1938.56 c #Conflicts: 831000 | #Constraints: 98483
1932.88/1938.56 c #Conflicts: 832000 | #Constraints: 99483
1932.88/1938.56 c #Conflicts: 833000 | #Constraints: 100483
1932.88/1938.56 c #Conflicts: 834000 | #Constraints: 101483
1932.88/1938.56 c #Conflicts: 835000 | #Constraints: 102483
1932.88/1938.56 c #Conflicts: 836000 | #Constraints: 103483
1932.88/1938.56 c #Conflicts: 837000 | #Constraints: 104483
1932.88/1938.56 c #Conflicts: 838000 | #Constraints: 105483
1932.88/1938.56 c #Conflicts: 839000 | #Constraints: 106483
1932.88/1938.56 c #Conflicts: 840000 | #Constraints: 107483
1932.88/1938.56 c #Conflicts: 841000 | #Constraints: 108483
1932.88/1938.56 c #Conflicts: 842000 | #Constraints: 109483
1932.88/1938.56 c #Conflicts: 843000 | #Constraints: 110483
1932.88/1938.56 c #Conflicts: 844000 | #Constraints: 111483
1932.88/1938.56 c #Conflicts: 845000 | #Constraints: 112483
1932.88/1938.56 c #Conflicts: 846000 | #Constraints: 113483
1932.88/1938.56 c #Conflicts: 847000 | #Constraints: 114483
1932.88/1938.56 c #Conflicts: 848000 | #Constraints: 115483
1932.88/1938.56 c #Conflicts: 849000 | #Constraints: 116483
1932.88/1938.56 c #Conflicts: 850000 | #Constraints: 117483
1932.88/1938.56 c #Conflicts: 851000 | #Constraints: 118483
1932.88/1938.56 c #Conflicts: 852000 | #Constraints: 119483
2119.89/2126.07 c #Conflicts: 853000 | #Constraints: 120483
2119.89/2126.07 c #Conflicts: 854000 | #Constraints: 121483
2119.89/2126.07 c #Conflicts: 855000 | #Constraints: 122483
2119.89/2126.07 c #Conflicts: 856000 | #Constraints: 123483
2119.89/2126.07 c #Conflicts: 857000 | #Constraints: 124483
2119.89/2126.07 c #Conflicts: 858000 | #Constraints: 125483
2119.89/2126.07 c INPROCESSING
2119.89/2126.07 c GARBAGE COLLECT
2119.89/2126.07 c #Conflicts: 859000 | #Constraints: 75160
2119.89/2126.07 c #Conflicts: 860000 | #Constraints: 76160
2119.89/2126.07 c #Conflicts: 861000 | #Constraints: 77160
2119.89/2126.07 c #Conflicts: 862000 | #Constraints: 78160
2119.89/2126.07 c #Conflicts: 863000 | #Constraints: 79160
2119.89/2126.07 c #Conflicts: 864000 | #Constraints: 80160
2119.89/2126.07 c #Conflicts: 865000 | #Constraints: 81161
2119.89/2126.07 c #Conflicts: 866000 | #Constraints: 82161
2119.89/2126.07 c #Conflicts: 867000 | #Constraints: 83161
2119.89/2126.07 c #Conflicts: 868000 | #Constraints: 84161
2119.89/2126.07 c #Conflicts: 869000 | #Constraints: 85161
2119.89/2126.07 c #Conflicts: 870000 | #Constraints: 86161
2119.89/2126.07 c #Conflicts: 871000 | #Constraints: 87161
2119.89/2126.08 c #Conflicts: 872000 | #Constraints: 88161
2119.89/2126.08 c #Conflicts: 873000 | #Constraints: 89161
2119.89/2126.08 c #Conflicts: 874000 | #Constraints: 90161
2119.89/2126.08 c #Conflicts: 875000 | #Constraints: 91161
2119.89/2126.08 c #Conflicts: 876000 | #Constraints: 92161
2119.89/2126.08 c #Conflicts: 877000 | #Constraints: 93161
2119.89/2126.08 c #Conflicts: 878000 | #Constraints: 94161
2119.89/2126.08 c #Conflicts: 879000 | #Constraints: 95161
2119.89/2126.08 c #Conflicts: 880000 | #Constraints: 96161
2119.89/2126.08 c #Conflicts: 881000 | #Constraints: 97161
2119.89/2126.08 c #Conflicts: 882000 | #Constraints: 98161
2119.89/2126.08 c #Conflicts: 883000 | #Constraints: 99161
2119.89/2126.08 c #Conflicts: 884000 | #Constraints: 100161
2119.89/2126.08 c INPROCESSING
2119.89/2126.08 c GARBAGE COLLECT
2119.89/2126.08 c #Conflicts: 885000 | #Constraints: 69076
2119.89/2126.08 c #Conflicts: 886000 | #Constraints: 70076
2119.89/2126.08 c #Conflicts: 887000 | #Constraints: 71076
2119.89/2126.08 c #Conflicts: 888000 | #Constraints: 72076
2119.89/2126.08 c #Conflicts: 889000 | #Constraints: 73076
2119.89/2126.08 c #Conflicts: 890000 | #Constraints: 74076
2119.89/2126.08 c #Conflicts: 891000 | #Constraints: 75076
2119.89/2126.08 c #Conflicts: 892000 | #Constraints: 76076
2119.89/2126.08 c #Conflicts: 893000 | #Constraints: 77076
2119.89/2126.08 c #Conflicts: 894000 | #Constraints: 78076
2119.89/2126.08 c #Conflicts: 895000 | #Constraints: 79076
2119.89/2126.08 c #Conflicts: 896000 | #Constraints: 80076
2119.89/2126.08 c #Conflicts: 897000 | #Constraints: 81076
2119.89/2126.08 c #Conflicts: 898000 | #Constraints: 82076
2119.89/2126.08 c #Conflicts: 899000 | #Constraints: 83076
2119.89/2126.08 c #Conflicts: 900000 | #Constraints: 84076
2119.89/2126.08 c #Conflicts: 901000 | #Constraints: 85076
2119.89/2126.08 c #Conflicts: 902000 | #Constraints: 86076
2119.89/2126.08 c #Conflicts: 903000 | #Constraints: 87076
2119.89/2126.08 c #Conflicts: 904000 | #Constraints: 88076
2119.89/2126.08 c #Conflicts: 905000 | #Constraints: 89076
2119.89/2126.08 c #Conflicts: 906000 | #Constraints: 90076
2119.89/2126.08 c #Conflicts: 907000 | #Constraints: 91076
2119.89/2126.08 c #Conflicts: 908000 | #Constraints: 92076
2119.89/2126.08 c #Conflicts: 909000 | #Constraints: 93076
2119.89/2126.08 c #Conflicts: 910000 | #Constraints: 94076
2119.89/2126.08 c #Conflicts: 911000 | #Constraints: 95076
2119.89/2126.08 c #Conflicts: 912000 | #Constraints: 96076
2119.89/2126.08 c #Conflicts: 913000 | #Constraints: 97076
2119.89/2126.08 c #Conflicts: 914000 | #Constraints: 98076
2119.89/2126.08 c #Conflicts: 915000 | #Constraints: 99076
2119.89/2126.08 c #Conflicts: 916000 | #Constraints: 100076
2119.89/2126.08 c #Conflicts: 917000 | #Constraints: 101076
2119.89/2126.08 c #Conflicts: 918000 | #Constraints: 102076
2119.89/2126.08 c #Conflicts: 919000 | #Constraints: 103076
2119.89/2126.08 c #Conflicts: 920000 | #Constraints: 104076
2119.89/2126.08 c #Conflicts: 921000 | #Constraints: 105076
2119.89/2126.08 c #Conflicts: 922000 | #Constraints: 106076
2119.89/2126.08 c #Conflicts: 923000 | #Constraints: 107076
2119.89/2126.08 c #Conflicts: 924000 | #Constraints: 108076
2119.89/2126.08 c #Conflicts: 925000 | #Constraints: 109076
2119.89/2126.08 c #Conflicts: 926000 | #Constraints: 110076
2119.89/2126.08 c #Conflicts: 927000 | #Constraints: 111076
2119.89/2126.08 c #Conflicts: 928000 | #Constraints: 112076
2119.89/2126.08 c #Conflicts: 929000 | #Constraints: 113076
2326.00/2332.74 c #Conflicts: 930000 | #Constraints: 114076
2326.00/2332.74 c #Conflicts: 931000 | #Constraints: 115076
2326.00/2332.74 c #Conflicts: 932000 | #Constraints: 116076
2326.00/2332.74 c #Conflicts: 933000 | #Constraints: 117076
2326.00/2332.74 c #Conflicts: 934000 | #Constraints: 118076
2326.00/2332.74 c #Conflicts: 935000 | #Constraints: 119076
2326.00/2332.74 c #Conflicts: 936000 | #Constraints: 120076
2326.00/2332.74 c #Conflicts: 937000 | #Constraints: 121076
2326.00/2332.74 c #Conflicts: 938000 | #Constraints: 122076
2326.00/2332.74 c #Conflicts: 939000 | #Constraints: 123076
2326.00/2332.74 c #Conflicts: 940000 | #Constraints: 124076
2326.00/2332.74 c #Conflicts: 941000 | #Constraints: 125076
2326.00/2332.74 c #Conflicts: 942000 | #Constraints: 126076
2326.00/2332.74 c #Conflicts: 943000 | #Constraints: 127076
2326.00/2332.74 c #Conflicts: 944000 | #Constraints: 128076
2326.00/2332.74 c #Conflicts: 945000 | #Constraints: 129076
2326.00/2332.74 c #Conflicts: 946000 | #Constraints: 130076
2326.00/2332.74 c #Conflicts: 947000 | #Constraints: 131076
2326.00/2332.74 c INPROCESSING
2326.00/2332.74 c GARBAGE COLLECT
2326.00/2332.74 c #Conflicts: 948000 | #Constraints: 77812
2326.00/2332.74 c #Conflicts: 949000 | #Constraints: 78812
2326.00/2332.74 c #Conflicts: 950000 | #Constraints: 79812
2326.00/2332.74 c #Conflicts: 951000 | #Constraints: 80812
2326.00/2332.74 c #Conflicts: 952000 | #Constraints: 81812
2326.00/2332.74 c #Conflicts: 953000 | #Constraints: 82812
2326.00/2332.74 c #Conflicts: 954000 | #Constraints: 83812
2326.00/2332.74 c #Conflicts: 955000 | #Constraints: 84812
2326.00/2332.74 c #Conflicts: 956000 | #Constraints: 85812
2326.00/2332.74 c #Conflicts: 957000 | #Constraints: 86812
2326.00/2332.74 c #Conflicts: 958000 | #Constraints: 87812
2326.00/2332.74 c #Conflicts: 959000 | #Constraints: 88812
2326.00/2332.74 c #Conflicts: 960000 | #Constraints: 89812
2326.00/2332.74 c #Conflicts: 961000 | #Constraints: 90812
2326.00/2332.74 c #Conflicts: 962000 | #Constraints: 91812
2326.00/2332.74 c #Conflicts: 963000 | #Constraints: 92812
2326.00/2332.74 c #Conflicts: 964000 | #Constraints: 93812
2326.00/2332.74 c #Conflicts: 965000 | #Constraints: 94812
2326.00/2332.74 c #Conflicts: 966000 | #Constraints: 95812
2326.00/2332.74 c #Conflicts: 967000 | #Constraints: 96812
2326.00/2332.74 c #Conflicts: 968000 | #Constraints: 97812
2326.00/2332.74 c #Conflicts: 969000 | #Constraints: 98812
2326.00/2332.74 c #Conflicts: 970000 | #Constraints: 99812
2326.00/2332.74 c #Conflicts: 971000 | #Constraints: 100812
2326.00/2332.74 c #Conflicts: 972000 | #Constraints: 101812
2326.00/2332.74 c #Conflicts: 973000 | #Constraints: 102812
2326.00/2332.74 c #Conflicts: 974000 | #Constraints: 103812
2326.00/2332.74 c INPROCESSING
2326.00/2332.74 c GARBAGE COLLECT
2326.00/2332.74 c #Conflicts: 975000 | #Constraints: 70937
2326.00/2332.74 c #Conflicts: 976000 | #Constraints: 71937
2326.00/2332.74 c #Conflicts: 977000 | #Constraints: 72937
2326.00/2332.74 c #Conflicts: 978000 | #Constraints: 73937
2326.00/2332.74 c #Conflicts: 979000 | #Constraints: 74937
2326.00/2332.74 c #Conflicts: 980000 | #Constraints: 75937
2326.00/2332.74 c #Conflicts: 981000 | #Constraints: 76937
2326.00/2332.74 c #Conflicts: 982000 | #Constraints: 77937
2326.00/2332.74 c #Conflicts: 983000 | #Constraints: 78937
2326.00/2332.74 c #Conflicts: 984000 | #Constraints: 79937
2326.00/2332.74 c #Conflicts: 985000 | #Constraints: 80937
2326.00/2332.74 c #Conflicts: 986000 | #Constraints: 81937
2326.00/2332.74 c #Conflicts: 987000 | #Constraints: 82937
2326.00/2332.74 c #Conflicts: 988000 | #Constraints: 83937
2326.00/2332.74 c #Conflicts: 989000 | #Constraints: 84937
2326.00/2332.74 c #Conflicts: 990000 | #Constraints: 85937
2326.00/2332.74 c #Conflicts: 991000 | #Constraints: 86937
2326.00/2332.74 c #Conflicts: 992000 | #Constraints: 87937
2326.00/2332.74 c #Conflicts: 993000 | #Constraints: 88937
2326.00/2332.74 c #Conflicts: 994000 | #Constraints: 89937
2326.00/2332.74 c #Conflicts: 995000 | #Constraints: 90937
2326.00/2332.74 c #Conflicts: 996000 | #Constraints: 91937
2326.00/2332.74 c #Conflicts: 997000 | #Constraints: 92937
2326.00/2332.74 c #Conflicts: 998000 | #Constraints: 93937
2326.00/2332.74 c #Conflicts: 999000 | #Constraints: 94937
2326.00/2332.74 c #Conflicts: 1000000 | #Constraints: 95937
2326.00/2332.74 c #Conflicts: 1001000 | #Constraints: 96937
2326.00/2332.74 c #Conflicts: 1002000 | #Constraints: 97937
2326.00/2332.74 c #Conflicts: 1003000 | #Constraints: 98937
2326.00/2332.74 c #Conflicts: 1004000 | #Constraints: 99937
2326.00/2332.74 c #Conflicts: 1005000 | #Constraints: 100937
2326.00/2332.74 c #Conflicts: 1006000 | #Constraints: 101937
2326.00/2332.74 c #Conflicts: 1007000 | #Constraints: 102937
2545.89/2553.22 c #Conflicts: 1008000 | #Constraints: 103937
2545.89/2553.22 c #Conflicts: 1009000 | #Constraints: 104937
2545.89/2553.22 c #Conflicts: 1010000 | #Constraints: 105937
2545.89/2553.22 c #Conflicts: 1011000 | #Constraints: 106937
2545.89/2553.22 c #Conflicts: 1012000 | #Constraints: 107937
2545.89/2553.22 c #Conflicts: 1013000 | #Constraints: 108937
2545.89/2553.22 c #Conflicts: 1014000 | #Constraints: 109937
2545.89/2553.22 c #Conflicts: 1015000 | #Constraints: 110937
2545.89/2553.22 c #Conflicts: 1016000 | #Constraints: 111937
2545.89/2553.22 c #Conflicts: 1017000 | #Constraints: 112937
2545.89/2553.22 c #Conflicts: 1018000 | #Constraints: 113937
2545.89/2553.22 c #Conflicts: 1019000 | #Constraints: 114937
2545.89/2553.22 c #Conflicts: 1020000 | #Constraints: 115937
2545.89/2553.22 c #Conflicts: 1021000 | #Constraints: 116938
2545.89/2553.22 c #Conflicts: 1022000 | #Constraints: 117938
2545.89/2553.22 c #Conflicts: 1023000 | #Constraints: 118938
2545.89/2553.22 c #Conflicts: 1024000 | #Constraints: 119938
2545.89/2553.22 c #Conflicts: 1025000 | #Constraints: 120938
2545.89/2553.22 c #Conflicts: 1026000 | #Constraints: 121938
2545.89/2553.22 c #Conflicts: 1027000 | #Constraints: 122938
2545.89/2553.22 c #Conflicts: 1028000 | #Constraints: 123938
2545.89/2553.22 c #Conflicts: 1029000 | #Constraints: 124938
2545.89/2553.22 c #Conflicts: 1030000 | #Constraints: 125938
2545.89/2553.22 c #Conflicts: 1031000 | #Constraints: 126938
2545.89/2553.22 c #Conflicts: 1032000 | #Constraints: 127938
2545.89/2553.22 c #Conflicts: 1033000 | #Constraints: 128938
2545.89/2553.22 c #Conflicts: 1034000 | #Constraints: 129938
2545.89/2553.22 c #Conflicts: 1035000 | #Constraints: 130938
2545.89/2553.22 c #Conflicts: 1036000 | #Constraints: 131938
2545.89/2553.22 c #Conflicts: 1037000 | #Constraints: 132938
2545.89/2553.22 c #Conflicts: 1038000 | #Constraints: 133938
2545.89/2553.22 c #Conflicts: 1039000 | #Constraints: 134938
2545.89/2553.22 c #Conflicts: 1040000 | #Constraints: 135938
2545.89/2553.22 c INPROCESSING
2545.89/2553.22 c GARBAGE COLLECT
2545.89/2553.22 c #Conflicts: 1041000 | #Constraints: 79893
2545.89/2553.22 c #Conflicts: 1042000 | #Constraints: 80893
2545.89/2553.22 c #Conflicts: 1043000 | #Constraints: 81893
2545.89/2553.22 c #Conflicts: 1044000 | #Constraints: 82893
2545.89/2553.22 c #Conflicts: 1045000 | #Constraints: 83893
2545.89/2553.22 c #Conflicts: 1046000 | #Constraints: 84893
2545.89/2553.22 c #Conflicts: 1047000 | #Constraints: 85893
2545.89/2553.22 c #Conflicts: 1048000 | #Constraints: 86893
2545.89/2553.22 c #Conflicts: 1049000 | #Constraints: 87893
2545.89/2553.22 c #Conflicts: 1050000 | #Constraints: 88893
2545.89/2553.22 c #Conflicts: 1051000 | #Constraints: 89893
2545.89/2553.22 c #Conflicts: 1052000 | #Constraints: 90894
2545.89/2553.22 c #Conflicts: 1053000 | #Constraints: 91894
2545.89/2553.22 c #Conflicts: 1054000 | #Constraints: 92894
2545.89/2553.22 c #Conflicts: 1055000 | #Constraints: 93894
2545.89/2553.22 c #Conflicts: 1056000 | #Constraints: 94894
2545.89/2553.22 c #Conflicts: 1057000 | #Constraints: 95895
2545.89/2553.22 c #Conflicts: 1058000 | #Constraints: 96895
2545.89/2553.22 c #Conflicts: 1059000 | #Constraints: 97895
2545.89/2553.22 c #Conflicts: 1060000 | #Constraints: 98895
2545.89/2553.22 c #Conflicts: 1061000 | #Constraints: 99895
2545.89/2553.22 c #Conflicts: 1062000 | #Constraints: 100895
2545.89/2553.22 c #Conflicts: 1063000 | #Constraints: 101895
2545.89/2553.22 c #Conflicts: 1064000 | #Constraints: 102895
2545.89/2553.22 c #Conflicts: 1065000 | #Constraints: 103895
2545.89/2553.22 c #Conflicts: 1066000 | #Constraints: 104895
2545.89/2553.22 c #Conflicts: 1067000 | #Constraints: 105895
2545.89/2553.22 c #Conflicts: 1068000 | #Constraints: 106895
2545.89/2553.22 c #Conflicts: 1069000 | #Constraints: 107895
2545.89/2553.22 c INPROCESSING
2545.89/2553.22 c GARBAGE COLLECT
2545.89/2553.22 c #Conflicts: 1070000 | #Constraints: 72841
2545.89/2553.22 c #Conflicts: 1071000 | #Constraints: 73841
2545.89/2553.22 c #Conflicts: 1072000 | #Constraints: 74841
2545.89/2553.22 c #Conflicts: 1073000 | #Constraints: 75841
2545.89/2553.22 c #Conflicts: 1074000 | #Constraints: 76841
2545.89/2553.22 c #Conflicts: 1075000 | #Constraints: 77841
2545.89/2553.22 c #Conflicts: 1076000 | #Constraints: 78841
2545.89/2553.22 c #Conflicts: 1077000 | #Constraints: 79841
2545.89/2553.22 c #Conflicts: 1078000 | #Constraints: 80841
2545.89/2553.22 c #Conflicts: 1079000 | #Constraints: 81841
2545.89/2553.22 c #Conflicts: 1080000 | #Constraints: 82841
2545.89/2553.22 c #Conflicts: 1081000 | #Constraints: 83841
2545.89/2553.22 c #Conflicts: 1082000 | #Constraints: 84841
2545.89/2553.22 c #Conflicts: 1083000 | #Constraints: 85841
2545.89/2553.22 c #Conflicts: 1084000 | #Constraints: 86841
2827.78/2835.91 c #Conflicts: 1085000 | #Constraints: 87841
2827.78/2835.91 c #Conflicts: 1086000 | #Constraints: 88841
2827.78/2835.91 c #Conflicts: 1087000 | #Constraints: 89841
2827.78/2835.91 c #Conflicts: 1088000 | #Constraints: 90841
2827.78/2835.91 c #Conflicts: 1089000 | #Constraints: 91841
2827.78/2835.91 c #Conflicts: 1090000 | #Constraints: 92841
2827.78/2835.91 c #Conflicts: 1091000 | #Constraints: 93841
2827.78/2835.91 c #Conflicts: 1092000 | #Constraints: 94841
2827.78/2835.91 c #Conflicts: 1093000 | #Constraints: 95841
2827.78/2835.91 c #Conflicts: 1094000 | #Constraints: 96841
2827.78/2835.91 c #Conflicts: 1095000 | #Constraints: 97841
2827.78/2835.91 c #Conflicts: 1096000 | #Constraints: 98841
2827.78/2835.91 c #Conflicts: 1097000 | #Constraints: 99841
2827.78/2835.91 c #Conflicts: 1098000 | #Constraints: 100841
2827.78/2835.91 c #Conflicts: 1099000 | #Constraints: 101841
2827.78/2835.91 c #Conflicts: 1100000 | #Constraints: 102841
2827.78/2835.91 c #Conflicts: 1101000 | #Constraints: 103841
2827.78/2835.91 c #Conflicts: 1102000 | #Constraints: 104841
2827.78/2835.91 c #Conflicts: 1103000 | #Constraints: 105841
2827.78/2835.91 c #Conflicts: 1104000 | #Constraints: 106841
2827.78/2835.91 c #Conflicts: 1105000 | #Constraints: 107841
2827.78/2835.91 c #Conflicts: 1106000 | #Constraints: 108841
2827.78/2835.91 c #Conflicts: 1107000 | #Constraints: 109841
2827.78/2835.91 c #Conflicts: 1108000 | #Constraints: 110841
2827.78/2835.91 c #Conflicts: 1109000 | #Constraints: 111841
2827.78/2835.91 c #Conflicts: 1110000 | #Constraints: 112841
2827.78/2835.91 c #Conflicts: 1111000 | #Constraints: 113841
2827.78/2835.91 c #Conflicts: 1112000 | #Constraints: 114841
2827.78/2835.91 c #Conflicts: 1113000 | #Constraints: 115841
2827.78/2835.91 c #Conflicts: 1114000 | #Constraints: 116841
2827.78/2835.91 c #Conflicts: 1115000 | #Constraints: 117841
2827.78/2835.91 c #Conflicts: 1116000 | #Constraints: 118841
2827.78/2835.91 c #Conflicts: 1117000 | #Constraints: 119841
2827.78/2835.91 c #Conflicts: 1118000 | #Constraints: 120841
2827.78/2835.91 c #Conflicts: 1119000 | #Constraints: 121841
2827.78/2835.91 c #Conflicts: 1120000 | #Constraints: 122841
2827.78/2835.91 c #Conflicts: 1121000 | #Constraints: 123841
2827.78/2835.91 c #Conflicts: 1122000 | #Constraints: 124841
2827.78/2835.91 c #Conflicts: 1123000 | #Constraints: 125841
2827.78/2835.91 c #Conflicts: 1124000 | #Constraints: 126841
2827.78/2835.91 c #Conflicts: 1125000 | #Constraints: 127841
2827.78/2835.91 c #Conflicts: 1126000 | #Constraints: 128841
2827.78/2835.91 c #Conflicts: 1127000 | #Constraints: 129841
2827.78/2835.91 c #Conflicts: 1128000 | #Constraints: 130841
2827.78/2835.91 c #Conflicts: 1129000 | #Constraints: 131841
2827.78/2835.91 c #Conflicts: 1130000 | #Constraints: 132841
2827.78/2835.91 c #Conflicts: 1131000 | #Constraints: 133841
2827.78/2835.91 c #Conflicts: 1132000 | #Constraints: 134841
2827.78/2835.91 c #Conflicts: 1133000 | #Constraints: 135841
2827.78/2835.91 c #Conflicts: 1134000 | #Constraints: 136841
2827.78/2835.91 c #Conflicts: 1135000 | #Constraints: 137841
2827.78/2835.91 c #Conflicts: 1136000 | #Constraints: 138842
2827.78/2835.91 c #Conflicts: 1137000 | #Constraints: 139842
2827.78/2835.91 c #Conflicts: 1138000 | #Constraints: 140843
2827.78/2835.91 c INPROCESSING
2827.78/2835.91 c GARBAGE COLLECT
2827.78/2835.91 c #Conflicts: 1139000 | #Constraints: 82492
2827.78/2835.91 c #Conflicts: 1140000 | #Constraints: 83492
2827.78/2835.91 c #Conflicts: 1141000 | #Constraints: 84492
2827.78/2835.91 c #Conflicts: 1142000 | #Constraints: 85492
2827.78/2835.91 c #Conflicts: 1143000 | #Constraints: 86492
2827.78/2835.91 c #Conflicts: 1144000 | #Constraints: 87492
2827.78/2835.91 c #Conflicts: 1145000 | #Constraints: 88492
2827.78/2835.91 c #Conflicts: 1146000 | #Constraints: 89492
2827.78/2835.91 c #Conflicts: 1147000 | #Constraints: 90492
2827.78/2835.91 c #Conflicts: 1148000 | #Constraints: 91492
2827.78/2835.91 c #Conflicts: 1149000 | #Constraints: 92492
2827.78/2835.91 c #Conflicts: 1150000 | #Constraints: 93492
2827.78/2835.91 c #Conflicts: 1151000 | #Constraints: 94492
2827.78/2835.91 c #Conflicts: 1152000 | #Constraints: 95492
2827.78/2835.91 c #Conflicts: 1153000 | #Constraints: 96492
2827.78/2835.91 c #Conflicts: 1154000 | #Constraints: 97492
2827.78/2835.91 c #Conflicts: 1155000 | #Constraints: 98492
2827.78/2835.91 c #Conflicts: 1156000 | #Constraints: 99492
2827.78/2835.91 c #Conflicts: 1157000 | #Constraints: 100492
2827.78/2835.91 c #Conflicts: 1158000 | #Constraints: 101492
2827.78/2835.91 c #Conflicts: 1159000 | #Constraints: 102492
2827.78/2835.91 c #Conflicts: 1160000 | #Constraints: 103492
2827.78/2835.91 c #Conflicts: 1161000 | #Constraints: 104492
2827.78/2835.91 c #Conflicts: 1162000 | #Constraints: 105492
3070.29/3079.13 c #Conflicts: 1163000 | #Constraints: 106492
3070.29/3079.13 c #Conflicts: 1164000 | #Constraints: 107492
3070.29/3079.13 c #Conflicts: 1165000 | #Constraints: 108492
3070.29/3079.13 c #Conflicts: 1166000 | #Constraints: 109492
3070.29/3079.13 c #Conflicts: 1167000 | #Constraints: 110492
3070.29/3079.13 c #Conflicts: 1168000 | #Constraints: 111492
3070.29/3079.13 c INPROCESSING
3070.29/3079.13 c GARBAGE COLLECT
3070.29/3079.13 c #Conflicts: 1169000 | #Constraints: 74735
3070.29/3079.13 c #Conflicts: 1170000 | #Constraints: 75735
3070.29/3079.13 c #Conflicts: 1171000 | #Constraints: 76735
3070.29/3079.13 c #Conflicts: 1172000 | #Constraints: 77735
3070.29/3079.13 c #Conflicts: 1173000 | #Constraints: 78735
3070.29/3079.13 c #Conflicts: 1174000 | #Constraints: 79735
3070.29/3079.13 c #Conflicts: 1175000 | #Constraints: 80735
3070.29/3079.13 c #Conflicts: 1176000 | #Constraints: 81735
3070.29/3079.13 c #Conflicts: 1177000 | #Constraints: 82735
3070.29/3079.13 c #Conflicts: 1178000 | #Constraints: 83735
3070.29/3079.13 c #Conflicts: 1179000 | #Constraints: 84735
3070.29/3079.13 c #Conflicts: 1180000 | #Constraints: 85735
3070.29/3079.13 c #Conflicts: 1181000 | #Constraints: 86735
3070.29/3079.13 c #Conflicts: 1182000 | #Constraints: 87735
3070.29/3079.13 c #Conflicts: 1183000 | #Constraints: 88735
3070.29/3079.13 c #Conflicts: 1184000 | #Constraints: 89735
3070.29/3079.13 c #Conflicts: 1185000 | #Constraints: 90735
3070.29/3079.13 c #Conflicts: 1186000 | #Constraints: 91735
3070.29/3079.13 c #Conflicts: 1187000 | #Constraints: 92735
3070.29/3079.13 c #Conflicts: 1188000 | #Constraints: 93735
3070.29/3079.13 c #Conflicts: 1189000 | #Constraints: 94735
3070.29/3079.13 c #Conflicts: 1190000 | #Constraints: 95735
3070.29/3079.13 c #Conflicts: 1191000 | #Constraints: 96735
3070.29/3079.13 c #Conflicts: 1192000 | #Constraints: 97735
3070.29/3079.13 c #Conflicts: 1193000 | #Constraints: 98735
3070.29/3079.13 c #Conflicts: 1194000 | #Constraints: 99735
3070.29/3079.13 c #Conflicts: 1195000 | #Constraints: 100735
3070.29/3079.13 c #Conflicts: 1196000 | #Constraints: 101735
3070.29/3079.13 c #Conflicts: 1197000 | #Constraints: 102735
3070.29/3079.13 c #Conflicts: 1198000 | #Constraints: 103735
3070.29/3079.13 c #Conflicts: 1199000 | #Constraints: 104735
3070.29/3079.13 c #Conflicts: 1200000 | #Constraints: 105735
3070.29/3079.13 c #Conflicts: 1201000 | #Constraints: 106735
3070.29/3079.13 c #Conflicts: 1202000 | #Constraints: 107735
3070.29/3079.13 c #Conflicts: 1203000 | #Constraints: 108735
3070.29/3079.13 c #Conflicts: 1204000 | #Constraints: 109735
3070.29/3079.13 c #Conflicts: 1205000 | #Constraints: 110735
3070.29/3079.13 c #Conflicts: 1206000 | #Constraints: 111735
3070.29/3079.13 c #Conflicts: 1207000 | #Constraints: 112735
3070.29/3079.13 c #Conflicts: 1208000 | #Constraints: 113735
3070.29/3079.13 c #Conflicts: 1209000 | #Constraints: 114735
3070.29/3079.13 c #Conflicts: 1210000 | #Constraints: 115735
3070.29/3079.13 c #Conflicts: 1211000 | #Constraints: 116735
3070.29/3079.13 c #Conflicts: 1212000 | #Constraints: 117735
3070.29/3079.13 c #Conflicts: 1213000 | #Constraints: 118735
3070.29/3079.13 c #Conflicts: 1214000 | #Constraints: 119735
3070.29/3079.13 c #Conflicts: 1215000 | #Constraints: 120735
3070.29/3079.13 c #Conflicts: 1216000 | #Constraints: 121735
3070.29/3079.13 c #Conflicts: 1217000 | #Constraints: 122735
3070.29/3079.13 c #Conflicts: 1218000 | #Constraints: 123736
3070.29/3079.13 c #Conflicts: 1219000 | #Constraints: 124737
3070.29/3079.13 c #Conflicts: 1220000 | #Constraints: 125737
3070.29/3079.13 c #Conflicts: 1221000 | #Constraints: 126738
3070.29/3079.13 c #Conflicts: 1222000 | #Constraints: 127747
3070.29/3079.13 c #Conflicts: 1223000 | #Constraints: 128747
3070.29/3079.13 c #Conflicts: 1224000 | #Constraints: 129747
3070.29/3079.13 c #Conflicts: 1225000 | #Constraints: 130747
3070.29/3079.13 c #Conflicts: 1226000 | #Constraints: 131747
3070.29/3079.13 c #Conflicts: 1227000 | #Constraints: 132747
3070.29/3079.13 c #Conflicts: 1228000 | #Constraints: 133747
3070.29/3079.13 c #Conflicts: 1229000 | #Constraints: 134747
3070.29/3079.13 c #Conflicts: 1230000 | #Constraints: 135747
3070.29/3079.13 c #Conflicts: 1231000 | #Constraints: 136747
3070.29/3079.13 c #Conflicts: 1232000 | #Constraints: 137747
3070.29/3079.13 c #Conflicts: 1233000 | #Constraints: 138747
3070.29/3079.13 c #Conflicts: 1234000 | #Constraints: 139747
3070.29/3079.13 c #Conflicts: 1235000 | #Constraints: 140747
3070.29/3079.13 c #Conflicts: 1236000 | #Constraints: 141747
3070.29/3079.13 c #Conflicts: 1237000 | #Constraints: 142747
3070.29/3079.13 c #Conflicts: 1238000 | #Constraints: 143747
3070.29/3079.13 c #Conflicts: 1239000 | #Constraints: 144747
3070.29/3079.13 c #Conflicts: 1240000 | #Constraints: 145747
3245.77/3255.12 c INPROCESSING
3245.77/3255.12 c GARBAGE COLLECT
3245.77/3255.12 c #Conflicts: 1241000 | #Constraints: 84892
3245.77/3255.12 c #Conflicts: 1242000 | #Constraints: 85892
3245.77/3255.12 c #Conflicts: 1243000 | #Constraints: 86892
3245.77/3255.12 c #Conflicts: 1244000 | #Constraints: 87892
3245.77/3255.12 c #Conflicts: 1245000 | #Constraints: 88892
3245.77/3255.12 c #Conflicts: 1246000 | #Constraints: 89892
3245.77/3255.12 c #Conflicts: 1247000 | #Constraints: 90892
3245.77/3255.12 c #Conflicts: 1248000 | #Constraints: 91892
3245.77/3255.12 c #Conflicts: 1249000 | #Constraints: 92892
3245.77/3255.12 c #Conflicts: 1250000 | #Constraints: 93892
3245.77/3255.12 c #Conflicts: 1251000 | #Constraints: 94892
3245.77/3255.12 c #Conflicts: 1252000 | #Constraints: 95892
3245.77/3255.12 c #Conflicts: 1253000 | #Constraints: 96892
3245.77/3255.12 c #Conflicts: 1254000 | #Constraints: 97892
3245.77/3255.12 c #Conflicts: 1255000 | #Constraints: 98892
3245.77/3255.12 c #Conflicts: 1256000 | #Constraints: 99892
3245.77/3255.12 c #Conflicts: 1257000 | #Constraints: 100892
3245.77/3255.12 c #Conflicts: 1258000 | #Constraints: 101892
3245.77/3255.12 c #Conflicts: 1259000 | #Constraints: 102892
3245.77/3255.12 c #Conflicts: 1260000 | #Constraints: 103892
3245.77/3255.12 c #Conflicts: 1261000 | #Constraints: 104892
3245.77/3255.12 c #Conflicts: 1262000 | #Constraints: 105892
3245.77/3255.12 c #Conflicts: 1263000 | #Constraints: 106892
3245.77/3255.12 c #Conflicts: 1264000 | #Constraints: 107892
3245.77/3255.12 c #Conflicts: 1265000 | #Constraints: 108892
3245.77/3255.12 c #Conflicts: 1266000 | #Constraints: 109892
3245.77/3255.12 c #Conflicts: 1267000 | #Constraints: 110892
3245.77/3255.12 c #Conflicts: 1268000 | #Constraints: 111892
3245.77/3255.12 c #Conflicts: 1269000 | #Constraints: 112892
3245.77/3255.12 c #Conflicts: 1270000 | #Constraints: 113892
3245.77/3255.12 c #Conflicts: 1271000 | #Constraints: 114892
3245.77/3255.12 c #Conflicts: 1272000 | #Constraints: 115892
3245.77/3255.12 c INPROCESSING
3245.77/3255.12 c GARBAGE COLLECT
3245.77/3255.12 c #Conflicts: 1273000 | #Constraints: 77982
3245.77/3255.12 c #Conflicts: 1274000 | #Constraints: 78982
3245.77/3255.12 c #Conflicts: 1275000 | #Constraints: 79982
3245.77/3255.12 c #Conflicts: 1276000 | #Constraints: 80982
3245.77/3255.12 c #Conflicts: 1277000 | #Constraints: 81982
3245.77/3255.12 c #Conflicts: 1278000 | #Constraints: 82982
3245.77/3255.12 c #Conflicts: 1279000 | #Constraints: 83982
3245.77/3255.12 c #Conflicts: 1280000 | #Constraints: 84982
3245.77/3255.12 c #Conflicts: 1281000 | #Constraints: 85982
3245.77/3255.12 c #Conflicts: 1282000 | #Constraints: 86982
3245.77/3255.12 c #Conflicts: 1283000 | #Constraints: 87982
3245.77/3255.12 c #Conflicts: 1284000 | #Constraints: 88982
3245.77/3255.12 c #Conflicts: 1285000 | #Constraints: 89982
3245.77/3255.12 c #Conflicts: 1286000 | #Constraints: 90982
3245.77/3255.12 c #Conflicts: 1287000 | #Constraints: 91982
3245.77/3255.12 c #Conflicts: 1288000 | #Constraints: 92982
3245.77/3255.12 c #Conflicts: 1289000 | #Constraints: 93982
3245.77/3255.12 c #Conflicts: 1290000 | #Constraints: 94982
3245.77/3255.12 c #Conflicts: 1291000 | #Constraints: 95982
3245.77/3255.12 c #Conflicts: 1292000 | #Constraints: 96982
3245.77/3255.12 c #Conflicts: 1293000 | #Constraints: 97982
3245.77/3255.12 c #Conflicts: 1294000 | #Constraints: 98982
3245.77/3255.12 c #Conflicts: 1295000 | #Constraints: 99982
3245.77/3255.12 c #Conflicts: 1296000 | #Constraints: 100982
3245.77/3255.12 c #Conflicts: 1297000 | #Constraints: 101982
3245.77/3255.12 c #Conflicts: 1298000 | #Constraints: 102982
3245.77/3255.12 c #Conflicts: 1299000 | #Constraints: 103982
3245.77/3255.12 c #Conflicts: 1300000 | #Constraints: 104982
3245.77/3255.12 c #Conflicts: 1301000 | #Constraints: 105982
3245.77/3255.12 c #Conflicts: 1302000 | #Constraints: 106982
3245.77/3255.12 c #Conflicts: 1303000 | #Constraints: 107982
3245.77/3255.12 c #Conflicts: 1304000 | #Constraints: 108982
3245.77/3255.12 c #Conflicts: 1305000 | #Constraints: 109982
3245.77/3255.12 c #Conflicts: 1306000 | #Constraints: 110982
3245.77/3255.12 c #Conflicts: 1307000 | #Constraints: 111982
3245.77/3255.12 c #Conflicts: 1308000 | #Constraints: 112982
3245.77/3255.12 c #Conflicts: 1309000 | #Constraints: 113982
3245.77/3255.12 c #Conflicts: 1310000 | #Constraints: 114982
3245.77/3255.12 c #Conflicts: 1311000 | #Constraints: 115982
3245.77/3255.12 c #Conflicts: 1312000 | #Constraints: 116982
3245.77/3255.12 c #Conflicts: 1313000 | #Constraints: 117982
3245.77/3255.12 c #Conflicts: 1314000 | #Constraints: 118982
3245.77/3255.12 c #Conflicts: 1315000 | #Constraints: 119982
3245.77/3255.12 c #Conflicts: 1316000 | #Constraints: 120982
3245.77/3255.12 c #Conflicts: 1317000 | #Constraints: 121982
3245.77/3255.12 c #Conflicts: 1318000 | #Constraints: 122982
3600.04/3610.50 c #Conflicts: 1319000 | #Constraints: 123982
3600.04/3610.50 c #Conflicts: 1320000 | #Constraints: 124982
3600.04/3610.50 c #Conflicts: 1321000 | #Constraints: 125982
3600.04/3610.50 c #Conflicts: 1322000 | #Constraints: 126982
3600.04/3610.50 c #Conflicts: 1323000 | #Constraints: 127982
3600.04/3610.50 c #Conflicts: 1324000 | #Constraints: 128982
3600.04/3610.50 c #Conflicts: 1325000 | #Constraints: 129982
3600.04/3610.50 c #Conflicts: 1326000 | #Constraints: 130982
3600.04/3610.50 c #Conflicts: 1327000 | #Constraints: 131982
3600.04/3610.50 c #Conflicts: 1328000 | #Constraints: 132982
3600.04/3610.50 c #Conflicts: 1329000 | #Constraints: 133982
3600.04/3610.50 c #Conflicts: 1330000 | #Constraints: 134982
3600.04/3610.50 c #Conflicts: 1331000 | #Constraints: 135982
3600.04/3610.50 c #Conflicts: 1332000 | #Constraints: 136982
3600.04/3610.50 c #Conflicts: 1333000 | #Constraints: 137982
3600.04/3610.50 c #Conflicts: 1334000 | #Constraints: 138982
3600.04/3610.50 c #Conflicts: 1335000 | #Constraints: 139982
3600.04/3610.50 c #Conflicts: 1336000 | #Constraints: 140982
3600.04/3610.50 c #Conflicts: 1337000 | #Constraints: 141982
3600.04/3610.50 c #Conflicts: 1338000 | #Constraints: 142982
3600.04/3610.50 c #Conflicts: 1339000 | #Constraints: 143982
3600.04/3610.50 c #Conflicts: 1340000 | #Constraints: 144982
3600.04/3610.50 c #Conflicts: 1341000 | #Constraints: 145982
3600.04/3610.50 c #Conflicts: 1342000 | #Constraints: 146982
3600.04/3610.50 c #Conflicts: 1343000 | #Constraints: 147982
3600.04/3610.50 c #Conflicts: 1344000 | #Constraints: 148982
3600.04/3610.50 c #Conflicts: 1345000 | #Constraints: 149982
3600.04/3610.50 c #Conflicts: 1346000 | #Constraints: 150982
3600.04/3610.50 c #Conflicts: 1347000 | #Constraints: 151982
3600.04/3610.50 c INPROCESSING
3600.04/3610.50 c GARBAGE COLLECT
3600.04/3610.50 c #Conflicts: 1348000 | #Constraints: 88019
3600.04/3610.50 c #Conflicts: 1349000 | #Constraints: 89019
3600.04/3610.50 c #Conflicts: 1350000 | #Constraints: 90019
3600.04/3610.50 c #Conflicts: 1351000 | #Constraints: 91019
3600.04/3610.50 c #Conflicts: 1352000 | #Constraints: 92019
3600.04/3610.50 c #Conflicts: 1353000 | #Constraints: 93019
3600.04/3610.50 c #Conflicts: 1354000 | #Constraints: 94019
3600.04/3610.50 c #Conflicts: 1355000 | #Constraints: 95019
3600.04/3610.50 c #Conflicts: 1356000 | #Constraints: 96019
3600.04/3610.50 c #Conflicts: 1357000 | #Constraints: 97019
3600.04/3610.50 c #Conflicts: 1358000 | #Constraints: 98019
3600.04/3610.50 c #Conflicts: 1359000 | #Constraints: 99019
3600.04/3610.50 c #Conflicts: 1360000 | #Constraints: 100019
3600.04/3610.50 c #Conflicts: 1361000 | #Constraints: 101019
3600.04/3610.50 c #Conflicts: 1362000 | #Constraints: 102019
3600.04/3610.50 c #Conflicts: 1363000 | #Constraints: 103019
3600.04/3610.50 c #Conflicts: 1364000 | #Constraints: 104019
3600.04/3610.50 c #Conflicts: 1365000 | #Constraints: 105019
3600.04/3610.50 c #Conflicts: 1366000 | #Constraints: 106019
3600.04/3610.50 c #Conflicts: 1367000 | #Constraints: 107019
3600.04/3610.50 c #Conflicts: 1368000 | #Constraints: 108019
3600.04/3610.50 c #Conflicts: 1369000 | #Constraints: 109019
3600.04/3610.50 c #Conflicts: 1370000 | #Constraints: 110019
3600.04/3610.50 c #Conflicts: 1371000 | #Constraints: 111019
3600.04/3610.50 c #Conflicts: 1372000 | #Constraints: 112019
3600.04/3610.50 c #Conflicts: 1373000 | #Constraints: 113019
3600.04/3610.50 c #Conflicts: 1374000 | #Constraints: 114020
3600.04/3610.50 c #Conflicts: 1375000 | #Constraints: 115020
3600.04/3610.50 c #Conflicts: 1376000 | #Constraints: 116020
3600.04/3610.50 c #Conflicts: 1377000 | #Constraints: 117020
3600.04/3610.50 c #Conflicts: 1378000 | #Constraints: 118020
3600.04/3610.50 c #Conflicts: 1379000 | #Constraints: 119020
3600.04/3610.50 c #Conflicts: 1380000 | #Constraints: 120020
3600.04/3610.50 c INPROCESSING
3600.04/3610.50 c GARBAGE COLLECT
3600.04/3610.50 c Disabling crashed LP
3600.04/3610.50 c cpu time 3571.04 s
3600.04/3610.50 c deterministic time 230160138340 2.30e+11
3600.04/3610.50 c optimization time 0.002847 s
3600.04/3610.50 c total solve time 3570.77 s
3600.04/3610.50 c core-guided solve time 0 s
3600.04/3610.50 c propagation time 1769.59 s
3600.04/3610.50 c conflict analysis time 1231.33 s
3600.04/3610.50 c propagations 1374782417
3600.04/3610.50 c resolve steps 86406356
3600.04/3610.50 c decisions 30353558
3600.04/3610.50 c conflicts 1380000
3600.04/3610.50 c restarts 2630
3600.04/3610.50 c inprocessing phases 50
3600.04/3610.50 c garbage collections 50 ,( 100.00 )
3600.04/3610.50 c input clauses 19922 ,( 99.17 )
3600.04/3610.50 c input cardinalities 166 ,( 0.83 )
3600.04/3610.50 c input general constraints 0 ,( 0.00 )
3600.04/3610.50 c input average constraint length 6.43
3600.04/3610.50 c input average constraint degree 1.97
3600.04/3610.50 c learned clauses 1015361 ,( 73.58 )
3600.04/3610.50 c learned cardinalities 44548 ,( 3.23 )
3600.04/3610.50 c learned general constraints 320119 ,( 23.20 )
3600.04/3610.50 c learned average constraint length 722.83
3600.04/3610.50 c learned average constraint degree 15876716.73
3600.04/3610.50 c watched CF 32, 64, 128, Arb: 82341 , 0 , 0 , 0
3600.04/3610.50 c counting CF 32, 64, 128, Arb: 237778 , 0 , 0 , 0
3600.04/3610.50 c watched constraints 82341 ,( 25.72 )
3600.04/3610.50 c counting constraints 237778 ,( 74.28 )
3600.04/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1278428003 , 689374642 , 1805597690 ,( 79920467 , 1725677223 )
3600.04/3610.50 c gcd simplifications 676
3600.04/3610.50 c detected cardinalities 6321
3600.04/3610.50 c weakened non-implied lits 382970522
3600.04/3610.50 c weakened non-implying lits 207051
3600.04/3610.50 c original variables 19754
3600.04/3610.50 c clausal propagations 631768431
3600.04/3610.50 c cardinality propagations 504219675
3600.04/3610.50 c watched propagations 4369751
3600.04/3610.50 c counting propagations 221792480
3600.04/3610.50 c watch lookups 75673975703
3600.04/3610.50 c watch backjump lookups 0
3600.04/3610.50 c watch checks 32152756215
3600.04/3610.50 c propagation checks 114770927358
3600.04/3610.50 c constraint additions 4750552572
3600.04/3610.50 c trail pops 1406515111
3600.04/3610.50 c formula constraints 20088
3600.04/3610.50 c learned constraints 1379997
3600.04/3610.50 c bound constraints 0
3600.04/3610.50 c core-guided constraints 0
3600.04/3610.50 c encountered formula constraints 55252356
3600.04/3610.50 c encountered learned constraints 32533905
3600.04/3610.50 c encountered bound constraints 0
3600.04/3610.50 c encountered core-guided constraints 0
3600.04/3610.50 c LP total time 382.635 s
3600.04/3610.50 c LP solve time 370.25 s
3600.04/3610.50 c LP constraints added 20740
3600.04/3610.50 c LP constraints removed 457
3600.04/3610.50 c LP pivots internal 138357
3600.04/3610.50 c LP pivots root 137048
3600.04/3610.50 c LP calls 35
3600.04/3610.50 c LP optimalities 6
3600.04/3610.50 c LP no pivot count 1
3600.04/3610.50 c LP infeasibilities 22
3600.04/3610.50 c LP valid Farkas constraints 22
3600.04/3610.50 c LP learned Farkas constraints 3
3600.04/3610.50 c LP basis resets 0
3600.04/3610.50 c LP cycling count 0
3600.04/3610.50 c LP singular count 0
3600.04/3610.50 c LP no primal count 0
3600.04/3610.50 c LP no farkas count 0
3600.04/3610.50 c LP other issue count 0
3600.04/3610.50 c LP Gomory cuts 6
3600.04/3610.50 c LP learned cuts 646
3600.04/3610.50 c LP deleted cuts 457
3600.04/3610.50 c LP encountered Gomory constraints 6
3600.04/3610.50 c LP encountered Farkas constraints 84
3600.04/3610.50 c LP encountered learned Farkas constraints 2
3600.04/3610.50 c CG auxiliary variables introduced 0
3600.04/3610.50 c CG solutions found 0
3600.04/3610.50 c CG cores constructed 0
3600.04/3610.50 c CG core cardinality constraints returned 0
3600.04/3610.50 c CG unit cores 0
3600.04/3610.50 c CG single cores 0
3600.04/3610.50 c CG blocks removed during cardinality reduction 0
3600.04/3610.50 c CG first core best 0
3600.04/3610.50 c CG decision core best 0
3600.04/3610.50 c CG core reduction tie 0
3600.04/3610.50 c CG core degree average 0.00
3600.04/3610.50 c CG core slack average 0.00
3600.04/3610.50 c CG core upper bound improvements 0
3600.04/3610.50 c STR number of successful calls 0
3600.04/3610.50 c STR number of unsuccessful calls 0
3600.04/3610.50 c STR number of inconclusive calls 0
3600.04/3610.50 c STR number of successful attempts 0
3600.04/3610.50 c STR number of unsuccessful attempts 0
3600.04/3610.50 c STR number of inconclusive attempts 0
3600.04/3610.50 c STR average degree increase per successful call inf
3600.04/3610.50 c STR average degree increase per successful attempt inf
3600.04/3610.50 c STR total number of conflicts for successful attempts 0
3600.04/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.50 c STR average number of conflicts per successful attempt inf
3600.04/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.50 c AVG.sumWPerc 65.96
3600.04/3610.50 c bigint constraints 0
3600.04/3610.50 s UNKNOWN
3600.04/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: 63794 MiB (62868 MiB free)
memory of node 1: 64507 MiB (63451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506906-1751173013/watcher-4506906-1751173013 -o /tmp/evaluation-result-4506906-1751173013/solver-4506906-1751173013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20701 --watchdog 3760 run-dec-ls.sh HOME/instance-4506906-1751173013.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21239, runsolver pid=21236
[startup+0.100101 s]*
/proc/loadavg: 4.11 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129352900/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=63860 memory=18752 CPUtime=0.09 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 2442 0 0 0 7 2 0 0 20 0 1 0 32980242 65392640 4688 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 15965 4688 1952 1147 0 3392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 21824 KiB
[startup+0.213483 s]*
/proc/loadavg: 4.11 4.11 4.10 6/256 21241
/proc/meminfo: memFree=129352156/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=68436 memory=23040 CPUtime=0.2 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 3629 0 0 0 16 4 0 0 20 0 1 0 32980242 70078464 5760 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 17109 5760 1952 1147 0 4536 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72628 KiB
Current children cumulated memory: 26112 KiB
[startup+0.313271 s]*
/proc/loadavg: 4.11 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129332940/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=101936 memory=49704 CPUtime=0.3 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 7287 0 0 0 25 5 0 0 20 0 1 0 32980242 104382464 12426 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 25484 12426 2240 1147 0 12911 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106128 KiB
Current children cumulated memory: 52776 KiB
[startup+0.700389 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129313700/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=115048 memory=60488 CPUtime=0.67 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 11751 0 0 0 60 7 0 0 20 0 1 0 32980242 117809152 15122 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 28762 15122 2272 1147 0 16189 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 119240 KiB
Current children cumulated memory: 63560 KiB
[startup+1.50038 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129309668/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=115048 memory=60872 CPUtime=1.47 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 11853 0 0 0 140 7 0 0 20 0 1 0 32980242 117809152 15218 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 28762 15218 2272 1147 0 16189 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 119240 KiB
Current children cumulated memory: 63944 KiB
[startup+3.11296 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129310208/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=116532 memory=62920 CPUtime=3.07 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 12372 0 0 0 300 7 0 0 20 0 1 0 32980242 119328768 15730 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 29133 15730 2272 1147 0 16560 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 120724 KiB
Current children cumulated memory: 65992 KiB
[startup+6.30035 s]
/proc/loadavg: 4.10 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129294584/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=121368 memory=71040 CPUtime=6.26 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 13824 0 0 0 611 15 0 0 20 0 1 0 32980242 124280832 17760 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 30342 17760 2336 1147 0 17769 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125560 KiB
Current children cumulated memory: 74112 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.10 5/256 21241
/proc/meminfo: memFree=129275524/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=130428 memory=78464 CPUtime=12.63 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 15702 0 0 0 1233 30 0 0 20 0 1 0 32980242 133558272 19616 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 32607 19616 2336 1147 0 20034 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 134620 KiB
Current children cumulated memory: 81536 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.10 4.10 5/256 21241
/proc/meminfo: memFree=129244844/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=161416 memory=106456 CPUtime=25.41 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 21682 0 0 0 2475 66 0 0 20 0 1 0 32980242 165289984 26614 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 40354 26614 2336 1147 0 27781 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 165608 KiB
Current children cumulated memory: 109528 KiB
[startup+51.113 s]
/proc/loadavg: 4.05 4.09 4.09 5/254 21242
/proc/meminfo: memFree=129045280/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=184916 memory=128868 CPUtime=50.94 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 25290 0 0 0 4975 119 0 0 20 0 1 0 32980242 189353984 32217 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 46229 32217 2336 1147 0 33656 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 189108 KiB
Current children cumulated memory: 131940 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 21246
/proc/meminfo: memFree=128938816/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=231540 memory=162724 CPUtime=101.98 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 32256 0 0 0 10006 192 0 0 20 0 1 0 32980242 237096960 40681 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 57885 40681 2336 1147 0 45312 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 235732 KiB
Current children cumulated memory: 165796 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/253 21248
/proc/meminfo: memFree=128887392/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=288968 memory=214716 CPUtime=161.81 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 39108 0 0 0 15891 290 0 0 20 0 1 0 32980242 295903232 53679 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 72242 53679 2336 1147 0 59669 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 293160 KiB
Current children cumulated memory: 217788 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/253 21250
/proc/meminfo: memFree=128832872/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=305620 memory=235636 CPUtime=221.64 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 43304 0 0 0 21789 375 0 0 20 0 1 0 32980242 312954880 58909 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 76405 58909 2368 1147 0 63832 0
################
# More data... #
################
/proc/21241/statm: 284012 236624 2368 1147 0 271439 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 1140240 KiB
Current children cumulated memory: 949568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.43 4.38 4.27 5/254 21399
/proc/meminfo: memFree=126236780/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1136048 memory=946496 CPUtime=3153.23 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 125985 0 0 0 312651 2672 0 0 20 0 1 0 32980242 1163313152 236624 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 284012 236624 2368 1147 0 271439 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 1140240 KiB
Current children cumulated memory: 949568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.33 4.26 5/254 21401
/proc/meminfo: memFree=126173332/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1136048 memory=946496 CPUtime=3213.06 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 125985 0 0 0 318573 2733 0 0 20 0 1 0 32980242 1163313152 236624 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 284012 236624 2368 1147 0 271439 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 1140240 KiB
Current children cumulated memory: 949568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.28 4.25 5/254 21542
/proc/meminfo: memFree=129161784/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1137560 memory=948032 CPUtime=3272.87 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 126364 0 0 0 324524 2763 0 0 20 0 1 0 32980242 1164861440 237008 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 284390 237008 2368 1147 0 271817 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 1141752 KiB
Current children cumulated memory: 951104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.26 4.24 5/254 21544
/proc/meminfo: memFree=128930456/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1140552 memory=950464 CPUtime=3332.68 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 126964 0 0 0 330484 2784 0 0 20 0 1 0 32980242 1167925248 237616 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 285138 237616 2368 1147 0 272565 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 1144744 KiB
Current children cumulated memory: 953536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.22 4.23 5/254 21546
/proc/meminfo: memFree=128801884/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1147540 memory=956992 CPUtime=3392.48 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 128772 0 0 0 336423 2825 0 0 20 0 1 0 32980242 1175080960 239248 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 286885 239248 2368 1147 0 274312 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 1151732 KiB
Current children cumulated memory: 960064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.22 5/254 21548
/proc/meminfo: memFree=128709580/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1148404 memory=957888 CPUtime=3452.29 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 129002 0 0 0 342365 2864 0 0 20 0 1 0 32980242 1175965696 239472 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 287101 239472 2368 1147 0 274528 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 1152596 KiB
Current children cumulated memory: 960960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.17 4.21 5/254 21550
/proc/meminfo: memFree=128609276/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1148404 memory=958016 CPUtime=3512.09 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 129026 0 0 0 348332 2877 0 0 20 0 1 0 32980242 1175965696 239504 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 287101 239504 2368 1147 0 274528 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 1152596 KiB
Current children cumulated memory: 961088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.20 5/254 21552
/proc/meminfo: memFree=128540720/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1148864 memory=969664 CPUtime=3571.91 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 129126 0 0 0 354299 2892 0 0 20 0 1 0 32980242 1176436736 242416 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 287216 242416 2464 1147 0 274643 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 1153056 KiB
Current children cumulated memory: 972736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.13 4.17 4.20 5/254 21553
/proc/meminfo: memFree=128498204/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1148864 memory=975552 CPUtime=3600.04 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 129127 0 0 0 357103 2901 0 0 20 0 1 0 32980242 1176436736 243888 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 287216 243888 2464 1147 0 274643 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1153056 KiB
Current children cumulated memory: 978624 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.51 s]
# the end of solver process 21239 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004983 s
Sleeping 2 seconds
[startup+3610.52 s]
# the end of solver process 21241 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.05 s, system=29.0244 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.13 4.17 4.20 5/254 21553
/proc/meminfo: memFree=128498204/131382112 swapFree=33010684/33010684
[pid=21239] ppid=21236 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21239/stat : 21239 (run-dec-ls.sh) S 21236 21239 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32980241 4292608 768 18446744073709551615 94018755940352 94018756834885 140737329592656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94018757073936 94018757121680 94018789154816 140737329600871 140737329600997 140737329600997 140737329606599 0
/proc/21239/statm: 1048 768 704 219 0 110 0
[pid=21241] ppid=21239 vsize=1148864 memory=975552 CPUtime=3600.04 cores=0,2
/proc/21241/stat : 21241 (roundingsat) R 21239 21239 20691 0 -1 4194304 129127 0 0 0 357103 2901 0 0 20 0 1 0 32980242 1176436736 243888 18446744073709551615 4227072 8923433 140735277311680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13115392 140735277320608 140735277320744 140735277320744 140735277326314 0
/proc/21241/statm: 287216 243888 2464 1147 0 274643 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1153056 KiB
Current children cumulated memory: 978624 KiB
Child status: 2
Real time (s): 3610.52
CPU time (s): 3600.07
CPU user time (s): 3571.05
CPU system time (s): 29.0244
CPU usage (%): 99.7106
Max. virtual memory (cumulated for all children) (KiB): 1153056
Max. memory (cumulated for all children) (KiB): 978624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.05
system time used= 29.0244
maximum resident set size= 975808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275
involuntary context switches= 8015
# summary of solver processes directly reported to runsolver:
# pid: 21239,21241
# total CPU time (s): 3600.07
# total CPU user time (s): 3571.05
# total CPU system time (s): 29.0244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0158 second user time and 35.8671 second system time
The end
Begin job on nodeC001 at 2025-06-29 06:56:54
IDJOB=4506906
IDBENCH=158308
IDSOLVER=3353
FILE ID=nodeC001/4506906-1751173013
RUNJOBID= nodeC001-1751169047-20701
SLURM_JOB_ID= 9587516
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506906-1751173013/watcher-4506906-1751173013 -o /tmp/evaluation-result-4506906-1751173013/solver-4506906-1751173013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20701 --watchdog 3760 run-dec-ls.sh HOME/instance-4506906-1751173013.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1235387061
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.487
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.997
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.946
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.397
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.749
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129357172 kB
MemAvailable: 129011212 kB
Buffers: 3280 kB
Cached: 465376 kB
SwapCached: 0 kB
Active: 1239216 kB
Inactive: 220436 kB
Active(anon): 1008956 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 220436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8732 kB
Writeback: 0 kB
AnonPages: 994148 kB
Mapped: 115744 kB
Shmem: 17960 kB
KReclaimable: 85560 kB
Slab: 166096 kB
SReclaimable: 85560 kB
SUnreclaim: 80536 kB
KernelStack: 4128 kB
PageTables: 5080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1411708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC001 at 2025-06-29 07:57:04