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