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