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