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