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