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