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