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