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