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