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