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