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