(1,2) (3,27) (4,26) (5,24) (6,12) (7,9) (10,18) (11,22) (13,19) (14,23) (16,25) (17,21) (20,28) (29,30) 
nodes: 108343  conflicts: 62  modelTime: 1035  solveTime: 372686  totalTime: 373733  modelSize: 72263  readTime: 12 size: 14