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