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