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