0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.06/0.15 c #variables 3422 #constraints 6844
0.06/0.15 c objective is ce32
0.06/0.20 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.20 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.20 c GLOBAL bounds - >= 0 @ 0.11384
0.06/0.21 c GLOBAL bounds - >= 0 @ 0.12081
138.08/138.64 c #Conflicts: 1000 | #Constraints: 7844
138.08/138.64 c #Conflicts: 2000 | #Constraints: 8844
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 3000 | #Constraints: 9114
138.08/138.64 c #Conflicts: 4000 | #Constraints: 10114
138.08/138.64 c #Conflicts: 5000 | #Constraints: 11114
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 6000 | #Constraints: 9978
138.08/138.64 c #Conflicts: 7000 | #Constraints: 10978
138.08/138.64 c #Conflicts: 8000 | #Constraints: 11978
138.08/138.64 c #Conflicts: 9000 | #Constraints: 12978
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 10000 | #Constraints: 11404
138.08/138.64 c #Conflicts: 11000 | #Constraints: 12404
138.08/138.64 c #Conflicts: 12000 | #Constraints: 13404
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 13000 | #Constraints: 11046
138.08/138.64 c #Conflicts: 14000 | #Constraints: 12046
138.08/138.64 c #Conflicts: 15000 | #Constraints: 13046
138.08/138.64 c #Conflicts: 16000 | #Constraints: 14046
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 17000 | #Constraints: 11512
138.08/138.64 c #Conflicts: 18000 | #Constraints: 12512
138.08/138.64 c #Conflicts: 19000 | #Constraints: 13512
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 20000 | #Constraints: 10834
138.08/138.64 c #Conflicts: 21000 | #Constraints: 11834
138.08/138.64 c #Conflicts: 22000 | #Constraints: 12834
138.08/138.64 c #Conflicts: 23000 | #Constraints: 13834
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 24000 | #Constraints: 11005
138.08/138.64 c #Conflicts: 25000 | #Constraints: 12005
138.08/138.64 c #Conflicts: 26000 | #Constraints: 13005
138.08/138.64 c #Conflicts: 27000 | #Constraints: 14005
138.08/138.64 c #Conflicts: 28000 | #Constraints: 15005
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 29000 | #Constraints: 12005
138.08/138.64 c #Conflicts: 30000 | #Constraints: 13005
138.08/138.64 c #Conflicts: 31000 | #Constraints: 14005
138.08/138.64 c #Conflicts: 32000 | #Constraints: 15005
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 33000 | #Constraints: 11791
138.08/138.64 c #Conflicts: 34000 | #Constraints: 12791
138.08/138.64 c #Conflicts: 35000 | #Constraints: 13791
138.08/138.64 c #Conflicts: 36000 | #Constraints: 14791
138.08/138.64 c #Conflicts: 37000 | #Constraints: 15791
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 38000 | #Constraints: 12388
138.08/138.64 c #Conflicts: 39000 | #Constraints: 13388
138.08/138.64 c #Conflicts: 40000 | #Constraints: 14388
138.08/138.64 c #Conflicts: 41000 | #Constraints: 15388
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 42000 | #Constraints: 11812
138.08/138.64 c #Conflicts: 43000 | #Constraints: 12812
138.08/138.64 c #Conflicts: 44000 | #Constraints: 13812
138.08/138.64 c #Conflicts: 45000 | #Constraints: 14812
138.08/138.64 c #Conflicts: 46000 | #Constraints: 15812
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 47000 | #Constraints: 12016
138.08/138.64 c #Conflicts: 48000 | #Constraints: 13016
138.08/138.64 c #Conflicts: 49000 | #Constraints: 14016
138.08/138.64 c #Conflicts: 50000 | #Constraints: 15016
138.08/138.64 c #Conflicts: 51000 | #Constraints: 16016
138.08/138.64 c #Conflicts: 52000 | #Constraints: 17016
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 53000 | #Constraints: 13016
138.08/138.64 c #Conflicts: 54000 | #Constraints: 14016
138.08/138.64 c #Conflicts: 55000 | #Constraints: 15016
138.08/138.64 c #Conflicts: 56000 | #Constraints: 16016
138.08/138.64 c #Conflicts: 57000 | #Constraints: 17016
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 58000 | #Constraints: 12820
138.08/138.64 c #Conflicts: 59000 | #Constraints: 13820
138.08/138.64 c #Conflicts: 60000 | #Constraints: 14820
138.08/138.64 c #Conflicts: 61000 | #Constraints: 15820
138.08/138.64 c #Conflicts: 62000 | #Constraints: 16820
138.08/138.64 c #Conflicts: 63000 | #Constraints: 17820
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 64000 | #Constraints: 13412
138.08/138.64 c #Conflicts: 65000 | #Constraints: 14412
138.08/138.64 c #Conflicts: 66000 | #Constraints: 15412
138.08/138.64 c #Conflicts: 67000 | #Constraints: 16412
138.08/138.64 c #Conflicts: 68000 | #Constraints: 17412
138.08/138.64 c INPROCESSING
138.08/138.64 c GARBAGE COLLECT
138.08/138.64 c #Conflicts: 69000 | #Constraints: 12799
312.47/313.65 c #Conflicts: 70000 | #Constraints: 13799
312.47/313.65 c #Conflicts: 71000 | #Constraints: 14799
312.47/313.65 c #Conflicts: 72000 | #Constraints: 15799
312.47/313.65 c #Conflicts: 73000 | #Constraints: 16799
312.47/313.65 c #Conflicts: 74000 | #Constraints: 17799
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 75000 | #Constraints: 13004
312.47/313.65 c #Conflicts: 76000 | #Constraints: 14004
312.47/313.65 c #Conflicts: 77000 | #Constraints: 15004
312.47/313.65 c #Conflicts: 78000 | #Constraints: 16004
312.47/313.65 c #Conflicts: 79000 | #Constraints: 17004
312.47/313.65 c #Conflicts: 80000 | #Constraints: 18004
312.47/313.65 c #Conflicts: 81000 | #Constraints: 19004
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 82000 | #Constraints: 13997
312.47/313.65 c #Conflicts: 83000 | #Constraints: 14997
312.47/313.65 c #Conflicts: 84000 | #Constraints: 15997
312.47/313.65 c #Conflicts: 85000 | #Constraints: 16997
312.47/313.65 c #Conflicts: 86000 | #Constraints: 17997
312.47/313.65 c #Conflicts: 87000 | #Constraints: 18997
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 88000 | #Constraints: 13815
312.47/313.65 c #Conflicts: 89000 | #Constraints: 14815
312.47/313.65 c #Conflicts: 90000 | #Constraints: 15815
312.47/313.65 c #Conflicts: 91000 | #Constraints: 16815
312.47/313.65 c #Conflicts: 92000 | #Constraints: 17815
312.47/313.65 c #Conflicts: 93000 | #Constraints: 18815
312.47/313.65 c #Conflicts: 94000 | #Constraints: 19815
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 95000 | #Constraints: 14440
312.47/313.65 c #Conflicts: 96000 | #Constraints: 15440
312.47/313.65 c #Conflicts: 97000 | #Constraints: 16440
312.47/313.65 c #Conflicts: 98000 | #Constraints: 17440
312.47/313.65 c #Conflicts: 99000 | #Constraints: 18440
312.47/313.65 c #Conflicts: 100000 | #Constraints: 19440
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 101000 | #Constraints: 13844
312.47/313.65 c #Conflicts: 102000 | #Constraints: 14844
312.47/313.65 c #Conflicts: 103000 | #Constraints: 15844
312.47/313.65 c #Conflicts: 104000 | #Constraints: 16844
312.47/313.65 c #Conflicts: 105000 | #Constraints: 17844
312.47/313.65 c #Conflicts: 106000 | #Constraints: 18844
312.47/313.65 c #Conflicts: 107000 | #Constraints: 19844
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 108000 | #Constraints: 14008
312.47/313.65 c #Conflicts: 109000 | #Constraints: 15008
312.47/313.65 c #Conflicts: 110000 | #Constraints: 16008
312.47/313.65 c #Conflicts: 111000 | #Constraints: 17008
312.47/313.65 c #Conflicts: 112000 | #Constraints: 18008
312.47/313.65 c #Conflicts: 113000 | #Constraints: 19008
312.47/313.65 c #Conflicts: 114000 | #Constraints: 20008
312.47/313.65 c #Conflicts: 115000 | #Constraints: 21008
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 116000 | #Constraints: 15018
312.47/313.65 c #Conflicts: 117000 | #Constraints: 16018
312.47/313.65 c #Conflicts: 118000 | #Constraints: 17018
312.47/313.65 c #Conflicts: 119000 | #Constraints: 18018
312.47/313.65 c #Conflicts: 120000 | #Constraints: 19018
312.47/313.65 c #Conflicts: 121000 | #Constraints: 20018
312.47/313.65 c #Conflicts: 122000 | #Constraints: 21018
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 123000 | #Constraints: 14831
312.47/313.65 c #Conflicts: 124000 | #Constraints: 15831
312.47/313.65 c #Conflicts: 125000 | #Constraints: 16831
312.47/313.65 c #Conflicts: 126000 | #Constraints: 17831
312.47/313.65 c #Conflicts: 127000 | #Constraints: 18831
312.47/313.65 c #Conflicts: 128000 | #Constraints: 19831
312.47/313.65 c #Conflicts: 129000 | #Constraints: 20831
312.47/313.65 c #Conflicts: 130000 | #Constraints: 21831
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 131000 | #Constraints: 15450
312.47/313.65 c #Conflicts: 132000 | #Constraints: 16450
312.47/313.65 c #Conflicts: 133000 | #Constraints: 17450
312.47/313.65 c #Conflicts: 134000 | #Constraints: 18450
312.47/313.65 c #Conflicts: 135000 | #Constraints: 19450
312.47/313.65 c #Conflicts: 136000 | #Constraints: 20450
312.47/313.65 c #Conflicts: 137000 | #Constraints: 21450
312.47/313.65 c INPROCESSING
312.47/313.65 c GARBAGE COLLECT
312.47/313.65 c #Conflicts: 138000 | #Constraints: 14833
312.47/313.65 c #Conflicts: 139000 | #Constraints: 15833
312.47/313.65 c #Conflicts: 140000 | #Constraints: 16833
312.47/313.65 c #Conflicts: 141000 | #Constraints: 17833
312.47/313.65 c #Conflicts: 142000 | #Constraints: 18833
554.30/556.15 c #Conflicts: 143000 | #Constraints: 19833
554.30/556.15 c #Conflicts: 144000 | #Constraints: 20833
554.30/556.15 c #Conflicts: 145000 | #Constraints: 21833
554.30/556.15 c INPROCESSING
554.30/556.15 c GARBAGE COLLECT
554.30/556.15 c #Conflicts: 146000 | #Constraints: 15001
554.30/556.15 c #Conflicts: 147000 | #Constraints: 16001
554.30/556.15 c #Conflicts: 148000 | #Constraints: 17001
554.30/556.15 c #Conflicts: 149000 | #Constraints: 18001
554.30/556.15 c #Conflicts: 150000 | #Constraints: 19001
554.30/556.15 c #Conflicts: 151000 | #Constraints: 20001
554.30/556.15 c #Conflicts: 152000 | #Constraints: 21001
554.30/556.15 c #Conflicts: 153000 | #Constraints: 22001
554.30/556.15 c #Conflicts: 154000 | #Constraints: 23001
554.30/556.15 c INPROCESSING
554.30/556.15 c GARBAGE COLLECT
554.30/556.15 c #Conflicts: 155000 | #Constraints: 16026
554.30/556.15 c #Conflicts: 156000 | #Constraints: 17026
554.30/556.15 c #Conflicts: 157000 | #Constraints: 18026
554.30/556.15 c #Conflicts: 158000 | #Constraints: 19026
554.30/556.15 c #Conflicts: 159000 | #Constraints: 20026
554.30/556.15 c #Conflicts: 160000 | #Constraints: 21026
554.30/556.15 c #Conflicts: 161000 | #Constraints: 22026
554.30/556.15 c #Conflicts: 162000 | #Constraints: 23026
554.30/556.15 c INPROCESSING
554.30/556.15 c GARBAGE COLLECT
554.30/556.15 c #Conflicts: 163000 | #Constraints: 15864
554.30/556.15 c #Conflicts: 164000 | #Constraints: 16864
554.30/556.15 c #Conflicts: 165000 | #Constraints: 17864
554.30/556.15 c #Conflicts: 166000 | #Constraints: 18864
554.30/556.15 c #Conflicts: 167000 | #Constraints: 19864
554.30/556.15 c #Conflicts: 168000 | #Constraints: 20864
554.30/556.15 c #Conflicts: 169000 | #Constraints: 21864
554.30/556.15 c #Conflicts: 170000 | #Constraints: 22864
554.30/556.15 c #Conflicts: 171000 | #Constraints: 23864
554.30/556.15 c INPROCESSING
554.30/556.15 c GARBAGE COLLECT
554.30/556.15 c #Conflicts: 172000 | #Constraints: 16483
554.30/556.15 c #Conflicts: 173000 | #Constraints: 17483
554.30/556.15 c #Conflicts: 174000 | #Constraints: 18483
554.30/556.15 c #Conflicts: 175000 | #Constraints: 19483
554.30/556.15 c #Conflicts: 176000 | #Constraints: 20483
554.30/556.15 c #Conflicts: 177000 | #Constraints: 21483
554.30/556.15 c #Conflicts: 178000 | #Constraints: 22483
554.30/556.15 c #Conflicts: 179000 | #Constraints: 23483
554.30/556.15 c INPROCESSING
554.30/556.15 c GARBAGE COLLECT
554.30/556.15 c #Conflicts: 180000 | #Constraints: 15876
554.30/556.15 c #Conflicts: 181000 | #Constraints: 16876
554.30/556.15 c #Conflicts: 182000 | #Constraints: 17876
554.30/556.15 c #Conflicts: 183000 | #Constraints: 18876
554.30/556.15 c #Conflicts: 184000 | #Constraints: 19876
554.30/556.15 c #Conflicts: 185000 | #Constraints: 20876
554.30/556.15 c #Conflicts: 186000 | #Constraints: 21876
554.30/556.15 c #Conflicts: 187000 | #Constraints: 22876
554.30/556.15 c #Conflicts: 188000 | #Constraints: 23876
554.30/556.15 c INPROCESSING
554.30/556.15 c GARBAGE COLLECT
554.30/556.15 c #Conflicts: 189000 | #Constraints: 16064
554.30/556.15 c #Conflicts: 190000 | #Constraints: 17064
554.30/556.15 c #Conflicts: 191000 | #Constraints: 18064
554.30/556.15 c #Conflicts: 192000 | #Constraints: 19064
554.30/556.15 c #Conflicts: 193000 | #Constraints: 20064
554.30/556.15 c #Conflicts: 194000 | #Constraints: 21064
554.30/556.15 c #Conflicts: 195000 | #Constraints: 22064
554.30/556.15 c #Conflicts: 196000 | #Constraints: 23064
554.30/556.15 c #Conflicts: 197000 | #Constraints: 24064
554.30/556.16 c #Conflicts: 198000 | #Constraints: 25064
554.30/556.16 c INPROCESSING
554.30/556.16 c GARBAGE COLLECT
554.30/556.16 c #Conflicts: 199000 | #Constraints: 17073
554.30/556.16 c #Conflicts: 200000 | #Constraints: 18073
554.30/556.16 c #Conflicts: 201000 | #Constraints: 19073
554.30/556.16 c #Conflicts: 202000 | #Constraints: 20073
554.30/556.16 c #Conflicts: 203000 | #Constraints: 21073
554.30/556.16 c #Conflicts: 204000 | #Constraints: 22073
554.30/556.16 c #Conflicts: 205000 | #Constraints: 23073
554.30/556.16 c #Conflicts: 206000 | #Constraints: 24073
554.30/556.16 c #Conflicts: 207000 | #Constraints: 25073
554.30/556.16 c INPROCESSING
554.30/556.16 c GARBAGE COLLECT
554.30/556.16 c #Conflicts: 208000 | #Constraints: 16866
554.30/556.16 c #Conflicts: 209000 | #Constraints: 17866
554.30/556.16 c #Conflicts: 210000 | #Constraints: 18866
554.30/556.16 c #Conflicts: 211000 | #Constraints: 19866
554.30/556.16 c #Conflicts: 212000 | #Constraints: 20866
554.30/556.16 c #Conflicts: 213000 | #Constraints: 21866
554.30/556.16 c #Conflicts: 214000 | #Constraints: 22866
554.30/556.16 c #Conflicts: 215000 | #Constraints: 23866
805.54/808.10 c #Conflicts: 216000 | #Constraints: 24866
805.54/808.10 c #Conflicts: 217000 | #Constraints: 25866
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 218000 | #Constraints: 17465
805.54/808.10 c #Conflicts: 219000 | #Constraints: 18465
805.54/808.10 c #Conflicts: 220000 | #Constraints: 19465
805.54/808.10 c #Conflicts: 221000 | #Constraints: 20465
805.54/808.10 c #Conflicts: 222000 | #Constraints: 21465
805.54/808.10 c #Conflicts: 223000 | #Constraints: 22465
805.54/808.10 c #Conflicts: 224000 | #Constraints: 23465
805.54/808.10 c #Conflicts: 225000 | #Constraints: 24465
805.54/808.10 c #Conflicts: 226000 | #Constraints: 25465
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 227000 | #Constraints: 16873
805.54/808.10 c #Conflicts: 228000 | #Constraints: 17873
805.54/808.10 c #Conflicts: 229000 | #Constraints: 18873
805.54/808.10 c #Conflicts: 230000 | #Constraints: 19873
805.54/808.10 c #Conflicts: 231000 | #Constraints: 20873
805.54/808.10 c #Conflicts: 232000 | #Constraints: 21873
805.54/808.10 c #Conflicts: 233000 | #Constraints: 22873
805.54/808.10 c #Conflicts: 234000 | #Constraints: 23873
805.54/808.10 c #Conflicts: 235000 | #Constraints: 24873
805.54/808.10 c #Conflicts: 236000 | #Constraints: 25873
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 237000 | #Constraints: 17057
805.54/808.10 c #Conflicts: 238000 | #Constraints: 18057
805.54/808.10 c #Conflicts: 239000 | #Constraints: 19057
805.54/808.10 c #Conflicts: 240000 | #Constraints: 20057
805.54/808.10 c #Conflicts: 241000 | #Constraints: 21057
805.54/808.10 c #Conflicts: 242000 | #Constraints: 22057
805.54/808.10 c #Conflicts: 243000 | #Constraints: 23057
805.54/808.10 c #Conflicts: 244000 | #Constraints: 24057
805.54/808.10 c #Conflicts: 245000 | #Constraints: 25057
805.54/808.10 c #Conflicts: 246000 | #Constraints: 26057
805.54/808.10 c #Conflicts: 247000 | #Constraints: 27057
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 248000 | #Constraints: 18069
805.54/808.10 c #Conflicts: 249000 | #Constraints: 19069
805.54/808.10 c #Conflicts: 250000 | #Constraints: 20069
805.54/808.10 c #Conflicts: 251000 | #Constraints: 21069
805.54/808.10 c #Conflicts: 252000 | #Constraints: 22069
805.54/808.10 c #Conflicts: 253000 | #Constraints: 23069
805.54/808.10 c #Conflicts: 254000 | #Constraints: 24069
805.54/808.10 c #Conflicts: 255000 | #Constraints: 25069
805.54/808.10 c #Conflicts: 256000 | #Constraints: 26069
805.54/808.10 c #Conflicts: 257000 | #Constraints: 27069
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 258000 | #Constraints: 17859
805.54/808.10 c #Conflicts: 259000 | #Constraints: 18859
805.54/808.10 c #Conflicts: 260000 | #Constraints: 19859
805.54/808.10 c #Conflicts: 261000 | #Constraints: 20859
805.54/808.10 c #Conflicts: 262000 | #Constraints: 21859
805.54/808.10 c #Conflicts: 263000 | #Constraints: 22859
805.54/808.10 c #Conflicts: 264000 | #Constraints: 23859
805.54/808.10 c #Conflicts: 265000 | #Constraints: 24859
805.54/808.10 c #Conflicts: 266000 | #Constraints: 25859
805.54/808.10 c #Conflicts: 267000 | #Constraints: 26859
805.54/808.10 c #Conflicts: 268000 | #Constraints: 27859
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 269000 | #Constraints: 18452
805.54/808.10 c #Conflicts: 270000 | #Constraints: 19452
805.54/808.10 c #Conflicts: 271000 | #Constraints: 20452
805.54/808.10 c #Conflicts: 272000 | #Constraints: 21452
805.54/808.10 c #Conflicts: 273000 | #Constraints: 22452
805.54/808.10 c #Conflicts: 274000 | #Constraints: 23452
805.54/808.10 c #Conflicts: 275000 | #Constraints: 24452
805.54/808.10 c #Conflicts: 276000 | #Constraints: 25452
805.54/808.10 c #Conflicts: 277000 | #Constraints: 26452
805.54/808.10 c #Conflicts: 278000 | #Constraints: 27452
805.54/808.10 c INPROCESSING
805.54/808.10 c GARBAGE COLLECT
805.54/808.10 c #Conflicts: 279000 | #Constraints: 17856
805.54/808.10 c #Conflicts: 280000 | #Constraints: 18856
805.54/808.10 c #Conflicts: 281000 | #Constraints: 19856
805.54/808.10 c #Conflicts: 282000 | #Constraints: 20856
805.54/808.10 c #Conflicts: 283000 | #Constraints: 21856
805.54/808.10 c #Conflicts: 284000 | #Constraints: 22856
805.54/808.10 c #Conflicts: 285000 | #Constraints: 23856
805.54/808.10 c #Conflicts: 286000 | #Constraints: 24856
805.54/808.10 c #Conflicts: 287000 | #Constraints: 25856
805.54/808.10 c #Conflicts: 288000 | #Constraints: 26856
805.54/808.10 c #Conflicts: 289000 | #Constraints: 27856
805.54/808.10 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 290000 | #Constraints: 18052
1056.16/1059.31 c #Conflicts: 291000 | #Constraints: 19052
1056.16/1059.31 c #Conflicts: 292000 | #Constraints: 20052
1056.16/1059.31 c #Conflicts: 293000 | #Constraints: 21052
1056.16/1059.31 c #Conflicts: 294000 | #Constraints: 22052
1056.16/1059.31 c #Conflicts: 295000 | #Constraints: 23052
1056.16/1059.31 c #Conflicts: 296000 | #Constraints: 24052
1056.16/1059.31 c #Conflicts: 297000 | #Constraints: 25052
1056.16/1059.31 c #Conflicts: 298000 | #Constraints: 26052
1056.16/1059.31 c #Conflicts: 299000 | #Constraints: 27052
1056.16/1059.31 c #Conflicts: 300000 | #Constraints: 28052
1056.16/1059.31 c #Conflicts: 301000 | #Constraints: 29052
1056.16/1059.31 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 302000 | #Constraints: 19074
1056.16/1059.31 c #Conflicts: 303000 | #Constraints: 20074
1056.16/1059.31 c #Conflicts: 304000 | #Constraints: 21074
1056.16/1059.31 c #Conflicts: 305000 | #Constraints: 22074
1056.16/1059.31 c #Conflicts: 306000 | #Constraints: 23074
1056.16/1059.31 c #Conflicts: 307000 | #Constraints: 24074
1056.16/1059.31 c #Conflicts: 308000 | #Constraints: 25074
1056.16/1059.31 c #Conflicts: 309000 | #Constraints: 26074
1056.16/1059.31 c #Conflicts: 310000 | #Constraints: 27074
1056.16/1059.31 c #Conflicts: 311000 | #Constraints: 28074
1056.16/1059.31 c #Conflicts: 312000 | #Constraints: 29074
1056.16/1059.31 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 313000 | #Constraints: 18863
1056.16/1059.31 c #Conflicts: 314000 | #Constraints: 19863
1056.16/1059.31 c #Conflicts: 315000 | #Constraints: 20863
1056.16/1059.31 c #Conflicts: 316000 | #Constraints: 21863
1056.16/1059.31 c #Conflicts: 317000 | #Constraints: 22863
1056.16/1059.31 c #Conflicts: 318000 | #Constraints: 23863
1056.16/1059.31 c #Conflicts: 319000 | #Constraints: 24863
1056.16/1059.31 c #Conflicts: 320000 | #Constraints: 25863
1056.16/1059.31 c #Conflicts: 321000 | #Constraints: 26863
1056.16/1059.31 c #Conflicts: 322000 | #Constraints: 27863
1056.16/1059.31 c #Conflicts: 323000 | #Constraints: 28863
1056.16/1059.31 c #Conflicts: 324000 | #Constraints: 29863
1056.16/1059.31 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 325000 | #Constraints: 19443
1056.16/1059.31 c #Conflicts: 326000 | #Constraints: 20443
1056.16/1059.31 c #Conflicts: 327000 | #Constraints: 21443
1056.16/1059.31 c #Conflicts: 328000 | #Constraints: 22443
1056.16/1059.31 c #Conflicts: 329000 | #Constraints: 23443
1056.16/1059.31 c #Conflicts: 330000 | #Constraints: 24443
1056.16/1059.31 c #Conflicts: 331000 | #Constraints: 25443
1056.16/1059.31 c #Conflicts: 332000 | #Constraints: 26443
1056.16/1059.31 c #Conflicts: 333000 | #Constraints: 27443
1056.16/1059.31 c #Conflicts: 334000 | #Constraints: 28443
1056.16/1059.31 c #Conflicts: 335000 | #Constraints: 29443
1056.16/1059.31 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 336000 | #Constraints: 18882
1056.16/1059.31 c #Conflicts: 337000 | #Constraints: 19882
1056.16/1059.31 c #Conflicts: 338000 | #Constraints: 20882
1056.16/1059.31 c #Conflicts: 339000 | #Constraints: 21882
1056.16/1059.31 c #Conflicts: 340000 | #Constraints: 22882
1056.16/1059.31 c #Conflicts: 341000 | #Constraints: 23882
1056.16/1059.31 c #Conflicts: 342000 | #Constraints: 24882
1056.16/1059.31 c #Conflicts: 343000 | #Constraints: 25882
1056.16/1059.31 c #Conflicts: 344000 | #Constraints: 26882
1056.16/1059.31 c #Conflicts: 345000 | #Constraints: 27882
1056.16/1059.31 c #Conflicts: 346000 | #Constraints: 28882
1056.16/1059.31 c #Conflicts: 347000 | #Constraints: 29882
1056.16/1059.31 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 348000 | #Constraints: 19080
1056.16/1059.31 c #Conflicts: 349000 | #Constraints: 20080
1056.16/1059.31 c #Conflicts: 350000 | #Constraints: 21080
1056.16/1059.31 c #Conflicts: 351000 | #Constraints: 22080
1056.16/1059.31 c #Conflicts: 352000 | #Constraints: 23080
1056.16/1059.31 c #Conflicts: 353000 | #Constraints: 24080
1056.16/1059.31 c #Conflicts: 354000 | #Constraints: 25080
1056.16/1059.31 c #Conflicts: 355000 | #Constraints: 26080
1056.16/1059.31 c #Conflicts: 356000 | #Constraints: 27080
1056.16/1059.31 c #Conflicts: 357000 | #Constraints: 28080
1056.16/1059.31 c #Conflicts: 358000 | #Constraints: 29080
1056.16/1059.31 c #Conflicts: 359000 | #Constraints: 30080
1056.16/1059.31 c #Conflicts: 360000 | #Constraints: 31080
1056.16/1059.31 c INPROCESSING
1056.16/1059.31 c GARBAGE COLLECT
1056.16/1059.31 c #Conflicts: 361000 | #Constraints: 20066
1056.16/1059.31 c #Conflicts: 362000 | #Constraints: 21066
1056.16/1059.31 c #Conflicts: 363000 | #Constraints: 22066
1056.16/1059.31 c #Conflicts: 364000 | #Constraints: 23066
1429.14/1433.52 c #Conflicts: 365000 | #Constraints: 24066
1429.14/1433.52 c #Conflicts: 366000 | #Constraints: 25066
1429.14/1433.52 c #Conflicts: 367000 | #Constraints: 26066
1429.14/1433.52 c #Conflicts: 368000 | #Constraints: 27066
1429.14/1433.52 c #Conflicts: 369000 | #Constraints: 28066
1429.14/1433.52 c #Conflicts: 370000 | #Constraints: 29066
1429.14/1433.52 c #Conflicts: 371000 | #Constraints: 30066
1429.14/1433.52 c #Conflicts: 372000 | #Constraints: 31066
1429.14/1433.52 c INPROCESSING
1429.14/1433.52 c GARBAGE COLLECT
1429.14/1433.52 c #Conflicts: 373000 | #Constraints: 19887
1429.14/1433.52 c #Conflicts: 374000 | #Constraints: 20887
1429.14/1433.52 c #Conflicts: 375000 | #Constraints: 21887
1429.14/1433.52 c #Conflicts: 376000 | #Constraints: 22887
1429.14/1433.52 c #Conflicts: 377000 | #Constraints: 23887
1429.14/1433.52 c #Conflicts: 378000 | #Constraints: 24887
1429.14/1433.52 c #Conflicts: 379000 | #Constraints: 25887
1429.14/1433.52 c #Conflicts: 380000 | #Constraints: 26887
1429.14/1433.52 c #Conflicts: 381000 | #Constraints: 27887
1429.14/1433.52 c #Conflicts: 382000 | #Constraints: 28887
1429.14/1433.52 c #Conflicts: 383000 | #Constraints: 29887
1429.14/1433.52 c #Conflicts: 384000 | #Constraints: 30887
1429.14/1433.52 c #Conflicts: 385000 | #Constraints: 31887
1429.14/1433.52 c INPROCESSING
1429.14/1433.52 c GARBAGE COLLECT
1429.14/1433.52 c #Conflicts: 386000 | #Constraints: 20467
1429.14/1433.52 c #Conflicts: 387000 | #Constraints: 21467
1429.14/1433.52 c #Conflicts: 388000 | #Constraints: 22467
1429.14/1433.52 c #Conflicts: 389000 | #Constraints: 23467
1429.14/1433.52 c #Conflicts: 390000 | #Constraints: 24467
1429.14/1433.52 c #Conflicts: 391000 | #Constraints: 25467
1429.14/1433.52 c #Conflicts: 392000 | #Constraints: 26467
1429.14/1433.52 c #Conflicts: 393000 | #Constraints: 27467
1429.14/1433.52 c #Conflicts: 394000 | #Constraints: 28467
1429.14/1433.52 c #Conflicts: 395000 | #Constraints: 29467
1429.14/1433.52 c #Conflicts: 396000 | #Constraints: 30467
1429.14/1433.52 c #Conflicts: 397000 | #Constraints: 31467
1429.14/1433.52 c INPROCESSING
1429.14/1433.52 c GARBAGE COLLECT
1429.14/1433.52 c #Conflicts: 398000 | #Constraints: 19861
1429.14/1433.52 c #Conflicts: 399000 | #Constraints: 20861
1429.14/1433.52 c #Conflicts: 400000 | #Constraints: 21861
1429.14/1433.52 c #Conflicts: 401000 | #Constraints: 22861
1429.14/1433.52 c #Conflicts: 402000 | #Constraints: 23861
1429.14/1433.52 c #Conflicts: 403000 | #Constraints: 24861
1429.14/1433.52 c #Conflicts: 404000 | #Constraints: 25861
1429.14/1433.52 c #Conflicts: 405000 | #Constraints: 26861
1429.14/1433.52 c #Conflicts: 406000 | #Constraints: 27861
1429.14/1433.52 c #Conflicts: 407000 | #Constraints: 28861
1429.14/1433.52 c #Conflicts: 408000 | #Constraints: 29861
1429.14/1433.52 c #Conflicts: 409000 | #Constraints: 30861
1429.14/1433.52 c #Conflicts: 410000 | #Constraints: 31861
1429.14/1433.52 c INPROCESSING
1429.14/1433.52 c GARBAGE COLLECT
1429.14/1433.52 c #Conflicts: 411000 | #Constraints: 20072
1429.14/1433.52 c #Conflicts: 412000 | #Constraints: 21072
1429.14/1433.52 c #Conflicts: 413000 | #Constraints: 22072
1429.14/1433.52 c #Conflicts: 414000 | #Constraints: 23072
1429.14/1433.52 c #Conflicts: 415000 | #Constraints: 24072
1429.14/1433.52 c #Conflicts: 416000 | #Constraints: 25072
1429.14/1433.52 c #Conflicts: 417000 | #Constraints: 26072
1429.14/1433.52 c #Conflicts: 418000 | #Constraints: 27072
1429.14/1433.52 c #Conflicts: 419000 | #Constraints: 28072
1429.14/1433.52 c #Conflicts: 420000 | #Constraints: 29072
1429.14/1433.52 c #Conflicts: 421000 | #Constraints: 30072
1429.14/1433.52 c #Conflicts: 422000 | #Constraints: 31072
1429.14/1433.52 c #Conflicts: 423000 | #Constraints: 32072
1429.14/1433.52 c #Conflicts: 424000 | #Constraints: 33072
1429.14/1433.52 c INPROCESSING
1429.14/1433.52 c GARBAGE COLLECT
1429.14/1433.52 c #Conflicts: 425000 | #Constraints: 21052
1429.14/1433.52 c #Conflicts: 426000 | #Constraints: 22052
1429.14/1433.52 c #Conflicts: 427000 | #Constraints: 23052
1429.14/1433.52 c #Conflicts: 428000 | #Constraints: 24052
1429.14/1433.52 c #Conflicts: 429000 | #Constraints: 25052
1429.14/1433.52 c #Conflicts: 430000 | #Constraints: 26052
1429.14/1433.52 c #Conflicts: 431000 | #Constraints: 27052
1429.14/1433.52 c #Conflicts: 432000 | #Constraints: 28052
1429.14/1433.52 c #Conflicts: 433000 | #Constraints: 29052
1429.14/1433.52 c #Conflicts: 434000 | #Constraints: 30052
1429.14/1433.52 c #Conflicts: 435000 | #Constraints: 31052
1429.14/1433.52 c #Conflicts: 436000 | #Constraints: 32052
1429.14/1433.52 c #Conflicts: 437000 | #Constraints: 33052
1429.14/1433.52 c INPROCESSING
1429.14/1433.52 c GARBAGE COLLECT
1429.14/1433.52 c #Conflicts: 438000 | #Constraints: 20824
1429.14/1433.52 c #Conflicts: 439000 | #Constraints: 21824
1799.60/1805.23 c #Conflicts: 440000 | #Constraints: 22824
1799.60/1805.23 c #Conflicts: 441000 | #Constraints: 23824
1799.60/1805.23 c #Conflicts: 442000 | #Constraints: 24824
1799.60/1805.23 c #Conflicts: 443000 | #Constraints: 25824
1799.60/1805.23 c #Conflicts: 444000 | #Constraints: 26824
1799.60/1805.23 c #Conflicts: 445000 | #Constraints: 27824
1799.60/1805.23 c #Conflicts: 446000 | #Constraints: 28824
1799.60/1805.23 c #Conflicts: 447000 | #Constraints: 29824
1799.60/1805.23 c #Conflicts: 448000 | #Constraints: 30824
1799.60/1805.23 c #Conflicts: 449000 | #Constraints: 31824
1799.60/1805.23 c #Conflicts: 450000 | #Constraints: 32824
1799.60/1805.23 c #Conflicts: 451000 | #Constraints: 33824
1799.60/1805.23 c INPROCESSING
1799.60/1805.23 c GARBAGE COLLECT
1799.60/1805.23 c #Conflicts: 452000 | #Constraints: 21428
1799.60/1805.23 c #Conflicts: 453000 | #Constraints: 22428
1799.60/1805.23 c #Conflicts: 454000 | #Constraints: 23428
1799.60/1805.23 c #Conflicts: 455000 | #Constraints: 24428
1799.60/1805.23 c #Conflicts: 456000 | #Constraints: 25428
1799.60/1805.23 c #Conflicts: 457000 | #Constraints: 26428
1799.60/1805.23 c #Conflicts: 458000 | #Constraints: 27428
1799.60/1805.23 c #Conflicts: 459000 | #Constraints: 28428
1799.60/1805.23 c #Conflicts: 460000 | #Constraints: 29428
1799.60/1805.23 c #Conflicts: 461000 | #Constraints: 30428
1799.60/1805.23 c #Conflicts: 462000 | #Constraints: 31428
1799.60/1805.23 c #Conflicts: 463000 | #Constraints: 32428
1799.60/1805.23 c #Conflicts: 464000 | #Constraints: 33428
1799.60/1805.23 c INPROCESSING
1799.60/1805.23 c GARBAGE COLLECT
1799.60/1805.23 c #Conflicts: 465000 | #Constraints: 20838
1799.60/1805.23 c #Conflicts: 466000 | #Constraints: 21838
1799.60/1805.23 c #Conflicts: 467000 | #Constraints: 22838
1799.60/1805.23 c #Conflicts: 468000 | #Constraints: 23838
1799.60/1805.23 c #Conflicts: 469000 | #Constraints: 24838
1799.60/1805.23 c #Conflicts: 470000 | #Constraints: 25838
1799.60/1805.23 c #Conflicts: 471000 | #Constraints: 26838
1799.60/1805.23 c #Conflicts: 472000 | #Constraints: 27838
1799.60/1805.23 c #Conflicts: 473000 | #Constraints: 28838
1799.60/1805.23 c #Conflicts: 474000 | #Constraints: 29838
1799.60/1805.23 c #Conflicts: 475000 | #Constraints: 30838
1799.60/1805.23 c #Conflicts: 476000 | #Constraints: 31838
1799.60/1805.23 c #Conflicts: 477000 | #Constraints: 32838
1799.60/1805.23 c #Conflicts: 478000 | #Constraints: 33838
1799.60/1805.23 c INPROCESSING
1799.60/1805.23 c GARBAGE COLLECT
1799.60/1805.23 c #Conflicts: 479000 | #Constraints: 21027
1799.60/1805.23 c #Conflicts: 480000 | #Constraints: 22027
1799.60/1805.23 c #Conflicts: 481000 | #Constraints: 23027
1799.60/1805.23 c #Conflicts: 482000 | #Constraints: 24027
1799.60/1805.23 c #Conflicts: 483000 | #Constraints: 25027
1799.60/1805.23 c #Conflicts: 484000 | #Constraints: 26027
1799.60/1805.23 c #Conflicts: 485000 | #Constraints: 27027
1799.60/1805.23 c #Conflicts: 486000 | #Constraints: 28027
1799.60/1805.23 c #Conflicts: 487000 | #Constraints: 29027
1799.60/1805.23 c #Conflicts: 488000 | #Constraints: 30027
1799.60/1805.23 c #Conflicts: 489000 | #Constraints: 31027
1799.60/1805.23 c #Conflicts: 490000 | #Constraints: 32027
1799.60/1805.23 c #Conflicts: 491000 | #Constraints: 33027
1799.60/1805.23 c #Conflicts: 492000 | #Constraints: 34027
1799.60/1805.23 c #Conflicts: 493000 | #Constraints: 35027
1799.60/1805.23 c INPROCESSING
1799.60/1805.23 c GARBAGE COLLECT
1799.60/1805.23 c #Conflicts: 494000 | #Constraints: 22027
1799.60/1805.23 c #Conflicts: 495000 | #Constraints: 23027
1799.60/1805.23 c #Conflicts: 496000 | #Constraints: 24027
1799.60/1805.23 c #Conflicts: 497000 | #Constraints: 25027
1799.60/1805.23 c #Conflicts: 498000 | #Constraints: 26027
1799.60/1805.23 c #Conflicts: 499000 | #Constraints: 27027
1799.60/1805.23 c #Conflicts: 500000 | #Constraints: 28027
1799.60/1805.23 c #Conflicts: 501000 | #Constraints: 29027
1799.60/1805.23 c #Conflicts: 502000 | #Constraints: 30027
1799.60/1805.23 c #Conflicts: 503000 | #Constraints: 31027
1799.60/1805.23 c #Conflicts: 504000 | #Constraints: 32027
1799.60/1805.23 c #Conflicts: 505000 | #Constraints: 33027
1799.60/1805.23 c #Conflicts: 506000 | #Constraints: 34027
1799.60/1805.23 c #Conflicts: 507000 | #Constraints: 35027
1799.60/1805.23 c INPROCESSING
1799.60/1805.23 c GARBAGE COLLECT
1799.60/1805.23 c #Conflicts: 508000 | #Constraints: 21807
1799.60/1805.23 c #Conflicts: 509000 | #Constraints: 22807
1799.60/1805.23 c #Conflicts: 510000 | #Constraints: 23807
1799.60/1805.23 c #Conflicts: 511000 | #Constraints: 24807
1799.60/1805.23 c #Conflicts: 512000 | #Constraints: 25807
1799.60/1805.23 c #Conflicts: 513000 | #Constraints: 26807
1799.60/1805.23 c #Conflicts: 514000 | #Constraints: 27807
2124.23/2130.99 c #Conflicts: 515000 | #Constraints: 28807
2124.23/2130.99 c #Conflicts: 516000 | #Constraints: 29807
2124.23/2130.99 c #Conflicts: 517000 | #Constraints: 30807
2124.23/2130.99 c #Conflicts: 518000 | #Constraints: 31807
2124.23/2130.99 c #Conflicts: 519000 | #Constraints: 32807
2124.23/2130.99 c #Conflicts: 520000 | #Constraints: 33807
2124.23/2130.99 c #Conflicts: 521000 | #Constraints: 34807
2124.23/2130.99 c #Conflicts: 522000 | #Constraints: 35807
2124.23/2130.99 c INPROCESSING
2124.23/2130.99 c GARBAGE COLLECT
2124.23/2130.99 c #Conflicts: 523000 | #Constraints: 22400
2124.23/2130.99 c #Conflicts: 524000 | #Constraints: 23400
2124.23/2130.99 c #Conflicts: 525000 | #Constraints: 24400
2124.23/2130.99 c #Conflicts: 526000 | #Constraints: 25400
2124.23/2130.99 c #Conflicts: 527000 | #Constraints: 26400
2124.23/2130.99 c #Conflicts: 528000 | #Constraints: 27400
2124.23/2130.99 c #Conflicts: 529000 | #Constraints: 28400
2124.23/2130.99 c #Conflicts: 530000 | #Constraints: 29400
2124.23/2130.99 c #Conflicts: 531000 | #Constraints: 30400
2124.23/2130.99 c #Conflicts: 532000 | #Constraints: 31400
2124.23/2130.99 c #Conflicts: 533000 | #Constraints: 32400
2124.23/2130.99 c #Conflicts: 534000 | #Constraints: 33400
2124.23/2130.99 c #Conflicts: 535000 | #Constraints: 34400
2124.23/2130.99 c #Conflicts: 536000 | #Constraints: 35400
2124.23/2130.99 c INPROCESSING
2124.23/2130.99 c GARBAGE COLLECT
2124.23/2130.99 c #Conflicts: 537000 | #Constraints: 21797
2124.23/2130.99 c #Conflicts: 538000 | #Constraints: 22797
2124.23/2130.99 c #Conflicts: 539000 | #Constraints: 23797
2124.23/2130.99 c #Conflicts: 540000 | #Constraints: 24797
2124.23/2130.99 c #Conflicts: 541000 | #Constraints: 25797
2124.23/2130.99 c #Conflicts: 542000 | #Constraints: 26797
2124.23/2130.99 c #Conflicts: 543000 | #Constraints: 27797
2124.23/2130.99 c #Conflicts: 544000 | #Constraints: 28797
2124.23/2130.99 c #Conflicts: 545000 | #Constraints: 29797
2124.23/2130.99 c #Conflicts: 546000 | #Constraints: 30797
2124.23/2130.99 c #Conflicts: 547000 | #Constraints: 31797
2124.23/2130.99 c #Conflicts: 548000 | #Constraints: 32797
2124.23/2130.99 c #Conflicts: 549000 | #Constraints: 33797
2124.23/2130.99 c #Conflicts: 550000 | #Constraints: 34797
2124.23/2130.99 c #Conflicts: 551000 | #Constraints: 35797
2124.23/2130.99 c INPROCESSING
2124.23/2130.99 c GARBAGE COLLECT
2124.23/2130.99 c #Conflicts: 552000 | #Constraints: 22033
2124.23/2130.99 c #Conflicts: 553000 | #Constraints: 23033
2124.23/2130.99 c #Conflicts: 554000 | #Constraints: 24033
2124.23/2130.99 c #Conflicts: 555000 | #Constraints: 25033
2124.23/2130.99 c #Conflicts: 556000 | #Constraints: 26033
2124.23/2130.99 c #Conflicts: 557000 | #Constraints: 27033
2124.23/2130.99 c #Conflicts: 558000 | #Constraints: 28033
2124.23/2130.99 c #Conflicts: 559000 | #Constraints: 29033
2124.23/2130.99 c #Conflicts: 560000 | #Constraints: 30033
2124.23/2130.99 c #Conflicts: 561000 | #Constraints: 31033
2124.23/2130.99 c #Conflicts: 562000 | #Constraints: 32033
2124.23/2130.99 c #Conflicts: 563000 | #Constraints: 33033
2124.23/2130.99 c #Conflicts: 564000 | #Constraints: 34033
2124.23/2130.99 c #Conflicts: 565000 | #Constraints: 35033
2124.23/2130.99 c #Conflicts: 566000 | #Constraints: 36033
2124.23/2130.99 c #Conflicts: 567000 | #Constraints: 37033
2124.23/2130.99 c INPROCESSING
2124.23/2130.99 c GARBAGE COLLECT
2124.23/2130.99 c #Conflicts: 568000 | #Constraints: 23014
2124.23/2130.99 c #Conflicts: 569000 | #Constraints: 24014
2124.23/2130.99 c #Conflicts: 570000 | #Constraints: 25014
2124.23/2130.99 c #Conflicts: 571000 | #Constraints: 26014
2124.23/2130.99 c #Conflicts: 572000 | #Constraints: 27014
2124.23/2130.99 c #Conflicts: 573000 | #Constraints: 28014
2124.23/2130.99 c #Conflicts: 574000 | #Constraints: 29014
2124.23/2130.99 c #Conflicts: 575000 | #Constraints: 30014
2124.23/2130.99 c #Conflicts: 576000 | #Constraints: 31014
2124.23/2130.99 c #Conflicts: 577000 | #Constraints: 32014
2124.23/2130.99 c #Conflicts: 578000 | #Constraints: 33014
2124.23/2130.99 c #Conflicts: 579000 | #Constraints: 34014
2124.23/2130.99 c #Conflicts: 580000 | #Constraints: 35014
2124.23/2130.99 c #Conflicts: 581000 | #Constraints: 36014
2124.23/2130.99 c #Conflicts: 582000 | #Constraints: 37014
2124.23/2130.99 c INPROCESSING
2124.23/2130.99 c GARBAGE COLLECT
2124.23/2130.99 c #Conflicts: 583000 | #Constraints: 22813
2124.23/2130.99 c #Conflicts: 584000 | #Constraints: 23813
2124.23/2130.99 c #Conflicts: 585000 | #Constraints: 24813
2124.23/2130.99 c #Conflicts: 586000 | #Constraints: 25813
2124.23/2130.99 c #Conflicts: 587000 | #Constraints: 26813
2124.23/2130.99 c #Conflicts: 588000 | #Constraints: 27813
2124.23/2130.99 c #Conflicts: 589000 | #Constraints: 28813
2124.23/2130.99 c #Conflicts: 590000 | #Constraints: 29813
2558.78/2566.91 c #Conflicts: 591000 | #Constraints: 30813
2558.78/2566.91 c #Conflicts: 592000 | #Constraints: 31813
2558.78/2566.91 c #Conflicts: 593000 | #Constraints: 32813
2558.78/2566.91 c #Conflicts: 594000 | #Constraints: 33813
2558.78/2566.91 c #Conflicts: 595000 | #Constraints: 34813
2558.78/2566.91 c #Conflicts: 596000 | #Constraints: 35813
2558.78/2566.91 c #Conflicts: 597000 | #Constraints: 36813
2558.78/2566.91 c #Conflicts: 598000 | #Constraints: 37813
2558.78/2566.91 c INPROCESSING
2558.78/2566.91 c GARBAGE COLLECT
2558.78/2566.91 c #Conflicts: 599000 | #Constraints: 23409
2558.78/2566.91 c #Conflicts: 600000 | #Constraints: 24409
2558.78/2566.91 c #Conflicts: 601000 | #Constraints: 25409
2558.78/2566.91 c #Conflicts: 602000 | #Constraints: 26409
2558.78/2566.91 c #Conflicts: 603000 | #Constraints: 27409
2558.78/2566.91 c #Conflicts: 604000 | #Constraints: 28409
2558.78/2566.91 c #Conflicts: 605000 | #Constraints: 29409
2558.78/2566.91 c #Conflicts: 606000 | #Constraints: 30409
2558.78/2566.91 c #Conflicts: 607000 | #Constraints: 31409
2558.78/2566.91 c #Conflicts: 608000 | #Constraints: 32409
2558.78/2566.91 c #Conflicts: 609000 | #Constraints: 33409
2558.78/2566.91 c #Conflicts: 610000 | #Constraints: 34409
2558.78/2566.91 c #Conflicts: 611000 | #Constraints: 35409
2558.78/2566.91 c #Conflicts: 612000 | #Constraints: 36409
2558.78/2566.91 c #Conflicts: 613000 | #Constraints: 37409
2558.78/2566.91 c INPROCESSING
2558.78/2566.91 c GARBAGE COLLECT
2558.78/2566.91 c #Conflicts: 614000 | #Constraints: 22750
2558.78/2566.91 c #Conflicts: 615000 | #Constraints: 23750
2558.78/2566.91 c #Conflicts: 616000 | #Constraints: 24750
2558.78/2566.91 c #Conflicts: 617000 | #Constraints: 25750
2558.78/2566.91 c #Conflicts: 618000 | #Constraints: 26750
2558.78/2566.91 c #Conflicts: 619000 | #Constraints: 27750
2558.78/2566.91 c #Conflicts: 620000 | #Constraints: 28750
2558.78/2566.91 c #Conflicts: 621000 | #Constraints: 29750
2558.78/2566.91 c #Conflicts: 622000 | #Constraints: 30750
2558.78/2566.91 c #Conflicts: 623000 | #Constraints: 31750
2558.78/2566.91 c #Conflicts: 624000 | #Constraints: 32750
2558.78/2566.91 c #Conflicts: 625000 | #Constraints: 33750
2558.78/2566.91 c #Conflicts: 626000 | #Constraints: 34750
2558.78/2566.91 c #Conflicts: 627000 | #Constraints: 35750
2558.78/2566.91 c #Conflicts: 628000 | #Constraints: 36750
2558.78/2566.91 c #Conflicts: 629000 | #Constraints: 37750
2558.78/2566.91 c INPROCESSING
2558.78/2566.91 c GARBAGE COLLECT
2558.78/2566.91 c #Conflicts: 630000 | #Constraints: 22987
2558.78/2566.91 c #Conflicts: 631000 | #Constraints: 23987
2558.78/2566.91 c #Conflicts: 632000 | #Constraints: 24987
2558.78/2566.91 c #Conflicts: 633000 | #Constraints: 25987
2558.78/2566.91 c #Conflicts: 634000 | #Constraints: 26987
2558.78/2566.91 c #Conflicts: 635000 | #Constraints: 27987
2558.78/2566.91 c #Conflicts: 636000 | #Constraints: 28987
2558.78/2566.91 c #Conflicts: 637000 | #Constraints: 29987
2558.78/2566.91 c #Conflicts: 638000 | #Constraints: 30987
2558.78/2566.91 c #Conflicts: 639000 | #Constraints: 31987
2558.78/2566.91 c #Conflicts: 640000 | #Constraints: 32987
2558.78/2566.91 c #Conflicts: 641000 | #Constraints: 33987
2558.78/2566.91 c #Conflicts: 642000 | #Constraints: 34987
2558.78/2566.91 c #Conflicts: 643000 | #Constraints: 35987
2558.78/2566.91 c #Conflicts: 644000 | #Constraints: 36987
2558.78/2566.91 c #Conflicts: 645000 | #Constraints: 37987
2558.78/2566.91 c #Conflicts: 646000 | #Constraints: 38987
2558.78/2566.91 c INPROCESSING
2558.78/2566.91 c GARBAGE COLLECT
2558.78/2566.91 c #Conflicts: 647000 | #Constraints: 24018
2558.78/2566.91 c #Conflicts: 648000 | #Constraints: 25018
2558.78/2566.91 c #Conflicts: 649000 | #Constraints: 26018
2558.78/2566.91 c #Conflicts: 650000 | #Constraints: 27018
2558.78/2566.91 c #Conflicts: 651000 | #Constraints: 28018
2558.78/2566.91 c #Conflicts: 652000 | #Constraints: 29018
2558.78/2566.91 c #Conflicts: 653000 | #Constraints: 30018
2558.78/2566.91 c #Conflicts: 654000 | #Constraints: 31018
2558.78/2566.91 c #Conflicts: 655000 | #Constraints: 32018
2558.78/2566.91 c #Conflicts: 656000 | #Constraints: 33018
2558.78/2566.91 c #Conflicts: 657000 | #Constraints: 34018
2558.78/2566.91 c #Conflicts: 658000 | #Constraints: 35018
2558.78/2566.91 c #Conflicts: 659000 | #Constraints: 36018
2558.78/2566.91 c #Conflicts: 660000 | #Constraints: 37018
2558.78/2566.91 c #Conflicts: 661000 | #Constraints: 38018
2558.78/2566.91 c #Conflicts: 662000 | #Constraints: 39018
2558.78/2566.91 c INPROCESSING
2558.78/2566.91 c GARBAGE COLLECT
2558.78/2566.91 c #Conflicts: 663000 | #Constraints: 23856
2558.78/2566.91 c #Conflicts: 664000 | #Constraints: 24856
2558.78/2566.91 c #Conflicts: 665000 | #Constraints: 25856
2558.78/2566.91 c #Conflicts: 666000 | #Constraints: 26856
2962.33/2971.85 c #Conflicts: 667000 | #Constraints: 27856
2962.33/2971.85 c #Conflicts: 668000 | #Constraints: 28856
2962.33/2971.85 c #Conflicts: 669000 | #Constraints: 29856
2962.33/2971.85 c #Conflicts: 670000 | #Constraints: 30856
2962.33/2971.85 c #Conflicts: 671000 | #Constraints: 31856
2962.33/2971.85 c #Conflicts: 672000 | #Constraints: 32856
2962.33/2971.85 c #Conflicts: 673000 | #Constraints: 33856
2962.33/2971.85 c #Conflicts: 674000 | #Constraints: 34856
2962.33/2971.85 c #Conflicts: 675000 | #Constraints: 35856
2962.33/2971.85 c #Conflicts: 676000 | #Constraints: 36856
2962.33/2971.85 c #Conflicts: 677000 | #Constraints: 37856
2962.33/2971.85 c #Conflicts: 678000 | #Constraints: 38856
2962.33/2971.85 c #Conflicts: 679000 | #Constraints: 39856
2962.33/2971.85 c INPROCESSING
2962.33/2971.85 c GARBAGE COLLECT
2962.33/2971.85 c #Conflicts: 680000 | #Constraints: 24443
2962.33/2971.85 c #Conflicts: 681000 | #Constraints: 25443
2962.33/2971.85 c #Conflicts: 682000 | #Constraints: 26443
2962.33/2971.85 c #Conflicts: 683000 | #Constraints: 27443
2962.33/2971.85 c #Conflicts: 684000 | #Constraints: 28443
2962.33/2971.85 c #Conflicts: 685000 | #Constraints: 29443
2962.33/2971.85 c #Conflicts: 686000 | #Constraints: 30443
2962.33/2971.85 c #Conflicts: 687000 | #Constraints: 31443
2962.33/2971.85 c #Conflicts: 688000 | #Constraints: 32443
2962.33/2971.85 c #Conflicts: 689000 | #Constraints: 33443
2962.33/2971.85 c #Conflicts: 690000 | #Constraints: 34443
2962.33/2971.85 c #Conflicts: 691000 | #Constraints: 35443
2962.33/2971.85 c #Conflicts: 692000 | #Constraints: 36443
2962.33/2971.85 c #Conflicts: 693000 | #Constraints: 37443
2962.33/2971.85 c #Conflicts: 694000 | #Constraints: 38443
2962.33/2971.85 c #Conflicts: 695000 | #Constraints: 39443
2962.33/2971.85 c INPROCESSING
2962.33/2971.85 c GARBAGE COLLECT
2962.33/2971.85 c #Conflicts: 696000 | #Constraints: 23881
2962.33/2971.85 c #Conflicts: 697000 | #Constraints: 24881
2962.33/2971.85 c #Conflicts: 698000 | #Constraints: 25881
2962.33/2971.85 c #Conflicts: 699000 | #Constraints: 26881
2962.33/2971.85 c #Conflicts: 700000 | #Constraints: 27881
2962.33/2971.85 c #Conflicts: 701000 | #Constraints: 28881
2962.33/2971.85 c #Conflicts: 702000 | #Constraints: 29881
2962.33/2971.85 c #Conflicts: 703000 | #Constraints: 30881
2962.33/2971.85 c #Conflicts: 704000 | #Constraints: 31881
2962.33/2971.85 c #Conflicts: 705000 | #Constraints: 32881
2962.33/2971.85 c #Conflicts: 706000 | #Constraints: 33881
2962.33/2971.85 c #Conflicts: 707000 | #Constraints: 34881
2962.33/2971.85 c #Conflicts: 708000 | #Constraints: 35881
2962.33/2971.85 c #Conflicts: 709000 | #Constraints: 36881
2962.33/2971.85 c #Conflicts: 710000 | #Constraints: 37881
2962.33/2971.85 c #Conflicts: 711000 | #Constraints: 38881
2962.33/2971.85 c #Conflicts: 712000 | #Constraints: 39881
2962.33/2971.85 c INPROCESSING
2962.33/2971.85 c GARBAGE COLLECT
2962.33/2971.85 c #Conflicts: 713000 | #Constraints: 24074
2962.33/2971.85 c #Conflicts: 714000 | #Constraints: 25074
2962.33/2971.85 c #Conflicts: 715000 | #Constraints: 26074
2962.33/2971.85 c #Conflicts: 716000 | #Constraints: 27074
2962.33/2971.85 c #Conflicts: 717000 | #Constraints: 28074
2962.33/2971.85 c #Conflicts: 718000 | #Constraints: 29074
2962.33/2971.85 c #Conflicts: 719000 | #Constraints: 30074
2962.33/2971.85 c #Conflicts: 720000 | #Constraints: 31074
2962.33/2971.85 c #Conflicts: 721000 | #Constraints: 32074
2962.33/2971.85 c #Conflicts: 722000 | #Constraints: 33074
2962.33/2971.85 c #Conflicts: 723000 | #Constraints: 34074
2962.33/2971.85 c #Conflicts: 724000 | #Constraints: 35074
2962.33/2971.85 c #Conflicts: 725000 | #Constraints: 36074
2962.33/2971.85 c #Conflicts: 726000 | #Constraints: 37074
2962.33/2971.85 c #Conflicts: 727000 | #Constraints: 38074
2962.33/2971.85 c #Conflicts: 728000 | #Constraints: 39074
2962.33/2971.85 c #Conflicts: 729000 | #Constraints: 40074
2962.33/2971.85 c #Conflicts: 730000 | #Constraints: 41074
2962.33/2971.85 c INPROCESSING
2962.33/2971.85 c GARBAGE COLLECT
2962.33/2971.85 c #Conflicts: 731000 | #Constraints: 25048
2962.33/2971.85 c #Conflicts: 732000 | #Constraints: 26048
2962.33/2971.85 c #Conflicts: 733000 | #Constraints: 27048
2962.33/2971.85 c #Conflicts: 734000 | #Constraints: 28048
2962.33/2971.85 c #Conflicts: 735000 | #Constraints: 29048
2962.33/2971.85 c #Conflicts: 736000 | #Constraints: 30048
2962.33/2971.85 c #Conflicts: 737000 | #Constraints: 31048
2962.33/2971.85 c #Conflicts: 738000 | #Constraints: 32048
2962.33/2971.85 c #Conflicts: 739000 | #Constraints: 33048
2962.33/2971.85 c #Conflicts: 740000 | #Constraints: 34048
2962.33/2971.85 c #Conflicts: 741000 | #Constraints: 35048
2962.33/2971.85 c #Conflicts: 742000 | #Constraints: 36048
3294.71/3305.31 c #Conflicts: 743000 | #Constraints: 37048
3294.71/3305.31 c #Conflicts: 744000 | #Constraints: 38048
3294.71/3305.31 c #Conflicts: 745000 | #Constraints: 39048
3294.71/3305.31 c #Conflicts: 746000 | #Constraints: 40048
3294.71/3305.31 c #Conflicts: 747000 | #Constraints: 41048
3294.71/3305.31 c INPROCESSING
3294.71/3305.31 c GARBAGE COLLECT
3294.71/3305.31 c #Conflicts: 748000 | #Constraints: 24776
3294.71/3305.31 c #Conflicts: 749000 | #Constraints: 25776
3294.71/3305.31 c #Conflicts: 750000 | #Constraints: 26776
3294.71/3305.31 c #Conflicts: 751000 | #Constraints: 27776
3294.71/3305.31 c #Conflicts: 752000 | #Constraints: 28776
3294.71/3305.31 c #Conflicts: 753000 | #Constraints: 29776
3294.71/3305.31 c #Conflicts: 754000 | #Constraints: 30776
3294.71/3305.31 c #Conflicts: 755000 | #Constraints: 31776
3294.71/3305.31 c #Conflicts: 756000 | #Constraints: 32776
3294.71/3305.31 c #Conflicts: 757000 | #Constraints: 33776
3294.71/3305.31 c #Conflicts: 758000 | #Constraints: 34776
3294.71/3305.31 c #Conflicts: 759000 | #Constraints: 35776
3294.71/3305.31 c #Conflicts: 760000 | #Constraints: 36776
3294.71/3305.31 c #Conflicts: 761000 | #Constraints: 37776
3294.71/3305.31 c #Conflicts: 762000 | #Constraints: 38776
3294.71/3305.31 c #Conflicts: 763000 | #Constraints: 39776
3294.71/3305.31 c #Conflicts: 764000 | #Constraints: 40776
3294.71/3305.31 c #Conflicts: 765000 | #Constraints: 41776
3294.71/3305.31 c INPROCESSING
3294.71/3305.31 c GARBAGE COLLECT
3294.71/3305.31 c #Conflicts: 766000 | #Constraints: 25406
3294.71/3305.31 c #Conflicts: 767000 | #Constraints: 26406
3294.71/3305.31 c #Conflicts: 768000 | #Constraints: 27406
3294.71/3305.31 c #Conflicts: 769000 | #Constraints: 28406
3294.71/3305.31 c #Conflicts: 770000 | #Constraints: 29406
3294.71/3305.31 c #Conflicts: 771000 | #Constraints: 30406
3294.71/3305.31 c #Conflicts: 772000 | #Constraints: 31406
3294.71/3305.31 c #Conflicts: 773000 | #Constraints: 32406
3294.71/3305.31 c #Conflicts: 774000 | #Constraints: 33406
3294.71/3305.31 c #Conflicts: 775000 | #Constraints: 34406
3294.71/3305.31 c #Conflicts: 776000 | #Constraints: 35406
3294.71/3305.31 c #Conflicts: 777000 | #Constraints: 36406
3294.71/3305.31 c #Conflicts: 778000 | #Constraints: 37406
3294.71/3305.31 c #Conflicts: 779000 | #Constraints: 38406
3294.71/3305.31 c #Conflicts: 780000 | #Constraints: 39406
3294.71/3305.31 c #Conflicts: 781000 | #Constraints: 40406
3294.71/3305.31 c #Conflicts: 782000 | #Constraints: 41406
3294.71/3305.31 c INPROCESSING
3294.71/3305.31 c GARBAGE COLLECT
3294.71/3305.31 c #Conflicts: 783000 | #Constraints: 24823
3294.71/3305.31 c #Conflicts: 784000 | #Constraints: 25823
3294.71/3305.31 c #Conflicts: 785000 | #Constraints: 26823
3294.71/3305.31 c #Conflicts: 786000 | #Constraints: 27823
3294.71/3305.31 c #Conflicts: 787000 | #Constraints: 28823
3294.71/3305.31 c #Conflicts: 788000 | #Constraints: 29823
3294.71/3305.31 c #Conflicts: 789000 | #Constraints: 30823
3294.71/3305.31 c #Conflicts: 790000 | #Constraints: 31823
3294.71/3305.31 c #Conflicts: 791000 | #Constraints: 32823
3294.71/3305.31 c #Conflicts: 792000 | #Constraints: 33823
3294.71/3305.31 c #Conflicts: 793000 | #Constraints: 34823
3294.71/3305.31 c #Conflicts: 794000 | #Constraints: 35823
3294.71/3305.31 c #Conflicts: 795000 | #Constraints: 36823
3294.71/3305.31 c #Conflicts: 796000 | #Constraints: 37823
3294.71/3305.31 c #Conflicts: 797000 | #Constraints: 38823
3294.71/3305.31 c #Conflicts: 798000 | #Constraints: 39823
3294.71/3305.31 c #Conflicts: 799000 | #Constraints: 40823
3294.71/3305.31 c #Conflicts: 800000 | #Constraints: 41823
3294.71/3305.31 c INPROCESSING
3294.71/3305.31 c GARBAGE COLLECT
3294.71/3305.31 c #Conflicts: 801000 | #Constraints: 25029
3294.71/3305.31 c #Conflicts: 802000 | #Constraints: 26029
3294.71/3305.31 c #Conflicts: 803000 | #Constraints: 27029
3294.71/3305.31 c #Conflicts: 804000 | #Constraints: 28029
3294.71/3305.31 c #Conflicts: 805000 | #Constraints: 29029
3294.71/3305.31 c #Conflicts: 806000 | #Constraints: 30029
3294.71/3305.31 c #Conflicts: 807000 | #Constraints: 31029
3294.71/3305.31 c #Conflicts: 808000 | #Constraints: 32029
3294.71/3305.31 c #Conflicts: 809000 | #Constraints: 33029
3294.71/3305.31 c #Conflicts: 810000 | #Constraints: 34029
3294.71/3305.31 c #Conflicts: 811000 | #Constraints: 35029
3294.71/3305.31 c #Conflicts: 812000 | #Constraints: 36029
3294.71/3305.31 c #Conflicts: 813000 | #Constraints: 37029
3294.71/3305.31 c #Conflicts: 814000 | #Constraints: 38029
3294.71/3305.31 c #Conflicts: 815000 | #Constraints: 39029
3294.71/3305.31 c #Conflicts: 816000 | #Constraints: 40029
3294.71/3305.31 c #Conflicts: 817000 | #Constraints: 41029
3294.71/3305.31 c #Conflicts: 818000 | #Constraints: 42029
3509.19/3520.50 c #Conflicts: 819000 | #Constraints: 43029
3509.19/3520.50 c INPROCESSING
3509.19/3520.50 c GARBAGE COLLECT
3509.19/3520.50 c #Conflicts: 820000 | #Constraints: 26010
3509.19/3520.50 c #Conflicts: 821000 | #Constraints: 27010
3509.19/3520.50 c #Conflicts: 822000 | #Constraints: 28010
3509.19/3520.50 c #Conflicts: 823000 | #Constraints: 29010
3509.19/3520.50 c #Conflicts: 824000 | #Constraints: 30010
3509.19/3520.50 c #Conflicts: 825000 | #Constraints: 31010
3509.19/3520.50 c #Conflicts: 826000 | #Constraints: 32010
3509.19/3520.50 c #Conflicts: 827000 | #Constraints: 33010
3509.19/3520.50 c #Conflicts: 828000 | #Constraints: 34010
3509.19/3520.50 c #Conflicts: 829000 | #Constraints: 35010
3509.19/3520.50 c #Conflicts: 830000 | #Constraints: 36010
3509.19/3520.50 c #Conflicts: 831000 | #Constraints: 37010
3509.19/3520.50 c #Conflicts: 832000 | #Constraints: 38010
3509.19/3520.50 c #Conflicts: 833000 | #Constraints: 39010
3509.19/3520.50 c #Conflicts: 834000 | #Constraints: 40010
3509.19/3520.50 c #Conflicts: 835000 | #Constraints: 41010
3509.19/3520.50 c #Conflicts: 836000 | #Constraints: 42010
3509.19/3520.50 c #Conflicts: 837000 | #Constraints: 43010
3509.19/3520.50 c INPROCESSING
3509.19/3520.50 c GARBAGE COLLECT
3509.19/3520.50 c #Conflicts: 838000 | #Constraints: 25779
3509.19/3520.50 c #Conflicts: 839000 | #Constraints: 26779
3509.19/3520.50 c #Conflicts: 840000 | #Constraints: 27779
3509.19/3520.50 c #Conflicts: 841000 | #Constraints: 28779
3509.19/3520.50 c #Conflicts: 842000 | #Constraints: 29779
3509.19/3520.50 c #Conflicts: 843000 | #Constraints: 30779
3509.19/3520.50 c #Conflicts: 844000 | #Constraints: 31779
3509.19/3520.50 c #Conflicts: 845000 | #Constraints: 32779
3509.19/3520.50 c #Conflicts: 846000 | #Constraints: 33779
3509.19/3520.50 c #Conflicts: 847000 | #Constraints: 34779
3509.19/3520.50 c #Conflicts: 848000 | #Constraints: 35779
3509.19/3520.50 c #Conflicts: 849000 | #Constraints: 36779
3509.19/3520.50 c #Conflicts: 850000 | #Constraints: 37779
3509.19/3520.50 c #Conflicts: 851000 | #Constraints: 38779
3509.19/3520.50 c #Conflicts: 852000 | #Constraints: 39779
3509.19/3520.50 c #Conflicts: 853000 | #Constraints: 40779
3509.19/3520.50 c #Conflicts: 854000 | #Constraints: 41779
3509.19/3520.50 c #Conflicts: 855000 | #Constraints: 42779
3509.19/3520.50 c #Conflicts: 856000 | #Constraints: 43779
3509.19/3520.50 c INPROCESSING
3509.19/3520.50 c GARBAGE COLLECT
3509.19/3520.50 c #Conflicts: 857000 | #Constraints: 26439
3509.19/3520.50 c #Conflicts: 858000 | #Constraints: 27439
3509.19/3520.50 c #Conflicts: 859000 | #Constraints: 28439
3509.19/3520.50 c #Conflicts: 860000 | #Constraints: 29439
3509.19/3520.50 c #Conflicts: 861000 | #Constraints: 30439
3509.19/3520.50 c #Conflicts: 862000 | #Constraints: 31439
3509.19/3520.50 c #Conflicts: 863000 | #Constraints: 32439
3509.19/3520.50 c #Conflicts: 864000 | #Constraints: 33439
3509.19/3520.50 c #Conflicts: 865000 | #Constraints: 34439
3509.19/3520.50 c #Conflicts: 866000 | #Constraints: 35439
3509.19/3520.50 c #Conflicts: 867000 | #Constraints: 36439
3509.19/3520.50 c #Conflicts: 868000 | #Constraints: 37439
3509.19/3520.50 c #Conflicts: 869000 | #Constraints: 38439
3509.19/3520.50 c #Conflicts: 870000 | #Constraints: 39439
3509.19/3520.50 c #Conflicts: 871000 | #Constraints: 40439
3509.19/3520.50 c #Conflicts: 872000 | #Constraints: 41439
3509.19/3520.50 c #Conflicts: 873000 | #Constraints: 42439
3509.19/3520.50 c #Conflicts: 874000 | #Constraints: 43439
3509.19/3520.50 c INPROCESSING
3509.19/3520.50 c GARBAGE COLLECT
3509.19/3520.50 c #Conflicts: 875000 | #Constraints: 25810
3509.19/3520.50 c #Conflicts: 876000 | #Constraints: 26810
3509.19/3520.50 c #Conflicts: 877000 | #Constraints: 27810
3509.19/3520.50 c #Conflicts: 878000 | #Constraints: 28810
3509.19/3520.50 c #Conflicts: 879000 | #Constraints: 29810
3509.19/3520.50 c #Conflicts: 880000 | #Constraints: 30810
3509.19/3520.50 c #Conflicts: 881000 | #Constraints: 31810
3509.19/3520.50 c #Conflicts: 882000 | #Constraints: 32810
3509.19/3520.50 c #Conflicts: 883000 | #Constraints: 33810
3509.19/3520.50 c #Conflicts: 884000 | #Constraints: 34810
3509.19/3520.50 c #Conflicts: 885000 | #Constraints: 35810
3509.19/3520.50 c #Conflicts: 886000 | #Constraints: 36810
3509.19/3520.50 c #Conflicts: 887000 | #Constraints: 37810
3509.19/3520.50 c #Conflicts: 888000 | #Constraints: 38810
3509.19/3520.50 c #Conflicts: 889000 | #Constraints: 39810
3509.19/3520.50 c #Conflicts: 890000 | #Constraints: 40810
3509.19/3520.50 c #Conflicts: 891000 | #Constraints: 41810
3509.19/3520.50 c #Conflicts: 892000 | #Constraints: 42810
3509.19/3520.50 c #Conflicts: 893000 | #Constraints: 43810
3509.19/3520.50 c INPROCESSING
3509.19/3520.50 c GARBAGE COLLECT
3509.19/3520.50 c #Conflicts: 894000 | #Constraints: 26047
3600.09/3611.70 c #Conflicts: 895000 | #Constraints: 27047
3600.09/3611.70 c #Conflicts: 896000 | #Constraints: 28047
3600.09/3611.70 c #Conflicts: 897000 | #Constraints: 29047
3600.09/3611.70 c #Conflicts: 898000 | #Constraints: 30047
3600.09/3611.70 c #Conflicts: 899000 | #Constraints: 31047
3600.09/3611.70 c #Conflicts: 900000 | #Constraints: 32047
3600.09/3611.70 c #Conflicts: 901000 | #Constraints: 33047
3600.09/3611.70 c #Conflicts: 902000 | #Constraints: 34047
3600.09/3611.70 c #Conflicts: 903000 | #Constraints: 35047
3600.09/3611.70 c #Conflicts: 904000 | #Constraints: 36047
3600.09/3611.70 c #Conflicts: 905000 | #Constraints: 37047
3600.09/3611.70 c #Conflicts: 906000 | #Constraints: 38047
3600.09/3611.70 c #Conflicts: 907000 | #Constraints: 39047
3600.09/3611.70 c #Conflicts: 908000 | #Constraints: 40047
3600.09/3611.70 c #Conflicts: 909000 | #Constraints: 41047
3600.09/3611.70 c #Conflicts: 910000 | #Constraints: 42047
3600.09/3611.70 c #Conflicts: 911000 | #Constraints: 43047
3600.09/3611.70 c #Conflicts: 912000 | #Constraints: 44047
3600.09/3611.70 c #Conflicts: 913000 | #Constraints: 45047
3600.09/3611.70 c INPROCESSING
3600.09/3611.70 c GARBAGE COLLECT
3600.09/3611.70 c #Conflicts: 914000 | #Constraints: 27010
3600.09/3611.70 c #Conflicts: 915000 | #Constraints: 28010
3600.09/3611.70 c #Conflicts: 916000 | #Constraints: 29010
3600.09/3611.70 c #Conflicts: 917000 | #Constraints: 30010
3600.09/3611.70 c #Conflicts: 918000 | #Constraints: 31010
3600.09/3611.70 c #Conflicts: 919000 | #Constraints: 32010
3600.09/3611.70 c #Conflicts: 920000 | #Constraints: 33010
3600.09/3611.70 c #Conflicts: 921000 | #Constraints: 34010
3600.09/3611.70 c #Conflicts: 922000 | #Constraints: 35010
3600.09/3611.70 c #Conflicts: 923000 | #Constraints: 36010
3600.09/3611.70 c #Conflicts: 924000 | #Constraints: 37010
3600.09/3611.70 c #Conflicts: 925000 | #Constraints: 38010
3600.09/3611.70 c #Conflicts: 926000 | #Constraints: 39010
3600.09/3611.70 c #Conflicts: 927000 | #Constraints: 40010
3600.09/3611.70 c #Conflicts: 928000 | #Constraints: 41010
3600.09/3611.70 c #Conflicts: 929000 | #Constraints: 42010
3600.09/3611.70 c cpu time 3583.45 s
3600.09/3611.70 c deterministic time 1 1.00e+00
3600.09/3611.70 c optimization time 3583.37 s
3600.09/3611.70 c total solve time 0 s
3600.09/3611.70 c core-guided solve time 0 s
3600.09/3611.70 c propagation time 0.007171 s
3600.09/3611.70 c conflict analysis time 0 s
3600.09/3611.70 c propagations 0
3600.09/3611.70 c resolve steps 0
3600.09/3611.70 c decisions 0
3600.09/3611.70 c conflicts 0
3600.09/3611.70 c restarts 0
3600.09/3611.70 c inprocessing phases 0
3600.09/3611.70 c garbage collections 0 ,( -nan )
3600.09/3611.70 c input clauses 6844 ,( 100.00 )
3600.09/3611.70 c input cardinalities 0 ,( 0.00 )
3600.09/3611.70 c input general constraints 0 ,( 0.00 )
3600.09/3611.70 c input average constraint length 2.00
3600.09/3611.70 c input average constraint degree 1.00
3600.09/3611.70 c learned clauses 0 ,( 0.00 )
3600.09/3611.70 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.70 c learned general constraints 0 ,( 0.00 )
3600.09/3611.70 c learned average constraint length 0.00
3600.09/3611.70 c learned average constraint degree 0.00
3600.09/3611.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3611.70 c watched constraints 0 ,( -nan )
3600.09/3611.70 c counting constraints 0 ,( -nan )
3600.09/3611.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.70 c gcd simplifications 0
3600.09/3611.70 c detected cardinalities 0
3600.09/3611.70 c weakened non-implied lits 0
3600.09/3611.70 c weakened non-implying lits 0
3600.09/3611.70 c original variables 3422
3600.09/3611.70 c clausal propagations 0
3600.09/3611.70 c cardinality propagations 0
3600.09/3611.70 c watched propagations 0
3600.09/3611.70 c counting propagations 0
3600.09/3611.70 c watch lookups 0
3600.09/3611.70 c watch backjump lookups 0
3600.09/3611.70 c watch checks 0
3600.09/3611.70 c propagation checks 0
3600.09/3611.70 c constraint additions 0
3600.09/3611.70 c trail pops 0
3600.09/3611.70 c formula constraints 6844
3600.09/3611.70 c learned constraints 0
3600.09/3611.70 c bound constraints 0
3600.09/3611.70 c core-guided constraints 0
3600.09/3611.70 c encountered formula constraints 0
3600.09/3611.70 c encountered learned constraints 0
3600.09/3611.70 c encountered bound constraints 0
3600.09/3611.70 c encountered core-guided constraints 0
3600.09/3611.70 c LP total time 0 s
3600.09/3611.70 c LP solve time 0 s
3600.09/3611.70 c LP constraints added 0
3600.09/3611.70 c LP constraints removed 0
3600.09/3611.70 c LP pivots internal 0
3600.09/3611.70 c LP pivots root 0
3600.09/3611.70 c LP calls 0
3600.09/3611.70 c LP optimalities 0
3600.09/3611.70 c LP no pivot count 0
3600.09/3611.70 c LP infeasibilities 0
3600.09/3611.70 c LP valid Farkas constraints 0
3600.09/3611.70 c LP learned Farkas constraints 0
3600.09/3611.70 c LP basis resets 0
3600.09/3611.70 c LP cycling count 0
3600.09/3611.70 c LP singular count 0
3600.09/3611.70 c LP no primal count 0
3600.09/3611.70 c LP no farkas count 0
3600.09/3611.70 c LP other issue count 0
3600.09/3611.70 c LP Gomory cuts 0
3600.09/3611.70 c LP learned cuts 0
3600.09/3611.70 c LP deleted cuts 0
3600.09/3611.70 c LP encountered Gomory constraints 0
3600.09/3611.70 c LP encountered Farkas constraints 0
3600.09/3611.70 c LP encountered learned Farkas constraints 0
3600.09/3611.70 c CG auxiliary variables introduced 0
3600.09/3611.70 c CG solutions found 0
3600.09/3611.70 c CG cores constructed 0
3600.09/3611.70 c CG core cardinality constraints returned 0
3600.09/3611.70 c CG unit cores 0
3600.09/3611.70 c CG single cores 0
3600.09/3611.70 c CG blocks removed during cardinality reduction 0
3600.09/3611.70 c CG first core best 0
3600.09/3611.70 c CG decision core best 0
3600.09/3611.70 c CG core reduction tie 0
3600.09/3611.70 c CG core degree average 0.00
3600.09/3611.70 c CG core slack average 0.00
3600.09/3611.70 c CG core upper bound improvements 0
3600.09/3611.70 c STR number of successful calls 0
3600.09/3611.70 c STR number of unsuccessful calls 0
3600.09/3611.70 c STR number of inconclusive calls 0
3600.09/3611.70 c STR number of successful attempts 0
3600.09/3611.70 c STR number of unsuccessful attempts 0
3600.09/3611.70 c STR number of inconclusive attempts 0
3600.09/3611.70 c STR average degree increase per successful call inf
3600.09/3611.70 c STR average degree increase per successful attempt inf
3600.09/3611.70 c STR total number of conflicts for successful attempts 0
3600.09/3611.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.70 c STR average number of conflicts per successful attempt inf
3600.09/3611.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.70 c AVG.sumWPerc -nan
3600.09/3611.70 c bigint constraints 0
3600.09/3611.70 s UNKNOWN
3600.09/3611.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (52319 MiB free)
memory of node 1: 64507 MiB (55448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521769-1751587132/watcher-4521769-1751587132 -o /tmp/evaluation-result-4521769-1751587132/solver-4521769-1751587132 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82753 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521769-1751587132.opb PROOFDIR/proof-4521769-1751587132
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83576, runsolver pid=83573
[startup+0.100072 s]*
/proc/loadavg: 4.72 4.29 4.16 5/254 83578
/proc/meminfo: memFree=110986620/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=57328 memory=13852 CPUtime=0.06 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 1127 0 0 0 5 1 0 0 20 0 1 0 74392925 58703872 3463 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 14332 3463 2240 1147 0 1759 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61520 KiB
Current children cumulated memory: 16796 KiB
[startup+0.216931 s]*
/proc/loadavg: 4.72 4.29 4.16 5/254 83578
/proc/meminfo: memFree=111715008/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=71044 memory=23108 CPUtime=0.16 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 3807 0 0 0 12 4 0 0 20 0 1 0 74392925 72749056 5777 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 17761 5777 2336 1147 0 5188 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 75236 KiB
Current children cumulated memory: 26052 KiB
[startup+0.316635 s]*
/proc/loadavg: 4.72 4.29 4.16 5/254 83578
/proc/meminfo: memFree=112344428/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=71704 memory=24900 CPUtime=0.26 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 4275 0 0 0 22 4 0 0 20 0 1 0 74392925 73424896 6225 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 17926 6225 2336 1147 0 5353 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 75896 KiB
Current children cumulated memory: 27844 KiB
[startup+0.700342 s]
/proc/loadavg: 4.72 4.29 4.16 4/255 83579
/proc/meminfo: memFree=113835492/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=85132 memory=40800 CPUtime=0.63 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 7222 0 0 0 57 6 0 0 20 0 1 0 74392925 87175168 10200 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 21283 10200 2336 1147 0 8710 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 89324 KiB
Current children cumulated memory: 43744 KiB
[startup+1.50036 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113796228/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=132032 memory=87056 CPUtime=1.42 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 16764 0 0 0 134 8 0 0 20 0 1 0 74392925 135200768 21764 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 33008 21764 2336 1147 0 20435 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 136224 KiB
Current children cumulated memory: 90000 KiB
[startup+3.11329 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113612704/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=245976 memory=177996 CPUtime=3.03 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 34890 0 0 0 290 13 0 0 20 0 1 0 74392925 251879424 44499 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 61494 44499 2336 1147 0 48921 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 250168 KiB
Current children cumulated memory: 180940 KiB
[startup+6.30034 s]
/proc/loadavg: 4.66 4.29 4.16 4/255 83606
/proc/meminfo: memFree=115747760/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=346344 memory=262840 CPUtime=6.21 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 50487 0 0 0 602 19 0 0 20 0 1 0 74392925 354656256 65710 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 86586 65710 2336 1147 0 74013 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 350536 KiB
Current children cumulated memory: 265784 KiB
[startup+12.7003 s]
/proc/loadavg: 4.53 4.27 4.16 5/253 83680
/proc/meminfo: memFree=118172868/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=356660 memory=285352 CPUtime=12.58 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 53054 0 0 0 1234 24 0 0 20 0 1 0 74392925 365219840 71338 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 89165 71338 2336 1147 0 76592 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 360852 KiB
Current children cumulated memory: 288296 KiB
[startup+25.5004 s]
/proc/loadavg: 4.49 4.27 4.16 5/260 83693
/proc/meminfo: memFree=114089064/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=394276 memory=309032 CPUtime=25.35 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 58988 0 0 0 2497 38 0 0 20 0 1 0 74392925 403738624 77258 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 98569 77258 2336 1147 0 85996 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 398468 KiB
Current children cumulated memory: 311976 KiB
[startup+51.1134 s]
/proc/loadavg: 4.32 4.25 4.15 5/261 83694
/proc/meminfo: memFree=112572612/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=394276 memory=309032 CPUtime=50.88 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 58992 0 0 0 5030 58 0 0 20 0 1 0 74392925 403738624 77258 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 98569 77258 2336 1147 0 85996 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 398468 KiB
Current children cumulated memory: 311976 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/261 83696
/proc/meminfo: memFree=111758676/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=394696 memory=309672 CPUtime=101.89 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 59143 0 0 0 10089 100 0 0 20 0 1 0 74392925 404168704 77418 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 98674 77418 2336 1147 0 86101 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 398888 KiB
Current children cumulated memory: 312616 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.22 4.16 5/261 83759
/proc/meminfo: memFree=121559200/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=394696 memory=313384 CPUtime=161.69 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 60096 0 0 0 16016 153 0 0 20 0 1 0 74392925 404168704 78346 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 98674 78346 2336 1147 0 86101 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 398888 KiB
Current children cumulated memory: 316328 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/261 83762
/proc/meminfo: memFree=121110628/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=446968 memory=324940 CPUtime=221.49 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 61979 0 0 0 21951 198 0 0 20 0 1 0 74392925 457695232 81235 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
################
# More data... #
################
/proc/83578/statm: 308079 236704 2336 1147 0 295506 0
Current children cumulated CPU time: 3092.39 s
Current children cumulated vsize: 1236508 KiB
Current children cumulated memory: 949760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/257 83912
/proc/meminfo: memFree=107857988/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1232316 memory=946816 CPUtime=3152.18 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 158718 0 0 0 313854 1364 0 0 20 0 1 0 74392925 1261891584 236704 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308079 236704 2336 1147 0 295506 0
Current children cumulated CPU time: 3152.18 s
Current children cumulated vsize: 1236508 KiB
Current children cumulated memory: 949760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.21 4.19 5/257 83915
/proc/meminfo: memFree=107554324/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1232652 memory=947072 CPUtime=3211.99 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 158803 0 0 0 319792 1407 0 0 20 0 1 0 74392925 1262235648 236768 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308163 236768 2336 1147 0 295590 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 1236844 KiB
Current children cumulated memory: 950016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/258 83918
/proc/meminfo: memFree=107276260/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1232652 memory=947072 CPUtime=3271.79 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 158814 0 0 0 325735 1444 0 0 20 0 1 0 74392925 1262235648 236768 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308163 236768 2336 1147 0 295590 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 1236844 KiB
Current children cumulated memory: 950016 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/258 83920
/proc/meminfo: memFree=107066136/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1232652 memory=947200 CPUtime=3331.59 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 158855 0 0 0 331684 1475 0 0 20 0 1 0 74392925 1262235648 236800 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308163 236800 2336 1147 0 295590 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 1236844 KiB
Current children cumulated memory: 950144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/258 83922
/proc/meminfo: memFree=106839876/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1233676 memory=947968 CPUtime=3391.38 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 159061 0 0 0 337629 1509 0 0 20 0 1 0 74392925 1263284224 236992 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308419 236992 2336 1147 0 295846 0
Current children cumulated CPU time: 3391.38 s
Current children cumulated vsize: 1237868 KiB
Current children cumulated memory: 950912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/259 83925
/proc/meminfo: memFree=106337416/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1233676 memory=947968 CPUtime=3451.19 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 159062 0 0 0 343568 1551 0 0 20 0 1 0 74392925 1263284224 236992 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308419 236992 2336 1147 0 295846 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 1237868 KiB
Current children cumulated memory: 950912 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/260 83933
/proc/meminfo: memFree=106038092/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1233676 memory=948096 CPUtime=3510.99 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 159083 0 0 0 349500 1599 0 0 20 0 1 0 74392925 1263284224 237024 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308419 237024 2336 1147 0 295846 0
Current children cumulated CPU time: 3510.99 s
Current children cumulated vsize: 1237868 KiB
Current children cumulated memory: 951040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/260 83935
/proc/meminfo: memFree=105779676/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1233676 memory=948352 CPUtime=3570.78 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 159139 0 0 0 355437 1641 0 0 20 0 1 0 74392925 1263284224 237088 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308419 237088 2336 1147 0 295846 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 1237868 KiB
Current children cumulated memory: 951296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.12 4.14 4.16 5/260 83936
/proc/meminfo: memFree=105693588/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1233676 memory=948480 CPUtime=3600.09 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 159163 0 0 0 358345 1664 0 0 20 0 1 0 74392925 1263284224 237120 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308419 237120 2336 1147 0 295846 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1237868 KiB
Current children cumulated memory: 951424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 83576 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002611 s, system=0.002595 s
[startup+3611.77 s]
# the end of solver process 83578 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.46 s, system=16.669 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.12 4.14 4.16 5/260 83936
/proc/meminfo: memFree=105693588/131382112 swapFree=33010416/33010684
[pid=83576] ppid=83573 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83576/stat : 83576 (run-opt-log.sh) S 83573 83576 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74392924 4292608 736 18446744073709551615 94645614948352 94645615842885 140727239364000 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94645616081936 94645616129680 94645625753600 140727239366945 140727239367140 140727239367140 140727239372742 0
/proc/83576/statm: 1048 736 672 219 0 110 0
[pid=83578] ppid=83576 vsize=1233676 memory=948480 CPUtime=3600.09 cores=0,2
/proc/83578/stat : 83578 (roundingsat) R 83576 83576 82743 0 -1 4194304 159163 0 0 0 358345 1664 0 0 20 0 1 0 74392925 1263284224 237120 18446744073709551615 4227072 8923433 140722755844368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16371712 140722755848530 140722755848744 140722755848744 140722755854314 0
/proc/83578/statm: 308419 237120 2336 1147 0 295846 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1237868 KiB
Current children cumulated memory: 951424 KiB
Child status: 2
Real time (s): 3611.77
CPU time (s): 3600.13
CPU user time (s): 3583.46
CPU system time (s): 16.669
CPU usage (%): 99.6778
Max. virtual memory (cumulated for all children) (KiB): 1237868
Max. memory (cumulated for all children) (KiB): 951424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.46
system time used= 16.669
maximum resident set size= 948864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10975784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 811
involuntary context switches= 8148
# summary of solver processes directly reported to runsolver:
# pid: 83576,83578
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.46
# total CPU system time (s): 16.669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5612 second user time and 36.0444 second system time
The end
Begin job on nodeC012 at 2025-07-04 01:58:52
IDJOB=4521769
IDBENCH=178465
IDSOLVER=3351
FILE ID=nodeC012/4521769-1751587132
RUNJOBID= nodeC012-1751579896-82753
SLURM_JOB_ID= 9598818
Free space on /tmp= 431840 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521769-1751587132/watcher-4521769-1751587132 -o /tmp/evaluation-result-4521769-1751587132/solver-4521769-1751587132 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82753 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521769-1751587132.opb PROOFDIR/proof-4521769-1751587132
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f15d23f289b182a443a303ebae0d35a
RANDOM SEED=1441897965
nodeC012 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.124
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.39
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.262
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.39
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.265
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.39
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.486
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.39
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 : 3659.277
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.39
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 : 3700.000
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.39
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.196
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.39
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.152
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 109865340 kB
MemAvailable: 126052064 kB
Buffers: 2136 kB
Cached: 16970688 kB
SwapCached: 16 kB
Active: 4560732 kB
Inactive: 16352448 kB
Active(anon): 3951364 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 16345452 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11868 kB
Writeback: 0 kB
AnonPages: 3943472 kB
Mapped: 113012 kB
Shmem: 17944 kB
KReclaimable: 142676 kB
Slab: 228996 kB
SReclaimable: 142676 kB
SUnreclaim: 86320 kB
KernelStack: 4080 kB
PageTables: 11652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4845488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 983040 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431708 MiB
End job on nodeC012 at 2025-07-04 02:59:04