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