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