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