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