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