(1,8) (2,16) (3,9) (4,13) (5,27) (6,15) (7,18) (10,19) (11,12) (14,17) (20,28) (21,24) (22,23) (25,29) (26,30) 
nodes: 99703  conflicts: 73  modelTime: 1272  solveTime: 315312  totalTime: 316604  modelSize: 72273  readTime: 20 size: 15