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