(1,2) (3,19) (4,28) (5,21) (6,11) (7,10) (8,27) (9,25) (12,15) (13,30) (14,29) (16,20) (17,18) (22,23) 
nodes: 86524  conflicts: 33  modelTime: 996  solveTime: 340046  totalTime: 341053  modelSize: 72263  readTime: 11 size: 14