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