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