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