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