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