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