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