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