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