(2,29) (3,30) (4,22) (5,20) (6,23) (7,24) (8,25) (9,19) (10,27) (11,18) (12,21) (13,17) (14,28) (15,16) 
nodes: 3957  conflicts: 36  modelTime: 662  solveTime: 7102  totalTime: 7770  modelSize: 41298  readTime: 6 size: 14