(1,8) (2,23) (3,30) (4,10) (6,24) (7,17) (9,22) (13,16) (14,15) (18,26) (19,28) (25,29) 
nodes: 6696  conflicts: 77  modelTime: 938  solveTime: 22059  totalTime: 23008  modelSize: 72264  readTime: 11 size: 12