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