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