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