0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 3422 #constraints 6844
0.00/0.04 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.029582
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.030921
122.48/122.80 c #Conflicts: 1000 | #Constraints: 7844
122.48/122.80 c #Conflicts: 2000 | #Constraints: 8844
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 3000 | #Constraints: 9114
122.48/122.80 c #Conflicts: 4000 | #Constraints: 10114
122.48/122.80 c #Conflicts: 5000 | #Constraints: 11114
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 6000 | #Constraints: 9978
122.48/122.80 c #Conflicts: 7000 | #Constraints: 10978
122.48/122.80 c #Conflicts: 8000 | #Constraints: 11978
122.48/122.80 c #Conflicts: 9000 | #Constraints: 12978
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 10000 | #Constraints: 11404
122.48/122.80 c #Conflicts: 11000 | #Constraints: 12404
122.48/122.80 c #Conflicts: 12000 | #Constraints: 13404
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 13000 | #Constraints: 11046
122.48/122.80 c #Conflicts: 14000 | #Constraints: 12046
122.48/122.80 c #Conflicts: 15000 | #Constraints: 13046
122.48/122.80 c #Conflicts: 16000 | #Constraints: 14046
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 17000 | #Constraints: 11512
122.48/122.80 c #Conflicts: 18000 | #Constraints: 12512
122.48/122.80 c #Conflicts: 19000 | #Constraints: 13512
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 20000 | #Constraints: 10834
122.48/122.80 c #Conflicts: 21000 | #Constraints: 11834
122.48/122.80 c #Conflicts: 22000 | #Constraints: 12834
122.48/122.80 c #Conflicts: 23000 | #Constraints: 13834
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 24000 | #Constraints: 11005
122.48/122.80 c #Conflicts: 25000 | #Constraints: 12005
122.48/122.80 c #Conflicts: 26000 | #Constraints: 13005
122.48/122.80 c #Conflicts: 27000 | #Constraints: 14005
122.48/122.80 c #Conflicts: 28000 | #Constraints: 15005
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 29000 | #Constraints: 12005
122.48/122.80 c #Conflicts: 30000 | #Constraints: 13005
122.48/122.80 c #Conflicts: 31000 | #Constraints: 14005
122.48/122.80 c #Conflicts: 32000 | #Constraints: 15005
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 33000 | #Constraints: 11791
122.48/122.80 c #Conflicts: 34000 | #Constraints: 12791
122.48/122.80 c #Conflicts: 35000 | #Constraints: 13791
122.48/122.80 c #Conflicts: 36000 | #Constraints: 14791
122.48/122.80 c #Conflicts: 37000 | #Constraints: 15791
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 38000 | #Constraints: 12388
122.48/122.80 c #Conflicts: 39000 | #Constraints: 13388
122.48/122.80 c #Conflicts: 40000 | #Constraints: 14388
122.48/122.80 c #Conflicts: 41000 | #Constraints: 15388
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 42000 | #Constraints: 11812
122.48/122.80 c #Conflicts: 43000 | #Constraints: 12812
122.48/122.80 c #Conflicts: 44000 | #Constraints: 13812
122.48/122.80 c #Conflicts: 45000 | #Constraints: 14812
122.48/122.80 c #Conflicts: 46000 | #Constraints: 15812
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 47000 | #Constraints: 12016
122.48/122.80 c #Conflicts: 48000 | #Constraints: 13016
122.48/122.80 c #Conflicts: 49000 | #Constraints: 14016
122.48/122.80 c #Conflicts: 50000 | #Constraints: 15016
122.48/122.80 c #Conflicts: 51000 | #Constraints: 16016
122.48/122.80 c #Conflicts: 52000 | #Constraints: 17016
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 53000 | #Constraints: 13016
122.48/122.80 c #Conflicts: 54000 | #Constraints: 14016
122.48/122.80 c #Conflicts: 55000 | #Constraints: 15016
122.48/122.80 c #Conflicts: 56000 | #Constraints: 16016
122.48/122.80 c #Conflicts: 57000 | #Constraints: 17016
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 58000 | #Constraints: 12820
122.48/122.80 c #Conflicts: 59000 | #Constraints: 13820
122.48/122.80 c #Conflicts: 60000 | #Constraints: 14820
122.48/122.80 c #Conflicts: 61000 | #Constraints: 15820
122.48/122.80 c #Conflicts: 62000 | #Constraints: 16820
122.48/122.80 c #Conflicts: 63000 | #Constraints: 17820
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 64000 | #Constraints: 13412
122.48/122.80 c #Conflicts: 65000 | #Constraints: 14412
122.48/122.80 c #Conflicts: 66000 | #Constraints: 15412
122.48/122.80 c #Conflicts: 67000 | #Constraints: 16412
122.48/122.80 c #Conflicts: 68000 | #Constraints: 17412
122.48/122.80 c INPROCESSING
122.48/122.80 c GARBAGE COLLECT
122.48/122.80 c #Conflicts: 69000 | #Constraints: 12799
288.28/289.05 c #Conflicts: 70000 | #Constraints: 13799
288.28/289.05 c #Conflicts: 71000 | #Constraints: 14799
288.28/289.05 c #Conflicts: 72000 | #Constraints: 15799
288.28/289.05 c #Conflicts: 73000 | #Constraints: 16799
288.28/289.05 c #Conflicts: 74000 | #Constraints: 17799
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 75000 | #Constraints: 13004
288.28/289.05 c #Conflicts: 76000 | #Constraints: 14004
288.28/289.05 c #Conflicts: 77000 | #Constraints: 15004
288.28/289.05 c #Conflicts: 78000 | #Constraints: 16004
288.28/289.05 c #Conflicts: 79000 | #Constraints: 17004
288.28/289.05 c #Conflicts: 80000 | #Constraints: 18004
288.28/289.05 c #Conflicts: 81000 | #Constraints: 19004
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 82000 | #Constraints: 13997
288.28/289.05 c #Conflicts: 83000 | #Constraints: 14997
288.28/289.05 c #Conflicts: 84000 | #Constraints: 15997
288.28/289.05 c #Conflicts: 85000 | #Constraints: 16997
288.28/289.05 c #Conflicts: 86000 | #Constraints: 17997
288.28/289.05 c #Conflicts: 87000 | #Constraints: 18997
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 88000 | #Constraints: 13815
288.28/289.05 c #Conflicts: 89000 | #Constraints: 14815
288.28/289.05 c #Conflicts: 90000 | #Constraints: 15815
288.28/289.05 c #Conflicts: 91000 | #Constraints: 16815
288.28/289.05 c #Conflicts: 92000 | #Constraints: 17815
288.28/289.05 c #Conflicts: 93000 | #Constraints: 18815
288.28/289.05 c #Conflicts: 94000 | #Constraints: 19815
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 95000 | #Constraints: 14440
288.28/289.05 c #Conflicts: 96000 | #Constraints: 15440
288.28/289.05 c #Conflicts: 97000 | #Constraints: 16440
288.28/289.05 c #Conflicts: 98000 | #Constraints: 17440
288.28/289.05 c #Conflicts: 99000 | #Constraints: 18440
288.28/289.05 c #Conflicts: 100000 | #Constraints: 19440
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 101000 | #Constraints: 13844
288.28/289.05 c #Conflicts: 102000 | #Constraints: 14844
288.28/289.05 c #Conflicts: 103000 | #Constraints: 15844
288.28/289.05 c #Conflicts: 104000 | #Constraints: 16844
288.28/289.05 c #Conflicts: 105000 | #Constraints: 17844
288.28/289.05 c #Conflicts: 106000 | #Constraints: 18844
288.28/289.05 c #Conflicts: 107000 | #Constraints: 19844
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 108000 | #Constraints: 14008
288.28/289.05 c #Conflicts: 109000 | #Constraints: 15008
288.28/289.05 c #Conflicts: 110000 | #Constraints: 16008
288.28/289.05 c #Conflicts: 111000 | #Constraints: 17008
288.28/289.05 c #Conflicts: 112000 | #Constraints: 18008
288.28/289.05 c #Conflicts: 113000 | #Constraints: 19008
288.28/289.05 c #Conflicts: 114000 | #Constraints: 20008
288.28/289.05 c #Conflicts: 115000 | #Constraints: 21008
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 116000 | #Constraints: 15018
288.28/289.05 c #Conflicts: 117000 | #Constraints: 16018
288.28/289.05 c #Conflicts: 118000 | #Constraints: 17018
288.28/289.05 c #Conflicts: 119000 | #Constraints: 18018
288.28/289.05 c #Conflicts: 120000 | #Constraints: 19018
288.28/289.05 c #Conflicts: 121000 | #Constraints: 20018
288.28/289.05 c #Conflicts: 122000 | #Constraints: 21018
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 123000 | #Constraints: 14831
288.28/289.05 c #Conflicts: 124000 | #Constraints: 15831
288.28/289.05 c #Conflicts: 125000 | #Constraints: 16831
288.28/289.05 c #Conflicts: 126000 | #Constraints: 17831
288.28/289.05 c #Conflicts: 127000 | #Constraints: 18831
288.28/289.05 c #Conflicts: 128000 | #Constraints: 19831
288.28/289.05 c #Conflicts: 129000 | #Constraints: 20831
288.28/289.05 c #Conflicts: 130000 | #Constraints: 21831
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 131000 | #Constraints: 15450
288.28/289.05 c #Conflicts: 132000 | #Constraints: 16450
288.28/289.05 c #Conflicts: 133000 | #Constraints: 17450
288.28/289.05 c #Conflicts: 134000 | #Constraints: 18450
288.28/289.05 c #Conflicts: 135000 | #Constraints: 19450
288.28/289.05 c #Conflicts: 136000 | #Constraints: 20450
288.28/289.05 c #Conflicts: 137000 | #Constraints: 21450
288.28/289.05 c INPROCESSING
288.28/289.05 c GARBAGE COLLECT
288.28/289.05 c #Conflicts: 138000 | #Constraints: 14833
288.28/289.05 c #Conflicts: 139000 | #Constraints: 15833
288.28/289.05 c #Conflicts: 140000 | #Constraints: 16833
288.28/289.05 c #Conflicts: 141000 | #Constraints: 17833
288.28/289.05 c #Conflicts: 142000 | #Constraints: 18833
518.48/519.85 c #Conflicts: 143000 | #Constraints: 19833
518.48/519.85 c #Conflicts: 144000 | #Constraints: 20833
518.48/519.85 c #Conflicts: 145000 | #Constraints: 21833
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 146000 | #Constraints: 15001
518.48/519.85 c #Conflicts: 147000 | #Constraints: 16001
518.48/519.85 c #Conflicts: 148000 | #Constraints: 17001
518.48/519.85 c #Conflicts: 149000 | #Constraints: 18001
518.48/519.85 c #Conflicts: 150000 | #Constraints: 19001
518.48/519.85 c #Conflicts: 151000 | #Constraints: 20001
518.48/519.85 c #Conflicts: 152000 | #Constraints: 21001
518.48/519.85 c #Conflicts: 153000 | #Constraints: 22001
518.48/519.85 c #Conflicts: 154000 | #Constraints: 23001
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 155000 | #Constraints: 16026
518.48/519.85 c #Conflicts: 156000 | #Constraints: 17026
518.48/519.85 c #Conflicts: 157000 | #Constraints: 18026
518.48/519.85 c #Conflicts: 158000 | #Constraints: 19026
518.48/519.85 c #Conflicts: 159000 | #Constraints: 20026
518.48/519.85 c #Conflicts: 160000 | #Constraints: 21026
518.48/519.85 c #Conflicts: 161000 | #Constraints: 22026
518.48/519.85 c #Conflicts: 162000 | #Constraints: 23026
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 163000 | #Constraints: 15864
518.48/519.85 c #Conflicts: 164000 | #Constraints: 16864
518.48/519.85 c #Conflicts: 165000 | #Constraints: 17864
518.48/519.85 c #Conflicts: 166000 | #Constraints: 18864
518.48/519.85 c #Conflicts: 167000 | #Constraints: 19864
518.48/519.85 c #Conflicts: 168000 | #Constraints: 20864
518.48/519.85 c #Conflicts: 169000 | #Constraints: 21864
518.48/519.85 c #Conflicts: 170000 | #Constraints: 22864
518.48/519.85 c #Conflicts: 171000 | #Constraints: 23864
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 172000 | #Constraints: 16483
518.48/519.85 c #Conflicts: 173000 | #Constraints: 17483
518.48/519.85 c #Conflicts: 174000 | #Constraints: 18483
518.48/519.85 c #Conflicts: 175000 | #Constraints: 19483
518.48/519.85 c #Conflicts: 176000 | #Constraints: 20483
518.48/519.85 c #Conflicts: 177000 | #Constraints: 21483
518.48/519.85 c #Conflicts: 178000 | #Constraints: 22483
518.48/519.85 c #Conflicts: 179000 | #Constraints: 23483
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 180000 | #Constraints: 15876
518.48/519.85 c #Conflicts: 181000 | #Constraints: 16876
518.48/519.85 c #Conflicts: 182000 | #Constraints: 17876
518.48/519.85 c #Conflicts: 183000 | #Constraints: 18876
518.48/519.85 c #Conflicts: 184000 | #Constraints: 19876
518.48/519.85 c #Conflicts: 185000 | #Constraints: 20876
518.48/519.85 c #Conflicts: 186000 | #Constraints: 21876
518.48/519.85 c #Conflicts: 187000 | #Constraints: 22876
518.48/519.85 c #Conflicts: 188000 | #Constraints: 23876
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 189000 | #Constraints: 16064
518.48/519.85 c #Conflicts: 190000 | #Constraints: 17064
518.48/519.85 c #Conflicts: 191000 | #Constraints: 18064
518.48/519.85 c #Conflicts: 192000 | #Constraints: 19064
518.48/519.85 c #Conflicts: 193000 | #Constraints: 20064
518.48/519.85 c #Conflicts: 194000 | #Constraints: 21064
518.48/519.85 c #Conflicts: 195000 | #Constraints: 22064
518.48/519.85 c #Conflicts: 196000 | #Constraints: 23064
518.48/519.85 c #Conflicts: 197000 | #Constraints: 24064
518.48/519.85 c #Conflicts: 198000 | #Constraints: 25064
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 199000 | #Constraints: 17073
518.48/519.85 c #Conflicts: 200000 | #Constraints: 18073
518.48/519.85 c #Conflicts: 201000 | #Constraints: 19073
518.48/519.85 c #Conflicts: 202000 | #Constraints: 20073
518.48/519.85 c #Conflicts: 203000 | #Constraints: 21073
518.48/519.85 c #Conflicts: 204000 | #Constraints: 22073
518.48/519.85 c #Conflicts: 205000 | #Constraints: 23073
518.48/519.85 c #Conflicts: 206000 | #Constraints: 24073
518.48/519.85 c #Conflicts: 207000 | #Constraints: 25073
518.48/519.85 c INPROCESSING
518.48/519.85 c GARBAGE COLLECT
518.48/519.85 c #Conflicts: 208000 | #Constraints: 16866
518.48/519.85 c #Conflicts: 209000 | #Constraints: 17866
518.48/519.85 c #Conflicts: 210000 | #Constraints: 18866
518.48/519.85 c #Conflicts: 211000 | #Constraints: 19866
518.48/519.85 c #Conflicts: 212000 | #Constraints: 20866
518.48/519.85 c #Conflicts: 213000 | #Constraints: 21866
518.48/519.85 c #Conflicts: 214000 | #Constraints: 22866
518.48/519.85 c #Conflicts: 215000 | #Constraints: 23866
756.26/758.40 c #Conflicts: 216000 | #Constraints: 24866
756.26/758.40 c #Conflicts: 217000 | #Constraints: 25866
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 218000 | #Constraints: 17465
756.26/758.40 c #Conflicts: 219000 | #Constraints: 18465
756.26/758.40 c #Conflicts: 220000 | #Constraints: 19465
756.26/758.40 c #Conflicts: 221000 | #Constraints: 20465
756.26/758.40 c #Conflicts: 222000 | #Constraints: 21465
756.26/758.40 c #Conflicts: 223000 | #Constraints: 22465
756.26/758.40 c #Conflicts: 224000 | #Constraints: 23465
756.26/758.40 c #Conflicts: 225000 | #Constraints: 24465
756.26/758.40 c #Conflicts: 226000 | #Constraints: 25465
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 227000 | #Constraints: 16873
756.26/758.40 c #Conflicts: 228000 | #Constraints: 17873
756.26/758.40 c #Conflicts: 229000 | #Constraints: 18873
756.26/758.40 c #Conflicts: 230000 | #Constraints: 19873
756.26/758.40 c #Conflicts: 231000 | #Constraints: 20873
756.26/758.40 c #Conflicts: 232000 | #Constraints: 21873
756.26/758.40 c #Conflicts: 233000 | #Constraints: 22873
756.26/758.40 c #Conflicts: 234000 | #Constraints: 23873
756.26/758.40 c #Conflicts: 235000 | #Constraints: 24873
756.26/758.40 c #Conflicts: 236000 | #Constraints: 25873
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 237000 | #Constraints: 17057
756.26/758.40 c #Conflicts: 238000 | #Constraints: 18057
756.26/758.40 c #Conflicts: 239000 | #Constraints: 19057
756.26/758.40 c #Conflicts: 240000 | #Constraints: 20057
756.26/758.40 c #Conflicts: 241000 | #Constraints: 21057
756.26/758.40 c #Conflicts: 242000 | #Constraints: 22057
756.26/758.40 c #Conflicts: 243000 | #Constraints: 23057
756.26/758.40 c #Conflicts: 244000 | #Constraints: 24057
756.26/758.40 c #Conflicts: 245000 | #Constraints: 25057
756.26/758.40 c #Conflicts: 246000 | #Constraints: 26057
756.26/758.40 c #Conflicts: 247000 | #Constraints: 27057
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 248000 | #Constraints: 18069
756.26/758.40 c #Conflicts: 249000 | #Constraints: 19069
756.26/758.40 c #Conflicts: 250000 | #Constraints: 20069
756.26/758.40 c #Conflicts: 251000 | #Constraints: 21069
756.26/758.40 c #Conflicts: 252000 | #Constraints: 22069
756.26/758.40 c #Conflicts: 253000 | #Constraints: 23069
756.26/758.40 c #Conflicts: 254000 | #Constraints: 24069
756.26/758.40 c #Conflicts: 255000 | #Constraints: 25069
756.26/758.40 c #Conflicts: 256000 | #Constraints: 26069
756.26/758.40 c #Conflicts: 257000 | #Constraints: 27069
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 258000 | #Constraints: 17859
756.26/758.40 c #Conflicts: 259000 | #Constraints: 18859
756.26/758.40 c #Conflicts: 260000 | #Constraints: 19859
756.26/758.40 c #Conflicts: 261000 | #Constraints: 20859
756.26/758.40 c #Conflicts: 262000 | #Constraints: 21859
756.26/758.40 c #Conflicts: 263000 | #Constraints: 22859
756.26/758.40 c #Conflicts: 264000 | #Constraints: 23859
756.26/758.40 c #Conflicts: 265000 | #Constraints: 24859
756.26/758.40 c #Conflicts: 266000 | #Constraints: 25859
756.26/758.40 c #Conflicts: 267000 | #Constraints: 26859
756.26/758.40 c #Conflicts: 268000 | #Constraints: 27859
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 269000 | #Constraints: 18452
756.26/758.40 c #Conflicts: 270000 | #Constraints: 19452
756.26/758.40 c #Conflicts: 271000 | #Constraints: 20452
756.26/758.40 c #Conflicts: 272000 | #Constraints: 21452
756.26/758.40 c #Conflicts: 273000 | #Constraints: 22452
756.26/758.40 c #Conflicts: 274000 | #Constraints: 23452
756.26/758.40 c #Conflicts: 275000 | #Constraints: 24452
756.26/758.40 c #Conflicts: 276000 | #Constraints: 25452
756.26/758.40 c #Conflicts: 277000 | #Constraints: 26452
756.26/758.40 c #Conflicts: 278000 | #Constraints: 27452
756.26/758.40 c INPROCESSING
756.26/758.40 c GARBAGE COLLECT
756.26/758.40 c #Conflicts: 279000 | #Constraints: 17856
756.26/758.40 c #Conflicts: 280000 | #Constraints: 18856
756.26/758.40 c #Conflicts: 281000 | #Constraints: 19856
756.26/758.40 c #Conflicts: 282000 | #Constraints: 20856
756.26/758.40 c #Conflicts: 283000 | #Constraints: 21856
756.26/758.40 c #Conflicts: 284000 | #Constraints: 22856
756.26/758.40 c #Conflicts: 285000 | #Constraints: 23856
756.26/758.40 c #Conflicts: 286000 | #Constraints: 24856
756.26/758.40 c #Conflicts: 287000 | #Constraints: 25856
756.26/758.40 c #Conflicts: 288000 | #Constraints: 26856
756.26/758.40 c #Conflicts: 289000 | #Constraints: 27856
756.26/758.40 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 290000 | #Constraints: 18052
992.54/995.35 c #Conflicts: 291000 | #Constraints: 19052
992.54/995.35 c #Conflicts: 292000 | #Constraints: 20052
992.54/995.35 c #Conflicts: 293000 | #Constraints: 21052
992.54/995.35 c #Conflicts: 294000 | #Constraints: 22052
992.54/995.35 c #Conflicts: 295000 | #Constraints: 23052
992.54/995.35 c #Conflicts: 296000 | #Constraints: 24052
992.54/995.35 c #Conflicts: 297000 | #Constraints: 25052
992.54/995.35 c #Conflicts: 298000 | #Constraints: 26052
992.54/995.35 c #Conflicts: 299000 | #Constraints: 27052
992.54/995.35 c #Conflicts: 300000 | #Constraints: 28052
992.54/995.35 c #Conflicts: 301000 | #Constraints: 29052
992.54/995.35 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 302000 | #Constraints: 19074
992.54/995.35 c #Conflicts: 303000 | #Constraints: 20074
992.54/995.35 c #Conflicts: 304000 | #Constraints: 21074
992.54/995.35 c #Conflicts: 305000 | #Constraints: 22074
992.54/995.35 c #Conflicts: 306000 | #Constraints: 23074
992.54/995.35 c #Conflicts: 307000 | #Constraints: 24074
992.54/995.35 c #Conflicts: 308000 | #Constraints: 25074
992.54/995.35 c #Conflicts: 309000 | #Constraints: 26074
992.54/995.35 c #Conflicts: 310000 | #Constraints: 27074
992.54/995.35 c #Conflicts: 311000 | #Constraints: 28074
992.54/995.35 c #Conflicts: 312000 | #Constraints: 29074
992.54/995.35 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 313000 | #Constraints: 18863
992.54/995.35 c #Conflicts: 314000 | #Constraints: 19863
992.54/995.35 c #Conflicts: 315000 | #Constraints: 20863
992.54/995.35 c #Conflicts: 316000 | #Constraints: 21863
992.54/995.35 c #Conflicts: 317000 | #Constraints: 22863
992.54/995.35 c #Conflicts: 318000 | #Constraints: 23863
992.54/995.35 c #Conflicts: 319000 | #Constraints: 24863
992.54/995.35 c #Conflicts: 320000 | #Constraints: 25863
992.54/995.35 c #Conflicts: 321000 | #Constraints: 26863
992.54/995.35 c #Conflicts: 322000 | #Constraints: 27863
992.54/995.35 c #Conflicts: 323000 | #Constraints: 28863
992.54/995.35 c #Conflicts: 324000 | #Constraints: 29863
992.54/995.35 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 325000 | #Constraints: 19443
992.54/995.35 c #Conflicts: 326000 | #Constraints: 20443
992.54/995.35 c #Conflicts: 327000 | #Constraints: 21443
992.54/995.35 c #Conflicts: 328000 | #Constraints: 22443
992.54/995.35 c #Conflicts: 329000 | #Constraints: 23443
992.54/995.35 c #Conflicts: 330000 | #Constraints: 24443
992.54/995.35 c #Conflicts: 331000 | #Constraints: 25443
992.54/995.35 c #Conflicts: 332000 | #Constraints: 26443
992.54/995.35 c #Conflicts: 333000 | #Constraints: 27443
992.54/995.35 c #Conflicts: 334000 | #Constraints: 28443
992.54/995.35 c #Conflicts: 335000 | #Constraints: 29443
992.54/995.35 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 336000 | #Constraints: 18882
992.54/995.35 c #Conflicts: 337000 | #Constraints: 19882
992.54/995.35 c #Conflicts: 338000 | #Constraints: 20882
992.54/995.35 c #Conflicts: 339000 | #Constraints: 21882
992.54/995.35 c #Conflicts: 340000 | #Constraints: 22882
992.54/995.35 c #Conflicts: 341000 | #Constraints: 23882
992.54/995.35 c #Conflicts: 342000 | #Constraints: 24882
992.54/995.35 c #Conflicts: 343000 | #Constraints: 25882
992.54/995.35 c #Conflicts: 344000 | #Constraints: 26882
992.54/995.35 c #Conflicts: 345000 | #Constraints: 27882
992.54/995.35 c #Conflicts: 346000 | #Constraints: 28882
992.54/995.35 c #Conflicts: 347000 | #Constraints: 29882
992.54/995.35 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 348000 | #Constraints: 19080
992.54/995.35 c #Conflicts: 349000 | #Constraints: 20080
992.54/995.35 c #Conflicts: 350000 | #Constraints: 21080
992.54/995.35 c #Conflicts: 351000 | #Constraints: 22080
992.54/995.35 c #Conflicts: 352000 | #Constraints: 23080
992.54/995.35 c #Conflicts: 353000 | #Constraints: 24080
992.54/995.35 c #Conflicts: 354000 | #Constraints: 25080
992.54/995.35 c #Conflicts: 355000 | #Constraints: 26080
992.54/995.35 c #Conflicts: 356000 | #Constraints: 27080
992.54/995.35 c #Conflicts: 357000 | #Constraints: 28080
992.54/995.35 c #Conflicts: 358000 | #Constraints: 29080
992.54/995.35 c #Conflicts: 359000 | #Constraints: 30080
992.54/995.35 c #Conflicts: 360000 | #Constraints: 31080
992.54/995.35 c INPROCESSING
992.54/995.35 c GARBAGE COLLECT
992.54/995.35 c #Conflicts: 361000 | #Constraints: 20066
992.54/995.35 c #Conflicts: 362000 | #Constraints: 21066
992.54/995.35 c #Conflicts: 363000 | #Constraints: 22066
992.54/995.35 c #Conflicts: 364000 | #Constraints: 23066
1339.09/1343.08 c #Conflicts: 365000 | #Constraints: 24066
1339.09/1343.08 c #Conflicts: 366000 | #Constraints: 25066
1339.09/1343.08 c #Conflicts: 367000 | #Constraints: 26066
1339.09/1343.08 c #Conflicts: 368000 | #Constraints: 27066
1339.09/1343.08 c #Conflicts: 369000 | #Constraints: 28066
1339.09/1343.08 c #Conflicts: 370000 | #Constraints: 29066
1339.09/1343.08 c #Conflicts: 371000 | #Constraints: 30066
1339.09/1343.08 c #Conflicts: 372000 | #Constraints: 31066
1339.09/1343.08 c INPROCESSING
1339.09/1343.08 c GARBAGE COLLECT
1339.09/1343.08 c #Conflicts: 373000 | #Constraints: 19887
1339.09/1343.08 c #Conflicts: 374000 | #Constraints: 20887
1339.09/1343.08 c #Conflicts: 375000 | #Constraints: 21887
1339.09/1343.08 c #Conflicts: 376000 | #Constraints: 22887
1339.09/1343.08 c #Conflicts: 377000 | #Constraints: 23887
1339.09/1343.08 c #Conflicts: 378000 | #Constraints: 24887
1339.09/1343.08 c #Conflicts: 379000 | #Constraints: 25887
1339.09/1343.08 c #Conflicts: 380000 | #Constraints: 26887
1339.09/1343.08 c #Conflicts: 381000 | #Constraints: 27887
1339.09/1343.08 c #Conflicts: 382000 | #Constraints: 28887
1339.09/1343.08 c #Conflicts: 383000 | #Constraints: 29887
1339.09/1343.08 c #Conflicts: 384000 | #Constraints: 30887
1339.09/1343.08 c #Conflicts: 385000 | #Constraints: 31887
1339.09/1343.08 c INPROCESSING
1339.09/1343.08 c GARBAGE COLLECT
1339.09/1343.08 c #Conflicts: 386000 | #Constraints: 20467
1339.09/1343.08 c #Conflicts: 387000 | #Constraints: 21467
1339.09/1343.08 c #Conflicts: 388000 | #Constraints: 22467
1339.09/1343.08 c #Conflicts: 389000 | #Constraints: 23467
1339.09/1343.08 c #Conflicts: 390000 | #Constraints: 24467
1339.09/1343.08 c #Conflicts: 391000 | #Constraints: 25467
1339.09/1343.08 c #Conflicts: 392000 | #Constraints: 26467
1339.09/1343.08 c #Conflicts: 393000 | #Constraints: 27467
1339.09/1343.08 c #Conflicts: 394000 | #Constraints: 28467
1339.09/1343.08 c #Conflicts: 395000 | #Constraints: 29467
1339.09/1343.08 c #Conflicts: 396000 | #Constraints: 30467
1339.09/1343.08 c #Conflicts: 397000 | #Constraints: 31467
1339.09/1343.08 c INPROCESSING
1339.09/1343.08 c GARBAGE COLLECT
1339.09/1343.08 c #Conflicts: 398000 | #Constraints: 19861
1339.09/1343.08 c #Conflicts: 399000 | #Constraints: 20861
1339.09/1343.08 c #Conflicts: 400000 | #Constraints: 21861
1339.09/1343.08 c #Conflicts: 401000 | #Constraints: 22861
1339.09/1343.08 c #Conflicts: 402000 | #Constraints: 23861
1339.09/1343.08 c #Conflicts: 403000 | #Constraints: 24861
1339.09/1343.08 c #Conflicts: 404000 | #Constraints: 25861
1339.09/1343.08 c #Conflicts: 405000 | #Constraints: 26861
1339.09/1343.08 c #Conflicts: 406000 | #Constraints: 27861
1339.09/1343.08 c #Conflicts: 407000 | #Constraints: 28861
1339.09/1343.08 c #Conflicts: 408000 | #Constraints: 29861
1339.09/1343.08 c #Conflicts: 409000 | #Constraints: 30861
1339.09/1343.08 c #Conflicts: 410000 | #Constraints: 31861
1339.09/1343.08 c INPROCESSING
1339.09/1343.08 c GARBAGE COLLECT
1339.09/1343.08 c #Conflicts: 411000 | #Constraints: 20072
1339.09/1343.08 c #Conflicts: 412000 | #Constraints: 21072
1339.09/1343.08 c #Conflicts: 413000 | #Constraints: 22072
1339.09/1343.08 c #Conflicts: 414000 | #Constraints: 23072
1339.09/1343.08 c #Conflicts: 415000 | #Constraints: 24072
1339.09/1343.08 c #Conflicts: 416000 | #Constraints: 25072
1339.09/1343.08 c #Conflicts: 417000 | #Constraints: 26072
1339.09/1343.08 c #Conflicts: 418000 | #Constraints: 27072
1339.09/1343.08 c #Conflicts: 419000 | #Constraints: 28072
1339.09/1343.08 c #Conflicts: 420000 | #Constraints: 29072
1339.09/1343.08 c #Conflicts: 421000 | #Constraints: 30072
1339.09/1343.08 c #Conflicts: 422000 | #Constraints: 31072
1339.09/1343.08 c #Conflicts: 423000 | #Constraints: 32072
1339.09/1343.08 c #Conflicts: 424000 | #Constraints: 33072
1339.09/1343.08 c INPROCESSING
1339.09/1343.08 c GARBAGE COLLECT
1339.09/1343.08 c #Conflicts: 425000 | #Constraints: 21052
1339.09/1343.08 c #Conflicts: 426000 | #Constraints: 22052
1339.09/1343.08 c #Conflicts: 427000 | #Constraints: 23052
1339.09/1343.08 c #Conflicts: 428000 | #Constraints: 24052
1339.09/1343.08 c #Conflicts: 429000 | #Constraints: 25052
1339.09/1343.08 c #Conflicts: 430000 | #Constraints: 26052
1339.09/1343.08 c #Conflicts: 431000 | #Constraints: 27052
1339.09/1343.08 c #Conflicts: 432000 | #Constraints: 28052
1339.09/1343.08 c #Conflicts: 433000 | #Constraints: 29052
1339.09/1343.08 c #Conflicts: 434000 | #Constraints: 30052
1339.09/1343.08 c #Conflicts: 435000 | #Constraints: 31052
1339.09/1343.08 c #Conflicts: 436000 | #Constraints: 32052
1339.09/1343.08 c #Conflicts: 437000 | #Constraints: 33052
1339.09/1343.08 c INPROCESSING
1339.09/1343.08 c GARBAGE COLLECT
1339.09/1343.08 c #Conflicts: 438000 | #Constraints: 20824
1339.09/1343.08 c #Conflicts: 439000 | #Constraints: 21824
1670.18/1675.28 c #Conflicts: 440000 | #Constraints: 22824
1670.18/1675.28 c #Conflicts: 441000 | #Constraints: 23824
1670.18/1675.28 c #Conflicts: 442000 | #Constraints: 24824
1670.18/1675.28 c #Conflicts: 443000 | #Constraints: 25824
1670.18/1675.28 c #Conflicts: 444000 | #Constraints: 26824
1670.18/1675.28 c #Conflicts: 445000 | #Constraints: 27824
1670.18/1675.28 c #Conflicts: 446000 | #Constraints: 28824
1670.18/1675.28 c #Conflicts: 447000 | #Constraints: 29824
1670.18/1675.28 c #Conflicts: 448000 | #Constraints: 30824
1670.18/1675.28 c #Conflicts: 449000 | #Constraints: 31824
1670.18/1675.28 c #Conflicts: 450000 | #Constraints: 32824
1670.18/1675.28 c #Conflicts: 451000 | #Constraints: 33824
1670.18/1675.28 c INPROCESSING
1670.18/1675.28 c GARBAGE COLLECT
1670.18/1675.28 c #Conflicts: 452000 | #Constraints: 21428
1670.18/1675.28 c #Conflicts: 453000 | #Constraints: 22428
1670.18/1675.28 c #Conflicts: 454000 | #Constraints: 23428
1670.18/1675.28 c #Conflicts: 455000 | #Constraints: 24428
1670.18/1675.28 c #Conflicts: 456000 | #Constraints: 25428
1670.18/1675.28 c #Conflicts: 457000 | #Constraints: 26428
1670.18/1675.28 c #Conflicts: 458000 | #Constraints: 27428
1670.18/1675.28 c #Conflicts: 459000 | #Constraints: 28428
1670.18/1675.28 c #Conflicts: 460000 | #Constraints: 29428
1670.18/1675.28 c #Conflicts: 461000 | #Constraints: 30428
1670.18/1675.28 c #Conflicts: 462000 | #Constraints: 31428
1670.18/1675.28 c #Conflicts: 463000 | #Constraints: 32428
1670.18/1675.28 c #Conflicts: 464000 | #Constraints: 33428
1670.18/1675.28 c INPROCESSING
1670.18/1675.28 c GARBAGE COLLECT
1670.18/1675.28 c #Conflicts: 465000 | #Constraints: 20838
1670.18/1675.28 c #Conflicts: 466000 | #Constraints: 21838
1670.18/1675.28 c #Conflicts: 467000 | #Constraints: 22838
1670.18/1675.28 c #Conflicts: 468000 | #Constraints: 23838
1670.18/1675.28 c #Conflicts: 469000 | #Constraints: 24838
1670.18/1675.28 c #Conflicts: 470000 | #Constraints: 25838
1670.18/1675.28 c #Conflicts: 471000 | #Constraints: 26838
1670.18/1675.28 c #Conflicts: 472000 | #Constraints: 27838
1670.18/1675.28 c #Conflicts: 473000 | #Constraints: 28838
1670.18/1675.28 c #Conflicts: 474000 | #Constraints: 29838
1670.18/1675.28 c #Conflicts: 475000 | #Constraints: 30838
1670.18/1675.28 c #Conflicts: 476000 | #Constraints: 31838
1670.18/1675.28 c #Conflicts: 477000 | #Constraints: 32838
1670.18/1675.28 c #Conflicts: 478000 | #Constraints: 33838
1670.18/1675.28 c INPROCESSING
1670.18/1675.28 c GARBAGE COLLECT
1670.18/1675.28 c #Conflicts: 479000 | #Constraints: 21027
1670.18/1675.28 c #Conflicts: 480000 | #Constraints: 22027
1670.18/1675.28 c #Conflicts: 481000 | #Constraints: 23027
1670.18/1675.28 c #Conflicts: 482000 | #Constraints: 24027
1670.18/1675.28 c #Conflicts: 483000 | #Constraints: 25027
1670.18/1675.28 c #Conflicts: 484000 | #Constraints: 26027
1670.18/1675.28 c #Conflicts: 485000 | #Constraints: 27027
1670.18/1675.28 c #Conflicts: 486000 | #Constraints: 28027
1670.18/1675.28 c #Conflicts: 487000 | #Constraints: 29027
1670.18/1675.28 c #Conflicts: 488000 | #Constraints: 30027
1670.18/1675.28 c #Conflicts: 489000 | #Constraints: 31027
1670.18/1675.28 c #Conflicts: 490000 | #Constraints: 32027
1670.18/1675.28 c #Conflicts: 491000 | #Constraints: 33027
1670.18/1675.28 c #Conflicts: 492000 | #Constraints: 34027
1670.18/1675.28 c #Conflicts: 493000 | #Constraints: 35027
1670.18/1675.28 c INPROCESSING
1670.18/1675.28 c GARBAGE COLLECT
1670.18/1675.28 c #Conflicts: 494000 | #Constraints: 22027
1670.18/1675.28 c #Conflicts: 495000 | #Constraints: 23027
1670.18/1675.28 c #Conflicts: 496000 | #Constraints: 24027
1670.18/1675.28 c #Conflicts: 497000 | #Constraints: 25027
1670.18/1675.28 c #Conflicts: 498000 | #Constraints: 26027
1670.18/1675.28 c #Conflicts: 499000 | #Constraints: 27027
1670.18/1675.28 c #Conflicts: 500000 | #Constraints: 28027
1670.18/1675.28 c #Conflicts: 501000 | #Constraints: 29027
1670.18/1675.28 c #Conflicts: 502000 | #Constraints: 30027
1670.18/1675.28 c #Conflicts: 503000 | #Constraints: 31027
1670.18/1675.28 c #Conflicts: 504000 | #Constraints: 32027
1670.18/1675.28 c #Conflicts: 505000 | #Constraints: 33027
1670.18/1675.28 c #Conflicts: 506000 | #Constraints: 34027
1670.18/1675.28 c #Conflicts: 507000 | #Constraints: 35027
1670.18/1675.28 c INPROCESSING
1670.18/1675.28 c GARBAGE COLLECT
1670.18/1675.28 c #Conflicts: 508000 | #Constraints: 21807
1670.18/1675.28 c #Conflicts: 509000 | #Constraints: 22807
1670.18/1675.28 c #Conflicts: 510000 | #Constraints: 23807
1670.18/1675.28 c #Conflicts: 511000 | #Constraints: 24807
1670.18/1675.28 c #Conflicts: 512000 | #Constraints: 25807
1670.18/1675.28 c #Conflicts: 513000 | #Constraints: 26807
1670.18/1675.28 c #Conflicts: 514000 | #Constraints: 27807
1961.13/1967.13 c #Conflicts: 515000 | #Constraints: 28807
1961.13/1967.13 c #Conflicts: 516000 | #Constraints: 29807
1961.13/1967.13 c #Conflicts: 517000 | #Constraints: 30807
1961.13/1967.13 c #Conflicts: 518000 | #Constraints: 31807
1961.13/1967.13 c #Conflicts: 519000 | #Constraints: 32807
1961.13/1967.13 c #Conflicts: 520000 | #Constraints: 33807
1961.13/1967.13 c #Conflicts: 521000 | #Constraints: 34807
1961.13/1967.13 c #Conflicts: 522000 | #Constraints: 35807
1961.13/1967.13 c INPROCESSING
1961.13/1967.13 c GARBAGE COLLECT
1961.13/1967.13 c #Conflicts: 523000 | #Constraints: 22400
1961.13/1967.13 c #Conflicts: 524000 | #Constraints: 23400
1961.13/1967.13 c #Conflicts: 525000 | #Constraints: 24400
1961.13/1967.13 c #Conflicts: 526000 | #Constraints: 25400
1961.13/1967.13 c #Conflicts: 527000 | #Constraints: 26400
1961.13/1967.13 c #Conflicts: 528000 | #Constraints: 27400
1961.13/1967.13 c #Conflicts: 529000 | #Constraints: 28400
1961.13/1967.13 c #Conflicts: 530000 | #Constraints: 29400
1961.13/1967.13 c #Conflicts: 531000 | #Constraints: 30400
1961.13/1967.13 c #Conflicts: 532000 | #Constraints: 31400
1961.13/1967.13 c #Conflicts: 533000 | #Constraints: 32400
1961.13/1967.13 c #Conflicts: 534000 | #Constraints: 33400
1961.13/1967.13 c #Conflicts: 535000 | #Constraints: 34400
1961.13/1967.13 c #Conflicts: 536000 | #Constraints: 35400
1961.13/1967.13 c INPROCESSING
1961.13/1967.13 c GARBAGE COLLECT
1961.13/1967.13 c #Conflicts: 537000 | #Constraints: 21797
1961.13/1967.13 c #Conflicts: 538000 | #Constraints: 22797
1961.13/1967.13 c #Conflicts: 539000 | #Constraints: 23797
1961.13/1967.13 c #Conflicts: 540000 | #Constraints: 24797
1961.13/1967.13 c #Conflicts: 541000 | #Constraints: 25797
1961.13/1967.13 c #Conflicts: 542000 | #Constraints: 26797
1961.13/1967.13 c #Conflicts: 543000 | #Constraints: 27797
1961.13/1967.13 c #Conflicts: 544000 | #Constraints: 28797
1961.13/1967.13 c #Conflicts: 545000 | #Constraints: 29797
1961.13/1967.13 c #Conflicts: 546000 | #Constraints: 30797
1961.13/1967.13 c #Conflicts: 547000 | #Constraints: 31797
1961.13/1967.13 c #Conflicts: 548000 | #Constraints: 32797
1961.13/1967.13 c #Conflicts: 549000 | #Constraints: 33797
1961.13/1967.13 c #Conflicts: 550000 | #Constraints: 34797
1961.13/1967.13 c #Conflicts: 551000 | #Constraints: 35797
1961.13/1967.13 c INPROCESSING
1961.13/1967.13 c GARBAGE COLLECT
1961.13/1967.13 c #Conflicts: 552000 | #Constraints: 22033
1961.13/1967.13 c #Conflicts: 553000 | #Constraints: 23033
1961.13/1967.13 c #Conflicts: 554000 | #Constraints: 24033
1961.13/1967.13 c #Conflicts: 555000 | #Constraints: 25033
1961.13/1967.13 c #Conflicts: 556000 | #Constraints: 26033
1961.13/1967.13 c #Conflicts: 557000 | #Constraints: 27033
1961.13/1967.13 c #Conflicts: 558000 | #Constraints: 28033
1961.13/1967.13 c #Conflicts: 559000 | #Constraints: 29033
1961.13/1967.13 c #Conflicts: 560000 | #Constraints: 30033
1961.13/1967.13 c #Conflicts: 561000 | #Constraints: 31033
1961.13/1967.13 c #Conflicts: 562000 | #Constraints: 32033
1961.13/1967.13 c #Conflicts: 563000 | #Constraints: 33033
1961.13/1967.13 c #Conflicts: 564000 | #Constraints: 34033
1961.13/1967.13 c #Conflicts: 565000 | #Constraints: 35033
1961.13/1967.13 c #Conflicts: 566000 | #Constraints: 36033
1961.13/1967.13 c #Conflicts: 567000 | #Constraints: 37033
1961.13/1967.13 c INPROCESSING
1961.13/1967.13 c GARBAGE COLLECT
1961.13/1967.13 c #Conflicts: 568000 | #Constraints: 23014
1961.13/1967.13 c #Conflicts: 569000 | #Constraints: 24014
1961.13/1967.13 c #Conflicts: 570000 | #Constraints: 25014
1961.13/1967.13 c #Conflicts: 571000 | #Constraints: 26014
1961.13/1967.13 c #Conflicts: 572000 | #Constraints: 27014
1961.13/1967.13 c #Conflicts: 573000 | #Constraints: 28014
1961.13/1967.13 c #Conflicts: 574000 | #Constraints: 29014
1961.13/1967.13 c #Conflicts: 575000 | #Constraints: 30014
1961.13/1967.13 c #Conflicts: 576000 | #Constraints: 31014
1961.13/1967.13 c #Conflicts: 577000 | #Constraints: 32014
1961.13/1967.13 c #Conflicts: 578000 | #Constraints: 33014
1961.13/1967.13 c #Conflicts: 579000 | #Constraints: 34014
1961.13/1967.13 c #Conflicts: 580000 | #Constraints: 35014
1961.13/1967.13 c #Conflicts: 581000 | #Constraints: 36014
1961.13/1967.13 c #Conflicts: 582000 | #Constraints: 37014
1961.13/1967.13 c INPROCESSING
1961.13/1967.13 c GARBAGE COLLECT
1961.13/1967.13 c #Conflicts: 583000 | #Constraints: 22813
1961.13/1967.13 c #Conflicts: 584000 | #Constraints: 23813
1961.13/1967.13 c #Conflicts: 585000 | #Constraints: 24813
1961.13/1967.13 c #Conflicts: 586000 | #Constraints: 25813
1961.13/1967.13 c #Conflicts: 587000 | #Constraints: 26813
1961.13/1967.13 c #Conflicts: 588000 | #Constraints: 27813
1961.13/1967.13 c #Conflicts: 589000 | #Constraints: 28813
1961.13/1967.13 c #Conflicts: 590000 | #Constraints: 29813
2345.46/2352.75 c #Conflicts: 591000 | #Constraints: 30813
2345.46/2352.75 c #Conflicts: 592000 | #Constraints: 31813
2345.46/2352.75 c #Conflicts: 593000 | #Constraints: 32813
2345.46/2352.75 c #Conflicts: 594000 | #Constraints: 33813
2345.46/2352.75 c #Conflicts: 595000 | #Constraints: 34813
2345.46/2352.75 c #Conflicts: 596000 | #Constraints: 35813
2345.46/2352.75 c #Conflicts: 597000 | #Constraints: 36813
2345.46/2352.75 c #Conflicts: 598000 | #Constraints: 37813
2345.46/2352.75 c INPROCESSING
2345.46/2352.75 c GARBAGE COLLECT
2345.46/2352.75 c #Conflicts: 599000 | #Constraints: 23409
2345.46/2352.75 c #Conflicts: 600000 | #Constraints: 24409
2345.46/2352.75 c #Conflicts: 601000 | #Constraints: 25409
2345.46/2352.75 c #Conflicts: 602000 | #Constraints: 26409
2345.46/2352.75 c #Conflicts: 603000 | #Constraints: 27409
2345.46/2352.75 c #Conflicts: 604000 | #Constraints: 28409
2345.46/2352.75 c #Conflicts: 605000 | #Constraints: 29409
2345.46/2352.75 c #Conflicts: 606000 | #Constraints: 30409
2345.46/2352.75 c #Conflicts: 607000 | #Constraints: 31409
2345.46/2352.75 c #Conflicts: 608000 | #Constraints: 32409
2345.46/2352.75 c #Conflicts: 609000 | #Constraints: 33409
2345.46/2352.75 c #Conflicts: 610000 | #Constraints: 34409
2345.46/2352.75 c #Conflicts: 611000 | #Constraints: 35409
2345.46/2352.75 c #Conflicts: 612000 | #Constraints: 36409
2345.46/2352.75 c #Conflicts: 613000 | #Constraints: 37409
2345.46/2352.75 c INPROCESSING
2345.46/2352.75 c GARBAGE COLLECT
2345.46/2352.75 c #Conflicts: 614000 | #Constraints: 22750
2345.46/2352.75 c #Conflicts: 615000 | #Constraints: 23750
2345.46/2352.75 c #Conflicts: 616000 | #Constraints: 24750
2345.46/2352.75 c #Conflicts: 617000 | #Constraints: 25750
2345.46/2352.75 c #Conflicts: 618000 | #Constraints: 26750
2345.46/2352.75 c #Conflicts: 619000 | #Constraints: 27750
2345.46/2352.75 c #Conflicts: 620000 | #Constraints: 28750
2345.46/2352.75 c #Conflicts: 621000 | #Constraints: 29750
2345.46/2352.75 c #Conflicts: 622000 | #Constraints: 30750
2345.46/2352.75 c #Conflicts: 623000 | #Constraints: 31750
2345.46/2352.75 c #Conflicts: 624000 | #Constraints: 32750
2345.46/2352.75 c #Conflicts: 625000 | #Constraints: 33750
2345.46/2352.75 c #Conflicts: 626000 | #Constraints: 34750
2345.46/2352.75 c #Conflicts: 627000 | #Constraints: 35750
2345.46/2352.75 c #Conflicts: 628000 | #Constraints: 36750
2345.46/2352.75 c #Conflicts: 629000 | #Constraints: 37750
2345.46/2352.75 c INPROCESSING
2345.46/2352.75 c GARBAGE COLLECT
2345.46/2352.75 c #Conflicts: 630000 | #Constraints: 22987
2345.46/2352.75 c #Conflicts: 631000 | #Constraints: 23987
2345.46/2352.75 c #Conflicts: 632000 | #Constraints: 24987
2345.46/2352.75 c #Conflicts: 633000 | #Constraints: 25987
2345.46/2352.75 c #Conflicts: 634000 | #Constraints: 26987
2345.46/2352.75 c #Conflicts: 635000 | #Constraints: 27987
2345.46/2352.75 c #Conflicts: 636000 | #Constraints: 28987
2345.46/2352.75 c #Conflicts: 637000 | #Constraints: 29987
2345.46/2352.75 c #Conflicts: 638000 | #Constraints: 30987
2345.46/2352.75 c #Conflicts: 639000 | #Constraints: 31987
2345.46/2352.75 c #Conflicts: 640000 | #Constraints: 32987
2345.46/2352.75 c #Conflicts: 641000 | #Constraints: 33987
2345.46/2352.75 c #Conflicts: 642000 | #Constraints: 34987
2345.46/2352.75 c #Conflicts: 643000 | #Constraints: 35987
2345.46/2352.75 c #Conflicts: 644000 | #Constraints: 36987
2345.46/2352.75 c #Conflicts: 645000 | #Constraints: 37987
2345.46/2352.75 c #Conflicts: 646000 | #Constraints: 38987
2345.46/2352.75 c INPROCESSING
2345.46/2352.75 c GARBAGE COLLECT
2345.46/2352.75 c #Conflicts: 647000 | #Constraints: 24018
2345.46/2352.75 c #Conflicts: 648000 | #Constraints: 25018
2345.46/2352.75 c #Conflicts: 649000 | #Constraints: 26018
2345.46/2352.75 c #Conflicts: 650000 | #Constraints: 27018
2345.46/2352.75 c #Conflicts: 651000 | #Constraints: 28018
2345.46/2352.75 c #Conflicts: 652000 | #Constraints: 29018
2345.46/2352.75 c #Conflicts: 653000 | #Constraints: 30018
2345.46/2352.75 c #Conflicts: 654000 | #Constraints: 31018
2345.46/2352.75 c #Conflicts: 655000 | #Constraints: 32018
2345.46/2352.75 c #Conflicts: 656000 | #Constraints: 33018
2345.46/2352.75 c #Conflicts: 657000 | #Constraints: 34018
2345.46/2352.75 c #Conflicts: 658000 | #Constraints: 35018
2345.46/2352.75 c #Conflicts: 659000 | #Constraints: 36018
2345.46/2352.75 c #Conflicts: 660000 | #Constraints: 37018
2345.46/2352.75 c #Conflicts: 661000 | #Constraints: 38018
2345.46/2352.75 c #Conflicts: 662000 | #Constraints: 39018
2345.46/2352.75 c INPROCESSING
2345.46/2352.75 c GARBAGE COLLECT
2345.46/2352.75 c #Conflicts: 663000 | #Constraints: 23856
2345.46/2352.75 c #Conflicts: 664000 | #Constraints: 24856
2345.46/2352.75 c #Conflicts: 665000 | #Constraints: 25856
2345.46/2352.75 c #Conflicts: 666000 | #Constraints: 26856
2706.48/2714.90 c #Conflicts: 667000 | #Constraints: 27856
2706.48/2714.90 c #Conflicts: 668000 | #Constraints: 28856
2706.48/2714.90 c #Conflicts: 669000 | #Constraints: 29856
2706.48/2714.90 c #Conflicts: 670000 | #Constraints: 30856
2706.48/2714.90 c #Conflicts: 671000 | #Constraints: 31856
2706.48/2714.90 c #Conflicts: 672000 | #Constraints: 32856
2706.48/2714.90 c #Conflicts: 673000 | #Constraints: 33856
2706.48/2714.90 c #Conflicts: 674000 | #Constraints: 34856
2706.48/2714.90 c #Conflicts: 675000 | #Constraints: 35856
2706.48/2714.90 c #Conflicts: 676000 | #Constraints: 36856
2706.48/2714.90 c #Conflicts: 677000 | #Constraints: 37856
2706.48/2714.90 c #Conflicts: 678000 | #Constraints: 38856
2706.48/2714.90 c #Conflicts: 679000 | #Constraints: 39856
2706.48/2714.90 c INPROCESSING
2706.48/2714.90 c GARBAGE COLLECT
2706.48/2714.90 c #Conflicts: 680000 | #Constraints: 24443
2706.48/2714.90 c #Conflicts: 681000 | #Constraints: 25443
2706.48/2714.90 c #Conflicts: 682000 | #Constraints: 26443
2706.48/2714.90 c #Conflicts: 683000 | #Constraints: 27443
2706.48/2714.90 c #Conflicts: 684000 | #Constraints: 28443
2706.48/2714.90 c #Conflicts: 685000 | #Constraints: 29443
2706.48/2714.90 c #Conflicts: 686000 | #Constraints: 30443
2706.48/2714.90 c #Conflicts: 687000 | #Constraints: 31443
2706.48/2714.90 c #Conflicts: 688000 | #Constraints: 32443
2706.48/2714.90 c #Conflicts: 689000 | #Constraints: 33443
2706.48/2714.90 c #Conflicts: 690000 | #Constraints: 34443
2706.48/2714.90 c #Conflicts: 691000 | #Constraints: 35443
2706.48/2714.90 c #Conflicts: 692000 | #Constraints: 36443
2706.48/2714.90 c #Conflicts: 693000 | #Constraints: 37443
2706.48/2714.90 c #Conflicts: 694000 | #Constraints: 38443
2706.48/2714.90 c #Conflicts: 695000 | #Constraints: 39443
2706.48/2714.90 c INPROCESSING
2706.48/2714.90 c GARBAGE COLLECT
2706.48/2714.90 c #Conflicts: 696000 | #Constraints: 23881
2706.48/2714.90 c #Conflicts: 697000 | #Constraints: 24881
2706.48/2714.90 c #Conflicts: 698000 | #Constraints: 25881
2706.48/2714.90 c #Conflicts: 699000 | #Constraints: 26881
2706.48/2714.90 c #Conflicts: 700000 | #Constraints: 27881
2706.48/2714.90 c #Conflicts: 701000 | #Constraints: 28881
2706.48/2714.90 c #Conflicts: 702000 | #Constraints: 29881
2706.48/2714.90 c #Conflicts: 703000 | #Constraints: 30881
2706.48/2714.90 c #Conflicts: 704000 | #Constraints: 31881
2706.48/2714.90 c #Conflicts: 705000 | #Constraints: 32881
2706.48/2714.90 c #Conflicts: 706000 | #Constraints: 33881
2706.48/2714.90 c #Conflicts: 707000 | #Constraints: 34881
2706.48/2714.90 c #Conflicts: 708000 | #Constraints: 35881
2706.48/2714.90 c #Conflicts: 709000 | #Constraints: 36881
2706.48/2714.90 c #Conflicts: 710000 | #Constraints: 37881
2706.48/2714.90 c #Conflicts: 711000 | #Constraints: 38881
2706.48/2714.90 c #Conflicts: 712000 | #Constraints: 39881
2706.48/2714.90 c INPROCESSING
2706.48/2714.90 c GARBAGE COLLECT
2706.48/2714.90 c #Conflicts: 713000 | #Constraints: 24074
2706.48/2714.90 c #Conflicts: 714000 | #Constraints: 25074
2706.48/2714.90 c #Conflicts: 715000 | #Constraints: 26074
2706.48/2714.90 c #Conflicts: 716000 | #Constraints: 27074
2706.48/2714.90 c #Conflicts: 717000 | #Constraints: 28074
2706.48/2714.90 c #Conflicts: 718000 | #Constraints: 29074
2706.48/2714.90 c #Conflicts: 719000 | #Constraints: 30074
2706.48/2714.90 c #Conflicts: 720000 | #Constraints: 31074
2706.48/2714.90 c #Conflicts: 721000 | #Constraints: 32074
2706.48/2714.90 c #Conflicts: 722000 | #Constraints: 33074
2706.48/2714.90 c #Conflicts: 723000 | #Constraints: 34074
2706.48/2714.90 c #Conflicts: 724000 | #Constraints: 35074
2706.48/2714.90 c #Conflicts: 725000 | #Constraints: 36074
2706.48/2714.90 c #Conflicts: 726000 | #Constraints: 37074
2706.48/2714.90 c #Conflicts: 727000 | #Constraints: 38074
2706.48/2714.90 c #Conflicts: 728000 | #Constraints: 39074
2706.48/2714.90 c #Conflicts: 729000 | #Constraints: 40074
2706.48/2714.90 c #Conflicts: 730000 | #Constraints: 41074
2706.48/2714.90 c INPROCESSING
2706.48/2714.90 c GARBAGE COLLECT
2706.48/2714.90 c #Conflicts: 731000 | #Constraints: 25048
2706.48/2714.90 c #Conflicts: 732000 | #Constraints: 26048
2706.48/2714.90 c #Conflicts: 733000 | #Constraints: 27048
2706.48/2714.90 c #Conflicts: 734000 | #Constraints: 28048
2706.48/2714.90 c #Conflicts: 735000 | #Constraints: 29048
2706.48/2714.90 c #Conflicts: 736000 | #Constraints: 30048
2706.48/2714.90 c #Conflicts: 737000 | #Constraints: 31048
2706.48/2714.90 c #Conflicts: 738000 | #Constraints: 32048
2706.48/2714.90 c #Conflicts: 739000 | #Constraints: 33048
2706.48/2714.90 c #Conflicts: 740000 | #Constraints: 34048
2706.48/2714.90 c #Conflicts: 741000 | #Constraints: 35048
2706.48/2714.90 c #Conflicts: 742000 | #Constraints: 36048
2997.52/3006.97 c #Conflicts: 743000 | #Constraints: 37048
2997.52/3006.97 c #Conflicts: 744000 | #Constraints: 38048
2997.52/3006.97 c #Conflicts: 745000 | #Constraints: 39048
2997.52/3006.97 c #Conflicts: 746000 | #Constraints: 40048
2997.52/3006.97 c #Conflicts: 747000 | #Constraints: 41048
2997.52/3006.97 c INPROCESSING
2997.52/3006.97 c GARBAGE COLLECT
2997.52/3006.97 c #Conflicts: 748000 | #Constraints: 24776
2997.52/3006.97 c #Conflicts: 749000 | #Constraints: 25776
2997.52/3006.97 c #Conflicts: 750000 | #Constraints: 26776
2997.52/3006.97 c #Conflicts: 751000 | #Constraints: 27776
2997.52/3006.97 c #Conflicts: 752000 | #Constraints: 28776
2997.52/3006.97 c #Conflicts: 753000 | #Constraints: 29776
2997.52/3006.97 c #Conflicts: 754000 | #Constraints: 30776
2997.52/3006.97 c #Conflicts: 755000 | #Constraints: 31776
2997.52/3006.97 c #Conflicts: 756000 | #Constraints: 32776
2997.52/3006.97 c #Conflicts: 757000 | #Constraints: 33776
2997.52/3006.97 c #Conflicts: 758000 | #Constraints: 34776
2997.52/3006.97 c #Conflicts: 759000 | #Constraints: 35776
2997.52/3006.97 c #Conflicts: 760000 | #Constraints: 36776
2997.52/3006.97 c #Conflicts: 761000 | #Constraints: 37776
2997.52/3006.97 c #Conflicts: 762000 | #Constraints: 38776
2997.52/3006.97 c #Conflicts: 763000 | #Constraints: 39776
2997.52/3006.97 c #Conflicts: 764000 | #Constraints: 40776
2997.52/3006.97 c #Conflicts: 765000 | #Constraints: 41776
2997.52/3006.97 c INPROCESSING
2997.52/3006.97 c GARBAGE COLLECT
2997.52/3006.97 c #Conflicts: 766000 | #Constraints: 25406
2997.52/3006.97 c #Conflicts: 767000 | #Constraints: 26406
2997.52/3006.97 c #Conflicts: 768000 | #Constraints: 27406
2997.52/3006.97 c #Conflicts: 769000 | #Constraints: 28406
2997.52/3006.97 c #Conflicts: 770000 | #Constraints: 29406
2997.52/3006.97 c #Conflicts: 771000 | #Constraints: 30406
2997.52/3006.97 c #Conflicts: 772000 | #Constraints: 31406
2997.52/3006.97 c #Conflicts: 773000 | #Constraints: 32406
2997.52/3006.97 c #Conflicts: 774000 | #Constraints: 33406
2997.52/3006.97 c #Conflicts: 775000 | #Constraints: 34406
2997.52/3006.97 c #Conflicts: 776000 | #Constraints: 35406
2997.52/3006.97 c #Conflicts: 777000 | #Constraints: 36406
2997.52/3006.97 c #Conflicts: 778000 | #Constraints: 37406
2997.52/3006.97 c #Conflicts: 779000 | #Constraints: 38406
2997.52/3006.97 c #Conflicts: 780000 | #Constraints: 39406
2997.52/3006.97 c #Conflicts: 781000 | #Constraints: 40406
2997.52/3006.97 c #Conflicts: 782000 | #Constraints: 41406
2997.52/3006.97 c INPROCESSING
2997.52/3006.97 c GARBAGE COLLECT
2997.52/3006.97 c #Conflicts: 783000 | #Constraints: 24823
2997.52/3006.97 c #Conflicts: 784000 | #Constraints: 25823
2997.52/3006.97 c #Conflicts: 785000 | #Constraints: 26823
2997.52/3006.97 c #Conflicts: 786000 | #Constraints: 27823
2997.52/3006.97 c #Conflicts: 787000 | #Constraints: 28823
2997.52/3006.97 c #Conflicts: 788000 | #Constraints: 29823
2997.52/3006.97 c #Conflicts: 789000 | #Constraints: 30823
2997.52/3006.97 c #Conflicts: 790000 | #Constraints: 31823
2997.52/3006.97 c #Conflicts: 791000 | #Constraints: 32823
2997.52/3006.97 c #Conflicts: 792000 | #Constraints: 33823
2997.52/3006.97 c #Conflicts: 793000 | #Constraints: 34823
2997.52/3006.97 c #Conflicts: 794000 | #Constraints: 35823
2997.52/3006.97 c #Conflicts: 795000 | #Constraints: 36823
2997.52/3006.97 c #Conflicts: 796000 | #Constraints: 37823
2997.52/3006.97 c #Conflicts: 797000 | #Constraints: 38823
2997.52/3006.97 c #Conflicts: 798000 | #Constraints: 39823
2997.52/3006.97 c #Conflicts: 799000 | #Constraints: 40823
2997.52/3006.97 c #Conflicts: 800000 | #Constraints: 41823
2997.52/3006.97 c INPROCESSING
2997.52/3006.97 c GARBAGE COLLECT
2997.52/3006.97 c #Conflicts: 801000 | #Constraints: 25029
2997.52/3006.97 c #Conflicts: 802000 | #Constraints: 26029
2997.52/3006.97 c #Conflicts: 803000 | #Constraints: 27029
2997.52/3006.97 c #Conflicts: 804000 | #Constraints: 28029
2997.52/3006.97 c #Conflicts: 805000 | #Constraints: 29029
2997.52/3006.97 c #Conflicts: 806000 | #Constraints: 30029
2997.52/3006.97 c #Conflicts: 807000 | #Constraints: 31029
2997.52/3006.97 c #Conflicts: 808000 | #Constraints: 32029
2997.52/3006.97 c #Conflicts: 809000 | #Constraints: 33029
2997.52/3006.97 c #Conflicts: 810000 | #Constraints: 34029
2997.52/3006.97 c #Conflicts: 811000 | #Constraints: 35029
2997.52/3006.97 c #Conflicts: 812000 | #Constraints: 36029
2997.52/3006.97 c #Conflicts: 813000 | #Constraints: 37029
2997.52/3006.97 c #Conflicts: 814000 | #Constraints: 38029
2997.52/3006.97 c #Conflicts: 815000 | #Constraints: 39029
2997.52/3006.97 c #Conflicts: 816000 | #Constraints: 40029
2997.52/3006.97 c #Conflicts: 817000 | #Constraints: 41029
2997.52/3006.97 c #Conflicts: 818000 | #Constraints: 42029
3183.81/3193.82 c #Conflicts: 819000 | #Constraints: 43029
3183.81/3193.82 c INPROCESSING
3183.81/3193.82 c GARBAGE COLLECT
3183.81/3193.82 c #Conflicts: 820000 | #Constraints: 26010
3183.81/3193.82 c #Conflicts: 821000 | #Constraints: 27010
3183.81/3193.82 c #Conflicts: 822000 | #Constraints: 28010
3183.81/3193.82 c #Conflicts: 823000 | #Constraints: 29010
3183.81/3193.82 c #Conflicts: 824000 | #Constraints: 30010
3183.81/3193.82 c #Conflicts: 825000 | #Constraints: 31010
3183.81/3193.82 c #Conflicts: 826000 | #Constraints: 32010
3183.81/3193.82 c #Conflicts: 827000 | #Constraints: 33010
3183.81/3193.82 c #Conflicts: 828000 | #Constraints: 34010
3183.81/3193.82 c #Conflicts: 829000 | #Constraints: 35010
3183.81/3193.82 c #Conflicts: 830000 | #Constraints: 36010
3183.81/3193.82 c #Conflicts: 831000 | #Constraints: 37010
3183.81/3193.82 c #Conflicts: 832000 | #Constraints: 38010
3183.81/3193.82 c #Conflicts: 833000 | #Constraints: 39010
3183.81/3193.82 c #Conflicts: 834000 | #Constraints: 40010
3183.81/3193.82 c #Conflicts: 835000 | #Constraints: 41010
3183.81/3193.82 c #Conflicts: 836000 | #Constraints: 42010
3183.81/3193.82 c #Conflicts: 837000 | #Constraints: 43010
3183.81/3193.82 c INPROCESSING
3183.81/3193.82 c GARBAGE COLLECT
3183.81/3193.82 c #Conflicts: 838000 | #Constraints: 25779
3183.81/3193.82 c #Conflicts: 839000 | #Constraints: 26779
3183.81/3193.82 c #Conflicts: 840000 | #Constraints: 27779
3183.81/3193.82 c #Conflicts: 841000 | #Constraints: 28779
3183.81/3193.82 c #Conflicts: 842000 | #Constraints: 29779
3183.81/3193.82 c #Conflicts: 843000 | #Constraints: 30779
3183.81/3193.82 c #Conflicts: 844000 | #Constraints: 31779
3183.81/3193.82 c #Conflicts: 845000 | #Constraints: 32779
3183.81/3193.82 c #Conflicts: 846000 | #Constraints: 33779
3183.81/3193.82 c #Conflicts: 847000 | #Constraints: 34779
3183.81/3193.82 c #Conflicts: 848000 | #Constraints: 35779
3183.81/3193.82 c #Conflicts: 849000 | #Constraints: 36779
3183.81/3193.82 c #Conflicts: 850000 | #Constraints: 37779
3183.81/3193.82 c #Conflicts: 851000 | #Constraints: 38779
3183.81/3193.82 c #Conflicts: 852000 | #Constraints: 39779
3183.81/3193.82 c #Conflicts: 853000 | #Constraints: 40779
3183.81/3193.82 c #Conflicts: 854000 | #Constraints: 41779
3183.81/3193.82 c #Conflicts: 855000 | #Constraints: 42779
3183.81/3193.82 c #Conflicts: 856000 | #Constraints: 43779
3183.81/3193.82 c INPROCESSING
3183.81/3193.82 c GARBAGE COLLECT
3183.81/3193.82 c #Conflicts: 857000 | #Constraints: 26439
3183.81/3193.82 c #Conflicts: 858000 | #Constraints: 27439
3183.81/3193.82 c #Conflicts: 859000 | #Constraints: 28439
3183.81/3193.82 c #Conflicts: 860000 | #Constraints: 29439
3183.81/3193.82 c #Conflicts: 861000 | #Constraints: 30439
3183.81/3193.82 c #Conflicts: 862000 | #Constraints: 31439
3183.81/3193.82 c #Conflicts: 863000 | #Constraints: 32439
3183.81/3193.82 c #Conflicts: 864000 | #Constraints: 33439
3183.81/3193.82 c #Conflicts: 865000 | #Constraints: 34439
3183.81/3193.82 c #Conflicts: 866000 | #Constraints: 35439
3183.81/3193.82 c #Conflicts: 867000 | #Constraints: 36439
3183.81/3193.82 c #Conflicts: 868000 | #Constraints: 37439
3183.81/3193.82 c #Conflicts: 869000 | #Constraints: 38439
3183.81/3193.82 c #Conflicts: 870000 | #Constraints: 39439
3183.81/3193.82 c #Conflicts: 871000 | #Constraints: 40439
3183.81/3193.82 c #Conflicts: 872000 | #Constraints: 41439
3183.81/3193.82 c #Conflicts: 873000 | #Constraints: 42439
3183.81/3193.82 c #Conflicts: 874000 | #Constraints: 43439
3183.81/3193.82 c INPROCESSING
3183.81/3193.82 c GARBAGE COLLECT
3183.81/3193.82 c #Conflicts: 875000 | #Constraints: 25810
3183.81/3193.82 c #Conflicts: 876000 | #Constraints: 26810
3183.81/3193.82 c #Conflicts: 877000 | #Constraints: 27810
3183.81/3193.82 c #Conflicts: 878000 | #Constraints: 28810
3183.81/3193.82 c #Conflicts: 879000 | #Constraints: 29810
3183.81/3193.82 c #Conflicts: 880000 | #Constraints: 30810
3183.81/3193.82 c #Conflicts: 881000 | #Constraints: 31810
3183.81/3193.82 c #Conflicts: 882000 | #Constraints: 32810
3183.81/3193.82 c #Conflicts: 883000 | #Constraints: 33810
3183.81/3193.82 c #Conflicts: 884000 | #Constraints: 34810
3183.81/3193.82 c #Conflicts: 885000 | #Constraints: 35810
3183.81/3193.82 c #Conflicts: 886000 | #Constraints: 36810
3183.81/3193.82 c #Conflicts: 887000 | #Constraints: 37810
3183.81/3193.82 c #Conflicts: 888000 | #Constraints: 38810
3183.81/3193.82 c #Conflicts: 889000 | #Constraints: 39810
3183.81/3193.82 c #Conflicts: 890000 | #Constraints: 40810
3183.81/3193.82 c #Conflicts: 891000 | #Constraints: 41810
3183.81/3193.82 c #Conflicts: 892000 | #Constraints: 42810
3183.81/3193.82 c #Conflicts: 893000 | #Constraints: 43810
3183.81/3193.82 c INPROCESSING
3183.81/3193.82 c GARBAGE COLLECT
3183.81/3193.82 c #Conflicts: 894000 | #Constraints: 26047
3368.71/3379.36 c #Conflicts: 895000 | #Constraints: 27047
3368.71/3379.36 c #Conflicts: 896000 | #Constraints: 28047
3368.71/3379.36 c #Conflicts: 897000 | #Constraints: 29047
3368.71/3379.36 c #Conflicts: 898000 | #Constraints: 30047
3368.71/3379.36 c #Conflicts: 899000 | #Constraints: 31047
3368.71/3379.36 c #Conflicts: 900000 | #Constraints: 32047
3368.71/3379.36 c #Conflicts: 901000 | #Constraints: 33047
3368.71/3379.36 c #Conflicts: 902000 | #Constraints: 34047
3368.71/3379.36 c #Conflicts: 903000 | #Constraints: 35047
3368.71/3379.36 c #Conflicts: 904000 | #Constraints: 36047
3368.71/3379.36 c #Conflicts: 905000 | #Constraints: 37047
3368.71/3379.36 c #Conflicts: 906000 | #Constraints: 38047
3368.71/3379.36 c #Conflicts: 907000 | #Constraints: 39047
3368.71/3379.36 c #Conflicts: 908000 | #Constraints: 40047
3368.71/3379.36 c #Conflicts: 909000 | #Constraints: 41047
3368.71/3379.36 c #Conflicts: 910000 | #Constraints: 42047
3368.71/3379.36 c #Conflicts: 911000 | #Constraints: 43047
3368.71/3379.36 c #Conflicts: 912000 | #Constraints: 44047
3368.71/3379.36 c #Conflicts: 913000 | #Constraints: 45047
3368.71/3379.36 c INPROCESSING
3368.71/3379.36 c GARBAGE COLLECT
3368.71/3379.36 c #Conflicts: 914000 | #Constraints: 27010
3368.71/3379.36 c #Conflicts: 915000 | #Constraints: 28010
3368.71/3379.36 c #Conflicts: 916000 | #Constraints: 29010
3368.71/3379.36 c #Conflicts: 917000 | #Constraints: 30010
3368.71/3379.36 c #Conflicts: 918000 | #Constraints: 31010
3368.71/3379.36 c #Conflicts: 919000 | #Constraints: 32010
3368.71/3379.36 c #Conflicts: 920000 | #Constraints: 33010
3368.71/3379.36 c #Conflicts: 921000 | #Constraints: 34010
3368.71/3379.36 c #Conflicts: 922000 | #Constraints: 35010
3368.71/3379.36 c #Conflicts: 923000 | #Constraints: 36010
3368.71/3379.36 c #Conflicts: 924000 | #Constraints: 37010
3368.71/3379.36 c #Conflicts: 925000 | #Constraints: 38010
3368.71/3379.36 c #Conflicts: 926000 | #Constraints: 39010
3368.71/3379.36 c #Conflicts: 927000 | #Constraints: 40010
3368.71/3379.36 c #Conflicts: 928000 | #Constraints: 41010
3368.71/3379.36 c #Conflicts: 929000 | #Constraints: 42010
3368.71/3379.36 c #Conflicts: 930000 | #Constraints: 43010
3368.71/3379.36 c #Conflicts: 931000 | #Constraints: 44010
3368.71/3379.36 c #Conflicts: 932000 | #Constraints: 45010
3368.71/3379.36 c INPROCESSING
3368.71/3379.36 c GARBAGE COLLECT
3368.71/3379.36 c #Conflicts: 933000 | #Constraints: 26839
3368.71/3379.36 c #Conflicts: 934000 | #Constraints: 27839
3368.71/3379.36 c #Conflicts: 935000 | #Constraints: 28839
3368.71/3379.36 c #Conflicts: 936000 | #Constraints: 29839
3368.71/3379.36 c #Conflicts: 937000 | #Constraints: 30839
3368.71/3379.36 c #Conflicts: 938000 | #Constraints: 31839
3368.71/3379.36 c #Conflicts: 939000 | #Constraints: 32839
3368.71/3379.36 c #Conflicts: 940000 | #Constraints: 33839
3368.71/3379.36 c #Conflicts: 941000 | #Constraints: 34839
3368.71/3379.36 c #Conflicts: 942000 | #Constraints: 35839
3368.71/3379.36 c #Conflicts: 943000 | #Constraints: 36839
3368.71/3379.36 c #Conflicts: 944000 | #Constraints: 37839
3368.71/3379.36 c #Conflicts: 945000 | #Constraints: 38839
3368.71/3379.36 c #Conflicts: 946000 | #Constraints: 39839
3368.71/3379.36 c #Conflicts: 947000 | #Constraints: 40839
3368.71/3379.36 c #Conflicts: 948000 | #Constraints: 41839
3368.71/3379.36 c #Conflicts: 949000 | #Constraints: 42839
3368.71/3379.36 c #Conflicts: 950000 | #Constraints: 43839
3368.71/3379.36 c #Conflicts: 951000 | #Constraints: 44839
3368.71/3379.36 c #Conflicts: 952000 | #Constraints: 45839
3368.71/3379.36 c INPROCESSING
3368.71/3379.36 c GARBAGE COLLECT
3368.71/3379.36 c #Conflicts: 953000 | #Constraints: 27382
3368.71/3379.36 c #Conflicts: 954000 | #Constraints: 28382
3368.71/3379.36 c #Conflicts: 955000 | #Constraints: 29382
3368.71/3379.36 c #Conflicts: 956000 | #Constraints: 30382
3368.71/3379.36 c #Conflicts: 957000 | #Constraints: 31382
3368.71/3379.36 c #Conflicts: 958000 | #Constraints: 32382
3368.71/3379.36 c #Conflicts: 959000 | #Constraints: 33382
3368.71/3379.36 c #Conflicts: 960000 | #Constraints: 34382
3368.71/3379.36 c #Conflicts: 961000 | #Constraints: 35382
3368.71/3379.36 c #Conflicts: 962000 | #Constraints: 36382
3368.71/3379.36 c #Conflicts: 963000 | #Constraints: 37382
3368.71/3379.36 c #Conflicts: 964000 | #Constraints: 38382
3368.71/3379.36 c #Conflicts: 965000 | #Constraints: 39382
3368.71/3379.36 c #Conflicts: 966000 | #Constraints: 40382
3368.71/3379.36 c #Conflicts: 967000 | #Constraints: 41382
3368.71/3379.36 c #Conflicts: 968000 | #Constraints: 42382
3368.71/3379.36 c #Conflicts: 969000 | #Constraints: 43382
3368.71/3379.36 c #Conflicts: 970000 | #Constraints: 44382
3368.71/3379.36 c #Conflicts: 971000 | #Constraints: 45382
3559.39/3570.61 c INPROCESSING
3559.39/3570.61 c GARBAGE COLLECT
3559.39/3570.61 c #Conflicts: 972000 | #Constraints: 26736
3559.39/3570.61 c #Conflicts: 973000 | #Constraints: 27736
3559.39/3570.61 c #Conflicts: 974000 | #Constraints: 28736
3559.39/3570.61 c #Conflicts: 975000 | #Constraints: 29736
3559.39/3570.61 c #Conflicts: 976000 | #Constraints: 30736
3559.39/3570.61 c #Conflicts: 977000 | #Constraints: 31736
3559.39/3570.61 c #Conflicts: 978000 | #Constraints: 32736
3559.39/3570.61 c #Conflicts: 979000 | #Constraints: 33736
3559.39/3570.61 c #Conflicts: 980000 | #Constraints: 34736
3559.39/3570.61 c #Conflicts: 981000 | #Constraints: 35736
3559.39/3570.61 c #Conflicts: 982000 | #Constraints: 36736
3559.39/3570.61 c #Conflicts: 983000 | #Constraints: 37736
3559.39/3570.61 c #Conflicts: 984000 | #Constraints: 38736
3559.39/3570.61 c #Conflicts: 985000 | #Constraints: 39736
3559.39/3570.61 c #Conflicts: 986000 | #Constraints: 40736
3559.39/3570.61 c #Conflicts: 987000 | #Constraints: 41736
3559.39/3570.61 c #Conflicts: 988000 | #Constraints: 42736
3559.39/3570.61 c #Conflicts: 989000 | #Constraints: 43736
3559.39/3570.61 c #Conflicts: 990000 | #Constraints: 44736
3559.39/3570.61 c #Conflicts: 991000 | #Constraints: 45736
3559.39/3570.61 c INPROCESSING
3559.39/3570.61 c GARBAGE COLLECT
3559.39/3570.61 c #Conflicts: 992000 | #Constraints: 26920
3559.39/3570.61 c #Conflicts: 993000 | #Constraints: 27920
3559.39/3570.61 c #Conflicts: 994000 | #Constraints: 28920
3559.39/3570.61 c #Conflicts: 995000 | #Constraints: 29920
3559.39/3570.61 c #Conflicts: 996000 | #Constraints: 30920
3559.39/3570.61 c #Conflicts: 997000 | #Constraints: 31920
3559.39/3570.61 c #Conflicts: 998000 | #Constraints: 32920
3559.39/3570.61 c #Conflicts: 999000 | #Constraints: 33920
3559.39/3570.61 c #Conflicts: 1000000 | #Constraints: 34920
3559.39/3570.61 c #Conflicts: 1001000 | #Constraints: 35920
3559.39/3570.61 c #Conflicts: 1002000 | #Constraints: 36920
3559.39/3570.61 c #Conflicts: 1003000 | #Constraints: 37920
3559.39/3570.61 c #Conflicts: 1004000 | #Constraints: 38920
3559.39/3570.61 c #Conflicts: 1005000 | #Constraints: 39920
3559.39/3570.61 c #Conflicts: 1006000 | #Constraints: 40920
3559.39/3570.61 c #Conflicts: 1007000 | #Constraints: 41920
3559.39/3570.61 c #Conflicts: 1008000 | #Constraints: 42920
3559.39/3570.61 c #Conflicts: 1009000 | #Constraints: 43920
3559.39/3570.61 c #Conflicts: 1010000 | #Constraints: 44920
3559.39/3570.61 c #Conflicts: 1011000 | #Constraints: 45920
3559.39/3570.61 c #Conflicts: 1012000 | #Constraints: 46920
3559.39/3570.61 c INPROCESSING
3559.39/3570.61 c GARBAGE COLLECT
3559.39/3570.61 c #Conflicts: 1013000 | #Constraints: 27902
3559.39/3570.61 c #Conflicts: 1014000 | #Constraints: 28902
3559.39/3570.61 c #Conflicts: 1015000 | #Constraints: 29902
3559.39/3570.61 c #Conflicts: 1016000 | #Constraints: 30902
3559.39/3570.61 c #Conflicts: 1017000 | #Constraints: 31902
3559.39/3570.61 c #Conflicts: 1018000 | #Constraints: 32902
3559.39/3570.61 c #Conflicts: 1019000 | #Constraints: 33902
3559.39/3570.61 c #Conflicts: 1020000 | #Constraints: 34902
3559.39/3570.61 c #Conflicts: 1021000 | #Constraints: 35902
3559.39/3570.61 c #Conflicts: 1022000 | #Constraints: 36902
3559.39/3570.61 c #Conflicts: 1023000 | #Constraints: 37902
3559.39/3570.61 c #Conflicts: 1024000 | #Constraints: 38902
3559.39/3570.61 c #Conflicts: 1025000 | #Constraints: 39902
3559.39/3570.61 c #Conflicts: 1026000 | #Constraints: 40902
3559.39/3570.61 c #Conflicts: 1027000 | #Constraints: 41902
3559.39/3570.61 c #Conflicts: 1028000 | #Constraints: 42902
3559.39/3570.61 c #Conflicts: 1029000 | #Constraints: 43902
3559.39/3570.61 c #Conflicts: 1030000 | #Constraints: 44902
3559.39/3570.61 c #Conflicts: 1031000 | #Constraints: 45902
3559.39/3570.61 c #Conflicts: 1032000 | #Constraints: 46902
3559.39/3570.61 c INPROCESSING
3559.39/3570.61 c GARBAGE COLLECT
3559.39/3570.61 c #Conflicts: 1033000 | #Constraints: 27779
3559.39/3570.61 c #Conflicts: 1034000 | #Constraints: 28779
3559.39/3570.61 c #Conflicts: 1035000 | #Constraints: 29779
3559.39/3570.61 c #Conflicts: 1036000 | #Constraints: 30779
3559.39/3570.61 c #Conflicts: 1037000 | #Constraints: 31779
3559.39/3570.61 c #Conflicts: 1038000 | #Constraints: 32779
3559.39/3570.61 c #Conflicts: 1039000 | #Constraints: 33779
3559.39/3570.61 c #Conflicts: 1040000 | #Constraints: 34779
3559.39/3570.61 c #Conflicts: 1041000 | #Constraints: 35779
3559.39/3570.61 c #Conflicts: 1042000 | #Constraints: 36779
3559.39/3570.61 c #Conflicts: 1043000 | #Constraints: 37779
3559.39/3570.61 c #Conflicts: 1044000 | #Constraints: 38779
3559.39/3570.61 c #Conflicts: 1045000 | #Constraints: 39779
3559.39/3570.61 c #Conflicts: 1046000 | #Constraints: 40779
3559.39/3570.61 c #Conflicts: 1047000 | #Constraints: 41779
3600.06/3611.40 c #Conflicts: 1048000 | #Constraints: 42779
3600.06/3611.40 c #Conflicts: 1049000 | #Constraints: 43779
3600.06/3611.40 c #Conflicts: 1050000 | #Constraints: 44779
3600.06/3611.40 c #Conflicts: 1051000 | #Constraints: 45779
3600.06/3611.40 c #Conflicts: 1052000 | #Constraints: 46779
3600.06/3611.40 c #Conflicts: 1053000 | #Constraints: 47779
3600.06/3611.40 c INPROCESSING
3600.06/3611.40 c GARBAGE COLLECT
3600.06/3611.40 c #Conflicts: 1054000 | #Constraints: 28378
3600.06/3611.40 c #Conflicts: 1055000 | #Constraints: 29378
3600.06/3611.40 c #Conflicts: 1056000 | #Constraints: 30378
3600.06/3611.40 c #Conflicts: 1057000 | #Constraints: 31378
3600.06/3611.40 c cpu time 3587.66 s
3600.06/3611.40 c deterministic time 1 1.00e+00
3600.06/3611.40 c optimization time 3587.64 s
3600.06/3611.40 c total solve time 0 s
3600.06/3611.40 c core-guided solve time 0 s
3600.06/3611.40 c propagation time 0.001875 s
3600.06/3611.40 c conflict analysis time 0 s
3600.06/3611.40 c propagations 0
3600.06/3611.40 c resolve steps 0
3600.06/3611.40 c decisions 0
3600.06/3611.40 c conflicts 0
3600.06/3611.40 c restarts 0
3600.06/3611.40 c inprocessing phases 0
3600.06/3611.40 c garbage collections 0 ,( -nan )
3600.06/3611.40 c input clauses 6844 ,( 100.00 )
3600.06/3611.40 c input cardinalities 0 ,( 0.00 )
3600.06/3611.40 c input general constraints 0 ,( 0.00 )
3600.06/3611.40 c input average constraint length 2.00
3600.06/3611.40 c input average constraint degree 1.00
3600.06/3611.40 c learned clauses 0 ,( 0.00 )
3600.06/3611.40 c learned cardinalities 0 ,( 0.00 )
3600.06/3611.40 c learned general constraints 0 ,( 0.00 )
3600.06/3611.40 c learned average constraint length 0.00
3600.06/3611.40 c learned average constraint degree 0.00
3600.06/3611.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3611.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3611.40 c watched constraints 0 ,( -nan )
3600.06/3611.40 c counting constraints 0 ,( -nan )
3600.06/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3611.40 c gcd simplifications 0
3600.06/3611.40 c detected cardinalities 0
3600.06/3611.40 c weakened non-implied lits 0
3600.06/3611.40 c weakened non-implying lits 0
3600.06/3611.40 c original variables 3422
3600.06/3611.40 c clausal propagations 0
3600.06/3611.40 c cardinality propagations 0
3600.06/3611.40 c watched propagations 0
3600.06/3611.40 c counting propagations 0
3600.06/3611.40 c watch lookups 0
3600.06/3611.40 c watch backjump lookups 0
3600.06/3611.40 c watch checks 0
3600.06/3611.40 c propagation checks 0
3600.06/3611.40 c constraint additions 0
3600.06/3611.40 c trail pops 0
3600.06/3611.40 c formula constraints 6844
3600.06/3611.40 c learned constraints 0
3600.06/3611.40 c bound constraints 0
3600.06/3611.40 c core-guided constraints 0
3600.06/3611.40 c encountered formula constraints 0
3600.06/3611.40 c encountered learned constraints 0
3600.06/3611.40 c encountered bound constraints 0
3600.06/3611.40 c encountered core-guided constraints 0
3600.06/3611.40 c LP total time 0 s
3600.06/3611.40 c LP solve time 0 s
3600.06/3611.40 c LP constraints added 0
3600.06/3611.40 c LP constraints removed 0
3600.06/3611.40 c LP pivots internal 0
3600.06/3611.40 c LP pivots root 0
3600.06/3611.40 c LP calls 0
3600.06/3611.40 c LP optimalities 0
3600.06/3611.40 c LP no pivot count 0
3600.06/3611.40 c LP infeasibilities 0
3600.06/3611.40 c LP valid Farkas constraints 0
3600.06/3611.40 c LP learned Farkas constraints 0
3600.06/3611.40 c LP basis resets 0
3600.06/3611.40 c LP cycling count 0
3600.06/3611.40 c LP singular count 0
3600.06/3611.40 c LP no primal count 0
3600.06/3611.40 c LP no farkas count 0
3600.06/3611.40 c LP other issue count 0
3600.06/3611.40 c LP Gomory cuts 0
3600.06/3611.40 c LP learned cuts 0
3600.06/3611.40 c LP deleted cuts 0
3600.06/3611.40 c LP encountered Gomory constraints 0
3600.06/3611.40 c LP encountered Farkas constraints 0
3600.06/3611.40 c LP encountered learned Farkas constraints 0
3600.06/3611.40 c CG auxiliary variables introduced 0
3600.06/3611.40 c CG solutions found 0
3600.06/3611.40 c CG cores constructed 0
3600.06/3611.40 c CG core cardinality constraints returned 0
3600.06/3611.40 c CG unit cores 0
3600.06/3611.40 c CG single cores 0
3600.06/3611.40 c CG blocks removed during cardinality reduction 0
3600.06/3611.40 c CG first core best 0
3600.06/3611.40 c CG decision core best 0
3600.06/3611.40 c CG core reduction tie 0
3600.06/3611.40 c CG core degree average 0.00
3600.06/3611.40 c CG core slack average 0.00
3600.06/3611.40 c CG core upper bound improvements 0
3600.06/3611.40 c STR number of successful calls 0
3600.06/3611.40 c STR number of unsuccessful calls 0
3600.06/3611.40 c STR number of inconclusive calls 0
3600.06/3611.40 c STR number of successful attempts 0
3600.06/3611.40 c STR number of unsuccessful attempts 0
3600.06/3611.40 c STR number of inconclusive attempts 0
3600.06/3611.40 c STR average degree increase per successful call inf
3600.06/3611.40 c STR average degree increase per successful attempt inf
3600.06/3611.40 c STR total number of conflicts for successful attempts 0
3600.06/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.06/3611.40 c STR average number of conflicts per successful attempt inf
3600.06/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.06/3611.40 c AVG.sumWPerc -nan
3600.06/3611.40 c bigint constraints 0
3600.06/3611.40 s UNKNOWN
3600.06/3611.40 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: 63708 MiB (55533 MiB free)
memory of node 1: 64465 MiB (61563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521768-1751589688/watcher-4521768-1751589688 -o /tmp/evaluation-result-4521768-1751589688/solver-4521768-1751589688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87394 --watchdog 3760 run-opt.sh HOME/instance-4521768-1751589688.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=87825, runsolver pid=87819
[startup+0.100064 s]*
/proc/loadavg: 4.15 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119897992/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=71364 memory=27160 CPUtime=0.09 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 4223 0 0 0 7 2 0 0 20 0 1 0 74648177 73076736 6790 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 17841 6790 2400 1147 0 5268 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75556 KiB
Current children cumulated memory: 30104 KiB
[startup+0.205734 s]*
/proc/loadavg: 4.15 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119858804/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=84644 memory=40724 CPUtime=0.19 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 7103 0 0 0 17 2 0 0 20 0 1 0 74648177 86675456 10181 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 21161 10181 2400 1147 0 8588 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88836 KiB
Current children cumulated memory: 43668 KiB
[startup+0.305556 s]*
/proc/loadavg: 4.15 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119836628/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=101968 memory=56860 CPUtime=0.29 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 10626 0 0 0 26 3 0 0 20 0 1 0 74648177 104415232 14215 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 25492 14215 2400 1147 0 12919 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106160 KiB
Current children cumulated memory: 59804 KiB
[startup+0.700197 s]
/proc/loadavg: 4.15 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119804812/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=168932 memory=108968 CPUtime=0.67 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 21632 0 0 0 62 5 0 0 20 0 1 0 74648177 172986368 27242 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 42233 27242 2400 1147 0 29660 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 173124 KiB
Current children cumulated memory: 111912 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119756740/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=243132 memory=174232 CPUtime=1.47 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 33859 0 0 0 140 7 0 0 20 0 1 0 74648177 248967168 43558 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 60783 43558 2400 1147 0 48210 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 247324 KiB
Current children cumulated memory: 177176 KiB
[startup+3.10547 s]
/proc/loadavg: 4.14 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119648068/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=319256 memory=236236 CPUtime=3.07 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 45268 0 0 0 296 11 0 0 20 0 1 0 74648177 326918144 59059 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 79814 59059 2400 1147 0 67241 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 323448 KiB
Current children cumulated memory: 239180 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.17 4.14 5/265 87914
/proc/meminfo: memFree=121821108/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=342332 memory=261476 CPUtime=6.26 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 50057 0 0 0 611 15 0 0 20 0 1 0 74648177 350547968 65369 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 85583 65369 2400 1147 0 73010 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 346524 KiB
Current children cumulated memory: 264420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.14 5/269 87925
/proc/meminfo: memFree=118898572/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=355024 memory=283980 CPUtime=12.64 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 52618 0 0 0 1244 20 0 0 20 0 1 0 74648177 363544576 70995 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 88756 70995 2400 1147 0 76183 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 359216 KiB
Current children cumulated memory: 286924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.16 4.14 5/269 87925
/proc/meminfo: memFree=116811320/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=393196 memory=308044 CPUtime=25.41 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 58641 0 0 0 2512 29 0 0 20 0 1 0 74648177 402632704 77011 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 98299 77011 2400 1147 0 85726 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 397388 KiB
Current children cumulated memory: 310988 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.16 4.14 5/269 87927
/proc/meminfo: memFree=116663872/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=393196 memory=308044 CPUtime=50.95 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 58648 0 0 0 5048 47 0 0 20 0 1 0 74648177 402632704 77011 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 98299 77011 2400 1147 0 85726 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 397388 KiB
Current children cumulated memory: 310988 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/269 87929
/proc/meminfo: memFree=116223396/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=393532 memory=308684 CPUtime=102.03 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 58797 0 0 0 10122 81 0 0 20 0 1 0 74648177 402976768 77171 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 98383 77171 2400 1147 0 85810 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 397724 KiB
Current children cumulated memory: 311628 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/269 87976
/proc/meminfo: memFree=116906584/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=445672 memory=323132 CPUtime=161.88 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 61429 0 0 0 16058 130 0 0 20 0 1 0 74648177 456368128 80783 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 111418 80783 2400 1147 0 98845 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 449864 KiB
Current children cumulated memory: 326076 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/268 87982
/proc/meminfo: memFree=116776904/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=446196 memory=327100 CPUtime=221.73 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 61723 0 0 0 22017 156 0 0 20 0 1 0 74648177 456904704 81775 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 111549 81775 2400 1147 0 98976 0
Current children cumulated CPU time: 221.73 s
################
# More data... #
################
/proc/87827/statm: 305595 235145 2400 1147 0 293022 0
Current children cumulated CPU time: 3032.81 s
Current children cumulated vsize: 1226572 KiB
Current children cumulated memory: 943524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.12 5/268 88137
/proc/meminfo: memFree=113608968/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=940964 CPUtime=3092.61 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 156843 0 0 0 308269 992 0 0 20 0 1 0 74648177 1252102144 235241 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235241 2400 1147 0 293116 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 943908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/269 88140
/proc/meminfo: memFree=113584544/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=940964 CPUtime=3152.41 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 156854 0 0 0 314214 1027 0 0 20 0 1 0 74648177 1252102144 235241 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235241 2400 1147 0 293116 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 943908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/269 88146
/proc/meminfo: memFree=113543640/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=941092 CPUtime=3212.22 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 156887 0 0 0 320163 1059 0 0 20 0 1 0 74648177 1252102144 235273 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235273 2400 1147 0 293116 0
Current children cumulated CPU time: 3212.22 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 944036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/269 88148
/proc/meminfo: memFree=113253472/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=942244 CPUtime=3272.02 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 157189 0 0 0 326111 1091 0 0 20 0 1 0 74648177 1252102144 235561 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235561 2400 1147 0 293116 0
Current children cumulated CPU time: 3272.02 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 945188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/268 88150
/proc/meminfo: memFree=113228896/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=942372 CPUtime=3331.83 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 157204 0 0 0 332063 1120 0 0 20 0 1 0 74648177 1252102144 235593 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235593 2400 1147 0 293116 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 945316 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/268 88152
/proc/meminfo: memFree=113229008/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=942372 CPUtime=3391.63 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 157229 0 0 0 338015 1148 0 0 20 0 1 0 74648177 1252102144 235593 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235593 2400 1147 0 293116 0
Current children cumulated CPU time: 3391.63 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 945316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/267 88154
/proc/meminfo: memFree=113208560/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=942372 CPUtime=3451.44 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 157231 0 0 0 343960 1184 0 0 20 0 1 0 74648177 1252102144 235593 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235593 2400 1147 0 293116 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 945316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 88157
/proc/meminfo: memFree=113163904/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=942500 CPUtime=3511.24 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 157286 0 0 0 349909 1215 0 0 20 0 1 0 74648177 1252102144 235625 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235625 2400 1147 0 293116 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 945444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 88161
/proc/meminfo: memFree=113156744/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=942756 CPUtime=3571.04 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 157364 0 0 0 355872 1232 0 0 20 0 1 0 74648177 1252102144 235689 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 235689 2400 1147 0 293116 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 945700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.16 4.12 4.10 4/263 88199
/proc/meminfo: memFree=113680964/131250000 swapFree=33009904/33010684
[pid=87825] ppid=87819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87825/stat : 87825 (run-opt.sh) S 87819 87825 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648176 4292608 736 18446744073709551615 94145937637376 94145938531909 140726808993024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94145938770960 94145938818704 94145964695552 140726808996205 140726808996328 140726808996328 140726809001930 0
/proc/87825/statm: 1048 736 672 219 0 110 0
[pid=87827] ppid=87825 vsize=1222756 memory=945444 CPUtime=3600.06 cores=5,7
/proc/87827/stat : 87827 (roundingsat) R 87825 87825 87381 0 -1 4194304 158049 0 0 0 358766 1240 0 0 20 0 1 0 74648177 1252102144 236361 18446744073709551615 4227072 8923433 140731368760928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32124928 140731368769954 140731368770088 140731368770088 140731368775658 0
/proc/87827/statm: 305689 236361 2400 1147 0 293116 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1226948 KiB
Current children cumulated memory: 948388 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 87825 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001251 s, system=0.001262 s
Sleeping 2 seconds
[startup+3611.42 s]
# the end of solver process 87827 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.67 s, system=12.4261 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.42
CPU time (s): 3600.09
CPU user time (s): 3587.67
CPU system time (s): 12.4261
CPU usage (%): 99.6862
Max. virtual memory (cumulated for all children) (KiB): 1226948
Max. memory (cumulated for all children) (KiB): 948388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 12.4261
maximum resident set size= 945700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 3619
# summary of solver processes directly reported to runsolver:
# pid: 87825,87827
# total CPU time (s): 3600.09
# total CPU user time (s): 3587.67
# total CPU system time (s): 12.4261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63427 second user time and 15.7663 second system time
The end
Begin job on nodeC033 at 2025-07-04 02:41:28
IDJOB=4521768
IDBENCH=178465
IDSOLVER=3350
FILE ID=nodeC033/4521768-1751589688
RUNJOBID= nodeC033-1751586076-87394
SLURM_JOB_ID= 9598834
Free space on /tmp= 429892 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521768-1751589688/watcher-4521768-1751589688 -o /tmp/evaluation-result-4521768-1751589688/solver-4521768-1751589688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87394 --watchdog 3760 run-opt.sh HOME/instance-4521768-1751589688.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f15d23f289b182a443a303ebae0d35a
RANDOM SEED=1924638636
nodeC033 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 : 0xb00002a
cpu MHz : 3600.123
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.102
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3603.038
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.597
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.100
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.229
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3599.841
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.081
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119906844 kB
MemAvailable: 125870540 kB
Buffers: 2128 kB
Cached: 6715856 kB
SwapCached: 68 kB
Active: 4484068 kB
Inactive: 6135008 kB
Active(anon): 3913596 kB
Inactive(anon): 5524 kB
Active(file): 570472 kB
Inactive(file): 6129484 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7392 kB
Writeback: 52 kB
AnonPages: 3904116 kB
Mapped: 114136 kB
Shmem: 18028 kB
KReclaimable: 205960 kB
Slab: 299028 kB
SReclaimable: 205960 kB
SUnreclaim: 93068 kB
KernelStack: 4240 kB
PageTables: 11392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4805764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1052672 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429728 MiB
End job on nodeC033 at 2025-07-04 03:41:39