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