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