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