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