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