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