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