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