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