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