0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.28/0.42 c #variables 19754 #constraints 20088
102.83/103.28 c #Conflicts: 1000 | #Constraints: 21087
102.83/103.28 c #Conflicts: 2000 | #Constraints: 22087
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 3000 | #Constraints: 21432
102.83/103.28 c #Conflicts: 4000 | #Constraints: 22432
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 5000 | #Constraints: 21928
102.83/103.28 c #Conflicts: 6000 | #Constraints: 22928
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 7000 | #Constraints: 22024
102.83/103.28 c #Conflicts: 8000 | #Constraints: 23024
102.83/103.28 c #Conflicts: 9000 | #Constraints: 24024
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 10000 | #Constraints: 22795
102.83/103.28 c #Conflicts: 11000 | #Constraints: 23795
102.83/103.28 c #Conflicts: 12000 | #Constraints: 24795
102.83/103.28 c #Conflicts: 13000 | #Constraints: 25795
102.83/103.28 c #Conflicts: 14000 | #Constraints: 26795
102.83/103.28 c #Conflicts: 15000 | #Constraints: 27795
102.83/103.28 c #Conflicts: 16000 | #Constraints: 28795
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 17000 | #Constraints: 25124
102.83/103.28 c #Conflicts: 18000 | #Constraints: 26124
102.83/103.28 c #Conflicts: 19000 | #Constraints: 27124
102.83/103.28 c #Conflicts: 20000 | #Constraints: 28124
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 21000 | #Constraints: 24873
102.83/103.28 c #Conflicts: 22000 | #Constraints: 25873
102.83/103.28 c #Conflicts: 23000 | #Constraints: 26873
102.83/103.28 c #Conflicts: 24000 | #Constraints: 27873
102.83/103.28 c #Conflicts: 25000 | #Constraints: 28873
102.83/103.28 c #Conflicts: 26000 | #Constraints: 29873
102.83/103.28 c #Conflicts: 27000 | #Constraints: 30873
102.83/103.28 c #Conflicts: 28000 | #Constraints: 31873
102.83/103.28 c #Conflicts: 29000 | #Constraints: 32873
102.83/103.28 c #Conflicts: 30000 | #Constraints: 33873
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 31000 | #Constraints: 27699
102.83/103.28 c #Conflicts: 32000 | #Constraints: 28699
102.83/103.28 c #Conflicts: 33000 | #Constraints: 29699
102.83/103.28 c #Conflicts: 34000 | #Constraints: 30699
102.83/103.28 c #Conflicts: 35000 | #Constraints: 31699
102.83/103.28 c #Conflicts: 36000 | #Constraints: 32699
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 37000 | #Constraints: 27537
102.83/103.28 c #Conflicts: 38000 | #Constraints: 28537
102.83/103.28 c #Conflicts: 39000 | #Constraints: 29537
102.83/103.28 c #Conflicts: 40000 | #Constraints: 30537
102.83/103.28 c #Conflicts: 41000 | #Constraints: 31537
102.83/103.28 c #Conflicts: 42000 | #Constraints: 32537
102.83/103.28 c #Conflicts: 43000 | #Constraints: 33537
102.83/103.28 c #Conflicts: 44000 | #Constraints: 34537
102.83/103.28 c #Conflicts: 45000 | #Constraints: 35537
102.83/103.28 c #Conflicts: 46000 | #Constraints: 36537
102.83/103.28 c #Conflicts: 47000 | #Constraints: 37537
102.83/103.28 c #Conflicts: 48000 | #Constraints: 38537
102.83/103.28 c #Conflicts: 49000 | #Constraints: 39537
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 50000 | #Constraints: 30728
102.83/103.28 c #Conflicts: 51000 | #Constraints: 31728
102.83/103.28 c #Conflicts: 52000 | #Constraints: 32728
102.83/103.28 c #Conflicts: 53000 | #Constraints: 33728
102.83/103.28 c #Conflicts: 54000 | #Constraints: 34728
102.83/103.28 c #Conflicts: 55000 | #Constraints: 35728
102.83/103.28 c #Conflicts: 56000 | #Constraints: 36728
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
102.83/103.28 c #Conflicts: 57000 | #Constraints: 30006
102.83/103.28 c #Conflicts: 58000 | #Constraints: 31006
102.83/103.28 c #Conflicts: 59000 | #Constraints: 32006
102.83/103.28 c #Conflicts: 60000 | #Constraints: 33006
102.83/103.28 c #Conflicts: 61000 | #Constraints: 34006
102.83/103.28 c #Conflicts: 62000 | #Constraints: 35006
102.83/103.28 c #Conflicts: 63000 | #Constraints: 36006
102.83/103.28 c #Conflicts: 64000 | #Constraints: 37006
102.83/103.28 c #Conflicts: 65000 | #Constraints: 38006
102.83/103.28 c #Conflicts: 66000 | #Constraints: 39006
102.83/103.28 c #Conflicts: 67000 | #Constraints: 40006
102.83/103.28 c #Conflicts: 68000 | #Constraints: 41006
102.83/103.28 c #Conflicts: 69000 | #Constraints: 42006
102.83/103.28 c #Conflicts: 70000 | #Constraints: 43006
102.83/103.28 c #Conflicts: 71000 | #Constraints: 44006
102.83/103.28 c #Conflicts: 72000 | #Constraints: 45006
102.83/103.28 c INPROCESSING
102.83/103.28 c GARBAGE COLLECT
225.44/226.25 c #Conflicts: 73000 | #Constraints: 33569
225.44/226.25 c #Conflicts: 74000 | #Constraints: 34569
225.44/226.25 c #Conflicts: 75000 | #Constraints: 35569
225.44/226.25 c #Conflicts: 76000 | #Constraints: 36569
225.44/226.25 c #Conflicts: 77000 | #Constraints: 37569
225.44/226.25 c #Conflicts: 78000 | #Constraints: 38569
225.44/226.25 c #Conflicts: 79000 | #Constraints: 39569
225.44/226.25 c #Conflicts: 80000 | #Constraints: 40569
225.44/226.25 c INPROCESSING
225.44/226.25 c GARBAGE COLLECT
225.44/226.25 c #Conflicts: 81000 | #Constraints: 32537
225.44/226.25 c #Conflicts: 82000 | #Constraints: 33537
225.44/226.25 c #Conflicts: 83000 | #Constraints: 34537
225.44/226.25 c #Conflicts: 84000 | #Constraints: 35537
225.44/226.25 c #Conflicts: 85000 | #Constraints: 36537
225.44/226.25 c #Conflicts: 86000 | #Constraints: 37537
225.44/226.25 c #Conflicts: 87000 | #Constraints: 38537
225.44/226.25 c #Conflicts: 88000 | #Constraints: 39537
225.44/226.25 c #Conflicts: 89000 | #Constraints: 40537
225.44/226.25 c #Conflicts: 90000 | #Constraints: 41537
225.44/226.25 c #Conflicts: 91000 | #Constraints: 42537
225.44/226.25 c #Conflicts: 92000 | #Constraints: 43537
225.44/226.25 c #Conflicts: 93000 | #Constraints: 44537
225.44/226.25 c #Conflicts: 94000 | #Constraints: 45537
225.44/226.25 c #Conflicts: 95000 | #Constraints: 46537
225.44/226.25 c #Conflicts: 96000 | #Constraints: 47537
225.44/226.25 c #Conflicts: 97000 | #Constraints: 48537
225.44/226.25 c #Conflicts: 98000 | #Constraints: 49537
225.44/226.25 c #Conflicts: 99000 | #Constraints: 50537
225.44/226.25 c #Conflicts: 100000 | #Constraints: 51537
225.44/226.25 c INPROCESSING
225.44/226.25 c GARBAGE COLLECT
225.44/226.25 c #Conflicts: 101000 | #Constraints: 37060
225.44/226.25 c #Conflicts: 102000 | #Constraints: 38060
225.44/226.25 c #Conflicts: 103000 | #Constraints: 39060
225.44/226.25 c #Conflicts: 104000 | #Constraints: 40060
225.44/226.25 c #Conflicts: 105000 | #Constraints: 41060
225.44/226.25 c #Conflicts: 106000 | #Constraints: 42060
225.44/226.25 c #Conflicts: 107000 | #Constraints: 43060
225.44/226.25 c #Conflicts: 108000 | #Constraints: 44060
225.44/226.25 c #Conflicts: 109000 | #Constraints: 45060
225.44/226.25 c INPROCESSING
225.44/226.25 c GARBAGE COLLECT
225.44/226.25 c #Conflicts: 110000 | #Constraints: 35177
225.44/226.25 c #Conflicts: 111000 | #Constraints: 36177
225.44/226.25 c #Conflicts: 112000 | #Constraints: 37177
225.44/226.25 c #Conflicts: 113000 | #Constraints: 38177
225.44/226.25 c #Conflicts: 114000 | #Constraints: 39177
225.44/226.25 c #Conflicts: 115000 | #Constraints: 40177
225.44/226.25 c #Conflicts: 116000 | #Constraints: 41177
225.44/226.25 c #Conflicts: 117000 | #Constraints: 42177
225.44/226.25 c #Conflicts: 118000 | #Constraints: 43177
225.44/226.25 c #Conflicts: 119000 | #Constraints: 44177
225.44/226.25 c #Conflicts: 120000 | #Constraints: 45177
225.44/226.25 c #Conflicts: 121000 | #Constraints: 46177
225.44/226.25 c #Conflicts: 122000 | #Constraints: 47177
225.44/226.25 c #Conflicts: 123000 | #Constraints: 48177
225.44/226.25 c #Conflicts: 124000 | #Constraints: 49177
225.44/226.25 c #Conflicts: 125000 | #Constraints: 50177
225.44/226.25 c #Conflicts: 126000 | #Constraints: 51177
225.44/226.25 c #Conflicts: 127000 | #Constraints: 52177
225.44/226.25 c #Conflicts: 128000 | #Constraints: 53177
225.44/226.25 c #Conflicts: 129000 | #Constraints: 54177
225.44/226.25 c #Conflicts: 130000 | #Constraints: 55177
225.44/226.25 c #Conflicts: 131000 | #Constraints: 56177
225.44/226.25 c #Conflicts: 132000 | #Constraints: 57177
225.44/226.25 c INPROCESSING
225.44/226.25 c GARBAGE COLLECT
225.44/226.25 c #Conflicts: 133000 | #Constraints: 40114
225.44/226.25 c #Conflicts: 134000 | #Constraints: 41114
225.44/226.25 c #Conflicts: 135000 | #Constraints: 42114
225.44/226.25 c #Conflicts: 136000 | #Constraints: 43114
225.44/226.25 c #Conflicts: 137000 | #Constraints: 44114
225.44/226.25 c #Conflicts: 138000 | #Constraints: 45114
225.44/226.25 c #Conflicts: 139000 | #Constraints: 46114
225.44/226.25 c #Conflicts: 140000 | #Constraints: 47114
225.44/226.25 c #Conflicts: 141000 | #Constraints: 48114
225.44/226.25 c #Conflicts: 142000 | #Constraints: 49114
225.44/226.25 c INPROCESSING
225.44/226.25 c GARBAGE COLLECT
225.44/226.25 c #Conflicts: 143000 | #Constraints: 38016
225.44/226.25 c #Conflicts: 144000 | #Constraints: 39016
225.44/226.25 c #Conflicts: 145000 | #Constraints: 40016
225.44/226.25 c #Conflicts: 146000 | #Constraints: 41016
225.44/226.25 c #Conflicts: 147000 | #Constraints: 42016
225.44/226.25 c #Conflicts: 148000 | #Constraints: 43016
384.53/385.85 c #Conflicts: 149000 | #Constraints: 44016
384.53/385.85 c #Conflicts: 150000 | #Constraints: 45016
384.53/385.85 c #Conflicts: 151000 | #Constraints: 46016
384.53/385.85 c #Conflicts: 152000 | #Constraints: 47016
384.53/385.85 c #Conflicts: 153000 | #Constraints: 48016
384.53/385.85 c #Conflicts: 154000 | #Constraints: 49016
384.53/385.85 c #Conflicts: 155000 | #Constraints: 50016
384.53/385.85 c #Conflicts: 156000 | #Constraints: 51016
384.53/385.85 c #Conflicts: 157000 | #Constraints: 52016
384.53/385.85 c #Conflicts: 158000 | #Constraints: 53016
384.53/385.85 c #Conflicts: 159000 | #Constraints: 54016
384.53/385.85 c #Conflicts: 160000 | #Constraints: 55016
384.53/385.85 c #Conflicts: 161000 | #Constraints: 56016
384.53/385.85 c #Conflicts: 162000 | #Constraints: 57016
384.53/385.85 c #Conflicts: 163000 | #Constraints: 58016
384.53/385.85 c #Conflicts: 164000 | #Constraints: 59016
384.53/385.85 c #Conflicts: 165000 | #Constraints: 60016
384.53/385.85 c #Conflicts: 166000 | #Constraints: 61016
384.53/385.85 c #Conflicts: 167000 | #Constraints: 62016
384.53/385.85 c #Conflicts: 168000 | #Constraints: 63016
384.53/385.85 c INPROCESSING
384.53/385.85 c GARBAGE COLLECT
384.53/385.85 c #Conflicts: 169000 | #Constraints: 43033
384.53/385.85 c #Conflicts: 170000 | #Constraints: 44033
384.53/385.85 c #Conflicts: 171000 | #Constraints: 45033
384.53/385.85 c #Conflicts: 172000 | #Constraints: 46033
384.53/385.85 c #Conflicts: 173000 | #Constraints: 47033
384.53/385.85 c #Conflicts: 174000 | #Constraints: 48033
384.53/385.85 c #Conflicts: 175000 | #Constraints: 49033
384.53/385.85 c #Conflicts: 176000 | #Constraints: 50033
384.53/385.85 c #Conflicts: 177000 | #Constraints: 51033
384.53/385.85 c #Conflicts: 178000 | #Constraints: 52033
384.53/385.85 c #Conflicts: 179000 | #Constraints: 53033
384.53/385.85 c #Conflicts: 180000 | #Constraints: 54033
384.53/385.85 c INPROCESSING
384.53/385.85 c GARBAGE COLLECT
384.53/385.85 c #Conflicts: 181000 | #Constraints: 41155
384.53/385.85 c #Conflicts: 182000 | #Constraints: 42155
384.53/385.85 c #Conflicts: 183000 | #Constraints: 43155
384.53/385.85 c #Conflicts: 184000 | #Constraints: 44155
384.53/385.85 c #Conflicts: 185000 | #Constraints: 45155
384.53/385.85 c #Conflicts: 186000 | #Constraints: 46155
384.53/385.85 c #Conflicts: 187000 | #Constraints: 47155
384.53/385.85 c #Conflicts: 188000 | #Constraints: 48155
384.53/385.85 c #Conflicts: 189000 | #Constraints: 49155
384.53/385.85 c #Conflicts: 190000 | #Constraints: 50155
384.53/385.85 c #Conflicts: 191000 | #Constraints: 51155
384.53/385.85 c #Conflicts: 192000 | #Constraints: 52155
384.53/385.85 c #Conflicts: 193000 | #Constraints: 53155
384.53/385.85 c #Conflicts: 194000 | #Constraints: 54155
384.53/385.85 c #Conflicts: 195000 | #Constraints: 55155
384.53/385.85 c #Conflicts: 196000 | #Constraints: 56155
384.53/385.85 c #Conflicts: 197000 | #Constraints: 57155
384.53/385.85 c #Conflicts: 198000 | #Constraints: 58155
384.53/385.85 c #Conflicts: 199000 | #Constraints: 59155
384.53/385.85 c #Conflicts: 200000 | #Constraints: 60155
384.53/385.85 c #Conflicts: 201000 | #Constraints: 61155
384.53/385.85 c #Conflicts: 202000 | #Constraints: 62155
384.53/385.85 c #Conflicts: 203000 | #Constraints: 63155
384.53/385.85 c #Conflicts: 204000 | #Constraints: 64155
384.53/385.85 c #Conflicts: 205000 | #Constraints: 65155
384.53/385.85 c #Conflicts: 206000 | #Constraints: 66155
384.53/385.85 c #Conflicts: 207000 | #Constraints: 67155
384.53/385.85 c #Conflicts: 208000 | #Constraints: 68155
384.53/385.85 c #Conflicts: 209000 | #Constraints: 69155
384.53/385.85 c INPROCESSING
384.53/385.85 c GARBAGE COLLECT
384.53/385.85 c #Conflicts: 210000 | #Constraints: 46266
384.53/385.85 c #Conflicts: 211000 | #Constraints: 47266
384.53/385.85 c #Conflicts: 212000 | #Constraints: 48266
384.53/385.85 c #Conflicts: 213000 | #Constraints: 49266
384.53/385.85 c #Conflicts: 214000 | #Constraints: 50266
384.53/385.85 c #Conflicts: 215000 | #Constraints: 51266
384.53/385.85 c #Conflicts: 216000 | #Constraints: 52266
384.53/385.85 c #Conflicts: 217000 | #Constraints: 53266
384.53/385.85 c #Conflicts: 218000 | #Constraints: 54266
384.53/385.85 c #Conflicts: 219000 | #Constraints: 55266
384.53/385.85 c #Conflicts: 220000 | #Constraints: 56266
384.53/385.85 c #Conflicts: 221000 | #Constraints: 57266
384.53/385.85 c #Conflicts: 222000 | #Constraints: 58266
384.53/385.85 c INPROCESSING
384.53/385.85 c GARBAGE COLLECT
384.53/385.85 c #Conflicts: 223000 | #Constraints: 43481
384.53/385.85 c #Conflicts: 224000 | #Constraints: 44481
556.68/558.52 c #Conflicts: 225000 | #Constraints: 45481
556.68/558.52 c #Conflicts: 226000 | #Constraints: 46481
556.68/558.52 c #Conflicts: 227000 | #Constraints: 47481
556.68/558.52 c #Conflicts: 228000 | #Constraints: 48481
556.68/558.52 c #Conflicts: 229000 | #Constraints: 49481
556.68/558.52 c #Conflicts: 230000 | #Constraints: 50481
556.68/558.52 c #Conflicts: 231000 | #Constraints: 51481
556.68/558.52 c #Conflicts: 232000 | #Constraints: 52481
556.68/558.52 c #Conflicts: 233000 | #Constraints: 53481
556.68/558.52 c #Conflicts: 234000 | #Constraints: 54481
556.68/558.52 c #Conflicts: 235000 | #Constraints: 55481
556.68/558.52 c #Conflicts: 236000 | #Constraints: 56481
556.68/558.52 c #Conflicts: 237000 | #Constraints: 57481
556.68/558.52 c #Conflicts: 238000 | #Constraints: 58481
556.68/558.52 c #Conflicts: 239000 | #Constraints: 59481
556.68/558.52 c #Conflicts: 240000 | #Constraints: 60481
556.68/558.52 c #Conflicts: 241000 | #Constraints: 61481
556.68/558.52 c #Conflicts: 242000 | #Constraints: 62481
556.68/558.52 c #Conflicts: 243000 | #Constraints: 63481
556.68/558.52 c #Conflicts: 244000 | #Constraints: 64481
556.68/558.52 c #Conflicts: 245000 | #Constraints: 65481
556.68/558.52 c #Conflicts: 246000 | #Constraints: 66481
556.68/558.52 c #Conflicts: 247000 | #Constraints: 67481
556.68/558.52 c #Conflicts: 248000 | #Constraints: 68481
556.68/558.52 c #Conflicts: 249000 | #Constraints: 69481
556.68/558.52 c #Conflicts: 250000 | #Constraints: 70481
556.68/558.52 c #Conflicts: 251000 | #Constraints: 71481
556.68/558.52 c #Conflicts: 252000 | #Constraints: 72481
556.68/558.52 c #Conflicts: 253000 | #Constraints: 73481
556.68/558.52 c #Conflicts: 254000 | #Constraints: 74481
556.68/558.52 c INPROCESSING
556.68/558.52 c GARBAGE COLLECT
556.68/558.52 c #Conflicts: 255000 | #Constraints: 49038
556.68/558.52 c #Conflicts: 256000 | #Constraints: 50038
556.68/558.52 c #Conflicts: 257000 | #Constraints: 51038
556.68/558.52 c #Conflicts: 258000 | #Constraints: 52038
556.68/558.52 c #Conflicts: 259000 | #Constraints: 53038
556.68/558.52 c #Conflicts: 260000 | #Constraints: 54038
556.68/558.52 c #Conflicts: 261000 | #Constraints: 55038
556.68/558.52 c #Conflicts: 262000 | #Constraints: 56038
556.68/558.52 c #Conflicts: 263000 | #Constraints: 57038
556.68/558.52 c #Conflicts: 264000 | #Constraints: 58038
556.68/558.52 c #Conflicts: 265000 | #Constraints: 59038
556.68/558.52 c #Conflicts: 266000 | #Constraints: 60038
556.68/558.52 c #Conflicts: 267000 | #Constraints: 61038
556.68/558.52 c #Conflicts: 268000 | #Constraints: 62038
556.68/558.52 c INPROCESSING
556.68/558.52 c GARBAGE COLLECT
556.68/558.52 c #Conflicts: 269000 | #Constraints: 45733
556.68/558.52 c #Conflicts: 270000 | #Constraints: 46733
556.68/558.52 c #Conflicts: 271000 | #Constraints: 47733
556.68/558.52 c #Conflicts: 272000 | #Constraints: 48733
556.68/558.52 c #Conflicts: 273000 | #Constraints: 49734
556.68/558.52 c #Conflicts: 274000 | #Constraints: 50734
556.68/558.52 c #Conflicts: 275000 | #Constraints: 51734
556.68/558.52 c #Conflicts: 276000 | #Constraints: 52734
556.68/558.52 c #Conflicts: 277000 | #Constraints: 53734
556.68/558.52 c #Conflicts: 278000 | #Constraints: 54734
556.68/558.52 c #Conflicts: 279000 | #Constraints: 55734
556.68/558.52 c #Conflicts: 280000 | #Constraints: 56734
556.68/558.52 c #Conflicts: 281000 | #Constraints: 57734
556.68/558.52 c #Conflicts: 282000 | #Constraints: 58734
556.68/558.52 c #Conflicts: 283000 | #Constraints: 59734
556.68/558.52 c #Conflicts: 284000 | #Constraints: 60734
556.68/558.52 c #Conflicts: 285000 | #Constraints: 61734
556.68/558.52 c #Conflicts: 286000 | #Constraints: 62734
556.68/558.52 c #Conflicts: 287000 | #Constraints: 63734
556.68/558.52 c #Conflicts: 288000 | #Constraints: 64734
556.68/558.52 c #Conflicts: 289000 | #Constraints: 65734
556.68/558.52 c #Conflicts: 290000 | #Constraints: 66734
556.68/558.52 c #Conflicts: 291000 | #Constraints: 67734
556.68/558.52 c #Conflicts: 292000 | #Constraints: 68734
556.68/558.52 c #Conflicts: 293000 | #Constraints: 69734
556.68/558.52 c #Conflicts: 294000 | #Constraints: 70734
556.68/558.52 c #Conflicts: 295000 | #Constraints: 71734
556.68/558.52 c #Conflicts: 296000 | #Constraints: 72734
556.68/558.52 c #Conflicts: 297000 | #Constraints: 73734
556.68/558.52 c #Conflicts: 298000 | #Constraints: 74734
556.68/558.52 c #Conflicts: 299000 | #Constraints: 75734
556.68/558.52 c #Conflicts: 300000 | #Constraints: 76734
556.68/558.52 c #Conflicts: 301000 | #Constraints: 77734
556.68/558.52 c #Conflicts: 302000 | #Constraints: 78734
699.03/701.34 c #Conflicts: 303000 | #Constraints: 79734
699.03/701.34 c INPROCESSING
699.03/701.34 c GARBAGE COLLECT
699.03/701.34 c #Conflicts: 304000 | #Constraints: 51431
699.03/701.34 c #Conflicts: 305000 | #Constraints: 52431
699.03/701.34 c #Conflicts: 306000 | #Constraints: 53431
699.03/701.34 c #Conflicts: 307000 | #Constraints: 54431
699.03/701.34 c #Conflicts: 308000 | #Constraints: 55431
699.03/701.34 c #Conflicts: 309000 | #Constraints: 56431
699.03/701.34 c #Conflicts: 310000 | #Constraints: 57431
699.03/701.34 c #Conflicts: 311000 | #Constraints: 58431
699.03/701.34 c #Conflicts: 312000 | #Constraints: 59431
699.03/701.34 c #Conflicts: 313000 | #Constraints: 60431
699.03/701.34 c #Conflicts: 314000 | #Constraints: 61431
699.03/701.34 c #Conflicts: 315000 | #Constraints: 62431
699.03/701.34 c #Conflicts: 316000 | #Constraints: 63431
699.03/701.34 c #Conflicts: 317000 | #Constraints: 64431
699.03/701.34 c #Conflicts: 318000 | #Constraints: 65431
699.03/701.34 c #Conflicts: 319000 | #Constraints: 66431
699.03/701.34 c INPROCESSING
699.03/701.34 c GARBAGE COLLECT
699.03/701.34 c #Conflicts: 320000 | #Constraints: 48612
699.03/701.34 c #Conflicts: 321000 | #Constraints: 49612
699.03/701.34 c #Conflicts: 322000 | #Constraints: 50612
699.03/701.34 c #Conflicts: 323000 | #Constraints: 51612
699.03/701.34 c #Conflicts: 324000 | #Constraints: 52612
699.03/701.34 c #Conflicts: 325000 | #Constraints: 53612
699.03/701.34 c #Conflicts: 326000 | #Constraints: 54612
699.03/701.34 c #Conflicts: 327000 | #Constraints: 55612
699.03/701.34 c #Conflicts: 328000 | #Constraints: 56612
699.03/701.34 c #Conflicts: 329000 | #Constraints: 57612
699.03/701.34 c #Conflicts: 330000 | #Constraints: 58612
699.03/701.34 c #Conflicts: 331000 | #Constraints: 59612
699.03/701.34 c #Conflicts: 332000 | #Constraints: 60612
699.03/701.34 c #Conflicts: 333000 | #Constraints: 61612
699.03/701.34 c #Conflicts: 334000 | #Constraints: 62612
699.03/701.34 c #Conflicts: 335000 | #Constraints: 63612
699.03/701.34 c #Conflicts: 336000 | #Constraints: 64612
699.03/701.34 c #Conflicts: 337000 | #Constraints: 65612
699.03/701.34 c #Conflicts: 338000 | #Constraints: 66612
699.03/701.34 c #Conflicts: 339000 | #Constraints: 67612
699.03/701.34 c #Conflicts: 340000 | #Constraints: 68612
699.03/701.34 c #Conflicts: 341000 | #Constraints: 69612
699.03/701.34 c #Conflicts: 342000 | #Constraints: 70612
699.03/701.34 c #Conflicts: 343000 | #Constraints: 71612
699.03/701.34 c #Conflicts: 344000 | #Constraints: 72612
699.03/701.34 c #Conflicts: 345000 | #Constraints: 73612
699.03/701.34 c #Conflicts: 346000 | #Constraints: 74612
699.03/701.34 c #Conflicts: 347000 | #Constraints: 75612
699.03/701.34 c #Conflicts: 348000 | #Constraints: 76612
699.03/701.34 c #Conflicts: 349000 | #Constraints: 77612
699.03/701.34 c #Conflicts: 350000 | #Constraints: 78612
699.03/701.34 c #Conflicts: 351000 | #Constraints: 79612
699.03/701.34 c #Conflicts: 352000 | #Constraints: 80612
699.03/701.34 c #Conflicts: 353000 | #Constraints: 81612
699.03/701.34 c #Conflicts: 354000 | #Constraints: 82612
699.03/701.34 c #Conflicts: 355000 | #Constraints: 83612
699.03/701.34 c #Conflicts: 356000 | #Constraints: 84612
699.03/701.34 c #Conflicts: 357000 | #Constraints: 85612
699.03/701.34 c INPROCESSING
699.03/701.34 c GARBAGE COLLECT
699.03/701.34 c #Conflicts: 358000 | #Constraints: 54412
699.03/701.34 c #Conflicts: 359000 | #Constraints: 55412
699.03/701.34 c #Conflicts: 360000 | #Constraints: 56412
699.03/701.34 c #Conflicts: 361000 | #Constraints: 57412
699.03/701.34 c #Conflicts: 362000 | #Constraints: 58412
699.03/701.34 c #Conflicts: 363000 | #Constraints: 59412
699.03/701.34 c #Conflicts: 364000 | #Constraints: 60412
699.03/701.34 c #Conflicts: 365000 | #Constraints: 61412
699.03/701.34 c #Conflicts: 366000 | #Constraints: 62412
699.03/701.34 c #Conflicts: 367000 | #Constraints: 63412
699.03/701.34 c #Conflicts: 368000 | #Constraints: 64412
699.03/701.34 c #Conflicts: 369000 | #Constraints: 65412
699.03/701.34 c #Conflicts: 370000 | #Constraints: 66412
699.03/701.34 c #Conflicts: 371000 | #Constraints: 67412
699.03/701.34 c #Conflicts: 372000 | #Constraints: 68412
699.03/701.34 c #Conflicts: 373000 | #Constraints: 69412
699.03/701.34 c #Conflicts: 374000 | #Constraints: 70412
699.03/701.34 c INPROCESSING
699.03/701.34 c GARBAGE COLLECT
699.03/701.34 c #Conflicts: 375000 | #Constraints: 51266
699.03/701.34 c #Conflicts: 376000 | #Constraints: 52266
699.03/701.34 c #Conflicts: 377000 | #Constraints: 53266
699.03/701.34 c #Conflicts: 378000 | #Constraints: 54266
871.77/874.62 c #Conflicts: 379000 | #Constraints: 55266
871.77/874.62 c #Conflicts: 380000 | #Constraints: 56266
871.77/874.62 c #Conflicts: 381000 | #Constraints: 57266
871.77/874.62 c #Conflicts: 382000 | #Constraints: 58266
871.77/874.62 c #Conflicts: 383000 | #Constraints: 59266
871.77/874.62 c #Conflicts: 384000 | #Constraints: 60266
871.77/874.62 c #Conflicts: 385000 | #Constraints: 61266
871.77/874.62 c #Conflicts: 386000 | #Constraints: 62266
871.77/874.62 c #Conflicts: 387000 | #Constraints: 63266
871.77/874.62 c #Conflicts: 388000 | #Constraints: 64266
871.77/874.62 c #Conflicts: 389000 | #Constraints: 65266
871.77/874.62 c #Conflicts: 390000 | #Constraints: 66266
871.77/874.62 c #Conflicts: 391000 | #Constraints: 67266
871.77/874.62 c #Conflicts: 392000 | #Constraints: 68266
871.77/874.62 c #Conflicts: 393000 | #Constraints: 69266
871.77/874.62 c #Conflicts: 394000 | #Constraints: 70266
871.77/874.62 c #Conflicts: 395000 | #Constraints: 71266
871.77/874.62 c #Conflicts: 396000 | #Constraints: 72266
871.77/874.62 c #Conflicts: 397000 | #Constraints: 73266
871.77/874.62 c #Conflicts: 398000 | #Constraints: 74266
871.77/874.62 c #Conflicts: 399000 | #Constraints: 75266
871.77/874.62 c #Conflicts: 400000 | #Constraints: 76266
871.77/874.62 c #Conflicts: 401000 | #Constraints: 77266
871.77/874.62 c #Conflicts: 402000 | #Constraints: 78266
871.77/874.62 c #Conflicts: 403000 | #Constraints: 79266
871.77/874.62 c #Conflicts: 404000 | #Constraints: 80266
871.77/874.62 c #Conflicts: 405000 | #Constraints: 81266
871.77/874.62 c #Conflicts: 406000 | #Constraints: 82266
871.77/874.62 c #Conflicts: 407000 | #Constraints: 83266
871.77/874.62 c #Conflicts: 408000 | #Constraints: 84266
871.77/874.62 c #Conflicts: 409000 | #Constraints: 85266
871.77/874.62 c #Conflicts: 410000 | #Constraints: 86266
871.77/874.62 c #Conflicts: 411000 | #Constraints: 87266
871.77/874.62 c #Conflicts: 412000 | #Constraints: 88266
871.77/874.62 c #Conflicts: 413000 | #Constraints: 89266
871.77/874.62 c #Conflicts: 414000 | #Constraints: 90266
871.77/874.62 c #Conflicts: 415000 | #Constraints: 91266
871.77/874.62 c INPROCESSING
871.77/874.62 c GARBAGE COLLECT
871.77/874.62 c #Conflicts: 416000 | #Constraints: 57069
871.77/874.62 c #Conflicts: 417000 | #Constraints: 58069
871.77/874.62 c #Conflicts: 418000 | #Constraints: 59069
871.77/874.62 c #Conflicts: 419000 | #Constraints: 60069
871.77/874.62 c #Conflicts: 420000 | #Constraints: 61069
871.77/874.62 c #Conflicts: 421000 | #Constraints: 62069
871.77/874.62 c #Conflicts: 422000 | #Constraints: 63069
871.77/874.62 c #Conflicts: 423000 | #Constraints: 64069
871.77/874.62 c #Conflicts: 424000 | #Constraints: 65069
871.77/874.62 c #Conflicts: 425000 | #Constraints: 66069
871.77/874.62 c #Conflicts: 426000 | #Constraints: 67069
871.77/874.62 c #Conflicts: 427000 | #Constraints: 68069
871.77/874.62 c #Conflicts: 428000 | #Constraints: 69069
871.77/874.62 c #Conflicts: 429000 | #Constraints: 70069
871.77/874.62 c #Conflicts: 430000 | #Constraints: 71069
871.77/874.62 c #Conflicts: 431000 | #Constraints: 72069
871.77/874.62 c #Conflicts: 432000 | #Constraints: 73069
871.77/874.62 c #Conflicts: 433000 | #Constraints: 74069
871.77/874.62 c #Conflicts: 434000 | #Constraints: 75069
871.77/874.62 c INPROCESSING
871.77/874.62 c GARBAGE COLLECT
871.77/874.62 c #Conflicts: 435000 | #Constraints: 54183
871.77/874.62 c #Conflicts: 436000 | #Constraints: 55183
871.77/874.62 c #Conflicts: 437000 | #Constraints: 56183
871.77/874.62 c #Conflicts: 438000 | #Constraints: 57183
871.77/874.62 c #Conflicts: 439000 | #Constraints: 58183
871.77/874.62 c #Conflicts: 440000 | #Constraints: 59183
871.77/874.62 c #Conflicts: 441000 | #Constraints: 60183
871.77/874.62 c #Conflicts: 442000 | #Constraints: 61183
871.77/874.62 c #Conflicts: 443000 | #Constraints: 62183
871.77/874.62 c #Conflicts: 444000 | #Constraints: 63183
871.77/874.62 c #Conflicts: 445000 | #Constraints: 64184
871.77/874.62 c #Conflicts: 446000 | #Constraints: 65184
871.77/874.62 c #Conflicts: 447000 | #Constraints: 66184
871.77/874.62 c #Conflicts: 448000 | #Constraints: 67184
871.77/874.62 c #Conflicts: 449000 | #Constraints: 68184
871.77/874.62 c #Conflicts: 450000 | #Constraints: 69184
871.77/874.62 c #Conflicts: 451000 | #Constraints: 70184
871.77/874.62 c #Conflicts: 452000 | #Constraints: 71184
871.77/874.62 c #Conflicts: 453000 | #Constraints: 72184
871.77/874.62 c #Conflicts: 454000 | #Constraints: 73184
871.77/874.62 c #Conflicts: 455000 | #Constraints: 74184
1046.81/1050.23 c #Conflicts: 456000 | #Constraints: 75184
1046.81/1050.23 c #Conflicts: 457000 | #Constraints: 76184
1046.81/1050.23 c #Conflicts: 458000 | #Constraints: 77184
1046.81/1050.23 c #Conflicts: 459000 | #Constraints: 78184
1046.81/1050.23 c #Conflicts: 460000 | #Constraints: 79184
1046.81/1050.23 c #Conflicts: 461000 | #Constraints: 80184
1046.81/1050.23 c #Conflicts: 462000 | #Constraints: 81184
1046.81/1050.23 c #Conflicts: 463000 | #Constraints: 82184
1046.81/1050.23 c #Conflicts: 464000 | #Constraints: 83184
1046.81/1050.23 c #Conflicts: 465000 | #Constraints: 84184
1046.81/1050.23 c #Conflicts: 466000 | #Constraints: 85184
1046.81/1050.23 c #Conflicts: 467000 | #Constraints: 86184
1046.81/1050.23 c #Conflicts: 468000 | #Constraints: 87184
1046.81/1050.23 c #Conflicts: 469000 | #Constraints: 88184
1046.81/1050.23 c #Conflicts: 470000 | #Constraints: 89184
1046.81/1050.23 c #Conflicts: 471000 | #Constraints: 90184
1046.81/1050.23 c #Conflicts: 472000 | #Constraints: 91184
1046.81/1050.23 c #Conflicts: 473000 | #Constraints: 92184
1046.81/1050.23 c #Conflicts: 474000 | #Constraints: 93184
1046.81/1050.23 c #Conflicts: 475000 | #Constraints: 94184
1046.81/1050.23 c #Conflicts: 476000 | #Constraints: 95184
1046.81/1050.23 c #Conflicts: 477000 | #Constraints: 96184
1046.81/1050.23 c #Conflicts: 478000 | #Constraints: 97184
1046.81/1050.23 c INPROCESSING
1046.81/1050.23 c GARBAGE COLLECT
1046.81/1050.23 c #Conflicts: 479000 | #Constraints: 60353
1046.81/1050.23 c #Conflicts: 480000 | #Constraints: 61353
1046.81/1050.23 c #Conflicts: 481000 | #Constraints: 62353
1046.81/1050.23 c #Conflicts: 482000 | #Constraints: 63353
1046.81/1050.23 c #Conflicts: 483000 | #Constraints: 64353
1046.81/1050.23 c #Conflicts: 484000 | #Constraints: 65353
1046.81/1050.23 c #Conflicts: 485000 | #Constraints: 66353
1046.81/1050.23 c #Conflicts: 486000 | #Constraints: 67353
1046.81/1050.23 c #Conflicts: 487000 | #Constraints: 68353
1046.81/1050.23 c #Conflicts: 488000 | #Constraints: 69353
1046.81/1050.23 c #Conflicts: 489000 | #Constraints: 70353
1046.81/1050.23 c #Conflicts: 490000 | #Constraints: 71353
1046.81/1050.23 c #Conflicts: 491000 | #Constraints: 72353
1046.81/1050.23 c #Conflicts: 492000 | #Constraints: 73353
1046.81/1050.23 c #Conflicts: 493000 | #Constraints: 74353
1046.81/1050.23 c #Conflicts: 494000 | #Constraints: 75353
1046.81/1050.23 c #Conflicts: 495000 | #Constraints: 76353
1046.81/1050.23 c #Conflicts: 496000 | #Constraints: 77353
1046.81/1050.23 c #Conflicts: 497000 | #Constraints: 78353
1046.81/1050.23 c #Conflicts: 498000 | #Constraints: 79353
1046.81/1050.23 c INPROCESSING
1046.81/1050.23 c GARBAGE COLLECT
1046.81/1050.23 c #Conflicts: 499000 | #Constraints: 56060
1046.81/1050.23 c #Conflicts: 500000 | #Constraints: 57060
1046.81/1050.23 c #Conflicts: 501000 | #Constraints: 58060
1046.81/1050.23 c #Conflicts: 502000 | #Constraints: 59060
1046.81/1050.23 c #Conflicts: 503000 | #Constraints: 60060
1046.81/1050.23 c #Conflicts: 504000 | #Constraints: 61060
1046.81/1050.23 c #Conflicts: 505000 | #Constraints: 62060
1046.81/1050.23 c #Conflicts: 506000 | #Constraints: 63060
1046.81/1050.23 c #Conflicts: 507000 | #Constraints: 64060
1046.81/1050.23 c #Conflicts: 508000 | #Constraints: 65060
1046.81/1050.23 c #Conflicts: 509000 | #Constraints: 66060
1046.81/1050.23 c #Conflicts: 510000 | #Constraints: 67060
1046.81/1050.23 c #Conflicts: 511000 | #Constraints: 68060
1046.81/1050.23 c #Conflicts: 512000 | #Constraints: 69060
1046.81/1050.23 c #Conflicts: 513000 | #Constraints: 70060
1046.81/1050.23 c #Conflicts: 514000 | #Constraints: 71060
1046.81/1050.23 c #Conflicts: 515000 | #Constraints: 72060
1046.81/1050.23 c #Conflicts: 516000 | #Constraints: 73060
1046.81/1050.23 c #Conflicts: 517000 | #Constraints: 74060
1046.81/1050.23 c #Conflicts: 518000 | #Constraints: 75060
1046.81/1050.23 c #Conflicts: 519000 | #Constraints: 76060
1046.81/1050.23 c #Conflicts: 520000 | #Constraints: 77060
1046.81/1050.23 c #Conflicts: 521000 | #Constraints: 78060
1046.81/1050.23 c #Conflicts: 522000 | #Constraints: 79060
1046.81/1050.23 c #Conflicts: 523000 | #Constraints: 80060
1046.81/1050.23 c #Conflicts: 524000 | #Constraints: 81060
1046.81/1050.23 c #Conflicts: 525000 | #Constraints: 82060
1046.81/1050.23 c #Conflicts: 526000 | #Constraints: 83060
1046.81/1050.23 c #Conflicts: 527000 | #Constraints: 84060
1046.81/1050.23 c #Conflicts: 528000 | #Constraints: 85060
1046.81/1050.23 c #Conflicts: 529000 | #Constraints: 86060
1046.81/1050.23 c #Conflicts: 530000 | #Constraints: 87060
1046.81/1050.23 c #Conflicts: 531000 | #Constraints: 88060
1046.81/1050.23 c #Conflicts: 532000 | #Constraints: 89060
1046.81/1050.23 c #Conflicts: 533000 | #Constraints: 90060
1096.65/1100.24 c #Conflicts: 534000 | #Constraints: 91060
1096.65/1100.24 c #Conflicts: 535000 | #Constraints: 92060
1096.65/1100.24 c #Conflicts: 536000 | #Constraints: 93060
1096.65/1100.24 c #Conflicts: 537000 | #Constraints: 94060
1096.65/1100.24 c #Conflicts: 538000 | #Constraints: 95060
1096.65/1100.24 c #Conflicts: 539000 | #Constraints: 96060
1096.65/1100.24 c #Conflicts: 540000 | #Constraints: 97060
1096.65/1100.24 c #Conflicts: 541000 | #Constraints: 98060
1096.65/1100.24 c #Conflicts: 542000 | #Constraints: 99060
1096.65/1100.24 c #Conflicts: 543000 | #Constraints: 100060
1096.65/1100.24 c #Conflicts: 544000 | #Constraints: 101060
1096.65/1100.24 c #Conflicts: 545000 | #Constraints: 102060
1096.65/1100.24 c INPROCESSING
1096.65/1100.24 c GARBAGE COLLECT
1096.65/1100.24 c rational objective 166
1283.76/1287.93 c #Conflicts: 546000 | #Constraints: 62628
1283.76/1287.93 c #Conflicts: 547000 | #Constraints: 63628
1283.76/1287.93 c #Conflicts: 548000 | #Constraints: 64628
1283.76/1287.93 c #Conflicts: 549000 | #Constraints: 65628
1283.76/1287.93 c #Conflicts: 550000 | #Constraints: 66628
1283.76/1287.93 c #Conflicts: 551000 | #Constraints: 67628
1283.76/1287.93 c #Conflicts: 552000 | #Constraints: 68628
1283.76/1287.93 c #Conflicts: 553000 | #Constraints: 69628
1283.76/1287.93 c #Conflicts: 554000 | #Constraints: 70628
1283.76/1287.93 c #Conflicts: 555000 | #Constraints: 71628
1283.76/1287.93 c #Conflicts: 556000 | #Constraints: 72628
1283.76/1287.93 c #Conflicts: 557000 | #Constraints: 73628
1283.76/1287.93 c #Conflicts: 558000 | #Constraints: 74628
1283.76/1287.93 c #Conflicts: 559000 | #Constraints: 75628
1283.76/1287.93 c #Conflicts: 560000 | #Constraints: 76628
1283.76/1287.93 c #Conflicts: 561000 | #Constraints: 77628
1283.76/1287.93 c #Conflicts: 562000 | #Constraints: 78628
1283.76/1287.93 c #Conflicts: 563000 | #Constraints: 79628
1283.76/1287.93 c #Conflicts: 564000 | #Constraints: 80628
1283.76/1287.93 c #Conflicts: 565000 | #Constraints: 81628
1283.76/1287.93 c #Conflicts: 566000 | #Constraints: 82628
1283.76/1287.93 c INPROCESSING
1283.76/1287.93 c GARBAGE COLLECT
1283.76/1287.93 c #Conflicts: 567000 | #Constraints: 58148
1283.76/1287.93 c #Conflicts: 568000 | #Constraints: 59148
1283.76/1287.93 c #Conflicts: 569000 | #Constraints: 60148
1283.76/1287.93 c #Conflicts: 570000 | #Constraints: 61148
1283.76/1287.93 c #Conflicts: 571000 | #Constraints: 62148
1283.76/1287.93 c #Conflicts: 572000 | #Constraints: 63148
1283.76/1287.93 c #Conflicts: 573000 | #Constraints: 64148
1283.76/1287.93 c #Conflicts: 574000 | #Constraints: 65148
1283.76/1287.93 c #Conflicts: 575000 | #Constraints: 66148
1283.76/1287.93 c #Conflicts: 576000 | #Constraints: 67148
1283.76/1287.93 c #Conflicts: 577000 | #Constraints: 68148
1283.76/1287.93 c #Conflicts: 578000 | #Constraints: 69148
1283.76/1287.93 c #Conflicts: 579000 | #Constraints: 70148
1283.76/1287.93 c #Conflicts: 580000 | #Constraints: 71148
1283.76/1287.93 c #Conflicts: 581000 | #Constraints: 72148
1283.76/1287.93 c #Conflicts: 582000 | #Constraints: 73148
1283.76/1287.93 c #Conflicts: 583000 | #Constraints: 74148
1283.76/1287.93 c #Conflicts: 584000 | #Constraints: 75148
1283.76/1287.93 c #Conflicts: 585000 | #Constraints: 76148
1283.76/1287.93 c #Conflicts: 586000 | #Constraints: 77148
1283.76/1287.93 c #Conflicts: 587000 | #Constraints: 78148
1283.76/1287.93 c #Conflicts: 588000 | #Constraints: 79148
1283.76/1287.93 c #Conflicts: 589000 | #Constraints: 80148
1283.76/1287.93 c #Conflicts: 590000 | #Constraints: 81148
1283.76/1287.93 c #Conflicts: 591000 | #Constraints: 82148
1283.76/1287.93 c #Conflicts: 592000 | #Constraints: 83148
1283.76/1287.93 c #Conflicts: 593000 | #Constraints: 84148
1283.76/1287.93 c #Conflicts: 594000 | #Constraints: 85148
1283.76/1287.93 c #Conflicts: 595000 | #Constraints: 86148
1283.76/1287.93 c #Conflicts: 596000 | #Constraints: 87148
1283.76/1287.93 c #Conflicts: 597000 | #Constraints: 88148
1283.76/1287.93 c #Conflicts: 598000 | #Constraints: 89148
1283.76/1287.93 c #Conflicts: 599000 | #Constraints: 90148
1283.76/1287.93 c #Conflicts: 600000 | #Constraints: 91148
1283.76/1287.93 c #Conflicts: 601000 | #Constraints: 92148
1283.76/1287.93 c #Conflicts: 602000 | #Constraints: 93148
1283.76/1287.93 c #Conflicts: 603000 | #Constraints: 94148
1283.76/1287.93 c #Conflicts: 604000 | #Constraints: 95148
1283.76/1287.93 c #Conflicts: 605000 | #Constraints: 96148
1283.76/1287.93 c #Conflicts: 606000 | #Constraints: 97148
1283.76/1287.93 c #Conflicts: 607000 | #Constraints: 98148
1283.76/1287.93 c #Conflicts: 608000 | #Constraints: 99148
1283.76/1287.93 c #Conflicts: 609000 | #Constraints: 100148
1283.76/1287.93 c #Conflicts: 610000 | #Constraints: 101148
1283.76/1287.93 c #Conflicts: 611000 | #Constraints: 102148
1283.76/1287.93 c #Conflicts: 612000 | #Constraints: 103148
1283.76/1287.93 c #Conflicts: 613000 | #Constraints: 104148
1283.76/1287.93 c #Conflicts: 614000 | #Constraints: 105148
1283.76/1287.93 c #Conflicts: 615000 | #Constraints: 106148
1283.76/1287.93 c #Conflicts: 616000 | #Constraints: 107148
1283.76/1287.93 c #Conflicts: 617000 | #Constraints: 108148
1283.76/1287.93 c INPROCESSING
1283.76/1287.93 c GARBAGE COLLECT
1283.76/1287.93 c rational objective 166
1351.86/1356.26 c #Conflicts: 618000 | #Constraints: 66181
1351.86/1356.26 c #Conflicts: 619000 | #Constraints: 67181
1351.86/1356.26 c #Conflicts: 620000 | #Constraints: 68181
1351.86/1356.26 c #Conflicts: 621000 | #Constraints: 69181
1351.86/1356.26 c #Conflicts: 622000 | #Constraints: 70181
1351.86/1356.26 c #Conflicts: 623000 | #Constraints: 71181
1351.86/1356.26 c #Conflicts: 624000 | #Constraints: 72181
1351.86/1356.26 c #Conflicts: 625000 | #Constraints: 73181
1351.86/1356.26 c #Conflicts: 626000 | #Constraints: 74181
1351.86/1356.26 c #Conflicts: 627000 | #Constraints: 75181
1351.86/1356.26 c #Conflicts: 628000 | #Constraints: 76181
1351.86/1356.26 c #Conflicts: 629000 | #Constraints: 77181
1351.86/1356.26 c #Conflicts: 630000 | #Constraints: 78181
1351.86/1356.26 c #Conflicts: 631000 | #Constraints: 79181
1351.86/1356.26 c #Conflicts: 632000 | #Constraints: 80181
1351.86/1356.26 c #Conflicts: 633000 | #Constraints: 81181
1351.86/1356.26 c #Conflicts: 634000 | #Constraints: 82181
1351.86/1356.26 c #Conflicts: 635000 | #Constraints: 83181
1351.86/1356.26 c #Conflicts: 636000 | #Constraints: 84181
1351.86/1356.26 c #Conflicts: 637000 | #Constraints: 85181
1351.86/1356.26 c #Conflicts: 638000 | #Constraints: 86181
1351.86/1356.26 c #Conflicts: 639000 | #Constraints: 87181
1351.86/1356.26 c INPROCESSING
1351.86/1356.26 c GARBAGE COLLECT
1351.86/1356.26 c rational objective 166
1566.87/1571.96 c #Conflicts: 640000 | #Constraints: 60872
1566.87/1571.96 c #Conflicts: 641000 | #Constraints: 61872
1566.87/1571.96 c #Conflicts: 642000 | #Constraints: 62872
1566.87/1571.96 c #Conflicts: 643000 | #Constraints: 63872
1566.87/1571.96 c #Conflicts: 644000 | #Constraints: 64872
1566.87/1571.96 c #Conflicts: 645000 | #Constraints: 65872
1566.87/1571.96 c #Conflicts: 646000 | #Constraints: 66872
1566.87/1571.96 c #Conflicts: 647000 | #Constraints: 67872
1566.87/1571.96 c #Conflicts: 648000 | #Constraints: 68872
1566.87/1571.96 c #Conflicts: 649000 | #Constraints: 69872
1566.87/1571.96 c #Conflicts: 650000 | #Constraints: 70872
1566.87/1571.96 c #Conflicts: 651000 | #Constraints: 71872
1566.87/1571.96 c #Conflicts: 652000 | #Constraints: 72872
1566.87/1571.96 c #Conflicts: 653000 | #Constraints: 73872
1566.87/1571.96 c #Conflicts: 654000 | #Constraints: 74872
1566.87/1571.96 c #Conflicts: 655000 | #Constraints: 75872
1566.87/1571.96 c #Conflicts: 656000 | #Constraints: 76872
1566.87/1571.96 c #Conflicts: 657000 | #Constraints: 77872
1566.87/1571.96 c #Conflicts: 658000 | #Constraints: 78872
1566.87/1571.96 c #Conflicts: 659000 | #Constraints: 79872
1566.87/1571.97 c #Conflicts: 660000 | #Constraints: 80872
1566.87/1571.97 c #Conflicts: 661000 | #Constraints: 81872
1566.87/1571.97 c #Conflicts: 662000 | #Constraints: 82872
1566.87/1571.97 c #Conflicts: 663000 | #Constraints: 83872
1566.87/1571.97 c #Conflicts: 664000 | #Constraints: 84872
1566.87/1571.97 c #Conflicts: 665000 | #Constraints: 85872
1566.87/1571.97 c #Conflicts: 666000 | #Constraints: 86872
1566.87/1571.97 c #Conflicts: 667000 | #Constraints: 87872
1566.87/1571.97 c #Conflicts: 668000 | #Constraints: 88872
1566.87/1571.97 c #Conflicts: 669000 | #Constraints: 89872
1566.87/1571.97 c #Conflicts: 670000 | #Constraints: 90872
1566.87/1571.97 c #Conflicts: 671000 | #Constraints: 91872
1566.87/1571.97 c #Conflicts: 672000 | #Constraints: 92872
1566.87/1571.97 c #Conflicts: 673000 | #Constraints: 93872
1566.87/1571.97 c #Conflicts: 674000 | #Constraints: 94872
1566.87/1571.97 c #Conflicts: 675000 | #Constraints: 95872
1566.87/1571.97 c #Conflicts: 676000 | #Constraints: 96872
1566.87/1571.97 c #Conflicts: 677000 | #Constraints: 97872
1566.87/1571.97 c #Conflicts: 678000 | #Constraints: 98872
1566.87/1571.97 c #Conflicts: 679000 | #Constraints: 99872
1566.87/1571.97 c #Conflicts: 680000 | #Constraints: 100872
1566.87/1571.97 c #Conflicts: 681000 | #Constraints: 101872
1566.87/1571.97 c #Conflicts: 682000 | #Constraints: 102872
1566.87/1571.97 c #Conflicts: 683000 | #Constraints: 103872
1566.87/1571.97 c #Conflicts: 684000 | #Constraints: 104872
1566.87/1571.97 c #Conflicts: 685000 | #Constraints: 105872
1566.87/1571.97 c #Conflicts: 686000 | #Constraints: 106872
1566.87/1571.97 c #Conflicts: 687000 | #Constraints: 107872
1566.87/1571.97 c #Conflicts: 688000 | #Constraints: 108872
1566.87/1571.97 c #Conflicts: 689000 | #Constraints: 109872
1566.87/1571.97 c #Conflicts: 690000 | #Constraints: 110872
1566.87/1571.97 c #Conflicts: 691000 | #Constraints: 111872
1566.87/1571.97 c #Conflicts: 692000 | #Constraints: 112872
1566.87/1571.97 c #Conflicts: 693000 | #Constraints: 113872
1566.87/1571.97 c INPROCESSING
1566.87/1571.97 c GARBAGE COLLECT
1566.87/1571.97 c #Conflicts: 694000 | #Constraints: 69189
1566.87/1571.97 c #Conflicts: 695000 | #Constraints: 70189
1566.87/1571.97 c #Conflicts: 696000 | #Constraints: 71189
1566.87/1571.97 c #Conflicts: 697000 | #Constraints: 72189
1566.87/1571.97 c #Conflicts: 698000 | #Constraints: 73189
1566.87/1571.97 c #Conflicts: 699000 | #Constraints: 74189
1566.87/1571.97 c #Conflicts: 700000 | #Constraints: 75189
1566.87/1571.97 c #Conflicts: 701000 | #Constraints: 76189
1566.87/1571.97 c #Conflicts: 702000 | #Constraints: 77189
1566.87/1571.97 c #Conflicts: 703000 | #Constraints: 78189
1566.87/1571.97 c #Conflicts: 704000 | #Constraints: 79189
1566.87/1571.97 c #Conflicts: 705000 | #Constraints: 80189
1566.87/1571.97 c #Conflicts: 706000 | #Constraints: 81189
1566.87/1571.97 c #Conflicts: 707000 | #Constraints: 82189
1566.87/1571.97 c #Conflicts: 708000 | #Constraints: 83189
1566.87/1571.97 c #Conflicts: 709000 | #Constraints: 84189
1566.87/1571.97 c #Conflicts: 710000 | #Constraints: 85189
1566.87/1571.97 c #Conflicts: 711000 | #Constraints: 86189
1566.87/1571.97 c #Conflicts: 712000 | #Constraints: 87189
1566.87/1571.97 c #Conflicts: 713000 | #Constraints: 88189
1566.87/1571.97 c #Conflicts: 714000 | #Constraints: 89189
1566.87/1571.97 c #Conflicts: 715000 | #Constraints: 90189
1566.87/1571.97 c #Conflicts: 716000 | #Constraints: 91189
1566.87/1571.97 c INPROCESSING
1566.87/1571.97 c GARBAGE COLLECT
1566.87/1571.97 c #Conflicts: 717000 | #Constraints: 63575
1722.45/1728.11 c #Conflicts: 718000 | #Constraints: 64575
1722.45/1728.11 c #Conflicts: 719000 | #Constraints: 65575
1722.45/1728.11 c #Conflicts: 720000 | #Constraints: 66575
1722.45/1728.11 c #Conflicts: 721000 | #Constraints: 67575
1722.45/1728.11 c #Conflicts: 722000 | #Constraints: 68575
1722.45/1728.11 c #Conflicts: 723000 | #Constraints: 69575
1722.45/1728.11 c #Conflicts: 724000 | #Constraints: 70575
1722.45/1728.11 c #Conflicts: 725000 | #Constraints: 71575
1722.45/1728.11 c #Conflicts: 726000 | #Constraints: 72575
1722.45/1728.11 c #Conflicts: 727000 | #Constraints: 73575
1722.45/1728.11 c #Conflicts: 728000 | #Constraints: 74575
1722.45/1728.11 c #Conflicts: 729000 | #Constraints: 75575
1722.45/1728.11 c #Conflicts: 730000 | #Constraints: 76575
1722.45/1728.11 c #Conflicts: 731000 | #Constraints: 77575
1722.45/1728.11 c #Conflicts: 732000 | #Constraints: 78575
1722.45/1728.11 c #Conflicts: 733000 | #Constraints: 79575
1722.45/1728.11 c #Conflicts: 734000 | #Constraints: 80575
1722.45/1728.11 c #Conflicts: 735000 | #Constraints: 81575
1722.45/1728.11 c #Conflicts: 736000 | #Constraints: 82575
1722.45/1728.11 c #Conflicts: 737000 | #Constraints: 83575
1722.45/1728.11 c #Conflicts: 738000 | #Constraints: 84575
1722.45/1728.11 c #Conflicts: 739000 | #Constraints: 85575
1722.45/1728.11 c #Conflicts: 740000 | #Constraints: 86575
1722.45/1728.11 c #Conflicts: 741000 | #Constraints: 87575
1722.45/1728.11 c #Conflicts: 742000 | #Constraints: 88575
1722.45/1728.11 c #Conflicts: 743000 | #Constraints: 89575
1722.45/1728.11 c #Conflicts: 744000 | #Constraints: 90575
1722.45/1728.11 c #Conflicts: 745000 | #Constraints: 91575
1722.45/1728.11 c #Conflicts: 746000 | #Constraints: 92575
1722.45/1728.11 c #Conflicts: 747000 | #Constraints: 93575
1722.45/1728.11 c #Conflicts: 748000 | #Constraints: 94575
1722.45/1728.11 c #Conflicts: 749000 | #Constraints: 95575
1722.45/1728.11 c #Conflicts: 750000 | #Constraints: 96575
1722.45/1728.11 c #Conflicts: 751000 | #Constraints: 97575
1722.45/1728.11 c #Conflicts: 752000 | #Constraints: 98575
1722.45/1728.11 c #Conflicts: 753000 | #Constraints: 99575
1722.45/1728.11 c #Conflicts: 754000 | #Constraints: 100575
1722.45/1728.11 c #Conflicts: 755000 | #Constraints: 101575
1722.45/1728.11 c #Conflicts: 756000 | #Constraints: 102575
1722.45/1728.11 c #Conflicts: 757000 | #Constraints: 103575
1722.45/1728.11 c #Conflicts: 758000 | #Constraints: 104575
1722.45/1728.11 c #Conflicts: 759000 | #Constraints: 105575
1722.45/1728.11 c #Conflicts: 760000 | #Constraints: 106575
1722.45/1728.11 c #Conflicts: 761000 | #Constraints: 107575
1722.45/1728.11 c #Conflicts: 762000 | #Constraints: 108575
1722.45/1728.11 c #Conflicts: 763000 | #Constraints: 109575
1722.45/1728.11 c #Conflicts: 764000 | #Constraints: 110575
1722.45/1728.11 c #Conflicts: 765000 | #Constraints: 111575
1722.45/1728.11 c #Conflicts: 766000 | #Constraints: 112575
1722.45/1728.11 c #Conflicts: 767000 | #Constraints: 113575
1722.45/1728.11 c #Conflicts: 768000 | #Constraints: 114575
1722.45/1728.11 c #Conflicts: 769000 | #Constraints: 115575
1722.45/1728.11 c #Conflicts: 770000 | #Constraints: 116575
1722.45/1728.11 c #Conflicts: 771000 | #Constraints: 117575
1722.45/1728.11 c #Conflicts: 772000 | #Constraints: 118575
1722.45/1728.11 c #Conflicts: 773000 | #Constraints: 119575
1722.45/1728.11 c INPROCESSING
1722.45/1728.11 c GARBAGE COLLECT
1722.45/1728.11 c rational objective 166
1986.98/1993.39 c #Conflicts: 774000 | #Constraints: 71941
1986.98/1993.39 c #Conflicts: 775000 | #Constraints: 72941
1986.98/1993.39 c #Conflicts: 776000 | #Constraints: 73941
1986.98/1993.39 c #Conflicts: 777000 | #Constraints: 74941
1986.98/1993.39 c #Conflicts: 778000 | #Constraints: 75941
1986.98/1993.39 c #Conflicts: 779000 | #Constraints: 76941
1986.98/1993.39 c #Conflicts: 780000 | #Constraints: 77941
1986.98/1993.39 c #Conflicts: 781000 | #Constraints: 78941
1986.98/1993.39 c #Conflicts: 782000 | #Constraints: 79941
1986.98/1993.39 c #Conflicts: 783000 | #Constraints: 80941
1986.98/1993.39 c #Conflicts: 784000 | #Constraints: 81941
1986.98/1993.39 c #Conflicts: 785000 | #Constraints: 82941
1986.98/1993.39 c #Conflicts: 786000 | #Constraints: 83941
1986.98/1993.39 c #Conflicts: 787000 | #Constraints: 84941
1986.98/1993.39 c #Conflicts: 788000 | #Constraints: 85941
1986.98/1993.39 c #Conflicts: 789000 | #Constraints: 86941
1986.98/1993.39 c #Conflicts: 790000 | #Constraints: 87941
1986.98/1993.39 c #Conflicts: 791000 | #Constraints: 88941
1986.98/1993.39 c #Conflicts: 792000 | #Constraints: 89941
1986.98/1993.39 c #Conflicts: 793000 | #Constraints: 90941
1986.98/1993.39 c #Conflicts: 794000 | #Constraints: 91941
1986.98/1993.39 c #Conflicts: 795000 | #Constraints: 92941
1986.98/1993.39 c #Conflicts: 796000 | #Constraints: 93941
1986.98/1993.39 c #Conflicts: 797000 | #Constraints: 94941
1986.98/1993.39 c #Conflicts: 798000 | #Constraints: 95941
1986.98/1993.39 c INPROCESSING
1986.98/1993.39 c GARBAGE COLLECT
1986.98/1993.39 c #Conflicts: 799000 | #Constraints: 66483
1986.98/1993.39 c #Conflicts: 800000 | #Constraints: 67483
1986.98/1993.39 c #Conflicts: 801000 | #Constraints: 68483
1986.98/1993.39 c #Conflicts: 802000 | #Constraints: 69483
1986.98/1993.39 c #Conflicts: 803000 | #Constraints: 70483
1986.98/1993.39 c #Conflicts: 804000 | #Constraints: 71483
1986.98/1993.39 c #Conflicts: 805000 | #Constraints: 72483
1986.98/1993.39 c #Conflicts: 806000 | #Constraints: 73483
1986.98/1993.39 c #Conflicts: 807000 | #Constraints: 74483
1986.98/1993.39 c #Conflicts: 808000 | #Constraints: 75483
1986.98/1993.39 c #Conflicts: 809000 | #Constraints: 76483
1986.98/1993.39 c #Conflicts: 810000 | #Constraints: 77483
1986.98/1993.39 c #Conflicts: 811000 | #Constraints: 78483
1986.98/1993.39 c #Conflicts: 812000 | #Constraints: 79483
1986.98/1993.39 c #Conflicts: 813000 | #Constraints: 80483
1986.98/1993.39 c #Conflicts: 814000 | #Constraints: 81483
1986.98/1993.39 c #Conflicts: 815000 | #Constraints: 82483
1986.98/1993.39 c #Conflicts: 816000 | #Constraints: 83483
1986.98/1993.39 c #Conflicts: 817000 | #Constraints: 84483
1986.98/1993.39 c #Conflicts: 818000 | #Constraints: 85483
1986.98/1993.39 c #Conflicts: 819000 | #Constraints: 86483
1986.98/1993.39 c #Conflicts: 820000 | #Constraints: 87483
1986.98/1993.39 c #Conflicts: 821000 | #Constraints: 88483
1986.98/1993.39 c #Conflicts: 822000 | #Constraints: 89483
1986.98/1993.39 c #Conflicts: 823000 | #Constraints: 90483
1986.98/1993.39 c #Conflicts: 824000 | #Constraints: 91483
1986.98/1993.39 c #Conflicts: 825000 | #Constraints: 92483
1986.98/1993.39 c #Conflicts: 826000 | #Constraints: 93483
1986.98/1993.39 c #Conflicts: 827000 | #Constraints: 94483
1986.98/1993.39 c #Conflicts: 828000 | #Constraints: 95483
1986.98/1993.39 c #Conflicts: 829000 | #Constraints: 96483
1986.98/1993.39 c #Conflicts: 830000 | #Constraints: 97483
1986.98/1993.39 c #Conflicts: 831000 | #Constraints: 98483
1986.98/1993.39 c #Conflicts: 832000 | #Constraints: 99483
1986.98/1993.39 c #Conflicts: 833000 | #Constraints: 100483
1986.98/1993.39 c #Conflicts: 834000 | #Constraints: 101483
1986.98/1993.39 c #Conflicts: 835000 | #Constraints: 102483
1986.98/1993.39 c #Conflicts: 836000 | #Constraints: 103483
1986.98/1993.39 c #Conflicts: 837000 | #Constraints: 104483
1986.98/1993.39 c #Conflicts: 838000 | #Constraints: 105483
1986.98/1993.39 c #Conflicts: 839000 | #Constraints: 106483
1986.98/1993.39 c #Conflicts: 840000 | #Constraints: 107483
1986.98/1993.39 c #Conflicts: 841000 | #Constraints: 108483
1986.98/1993.39 c #Conflicts: 842000 | #Constraints: 109483
1986.98/1993.39 c #Conflicts: 843000 | #Constraints: 110483
1986.98/1993.39 c #Conflicts: 844000 | #Constraints: 111483
1986.98/1993.39 c #Conflicts: 845000 | #Constraints: 112483
1986.98/1993.39 c #Conflicts: 846000 | #Constraints: 113483
1986.98/1993.39 c #Conflicts: 847000 | #Constraints: 114483
1986.98/1993.39 c #Conflicts: 848000 | #Constraints: 115483
1986.98/1993.39 c #Conflicts: 849000 | #Constraints: 116483
1986.98/1993.39 c #Conflicts: 850000 | #Constraints: 117483
1986.98/1993.39 c #Conflicts: 851000 | #Constraints: 118483
1986.98/1993.39 c #Conflicts: 852000 | #Constraints: 119483
2182.06/2188.97 c #Conflicts: 853000 | #Constraints: 120483
2182.06/2188.97 c #Conflicts: 854000 | #Constraints: 121483
2182.06/2188.97 c #Conflicts: 855000 | #Constraints: 122483
2182.06/2188.97 c #Conflicts: 856000 | #Constraints: 123483
2182.06/2188.97 c #Conflicts: 857000 | #Constraints: 124483
2182.06/2188.97 c #Conflicts: 858000 | #Constraints: 125483
2182.06/2188.97 c INPROCESSING
2182.06/2188.97 c GARBAGE COLLECT
2182.06/2188.97 c #Conflicts: 859000 | #Constraints: 75160
2182.06/2188.97 c #Conflicts: 860000 | #Constraints: 76160
2182.06/2188.97 c #Conflicts: 861000 | #Constraints: 77160
2182.06/2188.97 c #Conflicts: 862000 | #Constraints: 78160
2182.06/2188.97 c #Conflicts: 863000 | #Constraints: 79160
2182.06/2188.97 c #Conflicts: 864000 | #Constraints: 80160
2182.06/2188.97 c #Conflicts: 865000 | #Constraints: 81161
2182.06/2188.97 c #Conflicts: 866000 | #Constraints: 82161
2182.06/2188.97 c #Conflicts: 867000 | #Constraints: 83161
2182.06/2188.97 c #Conflicts: 868000 | #Constraints: 84161
2182.06/2188.97 c #Conflicts: 869000 | #Constraints: 85161
2182.06/2188.97 c #Conflicts: 870000 | #Constraints: 86161
2182.06/2188.97 c #Conflicts: 871000 | #Constraints: 87161
2182.06/2188.97 c #Conflicts: 872000 | #Constraints: 88161
2182.06/2188.97 c #Conflicts: 873000 | #Constraints: 89161
2182.06/2188.97 c #Conflicts: 874000 | #Constraints: 90161
2182.06/2188.97 c #Conflicts: 875000 | #Constraints: 91161
2182.06/2188.97 c #Conflicts: 876000 | #Constraints: 92161
2182.06/2188.97 c #Conflicts: 877000 | #Constraints: 93161
2182.06/2188.97 c #Conflicts: 878000 | #Constraints: 94161
2182.06/2188.97 c #Conflicts: 879000 | #Constraints: 95161
2182.06/2188.97 c #Conflicts: 880000 | #Constraints: 96161
2182.06/2188.97 c #Conflicts: 881000 | #Constraints: 97161
2182.06/2188.97 c #Conflicts: 882000 | #Constraints: 98161
2182.06/2188.97 c #Conflicts: 883000 | #Constraints: 99161
2182.06/2188.97 c #Conflicts: 884000 | #Constraints: 100161
2182.06/2188.97 c INPROCESSING
2182.06/2188.97 c GARBAGE COLLECT
2182.06/2188.97 c #Conflicts: 885000 | #Constraints: 69076
2182.06/2188.97 c #Conflicts: 886000 | #Constraints: 70076
2182.06/2188.97 c #Conflicts: 887000 | #Constraints: 71076
2182.06/2188.97 c #Conflicts: 888000 | #Constraints: 72076
2182.06/2188.97 c #Conflicts: 889000 | #Constraints: 73076
2182.06/2188.97 c #Conflicts: 890000 | #Constraints: 74076
2182.06/2188.97 c #Conflicts: 891000 | #Constraints: 75076
2182.06/2188.97 c #Conflicts: 892000 | #Constraints: 76076
2182.06/2188.97 c #Conflicts: 893000 | #Constraints: 77076
2182.06/2188.97 c #Conflicts: 894000 | #Constraints: 78076
2182.06/2188.97 c #Conflicts: 895000 | #Constraints: 79076
2182.06/2188.97 c #Conflicts: 896000 | #Constraints: 80076
2182.06/2188.97 c #Conflicts: 897000 | #Constraints: 81076
2182.06/2188.97 c #Conflicts: 898000 | #Constraints: 82076
2182.06/2188.97 c #Conflicts: 899000 | #Constraints: 83076
2182.06/2188.97 c #Conflicts: 900000 | #Constraints: 84076
2182.06/2188.97 c #Conflicts: 901000 | #Constraints: 85076
2182.06/2188.97 c #Conflicts: 902000 | #Constraints: 86076
2182.06/2188.97 c #Conflicts: 903000 | #Constraints: 87076
2182.06/2188.97 c #Conflicts: 904000 | #Constraints: 88076
2182.06/2188.97 c #Conflicts: 905000 | #Constraints: 89076
2182.06/2188.97 c #Conflicts: 906000 | #Constraints: 90076
2182.06/2188.97 c #Conflicts: 907000 | #Constraints: 91076
2182.06/2188.97 c #Conflicts: 908000 | #Constraints: 92076
2182.06/2188.97 c #Conflicts: 909000 | #Constraints: 93076
2182.06/2188.97 c #Conflicts: 910000 | #Constraints: 94076
2182.06/2188.97 c #Conflicts: 911000 | #Constraints: 95076
2182.06/2188.97 c #Conflicts: 912000 | #Constraints: 96076
2182.06/2188.97 c #Conflicts: 913000 | #Constraints: 97076
2182.06/2188.97 c #Conflicts: 914000 | #Constraints: 98076
2182.06/2188.97 c #Conflicts: 915000 | #Constraints: 99076
2182.06/2188.97 c #Conflicts: 916000 | #Constraints: 100076
2182.06/2188.97 c #Conflicts: 917000 | #Constraints: 101076
2182.06/2188.97 c #Conflicts: 918000 | #Constraints: 102076
2182.06/2188.97 c #Conflicts: 919000 | #Constraints: 103076
2182.06/2188.97 c #Conflicts: 920000 | #Constraints: 104076
2182.06/2188.97 c #Conflicts: 921000 | #Constraints: 105076
2182.06/2188.97 c #Conflicts: 922000 | #Constraints: 106076
2182.06/2188.97 c #Conflicts: 923000 | #Constraints: 107076
2182.06/2188.97 c #Conflicts: 924000 | #Constraints: 108076
2182.06/2188.97 c #Conflicts: 925000 | #Constraints: 109076
2182.06/2188.97 c #Conflicts: 926000 | #Constraints: 110076
2182.06/2188.97 c #Conflicts: 927000 | #Constraints: 111076
2182.06/2188.97 c #Conflicts: 928000 | #Constraints: 112076
2182.06/2188.97 c #Conflicts: 929000 | #Constraints: 113076
2396.88/2404.34 c #Conflicts: 930000 | #Constraints: 114076
2396.88/2404.34 c #Conflicts: 931000 | #Constraints: 115076
2396.88/2404.34 c #Conflicts: 932000 | #Constraints: 116076
2396.88/2404.34 c #Conflicts: 933000 | #Constraints: 117076
2396.88/2404.34 c #Conflicts: 934000 | #Constraints: 118076
2396.88/2404.34 c #Conflicts: 935000 | #Constraints: 119076
2396.88/2404.34 c #Conflicts: 936000 | #Constraints: 120076
2396.88/2404.34 c #Conflicts: 937000 | #Constraints: 121076
2396.88/2404.34 c #Conflicts: 938000 | #Constraints: 122076
2396.88/2404.34 c #Conflicts: 939000 | #Constraints: 123076
2396.88/2404.34 c #Conflicts: 940000 | #Constraints: 124076
2396.88/2404.34 c #Conflicts: 941000 | #Constraints: 125076
2396.88/2404.34 c #Conflicts: 942000 | #Constraints: 126076
2396.88/2404.34 c #Conflicts: 943000 | #Constraints: 127076
2396.88/2404.34 c #Conflicts: 944000 | #Constraints: 128076
2396.88/2404.34 c #Conflicts: 945000 | #Constraints: 129076
2396.88/2404.34 c #Conflicts: 946000 | #Constraints: 130076
2396.88/2404.34 c #Conflicts: 947000 | #Constraints: 131076
2396.88/2404.34 c INPROCESSING
2396.88/2404.34 c GARBAGE COLLECT
2396.88/2404.34 c #Conflicts: 948000 | #Constraints: 77812
2396.88/2404.34 c #Conflicts: 949000 | #Constraints: 78812
2396.88/2404.34 c #Conflicts: 950000 | #Constraints: 79812
2396.88/2404.34 c #Conflicts: 951000 | #Constraints: 80812
2396.88/2404.34 c #Conflicts: 952000 | #Constraints: 81812
2396.88/2404.34 c #Conflicts: 953000 | #Constraints: 82812
2396.88/2404.34 c #Conflicts: 954000 | #Constraints: 83812
2396.88/2404.34 c #Conflicts: 955000 | #Constraints: 84812
2396.88/2404.34 c #Conflicts: 956000 | #Constraints: 85812
2396.88/2404.34 c #Conflicts: 957000 | #Constraints: 86812
2396.88/2404.34 c #Conflicts: 958000 | #Constraints: 87812
2396.88/2404.34 c #Conflicts: 959000 | #Constraints: 88812
2396.88/2404.34 c #Conflicts: 960000 | #Constraints: 89812
2396.88/2404.34 c #Conflicts: 961000 | #Constraints: 90812
2396.88/2404.34 c #Conflicts: 962000 | #Constraints: 91812
2396.88/2404.34 c #Conflicts: 963000 | #Constraints: 92812
2396.88/2404.34 c #Conflicts: 964000 | #Constraints: 93812
2396.88/2404.34 c #Conflicts: 965000 | #Constraints: 94812
2396.88/2404.34 c #Conflicts: 966000 | #Constraints: 95812
2396.88/2404.34 c #Conflicts: 967000 | #Constraints: 96812
2396.88/2404.34 c #Conflicts: 968000 | #Constraints: 97812
2396.88/2404.34 c #Conflicts: 969000 | #Constraints: 98812
2396.88/2404.34 c #Conflicts: 970000 | #Constraints: 99812
2396.88/2404.34 c #Conflicts: 971000 | #Constraints: 100812
2396.88/2404.34 c #Conflicts: 972000 | #Constraints: 101812
2396.88/2404.34 c #Conflicts: 973000 | #Constraints: 102812
2396.88/2404.34 c #Conflicts: 974000 | #Constraints: 103812
2396.88/2404.34 c INPROCESSING
2396.88/2404.34 c GARBAGE COLLECT
2396.88/2404.34 c #Conflicts: 975000 | #Constraints: 70937
2396.88/2404.34 c #Conflicts: 976000 | #Constraints: 71937
2396.88/2404.34 c #Conflicts: 977000 | #Constraints: 72937
2396.88/2404.34 c #Conflicts: 978000 | #Constraints: 73937
2396.88/2404.34 c #Conflicts: 979000 | #Constraints: 74937
2396.88/2404.34 c #Conflicts: 980000 | #Constraints: 75937
2396.88/2404.34 c #Conflicts: 981000 | #Constraints: 76937
2396.88/2404.34 c #Conflicts: 982000 | #Constraints: 77937
2396.88/2404.34 c #Conflicts: 983000 | #Constraints: 78937
2396.88/2404.34 c #Conflicts: 984000 | #Constraints: 79937
2396.88/2404.34 c #Conflicts: 985000 | #Constraints: 80937
2396.88/2404.34 c #Conflicts: 986000 | #Constraints: 81937
2396.88/2404.34 c #Conflicts: 987000 | #Constraints: 82937
2396.88/2404.34 c #Conflicts: 988000 | #Constraints: 83937
2396.88/2404.34 c #Conflicts: 989000 | #Constraints: 84937
2396.88/2404.34 c #Conflicts: 990000 | #Constraints: 85937
2396.88/2404.34 c #Conflicts: 991000 | #Constraints: 86937
2396.88/2404.34 c #Conflicts: 992000 | #Constraints: 87937
2396.88/2404.34 c #Conflicts: 993000 | #Constraints: 88937
2396.88/2404.34 c #Conflicts: 994000 | #Constraints: 89937
2396.88/2404.34 c #Conflicts: 995000 | #Constraints: 90937
2396.88/2404.34 c #Conflicts: 996000 | #Constraints: 91937
2396.88/2404.34 c #Conflicts: 997000 | #Constraints: 92937
2396.88/2404.34 c #Conflicts: 998000 | #Constraints: 93937
2396.88/2404.34 c #Conflicts: 999000 | #Constraints: 94937
2396.88/2404.34 c #Conflicts: 1000000 | #Constraints: 95937
2396.88/2404.34 c #Conflicts: 1001000 | #Constraints: 96937
2396.88/2404.34 c #Conflicts: 1002000 | #Constraints: 97937
2396.88/2404.34 c #Conflicts: 1003000 | #Constraints: 98937
2396.88/2404.34 c #Conflicts: 1004000 | #Constraints: 99937
2396.88/2404.34 c #Conflicts: 1005000 | #Constraints: 100937
2396.88/2404.34 c #Conflicts: 1006000 | #Constraints: 101937
2396.88/2404.34 c #Conflicts: 1007000 | #Constraints: 102937
2625.30/2633.44 c #Conflicts: 1008000 | #Constraints: 103937
2625.30/2633.44 c #Conflicts: 1009000 | #Constraints: 104937
2625.30/2633.44 c #Conflicts: 1010000 | #Constraints: 105937
2625.30/2633.44 c #Conflicts: 1011000 | #Constraints: 106937
2625.30/2633.44 c #Conflicts: 1012000 | #Constraints: 107937
2625.30/2633.44 c #Conflicts: 1013000 | #Constraints: 108937
2625.30/2633.44 c #Conflicts: 1014000 | #Constraints: 109937
2625.30/2633.44 c #Conflicts: 1015000 | #Constraints: 110937
2625.30/2633.44 c #Conflicts: 1016000 | #Constraints: 111937
2625.30/2633.44 c #Conflicts: 1017000 | #Constraints: 112937
2625.30/2633.44 c #Conflicts: 1018000 | #Constraints: 113937
2625.30/2633.44 c #Conflicts: 1019000 | #Constraints: 114937
2625.30/2633.44 c #Conflicts: 1020000 | #Constraints: 115937
2625.30/2633.44 c #Conflicts: 1021000 | #Constraints: 116938
2625.30/2633.44 c #Conflicts: 1022000 | #Constraints: 117938
2625.30/2633.44 c #Conflicts: 1023000 | #Constraints: 118938
2625.30/2633.44 c #Conflicts: 1024000 | #Constraints: 119938
2625.30/2633.44 c #Conflicts: 1025000 | #Constraints: 120938
2625.30/2633.44 c #Conflicts: 1026000 | #Constraints: 121938
2625.30/2633.44 c #Conflicts: 1027000 | #Constraints: 122938
2625.30/2633.44 c #Conflicts: 1028000 | #Constraints: 123938
2625.30/2633.44 c #Conflicts: 1029000 | #Constraints: 124938
2625.30/2633.44 c #Conflicts: 1030000 | #Constraints: 125938
2625.30/2633.44 c #Conflicts: 1031000 | #Constraints: 126938
2625.30/2633.44 c #Conflicts: 1032000 | #Constraints: 127938
2625.30/2633.44 c #Conflicts: 1033000 | #Constraints: 128938
2625.30/2633.44 c #Conflicts: 1034000 | #Constraints: 129938
2625.30/2633.44 c #Conflicts: 1035000 | #Constraints: 130938
2625.30/2633.44 c #Conflicts: 1036000 | #Constraints: 131938
2625.30/2633.44 c #Conflicts: 1037000 | #Constraints: 132938
2625.30/2633.44 c #Conflicts: 1038000 | #Constraints: 133938
2625.30/2633.44 c #Conflicts: 1039000 | #Constraints: 134938
2625.30/2633.44 c #Conflicts: 1040000 | #Constraints: 135938
2625.30/2633.44 c INPROCESSING
2625.30/2633.44 c GARBAGE COLLECT
2625.30/2633.44 c #Conflicts: 1041000 | #Constraints: 79893
2625.30/2633.44 c #Conflicts: 1042000 | #Constraints: 80893
2625.30/2633.44 c #Conflicts: 1043000 | #Constraints: 81893
2625.30/2633.44 c #Conflicts: 1044000 | #Constraints: 82893
2625.30/2633.44 c #Conflicts: 1045000 | #Constraints: 83893
2625.30/2633.44 c #Conflicts: 1046000 | #Constraints: 84893
2625.30/2633.44 c #Conflicts: 1047000 | #Constraints: 85893
2625.30/2633.44 c #Conflicts: 1048000 | #Constraints: 86893
2625.30/2633.44 c #Conflicts: 1049000 | #Constraints: 87893
2625.30/2633.44 c #Conflicts: 1050000 | #Constraints: 88893
2625.30/2633.44 c #Conflicts: 1051000 | #Constraints: 89893
2625.30/2633.44 c #Conflicts: 1052000 | #Constraints: 90894
2625.30/2633.44 c #Conflicts: 1053000 | #Constraints: 91894
2625.30/2633.44 c #Conflicts: 1054000 | #Constraints: 92894
2625.30/2633.44 c #Conflicts: 1055000 | #Constraints: 93894
2625.30/2633.44 c #Conflicts: 1056000 | #Constraints: 94894
2625.30/2633.44 c #Conflicts: 1057000 | #Constraints: 95895
2625.30/2633.44 c #Conflicts: 1058000 | #Constraints: 96895
2625.30/2633.44 c #Conflicts: 1059000 | #Constraints: 97895
2625.30/2633.44 c #Conflicts: 1060000 | #Constraints: 98895
2625.30/2633.44 c #Conflicts: 1061000 | #Constraints: 99895
2625.30/2633.44 c #Conflicts: 1062000 | #Constraints: 100895
2625.30/2633.44 c #Conflicts: 1063000 | #Constraints: 101895
2625.30/2633.44 c #Conflicts: 1064000 | #Constraints: 102895
2625.30/2633.44 c #Conflicts: 1065000 | #Constraints: 103895
2625.30/2633.44 c #Conflicts: 1066000 | #Constraints: 104895
2625.30/2633.44 c #Conflicts: 1067000 | #Constraints: 105895
2625.30/2633.44 c #Conflicts: 1068000 | #Constraints: 106895
2625.30/2633.44 c #Conflicts: 1069000 | #Constraints: 107895
2625.30/2633.44 c INPROCESSING
2625.30/2633.44 c GARBAGE COLLECT
2625.30/2633.44 c #Conflicts: 1070000 | #Constraints: 72841
2625.30/2633.44 c #Conflicts: 1071000 | #Constraints: 73841
2625.30/2633.44 c #Conflicts: 1072000 | #Constraints: 74841
2625.30/2633.44 c #Conflicts: 1073000 | #Constraints: 75841
2625.30/2633.44 c #Conflicts: 1074000 | #Constraints: 76841
2625.30/2633.44 c #Conflicts: 1075000 | #Constraints: 77841
2625.30/2633.44 c #Conflicts: 1076000 | #Constraints: 78841
2625.30/2633.44 c #Conflicts: 1077000 | #Constraints: 79841
2625.30/2633.44 c #Conflicts: 1078000 | #Constraints: 80841
2625.30/2633.44 c #Conflicts: 1079000 | #Constraints: 81841
2625.30/2633.44 c #Conflicts: 1080000 | #Constraints: 82841
2625.30/2633.44 c #Conflicts: 1081000 | #Constraints: 83841
2625.30/2633.44 c #Conflicts: 1082000 | #Constraints: 84841
2625.30/2633.44 c #Conflicts: 1083000 | #Constraints: 85841
2625.30/2633.44 c #Conflicts: 1084000 | #Constraints: 86841
2914.10/2923.12 c #Conflicts: 1085000 | #Constraints: 87841
2914.10/2923.12 c #Conflicts: 1086000 | #Constraints: 88841
2914.10/2923.12 c #Conflicts: 1087000 | #Constraints: 89841
2914.10/2923.12 c #Conflicts: 1088000 | #Constraints: 90841
2914.10/2923.12 c #Conflicts: 1089000 | #Constraints: 91841
2914.10/2923.12 c #Conflicts: 1090000 | #Constraints: 92841
2914.10/2923.12 c #Conflicts: 1091000 | #Constraints: 93841
2914.10/2923.12 c #Conflicts: 1092000 | #Constraints: 94841
2914.10/2923.12 c #Conflicts: 1093000 | #Constraints: 95841
2914.10/2923.12 c #Conflicts: 1094000 | #Constraints: 96841
2914.10/2923.12 c #Conflicts: 1095000 | #Constraints: 97841
2914.10/2923.12 c #Conflicts: 1096000 | #Constraints: 98841
2914.10/2923.12 c #Conflicts: 1097000 | #Constraints: 99841
2914.10/2923.12 c #Conflicts: 1098000 | #Constraints: 100841
2914.10/2923.12 c #Conflicts: 1099000 | #Constraints: 101841
2914.10/2923.12 c #Conflicts: 1100000 | #Constraints: 102841
2914.10/2923.12 c #Conflicts: 1101000 | #Constraints: 103841
2914.10/2923.12 c #Conflicts: 1102000 | #Constraints: 104841
2914.10/2923.12 c #Conflicts: 1103000 | #Constraints: 105841
2914.10/2923.12 c #Conflicts: 1104000 | #Constraints: 106841
2914.10/2923.12 c #Conflicts: 1105000 | #Constraints: 107841
2914.10/2923.12 c #Conflicts: 1106000 | #Constraints: 108841
2914.10/2923.12 c #Conflicts: 1107000 | #Constraints: 109841
2914.10/2923.12 c #Conflicts: 1108000 | #Constraints: 110841
2914.10/2923.12 c #Conflicts: 1109000 | #Constraints: 111841
2914.10/2923.12 c #Conflicts: 1110000 | #Constraints: 112841
2914.10/2923.12 c #Conflicts: 1111000 | #Constraints: 113841
2914.10/2923.12 c #Conflicts: 1112000 | #Constraints: 114841
2914.10/2923.12 c #Conflicts: 1113000 | #Constraints: 115841
2914.10/2923.12 c #Conflicts: 1114000 | #Constraints: 116841
2914.10/2923.12 c #Conflicts: 1115000 | #Constraints: 117841
2914.10/2923.12 c #Conflicts: 1116000 | #Constraints: 118841
2914.10/2923.12 c #Conflicts: 1117000 | #Constraints: 119841
2914.10/2923.12 c #Conflicts: 1118000 | #Constraints: 120841
2914.10/2923.12 c #Conflicts: 1119000 | #Constraints: 121841
2914.10/2923.12 c #Conflicts: 1120000 | #Constraints: 122841
2914.10/2923.12 c #Conflicts: 1121000 | #Constraints: 123841
2914.10/2923.12 c #Conflicts: 1122000 | #Constraints: 124841
2914.10/2923.12 c #Conflicts: 1123000 | #Constraints: 125841
2914.10/2923.12 c #Conflicts: 1124000 | #Constraints: 126841
2914.10/2923.12 c #Conflicts: 1125000 | #Constraints: 127841
2914.10/2923.12 c #Conflicts: 1126000 | #Constraints: 128841
2914.10/2923.12 c #Conflicts: 1127000 | #Constraints: 129841
2914.10/2923.12 c #Conflicts: 1128000 | #Constraints: 130841
2914.10/2923.12 c #Conflicts: 1129000 | #Constraints: 131841
2914.10/2923.12 c #Conflicts: 1130000 | #Constraints: 132841
2914.10/2923.12 c #Conflicts: 1131000 | #Constraints: 133841
2914.10/2923.12 c #Conflicts: 1132000 | #Constraints: 134841
2914.10/2923.12 c #Conflicts: 1133000 | #Constraints: 135841
2914.10/2923.12 c #Conflicts: 1134000 | #Constraints: 136841
2914.10/2923.12 c #Conflicts: 1135000 | #Constraints: 137841
2914.10/2923.12 c #Conflicts: 1136000 | #Constraints: 138842
2914.10/2923.12 c #Conflicts: 1137000 | #Constraints: 139842
2914.10/2923.12 c #Conflicts: 1138000 | #Constraints: 140843
2914.10/2923.12 c INPROCESSING
2914.10/2923.12 c GARBAGE COLLECT
2914.10/2923.12 c #Conflicts: 1139000 | #Constraints: 82492
2914.10/2923.12 c #Conflicts: 1140000 | #Constraints: 83492
2914.10/2923.12 c #Conflicts: 1141000 | #Constraints: 84492
2914.10/2923.12 c #Conflicts: 1142000 | #Constraints: 85492
2914.10/2923.12 c #Conflicts: 1143000 | #Constraints: 86492
2914.10/2923.12 c #Conflicts: 1144000 | #Constraints: 87492
2914.10/2923.12 c #Conflicts: 1145000 | #Constraints: 88492
2914.10/2923.12 c #Conflicts: 1146000 | #Constraints: 89492
2914.10/2923.12 c #Conflicts: 1147000 | #Constraints: 90492
2914.10/2923.12 c #Conflicts: 1148000 | #Constraints: 91492
2914.10/2923.12 c #Conflicts: 1149000 | #Constraints: 92492
2914.10/2923.12 c #Conflicts: 1150000 | #Constraints: 93492
2914.10/2923.12 c #Conflicts: 1151000 | #Constraints: 94492
2914.10/2923.12 c #Conflicts: 1152000 | #Constraints: 95492
2914.10/2923.12 c #Conflicts: 1153000 | #Constraints: 96492
2914.10/2923.12 c #Conflicts: 1154000 | #Constraints: 97492
2914.10/2923.12 c #Conflicts: 1155000 | #Constraints: 98492
2914.10/2923.12 c #Conflicts: 1156000 | #Constraints: 99492
2914.10/2923.12 c #Conflicts: 1157000 | #Constraints: 100492
2914.10/2923.12 c #Conflicts: 1158000 | #Constraints: 101492
2914.10/2923.12 c #Conflicts: 1159000 | #Constraints: 102492
2914.10/2923.12 c #Conflicts: 1160000 | #Constraints: 103492
2914.10/2923.12 c #Conflicts: 1161000 | #Constraints: 104492
2914.10/2923.12 c #Conflicts: 1162000 | #Constraints: 105492
3161.09/3170.92 c #Conflicts: 1163000 | #Constraints: 106492
3161.09/3170.92 c #Conflicts: 1164000 | #Constraints: 107492
3161.09/3170.92 c #Conflicts: 1165000 | #Constraints: 108492
3161.09/3170.92 c #Conflicts: 1166000 | #Constraints: 109492
3161.09/3170.92 c #Conflicts: 1167000 | #Constraints: 110492
3161.09/3170.92 c #Conflicts: 1168000 | #Constraints: 111492
3161.09/3170.92 c INPROCESSING
3161.09/3170.92 c GARBAGE COLLECT
3161.09/3170.92 c #Conflicts: 1169000 | #Constraints: 74735
3161.09/3170.92 c #Conflicts: 1170000 | #Constraints: 75735
3161.09/3170.92 c #Conflicts: 1171000 | #Constraints: 76735
3161.09/3170.92 c #Conflicts: 1172000 | #Constraints: 77735
3161.09/3170.92 c #Conflicts: 1173000 | #Constraints: 78735
3161.09/3170.92 c #Conflicts: 1174000 | #Constraints: 79735
3161.09/3170.92 c #Conflicts: 1175000 | #Constraints: 80735
3161.09/3170.92 c #Conflicts: 1176000 | #Constraints: 81735
3161.09/3170.92 c #Conflicts: 1177000 | #Constraints: 82735
3161.09/3170.92 c #Conflicts: 1178000 | #Constraints: 83735
3161.09/3170.92 c #Conflicts: 1179000 | #Constraints: 84735
3161.09/3170.92 c #Conflicts: 1180000 | #Constraints: 85735
3161.09/3170.92 c #Conflicts: 1181000 | #Constraints: 86735
3161.09/3170.92 c #Conflicts: 1182000 | #Constraints: 87735
3161.09/3170.92 c #Conflicts: 1183000 | #Constraints: 88735
3161.09/3170.92 c #Conflicts: 1184000 | #Constraints: 89735
3161.09/3170.92 c #Conflicts: 1185000 | #Constraints: 90735
3161.09/3170.92 c #Conflicts: 1186000 | #Constraints: 91735
3161.09/3170.92 c #Conflicts: 1187000 | #Constraints: 92735
3161.09/3170.92 c #Conflicts: 1188000 | #Constraints: 93735
3161.09/3170.92 c #Conflicts: 1189000 | #Constraints: 94735
3161.09/3170.92 c #Conflicts: 1190000 | #Constraints: 95735
3161.09/3170.92 c #Conflicts: 1191000 | #Constraints: 96735
3161.09/3170.92 c #Conflicts: 1192000 | #Constraints: 97735
3161.09/3170.92 c #Conflicts: 1193000 | #Constraints: 98735
3161.09/3170.92 c #Conflicts: 1194000 | #Constraints: 99735
3161.09/3170.92 c #Conflicts: 1195000 | #Constraints: 100735
3161.09/3170.92 c #Conflicts: 1196000 | #Constraints: 101735
3161.09/3170.92 c #Conflicts: 1197000 | #Constraints: 102735
3161.09/3170.92 c #Conflicts: 1198000 | #Constraints: 103735
3161.09/3170.92 c #Conflicts: 1199000 | #Constraints: 104735
3161.09/3170.92 c #Conflicts: 1200000 | #Constraints: 105735
3161.09/3170.92 c #Conflicts: 1201000 | #Constraints: 106735
3161.09/3170.92 c #Conflicts: 1202000 | #Constraints: 107735
3161.09/3170.92 c #Conflicts: 1203000 | #Constraints: 108735
3161.09/3170.92 c #Conflicts: 1204000 | #Constraints: 109735
3161.09/3170.92 c #Conflicts: 1205000 | #Constraints: 110735
3161.09/3170.92 c #Conflicts: 1206000 | #Constraints: 111735
3161.09/3170.92 c #Conflicts: 1207000 | #Constraints: 112735
3161.09/3170.92 c #Conflicts: 1208000 | #Constraints: 113735
3161.09/3170.92 c #Conflicts: 1209000 | #Constraints: 114735
3161.09/3170.92 c #Conflicts: 1210000 | #Constraints: 115735
3161.09/3170.92 c #Conflicts: 1211000 | #Constraints: 116735
3161.09/3170.92 c #Conflicts: 1212000 | #Constraints: 117735
3161.09/3170.92 c #Conflicts: 1213000 | #Constraints: 118735
3161.09/3170.92 c #Conflicts: 1214000 | #Constraints: 119735
3161.09/3170.92 c #Conflicts: 1215000 | #Constraints: 120735
3161.09/3170.92 c #Conflicts: 1216000 | #Constraints: 121735
3161.09/3170.92 c #Conflicts: 1217000 | #Constraints: 122735
3161.09/3170.92 c #Conflicts: 1218000 | #Constraints: 123736
3161.09/3170.92 c #Conflicts: 1219000 | #Constraints: 124737
3161.09/3170.92 c #Conflicts: 1220000 | #Constraints: 125737
3161.09/3170.92 c #Conflicts: 1221000 | #Constraints: 126738
3161.09/3170.92 c #Conflicts: 1222000 | #Constraints: 127747
3161.09/3170.92 c #Conflicts: 1223000 | #Constraints: 128747
3161.09/3170.92 c #Conflicts: 1224000 | #Constraints: 129747
3161.09/3170.92 c #Conflicts: 1225000 | #Constraints: 130747
3161.09/3170.92 c #Conflicts: 1226000 | #Constraints: 131747
3161.09/3170.92 c #Conflicts: 1227000 | #Constraints: 132747
3161.09/3170.92 c #Conflicts: 1228000 | #Constraints: 133747
3161.09/3170.92 c #Conflicts: 1229000 | #Constraints: 134747
3161.09/3170.92 c #Conflicts: 1230000 | #Constraints: 135747
3161.09/3170.92 c #Conflicts: 1231000 | #Constraints: 136747
3161.09/3170.92 c #Conflicts: 1232000 | #Constraints: 137747
3161.09/3170.92 c #Conflicts: 1233000 | #Constraints: 138747
3161.09/3170.92 c #Conflicts: 1234000 | #Constraints: 139747
3161.09/3170.92 c #Conflicts: 1235000 | #Constraints: 140747
3161.09/3170.92 c #Conflicts: 1236000 | #Constraints: 141747
3161.09/3170.92 c #Conflicts: 1237000 | #Constraints: 142747
3161.09/3170.92 c #Conflicts: 1238000 | #Constraints: 143747
3161.09/3170.92 c #Conflicts: 1239000 | #Constraints: 144747
3161.09/3170.92 c #Conflicts: 1240000 | #Constraints: 145747
3338.81/3349.25 c INPROCESSING
3338.81/3349.25 c GARBAGE COLLECT
3338.81/3349.25 c #Conflicts: 1241000 | #Constraints: 84892
3338.81/3349.25 c #Conflicts: 1242000 | #Constraints: 85892
3338.81/3349.25 c #Conflicts: 1243000 | #Constraints: 86892
3338.81/3349.25 c #Conflicts: 1244000 | #Constraints: 87892
3338.81/3349.25 c #Conflicts: 1245000 | #Constraints: 88892
3338.81/3349.25 c #Conflicts: 1246000 | #Constraints: 89892
3338.81/3349.25 c #Conflicts: 1247000 | #Constraints: 90892
3338.81/3349.25 c #Conflicts: 1248000 | #Constraints: 91892
3338.81/3349.25 c #Conflicts: 1249000 | #Constraints: 92892
3338.81/3349.25 c #Conflicts: 1250000 | #Constraints: 93892
3338.81/3349.25 c #Conflicts: 1251000 | #Constraints: 94892
3338.81/3349.25 c #Conflicts: 1252000 | #Constraints: 95892
3338.81/3349.25 c #Conflicts: 1253000 | #Constraints: 96892
3338.81/3349.25 c #Conflicts: 1254000 | #Constraints: 97892
3338.81/3349.25 c #Conflicts: 1255000 | #Constraints: 98892
3338.81/3349.25 c #Conflicts: 1256000 | #Constraints: 99892
3338.81/3349.25 c #Conflicts: 1257000 | #Constraints: 100892
3338.81/3349.25 c #Conflicts: 1258000 | #Constraints: 101892
3338.81/3349.25 c #Conflicts: 1259000 | #Constraints: 102892
3338.81/3349.25 c #Conflicts: 1260000 | #Constraints: 103892
3338.81/3349.25 c #Conflicts: 1261000 | #Constraints: 104892
3338.81/3349.25 c #Conflicts: 1262000 | #Constraints: 105892
3338.81/3349.25 c #Conflicts: 1263000 | #Constraints: 106892
3338.81/3349.25 c #Conflicts: 1264000 | #Constraints: 107892
3338.81/3349.25 c #Conflicts: 1265000 | #Constraints: 108892
3338.81/3349.25 c #Conflicts: 1266000 | #Constraints: 109892
3338.81/3349.25 c #Conflicts: 1267000 | #Constraints: 110892
3338.81/3349.25 c #Conflicts: 1268000 | #Constraints: 111892
3338.81/3349.25 c #Conflicts: 1269000 | #Constraints: 112892
3338.81/3349.25 c #Conflicts: 1270000 | #Constraints: 113892
3338.81/3349.25 c #Conflicts: 1271000 | #Constraints: 114892
3338.81/3349.25 c #Conflicts: 1272000 | #Constraints: 115892
3338.81/3349.25 c INPROCESSING
3338.81/3349.25 c GARBAGE COLLECT
3338.81/3349.25 c #Conflicts: 1273000 | #Constraints: 77982
3338.81/3349.25 c #Conflicts: 1274000 | #Constraints: 78982
3338.81/3349.25 c #Conflicts: 1275000 | #Constraints: 79982
3338.81/3349.25 c #Conflicts: 1276000 | #Constraints: 80982
3338.81/3349.25 c #Conflicts: 1277000 | #Constraints: 81982
3338.81/3349.25 c #Conflicts: 1278000 | #Constraints: 82982
3338.81/3349.25 c #Conflicts: 1279000 | #Constraints: 83982
3338.81/3349.25 c #Conflicts: 1280000 | #Constraints: 84982
3338.81/3349.25 c #Conflicts: 1281000 | #Constraints: 85982
3338.81/3349.25 c #Conflicts: 1282000 | #Constraints: 86982
3338.81/3349.25 c #Conflicts: 1283000 | #Constraints: 87982
3338.81/3349.25 c #Conflicts: 1284000 | #Constraints: 88982
3338.81/3349.25 c #Conflicts: 1285000 | #Constraints: 89982
3338.81/3349.25 c #Conflicts: 1286000 | #Constraints: 90982
3338.81/3349.25 c #Conflicts: 1287000 | #Constraints: 91982
3338.81/3349.25 c #Conflicts: 1288000 | #Constraints: 92982
3338.81/3349.25 c #Conflicts: 1289000 | #Constraints: 93982
3338.81/3349.25 c #Conflicts: 1290000 | #Constraints: 94982
3338.81/3349.25 c #Conflicts: 1291000 | #Constraints: 95982
3338.81/3349.25 c #Conflicts: 1292000 | #Constraints: 96982
3338.81/3349.25 c #Conflicts: 1293000 | #Constraints: 97982
3338.81/3349.25 c #Conflicts: 1294000 | #Constraints: 98982
3338.81/3349.25 c #Conflicts: 1295000 | #Constraints: 99982
3338.81/3349.25 c #Conflicts: 1296000 | #Constraints: 100982
3338.81/3349.25 c #Conflicts: 1297000 | #Constraints: 101982
3338.81/3349.25 c #Conflicts: 1298000 | #Constraints: 102982
3338.81/3349.25 c #Conflicts: 1299000 | #Constraints: 103982
3338.81/3349.25 c #Conflicts: 1300000 | #Constraints: 104982
3338.81/3349.25 c #Conflicts: 1301000 | #Constraints: 105982
3338.81/3349.25 c #Conflicts: 1302000 | #Constraints: 106982
3338.81/3349.25 c #Conflicts: 1303000 | #Constraints: 107982
3338.81/3349.25 c #Conflicts: 1304000 | #Constraints: 108982
3338.81/3349.25 c #Conflicts: 1305000 | #Constraints: 109982
3338.81/3349.25 c #Conflicts: 1306000 | #Constraints: 110982
3338.81/3349.25 c #Conflicts: 1307000 | #Constraints: 111982
3338.81/3349.25 c #Conflicts: 1308000 | #Constraints: 112982
3338.81/3349.25 c #Conflicts: 1309000 | #Constraints: 113982
3338.81/3349.25 c #Conflicts: 1310000 | #Constraints: 114982
3338.81/3349.25 c #Conflicts: 1311000 | #Constraints: 115982
3338.81/3349.25 c #Conflicts: 1312000 | #Constraints: 116982
3338.81/3349.25 c #Conflicts: 1313000 | #Constraints: 117982
3338.81/3349.25 c #Conflicts: 1314000 | #Constraints: 118982
3338.81/3349.25 c #Conflicts: 1315000 | #Constraints: 119982
3338.81/3349.25 c #Conflicts: 1316000 | #Constraints: 120982
3338.81/3349.25 c #Conflicts: 1317000 | #Constraints: 121982
3338.81/3349.25 c #Conflicts: 1318000 | #Constraints: 122982
3600.07/3611.20 c #Conflicts: 1319000 | #Constraints: 123982
3600.07/3611.20 c #Conflicts: 1320000 | #Constraints: 124982
3600.07/3611.20 c #Conflicts: 1321000 | #Constraints: 125982
3600.07/3611.20 c #Conflicts: 1322000 | #Constraints: 126982
3600.07/3611.20 c #Conflicts: 1323000 | #Constraints: 127982
3600.07/3611.20 c #Conflicts: 1324000 | #Constraints: 128982
3600.07/3611.20 c #Conflicts: 1325000 | #Constraints: 129982
3600.07/3611.20 c #Conflicts: 1326000 | #Constraints: 130982
3600.07/3611.20 c #Conflicts: 1327000 | #Constraints: 131982
3600.07/3611.20 c #Conflicts: 1328000 | #Constraints: 132982
3600.07/3611.20 c #Conflicts: 1329000 | #Constraints: 133982
3600.07/3611.20 c #Conflicts: 1330000 | #Constraints: 134982
3600.07/3611.20 c #Conflicts: 1331000 | #Constraints: 135982
3600.07/3611.20 c #Conflicts: 1332000 | #Constraints: 136982
3600.07/3611.20 c #Conflicts: 1333000 | #Constraints: 137982
3600.07/3611.20 c #Conflicts: 1334000 | #Constraints: 138982
3600.07/3611.20 c #Conflicts: 1335000 | #Constraints: 139982
3600.07/3611.20 c #Conflicts: 1336000 | #Constraints: 140982
3600.07/3611.20 c #Conflicts: 1337000 | #Constraints: 141982
3600.07/3611.20 c #Conflicts: 1338000 | #Constraints: 142982
3600.07/3611.20 c #Conflicts: 1339000 | #Constraints: 143982
3600.07/3611.20 c #Conflicts: 1340000 | #Constraints: 144982
3600.07/3611.20 c #Conflicts: 1341000 | #Constraints: 145982
3600.07/3611.20 c #Conflicts: 1342000 | #Constraints: 146982
3600.07/3611.20 c #Conflicts: 1343000 | #Constraints: 147982
3600.07/3611.20 c #Conflicts: 1344000 | #Constraints: 148982
3600.07/3611.20 c #Conflicts: 1345000 | #Constraints: 149982
3600.07/3611.20 c #Conflicts: 1346000 | #Constraints: 150982
3600.07/3611.20 c #Conflicts: 1347000 | #Constraints: 151982
3600.07/3611.20 c INPROCESSING
3600.07/3611.20 c GARBAGE COLLECT
3600.07/3611.20 c #Conflicts: 1348000 | #Constraints: 88019
3600.07/3611.20 c #Conflicts: 1349000 | #Constraints: 89019
3600.07/3611.20 c #Conflicts: 1350000 | #Constraints: 90019
3600.07/3611.20 c #Conflicts: 1351000 | #Constraints: 91019
3600.07/3611.20 c #Conflicts: 1352000 | #Constraints: 92019
3600.07/3611.20 c #Conflicts: 1353000 | #Constraints: 93019
3600.07/3611.20 c #Conflicts: 1354000 | #Constraints: 94019
3600.07/3611.20 c #Conflicts: 1355000 | #Constraints: 95019
3600.07/3611.20 c #Conflicts: 1356000 | #Constraints: 96019
3600.07/3611.20 c #Conflicts: 1357000 | #Constraints: 97019
3600.07/3611.20 c #Conflicts: 1358000 | #Constraints: 98019
3600.07/3611.20 c #Conflicts: 1359000 | #Constraints: 99019
3600.07/3611.20 c #Conflicts: 1360000 | #Constraints: 100019
3600.07/3611.20 c #Conflicts: 1361000 | #Constraints: 101019
3600.07/3611.20 c #Conflicts: 1362000 | #Constraints: 102019
3600.07/3611.20 c #Conflicts: 1363000 | #Constraints: 103019
3600.07/3611.20 c #Conflicts: 1364000 | #Constraints: 104019
3600.07/3611.20 c #Conflicts: 1365000 | #Constraints: 105019
3600.07/3611.20 c #Conflicts: 1366000 | #Constraints: 106019
3600.07/3611.20 c #Conflicts: 1367000 | #Constraints: 107019
3600.07/3611.20 c #Conflicts: 1368000 | #Constraints: 108019
3600.07/3611.20 c #Conflicts: 1369000 | #Constraints: 109019
3600.07/3611.20 c #Conflicts: 1370000 | #Constraints: 110019
3600.07/3611.20 c #Conflicts: 1371000 | #Constraints: 111019
3600.07/3611.20 c #Conflicts: 1372000 | #Constraints: 112019
3600.07/3611.20 c #Conflicts: 1373000 | #Constraints: 113019
3600.07/3611.20 c #Conflicts: 1374000 | #Constraints: 114020
3600.07/3611.20 c #Conflicts: 1375000 | #Constraints: 115020
3600.07/3611.20 c #Conflicts: 1376000 | #Constraints: 116020
3600.07/3611.20 c #Conflicts: 1377000 | #Constraints: 117020
3600.07/3611.20 c #Conflicts: 1378000 | #Constraints: 118020
3600.07/3611.20 c #Conflicts: 1379000 | #Constraints: 119020
3600.07/3611.20 c #Conflicts: 1380000 | #Constraints: 120020
3600.07/3611.20 c INPROCESSING
3600.07/3611.20 c GARBAGE COLLECT
3600.07/3611.20 c Disabling crashed LP
3600.07/3611.20 c cpu time 3564.51 s
3600.07/3611.20 c deterministic time 230160138340 2.30e+11
3600.07/3611.20 c optimization time 8.1e-05 s
3600.07/3611.20 c total solve time 3564.2 s
3600.07/3611.20 c core-guided solve time 0 s
3600.07/3611.20 c propagation time 1865.52 s
3600.07/3611.20 c conflict analysis time 1298.79 s
3600.07/3611.20 c propagations 1374782417
3600.07/3611.20 c resolve steps 86406356
3600.07/3611.20 c decisions 30353558
3600.07/3611.20 c conflicts 1380000
3600.07/3611.20 c restarts 2630
3600.07/3611.20 c inprocessing phases 50
3600.07/3611.20 c garbage collections 50 ,( 100.00 )
3600.07/3611.20 c input clauses 19922 ,( 99.17 )
3600.07/3611.20 c input cardinalities 166 ,( 0.83 )
3600.07/3611.20 c input general constraints 0 ,( 0.00 )
3600.07/3611.20 c input average constraint length 6.43
3600.07/3611.20 c input average constraint degree 1.97
3600.07/3611.20 c learned clauses 1015361 ,( 73.58 )
3600.07/3611.20 c learned cardinalities 44548 ,( 3.23 )
3600.07/3611.20 c learned general constraints 320119 ,( 23.20 )
3600.07/3611.20 c learned average constraint length 722.83
3600.07/3611.20 c learned average constraint degree 15876716.73
3600.07/3611.20 c watched CF 32, 64, 128, Arb: 82341 , 0 , 0 , 0
3600.07/3611.20 c counting CF 32, 64, 128, Arb: 237778 , 0 , 0 , 0
3600.07/3611.20 c watched constraints 82341 ,( 25.72 )
3600.07/3611.20 c counting constraints 237778 ,( 74.28 )
3600.07/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1278428003 , 689374642 , 1805597690 ,( 79920467 , 1725677223 )
3600.07/3611.20 c gcd simplifications 676
3600.07/3611.20 c detected cardinalities 6321
3600.07/3611.20 c weakened non-implied lits 382970522
3600.07/3611.20 c weakened non-implying lits 207051
3600.07/3611.20 c original variables 19754
3600.07/3611.20 c clausal propagations 631768431
3600.07/3611.20 c cardinality propagations 504219675
3600.07/3611.20 c watched propagations 4369751
3600.07/3611.20 c counting propagations 221792480
3600.07/3611.20 c watch lookups 75673975703
3600.07/3611.20 c watch backjump lookups 0
3600.07/3611.20 c watch checks 32152756215
3600.07/3611.20 c propagation checks 114770927358
3600.07/3611.20 c constraint additions 4750552572
3600.07/3611.20 c trail pops 1406515111
3600.07/3611.20 c formula constraints 20088
3600.07/3611.20 c learned constraints 1379997
3600.07/3611.20 c bound constraints 0
3600.07/3611.20 c core-guided constraints 0
3600.07/3611.20 c encountered formula constraints 55252356
3600.07/3611.20 c encountered learned constraints 32533905
3600.07/3611.20 c encountered bound constraints 0
3600.07/3611.20 c encountered core-guided constraints 0
3600.07/3611.20 c LP total time 395.778 s
3600.07/3611.20 c LP solve time 369.4 s
3600.07/3611.20 c LP constraints added 20740
3600.07/3611.20 c LP constraints removed 457
3600.07/3611.20 c LP pivots internal 138357
3600.07/3611.20 c LP pivots root 137048
3600.07/3611.20 c LP calls 35
3600.07/3611.20 c LP optimalities 6
3600.07/3611.20 c LP no pivot count 1
3600.07/3611.20 c LP infeasibilities 22
3600.07/3611.20 c LP valid Farkas constraints 22
3600.07/3611.20 c LP learned Farkas constraints 3
3600.07/3611.20 c LP basis resets 0
3600.07/3611.20 c LP cycling count 0
3600.07/3611.20 c LP singular count 0
3600.07/3611.20 c LP no primal count 0
3600.07/3611.20 c LP no farkas count 0
3600.07/3611.20 c LP other issue count 0
3600.07/3611.20 c LP Gomory cuts 6
3600.07/3611.20 c LP learned cuts 646
3600.07/3611.20 c LP deleted cuts 457
3600.07/3611.20 c LP encountered Gomory constraints 6
3600.07/3611.20 c LP encountered Farkas constraints 84
3600.07/3611.20 c LP encountered learned Farkas constraints 2
3600.07/3611.20 c CG auxiliary variables introduced 0
3600.07/3611.20 c CG solutions found 0
3600.07/3611.20 c CG cores constructed 0
3600.07/3611.20 c CG core cardinality constraints returned 0
3600.07/3611.20 c CG unit cores 0
3600.07/3611.20 c CG single cores 0
3600.07/3611.20 c CG blocks removed during cardinality reduction 0
3600.07/3611.20 c CG first core best 0
3600.07/3611.20 c CG decision core best 0
3600.07/3611.20 c CG core reduction tie 0
3600.07/3611.20 c CG core degree average 0.00
3600.07/3611.20 c CG core slack average 0.00
3600.07/3611.20 c CG core upper bound improvements 0
3600.07/3611.20 c STR number of successful calls 0
3600.07/3611.20 c STR number of unsuccessful calls 0
3600.07/3611.20 c STR number of inconclusive calls 0
3600.07/3611.20 c STR number of successful attempts 0
3600.07/3611.20 c STR number of unsuccessful attempts 0
3600.07/3611.20 c STR number of inconclusive attempts 0
3600.07/3611.20 c STR average degree increase per successful call inf
3600.07/3611.20 c STR average degree increase per successful attempt inf
3600.07/3611.20 c STR total number of conflicts for successful attempts 0
3600.07/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.20 c STR average number of conflicts per successful attempt inf
3600.07/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.20 c AVG.sumWPerc 65.96
3600.07/3611.20 c bigint constraints 0
3600.07/3611.20 s UNKNOWN
3600.07/3611.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (60979 MiB free)
memory of node 1: 64465 MiB (60601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506905-1751175378/watcher-4506905-1751175378 -o /tmp/evaluation-result-4506905-1751175378/solver-4506905-1751175378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17820 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506905-1751175378.opb PROOFDIR/proof-4506905-1751175378
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18540, runsolver pid=18537
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.16 4.16 4.10 5/260 18542
/proc/meminfo: memFree=124495288/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=59988 memory=15356 CPUtime=0.08 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 1547 0 0 0 6 2 0 0 20 0 1 0 33216448 61427712 3839 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 14997 3839 1984 1147 0 2424 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64180 KiB
Current children cumulated memory: 18428 KiB
[startup+0.216048 s]*
/proc/loadavg: 4.16 4.16 4.10 5/260 18542
/proc/meminfo: memFree=124495288/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=61384 memory=16508 CPUtime=0.19 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 1884 0 0 0 15 4 0 0 20 0 1 0 33216448 62857216 4127 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 15346 4127 1984 1147 0 2773 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65576 KiB
Current children cumulated memory: 19580 KiB
[startup+0.313677 s]*
/proc/loadavg: 4.16 4.16 4.10 5/260 18542
/proc/meminfo: memFree=124495288/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=70148 memory=25648 CPUtime=0.28 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 4963 0 0 0 22 6 0 0 20 0 1 0 33216448 71831552 6412 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 17537 6412 2272 1147 0 4964 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 74340 KiB
Current children cumulated memory: 28720 KiB
[startup+0.700401 s]
/proc/loadavg: 4.16 4.16 4.10 5/260 18542
/proc/meminfo: memFree=124475572/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=107944 memory=53716 CPUtime=0.66 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 10276 0 0 0 57 9 0 0 20 0 1 0 33216448 110534656 13429 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 26986 13429 2272 1147 0 14413 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112136 KiB
Current children cumulated memory: 56788 KiB
[startup+1.50041 s]
/proc/loadavg: 4.16 4.16 4.10 5/260 18542
/proc/meminfo: memFree=124471540/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=109196 memory=56276 CPUtime=1.45 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 10872 0 0 0 135 10 0 0 20 0 1 0 33216448 111816704 14069 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 27299 14069 2304 1147 0 14726 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 113388 KiB
Current children cumulated memory: 59348 KiB
[startup+3.11336 s]
/proc/loadavg: 4.15 4.16 4.10 5/260 18543
/proc/meminfo: memFree=124447452/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=109776 memory=58068 CPUtime=3.06 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 11332 0 0 0 290 16 0 0 20 0 1 0 33216448 112410624 14517 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 27444 14517 2336 1147 0 14871 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 113968 KiB
Current children cumulated memory: 61140 KiB
[startup+6.30039 s]
/proc/loadavg: 4.15 4.16 4.10 5/260 18543
/proc/meminfo: memFree=124416208/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=121488 memory=71732 CPUtime=6.24 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 13722 0 0 0 590 34 0 0 20 0 1 0 33216448 124403712 17933 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 30372 17933 2336 1147 0 17799 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 125680 KiB
Current children cumulated memory: 74804 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.15 4.10 5/260 18543
/proc/meminfo: memFree=124347788/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=137212 memory=87332 CPUtime=12.62 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 17137 0 0 0 1198 64 0 0 20 0 1 0 33216448 140505088 21833 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 34303 21833 2336 1147 0 21730 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 141404 KiB
Current children cumulated memory: 90404 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.14 4.10 5/260 18543
/proc/meminfo: memFree=124251352/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=154984 memory=100576 CPUtime=25.38 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 19918 0 0 0 2459 79 0 0 20 0 1 0 33216448 158703616 25144 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 38746 25144 2336 1147 0 26173 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 159176 KiB
Current children cumulated memory: 103648 KiB
[startup+51.1135 s]
/proc/loadavg: 4.20 4.16 4.10 5/260 18543
/proc/meminfo: memFree=124111492/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=184672 memory=131164 CPUtime=50.91 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 25086 0 0 0 4938 153 0 0 20 0 1 0 33216448 189104128 32791 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 46168 32791 2336 1147 0 33595 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 188864 KiB
Current children cumulated memory: 134236 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/260 18545
/proc/meminfo: memFree=123652812/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=233276 memory=170960 CPUtime=101.93 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 32475 0 0 0 9951 242 0 0 20 0 1 0 33216448 238874624 42740 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 58319 42740 2336 1147 0 45746 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 237468 KiB
Current children cumulated memory: 174032 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 18547
/proc/meminfo: memFree=123119640/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=282260 memory=210928 CPUtime=161.75 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 37328 0 0 0 15847 328 0 0 20 0 1 0 33216448 289034240 52732 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 70565 52732 2368 1147 0 57992 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 286452 KiB
Current children cumulated memory: 214000 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/260 18554
/proc/meminfo: memFree=122511576/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=307768 memory=238252 CPUtime=221.54 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 43665 0 0 0 21696 458 0 0 20 0 1 0 33216448 315154432 59563 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 76942 59563 2368 1147 0 64369 0
################
# More data... #
################
/proc/18542/statm: 300065 254465 2368 1147 0 287492 0
Current children cumulated CPU time: 3032.91 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1020932 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18842
/proc/meminfo: memFree=121849504/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1206324 memory=1023108 CPUtime=3092.71 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 144800 0 0 0 306098 3173 0 0 20 0 1 0 33216448 1235275776 255777 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 301581 255777 2368 1147 0 289008 0
Current children cumulated CPU time: 3092.71 s
Current children cumulated vsize: 1210516 KiB
Current children cumulated memory: 1026180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/260 18844
/proc/meminfo: memFree=121123588/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1221192 memory=1033860 CPUtime=3152.52 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 147495 0 0 0 312044 3208 0 0 20 0 1 0 33216448 1250500608 258465 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 305298 258465 2368 1147 0 292725 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 1225384 KiB
Current children cumulated memory: 1036932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 18846
/proc/meminfo: memFree=120469500/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1228376 memory=1039492 CPUtime=3212.32 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 148917 0 0 0 317951 3281 0 0 20 0 1 0 33216448 1257857024 259873 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 307094 259873 2368 1147 0 294521 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 1232568 KiB
Current children cumulated memory: 1042564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 18852
/proc/meminfo: memFree=120001592/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1228376 memory=1039620 CPUtime=3272.12 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 148922 0 0 0 323867 3345 0 0 20 0 1 0 33216448 1257857024 259905 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 307094 259905 2368 1147 0 294521 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 1232568 KiB
Current children cumulated memory: 1042692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/258 18854
/proc/meminfo: memFree=119406576/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1228376 memory=1039620 CPUtime=3331.93 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 148922 0 0 0 329788 3405 0 0 20 0 1 0 33216448 1257857024 259905 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 307094 259905 2368 1147 0 294521 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 1232568 KiB
Current children cumulated memory: 1042692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/258 18856
/proc/meminfo: memFree=118880440/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1230816 memory=1047556 CPUtime=3391.74 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 149497 0 0 0 335743 3431 0 0 20 0 1 0 33216448 1260355584 261889 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 307704 261889 2368 1147 0 295131 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 1235008 KiB
Current children cumulated memory: 1050628 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 18858
/proc/meminfo: memFree=118476628/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1236068 memory=1061764 CPUtime=3451.57 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 150662 0 0 0 341694 3463 0 0 20 0 1 0 33216448 1265733632 265441 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 309017 265441 2368 1147 0 296444 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 1240260 KiB
Current children cumulated memory: 1064836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/259 18861
/proc/meminfo: memFree=118023760/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1240204 memory=1065732 CPUtime=3511.4 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 151663 0 0 0 347618 3522 0 0 20 0 1 0 33216448 1269968896 266433 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 310051 266433 2368 1147 0 297478 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 1244396 KiB
Current children cumulated memory: 1068804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 18863
/proc/meminfo: memFree=117672140/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1241068 memory=1066628 CPUtime=3571.24 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 151895 0 0 0 353574 3550 0 0 20 0 1 0 33216448 1270853632 266657 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 310267 266657 2368 1147 0 297694 0
Current children cumulated CPU time: 3571.24 s
Current children cumulated vsize: 1245260 KiB
Current children cumulated memory: 1069700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 18864
/proc/meminfo: memFree=117502600/131382120 swapFree=33010684/33010684
[pid=18540] ppid=18537 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18540/stat : 18540 (run-dec-log.sh) S 18537 18540 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33216447 4292608 768 18446744073709551615 94075839700992 94075840595525 140730076752528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94075840834576 94075840882320 94075861032960 140730076760353 140730076760548 140730076760548 140730076766150 0
/proc/18540/statm: 1048 768 704 219 0 110 0
[pid=18542] ppid=18540 vsize=1241068 memory=1066628 CPUtime=3600.07 cores=0,2
/proc/18542/stat : 18542 (roundingsat) R 18540 18540 17810 0 -1 4194304 151898 0 0 0 356451 3556 0 0 20 0 1 0 33216448 1270853632 266657 18446744073709551615 4227072 8923433 140722514978720 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11816960 140722514987367 140722514987560 140722514987560 140722514993130 0
/proc/18542/statm: 310267 266657 2368 1147 0 297694 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1245260 KiB
Current children cumulated memory: 1069700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.21 s]
# the end of solver process 18540 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001652 s, system=0.003287 s
[startup+3611.22 s]
# the end of solver process 18542 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.53 s, system=35.5737 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.22
CPU time (s): 3600.1
CPU user time (s): 3564.53
CPU system time (s): 35.5737
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 1245260
Max. memory (cumulated for all children) (KiB): 1069700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.53
system time used= 35.5737
maximum resident set size= 1066884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11986720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353
involuntary context switches= 8177
# summary of solver processes directly reported to runsolver:
# pid: 18540,18542
# total CPU time (s): 3600.1
# total CPU user time (s): 3564.53
# total CPU system time (s): 35.5737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1881 second user time and 37.5158 second system time
The end
Begin job on nodeC003 at 2025-06-29 07:36:18
IDJOB=4506905
IDBENCH=158308
IDSOLVER=3352
FILE ID=nodeC003/4506905-1751175378
RUNJOBID= nodeC003-1751170906-17820
SLURM_JOB_ID= 9587531
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506905-1751175378/watcher-4506905-1751175378 -o /tmp/evaluation-result-4506905-1751175378/solver-4506905-1751175378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17820 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506905-1751175378.opb PROOFDIR/proof-4506905-1751175378
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1209174395
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.900
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.234
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.077
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.562
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124499480 kB
MemAvailable: 128551440 kB
Buffers: 3280 kB
Cached: 4859256 kB
SwapCached: 0 kB
Active: 1701640 kB
Inactive: 4645632 kB
Active(anon): 1503108 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 4645632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 42820 kB
Writeback: 0 kB
AnonPages: 1488212 kB
Mapped: 115732 kB
Shmem: 17960 kB
KReclaimable: 94844 kB
Slab: 176708 kB
SReclaimable: 94844 kB
SUnreclaim: 81864 kB
KernelStack: 4176 kB
PageTables: 6176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2032652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 131072 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC003 at 2025-06-29 08:36:29