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