(1,2) (3,16) (4,15) (5,8) (6,18) (7,25) (9,12) (10,30) (11,26) (13,24) (14,29) (17,20) (19,23) (21,27) (22,28) 
nodes: 1464734  conflicts: 20  modelTime: 1743  solveTime: 8024786  totalTime: 8026555  modelSize: 72264  readTime: 26 size: 15