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