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