(2,12) (3,18) (4,22) (5,29) (6,9) (7,10) (8,25) (13,26) (14,20) (15,23) (16,17) (19,30) (21,28) (24,27) 
nodes: 49451  conflicts: 45  modelTime: 1041  solveTime: 220516  totalTime: 221568  modelSize: 72262  readTime: 11 size: 14