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