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