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