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