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