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