(1,3) (2,6) (4,8) (5,11) (7,23) (10,12) (13,14) (16,30) (17,22) (18,25) (19,28) (20,24) (21,29) (26,27) 
nodes: 250882  conflicts: 33  modelTime: 1704  solveTime: 1374906  totalTime: 1376629  modelSize: 72275  readTime: 19 size: 14