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