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