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