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