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