(1,9) (2,29) (3,7) (4,14) (5,23) (6,13) (8,18) (10,21) (11,28) (12,16) (15,19) (17,20) (22,25) (24,30) (26,27) 
nodes: 124710  conflicts: 22  modelTime: 1713  solveTime: 624545  totalTime: 626276  modelSize: 72285  readTime: 18 size: 15