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