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