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