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