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