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