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