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