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