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