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