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