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