(1,18) (2,26) (3,19) (4,10) (5,9) (6,30) (7,17) (8,21) (11,16) (12,24) (13,29) (14,25) (15,27) (20,22) (23,28) 
nodes: 98080  conflicts: 35  modelTime: 1697  solveTime: 406081  totalTime: 407797  modelSize: 72275  readTime: 19 size: 15