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