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