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