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