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