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