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