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