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