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