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