(1,2) (3,21) (4,5) (6,8) (7,14) (9,13) (10,24) (11,19) (12,27) (15,17) (16,22) (18,23) (20,29) (25,30) (26,28) 
nodes: 73970  conflicts: 33  modelTime: 1286  solveTime: 390496  totalTime: 391802  modelSize: 72265  readTime: 19 size: 15