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