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