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