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