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