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