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