(1,10) (2,23) (3,17) (4,9) (5,24) (6,7) (8,12) (13,19) (14,22) (16,29) (18,27) (20,26) (21,30) (25,28) 
nodes: 17805  conflicts: 40  modelTime: 965  solveTime: 61616  totalTime: 62592  modelSize: 72263  readTime: 11 size: 14