(1,2) (3,10) (4,25) (5,12) (6,14) (8,16) (9,19) (11,15) (13,29) (17,18) (20,24) (21,22) (26,28) (27,30) 
nodes: 216513  conflicts: 36  modelTime: 952  solveTime: 1109124  totalTime: 1110104  modelSize: 72275  readTime: 27 size: 14