(1,4) (2,6) (3,9) (7,17) (8,23) (10,21) (11,19) (12,30) (13,22) (14,15) (16,25) (20,24) (26,29) (27,28) 
nodes: 149  conflicts: 93  modelTime: 967  solveTime: 2816  totalTime: 3795  modelSize: 72262  readTime: 12 size: 14