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