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