(2,28) (3,30) (4,8) (5,26) (7,21) (9,18) (10,23) (11,12) (13,15) (14,17) (16,20) (19,24) (22,27) (25,29) 
nodes: 3693  conflicts: 90  modelTime: 1178  solveTime: 14989  totalTime: 16188  modelSize: 72262  readTime: 21 size: 14