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