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